David/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

session 2026-07-14 midday: PENDING-55 residual-a FIX ruling recorded + session memory (jurist reviewed whole sequence; ABSTAIN/UNVERIFIED split landed dbcdcc0)

Browse Source
This commit is contained in:
David F Glidden
2026-07-14 19:05:19 +02:00
parent b246a1831a
commit 875ef40e87
6 changed files with 109 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
PENDING.md
+8
View File
@@ -1468,6 +1468,14 @@ Disposition (verbatim capture + executor action-list: `chamber-library/docs/libr
- **Q1b RETROACTIVE — MAJOR finding (`6c9ca43`, evidence `docs/retroactive-verify-2026-07-12.txt`):** 87 covered books · **42 CLEAN · 45 DIRTY** (pass per-pair guard, corrupt under real pandoc). Verified real (5 known-clean → CLEAN; `_prove.py` agrees). 29 catastrophic (montaigne +385457, red-book −7835, pascalian +5910, gadamer/donne/tolkien…; false-pair relocation = nagarjuna at scale) + 16 marker-adjacency (prose intact, markers glued). **CORPUS SAFE: 0 canonical files use the pre-processor — NONE graduated; caught pre-graduation; mandatory verify refuses all 45 → fallback.** Recognizer's reliable coverage ≈42/87. **⚠ NEW DECISION for steward+jurist:** improve the recognizer (tighten over-pairing) vs accept 42-clean + fallback-for-the-rest. Not resolved this session.
- **OWED (steward, tomorrow):** REVIEWED-55 + follow-on placement; wire "mandatory-at-graduation" (graduation flow must not pass `--no-verify`); weigh the recognizer-maturity decision above.
**RULED 2026-07-14 (jurist; the verify-flow / "mandatory-at-graduation" sub-item). Closed on a POSITIVE TEST, not a grep.** Full record: `chamber-library/docs/jurist-review-response-2026-07-14.md` + the jurist ruling relayed 2026-07-14.
- **The property holds by CONSTRUCTION, not enforcement:** `graduate_to_canonical.py` exposes only `--apply`/`--keep-names` — no `--no-verify`/`--force`/skip at the door; its 3 gates run unconditionally; `--no-verify` lives only on the upstream conversion tool (`inject_epub_footnotes.py`) and its output is re-verified independently by `body_conservation_gate` at graduation (the defense-in-depth Q1b mandated — now vindicated concretely). Positive test: seed-test PASSED (boundary-trim→REVIEW, interior-loss→FLAG); real-door corrupt candidate (200 interior words dropped) → **FLAG→refused**; clean control→PASS. Harness in `session-ledger-2026-07-14.md`.
- **Residual (a) — RULED a FIX, and LANDED:** *a false ABSTAIN is as much a lie as a false PASS.* The single `ABSTAIN` verdict is split into two distinct states — **ABSTAIN** (permanent, tier-level, NO ground truth: V-SCAN/V-UNKNOWN → proceeds) and **UNVERIFIED** (contingent, run-level, ground-truth EXISTS but not reached: V-TEXT source off-disk → **HOLDS**). Edited `verify_body_conservation.verify_candidate` + `graduate_to_canonical.body_conservation_gate` (map + tally + prints + the defensive no-source branch) + guard tests; **119/119 pass**; before/after proof (unresolvable-source candidate now HELD `UNVERIFIED`, previously `ABSTAIN`→proceeded). Change-class **FIX** per jurist. **Uncommitted — steward's Gitea/push call.**
- **Residual (b) — docketed onto PENDING-58, not a floating item:** the V-DSL gate path is unexercised (0 Loeb graduated); a V-DSL positive test is a **precondition of PENDING-58's first Loeb graduation** ("a check proven for one tier is not proven for another").
- **PENDING-56 unrecognized-fallback condition — DORMANT, not owed:** it was a condition on `app[]`'s extractor; Decision 2(i) rules `app[]` is not produced → the condition is dormant (revives unchanged if `app[]` is ever proposed for production). No evidence-assembly; the L1 label-collision left alone.
- **datum-not-ledger — CANDIDATE, not constitutional** (two applications in one week from one ruling ≠ a third instance in the wild); governs `app[]`+`anchors[]` today on their merits. **Quarantine namespace (`_unverified.*`) — designed, NOT built** (no current need; an untested safety mechanism is a liability).
**Awaiting:** steward REVIEWED placement + the Gitea/push call on the residual-(a) FIX.
## PENDING-56 — Canonical format decision: adopt Docling + complete MD-canonical + TEI-mirroring structural sidecar
**Date:** 2026-07-12
**Tag:** [ESCALATE] architectural — canonical format (seed brief §10.3, deferred as steward-pending). **Steward-decided provisionally on the trial evidence; jurist ratification requested (brief relayed).**