# Base-knowledge textbook upgrade — 2026-05-09

**Date:** 2026-05-09 (UTC)
**Author:** blackops + fox
**Scope:** four PD / open-licensed textbooks added to
`bench/fixtures/textbooks/manifest-v1.jsonl` and ingested into
`~/.arborist/crawl/textbook_*.db`. Closes the lookup gap surfaced
mid-session: pillar I/II/III/IX claim-pack records cite proprietary
modern texts (Mendelson, Enderton, Jech, Barendregt, Dummit-Foote) for
which PD primaries or open-licensed substitutes were not yet on disk.

## Additions

| ID | Author / Year | Format | License | Pillar targets | Docs/Chunks |
|---|---|---|---|---|---|
| `cantor-transfinite-numbers-jourdain` | Cantor 1895/97; Jourdain transl. 1915 | Wikisource HTML (1 page) | PD | II | 1 / 27 |
| `demorgan-first-notions-logic` | De Morgan 1839 | PG #67017 HTML | PD | I | 1 / 27 |
| `russell-imp-1919` | Russell 1919 | PG #41654 HTML | PD | I, II, III | 1 / 147 |
| `judson-abstract-algebra` | Judson 2025 (PreTeXt) | judsonbooks.org HTML | GFDL-1.3 | I, IX | 40 / 94 |

Total delta: 43 new documents · 295 new chunks across four shards in
`~/.arborist/crawl/`.

## Why these four

Per the per-pillar citation triage (cluster status 18/92 = 20% before
this upgrade):

- **Pillar II — 10 records cite Jech.** Cantor's *Contributions* IS the
  primary source modern Jech-style treatments derive from. Jourdain
  1915 translation is PD by age (US pre-1929 rule). Article 1 covers
  cardinal arithmetic, equivalence, addition / multiplication /
  exponentiation of cardinals, finite cardinals — exactly the axioms
  pillar II claim-pack records cite.
- **Pillar I — 13 records cite Mendelson + Enderton.** De Morgan 1839
  predates Boole and is foundational; Russell IMP 1919 is the
  non-symbolic exposition Russell wrote after Principia Mathematica
  to make logic + arithmetic foundations accessible. Together they
  cover propositional logic, syllogism, descriptions, types, classes
  — most of what Mendelson/Enderton present in modern form.
- **Pillar III — 13 records cite Landau + Gödel.** Russell IMP
  bridges into pillar III (natural numbers, definition of number,
  Peano arithmetic, finite & infinite induction). Landau and Gödel
  themselves stay open as #000038 acquisition targets — neither has
  a clean HTML PD edition yet found.
- **Pillar IX — 14 records cite Barendregt + Dummit-Foote.** Judson
  AGT is the GFDL-licensed modern textbook covering exactly the
  Dummit-Foote ground (groups, rings, fields, Galois theory) plus
  a Boolean-lattices chapter that supports pillar I cross-references.
  Lifts ~6 pillar IX records once a citation alias `Dummit-Foote →
  Judson AGT` is registered.

## Lift today

**Resolver run with new shards present, no new citation aliases:**

```bash
arborist warrant-resolve --use-aliases --write
# → records_resolved: 18 / 92 (unchanged from pre-ingest)
```

The resolver's `_shard_matches_citation` heuristic requires the cited
author's surname AND a significant title-word token to appear in a
shard's title haystack. None of the claim-pack records cite De Morgan
/ Russell / Cantor / Judson directly — they cite Mendelson / Enderton
/ Jech / Barendregt / Dummit-Foote. The new shards are honest "no
match" until citation-alias rows (#000041) bridge the gap.

This is correct fail-closed behavior. The bench journal records the
ingest so a future shift sees the shards are ready.

## Lift gated on fox citation-alias decisions

Per #000041 audit discipline (each alias row needs `decision_by` +
`decision_rationale`), the following decisions would unlock:

| Alias | Records lifted | Rationale |
|---|---|---|
| `Mendelson Introduction to Mathematical Logic → Russell IMP 1919` | up to 7 | Russell IMP's chs. on propositional logic, classes, definitions, types overlap Mendelson's propositional + first-order axioms |
| `Enderton A Mathematical Introduction to Logic → Russell IMP 1919` | up to 6 | same coverage profile as Mendelson alias |
| `Set Theory by Thomas Jech → Cantor Contributions to Transfinite Numbers` | up to 10 | Cantor IS the primary; Jech rederives with modern axiomatization |
| `Abstract Algebra by Dummit & Foote → Judson Abstract Algebra` | up to 6 | both are textbooks at same level; Judson covers groups/rings/fields/Galois, the Dummit-Foote core |
| `Stanley/Brualdi/Knuth combinatorics § → Bogart CTGD` (already ingested) | up to 14 | Bogart covers introductory combinatorics primitives |
| `Goldstein Classical Mechanics → Newton Principia` (already ingested) | up to 5 | Newton's *Principia* primary |

**Maximum projected lift if fox approves all six aliases: 18 + ~48 = ~66 / 92 (72%).**

Each alias decision is a separate audit event with `decision_by` and
`decision_rationale`. blackops cannot register them autonomously.

## Reproducibility

```bash
# Idempotent — re-running on already-ingested shards is a no-op
# at the document_root level (content-addressed inserts).
make textbook-cantor
make textbook-demorgan
make textbook-russell-imp
make textbook-judson
# OR all four at once:
make textbooks-base-knowledge
```

Crawl shards land in `~/.arborist/crawl/textbook_<id>.db`; the warrant
resolver picks them up automatically (any `crawl/*.db` not prefixed
`crawl_russell_/qa./snapshots.` is in scope).

## Out of scope (open #000038 targets)

These remained unsolved in this session and stay queued:

- **Hilbert-Ackermann 1928** — PG / Internet Archive German original
  available; English Chelsea 1950 likely still copyright. Pillar I.
- **Landau 1930 *Grundlagen der Analysis*** — German original PD by
  age; English translation copyright. Pillar III.
- **Gödel 1931** — German original; 95-year US copyright term expires
  Jan 2026 (just barely PD now). Pillar III.
- **Kolmogorov 1933** — German original; URAA-restored, US PD 2058.
  Pillar V.
- **Church 1932-1941 papers** — pre-1929 rule fails (1932 → US PD 2027).
  Pillar IX.

## References

- `#000031` — surface-ingest cited textbooks for warrant promotion
- `#000038` — Phase 4 content acquisition (open · awaiting fox)
- `#000041` — citation-aliases mechanism (closed · empty table)
- `#000042` — term-aliases mechanism (closed · 4 geometry rows)
- `bench/results/hilbert-pillar-iv-fully-resolved-2026-05-09.md` —
  prior session's pillar IV completion
- `bench/results/claim-pack-retrieval-lift-2026-05-09.md` — earlier
  retrieval-only lift bench
