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

docs: refresh stale citation-alias counts (40 → 54 → 74) across 4 surfaces

Browse source 
Stale-marker check on #000038 surfaced the same drift pattern as
yesterday's earlier sweeps: documentation got snapshotted at
multiple points during the 2026-05-10 alias-substitution sprint
and four surfaces ended up disagreeing about the live row count.

Live count via ``arborist --shards-dir SHARDS_DIR alias citation
list | jq length``: **74** rows.

Stale snapshots refreshed:

- ``docs/tickets/ticket-000041-citation-aliases-table.md`` line 3
  (status header): "40 rows live by 2026-05-10" → "74 rows live
  as of 2026-05-10" with the 40 → 54 → 74 progression noted.
- ``docs/tickets/ticket-000041-citation-aliases-table.md`` line 205
  (§7 close-out): "54 rows live" → "74 rows live" + progression.
- ``docs/tickets/ticket-000038-phase-4-content-acquisition.md``
  line 3 (status header): "(54 rows)" → "(74 rows live as of
  2026-05-10; count grew 40 → 54 → 74 across the day)".
- ``docs/tickets/ticket-000038-phase-4-content-acquisition.md``
  §7 line: "54 rows live (decision_by=...)" → "74 rows live as
  of 2026-05-10".
- ``docs/tickets/ticket-000038-phase-4-content-acquisition.md``
  references line 274: "(40 → 54 rows live)" → "(40 → 54 → 74
  rows live across 2026-05-10)".
- ``docs/TICKETS.md`` line 70 (#000041 row): "54 rows live" →
  "74 rows live as of 2026-05-10 (count grew 40 → 54 → 74; ...)".
- ``docs/TICKETS.md`` line 73 (#000038 row): "(54 rows in #000041
  + 13 rows in #000042)" → "(74 rows in #000041 + 13 rows in
  #000042)".
- ``CLAUDE.md`` line 145: "40 fox-decided citation-aliases" →
  "74 fox-decided citation-aliases" + a note about the live-count
  command for future readers ("alias counts grow as fox adds
  substitutions — ``arborist alias citation list | jq length``
  for live count").

The refreshed numbers will themselves go stale next time fox
adds rows. Each surface now also notes the live-count
mechanism so future readers can check current state without
having to refresh the doc — same pattern as today's earlier
"track Phase 3 fire rate via the audit-line tail" closure
note. The CLAUDE.md note specifically tells future readers
where to look up the live count.

Term-aliases count (13 rows in #000042) was verified live and
matches all surfaces — no refresh needed there.

#000038 phases otherwise clean: §7 close-out + §8 residue
already accurately reflect current state (92/92 records resolve;
4 residue items genuinely-open). No phase status drift to fix.

Hygiene: docs-only commit, no code touched. No test impact.
This commit is contained in:
russell@unturf.com 2026-05-10 10:41:07 -04:00
parent 96e64b88e6
commit 6f1dbed82e
No known key found for this signature in database
4 changed files with 20 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

8
CLAUDE.md
View file

@ -142,10 +142,12 @@ make textbook-plfa textbook-sf-lf
make sweep TARGET=warrants # warrant-resolve --use-aliases --write
arborist warrant-resolve --use-aliases --write
# → 92 / 92 (100%) coverage as of 2026-05-10:
# 18 textbook substrates + 40 fox-decided
# 18 textbook substrates + 74 fox-decided
# citation-aliases + 13 term-aliases.
# Per-pillar 13/13 · 10/10 · 13/13 · 18/18 ·
# 5/5 · 5/5 · 14/14 · 14/14.
# (alias counts grow as fox adds substitutions
# — `arborist alias citation list | jq length`
# for live count). Per-pillar 13/13 · 10/10 ·
# 13/13 · 18/18 · 5/5 · 5/5 · 14/14 · 14/14.
arborist alias citation list # see substitutions
arborist alias term list # see vocabulary aliases
```

4
docs/TICKETS.md
View file

@ -67,10 +67,10 @@ 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 · 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 | — |
| #000041 | Citation-aliases table (PD substitutes for proprietary cites) | closed · 74 rows live as of 2026-05-10 (count grew 40 → 54 → 74; 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 | 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 | — |
| #000038 | Phase 4 content acquisition — proprietary textbook license decisions for warrant coverage | closed · obviated 2026-05-10 by alias-substitution sprint under #000031 (74 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 | in progress · Phase 1 (formal derivation + calculator) landed 2026-05-10; awaits fox math review | 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 | — |

10
docs/tickets/ticket-000038-phase-4-content-acquisition.md
View file

@ -1,6 +1,6 @@
# Ticket #000038 — Phase 4 content acquisition for warrant coverage
**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.
**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 (74 rows live as of 2026-05-10; count grew 40 → 54 → 74 across the day). §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
@ -231,8 +231,9 @@ sprint.** Walking the §2 priority table against current state:
| Böhm-Jacopini 1966 (CACM) | 1 | aliased → SF-LF (Imp.v sequence/conditional/while) |
§3.2 option (b) "citation_aliases table" landed as `#000041`
(closed). 54 rows live (decision_by="fox 2026-05-10"); rationale
+ caveats per row.
(closed). 74 rows live as of 2026-05-10 (count grew
40 → 54 → 74 across the day; decision_by="fox 2026-05-10");
rationale + caveats per row.
§6 Hilbert resolver-miss landed via:
- `#000040` Phase 5 resolver (phrase + content-token cascade)
@ -271,7 +272,8 @@ None of (1)-(4) is required for downstream consumers. Closing
## References
- `#000041` — citation-aliases mechanism (40 → 54 rows live)
- `#000041` — citation-aliases mechanism (40 → 54 → 74 rows
live across 2026-05-10)
- `#000042` — term-aliases mechanism (13 rows live)
- `#000040` — Phase 5 resolver phrase + content-token cascade
- `#000031` — full surface-ingest + warrant-resolver chain

11
docs/tickets/ticket-000041-citation-aliases-table.md
View file

@ -1,6 +1,6 @@
# Ticket #000041 — Citation-aliases table
**Status:** closed · mechanism landed 2026-05-09; **40 rows live by 2026-05-10** (fox decisions across pillars I/II/III/V/VI/VII/IX); driver of the 92/92 (100%) claim-pack warrant resolution under `#000031`
**Status:** closed · mechanism landed 2026-05-09; **74 rows live as of 2026-05-10** (fox decisions across pillars I/II/III/V/VI/VII/IX; count grew 40 → 54 → 74 across the day as fox added substitutions; check live via ``arborist --shards-dir SHARDS_DIR alias citation list``); driver of the 92/92 (100%) claim-pack warrant resolution under `#000031`
**Opened:** 2026-05-09
**Scope:** Add an `arborist citation_aliases` table that maps
a claim-pack record's original `source_reference` string to a
@ -202,9 +202,12 @@ def _cmd_alias_add(args):
## 7. Status
**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`.
**Closed · 74 rows live as of 2026-05-10** across pillars
I/II/III/V/VI/VII/IX (count grew 40 → 54 → 74 across the day as
fox decided more substitutions; check live count via
``arborist --shards-dir SHARDS_DIR alias citation list``). All
rows carry `decision_by="fox 2026-05-10"` (or earlier-dated
decision) and free-text `decision_rationale`.
Substrate substitutions registered (cited proprietary work → ingested
PD/CC/MIT/GFDL substrate):