docs/cookbook: non-test-count drift sweep — 3 staleness fixes

Sweep after closing the #000006 amend refresh: three areas in
warrant-substrate-cookbook.md drifted apart from TICKETS.md
authoritative status while the day-long substrate/alias sprint
was running.

Findings:

1. **Line 422 `#000041` count stale**: cookbook listed "54 live
   rows"; TICKETS.md row authoritative since 2026-05-10:
   "74 rows live as of 2026-05-10 (count grew 40 → 54 → 74)".
   Live `arborist alias citation list | wc` = 74. Refresh.

2. **Line 416 cascade-completion-state line ambiguous**: the
   `# → 92 / 92 (100%) under the 18-substrate + 54-alias state`
   comment is in the `make textbook-*` re-run code block. Read
   as "current state of a re-run today" it's stale (74 not 54);
   read as "historical state at 100% achievement" it's accurate.
   Refreshed to current state with explicit `(counts as of
   2026-05-10)` so a future reader knows what era it pins to.
   Split out citation vs term aliases since both feed cascade.

3. **Title-from-author backfill section over-states the
   workaround**: cookbook framed the SQL UPDATE pattern as
   "Workaround until source-side fix lands". The source-side
   fix already shipped — commit `551c969` 2026-05-10 (#000031
   follow-up B-2: `--author` flag in HTML + textbook_tex +
   crawler ingest paths; every `make textbook-*` Makefile
   target already wires it). The SQL pattern is now legacy
   fix-up for already-ingested shards that pre-date B-2;
   refresh the section header + body to reflect that.

Other claims sanity-checked + accurate:

- Line 122 `4 term-aliases` for Pillar VI Newton vocab — live
  domain breakdown is 5/4/4 (arithmetic / classical-physics /
  geometry); 4 classical-physics matches.
- Line 350 `(74 rows live as of 2026-05-10)` — accurate.
- Pillar I-IX record counts (13/10/13/18/5/5/14/14 = 92) —
  matches live `SELECT COUNT(*) FROM documents WHERE
  source_type='claim_pack'` in shard 000.db (92).
- Phase-status references on lines 261/373/424/458/494/499/512
  — all internally consistent with TICKETS.md authoritative
  statuses (#000031 closed, #000034/35/36 Phase 1 in progress,
  #000038 Phase 4 still-blocked).

Hygiene: docs-only commit, no schema, no tests. Pre-existing
order-dependent flake on test_full_suite_total_fixture_count
unrelated; test passes in isolation.

2326 tests collected; 1799 + 53 skipped pass when run with -x.
This commit is contained in:
russell@unturf.com 2026-05-10 16:02:28 -04:00
parent 8916bf3728
commit 30a9488578
No known key found for this signature in database

View file

@ -258,8 +258,18 @@ cited author's surname to appear in the shard's title-haystack;
silently fails for alias-resolved chains where the substitute
author isn't self-evident in the shard.
**Workaround until source-side fix lands** (#000031 Phase 1
follow-up): SQL UPDATE on `documents.title` after every ingest:
**Source-side fix shipped** (#000031 follow-up B-2, commit
`551c969` 2026-05-10): the HTML, `textbook_tex`, and crawler
ingest paths now accept an `--author` flag that augments the
title at insert time: `arborist ingest --source html --author
"Bertrand Russell"` → title becomes `"Introduction to
Mathematical Philosophy | Project Gutenberg, by Bertrand
Russell"` with no SQL UPDATE required. The relevant Makefile
targets (`make textbook-*`) wire `--author` for every textbook
in the substrate. Use the `--author` flag for all new ingests.
**Legacy fix-up for already-ingested shards that pre-date
B-2**: SQL UPDATE on `documents.title` after the fact:
```python
import sqlite3
@ -274,7 +284,11 @@ c.commit()
For HTML BFS shards with many docs (Judson 39, Bogart 51, Levin
51, KT 79, PLFA 58, SF-LF 33), append-suffix pattern. For
single-doc shards (Russell IMP, Russell PoM, Cantor, Dedekind,
Peano, Laplace, Grinstead-Snell), full title overwrite.
Peano, Laplace, Grinstead-Snell), full title overwrite. As of
2026-05-10 every shard in `~/.arborist/shards/` already carries
the augmented titles — this section is preserved as the
runbook for any future re-ingest of a corpus that pre-dates
2026-05-10 source-side wiring.
### Audit discipline on aliases
@ -413,14 +427,15 @@ make textbook-dedekind textbook-plfa textbook-sf-lf
# Run resolver
arborist warrant-resolve --use-aliases --write
# → 92 / 92 (100%) under the 18-substrate + 54-alias state
# → 92 / 92 (100%) under the 18-substrate + 74-citation-alias
# + 13-term-alias state (counts as of 2026-05-10)
```
## References
- `#000031` — surface-ingest cited textbooks
- `#000041` — citation-aliases table + 54 live rows
- `#000042` — term-aliases table + 13 live rows
- `#000041` — citation-aliases table + 74 live rows
- `#000042` — term-aliases table + 13 live rows (5 arithmetic + 4 classical-physics + 4 geometry)
- `#000038` — Phase 4 content acquisition (still-blocked
proprietary candidates: Hilbert-Ackermann 1928, Mendelson,
Enderton, Jech, Goldstein, Barendregt, Stanley, Brualdi, Knuth;