Refined mission lower probability: 0.9951771334; donor bound at the same scale: 0.0000000000.
Sufficient V for failure allowance 1/100: 212332534120362.
Worst-ready net synthesis lower bound: 365200000000000 inventory equivalents.
Donor full versus material-forced reduction endpoint gap: 1.88e-12.
Deterministic ledger residuals: inventory -1.67e-13, intermediate storage 0.
Illustrations are deterministic; the probability theorem is imported. Lean is not rerun.