CHANGELOG.md
Machine Understanding
CHANGELOG.md
1 # Revision history
2
3 ## Version 1.0.0 — 8 October 2026
4
5 Consolidated the manuscript into four parts and 50 pages. Preserved all 17 v0.5 theorem/proposition statements and corresponding proofs verbatim. Added a charged-interpreter counting proposition, a fixed-recipient covering theorem, and an exact joint online/storage resource theorem. Added two counterexamples separating designable from fixed decoders and separate resource optima from one joint workflow. Integrated the exact instrument with two frozen recipient programs and a transparent execution ledger.
6
7 Added `resource_contracts.py`, `demo_first_edition.py`, and `edition_checks.py`. Ten new exact groups contain 80,188 assertions. Reran the 172,481 inherited assertions. Extended the reading export, claim ledger, theorem index, build scripts and verification records. Reused all eight analytical figures unchanged. Rechecked the 19-entry bibliography against primary records and selected full texts, with access limits retained.
8
9 An early authoring comparison of resource profiles was replaced before testing by the strict tradeoff example using four origins and three equality tests. Visual review found the initial claim appendix too sparse on its last page, so a substantive dependency guide was added. No new mathematical assertion or LaTeX invocation failed in this edition's executed runs. Failed/limited literature fetches are recorded in the reference review. Earlier permission and alignment errors belong to archived predecessor records, not this release's runs.
10
11 ## Version 0.5.0
12
13 Expanded the first draft to noisy correction, multiple recipients, state-changing acquisition, and joint acquisition/explanation. The source, earlier review and earlier finite receipts are retained under `validation/predecessor_v05/`.