docs: cognitive-fabric census 2026-08-30 — SOURCE FACT rows for #1078 W0 (BeliefArena dedup payable; alpha/atom/mask membrane located)

.claude/board/EPIPHANIES.md

@@ -1,3 +1,72 @@
+## 2026-08-30 — E-A-FLOOD-THROTTLE-IS-NOT-A-DISCRIMINATOR-1 — the census equated `hub_indegree` with a specificity test; they are opposite where it matters
+
+**Status:** FINDING (measured, review-driven). Raised as codex P2 on #1079,
+re-measured against source before acceptance, and CONFIRMED.
+**Confidence:** High — read off `nars/tactics.rs:191-215` + `112-124` and the
+consumer's admission predicate, not argued from names.
+
+`COGNITIVE-FABRIC-CENSUS-2026-08-30.md` §"consumer taxonomy ↔ Frontier" carried
+a row asserting *"a marker shared by >1 rival discriminates nothing"* ≡
+`hub_indegree` middle-term exclusion, labelled **"the same computation"**. It is
+not, and the disagreement sits exactly in the region a differential turns on:
+
+| shared by | consumer specificity test | `rcr_abduce` |
+|---|---|---|
+| 1 rival | **specific** → ranked | `members.len() < 2` → `continue`: no candidate, **no gap** |
+| exactly 2 | **not specific** → disqualified | degree ≤ `hub_indegree` → **generates the frontier** |
+| > `hub_indegree` | not specific | `GapKind::HubExcluded` |
+
+`hub_indegree` lives in `Throttle` beside `c_min` and `budget` — a configurable
+**flood control on hubs**, sharing the *shape* of a sharing-count test and
+inverting its *verdict* below the threshold. Second half, also confirmed:
+`ReasoningGap` is `{kind, subject: Option<u16>, predicate: Option<u16>}`, so
+`NoSharedMiddle` names **no concrete missing term** — the row's parenthetical
+overstated what the gap arm carries.
+
+**The generalizable rule: a throttle and a discriminator can agree in the tail
+and disagree everywhere else.** Both reduce a candidate set; only one does it
+*because the evidence failed to separate*. Structural correspondence between
+two surfaces is a hypothesis to measure at the boundary values, never an
+equivalence to assume — and a census that records one as "the same computation"
+hands a later ownership wave a false BUY.
+
+**Companion finding, uncomfortable and recorded rather than quietly fixed:** the
+same census banks `F-ARW-0` ("census by semantics, not by type name") as its
+own §1 finding 5, then one section later claimed the consumer's reasoning path
+"never claims into" the alpha overlay — on the strength of a name-based grep
+over two files. Measured, the step trace claims indirectly through the resident
+ontology walk; only the differential beside it does not. **Writing the rule down
+is not the same as being immune to it**; the narrowed claim is the one that is
+actually true, and it is also the one that is actionable.
+
+---
+
+## 2026-08-30 — E-BELIEF-ARENA-DEDUP-IS-PAYABLE-AND-W0-MUST-CITE-IT-1 — a ruled duplication the ownership census omits is a re-derivation waiting to happen
+
+**Status:** FINDING (measured). Full census:
+`docs/architecture/COGNITIVE-FABRIC-CENSUS-2026-08-30.md` (three-repo,
+`F-ARW-0`-clean; private-side rendition MedCare-rs PR #596).
+**Confidence:** High — counted at file:line across lance-graph + OGAR + the
+consumer repo, not argued.
+
+`TD-DEEPNSM-V2-BELIEF-DUP` (TECH_DEBT.md:752) ruled the V0 arena
+(`deepnsm-v2/src/belief.rs`) superseded by the canonical planner arena
+(`nars/belief.rs`), held open on two blockers. Measured today: **blocker (b)
+is clear** — external consumers of the V0 re-exports across all three repos =
+ZERO (sole reference: `deepnsm-v2/src/lib.rs:59`); and **the copies have
+diverged** — `admit_derived` exists only in the planner arena
+(`nars/belief.rs:226`), so the dup now compounds with every planner-side
+extension. Yet #1078's W0 ownership-census list names neither
+`nars/belief.rs` nor the TD id (verified against both open plan heads) —
+while its §7 lists NARS revision among loco atom candidates, and an atom
+needs exactly ONE backing arena. Consequence: W0 imports the TD as a
+`SOURCE FACT` row; the dedup (the TD's own payment path: deepnsm-v2 emits the
+stream, consumes the planner arena, deletes `belief.rs` + re-exports, citing
+the D-DIA-V0 tests) precedes any atom freeze. Companion lesson banked in the
+census §7.5: a name-based single-repo grep produced a false absence claim
+about the consumer's same-address overlay within the same session — census by
+semantics, not by type name.
+
 ## 2026-08-27 — E-THE-FUSED-PAYLOAD-IS-INERT-AT-EVERY-EXECUTION-GATE-THAT-CONSUMES-IT-1 — a required field no consumer reads does not stay empty, it fills with fiction
 
 **Status:** FINDING (measured). Deliverable D-MCAL-1. Full entry:

.claude/v3/knowledge/persona-vs-rung-ladder.md

@@ -7,6 +7,25 @@
 > transcript); board anchor: `E-RUNG-CONTENT-LADDER-1` in
 > `.claude/board/EPIPHANIES.md`.
 
+> **⊘ SCOPE CORRECTION (operator, 2026-08-30 — styles are NOT confined to
+> rung 4).** Sessions inheriting this file began reading row 4 as "thinking
+> styles live at rung 4 ONLY." The operator: *"'Thinking styles: rung 4
+> only' is a stale inheritance … it was never a recent ruling."* What this
+> file rules is the CONTENT taxonomy — which kind of thinking OBJECT
+> occupies each rung of the ladder — and that stands unchanged. What it
+> does NOT rule, and never did, is a confinement of style APPLICATION to
+> one rung. The ruled direction (same date): **(a)** rung 0–9 awareness is
+> scheduled **in parallel** as meta-aware thinking orchestration through
+> `lance-graph-supervisor` — `kanban_actor.rs`'s `PhaseCensus` (the
+> read-only fleet visibility surface, one `&self` pass) is the built
+> primitive for the rung above watching the kanban of the layer below;
+> **(b)** thinking styles CONVERGE onto the execution membrane — mask-ALU
+> cheapness at the first level, `ogar-loco`/`ogar-r2il` composition for
+> depth — a style is a program over the atom/mask substrate, applicable at
+> any rung. O2 (style → recipe selection) survives, generalized to run from
+> any rung's orchestration into the recipe layer. Census anchor:
+> `docs/architecture/COGNITIVE-FABRIC-CENSUS-2026-08-30.md` §5.5.
+
 ## Why this file exists
 
 The workspace carried FOUR similar-looking spaces that sessions kept