Skip to content

docs: add v1.2.9 manuscript errata - #40

Merged
papasop merged 1 commit into
mainfrom
codex/add-v1.2.9-manuscript-erratum
Aug 11, 2026
Merged

docs: add v1.2.9 manuscript errata#40
papasop merged 1 commit into
mainfrom
codex/add-v1.2.9-manuscript-erratum

Conversation

@papasop

@papasop papasop commented Aug 11, 2026

Copy link
Copy Markdown
Owner

Add textual clarifications and errata for the frozen v1.2.9 manuscript.

  • document initial-condition, target-state, tangent-domain, R3, Stage-A, certificate-location, Table 2 aggregation, and legacy-parameter clarifications
  • link the errata from README and manuscript provenance
  • update repository checksums

Scientific boundary:

  • no frozen PDF or source archive changes
  • no theorem-bearing source or certificate changes
  • no protocol, JSON, atlas, or numerical-constant changes
  • no Arb rerun
  • GLOBAL_FLOW_CLAIMED=false
  • no global-flow claim

Excluded actions:

  • no tag changes
  • no GitHub Release changes
  • no Zenodo changes

Add textual clarifications and errata for the frozen v1.2.9 manuscript.

- document initial-condition, target-state, tangent-domain, R3, Stage-A, certificate-location, Table 2 aggregation, and legacy-parameter clarifications
- link the errata from README and manuscript provenance
- update repository checksums

Scientific boundary:
- no frozen PDF or source archive changes
- no theorem-bearing source or certificate changes
- no protocol, JSON, atlas, or numerical-constant changes
- no Arb rerun
- GLOBAL_FLOW_CLAIMED=false
- no global-flow claim

Excluded actions:
- no tag changes
- no GitHub Release changes
- no Zenodo changes
@papasop
papasop merged commit ef7e513 into main Aug 11, 2026
2 checks passed
@papasop
papasop deleted the codex/add-v1.2.9-manuscript-erratum branch August 11, 2026 20:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant