State of Proof

The archive

State Changes

A dated archive of material updates across State of Proof records, newest first. Corrections and superseded sources are added to history rather than silently replacing prior entries.

Full docket JSON · Atom feed

  1. check reproduced

    2026-07-29-maxwell-conjecture · Maxwell counterexample

    Exact 21-point and Hessian classification of the displayed Lemma 2 polynomial reproduced locally; charge-model derivation and counterexample remain open

  2. immutable release

    2026-08-23-alpoge-s6 · Alpöge S⁶ claim

    Replay packet anchored in a GitHub immutable release with a separately downloadable SHA-256 checksum

  3. privacy hardening

    2026-08-23-alpoge-s6 · Alpöge S⁶ claim

    Exact interpreter patch, operating system, and architecture removed from the public run metadata

  4. evidence packet published

    2026-08-23-alpoge-s6 · Alpöge S⁶ claim

    Scoped local replay packet published with checkers, declared inputs, captured outputs, hashes, and limitations

  5. record provenance

    2026-08-23-alpoge-s6 · Alpöge S⁶ claim

    Record state, source preservation, route provenance, and author-contact state published

  6. record provenance

    2026-07-29-maxwell-conjecture · Maxwell counterexample

    Record classified as queued; source preservation, route provenance, and author-contact state published

  7. record provenance

    2026-02-14-openai-first-proof · First Proof calibration

    Record classified as queued; source preservation, route provenance, and author-contact state published

  8. record provenance

    2025-10-27-nesterov-point-convergence · Nesterov point convergence

    Record classified as queued; source preservation, route provenance, and author-contact state published

  9. record provenance

    2026-07-10-openai-cycle-double-cover · Cycle double cover

    Record classified as queued; source preservation, route provenance, and author-contact state published

  10. record provenance

    2026-08-01-openai-nonsofic-group · Nonsofic unit group

    Record classified as queued; source preservation, route provenance, and author-contact state published

  11. new docket

    2026-07-29-maxwell-conjecture · Maxwell counterexample

    arXiv v1 source locked and five examination gates mapped; no gate run

  12. new docket

    2026-02-14-openai-first-proof · First Proof calibration

    Original and revised packets locked; five calibration gates mapped; no gate run

  13. new docket

    2025-10-27-nesterov-point-convergence · Nesterov point convergence

    arXiv v2 locked and four examination gates mapped; no gate run

  14. new docket

    2026-07-10-openai-cycle-double-cover · Cycle double cover

    Manuscript and Lean commit locked; four examination gates mapped; no gate run

  15. new docket

    2026-08-01-openai-nonsofic-group · Nonsofic unit group

    Updated and original manuscripts plus Lean commit locked; four gates mapped; no gate run

  16. check reproduced

    2026-08-23-alpoge-s6 · Alpöge S⁶ claim

    Finite matrix identities and conditional Smith arithmetic reproduced locally

  17. open step

    2026-08-23-alpoge-s6 · Alpöge S⁶ claim

    Relative meridian signs recorded as the highest-risk next gate

  18. new docket

    2026-08-23-alpoge-s6 · Alpöge S⁶ claim

    108-page source locked and five load-bearing gates mapped

  19. source updated

    2026-08-01-openai-nonsofic-group · Nonsofic unit group

    OpenAI published a substantive Chapter 3 revision; the August 2 Lean commit predates it

  20. source updated

    2025-10-27-nesterov-point-convergence · Nesterov point convergence

    v2 published; the withdrawn v1 r∈[1,3) route retained as lineage only