$ python3 n_point.py 6 points/n6_continued.json --run --fresh --cores 80,81,82,83
n=6: fan 14 cones, dim 3; point n6_continued.json
  planar invariants: P(1, 3)=1/2, P(1, 4)=-2/3, P(1, 5)=-3/4, P(2, 4)=-2/5, P(2, 5)=-5/7, P(2, 6)=-3/5, P(3, 5)=-4/7, P(3, 6)=-5/8, P(4, 6)=-5/9
  axis census: continued m=1: 5, convergent: 37
  all continued (dim, kappa) classes have been validated against an independent computation (README.md "Validated continuation classes"; python3 n_point.py --list-validated)
  NOTE: n=6 P13-line point — the kinsys operator-transport fast path is available (--engine kinsys; seconds; validated, not certified).
  route: tm
  TM route: 14 cones, NGRID=8, ORD=[8], floor rad<=1e-6|mid| per cone, one NGRID+1 retry if a cone misses the floor
  per-cone: 0:+/1/+; 1:+/+/1; 2:+/1/+; 3:+/+/1; 4:+/+/+; 5:+/+/1; 6:+/+/+; 7:+/+/+; 8:+/+/+; 9:+/+/+; 10:+/+/+; 11:+/+/+; 12:+/+/+; 13:+/+/+
  PRE-RUN ESTIMATE (measured basis: the n=7 convergent-region and continued points and the n=6 and n=5 runs under validation/; NGRID scaling (n/ref)^dim and m>=2 overheads are EXTRAPOLATIONS): median-class 0.35 core-h, worst-class 0.91 core-h; + retries/tightening after a missed floor (measured at the n=7 continued point: 10.02 core-h first pass -> 19.92 core-h total, validation/n7/); at 4 core(s): 0.09-0.23 h wall; per-cone CPU limit 3600 s
  RUN 2026-09-02T22:33:26Z: 14 cones over cores [80, 81, 82, 83], nice 10, CPU limit 3600 s / 8 GB per cone, per-cone results in /tmp/kn-evaluator-2-2026-09-02-r5/runs/n6_continued_check/receipts/
  cone 2 n=8 done: 512 boxes wall 22s cpu 22s guaranteed=True floor PASS
  cone 0 n=8 done: 512 boxes wall 24s cpu 22s guaranteed=True floor PASS
  cone 1 n=8 done: 512 boxes wall 24s cpu 22s guaranteed=True floor PASS
  cone 3 n=8 done: 512 boxes wall 26s cpu 23s guaranteed=True floor PASS
  cone 5 n=8 done: 512 boxes wall 25s cpu 24s guaranteed=True floor PASS
  cone 4 n=8 done: 512 boxes wall 28s cpu 24s guaranteed=True floor PASS
  cone 6 n=8 done: 512 boxes wall 30s cpu 25s guaranteed=True floor PASS
  cone 7 n=8 done: 512 boxes wall 29s cpu 22s guaranteed=True floor PASS
  cone 8 n=8 done: 512 boxes wall 29s cpu 26s guaranteed=True floor PASS
  cone 11 n=8 done: 512 boxes wall 23s cpu 22s guaranteed=True floor PASS
  cone 9 n=8 done: 512 boxes wall 30s cpu 21s guaranteed=True floor PASS
  cone 10 n=8 done: 512 boxes wall 28s cpu 20s guaranteed=True floor PASS
  cone 12 n=8 done: 512 boxes wall 22s cpu 21s guaranteed=True floor PASS
  cone 13 n=8 done: 512 boxes wall 24s cpu 24s guaranteed=True floor PASS
  all cones finished 2026-09-02T22:35:58Z: wall 152s; cones below the digit floor: []
assemble_tm_v2: n=6 cones=14 complete=14 missing=[]
  cone   0 uid   0_0 det 1 n=8 ord=8 boxes=512 sub=[2] m=[1] mid=-1.65600653679828 rad=6.39e-08 dig=7.4 guar=True wall=24s cpu=22s
  cone   1 uid   1_0 det 1 n=8 ord=8 boxes=512 sub=[3] m=[1] mid=-2.53251599438075 rad=8.47e-08 dig=7.5 guar=True wall=24s cpu=22s
  cone   2 uid   2_0 det 1 n=8 ord=8 boxes=512 sub=[2] m=[1] mid=-1.76222909887302 rad=6e-08 dig=7.5 guar=True wall=22s cpu=22s
  cone   3 uid   3_0 det 1 n=8 ord=8 boxes=512 sub=[3] m=[1] mid=-2.25002458042328 rad=6.71e-08 dig=7.5 guar=True wall=26s cpu=23s
  cone   4 uid   4_0 det 1 n=8 ord=8 boxes=512 sub=[] m=[] mid=3.84761881191817 rad=1.51e-08 dig=8.4 guar=True wall=28s cpu=24s
  cone   5 uid   5_0 det 1 n=8 ord=8 boxes=512 sub=[3] m=[1] mid=-2.02413173812586 rad=7.29e-08 dig=7.4 guar=True wall=25s cpu=24s
  cone   6 uid   6_0 det 1 n=8 ord=8 boxes=512 sub=[] m=[] mid=3.85606330773133 rad=1.61e-08 dig=8.4 guar=True wall=30s cpu=25s
  cone   7 uid   7_0 det 1 n=8 ord=8 boxes=512 sub=[] m=[] mid=2.34940484120043 rad=8.24e-09 dig=8.5 guar=True wall=29s cpu=22s
  cone   8 uid   8_0 det 1 n=8 ord=8 boxes=512 sub=[] m=[] mid=2.83076250798952 rad=8.57e-09 dig=8.5 guar=True wall=29s cpu=26s
  cone   9 uid   9_0 det 1 n=8 ord=8 boxes=512 sub=[] m=[] mid=2.6256731717134 rad=4.64e-09 dig=8.8 guar=True wall=30s cpu=21s
  cone  10 uid  10_0 det 1 n=8 ord=8 boxes=512 sub=[] m=[] mid=4.22270436261611 rad=2.77e-08 dig=8.2 guar=True wall=28s cpu=20s
  cone  11 uid  11_0 det 1 n=8 ord=8 boxes=512 sub=[] m=[] mid=4.85618029385958 rad=2.6e-08 dig=8.3 guar=True wall=23s cpu=22s
  cone  12 uid  12_0 det 1 n=8 ord=8 boxes=512 sub=[] m=[] mid=2.55923886893448 rad=6.12e-09 dig=8.6 guar=True wall=22s cpu=21s
  cone  13 uid  13_0 det 1 n=8 ord=8 boxes=512 sub=[] m=[] mid=3.44715378297917 rad=6.4e-09 dig=8.7 guar=True wall=24s cpu=24s
  TOTAL in [20.369891532904326, 20.369892467777682]
  mid = 20.369892000341004  rad = 4.67e-07  certified digits = 7.64  guaranteed=True  floor(rad<=5e-07|mid|)=PASS
  cost: wall 364 core-s, cpu 317 core-s
  wrote /tmp/kn-evaluator-2-2026-09-02-r5/runs/n6_continued_check/POINT_RECEIPT.json
RESULT [PROVEN modulo TaylorModels/IntervalArithmetic/TaylorSeries (engines/CONTINUATION_V2_DESIGN.md Sec 4.3)]: A_6 in [20.369891532904326, 20.36989246777768]  certified digits 7.64  floor PASS  cpu 317 core-s / wall 152 s
  receipt: /tmp/kn-evaluator-2-2026-09-02-r5/runs/n6_continued_check/POINT_RECEIPT.json
