From ebe7ac74c7563d22a1ed47e52485758c0ebc6c93 Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 20 Sep 2026 09:15:57 +0000 Subject: [PATCH] board: record verified #1252 merge residue Two entries, both read from the current head: the OGAR-does-not-think ruling, the dismech_evidence consumer census with its three consuming sites, the DisMech cut left open, and the two tracks recorded as independent. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_01HScwwezRdMxFfTs3WLG19d --- .claude/board/LATEST_STATE.md | 15 +++++++++++++++ .claude/board/PR_ARC_INVENTORY.md | 28 ++++++++++++++++++++++++++++ 2 files changed, 43 insertions(+) diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index 195b556f6..95454e79b 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.claude/board/LATEST_STATE.md @@ -1,3 +1,18 @@ +## 2026-09-19 (3) — PR #1252 merged (`8545a555`); `main` is `8545a555` + +- **Docs only, no contract inventory delta.** Ruling now on `main`: *we think + with OGAR graphs; OGAR does not do the thinking.* +- **Dependency fact:** `contract::dismech_evidence` has three consumers outside + itself — the `lance-graph-ogar` parity assert, `planner::dismech_replay:142` + (`chain_step_predicate` → `validate_chain:236`), and + `planner::dismech_candidates:69` (`Supports`). The mirror's deletion migrates + the planner consumers with it. +- **Two INDEPENDENT tracks, both on operator word, no dependency between them:** + the DisMech cut (`ISS-DISMECH-SEAM-INVERTED-BOTH-WAYS`, PR-B first and alone, + parser location undecided); and `D-WFL-MASKOP` → W0 → W1. +- `TD-JC-CLIPPY-RED-ON-BASE-2` remains red on `main`, untouched. +- Full record: `PR_ARC_INVENTORY.md` 2026-09-19 #1252. + ## 2026-09-19 (2) — PR #1251 merged (`16090965`): the Waben fold execution-loop plan is on `main`; `main` is `16090965` - **#1251 — docs only, 21 commits, +3,928 / −1 across 8 files.** Ships diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index 3646c4e7a..99edcfb63 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.claude/board/PR_ARC_INVENTORY.md @@ -1,3 +1,31 @@ +## 2026-09-19 — lance-graph PR #1252 (merged `8545a555`, branch `claude/great-pascal-k96kok`, head `16a0130d`, 5 commits, docs only) + +Mixed PR (hygiene + rulings), so not exempt under the termination clause. Only +what survives inspection of the current head is recorded here. + +- **Ruling on `main`:** `E-WE-THINK-WITH-OGAR-GRAPHS-OGAR-DOES-NOT-DO-THE-THINKING-1`, + with its falsifier — if generic reasoning must know WHICH graph supplied a + relation to run its mechanics, either the graph failed to say what it means in + SPOG / `f,c` / context, or domain policy leaked into the engine. Also + `E-A-DOMAIN-IS-AN-OPTIONAL-CONSUMER-THROUGH-OGAR-…-1` and + `E-THE-1224-DETOUR-CLEANUP-PASS-…-1`. +- **Dependency fact (read at head).** `lance_graph_contract::dismech_evidence` + is reached from three sites outside itself: + - `lance-graph-ogar/src/lib.rs:230,242,257,322,349` — the parity assert; + - `lance-graph-planner/src/dismech_replay.rs:142` — `dismech_predicate`, + behind the public `chain_step_predicate`, which `validate_chain` uses at + `:236`; + - `lance-graph-planner/src/dismech_candidates.rs:69` — `Supports`. + + Deleting the mirror is therefore not isolated to `lance-graph-ogar`: the + planner consumers migrate with it. +- **Open, unchanged:** the DisMech cut (`ISS-DISMECH-SEAM-INVERTED-BOTH-WAYS` + — PR-B first and alone; the source-token parser location is undecided). No + counterfactual semantics are settled here. +- **Deferred:** every Waben wave; `D-WFL-MASKOP`; `TD-JC-CLIPPY-RED-ON-BASE-2` + (red on `main`, untouched). +- **Hygiene discharged:** #1251's arc entry + `LATEST_STATE`. + ## 2026-09-19 — lance-graph PR #1251 (merged `16090965`, branch `claude/waben-fold-loop`, head `78c5016b`, 21 commits, docs only) — the Waben fold execution loop: four seams, and attestation that has an author - **Added:** `.claude/plans/waben-fold-execution-loop-v1.md` (§0–§10: baseline