chain_check light start 2026-10-23 00:48:56 UTC
PASS  window family = cover_common.window_family_pos() (exact)  [51 windows, near k = 0..35]
PASS  near windows straddling theta have b < 2a (Lemma S5)  [straddling k = 30,31,32,33,34,35]
PASS  case 3 root ranges  [m1 < 1.0225 -> s < 21; m2 < 1.54705 -> t < 31]
  chord: verified 1000/1212 (37s)
PASS  F_light chord: all roots covered by verified leaves  [{"roots": 60, "uncovered": 0, "leaves": 1212, "rejected": 0, "empty": 166, "maxU": 0.8549552502410571, "spec_mismatch": 0, "unused_records": 0, "degrees": {"14": 1212}, "first_rejections": [], "first_uncovered": [], "sec": 44}]
  light: verified 1000/1186 (76s)
PASS  F_light light: all roots covered by verified leaves  [{"roots": 516, "uncovered": 0, "leaves": 1186, "rejected": 0, "empty": 24, "maxU": 0.8549743150463496, "spec_mismatch": 0, "unused_records": 87, "degrees": {"18": 1186}, "first_rejections": [], "first_uncovered": [], "sec": 89}]
  nsplit: verified 1000/8481 (32s)
  nsplit: verified 2000/8481 (60s)
  nsplit: verified 3000/8481 (89s)
  nsplit: verified 4000/8481 (120s)
  nsplit: verified 5000/8481 (149s)
  nsplit: verified 6000/8481 (180s)
  nsplit: verified 7000/8481 (210s)
  nsplit: verified 8000/8481 (243s)
PASS  F_light nsplit: all roots covered by verified leaves  [{"roots": 7956, "uncovered": 0, "leaves": 8481, "rejected": 0, "empty": 5, "maxU": 0.854996980551545, "spec_mismatch": 0, "unused_records": 0, "degrees": {"14": 8481}, "first_rejections": [], "first_uncovered": [], "sec": 258}]
LIGHT: ALL PASS
chain_check light end 2026-10-23 00:55:28 UTC
EXIT 0
LIGHTDONE
