| D-001-quantum-formalism-index |
D-001 — Master Equation & Tool Index (living document) |
in-progress |
08-19-2026 |
| D-002-paper-statements-notation |
D-002 — Anthropic paper: statements & notation map |
complete |
08-17-2026 |
| D-003-zero-side-reproduction |
D-003 — Zero side (Z) reproduced independently (paper §4) |
complete |
08-17-2026 |
| D-004-prime-side-reproduction |
D-004 — Prime side (P) reproduced independently (paper §5) |
complete |
08-17-2026 |
| D-005-linear-algebra-and-chain |
D-005 — Linear algebra (§3) + chain assembly (§6); task 0.3 fulfilled |
complete |
08-17-2026 |
| D-006-sharpness-ceiling-lean |
D-006 — §7 sharpness/ceiling + conditional extensions + Lean (App. A) |
complete |
08-17-2026 |
| D-007-zeta23-lean-inspection |
D-007 — zeta-23-lean inspection & audit confirmation (task 0.5) |
complete |
08-17-2026 |
| D-008-numerical-sandbox-summary |
D-008 — Numerical sandbox summary (task 0.6) |
complete |
08-17-2026 |
| D-009-ceiling-rederivation |
D-009 — Bandwidth-one ceiling ≈ 0.682: re-derivation + non-tightness inventory |
complete |
08-17-2026 |
| D-010-sine-moments-T1 |
D-010 — Thread T1: sine-process moments m_k(1) and Christoffel Λ₂(0) |
complete |
08-17-2026 |
| D-011-third-moment-analysis |
D-011 — Task 1.3: third moment tr G̃³ — what survives unconditionally? |
analysis complete |
08-17-2026 |
| D-012-support-beyond-one-literature |
D-012 — Task 1.4: unconditional support-(1+δ) form factor — literature + lag-scale analysis |
complete |
08-17-2026 |
| D-013-phase1-decision-gate |
D-013 — PHASE 1 DECISION GATE (task 1.5): is > 2/3 achievable in this framework? |
complete |
08-17-2026 |
| D-014-trackC-landscape |
D-014 — Track C landscape (2026 literature) + cross-pollination plan |
complete |
08-17-2026 |
| D-015-positivity-horizon-E006 |
D-015 — E-006 positivity horizon: resolution-limited; ill-conditioning measured |
complete |
08-17-2026 |
| D-016-Q34a-analysis |
D-016 — Q-3.4a: does the unconditional n₊ bound shrink Groskin's indeterminate zone? |
complete |
08-17-2026 |
| D-017-positivity-floor-decay |
D-017 — Positivity floor decay law (E-007/E-007b); Track C triad summary |
complete |
08-17-2026 |
| D-018-suzuki-operator-scoping |
D-018 — Q-3.4c scoping: Suzuki's finite-interval operators (what/why/how) |
scoped |
08-17-2026 |
| D-019-suzuki-numerics-analysis |
D-019 — Q-3.4c analysis: Suzuki operator numerics, findings, Q-S1 assessment |
complete |
08-18-2026 |
| D-020-W-zeros-analysis |
D-020 — E-010 analysis: zeros of Suzuki's W(a,θ;z) — lattice law, no γ-locking yet |
complete |
08-18-2026 |
| D-021-dbn-scoping |
D-021 — Task 3.3 scoping: de Bruijn–Newman heat flow vs the 2/3-density |
in-progress |
08-18-2026 |
| D-022-xiprime-analogue |
D-022 — Thread T4: the ξ′-analogue — why is the method stronger on ξ′? |
in-progress |
08-18-2026 |
| D-023-cor16-diagnostics-analysis |
D-023 — E-014 analysis: Cor 1.6 diagnostics (Q-S3) — density wall mapped; θ = π candidate |
in-progress |
08-18-2026 |
| D-024-herglotz-fine-structure-analysis |
D-024 — E-016 analysis: Herglotz fine structure at θ=π (Q-S3c) — partial |
partial (V3 root cause open) |
08-18-2026 |
| D-025-v3-rootcause-resolution |
D-025 — E-016 V3 failure ROOT-CAUSED and REPAIRED (task 2.6 complete) |
complete |
08-18-2026 |
| D-026-cor16-exact-factorization |
D-026 — Q-S3a: exact factorization of W(a,θ;z); Cor 1.6 reduced to a Wiener–Hopf remainder estimate |
complete |
08-18-2026 |
| D-027-thinning-measurement-analysis |
D-027 — E-017 analysis: the (★) cancellation is ~99.8% complete OFF the real axis at a ≤ 10 |
complete |
08-18-2026 |
| D-028-descent-profile-analysis |
D-028 — E-018 analysis: the (★) cancellation holds uniformly in the strip y₀ ∈ [0.1, 1]; the open content is the zero set of M, not its envelope |
complete |
08-18-2026 |
| D-029-zeroflow-a12-analysis |
D-029 — E-019 analysis: backend v2 validated; zero-flow at a=12 — NO transition; lattice stiffens |
complete |
08-19-2026 |
| D-030-xiprime-ceiling-analysis |
D-030 — Task 1.6: ξ′-world ceiling — certificate is window-saturated; adversary-side LP needs the paper's machinery |
complete |
08-18-2026 |
| D-031-T4b-higher-derivatives |
D-031 — Task 1.7 (T4b scoping): higher-derivative node mechanism — iterated formally, CLOSED structurally |
complete |
08-18-2026 |
| D-032-li-literature-map |
D-032 — Task 3.5a: Li-coefficient literature map (what exists, what the target really is) |
complete |
08-18-2026 |
| D-033-li-asymptotic-attack |
D-033 — Task 3.5b: the Li asymptotic attack — theorem skeleton, constant-tracing plan, and the exact wall |
complete |
08-18-2026 |
| D-034-star-literature-map |
D-034 — Task (★)a: literature map for the Wiener–Hopf / resolvent-convergence attack on (★) |
complete |
08-18-2026 |
| D-035-star-attack-design |
D-035 — Task (★)b: attack design on the tail-cancellation — resolvent-convergence route and the three-layer wall |
complete |
08-18-2026 |
| D-036-zeta-contour-constants |
D-036 — Task 3.6: explicit contour bounds for ζ (Lagarias §6 with constants) |
complete |
08-20-2026 |
| D-037-finite-height-theorem |
D-037 — Task 3.8: the explicit finite-height Li theorem — full assembly |
complete |
08-26-2026 |
| D-038-transition-scale |
D-038 — Task 2.11: transition-scale lower bound — the consolidation functional and the onset criterion |
complete |
08-19-2026 |
| D-039-digamma-bound-proof |
D-039 — Proof of the digamma remainder bound (upgrades R-004's H2 to proved) |
complete |
08-19-2026 |
| D-040-spectral-measure-analysis |
D-040 — Task 2.10 analysis: spectral-measure convergence — the valley observable, weight-channel γ-encoding, and the fixed-θ saturation ceiling |
complete |
08-19-2026 |
| D-041-krein-frame-deficiency-convergence |
D-041 — Task 2.9-D1: the Krein-space frame and the deficiency-convergence theorem (with the D-040 Δ-constraint) |
complete |
08-19-2026 |
| D-042-theta-sweep-analysis |
D-042 — Task 2.12 analysis: θ-independence, the linear-K law, and the λ→λ_a⁻ channel |
complete |
08-20-2026 |
| D-043-lambda-flow-analysis |
D-043 — Task 2.13 analysis: λ-flow response, the discretization floor, and the locking correction (D-029 erratum) |
complete |
08-20-2026 |
| D-044-linear-K-analysis |
D-044 — The linear-K law: windowed-symbol analysis of the spectral measure equilibrium |
complete |
08-19-2026 |
| D-045-symbol-identification |
D-045 — Fork 1: symbol identification — the zero-comb law |
complete |
08-19-2026 |
| D-046-lambda-channel-sizing |
D-046 — Fork 2: spectral-Galerkin sizing study for the λ → λ_a⁻ channel |
complete |
08-19-2026 |
| D-047-inverse-spectral-analysis |
D-047 — E-026 analysis: inverse-spectral reconstruction — machinery validated, signal diffuse |
complete |
08-19-2026 |
| D-048-valley-theorem |
D-048 — The valley theorem: variational form, proof skeleton, and exact zero-side bookkeeping |
skeleton (B1-B3 named) |
08-19-2026 |
| D-049-valley-theorem-proof |
D-049 — The valley theorem: full write-up (B1–B3 closed) |
complete under RH; finite-height modulo T2 |
08-19-2026 |
| D-050-T2-tail-estimate |
D-050 — T2 write-up: the finite-height tail, the phase threshold, and what positivity costs |
complete |
08-19-2026 |
| D-051-L3-L4-assembly |
D-051 — L3/L4 assembly: the symbol-class question for ĝ, and the correct frame |
complete |
08-19-2026 |
| D-052-phase4-synthesis |
D-052 — Phase 4 synthesis: strongest results, best-theorem statements, classification |
complete |
08-19-2026 |
| D-053-sanity-gate |
D-053 — Task 4.3a: the Davenport–Heilbronn / Epstein sanity gate |
complete |
08-19-2026 |
| D-054-independent-review |
D-054 — Task 4.3b: independent-instance adversarial review of T-1/T-2/T-3 + D-052 — findings, verifications, dispositions |
complete |
08-19-2026 |
| D-055-E027-detector-analysis |
D-055 — E-027 analysis: the off-line-pair detector under stress — bare onset is immediate, the carrier threshold π/(2a) is exact |
complete |
08-20-2026 |
| D-056-R-bound-repair |
D-056 — Repair 4.5a: reference-point R-bound (traced A = 10.5, B₀ = 48) + digamma remainder repair (supersedes D-039) + I_I housekeeping |
complete |
08-20-2026 |
| D-057-convexity-proof |
D-057 — Repair 4.5b: margin convexity, proved (symbolic building-block table) |
complete |
08-20-2026 |
| D-058-valley-lower-bound-repair |
D-058 — Repair 4.5c: valley-theorem lower bounds via node-killing (projection) test functions; B3 fix; m_γ fix; detector restatement |
complete |
08-20-2026 |
| D-059-bookkeeping-writeups |
D-059 — Repair 4.5d: bookkeeping write-ups — punctured-compact (1.12); R_τ distributional representation; (I1) form-domain identification; L1 embedding argument |
complete |
08-19-2026 |
| D-060-paper-honesty-audit |
D-060 — Phase 5.4: full honesty audit of draft.tex |
complete |
08-20-2026 |
| D-061-lean-build-and-skeletons |
D-061 — Phase 5.1/5.2: zeta-23-lean full build + live axiom audit + NguyenRH1 skeleton package |
complete (skeleton stage; tier (i) proved 2026-08-19) |
08-20-2026 |
| D-062-SfBound-triage |
D-062 — Tier (ii) design: SfBoundProp isolation, triage, and the perimeter decision |
complete (steps 1+2 executed; fc2e55e) |
08-20-2026 |
| D-063-submission-audit-NguyenRH1 |
D-063 — Pre-submission audit of the NguyenRH1 Lean package |
complete — ALL CHECKS PASS |
08-20-2026 |
| D-064-tier-ii-prime-design |
D-064 — Tier ii′ design: closing SfBoundProp in Lean |
complete (design) |
08-21-2026 |
| D-066-ii-prime-3-design |
D-066 — Tier ii′ sub-stage ii′-3 design: Lagarias (4.10) via contour moments + coefficient split |
COMPLETE (session 038: lagarias_4_10_a + sf_eq_resW1 PROVED, hZC-only) |
08-22-2026 |
| D-067-ii-prime-5-design |
D-067 — ii′-5 design: the R-bound in Lean (route b″, Stirling-free) |
design-complete |
08-22-2026 |
| D-068-ii-prime-5e-design |
D-068 — ii′-5e design: the partial-fraction identity in Lean |
complete (design) |
08-23-2026 |
| D-069-ii-prime-5f-design |
D-069 — ii′-5f design: the tight R-bound in Lean (D-056's Theorem R) |
design-complete |
08-24-2026 |
| D-070-ii-prime-3b-route-revision |
D-070 — ii′-3b route revision: the moments (M) from the 5e partial-fraction identity (no contours) |
COMPLETE (session 038: capstone sigmaP_eq_neg_iteratedDeriv_gFun_div PROVED, hZC-only) |
08-24-2026 |
| D-071-ii-prime-6-design |
D-071 — Tier ii′ sub-stage ii′-6 design: the L0 assembly + the honest-Bn correction |
complete (design) |
08-25-2026 |
| D-072-finding-F-D-right-tail-stepping |
D-072 — Finding F-D: the (6.12) stepping in Lagarias's Thm 6.1 is broken (right-tail of the horizontals) |
documented |
08-25-2026 |
| D-073-fd-horizontal-repair |
D-073 — F-D repair side thread ii′-6-R: mission, plan, and repaired proof of the Thm 6.1 horizontal right-tail |
complete |
08-26-2026 |
| D-074-dogleg-repair |
D-074 — Zero-free dog-leg repair of the Lagarias horizontal right tail (design + progress anchor) |
in-progress |
08-26-2026 |
| D-075-zero-count-perimeter-derivations |
D-075 — The three zero-counting perimeter Props derived from published explicit bounds (Paper A, Appendix C) |
complete |
09-02-2026 |