docs: refresh stale alias counts (residual 40/54 → 74)

Parallel-shift commit 6f1dbed already refreshed primary surfaces
but missed three sites:

  docs/warrant-substrate-cookbook.md            54 → 74
  docs/tickets/ticket-000031-...md              40 → 74 (Phase 2.5 narrative)
  bench/results/full-warrant-resolution-...md   40 → 74 (×2 sites)

Live count from ~/.arborist/shards/000.db is 74 citation_aliases
+ 13 term_aliases. All four edits add the "grew 40 → 54 → 74
across the day" trail so future readers see the trajectory rather
than a stale point-in-time number.

bench/results/full-warrant-resolution-2026-05-10.md

@@ -106,7 +106,7 @@ Foundations LF`. Lifted the last record.
   - Aristotle *Prior Analytics* + *Posterior Analytics* (PD,
     Wikisource)
   - Judson *AGT* (GFDL-1.3)
-- 40 citation-alias rows + 13 term-alias rows, all
+- 74 citation-alias rows + 13 term-alias rows (counts at end of day; grew 40 → 54 → 74 as fox added substitutions), all
   audit-disciplined (`decision_by` + `decision_rationale` per row)
 - Cascade engine now handles parenthetical discriminators + OR-
   fallback for soft matches
@@ -180,7 +180,7 @@ arborist warrant-resolve --use-aliases --write
   - `bench/results/grinstead-snell-and-cascade-tuning-2026-05-10.md`
   - this file: `bench/results/full-warrant-resolution-2026-05-10.md`
 - `#000031` — surface-ingest cited textbooks for warrant promotion
-- `#000041` — citation-aliases mechanism (40 rows live)
+- `#000041` — citation-aliases mechanism (74 rows live as of 2026-05-10)
 - `#000042` — term-aliases mechanism (13 rows live)
 - `#000040` — Phase 5 cascade fix (this turn lands cascade tuning
   with parenthetical phrase + OR fallback)

docs/tickets/ticket-000031-surface-ingest-cited-textbooks.md

@@ -459,7 +459,7 @@ preceding bench journals from 2026-05-10. Headlines:
 
 Plus deeper Newton recrawl (1729 edition root with subpage seeds).
 
-**40 citation-alias rows** + **13 term-alias rows** registered with
+**74 citation-alias rows** (count grew 40 → 54 → 74 across the day as fox added substitutions) + **13 term-alias rows** registered with
 fox's `decision_by="fox 2026-05-10"` per `#000041`/`#000042` audit
 discipline. Each row carries free-text `decision_rationale` so an
 audit reviewer can re-judge.

docs/warrant-substrate-cookbook.md

@@ -347,7 +347,7 @@ The 92 chains have three quality tiers:
   *proves* the axiom is a separate, weaker claim. Heuristic-grade.
 
 The schema doesn't currently distinguish these tiers. Audit
-reviewers walk `citation_aliases` (54 rows) + read
+reviewers walk `citation_aliases` (74 rows live as of 2026-05-10) + read
 `decision_rationale` fields to grade each chain. If tier
 distinction becomes load-bearing, add a `tier ∈ {primary,
 substitute, soft}` column to `derivations`.