Skip to content

Board hygiene: post-merge arc entry for #894 + LATEST_STATE head #895

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
AdaWorldAPI merged 1 commit into from
Aug 5, 2026
+17 −0
Merged

Board hygiene: post-merge arc entry for #894 + LATEST_STATE head #895

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions .claude/board/LATEST_STATE.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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).
Expand Down
11 changes: 11 additions & 0 deletions .claude/board/PR_ARC_INVENTORY.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down