docs: ticket #000038 closed — obviated by 2026-05-10 alias-substitution sprint
#000038 was opened to track per-textbook proprietary-license decisions (Mendelson, Enderton, Jech, Stanley, Brualdi, Knuth, Barendregt, Dummit-Foote, Goldstein, Kolmogorov + the §6 Hilbert resolver-miss issue). Yesterday's #000031 Phase 2.5 sprint obviated all 13 priority items by either: - aliasing the cited proprietary work to a peer-level open- licensed substrate (Mendelson -> Russell IMP/De Morgan/Boole, Stanley/Brualdi/Knuth -> Bogart/Levin/KT, Jech -> Cantor/PoM, Dummit-Foote -> Judson, Goldstein -> Newton, Barendregt -> PLFA/SF-LF, Kolmogorov -> Grinstead-Snell/Laplace, Boehm- Jacopini -> SF-LF, Landau/Goedel -> Peano/Dedekind/IMP/SF-LF) - resolving the §6 Hilbert misses via #000040 cascade tuning + #000042 term-aliases (incidence/connection, parallel postulate/axiom of parallels, non-triviality/space axiom, side-angle-side/included angle). §3.2 option (b) "citation_aliases table" landed as #000041 (54 rows). All 92/92 claim-pack records resolve. Residue preserved as §8 design log (multilingual PD originals, Hilbert-Ackermann 1928 OCR, Knuth redistribution permission, personal-copy path B). None blocks downstream consumers; revisit only if a future bench surfaces a substrate-deficient record. Index updated to reflect closed status.
This commit is contained in:
parent
fce88268fd
commit
2bc4a15cc7
2 changed files with 70 additions and 11 deletions
|
|
@ -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 | — |
|
||||
|
|
|
|||
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue