# History index

<!-- Generated by scripts/docs_index.ps1. Regenerate it; never edit it by hand. -->

Every entry of every research-line file, in chronological order: undated early
milestones first, then numbered stages, then dated repository events. Stages 80-460 are
the source checkpoint's own numbering and have no entries here; stages on `main`
resume at 461.

Compact mathematical milestones only. Detailed compiler-fix chronology is retained in the
per-stage verification reviews written to `.verify/stage-<N>/review.txt` by
`scripts/verify.ps1`, and in archived verification bundles.

| Stage | Date | Line | Entry |
|---:|---|---|---|
|  |  | [`foundations`](foundations.md) | [Foundations](foundations.md#foundations) |
|  |  | [`generic-runtime-theory`](generic-runtime-theory.md) | [Generic runtime theory](generic-runtime-theory.md#generic-runtime-theory) |
|  |  | [`boettcher-doerr-neumann-2010`](boettcher-doerr-neumann-2010.md) | [LeadingOnes](boettcher-doerr-neumann-2010.md#leadingones) |
|  |  | [`witt-2013`](witt-2013.md) | [Linear functions / Witt theorem line](witt-2013.md#linear-functions--witt-theorem-line) |
| 49 |  | [`witt-2013`](witt-2013.md) | [Stage 49--52: first beyond-standard-rate interval and asymptotics](witt-2013.md#stage-49--52-first-beyond-standard-rate-interval-and-asymptotics) |
| 57 |  | [`witt-2013`](witt-2013.md) | [Stage 57--65: numerical approach to the C3 boundary](witt-2013.md#stage-57--65-numerical-approach-to-the-c3-boundary) |
| 66 |  | [`witt-2013`](witt-2013.md) | [Stage 66: exact analytic C3 boundary and repository consolidation](witt-2013.md#stage-66-exact-analytic-c3-boundary-and-repository-consolidation) |
| 67 |  | [`witt-2013`](witt-2013.md) | [Stage 67: final Witt runtime/tail consolidation](witt-2013.md#stage-67-final-witt-runtimetail-consolidation) |
| 68 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 68 / fix 1: static unary-unbiased mutation foundation](doerr-janett-lengler-2024.md#stage-68--fix-1-static-unary-unbiased-mutation-foundation) |
| 68 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Roadmap notes — Stage 68 fix 1 promoted: operator and one-bit-mass interface](doerr-janett-lengler-2024.md#roadmap-notes--stage-68-fix-1-promoted-operator-and-one-bit-mass-interface) |
| 69 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 69 / fix 1: unary-unbiased singleton linear drift](doerr-janett-lengler-2024.md#stage-69--fix-1-unary-unbiased-singleton-linear-drift) |
| 69 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 69 fix 1 — noncomputable singleton-rate repair](doerr-janett-lengler-2024.md#stage-69-fix-1--noncomputable-singleton-rate-repair) |
| 69 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Roadmap notes — Stage 69 fix 1 promoted: exact singleton drift bridge](doerr-janett-lengler-2024.md#roadmap-notes--stage-69-fix-1-promoted-exact-singleton-drift-bridge) |
| 70 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 70 candidate: coordinate-flip marginals and pair-moment audit](doerr-janett-lengler-2024.md#stage-70-candidate-coordinate-flip-marginals-and-pair-moment-audit) |
| 70 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 70 fix 1 — zero-warning `simp` repair](doerr-janett-lengler-2024.md#stage-70-fix-1--zero-warning-simp-repair) |
| 70 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 70 fix 1 — promoted coordinate marginal](doerr-janett-lengler-2024.md#stage-70-fix-1--promoted-coordinate-marginal) |
| 70 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Roadmap notes — Stage 70 fix 1 promoted: exact coordinate marginal and Claim 9 audit](doerr-janett-lengler-2024.md#roadmap-notes--stage-70-fix-1-promoted-exact-coordinate-marginal-and-claim-9-audit) |
| 71 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 71 candidate: pair marginals and factorial-moment bridge](doerr-janett-lengler-2024.md#stage-71-candidate-pair-marginals-and-factorial-moment-bridge) |
| 71 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 71 fix 1 — pair-symmetry elaboration repair](doerr-janett-lengler-2024.md#stage-71-fix-1--pair-symmetry-elaboration-repair) |
| 71 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 71 fix 1 — promoted pair marginals](doerr-janett-lengler-2024.md#stage-71-fix-1--promoted-pair-marginals) |
| 71 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Roadmap notes — Stage 71 fix 1 promoted: pair-event symmetry and factorial-moment bridge](doerr-janett-lengler-2024.md#roadmap-notes--stage-71-fix-1-promoted-pair-event-symmetry-and-factorial-moment-bridge) |
| 72 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 72 candidate — exact pair normalization](doerr-janett-lengler-2024.md#stage-72-candidate--exact-pair-normalization) |
| 72 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 72 fix 1 — local double-count proof repair](doerr-janett-lengler-2024.md#stage-72-fix-1--local-double-count-proof-repair) |
| 72 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 72 fix 1 — promoted exact pair normalization](doerr-janett-lengler-2024.md#stage-72-fix-1--promoted-exact-pair-normalization) |
| 72 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Roadmap notes — Stage 72 fix 1 promoted: exact pair normalization](doerr-janett-lengler-2024.md#roadmap-notes--stage-72-fix-1-promoted-exact-pair-normalization) |
| 73 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 73 candidate — generic accepted-event mass bridge](doerr-janett-lengler-2024.md#stage-73-candidate--generic-accepted-event-mass-bridge) |
| 73 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 73 — promoted generic accepted-event bridge](doerr-janett-lengler-2024.md#stage-73--promoted-generic-accepted-event-bridge) |
| 73 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Roadmap notes — Stage 73 promoted: generic event-mass bridge for the repaired Lemma 9 estimate](doerr-janett-lengler-2024.md#roadmap-notes--stage-73-promoted-generic-event-mass-bridge-for-the-repaired-lemma-9-estimate) |
| 74 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 74 candidate — objective-specific accepted pivot events](doerr-janett-lengler-2024.md#stage-74-candidate--objective-specific-accepted-pivot-events) |
| 74 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 74 fix 1 — accepted-event decidability/elaboration repair](doerr-janett-lengler-2024.md#stage-74-fix-1--accepted-event-decidabilityelaboration-repair) |
| 74 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 74 fix 1 — promoted concrete accepted pivot events](doerr-janett-lengler-2024.md#stage-74-fix-1--promoted-concrete-accepted-pivot-events) |
| 74 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Roadmap notes — Stage 74 fix 1: finite accepted-event representation repair](doerr-janett-lengler-2024.md#roadmap-notes--stage-74-fix-1-finite-accepted-event-representation-repair) |
| 74 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Roadmap notes — Stage 74 fix 1 and Stage 75 fix 1 promoted](doerr-janett-lengler-2024.md#roadmap-notes--stage-74-fix-1-and-stage-75-fix-1-promoted) |
| 75 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 75 candidate — accepted-event left/right loss decomposition](doerr-janett-lengler-2024.md#stage-75-candidate--accepted-event-leftright-loss-decomposition) |
| 75 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 75 fix 1 — warning-only simp cleanup](doerr-janett-lengler-2024.md#stage-75-fix-1--warning-only-simp-cleanup) |
| 75 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 75 fix 1 — promoted accepted-event loss decomposition](doerr-janett-lengler-2024.md#stage-75-fix-1--promoted-accepted-event-loss-decomposition) |
| 76 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 76 candidate — corrected factorial-moment potential calibration](doerr-janett-lengler-2024.md#stage-76-candidate--corrected-factorial-moment-potential-calibration) |
| 76 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 76 fix 1 — suffix finiteness / tactic cleanup](doerr-janett-lengler-2024.md#stage-76-fix-1--suffix-finiteness--tactic-cleanup) |
| 76 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 76 fix 1 — promoted corrected potential calibration](doerr-janett-lengler-2024.md#stage-76-fix-1--promoted-corrected-potential-calibration) |
| 77 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 77 candidate — corrected anchor envelope and gamma-tail reduction](doerr-janett-lengler-2024.md#stage-77-candidate--corrected-anchor-envelope-and-gamma-tail-reduction) |
| 77 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 77 fix 1 — right-region suffix membership repair](doerr-janett-lengler-2024.md#stage-77-fix-1--right-region-suffix-membership-repair) |
| 77 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 77 fix 1 — promoted anchor envelope](doerr-janett-lengler-2024.md#stage-77-fix-1--promoted-anchor-envelope) |
| 77 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Roadmap notes — Historical Stage 77-to-78 transition (both layers now promoted)](doerr-janett-lengler-2024.md#roadmap-notes--historical-stage-77-to-78-transition-both-layers-now-promoted) |
| 78 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 78 candidate — closed corrected gamma tail and singleton-rate right-loss scaling](doerr-janett-lengler-2024.md#stage-78-candidate--closed-corrected-gamma-tail-and-singleton-rate-right-loss-scaling) |
| 78 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 78 fix 1 — suffix inverse arithmetic repair](doerr-janett-lengler-2024.md#stage-78-fix-1--suffix-inverse-arithmetic-repair) |
| 78 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 78 fix 2 — suffix equivalence inverse-law repair](doerr-janett-lengler-2024.md#stage-78-fix-2--suffix-equivalence-inverse-law-repair) |
| 78 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 78 fix 2 promoted / Stage 79 candidate](doerr-janett-lengler-2024.md#stage-78-fix-2-promoted--stage-79-candidate) |
| 78 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Roadmap notes — Stage 78 fix 2 and Stage 79 fix 1 promoted](doerr-janett-lengler-2024.md#roadmap-notes--stage-78-fix-2-and-stage-79-fix-1-promoted) |
| 79 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 79 fix 1 — corrected-left-gain proof elaboration repair](doerr-janett-lengler-2024.md#stage-79-fix-1--corrected-left-gain-proof-elaboration-repair) |
| 79 |  | [`doerr-janett-lengler-2024`](doerr-janett-lengler-2024.md) | [Stage 79 fix 1 — promoted corrected left gain and literature-frontier checkpoint](doerr-janett-lengler-2024.md#stage-79-fix-1--promoted-corrected-left-gain-and-literature-frontier-checkpoint) |
| 79 |  | [`repository`](repository.md) | [Literature-roadmap snapshot: verified baseline at Stage 79](repository.md#literature-roadmap-snapshot-verified-baseline-at-stage-79) |
|  | 2026-10-25 | [`repository`](repository.md) | [Current merged mathematical checkpoint (25 October 2026)](repository.md#current-merged-mathematical-checkpoint-25-october-2026) |
|  | 2026-10-25 | [`repository`](repository.md) | [Provenance of the merged modules — no per-stage record](repository.md#provenance-of-the-merged-modules--no-per-stage-record) |
|  | 2026-10-26 | [`repository`](repository.md) | [Merge verification — full gate green (26 October 2026)](repository.md#merge-verification--full-gate-green-26-october-2026) |
|  | 2026-10-26 | [`repository`](repository.md) | [Pins for the paper-audit citations (26 October 2026)](repository.md#pins-for-the-paper-audit-citations-26-october-2026) |
|  | 2026-10-26 | [`repository`](repository.md) | [Generated facade index (26 October 2026)](repository.md#generated-facade-index-26-october-2026) |
|  | 2026-10-26 | [`repository`](repository.md) | [Merge cleanup — full gate green (26 October 2026)](repository.md#merge-cleanup--full-gate-green-26-october-2026) |
|  | 2026-10-26 | [`repository`](repository.md) | [Literature-roadmap snapshot: merged results (26 October 2026)](repository.md#literature-roadmap-snapshot-merged-results-26-october-2026) |