session 2026-07-22: PENDING-69 boundary-drop mechanism (drafted→ruled→BUILT, Q7 capstone passed, on branch 21e3499) + /model-handoff skill; REVIEWED-69 awaiting steward placement

This commit is contained in:
David F Glidden
2026-07-22 14:38:00 +02:00
parent f08fb22bf5
commit 5bf96280df
8 changed files with 186 additions and 7 deletions
+4 -1
View File
@@ -1650,4 +1650,7 @@ Disposition (verbatim capture + executor action-list: `chamber-library/docs/libr
**Recommendation:** (a), design brief FOR-JURIST before code (gate-acceptance territory).
**Files affected (on authorization):** `scripts/verify_body_conservation.py` or `scripts/graduate_to_canonical.py` (the gate's REVIEW consumption), `_curation/graduation-spec.yaml` (the attestation shape as declared data), `scripts/test_tools.py`.
**Evidence:** `_curation/tool-evolution-log.md` 2026-07-21 (the landing record; the two wired-door runs both REVIEW-held on exactly the 8 declared-trim boundary runs); the door's own dry-run output preserved in the session record.
**Awaiting:** Steward reading; jurist design gate on the attestation shape.
**Package DRAFTED 2026-07-22** — `chamber-library/docs/PENDING-69-boundary-drop-attestation-JURIST-PACKAGE-2026-07-22.md` (via `/jurist-package`; hook-passed, GROUNDED-IN §Tiering&Fence one-door + §V Tier-3 + §VII + §II + REVIEWED-57 + the gate's ratified verdict logic, all quoted verbatim). Substrate-first finding (the literal question, answered from `verify_body_conservation.py`): the gate classifies boundary runs by POSITION+SIZE only, takes no drop-declaration argument, and provably cannot tell a spec-class drop (index) from a keep (endnotes) or a relocation-residue drop (the NOTES husk) — it emits REVIEW and stops. So the honest mechanized part = coverage (every derived run attested) + interior-zero (teeth unchanged) + attribution; the drop-vs-keep judgment stays human, turned into checkable data. Seven gate questions posed (Q1 landing · Q2 the split-vs-vocabulary fork = the literal question · Q3 the honest gate/human division · Q4 bind-to-derived-runs · Q5 relocation two-sidedness/`moved_to` · Q6 omnibus interaction · Q7 Eichmann-as-first-fixture ratification condition). Executor lean throughout: attest-never-default resolution, minimal constitutional sentence + declared-data mechanism, forward-only (no re-verify storm; 0 files hold `verified`).
**DESIGN-GATE PASSED 2026-07-22** (`chamber-library/docs/PENDING-69-boundary-drop-attestation-JURIST-RULING-2026-07-22.md`, filed verbatim; dispositions in the package Addendum). Spine confirmed (positive attributed attestation only; interior teeth untouched; never a bypass). **Q2 RULED (b) vocabulary-only AGAINST the executor lean** — `trim.drop` is a controlled label set, not pre-verified drops; every run is per-file attested (the gate can never confirm class membership; a privileged spec-class = trust-by-name, the `app[]`/ABSTAIN collision shape). One layer, not two; `relocation` is another label distinguished only by `moved_to`. **Q3** floor confirmed + structural-falsification check ADOPTED (executor decision, recorded, steward-overridable) for `index`/`table-of-contents` only (signature mismatch HOLDS for reconciliation, never silent pass / never un-overridable block); declined where no clean signature. **Q4** bind-to-derived-runs ELEVATED to a required property. **Q5** `moved_to` required (incomplete = rejected attestation; fabrication-exclusion scoped to exactly the named span). **Q6** per-candidate; omnibus interior-run interaction named for the Levi pilot. **Q7** Eichmann first fixture + deliberate negatives (un-attested run→HOLD; interior deletion→FLAG). **Named tension:** wires human-in-the-loop for discipline, not removal — the 47-file wave is NOT unattended batch. **REVIEWED-69 draft in the package Addendum; awaiting steward placement.**
**MECHANISM BUILT test-first 2026-07-22** (branch `reviewed-69-boundary-drop-resolution` @ `21e3499`, NOT on main — steward merges on confirmation, per the session commitment "nothing lands on main without your confirmation"). `verify_body_conservation.resolve_review` (pure; additive `boundary_run_sig`, ratified verdict logic UNCHANGED + seed-test re-confirmed) + `graduate_to_canonical._resolve_boundary_review` (thin consumer; no attestation → REVIEW HOLDS) + `graduation-spec.yaml` `boundary_drops:` (declared-data vocabulary/policy, GROUNDED-IN the ruling). Corrected shape built: Q2 vocabulary-only, Q3 signature-falsification (index/ToC), Q4 bind-to-derived-runs, Q5 moved_to presence. Fleet 214→216. **Q7 CAPSTONE PASSED on the REAL Eichmann** — verdict=REVIEW, interior_loss=0, boundary_runs=8 (3 leading front-matter + 5 trailing index fragments) reproduces the hand-verified 1:1 reconciliation as a mechanical PASS; both negatives refuse (un-attested→HOLD; interior deletion→FLAG). Substrate lesson captured (tool-log): the k-gram aligner is move-blind → boundary runs are DROPS, `relocation` is the rare reordered case (my package's husk-as-relocation-run framing was imprecise; the 8 runs are front-matter+index, no relocation among them). Added-side fabrication-exclusion (Q5 second clause) = scoped follow-on, conservative absence (FLAGs, never silent-pass).
**Awaiting:** steward — (1) place REVIEWED-69 (draft in the package Addendum); (2) merge the branch to main + push both remotes (or authorize me to); (3) vehicle call on the ONE constitutional §Tiering&Fence sentence (fold into next supersession vs standalone MINOR bump) — drafted, held. Then: the Levi curation-bearing second pilot before scale (`promotion.scale_application`, unchanged) → the 47-file wave (human-in-the-loop, Zibaldone next).