State of Proof — State Changes Dated material changes across source-locked mathematical proof dockets. https://stateofproof.org/state-changes 2026-08-26T00:00:00Z arXiv v1 source locked and five audit gates mapped; no gate run https://stateofproof.org/dockets/maxwell-conjecture#change-2026-08-26-1 2026-08-26T00:00:00Z 2026-07-29-maxwell-conjecture · Maxwell counterexample: arXiv v1 source locked and five audit gates mapped; no gate run Original and revised packets locked; five calibration gates mapped; no gate run https://stateofproof.org/dockets/openai-first-proof#change-2026-08-26-2 2026-08-26T00:00:00Z 2026-02-14-openai-first-proof · First Proof calibration: Original and revised packets locked; five calibration gates mapped; no gate run arXiv v2 locked and four audit gates mapped; no gate run https://stateofproof.org/dockets/nesterov-point-convergence#change-2026-08-26-3 2026-08-26T00:00:00Z 2025-10-27-nesterov-point-convergence · Nesterov point convergence: arXiv v2 locked and four audit gates mapped; no gate run Manuscript and Lean commit locked; four audit gates mapped; no gate run https://stateofproof.org/dockets/openai-cycle-double-cover#change-2026-08-26-4 2026-08-26T00:00:00Z 2026-07-10-openai-cycle-double-cover · Cycle double cover: Manuscript and Lean commit locked; four audit gates mapped; no gate run Updated and original manuscripts plus Lean commit locked; four gates mapped; no gate run https://stateofproof.org/dockets/openai-nonsofic-group#change-2026-08-26-5 2026-08-26T00:00:00Z 2026-08-01-openai-nonsofic-group · Nonsofic unit group: Updated and original manuscripts plus Lean commit locked; four gates mapped; no gate run Finite matrix identities and conditional Smith arithmetic reproduced locally https://stateofproof.org/dockets/alpoge-s6#change-2026-08-24-6 2026-08-24T00:00:00Z 2026-08-23-alpoge-s6 · Alpöge S⁶ claim: Finite matrix identities and conditional Smith arithmetic reproduced locally Relative meridian signs recorded as the highest-risk next gate https://stateofproof.org/dockets/alpoge-s6#change-2026-08-24-7 2026-08-24T00:00:00Z 2026-08-23-alpoge-s6 · Alpöge S⁶ claim: Relative meridian signs recorded as the highest-risk next gate 108-page source locked and five load-bearing gates mapped https://stateofproof.org/dockets/alpoge-s6#change-2026-08-24-8 2026-08-24T00:00:00Z 2026-08-23-alpoge-s6 · Alpöge S⁶ claim: 108-page source locked and five load-bearing gates mapped OpenAI published a substantive Chapter 3 revision; the August 2 Lean commit predates it https://stateofproof.org/dockets/openai-nonsofic-group#change-2026-08-06-9 2026-08-06T00:00:00Z 2026-08-01-openai-nonsofic-group · Nonsofic unit group: OpenAI published a substantive Chapter 3 revision; the August 2 Lean commit predates it v2 published; the withdrawn v1 r∈[1,3) route retained as lineage only https://stateofproof.org/dockets/nesterov-point-convergence#change-2026-01-19-10 2026-01-19T00:00:00Z 2025-10-27-nesterov-point-convergence · Nesterov point convergence: v2 published; the withdrawn v1 r∈[1,3) route retained as lineage only