Commit 3030369
docs(spec): book.json's liveness header names the dead row, not a pair of integers (#16982)
The `_note` opened with "15 of 17 live; the two dead entries are both inline
`translations` maps". Neither half survives a re-read of the ledger it describes:
the file carries 13 live and 1 dead row across all nesting levels, and the gate's
own report (`check-liveness.mts --json`, `types.book.byStatus`, published in
`liveness/state-counts.md`) reads `live 20 … dead 1 … classified 21`. 15 and 17
appear in neither granularity, and the plural sends a reader looking for a second
dead inline `translations` map the ledger does not record.
The second dead entry did exist and was NOT lost. `book.translations` was seeded
`dead`/`authorWarn` beside `groups[].translations` on 2026-08-01 (#4488); #4667
retired both by two deliberately different routes, stated in that PR's own commit
message: the book-level key is a strict deletion, so it left the walked shape and
its ledger row was deleted with it, while the group-level key is tombstoned
(`retiredKey`) because `BookGroupSchema` is a plain `z.object` with no `.strict()`,
where a bare delete would have zod silently strip the key. The liveness README's
`book` row records that disposition in writing, and `check:liveness` reports
`unclassified: 0` for the type while enforcing that no ledger row outlives its
property. The ledger is complete; only the sentence had gone stale, on the day the
second key was retired.
The replacement states the boundary — which row is dead, and why its twin carries
no row — and restates no total, per the ledger README's counting-method section
("The Notes cell is not a place to restate a number"). No `status` value moves, no
schema changes, and `state-counts.md` is untouched and reported current.
Claude-Session: https://claude.ai/code/session_016N6xmWt5hYm94ffVEwGH8x
Co-authored-by: Claude <noreply@anthropic.com>1 parent db4bf90 commit 3030369
2 files changed
Lines changed: 32 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
0 commit comments