Skip to content

Commit 7bbdeee

Browse files
committed
board: correction — mint_factored is split-brain across ruff branches, not on main
The 2026-07-02 OGAR+ruff review fan-out falsified a claim in the #625 record: ruff main carries mint + soc.rs; mint_factored + RadixCodebook live only on claude/medcare-ruff-csharp-sync-4iahey (505fdc4), which diverged before the soc promotion and lacks soc.rs — no branch carries both. E-BRICK3-CORRECTION prepended; dated correction line appended to the #625 PR_ARC entry per the corrections-append rule.
1 parent 83dce64 commit 7bbdeee

2 files changed

Lines changed: 29 additions & 0 deletions

File tree

.claude/board/EPIPHANIES.md

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -80,6 +80,33 @@ Operator: rs-graph-llm under lance-graph "might need some kanban integration to
8080
**Status:** FINDING (plan deltas folded into INTEGRATION-PLAN.md Addendum 2026-07-02)
8181

8282
Headline collapses: (1) the kanban board IS the write-ahead log — cast = move = intent, ack = confirmation; W1b/W1c are one object, crash recovery free (M24). (2) M7 ruling rec: SoaEnvelope re-scoped as spec/certification surface (verify_layout + field-isolation matrix are the value; zero production impls of the trait). (3) Baseline inversion: W6a scanner runs at W1 START — adoption-100% needs a measured t0 denominator. (4) W3 oracle ratchet: oracle-hit rate must trend down vs catalogue size or deterministic-first is silently dead. (5) W2 reorder probe→budget→arms; budget constants measured not guessed; probe at batch 1/64/4096; loser owns slow path. (6) Ractor batching by API shape (Vec<KanbanMove> per message). (7+8) Pull-forwards: D-PERT-1 and M21 canon-node-bytes ride W1. (9) Gate-run rule: wave PRs end with /v3-audit + touched M-row greps in AGENT_LOG. (10) Supervisor stays thin — the product is the compile-time ownership attestation, not runtime supervision. Test applied throughout: every item is a collapse/reorder of existing machinery, none invents a layer.
83+
## 2026-07-02 — E-BRICK3-CORRECTION-MINT-FACTORED-IS-SPLIT-BRAIN — the "corrected minter" exists only as the UNION of two diverged ruff branches; no branch carries both mint_factored AND soc.rs
84+
85+
**Status:** CORRECTION (of `E-BRICK3-RAN-TRUNCATION-DISALLOWED` + PR #625's
86+
`ast-as-partof-isa-address.md` "brick that ran" section, both of which state
87+
`mint_factored` shipped).
88+
89+
**The finding (review agent, ruff @ b459ec3, verified via git show/diffstat):**
90+
ruff main carries `ruff_spo_address::{mint, soc}` — the naive minter (with its
91+
own falsification recorded in its doc header) plus the 256-cap-is-a-lint
92+
classifier. **`mint_factored` + `RadixCodebook` + `ONTOLOGICAL-RADIX-TRIE.md`
93+
live ONLY on branch `claude/medcare-ruff-csharp-sync-4iahey` (tip `505fdc4`)**,
94+
which diverged BEFORE the soc promotion and therefore LACKS `soc.rs` (branch↔main
95+
diffstat: `soc.rs | 335 ---`). A naive merge of that branch would delete the
96+
lint. So: main ships the falsified minter; the corrected minter has never
97+
coexisted with the lint that motivated it.
98+
99+
**Consequence:** the single highest-leverage small move in the address stack is
100+
rebasing `mint_factored`+`RadixCodebook` over main (conflict surface ≈ the
101+
`pub mod` line + doc header) so the corrected state exists on ONE branch.
102+
Until then, "brick-3's corrected form is shipped" is true only of the private
103+
probe run, not of public ruff main.
104+
105+
**Process note:** my #625 record propagated the claim from the private archive's
106+
RESTORE-STATUS without re-verifying WHICH branch carried the code — the same
107+
verify-by-reading-not-by-inheriting failure mode as the stale-doc-comment
108+
episode (E-BRICK3 arc). Corrections cite their pass: surfaced by the 2026-07-02
109+
OGAR+ruff review fan-out.
83110

84111
## 2026-07-02 — E-V3-PLANNER-TWO-NATURES-AND-SPEED-PROBE (operator: planner too slow for sub-µs; resonance-based thinking is not DataFusion)
85112
**Status:** FINDING (operator-ruled; speed claim probe-gated per truth-architect discipline)

.claude/board/PR_ARC_INVENTORY.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -126,6 +126,8 @@
126126

127127
**Cross-ref:** #616/#617 (the ast-address doc lineage); #623 (OGAR sink-in plan); OGAR #145/#146 (OSINT mint + zero-rows ruling); ruff `b459ec3` (`ruff_spo_address` + `soc`); `E-CODEBOOK-MINT-IS-A-CROSS-REPO-ARC`; MedCare-rs private archive (RESTORE-STATUS re-fetch log).
128128

129+
**Correction (2026-07-02, from the OGAR+ruff review fan-out):** the Locked line's "`mint_factored` … is the corrected minter" overstates its location — on public ruff main only `mint` + `soc.rs` exist; `mint_factored`+`RadixCodebook` are stranded on branch `claude/medcare-ruff-csharp-sync-4iahey` (`505fdc4`), which predates and LACKS `soc.rs`. The corrected-minter state exists only as the union of two diverged branches. See `E-BRICK3-CORRECTION-MINT-FACTORED-IS-SPLIT-BRAIN`.
130+
129131
---
130132

131133
## #627 lance-graph: classid canon:custom flip TRIGGERED — migration plan v1 + operator ruling record (doc-only)

0 commit comments

Comments
 (0)