session 2026-07-21: verify-guard arc complete + Eichmann one-door graduation; PENDING-69 filed; session memory + KG + register

claude/memory/skill-harvest-register.md

@@ -592,3 +592,13 @@ No new skill proposal. Two register notes: **(1)** the S1 proposal **implementat
 | **implement-the-relation-not-an-approximation** | verification-ladder entry | When code implements a RULED relation/contract (an equivalence relation, a gate criterion), the acceptance path must BE the relation — any structural approximation (word-aligned matching of a string-defined relation; a sampled check of a total property) is a silent SECOND relation that under- or over-implements the ruled one and drifts independently. Earned 2026-07-19: V1's stage-2 word-aligned matcher was fine under @1 but silently under-implemented @2 (whose guillemet rewrite folds across word boundaries) — caught only because the @2 test-flip ran red; acceptance is now normalized-string containment, the relation itself, with the word machinery demoted to evidence-location. **Sub-note (enumerated-charset writes):** when a spec/code artifact carries an ENUMERATED character class, write it as explicit escapes and verify by set-equality against the stated list — an invisible-literal (exotic spaces, combining marks) can silently diverge from its own enumeration at write time (self-caught same session; the Q2 condition's exact failure shape). | `reference-verification-ladder.md` | **PROPOSED** |
 
 *Reinforcements recorded, not re-proposed:* **census-before-pattern / read-the-substrate** earned a sharp instance (a `\b`-anchored kindle_residue regex would have missed EVERY real glued token — PASS-BUT-FALSELY at birth; reading Eichmann's actual anchors first caught it). **checkable-claim** ran three number-reconciliations in one session (72=67+5 œ/Œ · 4,712=2×2,356 tokens/links · 1,305=1,297+8 md/txt) — counting, never harmonizing. **implementation-is-a-second-gate** (thrice-earned, still PROPOSED above) gained a fourth instance: the @2 test-flip IS the instrument — ratified text exercised by having to act on it surfaced two contract-semantics findings (the approximation; fragment-as-quotable-sub-span).
+
+## Harvest 2026-07-21 (the verify-guard completion + Eichmann one-door landing)
+
+| Element | Kind | One-line | Where it lands | Status |
+|---|---|---|---|---|
+| **seam-probe the artifact (gates test claims; probes test joins)** | verification-ladder entry | The night's two REAL defects (empty footnote defs from per-spine `-f html`; defs-after-index swallowed by the trim) were invisible to EVERY wired word-level gate — no words lost, only structure detached — and caught only by boundary-line probes + a def-content assertion. Instrument: after any structural transform, probe the SEAMS (def content non-empty, boundary lines, join sites), never only the gates. Joins the authorized Stroke-2 ladder batch. | `reference-verification-ladder.md` | **PROPOSED (→ Stroke-2 batch)** |
+| **cmp-after-apply (tool-report ≠ write-decision)** | verification-ladder entry | `strip_cruft --apply` prints its transform counts BEFORE the write decision; three distinct refusal causes in one night (residual, prose-guard, existing backup) each read as "applied" until `cmp` proved otherwise — and a vacuous prose_delta(identical files)==0 rode one of them. Instrument: after ANY `--apply`, verify the write (cmp/mtime) before trusting downstream checks. Joins the Stroke-2 batch. | `reference-verification-ladder.md` | **PROPOSED (→ Stroke-2 batch)** |
+| **`convert_lane_borndigital.py` → fleet promotion** | tool promotion | The one-door born-digital lane driver (whole-EPUB inject → whole-EPUB pandoc `-f epub -t markdown-smart` + non-empty-defs teeth) lives in the pilot dir; the 47-file class will run it repeatedly. Promote to `scripts/` + test_tools fixture when the class batch starts (build-on-need — not before PENDING-69's mechanism makes landings repeatable). | `scripts/` | **PROPOSED (build-on-need)** |
+
+*(No skill patches: wake-up/wrap-up/symmetria/jurist-package all served as written this session.)*