From 96f6ede2683470e8d4d7c817e5a5098882c6430d Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Tue, 11 Aug 2026 19:31:35 +0200 Subject: [PATCH] P13-S26 post-acceptance reconciliation: the two documents held back Separated from eddf6e9 on S16's precedent: the execution commit carries only touch-table paths, and the tracking documents are reconciled once the rung is accepted. CLAUDE.md's Green baseline moves 1583 -> 1586 and gains the suite count, 43. It is now the single origin for BOTH figures, and the entry says why they can move independently: P13-S26 added three tests in one new file, so the suite count moved with the test count. A rung that only adds tests moves one figure. That distinction was implicit before and is the kind of thing a reader reconciles against on arrival. The handoff continues not to restate the count -- the discipline S16 introduced after the figure was kept in three places and went stale in all three -- and its open-candidate paragraph now says so explicitly for the count of open rows too, rather than carrying a tally that the next filing staleness. It records S16 and S26 as landed, names S29 and S30 as filed by S26's execution, and notes amendment 3 open against S26's own pin 4a. Verified after editing, not before: 43 suites, 1586 passed, 0 failed, 0 ignored. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01Ps1szk2mSfgp4Cz21eVH9x --- CLAUDE.md | 13 ++++++++----- spec/HANDOFF_2026-08-07.md | 11 ++++++++--- 2 files changed, 16 insertions(+), 8 deletions(-) diff --git a/CLAUDE.md b/CLAUDE.md index 91e4e02..034e676 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -17,7 +17,7 @@ model with a LaTeX specification suite as its source of truth. | Track | Lives in | Current head | |---|---|---| -| **Spec / Pass 13** — wire format, bundle, ops, text projection, the `.tex` suite | `spec/`, `crates/epiphany-{core,ops,bundle,textproj,testkit}` | **P13-S27 LANDED** (`4df8e25`); **P13-S16 LANDED** (`aee4ff9`), its post-landing corrections amended in at `CONTRACT_P13S16_PROJECTION.md` §7 | +| **Spec / Pass 13** — wire format, bundle, ops, text projection, the `.tex` suite | `spec/`, `crates/epiphany-{core,ops,bundle,textproj,testkit}` | **P13-S26 LANDED** (`eddf6e9`), amendments 1–2 at `f9170b0`/`86bf7c6`, **amendment 3 open**; **P13-S27 LANDED** (`4df8e25`); **P13-S16 LANDED** (`aee4ff9`), its post-landing corrections amended in at `CONTRACT_P13S16_PROJECTION.md` §7 | | **Editor / T4** — the editing seam, engraving, the toolkit spike | `spec/PLAN_EDITOR_APP.md`, `spec/CONTRACT_EDITOR_*`, `spikes/`, `crates/epiphany-{editor-core,editor-gui,engrave,layout-ir,glyphs,render-svg}` | T4 spike, round 2 built but not run | They are currently independent. The T1b/P13-S27 collision in @@ -85,13 +85,16 @@ reach today. ## Green baseline ``` -cargo test --workspace # expect 1583 passing, 0 failed, 0 ignored +cargo test --workspace # expect 43 suites, 1586 passing, 0 failed, 0 ignored cargo clippy --workspace --all-targets -- -D warnings # clean ``` -**This is the single origin for the count** — `spec/HANDOFF_2026-08-07.md` used to -repeat it in three places and now points here. It moved 1570 → 1577 when P13-S27 landed, -and 1577 → 1583 when P13-S16 landed (six net-new tests). +**This is the single origin for both numbers** — `spec/HANDOFF_2026-08-07.md` used to +repeat the count in three places and now points here. It moved 1570 → 1577 when P13-S27 +landed, 1577 → 1583 when P13-S16 landed (six net-new tests), and 1583 → 1586 when P13-S26 +landed (three net-new tests in one new suite, `epiphany-testkit/tests/invariant_ten_surface.rs`, +which is why the **suite** count moved 42 → 43 with it). A rung that adds a test file moves +both figures; a rung that only adds tests moves one. **Use `--no-fail-fast` whenever anything is failing.** The bare command stops at the first failing suite, so a partial failure set reads as the whole one — P13-S16's M6a diff --git a/spec/HANDOFF_2026-08-07.md b/spec/HANDOFF_2026-08-07.md index 78950ec..e3fbe80 100644 --- a/spec/HANDOFF_2026-08-07.md +++ b/spec/HANDOFF_2026-08-07.md @@ -246,9 +246,14 @@ first time since it was filed. ### 1.5 Other open Pass-13 candidates Ledger: `spec/PASS13_CANDIDATES.md`. *(**Row states below are as of 2026-08-07 and are -superseded for S27 and S16 — see the POST-S27 UPDATE at the top.** The ledger itself is -authoritative for every row.)* Ten rows still read **open**: S4, S8, S9, -S16, S18, S19, S23, S24, S25, S26. Beyond those, **S27 is UNBLOCKED and +superseded for S27, S16 and S26 — see the POST-S27 UPDATE at the top.** The ledger itself +is authoritative for every row, and the count of open rows is deliberately not restated +here.)* As of 2026-08-07 ten rows read **open**: S4, S8, S9, +S16, S18, S19, S23, S24, S25, S26. **S16 landed 2026-08-10 (`aee4ff9`) and S26 landed +2026-08-11 (`eddf6e9`)**; S26's execution filed two further candidates, **S29** (the +invariant-10 tag multiplexes Chapter 3/4 failures through a public API) and **S30** (the +repository's ad hoc TeX parsers assume exact spellings), and left **amendment 3** open +against its own pin 4a. Beyond those, **S27 is UNBLOCKED and dispatchable** and **S28 is IMPLEMENTED** — both status openers were corrected in this handoff commit, because each still began "open" while its resolution sat further down the cell. Worth knowing the shape of that staleness: the ledger's