RQ-REF3 light_controls.py; start 2026-10-23 02:17:48 UTC
case chord: 40 sampled certificates
  phi0     rejected 40
  phiD     identity 2, rejected 38
  y0       rejected 40
  rangeU3  rejected 40
  zneg     rejected 40
  zdrop    rejected 35, valid, U' >= U 5
  cell     rejected 40
  target   rejected 40
  coverage: all leaves accepted -> 60 / 60 roots covered; deleting one of 40 sampled leaves uncovers >= 1 root in 40 cases
case light: 40 sampled certificates
  phi0     rejected 40
  phiD     rejected 40
  y0       rejected 40
  rangeU3  rejected 40
  zneg     rejected 40
  zdrop    rejected 39, valid, U' >= U 1
  cell     rejected 40
  target   rejected 40
  coverage: all leaves accepted -> 537 / 537 roots covered; deleting one of 40 sampled leaves uncovers >= 1 root in 40 cases
case nsplit: 40 sampled certificates
  phi0     rejected 40
  phiD     rejected 40
  y0       rejected 40
  rangeU3  rejected 40
  zneg     rejected 40
  zdrop    rejected 7, valid, U' >= U 33
  cell     rejected 40
  target   rejected 40
  coverage: all leaves accepted -> 7956 / 7956 roots covered; deleting one of 40 sampled leaves uncovers >= 1 root in 40 cases
RESULT: ALL CONTROLS BEHAVE AS EXPECTED
