From cc1a597708a62c2e95463d4543dd1440de57d4c5 Mon Sep 17 00:00:00 2001 From: "russell@unturf.com" Date: Sat, 9 May 2026 20:18:58 -0400 Subject: [PATCH] ticket #000042: 4 geometry aliases resolve all 18 Hilbert pillar IV records Smoke-test alias rationale was published with #000042, but two of the three trailing records ("non triviality", "side-angle-side") needed their own per-concept aliases since Hilbert 1902's vocabulary differs in more than one place. Map of registered aliases (geometry domain): incidence -> connection (4 records lifted) euclidean parallel postulate -> axiom of parallels (1) non triviality -> space axiom (1) side angle side -> included angle (1) Hilbert pillar IV is now the first complete warrant-chain vertical: 18/18 records bind to a primary-source surface chunk via Merkle inclusion proof. 11 direct + 7 via-alias derivations rows. Bench journal under bench/results/hilbert-pillar-iv-fully-resolved-2026-05-09.md records reproducibility steps + per-alias signal data so a future shift can extend the same pattern to Boole 1854, Newton 1729 Motte, and Aristotle's traditional translations once #000038 lands those surfaces. Cluster-wide remains 18/92 (20%); the other 74 records cite textbooks not yet ingested. Phase 4 content acquisition (#000038) gates next lift. --- ...ert-pillar-iv-fully-resolved-2026-05-09.md | 106 ++++++++++++++++++ docs/TICKETS.md | 2 +- .../ticket-000042-term-aliases-table.md | 2 +- 3 files changed, 108 insertions(+), 2 deletions(-) create mode 100644 bench/results/hilbert-pillar-iv-fully-resolved-2026-05-09.md diff --git a/bench/results/hilbert-pillar-iv-fully-resolved-2026-05-09.md b/bench/results/hilbert-pillar-iv-fully-resolved-2026-05-09.md new file mode 100644 index 0000000..1efb86b --- /dev/null +++ b/bench/results/hilbert-pillar-iv-fully-resolved-2026-05-09.md @@ -0,0 +1,106 @@ +# Hilbert pillar IV — full warrant resolution — 2026-05-09 + +**Date:** 2026-05-09 (UTC) +**Author:** blackops + fox +**Method:** `arborist warrant-resolve --use-aliases --write` after registering 4 +geometry-domain term aliases (#000042) bridging Hilbert 1902 Townsend +vocabulary to modern claim-pack record names +**Shards:** `~/.arborist/shards/000.db` (claim-pack records) + +`~/.arborist/crawl/textbook_hilbert-foundations-geometry-1902.db` (PG TeX surface) + +## Headline + +**18 / 18 Hilbert pillar IV records resolve.** Eleven match unaliased, +seven via term-alias OR-expansion. Pillar IV becomes the first complete +warrant-chain vertical: every Hilbert axiom or theorem in the claim-pack +g4 bundle now binds to a primary-source surface chunk via +`derivations.proof_blob` Merkle inclusion proof. + +## Aliases registered + +All four are `geometry` domain, audit-disciplined per #000042 (each +carries `decision_at` + `decision_by` + `decision_rationale`; smoke-test +`decision_by="blackops 2026-05-09 (smoke)"`). + +| Modern term (claim-pack) | Hilbert 1902 term | Discriminating signal | +|---|---|---| +| incidence | connection | "connection" 16 hits in Hilbert TeX; "incidence" zero | +| euclidean parallel postulate | axiom of parallels | Hilbert §5: "Group III: Axiom of Parallels (Euclid's axiom)" | +| non triviality | space axiom | Hilbert §3: "the space axioms of this group" — Group I axiom 8 (4 non-coplanar points) | +| side angle side | included angle | Hilbert §6 Theorem 10: "two sides and the included angle" — `"included angle"` is 1 hit (highly discriminating) | + +The first alias unblocked 4 records (Line/Plane/Point-Line/Point-Plane +Incidence). The next three each unblocked 1 record. + +## Per-record breakdown + +| # | Title | Resolution path | +|---|---|---| +| 1 | Axiom of Line Incidence | via_alias (`incidence ↔ connection`) | +| 2 | Axiom of Plane Incidence | via_alias | +| 3 | Axiom of Point-Line Incidence | via_alias | +| 4 | Axiom of Point-Plane Incidence | via_alias | +| 5 | Axiom of Non-Triviality | via_alias (`non triviality ↔ space axiom`) | +| 6 | Axiom of Betweenness | direct | +| 7 | Axiom of Line Separation | direct | +| 8 | Pasch's Axiom | direct | +| 9 | Axiom of Segment Congruence | direct | +| 10 | Axiom of Angle Congruence | direct | +| 11 | Axiom of Segment Construction | direct | +| 12 | Axiom of Angle Construction | direct | +| 13 | Axiom of Side-Angle-Side (SAS) | via_alias (`side angle side ↔ included angle`) | +| 14 | Euclidean Parallel Postulate | via_alias (`euclidean parallel postulate ↔ axiom of parallels`) | +| 15 | Archimedean Axiom | direct | +| 16 | Completeness Axiom | direct | +| 17 | Pythagorean Theorem | direct | +| 18 | Sum of Angles in Triangle | direct | + +## Cluster-wide context + +`records_total: 92` · `records_resolved: 18` (20%). The other 74 +records cite textbooks not yet in the shard cluster (Mendelson, +Stanley, Brualdi, Knuth, Jech, Kolmogorov, etc.) and stay at +`ANCHOR-WARRANTED` per #000031's honest-ceiling discipline. Phase 4 +content acquisition (#000038) gates the next lift. + +## Why this matters + +Hilbert's `Foundations of Geometry` (1902 Townsend translation) is the +**first textbook the claim-pack ever fully clears**. Every claim that +cites Hilbert can now render with a `· warrant: N proven` tail in the +Q&A surface (#000031 Phase 3 will wire the EVIDENCE-WARRANTED upgrade). + +The failure mode #000042 was built to handle — modern vocabulary +("incidence") vs historical translation ("connection") — generalizes +beyond Hilbert. The same mechanism unlocks Boole 1854 ("elective +symbol" → modern "Boolean variable"), Newton 1729 Motte ("alteration of +motion proportional to impressed force" → modern "F = ma"), and +Aristotle's traditional translations once those textbook surfaces land +under #000038. + +## Reproducibility + +```bash +# Register the four aliases (idempotent — safe to re-run). +for entry in \ + "incidence|connection|Hilbert 1902 Townsend uses 'connection' for what modern texts call 'incidence'" \ + "euclidean parallel postulate|axiom of parallels|Hilbert §5 names this 'Group III: Axiom of Parallels (Euclid's axiom)'" \ + "non triviality|space axiom|Hilbert calls Group I axiom 8 'the space axiom'" \ + "side angle side|included angle|Hilbert §6 Theorem 10: 'two sides and the included angle'" +do + IFS='|' read -r term alt rat <<< "$entry" + arborist --shards-dir ~/.arborist/shards alias term add \ + "$term" "$alt" --domain geometry \ + --by "blackops 2026-05-09 (smoke)" \ + --rationale "$rat" +done + +# Run the resolver. +arborist --shards-dir ~/.arborist/shards warrant-resolve --use-aliases --write +# → records_total: 92, records_resolved: 18 (Hilbert pillar IV: 18/18) +``` + +The `+alias` derivations rows distinguish alias-resolved chains from +direct ones (`process_id` field on `derivations` table). Audit reviewers +querying `WHERE process_id LIKE 'warrant-resolver-v1+alias'` see exactly +which records depend on a fox/blackops alias decision. diff --git a/docs/TICKETS.md b/docs/TICKETS.md index 998084e..d25b4aa 100644 --- a/docs/TICKETS.md +++ b/docs/TICKETS.md @@ -61,7 +61,7 @@ Newest first. Update on every open/close. | ID | Title | Status | Opened | Directive | |----------|------------------------------------------------|-----------------------|------------|-----------| -| #000042 | Term-aliases table (vocabulary-mismatch bridge) | closed · landed 2026-05-09 (smoke-test alias incidence↔connection geometry resolves 4 stuck Hilbert records) | 2026-05-09 | — | +| #000042 | Term-aliases table (vocabulary-mismatch bridge) | closed · landed 2026-05-09; 4 smoke aliases (geometry) resolve **all 18 Hilbert pillar IV records** (11 direct + 7 via alias) | 2026-05-09 | — | | #000041 | Citation-aliases table (PD substitutes for proprietary cites) | closed · mechanism landed 2026-05-09; rows added via fox decisions per #000038 | 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 | — | diff --git a/docs/tickets/ticket-000042-term-aliases-table.md b/docs/tickets/ticket-000042-term-aliases-table.md index 056646d..b134c2d 100644 --- a/docs/tickets/ticket-000042-term-aliases-table.md +++ b/docs/tickets/ticket-000042-term-aliases-table.md @@ -1,6 +1,6 @@ # Ticket #000042 — Term-aliases table (vocabulary-mismatch bridge) -**Status:** closed · mechanism landed 2026-05-09 with smoke-test alias (incidence ↔ connection geometry) — 4 stuck Hilbert records now resolve via alias-expanded cascade +**Status:** closed · mechanism + 4 smoke aliases landed 2026-05-09 — **all 18 Hilbert pillar IV records resolve** (11 unaliased, 7 alias-resolved). Aliases registered: `incidence ↔ connection`, `euclidean parallel postulate ↔ axiom of parallels`, `non triviality ↔ space axiom`, `side angle side ↔ included angle` (all geometry domain) **Opened:** 2026-05-09 **Scope:** Add an `arborist term_aliases` table that maps a `(term, domain)` pair to an alternate term used in older /