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:
parent
8916bf3728
commit
30a9488578
1 changed files with 21 additions and 6 deletions
|
|
@ -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;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue