From e2ab9d4fd41e59139e531c46ac2befceaf127eae Mon Sep 17 00:00:00 2001 From: Claude Date: Wed, 5 Aug 2026 14:32:18 +0000 Subject: [PATCH] Board hygiene: post-merge arc entry for #894 + LATEST_STATE head Records the cross-repo wishlist round-trip (OGAR #243 handover -> #244 delivery -> #245 harness + #894 record) and the measured Stage-0 outcome. Hygiene-only PR per the termination clause - no arc entry of its own. --- .claude/board/LATEST_STATE.md | 6 ++++++ .claude/board/PR_ARC_INVENTORY.md | 11 +++++++++++ 2 files changed, 17 insertions(+) diff --git a/.claude/board/LATEST_STATE.md b/.claude/board/LATEST_STATE.md index f613171b5..b445da0e0 100644 --- a/.claude/board/LATEST_STATE.md +++ b/.claude/board/LATEST_STATE.md @@ -1,3 +1,9 @@ +## 2026-08-05 — PR #894 (MERGED `d7a6efc`) + OGAR #243/#244/#245 — the wishlist round-trip closes and the funnel is MEASURED + +One same-day arc across the repo boundary, crate-dependency-free by ruling: **#243** (OGAR) delivered the consumer wishlist handover (F-1 double-sampling finding, W-1..W-5); **#244** (OGAR, loco session) shipped W-1 (compose-then-check), W-2 (`FnSpec.name` — OQ-1 answered "in the spec"), W-4 (`telemetry::FunnelTally`), W-5 (split-contract doc), leaving only the W-3 NARS-34 mint operator-gated; **#245** (OGAR) + **#894** (here) ran PROBE-ORACLE-FUNNEL Stage 0 over that delivery — pre-registered E1–E4 all met (floor 0.5% / legend-constrained 2.5% / stack-aware 100%; E4 discrimination KILL passes at 99.5 points vs the 50 bar). Headline finding: `E-THE-LEGEND-IS-NOT-THE-GRAMMAR-1` — the legend-knowing arm landed at the FLOOR; ~all funnel selectivity is the stack discipline, so the gated Stage-1 LLM arm's prompt must teach the discipline, not just serialize the ~382-token legend. Plan: `.claude/plans/oracle-funnel-probe-v1.md`. + +**No contract-inventory delta** (docs/board here; the harness is an OGAR-side example). **Standing gates after this arc:** PROBE-ORACLE-FUNNEL Stage 1 (operator word + API), Stage 2/PROBE-GADAMER-BAG (W-3 mint), plus the unchanged D-BLW-5, D-HWV-1, and cycle-driver CI gates below. + ## 2026-08-05 — branch `claude/x265-x266-plans-review-h9osnl` (PRs #892 MERGED `e9a2faf` + #891 MERGED `0c138b7`) — the four-arc session lands: whole-book fix, ignition probes, five-axis measurement, no-pump + ack-theater deletion The oversized branch (68 commits, +24,956/−2,305) was split for reviewability at the operator's direction: **#892** = arc 1 (bible_wave Malachi-truncation fix + `deepnsm_v2::corpus` + the stance lift into `nars::stance` + D-BLW-1..4 with the tenant-not-shard retractions); **#891** (rebased onto main post-#892, pure replay, 29 commits) = arcs 2–4 (PROBE-IGNITION + D-IGN-B + PROBE-IGNITION-64K green; measure-64k-axes v1–v3 with Stage A0 + M-arm/O-arm both measured NEGATIVE as pre-registered findings; seal-vs-temporal dual-authority doctrine; hot-version-window v4 design banked NOT built; `E-PROGRESSION-IS-EXISTENCE-NOT-COMMAND-1` + the ack theater deleted with `PhaseCensus` as the message-free visibility surface). diff --git a/.claude/board/PR_ARC_INVENTORY.md b/.claude/board/PR_ARC_INVENTORY.md index c5c3a8c00..d4e309cde 100644 --- a/.claude/board/PR_ARC_INVENTORY.md +++ b/.claude/board/PR_ARC_INVENTORY.md @@ -33,6 +33,17 @@ > - **Docs** — knowledge files produced (immutable) > - **Confidence (YYYY-MM-DD):** — the ONLY mutable field +## 2026-08-05 — lance-graph #894 (MERGED `d7a6efc`) — PROBE-ORACLE-FUNNEL Stage 0: pre-registration, measured results, the legend-is-not-the-grammar finding + +**Head at merge:** `e4967e3` (1 commit). 4 files, docs/board only — the harness itself is OGAR-side (`ogar-loco` example, OGAR PR #245, merged same day), per the no-cross-dependency ruling in the merged wishlist handover (OGAR #243; delivery #244): candidates and legends cross as DATA, never as a crate edge. + +- **Added.** `.claude/plans/oracle-funnel-probe-v1.md` — the staged probe plan: §1–§4 pre-registration (arms R/G/W; expectations E1–E4 incl. the E4 discrimination KILL at a 50-point bar) written BEFORE the run; §5 measured results appended after. STATUS_BOARD rows PROBE-ORACLE-FUNNEL-S0/-S1/PROBE-GADAMER-BAG. +- **Locked.** `E-THE-LEGEND-IS-NOT-THE-GRAMMAR-1` (FINDING, measured, deterministic): vocabulary knowledge buys ~nothing at a refuse-don't-guess gate — legend-constrained generation survives 2.5% vs the 0.5% uniform floor while stack-discipline-aware generation survives 100%; ~all funnel selectivity IS the composition discipline. Stage-1 consequence locked with it: a prompt must teach the postfix discipline (or constrain decoder-side); the ~382-token legend alone is nearly worthless. The per-gate refusal tally is a DIAGNOSIS channel (Uncovered = missing vocabulary, Underflow = missing grammar) inside W-4's raw-loopable validity half — fitness stays under the D-BLW-5 payload law. E1–E4 all met; funnel discriminates at 99.5 points spread. +- **Deferred.** Stage 1 (rig `CompletionModel` LLM arm + prompt-cache legend cost) — gated on operator word + API. Stage 2 (PROBE-GADAMER-BAG) — gated on the operator's W-3 NARS-34 byte assignments + `ResultBehavior` decision. `BodyError` entry-gate coverage (structurally unexercised at Stage-0 shapes; honest boundary, not a gap claim). +- **Docs.** Plan v1 (above); AGENT_LOG main-thread run entry (pre-register→build→run→record order); OGAR-side results appended to `docs/BLOCK-EDITOR-PLAN.md` (via #245). + +**Confidence (2026-08-05):** merged; results bit-exact reproducible (SplitMix64 seed pinned); companion OGAR #245 merged. + ## 2026-08-05 — lance-graph #891 (MERGED `0c138b7`) — ignition + 64k measurement + no-pump: probes, five-axis harness, M/O arms, hot-window design, ack-theater deletion **Head at merge:** `463f807` (29 commits — the branch's arcs 2–4 after #892 split out arc 1 and the branch was rebased onto main; pure replay, zero conflicts). 48 files, +14,353/−1,816.