Skip to content

Commit 3c26730

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 91a2a13 commit 3c26730

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
@@ -323,6 +323,33 @@ Operator: rs-graph-llm under lance-graph "might need some kanban integration to
323323
**Status:** FINDING (plan deltas folded into INTEGRATION-PLAN.md Addendum 2026-07-02)
324324

325325
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.
326+
## 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
327+
328+
**Status:** CORRECTION (of `E-BRICK3-RAN-TRUNCATION-DISALLOWED` + PR #625's
329+
`ast-as-partof-isa-address.md` "brick that ran" section, both of which state
330+
`mint_factored` shipped).
331+
332+
**The finding (review agent, ruff @ b459ec3, verified via git show/diffstat):**
333+
ruff main carries `ruff_spo_address::{mint, soc}` — the naive minter (with its
334+
own falsification recorded in its doc header) plus the 256-cap-is-a-lint
335+
classifier. **`mint_factored` + `RadixCodebook` + `ONTOLOGICAL-RADIX-TRIE.md`
336+
live ONLY on branch `claude/medcare-ruff-csharp-sync-4iahey` (tip `505fdc4`)**,
337+
which diverged BEFORE the soc promotion and therefore LACKS `soc.rs` (branch↔main
338+
diffstat: `soc.rs | 335 ---`). A naive merge of that branch would delete the
339+
lint. So: main ships the falsified minter; the corrected minter has never
340+
coexisted with the lint that motivated it.
341+
342+
**Consequence:** the single highest-leverage small move in the address stack is
343+
rebasing `mint_factored`+`RadixCodebook` over main (conflict surface ≈ the
344+
`pub mod` line + doc header) so the corrected state exists on ONE branch.
345+
Until then, "brick-3's corrected form is shipped" is true only of the private
346+
probe run, not of public ruff main.
347+
348+
**Process note:** my #625 record propagated the claim from the private archive's
349+
RESTORE-STATUS without re-verifying WHICH branch carried the code — the same
350+
verify-by-reading-not-by-inheriting failure mode as the stale-doc-comment
351+
episode (E-BRICK3 arc). Corrections cite their pass: surfaced by the 2026-07-02
352+
OGAR+ruff review fan-out.
326353

327354
## 2026-07-02 — E-V3-PLANNER-TWO-NATURES-AND-SPEED-PROBE (operator: planner too slow for sub-µs; resonance-based thinking is not DataFusion)
328355
**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)