Two-cycle imposed-extraction success lower bound: 24482873/24500000 = 0.999300938776.
Final high-ancestry fraction lower bound (numerical evaluation): 0.6930453422.
Same consumer proportions; uptake 0.021991433513, 0.039995584124.
Exact stationary feedback-load cap: 2239911/97656250; uptake separation margin: 0.009002065126.
Synthetic readouts: low, high, unresolved, unresolved, unresolved.
Feedback and imposed extraction share the resident field, not an inheritance theorem. Lean is not rerun.