Parameter scope for the theorem: True; N=11100000000000000000000; M=2.
Raw-formula success lower bound: 0.99688942456136952951624618556887646.
Simplified-formula success lower bound: 0.0.
Sufficient N for error 1/100 (original): 30788748905704567310306.
Sufficient N using double exponent: 15749265808868895654117.
Two-founder success implies high-state frequency at least 4/7.
The phase diagnostic clamps chemistry; it does not estimate chemical fidelity.
The count kernel is available; default outputs evaluate bounds rather than simulating an astronomical batch.