Skip to content

Commit 01bda32

Browse files
authored
Merge pull request #1193 from AdaWorldAPI/claude/pr-294-ragged-path-validation-170zcy
board: post-merge hygiene for #1188 (D-BLW-5 measured)
2 parents 3c84ce1 + e2b82a4 commit 01bda32

2 files changed

Lines changed: 43 additions & 0 deletions

File tree

‎.claude/board/LATEST_STATE.md‎

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,36 @@
1+
## 2026-09-05 — #1188 MERGED (431371b3): D-BLW-5 measured — the observer-effect instrument reads SILENT at the κ floor
2+
3+
| PR | merge | content |
4+
|---|---|---|
5+
| **#1188** | `431371b3` | `tests/d_blw_5_observer.rs` (1689 lines, `cycle-driver`) — the observer-effect probe with the belief-arena reader, resumed on operator direction and MEASURED; supervisor → `jc` dev-dep; four epiphanies (incl. the operator ruling on loco/r2il); `TD-SUPERVISOR-CLIPPY-RED-ON-BASE-1`; D-BLW-5b queued. |
6+
7+
**Contract inventory net delta: none** — one test binary and one dev-dep. No new
8+
contract type, no SoA column, no widening: the probe CONSUMES `contract::shape_rank`
9+
(`ShapeRankPayload` / `RemeasureLedger` / `RemeasureKey`, shipped #1181) and the
10+
existing `BeliefArena`; the inventory delta recorded on the branch section below
11+
stands unchanged by the merge.
12+
13+
**What the merge fixes in the board's picture.** D-BLW-5's `**PAUSED by operator
14+
2026-08-05**` wording — in `STATUS_BOARD.md` under the `D-BLW-5` row — is
15+
superseded by the `> **Update 2026-09-05 (D-BLW-5, first measurement):**` line
16+
directly beneath it: the loop is RESUMED and RUN, not paused. Read the row through
17+
that line; the PAUSED text is kept per append-only, not because it is current.
18+
19+
**The one-line result, and the reason it is not a null.** All seven pre-registered
20+
gates pass with their disable twins; O4/O5 are SILENT at the pinned κ floor 0.10
21+
while reader B saturates in proportion to injected typicality on T and F−, with
22+
P / N / CTRL bit-identical. κ is invariant to a saturating reader — so the silence
23+
is a property of the OBSERVABLE, not evidence that the loop does nothing. That is
24+
what D-BLW-5b exists to separate, by moving the observable onto the reader
25+
marginals (`rate_b`, φ) with floors pinned in a spec BEFORE the run.
26+
27+
**Also merged here:** the operator ruling
28+
`E-PLANNING-MIGRATES-TO-LOCO-R2IL-DATAFUSION-IS-GRACE-PERIOD-1` (recorded in the
29+
INVENTORY DELTA section at the head of this file) and the independent D-OIF-1
30+
census that reached #1185's ruling A by a separate route; its epiphany carries a
31+
dated correction line ceding the narrower remove cone to #1185.
32+
33+
---
134
## 2026-09-05 — OPERATOR RULING: planning → ogar-loco / ogar-r2il, DataFusion in grace period — INVENTORY DELTA
235

336
- **Ruling:** E-PLANNING-MIGRATES-TO-LOCO-R2IL-DATAFUSION-IS-GRACE-PERIOD-1. Every DataFusion-hosted surface in this inventory (`datafusion_planner`, `sql_query`, Python `SessionContext`, `graph_table`, `rls.rs`, `query`/`query-lite`, the `datafusion-dispatch`/`datafusion-plan` forward-stubs) is now **grace-period: maintained, not extended**. New behaviour lands in loco/r2il programs or on Lance directly.

‎.claude/board/PR_ARC_INVENTORY.md‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,13 @@
1+
## 2026-09-05 — lance-graph PR #1188 (merged `431371b3`, branch `claude/pr-294-ragged-path-validation-170zcy`) — D-BLW-5 measured: the observer-effect instrument is alive and reads SILENT
2+
3+
- **Added:** `crates/lance-graph-supervisor/tests/d_blw_5_observer.rs` (1689 lines, `#[cfg(feature = "cycle-driver")]`) — the D-BLW-5 observer-effect probe with the belief-arena reader, resumed on operator direction; `jc` as a supervisor **dev-dep** (the ORCHESTRATOR-RATIFIED exception from the 08-05 design note — dev-only, no runtime edge); `EPIPHANIES` `E-BLW5-FIRST-MEASUREMENT-1`, `E-NARS-EXPECTATION-CHOICE-PREFERS-IGNORANCE-TO-A-CONFIDENT-NEGATIVE-1`, `E-PLANNING-MIGRATES-TO-LOCO-R2IL-DATAFUSION-IS-GRACE-PERIOD-1` (operator-ruled) and `E-THE-UNFINISHED-UDF-WAS-NOT-THE-DEBT-1`; `TECH_DEBT` `TD-SUPERVISOR-CLIPPY-RED-ON-BASE-1`; `STATUS_BOARD` D-BLW-5 update line + D-BLW-5b row; plan `cycle-loop-closure-driver-v1` §12.9b; `.claude/knowledge/observer-effect-tfpn-doctrine.md` §7; three `exec-runs/` tag-files (build spec + Sonnet worker + the D-OIF-1 census).
4+
- **Measured:** `shape₀ × rank₀` (`ShapeRankPayload`, sealed per arm in `RemeasureLedger` at V0) injected into `BeliefArena` as 16 `prior Inh band_k` statements plus a per-subject `subject Inh prior` at `f = 1, c = typicality`; propagation `rcr_abduce` + `close_transitive` iterated to a fixed point (`MAX_REASON_ROUNDS = 16`); arms T / F+ / F− / P / N / CTRL over 40 owners 1:1. **All seven pre-registered gates pass with their twins**; O4/O5 read **SILENT** at the pinned κ floor 0.10, while reader B saturates *in proportion to injected typicality* on T and F− and P/N/CTRL come back **bit-identical**. CTRL idempotence and the DROP gate hold.
5+
- **Locked:** κ is invariant to a saturating reader — that is WHY O4/O5 are silent, and it is a property of the instrument, not a null result about the loop. D-BLW-5b (same arms/payload/arena, observable moved onto the reader marginals `rate_b` / φ with floors pinned in a spec BEFORE the run) is the successor, queued.
6+
- **Corrected:** the NARS `expectation() = c·(f − 0.5) + 0.5` CHOICE discards a *confident negative* in favour of a vacuous path — the first build encoded typicality as a frequency below 0.5 and the arena preferred ignorance (c = 3.5e-11). Fix: `f = 1, c = typicality`. Recorded as its own epiphany because it is a substrate property, not a probe bug.
7+
- **Also (operator ruling, rode this PR):** *"Every planning is in migration to ogar-loco and ogar-r2il, especially datafusion is out of the picture, what exists gets a grace period, nothing new will migrate to it."* `CLAUDE.md` carries the ⊘ note; every DataFusion-hosted surface is maintained-not-extended. The D-OIF-1 census banked here reached ruling A independently of #1185; its entry carries a dated correction line ceding the narrower remove cone (MedCare's gated constructor exists) to #1185's `E-THE-UNFINISHED-FUNCTION-WAS-NOT-THE-DEBT-1`.
8+
- **Deferred:** the D-BLW-5b floor spec; the E-NXG-22 `out_of_support` bit; `TD-SUPERVISOR-CLIPPY-RED-ON-BASE-1` (`cycle_driver.rs` 8× `needless_pass_by_ref_mut` + `probe_ignition_64k.rs:435`, all pre-existing on base — the new test is clippy-clean on its own target).
9+
- **Docs:** merged after `origin/main` was brought in twice (lance 11 / lancedb 0.38 via #1190, then #1185), by merge — no history rewrite. **Confidence:** High on every gate (each pre-registered, each with a disable twin); Medium on the interpretation that κ-silence is instrument-invariance rather than absence of effect — that is exactly what D-BLW-5b falsifies.
10+
111
## 2026-09-05 — lance-graph PR #1185 (merged `f8b629a3`, branch `claude/open-ideas-fetch-v1`) — D-OIF-1 ruled SUPERSEDED; the cross-repo reachability law
212

313
- **Added:** `.claude/plans/open-ideas-fetch-v1.md` (D-OIF-0..7, §2 = the D-OIF-1 retirement ruling with tree verdict / obligation table / remove-grace-retain cone / layer audit / stale-claim list); `EPIPHANIES` `E-A-COLUMN-OF-INDICES-INTO-A-CODEBOOK-THAT-DOES-NOT-EXIST-1` and `E-THE-UNFINISHED-FUNCTION-WAS-NOT-THE-DEBT-1`; `ISSUES` `ISS-PIN-RULING-PROSE-DRIFTS-BEHIND-THE-MANIFEST`; four `IDEAS.md` entries + three in-place status flips; `STATUS_BOARD` D-OIF-0..7 + three `-DEC` rows.

0 commit comments

Comments
 (0)