RQ-REF3 light_semantic.py (evidence); 1500 samples per scenario, seed 20261023, 83 s
  case nsplit:  2789 samples passed, 1560 distinct leaves, smallest U - E phi(Z_K') = 1.898e-06
  case chord :  1353 samples passed,  233 distinct leaves, smallest U - E phi(Z_K') = 2.838e-03
  case light :   358 samples passed,  110 distinct leaves, smallest U - E phi(Z_K') = 1.580e-03
  failures: 0
RESULT: no violation
