Balanced six-pair chemistry; internal rank 4, full rank 5; exact label/mark projection verified.
Joint operating success >= 0.923849; disabled bound < 10^-21699 for the configured integer horizon.
For failure 1/100: necessary uniform V >= 4593686; sufficient sizes {'simple_sufficient_V': 264915869, 'full_budget_interval_checked_V': 178838783, 'scope': 'Smallest accepted integer in the V>=1e8 monotone search domain; not the smallest physically successful reactor.'}.
Physical volume 0.1660539067173846663790037 pL; startup 25/3 hours; specified reservoir work allowance 0.7750766347009179764092787 nJ.
The 1e8 example does not certify 99% success. Mixed exported species are not purified product. Moving-bath probabilities need a new theorem.
