Revision history

CI-MATH-001 — Certifiable Inference Mathematical Specification

Audit trail of every recorded change to this specification. Frontmatter is the canonical record; the build pipeline warns when the source file has been modified more recently than the last changelog entry. Current version v1.0 (Final, L2), last updated 20 January 2026.