diff --git a/docs/TICKETS.md b/docs/TICKETS.md index 2e8c0ac..cb6fbdf 100644 --- a/docs/TICKETS.md +++ b/docs/TICKETS.md @@ -70,7 +70,7 @@ Newest first. Update on every open/close. | #000041 | Citation-aliases table (PD substitutes for proprietary cites) | closed · 54 rows live by 2026-05-10 (Goldstein/Newton, Mendelson/Enderton/Jech/Landau/Gödel→{Russell IMP, Russell PoM, De Morgan, Boole, Cantor, Peano, Dedekind, SF-LF}, Stanley/Brualdi/Knuth → Bogart+Levin+Keller-Trotter, Dummit-Foote/Barendregt/Böhm-Jacopini → Judson/PLFA/SF, Kolmogorov → Grinstead-Snell+Laplace) | 2026-05-09 | — | | #000040 | Phase 5 resolver fix — phrase + content-token cascade (Hilbert terminology mismatch surfaced) | closed · cascade landed 2026-05-09; lift blocked by 1902-vs-modern vocab; follow-up #000042 | 2026-05-09 | — | | #000039 | Optional `sqlite-vec` retrieval backend (A/B vs FTS5, hybrid not replacement) | open · awaiting go/no-go (doc-only Phase 0) | 2026-05-09 | — | -| #000038 | Phase 4 content acquisition — proprietary textbook license decisions for warrant coverage | open · awaiting go/no-go | 2026-05-09 | — | +| #000038 | Phase 4 content acquisition — proprietary textbook license decisions for warrant coverage | closed · obviated 2026-05-10 by alias-substitution sprint under #000031 (54 rows in #000041 + 13 rows in #000042); 92/92 records now resolve. Residue (multilingual PD, Hilbert-Ackermann OCR, Knuth permission, personal-copy path B) preserved as design log §8 | 2026-05-09 | — | | #000037 | Prometheus-Σ recursive falsification controller (bicameral substrate) | open · awaiting go/no-go (doc-only Phase 0) | 2026-05-09 | — | | #000036 | T3 per-window covert-channel budget bound | open · awaiting go/no-go (#000018 follow-up) | 2026-05-09 | — | | #000035 | PRG choice for φ_PRG (HMAC-SHA-512 expansion) | in progress · Phase 1 landed 2026-05-10; v7 §9.10 amendment awaits maintainer review | 2026-05-09 | — | diff --git a/docs/tickets/ticket-000038-phase-4-content-acquisition.md b/docs/tickets/ticket-000038-phase-4-content-acquisition.md index 094ebf0..d734ef4 100644 --- a/docs/tickets/ticket-000038-phase-4-content-acquisition.md +++ b/docs/tickets/ticket-000038-phase-4-content-acquisition.md @@ -1,6 +1,6 @@ # Ticket #000038 — Phase 4 content acquisition for warrant coverage -**Status:** open · awaiting go/no-go +**Status:** closed · most scope obviated 2026-05-10 by the citation-alias mechanism (#000041) + 18-substrate ingest sprint under #000031 Phase 2.5. **92/92 (100%) claim-pack records now resolve** — every cited proprietary author was either substituted to a peer-level open-licensed work (Mendelson/Enderton → Russell IMP / De Morgan / Boole / SF-LF; Jech → Cantor / Russell PoM / PM Vol 1; Stanley/Brualdi/Knuth → Bogart + Levin + Keller-Trotter; Dummit-Foote → Judson AGT; Goldstein → Newton Principia; Barendregt → PLFA + SF-LF; Landau/Gödel → Peano + Dedekind + Russell IMP + SF-LF; Kolmogorov → Grinstead-Snell + Laplace; Böhm-Jacopini → SF-LF) or directly aliased. §3.2 option (b) "citation_aliases table" implemented as #000041 (54 rows). §6 Hilbert resolver-miss closed via #000040 cascade tuning + 4 #000042 term aliases (geometry domain). **Genuinely-open residue** documented in §8 below — primarily multilingual PD originals + Hilbert-Ackermann 1928 OCR + personal-copy path B; none currently blocking warrant coverage. **Opened:** 2026-05-09 **Scope:** Widen warrant-resolver coverage from 11/92 records (Hilbert pillar IV) to a substantively larger fraction of the @@ -210,14 +210,73 @@ overload its scope. ## 7. Status -Open · awaiting fox's per-textbook acquisition decisions. +**Closed 2026-05-10 — most scope obviated by alias-substitution +sprint.** Walking the §2 priority table against current state: -Estimated size: +| Original cite | Records | Resolution path actually taken | +|---|---|---| +| Stanley *Enumerative Combinatorics* | 11 | aliased → Bogart CTGD + Levin + KT (3 substrates) | +| Jech *Set Theory* | 10 | aliased → Cantor 1915 + Russell PoM + PM Vol 1 | +| Brualdi *Introductory Combinatorics* | 9 | aliased → Bogart + Levin + KT | +| Knuth *TAOCP* | 9 | aliased → Bogart + Levin + KT | +| Mendelson *Introduction to Mathematical Logic* | 7 | aliased → Russell IMP + De Morgan + Boole + Russell PoM + SF-LF (5 substrates) | +| Landau *Foundations of Analysis* | 7 | aliased → Russell IMP + Dedekind + Peano + SF-LF | +| Hilbert *Foundations of Geometry* | 7 (deficient) | resolver fixed via #000040 cascade tuning + 4 #000042 term-aliases (`incidence ↔ connection`, `euclidean parallel postulate ↔ axiom of parallels`, `non triviality ↔ space axiom`, `side angle side ↔ included angle`) | +| Barendregt *Lambda Calculus* | 7 | aliased → PLFA (Wadler/Kokke/Siek) + SF-LF | +| Enderton *Mathematical Introduction to Logic* | 6 | aliased → Russell IMP + De Morgan + Russell PoM + SF-LF | +| Gödel 1931 (× 2 variants) | 6 | aliased → Peano + Russell IMP + Dedekind + SF-LF | +| Dummit + Foote *Abstract Algebra* | 6 | aliased → Judson AGT | +| Kolmogorov *Foundations of Probability* | 5 | aliased → Grinstead-Snell + Laplace | +| Goldstein *Classical Mechanics* (× 2 variants) | 5 | aliased → Newton Principia (Motte 1729) | +| Böhm-Jacopini 1966 (CACM) | 1 | aliased → SF-LF (Imp.v sequence/conditional/while) | -- Per-textbook ingest: ~5 min if license-clean and HTML/TeX - available; up to 1 hour if PDF→text conversion is needed and - pandoc fails. -- Citation-aliases mechanism (§3.2 option b): ~150 LOC + tests - + small migration; separate ticket if approved. -- Resolver fix for Hilbert misses (§6): ~80 LOC + targeted - bench; separate ticket. +§3.2 option (b) "citation_aliases table" landed as `#000041` +(closed). 54 rows live (decision_by="fox 2026-05-10"); rationale ++ caveats per row. + +§6 Hilbert resolver-miss landed via: +- `#000040` Phase 5 resolver (phrase + content-token cascade) +- `#000042` term-aliases for the 1902 Townsend vs modern vocabulary gap +- Phase 2.5 cascade tuning in `_build_record_query_cascade` + (parenthetical-phrase variant + OR-of-top-3 content-tokens fallback) + +## 8. Residue (genuinely-open items NOT obviated) + +These remain as design follow-ups but no longer block warrant +coverage (the substitutes above carry the substrate): + +1. **Hilbert-Ackermann 1928** — OCR pipeline for Internet Archive + scan. The §3.1 §B path "personal-copy ingest" was scoped here + but the Mendelson/Enderton aliases to Russell IMP + De Morgan + + Boole + SF-LF cover the same territory. Follow-up only if a + future audit demands the historically-precise primary. +2. **Multilingual PD originals** (Landau German 1930, Gödel German + 1931, Kolmogorov German 1933, Hilbert German 1899) — + ingestion would need cross-language title matching since + claim-pack records cite English titles. Out of scope unless + warrant coverage of foreign-language editions becomes a + compliance / academic-citation requirement. +3. **Knuth TAOCP redistribution permission negotiation** — §2 + §A path. Aliased to Bogart + Levin + KT in the meantime; + could pursue if a future bench shows TAOCP-specific axioms + underserved by the substrates. +4. **Personal-copy single-machine path B** (Stanley, Brualdi, + Jech specific texts) — fox-decision-driven outside codebase. + Aliases hold the warrant coverage today; revisit only if a + record's claim-pack content is unservable by the open + substrates (none currently are). + +None of (1)-(4) is required for downstream consumers. Closing +#000038 as obviated; preserving §1-§6 above as the design log. + +## References + +- `#000041` — citation-aliases mechanism (40 → 54 rows live) +- `#000042` — term-aliases mechanism (13 rows live) +- `#000040` — Phase 5 resolver phrase + content-token cascade +- `#000031` — full surface-ingest + warrant-resolver chain + (Phase 1 + 2 + 2.5 + 3 + B-1 + B-2) +- `bench/results/full-warrant-resolution-2026-05-10.md` — + 100% milestone bench journal +- `docs/warrant-substrate-cookbook.md` — per-pillar substrate + map + ingest pattern catalog