engineering/arborist
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

docs: ticket #000031 closed (B-1 + B-2 landed)

Browse source 
All five phases + two follow-ups landed: Phase 1/2 (2026-05-09),
Phase 2.5/3/B-1/B-2 (2026-05-10). 92/92 claim-pack warrant chains
resolve, verifier promotes EVIDENCE-WARRANTED on chained answers,
audit attribution honest (74 +alias / 18 direct), source-side
title backfill eliminates the per-shard SQL UPDATE workaround.
This commit is contained in:
russell@unturf.com 2026-05-10 09:36:23 -04:00
parent 551c9695e0
commit 6ccf357695
No known key found for this signature in database
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/TICKETS.md
View file

@ -77,7 +77,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 + 2 + 2.5 (92/92) + 3 (verifier wiring) all landed 2026-05-09 / 2026-05-10; via_citation_alias attribution + source-side title-from-author backfill follow-ups still open | 2026-05-09 | — |
| #000031 | Surface-ingest cited textbooks for claim-pack warrant promotion | closed · Phase 1 + 2 + 2.5 (92/92) + 3 (verifier wiring) + B-1 (via_citation_alias attribution: 18 direct + 74 +alias) + B-2 (source-side title-from-author backfill) all landed 2026-05-09 / 2026-05-10 | 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 | — |

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

@ -1,6 +1,6 @@
# Ticket #000031 — Surface-ingest cited textbooks for claim-pack warrant promotion
**Status:** in progress · Phase 1 + Phase 2 + Phase 3 all landed 2026-05-09 / 2026-05-10. Phase 1 (PD textbook surface ingest) + Phase 2 (chunk-resolver + proof writer + 18 derivations rows for Hilbert pillar IV) landed 2026-05-09. Phase 2.5 (single-day push: 18/92 → 92/92 across 18 textbook substrates + 54 citation-aliases + cascade tuning) landed 2026-05-10. Phase 3 (verifier wiring: warrant_chain_lookup + WARRANT_MISSING suppression when cited chunk has a warrant-resolver derivation row + warrant_proven_claim_idxs render tail) landed 2026-05-10. Two follow-ups still open: via_citation_alias process_id attribution (~15 LOC) + source-side title-from-author backfill in HTML / textbook_tex ingest (~30 LOC).
**Status:** closed · landed 2026-05-09 + 2026-05-10. Phase 1 (PD textbook surface ingest) + Phase 2 (chunk-resolver + proof writer + 18 derivations rows for Hilbert pillar IV) landed 2026-05-09. Phase 2.5 (single-day push: 18/92 → 92/92 across 18 textbook substrates + 54 citation-aliases + cascade tuning) landed 2026-05-10. Phase 3 (verifier wiring: warrant_chain_lookup + WARRANT_MISSING suppression + warrant_proven_claim_idxs render tail) landed 2026-05-10. B-1 follow-up (via_citation_alias attribution — 18 direct + 74 +alias, was 75/17 mis-labeled) + B-2 follow-up (source-side title-from-author backfill in html / textbook_tex / crawl-bridge sources, eliminates the per-shard SQL UPDATE workaround) landed 2026-05-10 in commit `551c969`.
**Opened:** 2026-05-09
**Scope:** Ingest the classical textbooks cited by every record in
the claim-pack source (`#000029`) — Mendelson 1997, Enderton 2001,