K=9 exact lower bound: 8046297159/8112104000; numerical one-cycle minimum: 0.9921325119.
K=20 exact lower bound: 7077818258231/7077927321600; numerical one-cycle minimum: 0.9999961088.
17-resident partition ceiling: 32385/32768 = 0.9883117676, below 99%.
Configured literal cycle: completed=True, success=True, events=10872.
Selected lineage after 200 cycles: numerical min 0.20603278; both daughters inspected at every split.
Failed splits remain missing kernel mass. Siblings are complementary; no independent daughter sampling.