diff --git a/docs/TICKETS.md b/docs/TICKETS.md
index 6710e95..2e8c0ac 100644
--- a/docs/TICKETS.md
+++ b/docs/TICKETS.md
@@ -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 | —         |
diff --git a/docs/tickets/ticket-000031-surface-ingest-cited-textbooks.md b/docs/tickets/ticket-000031-surface-ingest-cited-textbooks.md
index 4aef420..85abc44 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 + 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,