Skip to content

Commit 9608a93

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 2ce4ef6 commit 9608a93

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

2929
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.
30+
## 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
31+
32+
**Status:** CORRECTION (of `E-BRICK3-RAN-TRUNCATION-DISALLOWED` + PR #625's
33+
`ast-as-partof-isa-address.md` "brick that ran" section, both of which state
34+
`mint_factored` shipped).
35+
36+
**The finding (review agent, ruff @ b459ec3, verified via git show/diffstat):**
37+
ruff main carries `ruff_spo_address::{mint, soc}` — the naive minter (with its
38+
own falsification recorded in its doc header) plus the 256-cap-is-a-lint
39+
classifier. **`mint_factored` + `RadixCodebook` + `ONTOLOGICAL-RADIX-TRIE.md`
40+
live ONLY on branch `claude/medcare-ruff-csharp-sync-4iahey` (tip `505fdc4`)**,
41+
which diverged BEFORE the soc promotion and therefore LACKS `soc.rs` (branch↔main
42+
diffstat: `soc.rs | 335 ---`). A naive merge of that branch would delete the
43+
lint. So: main ships the falsified minter; the corrected minter has never
44+
coexisted with the lint that motivated it.
45+
46+
**Consequence:** the single highest-leverage small move in the address stack is
47+
rebasing `mint_factored`+`RadixCodebook` over main (conflict surface ≈ the
48+
`pub mod` line + doc header) so the corrected state exists on ONE branch.
49+
Until then, "brick-3's corrected form is shipped" is true only of the private
50+
probe run, not of public ruff main.
51+
52+
**Process note:** my #625 record propagated the claim from the private archive's
53+
RESTORE-STATUS without re-verifying WHICH branch carried the code — the same
54+
verify-by-reading-not-by-inheriting failure mode as the stale-doc-comment
55+
episode (E-BRICK3 arc). Corrections cite their pass: surfaced by the 2026-07-02
56+
OGAR+ruff review fan-out.
3057

3158
## 2026-07-02 — E-V3-PLANNER-TWO-NATURES-AND-SPEED-PROBE (operator: planner too slow for sub-µs; resonance-based thinking is not DataFusion)
3259
**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
@@ -84,6 +84,8 @@
8484

8585
**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).
8686

87+
**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`.
88+
8789
---
8890

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

0 commit comments

Comments
 (0)