Repository navigation

Apply corrections, typeset the report, check the ledgers in CI - #3

Merged

lvelho merged 11 commits into

mainfrom

feat/typeset-report

Sep 9, 2026

Merged

Apply corrections, typeset the report, check the ledgers in CI#3
lvelho merged 11 commits into
mainfrom
feat/typeset-report

Commits on Sep 8, 2026
- Apply the pass's corrections, pin the predecessors, record two spec defects
  
  lvelho
  and
  claude
  committed
  f76c757
- PART B BLOCKED — verify its checkable claim anyway
  
  lvelho
  and
  claude
  committed
  bc0070c
- Typeset draft.md into report/sections/*.tex and build the document
  
  lvelho
  and
  claude
  committed
  230d838
- Close od-004: parse the ledgers in CI, with no new dependency
  
  lvelho
  and
  claude
  committed
  1d2f492
- Fix the ledger check: YAML.parse, not YAML.load
  
  lvelho
  and
  claude
  committed
  a37f276
- PART B: §6, "The method destroys its own best evidence"
  
  lvelho
  and
  claude
  committed
  fa309cd
Commits on Sep 9, 2026
- PART B, revised: the corrected section, and two defects it surfaced
  
  lvelho
  and
  claude
  committed
  e80c49f
- Convert straight double quotes in the transit, and guard against them
  
  lvelho
  and
  claude
  committed
  068a285
- Commit the converter and take the tooling back with it (od-007, option 2)
  
  lvelho
  and
  claude
  committed
  3deb87d
- Fix the code job: PEP 735 dependency groups, not a package install
  
  lvelho
  and
  claude
  committed
  de575e4
- Close A6 and A7, and the restatement neither verdict named
  
  lvelho
  and
  claude
  committed
  d8c7052