$ python3 n_point.py 7 points/n7_continued_m2.json
n=7: fan 42 cones, dim 4; point n7_continued_m2.json
  planar invariants: P(1, 3)=3/2, P(1, 4)=-2/3, P(1, 5)=-3/4, P(1, 6)=-3/5, P(2, 4)=-2/5, P(2, 5)=-5/7, P(2, 6)=-4/7, P(2, 7)=-5/8, P(3, 5)=-4/9, P(3, 6)=-5/9, P(3, 7)=-6/11, P(4, 6)=-3/7, P(4, 7)=-7/11, P(5, 7)=-7/12
  axis census: continued m=2: 14, convergent: 154
  ASSUMPTION: 14 continued axes fall in 1 (dim, kappa) class(es) that have not been validated against an independent computation at this dimension.  The continuation theorem (engines/CONTINUATION_V2_DESIGN.md Sec 2-4) applies and the enclosure is still certified modulo the interval libraries, but no second route has been run for these classes; the result file will carry the ASSUMPTION label:
    kappa=-3/2 (m=2, dim=4)
  route: tm
  TM route: 42 cones, NGRID=6, ORD=[8, 9], floor rad<=1e-6|mid| per cone, one NGRID+1 retry if a cone misses the floor
  per-cone: 0:+/+/2/+; 1:+/+/+/2; 2:+/+/2/+; 3:+/+/+/2; 4:+/+/+/2; 5:+/+/2/+; 6:+/+/+/2; 7:+/+/2/+; 8:+/+/2/+; 9:+/+/+/2; 10:+/+/+/+; 11:+/+/+/2; 12:+/+/+/+; 13:+/+/+/2; 14:+/+/+/+; 15:+/+/+/2; 16:+/+/+/+; 17:+/+/+/2; 18:+/+/+/+; 19:+/+/+/+; 20:+/+/+/+; 21:+/+/+/+; 22:+/+/+/+; 23:+/+/+/+; 24:+/+/+/+; 25:+/+/+/+; 26:+/+/+/+; 27:+/+/+/+; 28:+/+/+/+; 29:+/+/+/+; 30:+/+/+/+; 31:+/+/+/+; 32:+/+/+/+; 33:+/+/+/+; 34:+/+/+/+; 35:+/+/+/+; 36:+/+/+/+; 37:+/+/+/+; 38:+/+/+/+; 39:+/+/+/+; 40:+/+/+/+; 41:+/+/+/+
  ASSUMPTION label applies (see above): kappa=-3/2 (m=2, dim=4)
  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 11.24 core-h, worst-class 32.44 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 1 core(s): 11.24-32.44 h wall; per-cone CPU limit 3600 s
dry run only; add --run --cores c1,c2,...
# exit code 0
