From c1651581fbb4c85595ae5c8a0bb67f3752caa42a Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 23 Oct 2026 08:29:34 +0000 Subject: [PATCH 1/6] board: crumb BC-13 (T-ADMISSION, D-TGB-4 receipt) and goldstaub G-5 (stranded stacked PRs) BC-2026-10-23-13: the thought-git receipt is sealed before landing, its CommitWitness is issued only by commit_cycle, and replay -> proof is a refused promotion. A seventh independent source for trail T-ADMISSION. G-2026-10-23-5: a stacked PR is finished only when its commits are on main. Receipts #1696 and #1708 (both re-landed stranded stacks), plus lance-graph-java ISS-LGJ-STACK-TAIL-STRANDED-MINOR-8. IDs follow draft #1730 (BC-5..12, G-4); expect a trivial prepend conflict. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A --- .claude/board/BREADCRUMBS.md | 14 ++++++++++++++ .claude/board/GOLDSTAUB.md | 14 ++++++++++++++ 2 files changed, 28 insertions(+) diff --git a/.claude/board/BREADCRUMBS.md b/.claude/board/BREADCRUMBS.md index 06a181be6..e423a5d5f 100644 --- a/.claude/board/BREADCRUMBS.md +++ b/.claude/board/BREADCRUMBS.md @@ -41,6 +41,20 @@ Coordination happens in Linear (`CC: Thread` label `Breadcrumb`, milestone ## Crumbs +### BC-2026-10-23-13 — a replay receipt is sealed before landing, and its witness is issued only by the write path +**Observation:** D-TGB-4's receipt is built and sealed at stage time; a +landing is accepted only with a `CommitWitness` that `VersionStore::commit_cycle` +alone produces, and its absence refuses with `Refusal::NoCommitWitness`. The +module states that the receipt proves replay equals the original run, not that +the derivation is admissible; that promotion is D-TGB-7's. Same three parts as +trail T-ADMISSION: built before (sealed receipt), witness with an issuer +(the cycle commit), refused promotion (replay → proof). +**Receipt:** `crates/thought-git-probe/src/receipt.rs:20-45`, `:82`, `:473`, +`:681` on main `8f610a85`; lance-graph #1674, #1684; GPT /05 three-artifact +note (EXO-50, `session_019fbZ92dFKQ5BJHrA3YcH9A/007`). +**Rhymes-with:** BC-2026-10-23-8, BC-2026-10-23-9 (draft #1730) +**Cluster:** RHYME (trail T-ADMISSION, Linear EXO-135) + ### BC-2026-10-23-4 — the same join is right under Distinct and wrong under Bag **Observation:** D-RFT-1's composition gives the right answer under Distinct (set semantics) and the wrong one under Bag unless multiplicity is carried as diff --git a/.claude/board/GOLDSTAUB.md b/.claude/board/GOLDSTAUB.md index e6929f27c..4beefd726 100644 --- a/.claude/board/GOLDSTAUB.md +++ b/.claude/board/GOLDSTAUB.md @@ -30,6 +30,20 @@ Each entry: `**Claim:**`, `**Receipt:**`, `**Scope:**`, `**Date:**`. ## Entries +### G-2026-10-23-5 — a stacked PR is finished only when its commits are on main +**Claim:** When PR B is based on PR A's branch and A merges first, merging B +lands B into A's dead branch, not into main. GitHub shows B as "merged" either +way. After merging any stacked PR, check `git log origin/main..origin/` +is empty, or retarget B to main before merging it. +**Receipt:** lance-graph twice in two days: #1694/#1695 merged into a stage +branch and needed #1696 ("land #1694/#1695 catalogue and heritage stages on +main"); #1701-#1704 merged into stage branches and needed #1708 ("land the +stranded D-DRMC stack"). Earlier receipt: lance-graph-java +`ISS-LGJ-STACK-TAIL-STRANDED-MINOR-8` (2026-08-25), where the rule already sits +in that repo's `CLAUDE.md` iron rules. +**Scope:** every stacked PR in every AdaWorldAPI repo. +**Date:** 2026-10-23 + ### G-2026-10-23-1 — on synthetic data, the world construction can decide a probe's verdict before it runs **Claim:** A probe whose verdict depends on the data distribution (evidence LUT vs geometry LUT, shadow-mask salience) decides nothing on synthetic data, From 5dd4e66d676a2e0c465027b1931d4aff7e49ce33 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 23 Oct 2026 08:34:34 +0000 Subject: [PATCH 2/6] board: fruits from session inventory (3 ideas, 4 tech debt, 3 issues) and a T-CLOSURE refinement New fruit rows, each verified on main 8f610a85: - IDEAS: proof + receipt + commit-witness replay (High-signal); TLAC-P01 kill test from real IAM/HubSPO/Rubicon guards (High-signal); MeTTa four-binding against the D-MPS-9 oracle (Low-hanging). - TECH_DEBT: bgz-tensor CI runs --lib only, nine probe files unrun (Low-hanging); edge.rs:944 W=0 doc (Low-hanging); syllogize writes ALL_HOT into the WIRE-50 bits (High-signal); STATUS_BOARD has no rows for the six rulings, D-DRMC, D-TLAC, D-RV (Low-hanging). - ISSUES: no contract type for the frozen-codebook/order witness, seven items wait on it (Heavy); ADMISSION B call-site classification not started, owner unnamed (Heavy); Fruit tag on the existing causal-edge clippy issue (Low-hanging). FRUITS.md regenerated (Open: 1 -> 11). BREADCRUMBS T-CLOSURE: appended evidence. BC-4 and K3 are closed carriers that still fail, so the candidate condition is commutation of the map into the carrier (abstract-interpretation soundness), not closure alone. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A --- .claude/board/BREADCRUMBS.md | 13 +++++++++ .claude/board/FRUITS.md | 21 ++++++++++++--- .claude/board/IDEAS.md | 50 ++++++++++++++++++++++++++++++++++ .claude/board/ISSUES.md | 47 ++++++++++++++++++++++++++++++++ .claude/board/TECH_DEBT.md | 52 ++++++++++++++++++++++++++++++++++++ 5 files changed, 179 insertions(+), 4 deletions(-) diff --git a/.claude/board/BREADCRUMBS.md b/.claude/board/BREADCRUMBS.md index e423a5d5f..2c8fdc40e 100644 --- a/.claude/board/BREADCRUMBS.md +++ b/.claude/board/BREADCRUMBS.md @@ -101,3 +101,16 @@ must refit the carrier. **Kill:** a closed carrier on which the composition still fails. **First probe:** TORQUE row T-2026-10-23-1 (EXO-129). **Verdict:** RHYME, 2026-10-23. + +**Evidence appended 2026-10-23 (session_019fbZ92dFKQ5BJHrA3YcH9A):** BC-4 is +a near-counterexample to the word "closed". A Distinct carrier IS closed under +join (a set joined with a set is a set), yet the Bag answer is wrong; K3 is the +same: {T, F} is closed under ∧ ∨ ¬, the failure is that NULL has no image in +it. Candidate refinement, HYPOTHESIS, not adopted: the condition is that the +map from the true domain into the carrier commutes with the operation and with +the measure read at the end (`h(a ⊕ b) = h(a) ⊕' h(b)`, abstract-interpretation +soundness); closure of the carrier is necessary, not sufficient. Cheap test it +implies: the one-step commutation defect rate (P-S2: 100% / 88.9% of bound +pairs outside support) should predict k-step agreement without running k hops. +**Kill for the refinement:** a case where the map commutes at one step and the +k-step composition still fails. diff --git a/.claude/board/FRUITS.md b/.claude/board/FRUITS.md index ddc35533b..f6d9a7498 100644 --- a/.claude/board/FRUITS.md +++ b/.claude/board/FRUITS.md @@ -4,7 +4,7 @@ Generated by `.claude/tools/fruits_index.py --write`. Do not hand-edit: add or change a `**Fruit:**` line on the ledger row and regenerate. CI fails when this file is stale. -Open: 1. Closed: 0. +Open: 11. Closed: 0. ## discovery torque @@ -14,13 +14,26 @@ Open: 1. Closed: 0. ## innovation debt -_none open_ +| tier | row | status | ledger | +|---|---|---|---| +| High-signal | 2026-10-23 — One replay that checks proof, receipt and commit witness together | Open. | `IDEAS.md` | +| High-signal | 2026-10-23 — OGAR #357's first kill test (TLAC-P01) is now buildable from real guards | Open. | `IDEAS.md` | +| Low-hanging | 2026-10-23 — The MeTTa four-binding case can run against the D-MPS-9 oracle | Open. | `IDEAS.md` | ## engineering debt -_none open_ +| tier | row | status | ledger | +|---|---|---|---| +| High-signal | TD-SYLLOGIZE-WRITES-ALL-HOT-PLASTICITY — WIRE-50 is decided, its writers are not updated (2026-10-23) — OPEN | OPEN. **Basis:** VERIFIED-IN-CODE (`syllogism.rs:185-230`). | `TECH_DEBT.md` | +| Low-hanging | TD-BGZ-TENSOR-CI-RUNS-LIB-ONLY — nine probe test files, P-S2 and P-D3 among them, run in no CI (2026-10-23) — OPEN | OPEN. **Basis:** VERIFIED-IN-CODE (`rust-test.yml:274`, | `TECH_DEBT.md` | +| Low-hanging | TD-CE64-W-SLOT-DOC-SAYS-NO-ANCHOR — `edge.rs` still documents W = 0 as "no corpus anchor" (2026-10-23) — OPEN | OPEN. **Basis:** VERIFIED-IN-CODE (`edge.rs:944` on main `8f610a85`). | `TECH_DEBT.md` | +| Low-hanging | TD-STATUS-BOARD-HAS-NO-ROWS-FOR-RULED-AND-SHIPPED-WORK — six rulings, D-DRMC and the P-* probes are absent (2026-10-23) — OPEN | OPEN. **Basis:** census of `^\| *` in STATUS_BOARD.md. | `TECH_DEBT.md` | ## blocker -_none open_ +| tier | row | status | ledger | +|---|---|---|---| +| Low-hanging | ISS-CAUSAL-EDGE-CARRIES-SEVEN-PRE-EXISTING-CLIPPY-FINDINGS (2026-08-22) — OPEN | — | `ISSUES.md` | +| Heavy | ISS-ORDER-AND-CODEBOOK-WITNESS-HAS-NO-CONTRACT-TYPE — seven open items wait on one witness nobody owns (2026-10-23) — OPEN | OPEN. **Basis:** VERIFIED-IN-CODE (STATUS_BOARD rows D-CMR-5, | `ISSUES.md` | +| Heavy | ISS-ADMISSION-B-CALL-SITE-CLASSIFICATION-NOT-STARTED — Semijoin, EqU32Via and Gather are unclassified, and no owner is named (2026-10-23) — OPEN | OPEN (operator decision on ownership). **Basis:** VERIFIED-IN-CODE | `ISSUES.md` | diff --git a/.claude/board/IDEAS.md b/.claude/board/IDEAS.md index 4921d6670..ded9b0881 100644 --- a/.claude/board/IDEAS.md +++ b/.claude/board/IDEAS.md @@ -87,6 +87,56 @@ Agents filter by `@`-mention or domain to see what's theirs. (Prepend new ideas here with today's date. Format:) +## 2026-10-23 — One replay that checks proof, receipt and commit witness together + +`[P1 @thought-struct-scribe @truth-architect domain:thought-git D-TGB-7 D-RFT-5 D-DRMC]` + +Three artifacts now exist separately (GPT /05 on EXO-50): the Math Foundry +`ReplayCapsule` / DRMC `RecipeCertificate` (a checkable derivation, #1696, +#1708), the D-TGB-4 receipt (#1674) and the `CommitWitness` (#1684). If +`Receipt.program` carried the capsule's program fingerprint, one replay could +check all three: the derivation is certified, the replay equals the original +run, and the landed version contains the thought. **Next probe:** a lab test +in `thought-git-probe` that lands a certified recipe and replays it, with +three disables (wrong fingerprint, stale receipt, missing witness), each +refusing with its own error. **Kill:** the capsule fingerprint cannot be made +stable across a replay without depending on the commit itself. D-RFT-5 is on +hold until the D-RFT ID table is adopted, so this stays lab-only. + +**Fruit:** High-signal +**Status:** Open. + +## 2026-10-23 — OGAR #357's first kill test (TLAC-P01) is now buildable from real guards + +`[P1 @layer-boundary-warden @falsifier-auditor domain:iam D-CMR-3 D-TLAC]` + +The test: one `A & !B & C` shape, compiled from IAM, HubSPO and Rubicon +guards, must not conflate class, universe, tenant, generation or authority. +In October all three sources gained real code: OGAR `GroupRolePolicy` (#355), +`SubjectRoles` (#356), D-IAM-3 (#358), and lance-graph's DR256 IAM register +(#1666) plus the shared Kleene model (#1668, #1682, #1687). 0 hits for +`TLAC` in lance-graph crates on main `8f610a85`. **Next probe:** route the +three guards through the contract set algebra (needs D-CMR-3 for the Quack +side, or start with the two that already decide through `set_rules`) and +assert that equal normalized shapes keep distinct bindings. **Kill:** two of +the three guards cannot be expressed in one normalized shape at all. + +**Fruit:** High-signal +**Status:** Open. + +## 2026-10-23 — The MeTTa four-binding case can run against the D-MPS-9 oracle + +`[P2 @falsifier-auditor domain:mork D-MTP-1 D-MPS-9]` + +#1498 asked for a probe of the four-result nondeterministic binding; none +exists (no hit for it in `crates/`). #1690 added a general MORK `query_multi` +oracle (D-MPS-9, MEASURED). **Next probe:** one test comparing the four +bindings, by fold, against that oracle. **Kill:** the oracle returns a +deduplicated set where MeTTa returns a bag. + +**Fruit:** Low-hanging +**Status:** Open. + ## 2026-09-07 — SPOG-aware bakes: one artifact per G, and the crosswalk as a chain of masked equality sweeps (PROBE-CROSSWALK-MASK-1) `[P1 @simd-savant @kernel-membrane-warden @layer-boundary-warden domain:medcare/mask D-NXG-2 D-NXG-12]` diff --git a/.claude/board/ISSUES.md b/.claude/board/ISSUES.md index 705dff450..a777fdfc0 100644 --- a/.claude/board/ISSUES.md +++ b/.claude/board/ISSUES.md @@ -1,3 +1,48 @@ +## ISS-ORDER-AND-CODEBOOK-WITNESS-HAS-NO-CONTRACT-TYPE — seven open items wait on one witness nobody owns (2026-10-23) — OPEN + +ADMISSION B (`entries/2026-10-20-six-decisions.md` §1, ruled in +`ISS-ADMISSION-PREP-BINDING`) admits a frozen-codebook lookup or a +version-witnessed key-range seek in preparation, "under the attestation the +plan defines". No contract type carries that attestation. `OrderedLaneWitness` +(contract `ordered_lane.rs`) covers sealed facet lanes only. + +Items that stop at it, each read on main `8f610a85`: +- D-CMR-5: STATUS_BOARD row "BLOCKED: lawful design proposed", a + version-witnessed projection with frozen-codebook endpoints; +- D-RU-6: "slot assignment must be argued as an attested frozen-codebook + lookup under ADMISSION = B"; +- `ISS-WITNESSED-RANGE-DOES-NOT-ATTEST-PLANE-ORDER` (D-DIAMOND-1); +- #1659's failed gate (lanes sealed in key order); +- the DR256 IAM register's codebook witness (#1666, listed open); +- the D-QR plans in #1661/#1662; +- the DRMC frame seal (who issues it, G1) and the Palette256 "attest the + codebook at bind" follow-up. + +Open question: one witness type with two kinds (frozen codebook, sorted key +per sealed version), or two types. See Linear EXO-114 and BREADCRUMBS trail +T-ADMISSION (crumb BC-2026-10-23-13 asks the same question from the issuer +side). + +**Fruit:** Heavy +**Status:** OPEN. **Basis:** VERIFIED-IN-CODE (STATUS_BOARD rows D-CMR-5, +D-RU-6; `ordered_lane.rs`). + +## ISS-ADMISSION-B-CALL-SITE-CLASSIFICATION-NOT-STARTED — Semijoin, EqU32Via and Gather are unclassified, and no owner is named (2026-10-23) — OPEN + +#1640 ruled ADMISSION B but nothing classified the call sites it governs. +On main `8f610a85`: `Filter::Semijoin` is defined in +`crates/lance-graph-quack/src/lib.rs:387`; `EqU32Via` appears in +`crepe-plan-probe/src/{native,mork_api}.rs` and +`r2il-mask-abi-probe/tests/row_bridge.rs`; the gather hop sits behind an +opt-in feature (6791e4ac). STATUS_BOARD carries 0 rows for ADMISSION, +ACTION-GATE, FLOAT-REFS, WIRE-50 or O30. NOT IN subqueries, anti-joins and any +gather in the DR math stack wait on the classification. Who owns it is an +operator decision (raised on EXO-50 by session 01G22 /036). + +**Fruit:** Heavy +**Status:** OPEN (operator decision on ownership). **Basis:** VERIFIED-IN-CODE +(paths above); STATUS_BOARD census. + ## ISS-ADMISSION-PREP-BINDING — may preparation translate global identities into focus slots before a fold? (2026-10-20) **Status:** RULED 2026-10-20 (ADMISSION option B, `entries/2026-10-20-six-decisions.md` §1): same-table, version-witnessed key-range seeks over an attested sorted key are admitted in preparation; a position derived from another column or table is not, whatever the phase. Frozen codebook lookups are admitted under the attestation the plan defines (`d-relalg-unified-v1.md` § Decisions). D-MPS-8 stays conditionally blocked (a value-to-relationship-table read position is option C); D-RPR-1 and D-RST-4/6 are admitted only where they classify under B. Was: OPEN (operator ruling). **Basis:** VERIFIED-IN-CODE (`crates/mork-pathmap-probe/src/{rmap,join,chain}.rs`) and MEASURED (D-RMAP-1A §8, Schnellverschluss §7b, D-RPR §11.10). @@ -2590,6 +2635,8 @@ workspace job that runs on every PR. (a) is preferable: it closes two issues with one edge instead of adding a gate around an unused artifact. ## ISS-CAUSAL-EDGE-CARRIES-SEVEN-PRE-EXISTING-CLIPPY-FINDINGS (2026-08-22) — OPEN +**Fruit:** Low-hanging + `crates/causal-edge` is workspace-EXCLUDED but a path-dep of `lance-graph`, `lance-graph-planner`, `cognitive-shader-driver` and `sigma-tier-router`, so its LIB compiles inside gated builds while its TESTS ran nowhere but on a diff --git a/.claude/board/TECH_DEBT.md b/.claude/board/TECH_DEBT.md index 7faefd8d8..0ce444e37 100644 --- a/.claude/board/TECH_DEBT.md +++ b/.claude/board/TECH_DEBT.md @@ -1,3 +1,55 @@ +## TD-BGZ-TENSOR-CI-RUNS-LIB-ONLY — nine probe test files, P-S2 and P-D3 among them, run in no CI (2026-10-23) — OPEN + +`.github/workflows/rust-test.yml:274` runs +`cargo test --manifest-path crates/bgz-tensor/Cargo.toml --lib`. The crate has +nine integration test files under `tests/`, including +`p_s2_compose_chain_probe.rs`, `p_d3_ood_support_probe.rs` and the +`palette256_*` / `palette_*` probes from #1709–#1726. Their verdicts are cited +on the board, but a regression in any of them would turn nothing red. Fix: +run `--tests` (or name the files). Not checked: whether all nine pass in CI's +environment today. (causal-edge's probes do run: `rust-test.yml:265` has no +`--lib`.) + +**Fruit:** Low-hanging +**Status:** OPEN. **Basis:** VERIFIED-IN-CODE (`rust-test.yml:274`, +`ls crates/bgz-tensor/tests`). + +## TD-CE64-W-SLOT-DOC-SAYS-NO-ANCHOR — `edge.rs` still documents W = 0 as "no corpus anchor" (2026-10-23) — OPEN + +`crates/causal-edge/src/edge.rs:944`: "Witness corpus root handle (6-bit, +0..=63). 0 = no corpus anchor." The 2026-10-21 decision (#1597) reads W = 0 as +main and 1..63 as a thought-git slot, which is why `execute` writing W = 0 is +correct. The doc contradicts the decision. Linear EXO-65. + +**Fruit:** Low-hanging +**Status:** OPEN. **Basis:** VERIFIED-IN-CODE (`edge.rs:944` on main `8f610a85`). + +## TD-SYLLOGIZE-WRITES-ALL-HOT-PLASTICITY — WIRE-50 is decided, its writers are not updated (2026-10-23) — OPEN + +`CausalEdge64::syllogize` (`crates/causal-edge/src/syllogism.rs:185`) builds +its conclusion with `CausalEdge64::pack(.., PlasticityState::ALL_HOT, ..)`, +i.e. bits 50..52 = `0b111` on every derived edge. WIRE-50 (#1640) reads those +bits as `Option`. Also undecided on the same writers: epistemic +bits 59..63 written as 0, and bits 46..49 read as activation by `wire` while +`deposit_counterfactual` (contract `counterfactual.rs:140`) writes −6 there. +A field-isolation test is required for any change here +(I-LEGACY-API-FEATURE-GATED). + +**Fruit:** High-signal +**Status:** OPEN. **Basis:** VERIFIED-IN-CODE (`syllogism.rs:185-230`). + +## TD-STATUS-BOARD-HAS-NO-ROWS-FOR-RULED-AND-SHIPPED-WORK — six rulings, D-DRMC and the P-* probes are absent (2026-10-23) — OPEN + +STATUS_BOARD on main `8f610a85` has 0 rows whose first cell names ADMISSION, +ACTION-GATE, FLOAT-REFS, WIRE-50, O30, D-DRMC-0..5, D-TLAC or D-RV-0..9. +D-RFT-2..5 exist only as one combined PROPOSAL row, and D-QSP-1/2 have no +row. "What is open" cannot be answered from the board for any of them. Fix: +one row each, status from its own entry. (Draft #1727 adds PR_ARC and +LATEST_STATE catch-up, not these rows.) + +**Fruit:** Low-hanging +**Status:** OPEN. **Basis:** census of `^| *` in STATUS_BOARD.md. + ## TD-CANON-HIGH-AUDIT-RESIDUE-1 (2026-10-16, filed from #1430) — OPEN #1430 aligned the classid docs and two hand-written shifts with the canon-high From 865daa31bd17ea251784aa97c3dbae7ac7b72947 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 23 Oct 2026 08:37:22 +0000 Subject: [PATCH 3/6] board: replace two line-number citations with stable anchors (citation-decay) citation_decay.py flagged two citations added in this PR whose anchors were not on the cited lines. Cite the symbols instead of line numbers. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A --- .claude/board/BREADCRUMBS.md | 4 ++-- .claude/board/TECH_DEBT.md | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.claude/board/BREADCRUMBS.md b/.claude/board/BREADCRUMBS.md index 2c8fdc40e..b6d31ee34 100644 --- a/.claude/board/BREADCRUMBS.md +++ b/.claude/board/BREADCRUMBS.md @@ -49,8 +49,8 @@ module states that the receipt proves replay equals the original run, not that the derivation is admissible; that promotion is D-TGB-7's. Same three parts as trail T-ADMISSION: built before (sealed receipt), witness with an issuer (the cycle commit), refused promotion (replay → proof). -**Receipt:** `crates/thought-git-probe/src/receipt.rs:20-45`, `:82`, `:473`, -`:681` on main `8f610a85`; lance-graph #1674, #1684; GPT /05 three-artifact +**Receipt:** `crates/thought-git-probe/src/receipt.rs` on main `8f610a85` +(module doc, `pub struct CommitWitness`, `Refusal::NoCommitWitness`); lance-graph #1674, #1684; GPT /05 three-artifact note (EXO-50, `session_019fbZ92dFKQ5BJHrA3YcH9A/007`). **Rhymes-with:** BC-2026-10-23-8, BC-2026-10-23-9 (draft #1730) **Cluster:** RHYME (trail T-ADMISSION, Linear EXO-135) diff --git a/.claude/board/TECH_DEBT.md b/.claude/board/TECH_DEBT.md index 0ce444e37..751c2cb70 100644 --- a/.claude/board/TECH_DEBT.md +++ b/.claude/board/TECH_DEBT.md @@ -26,7 +26,7 @@ correct. The doc contradicts the decision. Linear EXO-65. ## TD-SYLLOGIZE-WRITES-ALL-HOT-PLASTICITY — WIRE-50 is decided, its writers are not updated (2026-10-23) — OPEN -`CausalEdge64::syllogize` (`crates/causal-edge/src/syllogism.rs:185`) builds +`syllogize` (`crates/causal-edge/src/syllogism.rs`, `pub fn syllogize`) builds its conclusion with `CausalEdge64::pack(.., PlasticityState::ALL_HOT, ..)`, i.e. bits 50..52 = `0b111` on every derived edge. WIRE-50 (#1640) reads those bits as `Option`. Also undecided on the same writers: epistemic From d9b0ec8d805375424a1511f3409b689bf07c13e7 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 23 Oct 2026 08:38:33 +0000 Subject: [PATCH 4/6] board: reframe the witness issue and BC-13 as the CE64 lane dimension The witness is W (bits 53..58), the lane dimension. NodeGuids are identical across lanes, so a vertical read of one address shows which thoughts wrote it. A frozen codebook or an untouched sorted range is that read (only lane 0 present in the reader's merge set), not a missing contract type. Open: whether a preparation-time projection must repeat the read at use, and whether #1659's ordered-lane gate is the same property. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A --- .claude/board/BREADCRUMBS.md | 5 +++++ .claude/board/FRUITS.md | 2 +- .claude/board/ISSUES.md | 16 ++++++++++++++-- 3 files changed, 20 insertions(+), 3 deletions(-) diff --git a/.claude/board/BREADCRUMBS.md b/.claude/board/BREADCRUMBS.md index b6d31ee34..b4d69b515 100644 --- a/.claude/board/BREADCRUMBS.md +++ b/.claude/board/BREADCRUMBS.md @@ -54,6 +54,11 @@ trail T-ADMISSION: built before (sealed receipt), witness with an issuer note (EXO-50, `session_019fbZ92dFKQ5BJHrA3YcH9A/007`). **Rhymes-with:** BC-2026-10-23-8, BC-2026-10-23-9 (draft #1730) **Cluster:** RHYME (trail T-ADMISSION, Linear EXO-135) +**Correction (2026-10-23, operator):** the witness is not issued by the write +path. It is the lane dimension: identical NodeGuids across lanes give a +vertical read of which thoughts wrote a node. The probe's `CommitWitness` +restates that read as a lab stand-in. The issuer question raised on EXO-135 +(component or version) is answered: neither, it is the lane. ### BC-2026-10-23-4 — the same join is right under Distinct and wrong under Bag **Observation:** D-RFT-1's composition gives the right answer under Distinct diff --git a/.claude/board/FRUITS.md b/.claude/board/FRUITS.md index f6d9a7498..5e9629d71 100644 --- a/.claude/board/FRUITS.md +++ b/.claude/board/FRUITS.md @@ -34,6 +34,6 @@ Open: 11. Closed: 0. | tier | row | status | ledger | |---|---|---|---| | Low-hanging | ISS-CAUSAL-EDGE-CARRIES-SEVEN-PRE-EXISTING-CLIPPY-FINDINGS (2026-08-22) — OPEN | — | `ISSUES.md` | -| Heavy | ISS-ORDER-AND-CODEBOOK-WITNESS-HAS-NO-CONTRACT-TYPE — seven open items wait on one witness nobody owns (2026-10-23) — OPEN | OPEN. **Basis:** VERIFIED-IN-CODE (STATUS_BOARD rows D-CMR-5, | `ISSUES.md` | +| Heavy | ISS-ORDER-AND-CODEBOOK-WITNESS-HAS-NO-CONTRACT-TYPE — seven open items wait on one witness nobody owns (2026-10-23) — OPEN | OPEN (reframed, see correction). **Basis:** VERIFIED-IN-CODE | `ISSUES.md` | | Heavy | ISS-ADMISSION-B-CALL-SITE-CLASSIFICATION-NOT-STARTED — Semijoin, EqU32Via and Gather are unclassified, and no owner is named (2026-10-23) — OPEN | OPEN (operator decision on ownership). **Basis:** VERIFIED-IN-CODE | `ISSUES.md` | diff --git a/.claude/board/ISSUES.md b/.claude/board/ISSUES.md index a777fdfc0..9512f89cd 100644 --- a/.claude/board/ISSUES.md +++ b/.claude/board/ISSUES.md @@ -23,9 +23,21 @@ per sealed version), or two types. See Linear EXO-114 and BREADCRUMBS trail T-ADMISSION (crumb BC-2026-10-23-13 asks the same question from the issuer side). +**Correction (2026-10-23, operator on this session's question):** "no +contract type" is the wrong frame. The witness is the lane dimension of +CE64 (W, bits 53..58): NodeGuids are identical across lanes, so one address +read down through the lanes shows which thoughts wrote to it. A codebook +sealed on main is frozen for a reader when, for every one of its NodeGuids, +only lane 0 holds a value in that reader's merge set; an untouched key range +keeps main's sealed order the same way. That is a fold over existing presence +bits, not a new type. Still open: (a) whether a projection built in +preparation (D-CMR-5) must repeat the vertical read at use time, or pin its +merge set; (b) whether #1659's ordered-lane gate is the same property. + **Fruit:** Heavy -**Status:** OPEN. **Basis:** VERIFIED-IN-CODE (STATUS_BOARD rows D-CMR-5, -D-RU-6; `ordered_lane.rs`). +**Status:** OPEN (reframed, see correction). **Basis:** VERIFIED-IN-CODE +(STATUS_BOARD rows D-CMR-5, D-RU-6; `ordered_lane.rs`); witness reading per +`entries/2026-10-20-d-tga-slot-axis-witness-pointer.md`. ## ISS-ADMISSION-B-CALL-SITE-CLASSIFICATION-NOT-STARTED — Semijoin, EqU32Via and Gather are unclassified, and no owner is named (2026-10-23) — OPEN From 064da9e568e3703b9b68782ee9ffb510317432f4 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 23 Oct 2026 08:41:57 +0000 Subject: [PATCH 5/6] board: drop three fruit rows duplicated by #1730 / #1733; align the replay idea with the witness dimension Removed (duplicates; details go to the owning rows as receipts): - TD-BGZ-TENSOR-CI-RUNS-LIB-ONLY = #1733 TD-BGZ-TENSOR-INTEGRATION-TESTS-UNGATED-1 - TD-SYLLOGIZE-WRITES-ALL-HOT-PLASTICITY, covered by #1730 ISS-SIX-DECISIONS-NOT-EXECUTED-WIRE50-ISA-LEGACY - TD-STATUS-BOARD-HAS-NO-ROWS-FOR-RULED-AND-SHIPPED-WORK, covered by #1730 TD-STATUS-BOARD-ROWS-MISSING-FOR-OCT-PLANS-1 IDEAS replay row: the commit witness is the CE64 lane dimension. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A --- .claude/board/FRUITS.md | 5 +---- .claude/board/IDEAS.md | 6 ++++++ .claude/board/TECH_DEBT.md | 42 -------------------------------------- 3 files changed, 7 insertions(+), 46 deletions(-) diff --git a/.claude/board/FRUITS.md b/.claude/board/FRUITS.md index 5e9629d71..3f7ed66c9 100644 --- a/.claude/board/FRUITS.md +++ b/.claude/board/FRUITS.md @@ -4,7 +4,7 @@ Generated by `.claude/tools/fruits_index.py --write`. Do not hand-edit: add or change a `**Fruit:**` line on the ledger row and regenerate. CI fails when this file is stale. -Open: 11. Closed: 0. +Open: 8. Closed: 0. ## discovery torque @@ -24,10 +24,7 @@ Open: 11. Closed: 0. | tier | row | status | ledger | |---|---|---|---| -| High-signal | TD-SYLLOGIZE-WRITES-ALL-HOT-PLASTICITY — WIRE-50 is decided, its writers are not updated (2026-10-23) — OPEN | OPEN. **Basis:** VERIFIED-IN-CODE (`syllogism.rs:185-230`). | `TECH_DEBT.md` | -| Low-hanging | TD-BGZ-TENSOR-CI-RUNS-LIB-ONLY — nine probe test files, P-S2 and P-D3 among them, run in no CI (2026-10-23) — OPEN | OPEN. **Basis:** VERIFIED-IN-CODE (`rust-test.yml:274`, | `TECH_DEBT.md` | | Low-hanging | TD-CE64-W-SLOT-DOC-SAYS-NO-ANCHOR — `edge.rs` still documents W = 0 as "no corpus anchor" (2026-10-23) — OPEN | OPEN. **Basis:** VERIFIED-IN-CODE (`edge.rs:944` on main `8f610a85`). | `TECH_DEBT.md` | -| Low-hanging | TD-STATUS-BOARD-HAS-NO-ROWS-FOR-RULED-AND-SHIPPED-WORK — six rulings, D-DRMC and the P-* probes are absent (2026-10-23) — OPEN | OPEN. **Basis:** census of `^\| *` in STATUS_BOARD.md. | `TECH_DEBT.md` | ## blocker diff --git a/.claude/board/IDEAS.md b/.claude/board/IDEAS.md index ded9b0881..bfdd0e35d 100644 --- a/.claude/board/IDEAS.md +++ b/.claude/board/IDEAS.md @@ -103,6 +103,12 @@ refusing with its own error. **Kill:** the capsule fingerprint cannot be made stable across a replay without depending on the commit itself. D-RFT-5 is on hold until the D-RFT ID table is adopted, so this stays lab-only. +**Correction (2026-10-23, operator):** the "commit witness" here is the CE64 +lane dimension, not the probe's `CommitWitness` struct: NodeGuids are +identical across lanes, so a vertical read of the thought's NodeGuids shows +which lanes wrote them. The probe's third disable becomes "the vertical read +shows a lane other than the thought's own and lane 0". + **Fruit:** High-signal **Status:** Open. diff --git a/.claude/board/TECH_DEBT.md b/.claude/board/TECH_DEBT.md index 751c2cb70..4fd9fb1a8 100644 --- a/.claude/board/TECH_DEBT.md +++ b/.claude/board/TECH_DEBT.md @@ -1,19 +1,3 @@ -## TD-BGZ-TENSOR-CI-RUNS-LIB-ONLY — nine probe test files, P-S2 and P-D3 among them, run in no CI (2026-10-23) — OPEN - -`.github/workflows/rust-test.yml:274` runs -`cargo test --manifest-path crates/bgz-tensor/Cargo.toml --lib`. The crate has -nine integration test files under `tests/`, including -`p_s2_compose_chain_probe.rs`, `p_d3_ood_support_probe.rs` and the -`palette256_*` / `palette_*` probes from #1709–#1726. Their verdicts are cited -on the board, but a regression in any of them would turn nothing red. Fix: -run `--tests` (or name the files). Not checked: whether all nine pass in CI's -environment today. (causal-edge's probes do run: `rust-test.yml:265` has no -`--lib`.) - -**Fruit:** Low-hanging -**Status:** OPEN. **Basis:** VERIFIED-IN-CODE (`rust-test.yml:274`, -`ls crates/bgz-tensor/tests`). - ## TD-CE64-W-SLOT-DOC-SAYS-NO-ANCHOR — `edge.rs` still documents W = 0 as "no corpus anchor" (2026-10-23) — OPEN `crates/causal-edge/src/edge.rs:944`: "Witness corpus root handle (6-bit, @@ -24,32 +8,6 @@ correct. The doc contradicts the decision. Linear EXO-65. **Fruit:** Low-hanging **Status:** OPEN. **Basis:** VERIFIED-IN-CODE (`edge.rs:944` on main `8f610a85`). -## TD-SYLLOGIZE-WRITES-ALL-HOT-PLASTICITY — WIRE-50 is decided, its writers are not updated (2026-10-23) — OPEN - -`syllogize` (`crates/causal-edge/src/syllogism.rs`, `pub fn syllogize`) builds -its conclusion with `CausalEdge64::pack(.., PlasticityState::ALL_HOT, ..)`, -i.e. bits 50..52 = `0b111` on every derived edge. WIRE-50 (#1640) reads those -bits as `Option`. Also undecided on the same writers: epistemic -bits 59..63 written as 0, and bits 46..49 read as activation by `wire` while -`deposit_counterfactual` (contract `counterfactual.rs:140`) writes −6 there. -A field-isolation test is required for any change here -(I-LEGACY-API-FEATURE-GATED). - -**Fruit:** High-signal -**Status:** OPEN. **Basis:** VERIFIED-IN-CODE (`syllogism.rs:185-230`). - -## TD-STATUS-BOARD-HAS-NO-ROWS-FOR-RULED-AND-SHIPPED-WORK — six rulings, D-DRMC and the P-* probes are absent (2026-10-23) — OPEN - -STATUS_BOARD on main `8f610a85` has 0 rows whose first cell names ADMISSION, -ACTION-GATE, FLOAT-REFS, WIRE-50, O30, D-DRMC-0..5, D-TLAC or D-RV-0..9. -D-RFT-2..5 exist only as one combined PROPOSAL row, and D-QSP-1/2 have no -row. "What is open" cannot be answered from the board for any of them. Fix: -one row each, status from its own entry. (Draft #1727 adds PR_ARC and -LATEST_STATE catch-up, not these rows.) - -**Fruit:** Low-hanging -**Status:** OPEN. **Basis:** census of `^| *` in STATUS_BOARD.md. - ## TD-CANON-HIGH-AUDIT-RESIDUE-1 (2026-10-16, filed from #1430) — OPEN #1430 aligned the classid docs and two hand-written shifts with the canon-high From 3ab9f956d515490a179143947005b5397ef6f8e5 Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 23 Oct 2026 08:52:56 +0000 Subject: [PATCH 6/6] board: the vertical read proves a frozen codebook, not a sorted key EXO-114: Lance keeps no physical order. A sorted-key seek needs the vertical read (untouched since sealing) plus a per-sealed-version order attest (sorted when sealed). Corrects the overclaim in the witness row. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_019fbZ92dFKQ5BJHrA3YcH9A --- .claude/board/ISSUES.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.claude/board/ISSUES.md b/.claude/board/ISSUES.md index cfd629bda..1741d9ac8 100644 --- a/.claude/board/ISSUES.md +++ b/.claude/board/ISSUES.md @@ -34,6 +34,15 @@ bits, not a new type. Still open: (a) whether a projection built in preparation (D-CMR-5) must repeat the vertical read at use time, or pin its merge set; (b) whether #1659's ordered-lane gate is the same property. +**Correction (2026-10-23, same day, from EXO-114):** the vertical read covers +the frozen codebook fully, but a sorted key only halfway. It shows the rows +are untouched since sealing; it cannot show they were sealed in key order. +Lance keeps no physical order (fragments in write order, `order_by` is +scan-time), so a seek or range still needs the order attest EXO-114 describes: +O(1) or an O(n) check minted once per sealed version. Sorted key = vertical +read (untouched) + per-version order attest (sorted when sealed). (b) above is +that second half. + **Fruit:** Heavy **Status:** OPEN (reframed, see correction). **Basis:** VERIFIED-IN-CODE (STATUS_BOARD rows D-CMR-5, D-RU-6; `ordered_lane.rs`); witness reading per