neuwirth
/
epiphany
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Ps1szk2mSfgp4Cz21eVH9x
This commit is contained in:
Levi Neuwirth 2026-08-11 19:31:35 +02:00
parent eddf6e9c6d
commit 96f6ede268
No known key found for this signature in database
2 changed files with 16 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
CLAUDE.md
View File

@ -17,7 +17,7 @@ model with a LaTeX specification suite as its source of truth.
| Track | Lives in | Current head | | 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 | | **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 They are currently independent. The T1b/P13-S27 collision in
@ -85,13 +85,16 @@ reach today.
## Green baseline ## 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 cargo clippy --workspace --all-targets -- -D warnings # clean
``` ```
**This is the single origin for the count** — `spec/HANDOFF_2026-08-07.md` used to **This is the single origin for both numbers** — `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, repeat the count in three places and now points here. It moved 1570 → 1577 when P13-S27
and 1577 → 1583 when P13-S16 landed (six net-new tests). 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 **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 first failing suite, so a partial failure set reads as the whole one — P13-S16's M6a

11
spec/HANDOFF_2026-08-07.md
View File

@ -246,9 +246,14 @@ first time since it was filed.
### 1.5 Other open Pass-13 candidates ### 1.5 Other open Pass-13 candidates
Ledger: `spec/PASS13_CANDIDATES.md`. *(**Row states below are as of 2026-08-07 and are 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 superseded for S27, S16 and S26 — see the POST-S27 UPDATE at the top.** The ledger itself
authoritative for every row.)* Ten rows still read **open**: S4, S8, S9, is authoritative for every row, and the count of open rows is deliberately not restated
S16, S18, S19, S23, S24, S25, S26. Beyond those, **S27 is UNBLOCKED and 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 dispatchable** and **S28 is IMPLEMENTED** — both status openers were corrected in
this handoff commit, because each still began "open" while its resolution sat 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 further down the cell. Worth knowing the shape of that staleness: the ledger's