Packages
Deterministic protocol verification for cryptographically bounded proof-of-possession authority.
Retired package: Security issue - Ed25519 forgery under weak keys; upgrade to 0.8.0 (GHSA-jwvm-w9r9-qqf8)
Current section
Files
Jump to
Current section
Files
docs/errata.md
# Errata registry
Numbered errata against published normative documents, per the governance policy (published in
[governance.md](governance.md); authoritative source in the
[standards track charter](design/standards-track.md) § Governance). An erratum may clarify prose,
correct non-normative text, or add conformance cases. **No erratum may change a conformance
verdict**: any change that would alter an accept/reject outcome is a contract-major change and
follows the evolution contract, never this registry.
Each entry records: number, date, affected document and versions, the correction, and its
conformance-corpus impact (which must be additive or none).
| # | Date | Document | Correction | Corpus impact |
|---|---|---|---|---|
| — | — | — | none recorded | — |