diff --git a/docs/TICKETS.md b/docs/TICKETS.md index f8f7178..90d7122 100644 --- a/docs/TICKETS.md +++ b/docs/TICKETS.md @@ -62,7 +62,7 @@ Newest first. Update on every open/close. | ID | Title | Status | Opened | Directive | |----------|------------------------------------------------|-----------------------|------------|-----------| | #000042 | Term-aliases table (vocabulary-mismatch bridge) | closed · 13 rows live across geometry + classical-physics + arithmetic domains by 2026-05-10 | 2026-05-09 | — | -| #000041 | Citation-aliases table (PD substitutes for proprietary cites) | closed · 40 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, Dummit-Foote/Barendregt/Böhm-Jacopini → Judson/PLFA/SF, Kolmogorov → Grinstead-Snell+Laplace) | 2026-05-09 | — | +| #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 | — | @@ -72,7 +72,7 @@ Newest first. Update on every open/close. | #000034 | Hessian alignment under φ_linear | open · awaiting go/no-go (#000018 follow-up) | 2026-05-09 | — | | #000033 | Claim-pack pillar VII (combinatorics) | closed · landed 2026-05-09 (live in shard 000.db; lift verified) | 2026-05-09 | — | | #000032 | combinatorics@v1 π* (integer counting kernel) | closed · landed 2026-05-09 | 2026-05-09 | — | -| #000031 | Surface-ingest cited textbooks for claim-pack warrant promotion | in progress · Phase 1 + Phase 2 landed 2026-05-09; **2026-05-10: 92/92 (100%) claim-pack records resolved** across 18 textbook substrates + 40 citation-aliases + cascade tuning; Phase 3 verifier wiring ahead | 2026-05-09 | — | +| #000031 | Surface-ingest cited textbooks for claim-pack warrant promotion | in progress · Phase 1 + Phase 2 landed 2026-05-09; **2026-05-10: 92/92 (100%) claim-pack records resolved** across 18 textbook substrates + 54 citation-aliases + cascade tuning; Phase 3 verifier wiring ahead | 2026-05-09 | — | | #000030 | Math π* expansion: SymPy substrate (algebra · calculus · linalg) | closed · all 7 phases + 1b landed 2026-05-09 (`abe5988`) | 2026-05-09 | — | | #000029 | Claim-pack source (axiom/theorem JSON bundles) | closed · landed 2026-05-09 | 2026-05-09 | — | | #000028 | Multi-modality witness for canonical shapes | closed · landed 2026-05-09 + follow-ups (capital ledger · sample rate) | 2026-05-08 | — | diff --git a/docs/tickets/ticket-000031-surface-ingest-cited-textbooks.md b/docs/tickets/ticket-000031-surface-ingest-cited-textbooks.md index cc2c1d4..9c3f7fd 100644 --- a/docs/tickets/ticket-000031-surface-ingest-cited-textbooks.md +++ b/docs/tickets/ticket-000031-surface-ingest-cited-textbooks.md @@ -1,6 +1,6 @@ # Ticket #000031 — Surface-ingest cited textbooks for claim-pack warrant promotion -**Status:** in progress · Phase 1 + Phase 2 landed 2026-05-09 (chunk-resolver, proof writer, 18 derivations rows for Hilbert pillar IV); **2026-05-10 push: all 92/92 claim-pack records resolved** across 18 textbook substrates (PD/CC-BY-SA/CC-BY/GFDL/MIT mix), 40 fox-decided citation-alias rows + 13 term-alias rows, plus cascade tuning in `_build_record_query_cascade` (parenthetical-phrase + OR-fallback variants); Phase 3 (verifier wiring to upgrade audit_mode from ANCHOR → EVIDENCE-WARRANTED on the four-rung ladder) still ahead +**Status:** in progress · Phase 1 + Phase 2 landed 2026-05-09 (chunk-resolver, proof writer, 18 derivations rows for Hilbert pillar IV); **2026-05-10 push: all 92/92 claim-pack records resolved** across 18 textbook substrates (PD/CC-BY-SA/CC-BY/GFDL/MIT mix), 54 fox-decided citation-alias rows + 13 term-alias rows, plus cascade tuning in `_build_record_query_cascade` (parenthetical-phrase + OR-fallback variants); Phase 3 (verifier wiring to upgrade audit_mode from ANCHOR → EVIDENCE-WARRANTED on the four-rung ladder) still ahead **Opened:** 2026-05-09 **Scope:** Ingest the classical textbooks cited by every record in the claim-pack source (`#000029`) — Mendelson 1997, Enderton 2001, diff --git a/docs/tickets/ticket-000041-citation-aliases-table.md b/docs/tickets/ticket-000041-citation-aliases-table.md index 61b833e..13a1773 100644 --- a/docs/tickets/ticket-000041-citation-aliases-table.md +++ b/docs/tickets/ticket-000041-citation-aliases-table.md @@ -202,7 +202,7 @@ def _cmd_alias_add(args): ## 7. Status -**Closed · 40 rows live by 2026-05-10** across pillars I/II/III/V/VI/VII/IX, +**Closed · 54 rows live by 2026-05-10** across pillars I/II/III/V/VI/VII/IX, all carrying `decision_by="fox 2026-05-10"` (or earlier-dated decision) and free-text `decision_rationale`. @@ -218,7 +218,7 @@ PD/CC/MIT/GFDL substrate): | III | Gödel 1931 (× 2 variant strings) | Peano + Russell IMP + Dedekind + SF-LF | | V | Kolmogorov *Foundations of Probability* | Grinstead-Snell *Introduction to Probability* + Laplace *Philosophical Essay* | | VI | Goldstein *Classical Mechanics* (× 2 variant strings) | Newton's *Principia* (Motte) | -| VII | Stanley/Brualdi/Knuth combinatorics (× 14 compound source_refs) | Bogart CTGD + Levin *Discrete Math* | +| VII | Stanley/Brualdi/Knuth combinatorics (× 14 compound source_refs) | Bogart CTGD + Levin *Discrete Math* + Keller-Trotter *Applied Combinatorics* | | IX | Barendregt *Lambda Calculus* | PLFA (Wadler/Kokke/Siek) + SF-LF | | IX | Dummit-Foote *Abstract Algebra* | Judson AGT | | IX | Böhm-Jacopini 1966 | SF-LF (Imp.v sequence/conditional/while) | @@ -230,6 +230,7 @@ Distribution by substrate (most-cited substrates): - Newton Principia: 2 (Goldstein × 2 variants) - Bogart CTGD: 14 (pillar VII compound source_refs, full strings) - Levin: 14 (same pillar VII rows, second substitute) +- Keller-Trotter Applied Combinatorics: 14 (same pillar VII rows, third substitute — added after KT 38-min crawl-delay BFS landed) - Cantor 1915, Russell PoM, Dedekind, Peano, PLFA, Judson, Whitehead-Russell PM, De Morgan FNL, Boole, Laplace, Grinstead-Snell: 1-3 rows each