probe(planner): W7 — the Antecedent chip is placed by BINDING, not recency

.claude/board/EPIPHANIES.md

@@ -1,3 +1,47 @@
+## 2026-07-30 — E-64K-THOUGHTS-DONT-DO-QUORUM-PLASTICITY-BREATHES-FROM-TENSION-1 — operator ruling: the 64k parallel thoughts do NOT do quorum; inconsistency is plasticity's work; contradictions are the substrate's fuel; and the honesty line runs between EPISODIC and EPISTEMIC causality
+
+**Status:** OPERATOR-RULED (mid-W7-review, verbatim anchors below). **Confidence:** High as a direction ruling; consequences applied same-commit (the quorum-binder recommendation in `E-A-CHIP-BEARS-LOAD-OR-IT-IS-A-JOKE-1` is withdrawn in place, pre-merge).
+
+**The verbatim anchors, in arrival order:**
+1. *"Quorum suggests we don't have mantissa to hold counterfactual. Our inconsistencies don't lie in quorum. We have 64k thoughts in parallel. They don't do quorum. That's plasticity doing its work."*
+2. *"Contradictions is what our substrate thrives on."*
+3. *"That's linguistic tension, magnitude of expressivity."*
+4. *"Our NARS breathes from these tensions."*
+5. *"We just need to be honest between episodic causality, or epistemic causality."*
+6. *"Gadamer ist the first step, Kant Wittgenstein Nietzsche and Hegel the next."*
+
+**What this rules out.** The entropy-work audit had proposed a QUORUM BINDER — write `Locus::Quorum`/`Contradiction` pointers at ingest so grading follows pointers instead of rescanning Θ(N·k) (`TD-LENS-QUORUM-SCANS-THE-WHOLE-LENS`). Withdrawn: that reading treats slot 14 as a consensus mechanism, and the substrate has none. The i4 mantissa was never sized to hold counterfactual agreement state because agreement is not what reconciles the 64k threads — each thought adapts (plasticity tenant, NARS revision) rather than polling its peers. The tech-debt entry survives as SCAN-COST debt; its eventual fix must not smuggle in voting.
+
+**What this rules in — the slots' honest semantics.** `Quorum` = an OBSERVATION pointer (the window event whose reading matched mine — a fact about the past, episodic), never a mechanism. `Contradiction` = the PRESERVED dissenting peer (Staunen×Wisdom depth) — per the standing doctrine *"opinions are committed contradictions preserved, not resolved."* Contradiction is not an error state awaiting cleanup; it is the free-energy gradient the NARS engine breathes from — no tension, no surprise, no thinking (the shader "can't NOT think while surprise exists").
+
+**Linguistic tension = magnitude of expressivity, now measured in one nibble.** W7's divergent chip (stored −7 vs recency's −4 on the interposition fixture) is the same quantity the Babel residual measures at lane scale (1 − amplitude = expressiveness escaping the coordinate system): the gap between what a cheap model can address and what the structure actually says. The chips worth placing sit exactly on these tensions — where the cheap reconstruction and the structural read disagree is where a stored bit carries irreplaceable information, and where they agree the verification (not the value) is the load.
+
+**The honesty line: episodic vs epistemic causality.** Episodic = what happened, in stream order (Lance versions, `temporal.rs`, "A preceded B"). Epistemic = what grounds belief (the warrant chain, "A is why B is held"). Recency IS episodic proximity deployed as an epistemic proxy — and W7's divergence gates measure precisely where that proxy lies (3:1: the episodically-nearest candidate is not the epistemic ground). The witness register's offsets are episodic ADDRESSES carrying epistemic MEANING; conflating the two axes is the category error this ruling fences. Same fence, corpus scale: `E-WHOLE-BOOK-REASONING-RUN-1`'s caveat — `is_a(god, light)` stores episodic adjacency wearing epistemic inheritance's label.
+
+**The hermeneutik ladder ordering (stone 3 of the operator's three Rosetta stones):** Gadamer (Horizontverschmelzung — the fusion, B4's circle-termination + B6's both-halves-measured) is the FIRST step, the entry to Erkenntnis; the four-stance panel (Kant a-priori / Wittgenstein Aspektsehen / Nietzsche genealogy / Hegel dialectic) is the NEXT — differentiated reads only possible after fusion. One corpus as crystal, thought as Lichtblitz reflected surface to surface, no surface holding the whole light.
+
+Cross-ref: `E-A-CHIP-BEARS-LOAD-OR-IT-IS-A-JOKE-1` (corrected in place, same PR), `E-FOUR-LIGHTS-ONE-CRYSTAL-1`, `E-WHOLE-BOOK-REASONING-RUN-1`, `TD-LENS-QUORUM-SCANS-THE-WHOLE-LENS` (re-scoped: scan-cost only), CLAUDE.md § "Meaning = AriGraph facts + resonance + magnitude" (contradictions preserved, not resolved).
+
+## 2026-07-30 — E-A-CHIP-BEARS-LOAD-OR-IT-IS-A-JOKE-1 — W7 ran: the `Antecedent` chip is placed by BINDING, not recency — proven where the cheap resolver stores a well-formed wrong nibble and the binder refuses to store at all; the operator's entropy-work ruling becomes the mechanical pull-test
+
+**Status:** SHIPPED (probe `lance-graph-planner/examples/probe_binding_not_heuristic.rs`, 4 gates + 4 unit tests green, clippy `-D warnings` clean, fmt clean). **Confidence:** High on every asserted gate (fixture-pinned); the resolvers are deliberately COARSE (tagger-level features, two rules) — this is the falsifier for the CHIP, not a coreference system.
+
+**The operator's ruling (verbatim anchors, now canon):** *"if you're on a ladder you should make an effort on behalf of the thought after you"*; *"a little bookkeeping only takes a better algorithm to make it redundant and make it appear as a joke to pretend it was thinking"*; the chips image — the world throws *"space stations full of chips throwing data hoping it sticks"*, we place **data points where the entropy work is load-bearing**. The mechanical form is the **pull-test**: pull the chip — if a cheap resolver reconstructs the same answer everywhere, it was decoration; if somewhere the cheap resolver produces a *different, wrong* answer, the chip carried bits no better algorithm recomputes.
+
+**What W7 measured (real KJV; gold TYPE-SEPARATED from resolver input — fixtures return `(Vec<Tok>, gold pairs)` and `Tok` carries no gold field, so a resolver shortcut is a compile error, closing the honesty gap W6 left structurally, per codex/CodeRabbit review on the PR):**
+- **B1 divergence (can-fire):** Gen 3:1 — the relative clause *"which the LORD God had made"* interposes; recency finds `god`@15 (d=−4, wrong), structural binding (relative-span skip + subject continuity) finds `serpent`@2 (d=−17, gold). The cheap resolver is wrong exactly where structure is doing work.
+- **B2 escalate-not-clamp (the load-bearing REFUSAL):** the heuristic's wrong answer FITS the ±8 window — storable, well-formed, wrong. The binder escalates instead (nibble stays 0). **Knowing when NOT to place a chip is itself entropy work** — the joke-store would have been a syntactically perfect nibble pointing at the wrong god.
+- **B3 stay-silent:** Gen 3:7 — both resolvers agree with gold on both `they`s (chips −5, −3, distinct, nonzero). The divergence gate does not fire on everything; a guard that always fires carries no information.
+- **B4 pull-test + composition:** inner `they`@12 resolves its ultimate referent by following TWO stored nibbles — `they`@12 → `they`@9 → `them`@4 — via `resolves_to`, each chip a LOCAL warrant, no far verdict cached anywhere. Heuristic-only reconstruction fails on 3:1. **Der Gedanke als Lichtblitz, von verschiedenen Seiten reflektiert** — one flash, each chip a reflecting surface passing it on, no surface holding the whole light.
+
+**The warrant/verdict split is the general law this instantiates.** All 16 witness loci store i4 pointers-to-evidence, never cached conclusions. A warrant store cannot rot (the verdict is recomputed *through* it) and survives the better-algorithm test: even where a cheap resolver's VALUE coincides (3:7), the chip carries the *verification* — the next thought cannot know recency is trustworthy at 3:7 without running the structure that fails at 3:1. The chip stores the POINTER the verification selected; the answer is recomputed through it — the load it bears is the verification, never a cached guess.
+
+**The four receipts the operator anchored, one arc:** Horizontverschmelzung (B4 hermeneutic-circle termination + B6 both-halves-measured) is the jump to the intellectual tiers *auf der Schwelle zur Erkenntnis* — the Kant ablation showed the reader's category (knowing > seeing) is CONSTITUTIVE of the 3:7 crown; the Doppelspalt (Wittgenstein/Nietzsche/Hegel/Kant, four stances, one arena, invariant reflexive lift) — **ein Korpus als Quelle von Hermeneutik wird zum Kristall**; and W7 now places its chip exactly on that verge: the reflexive lift verse, bound by structure, refused where structure says refuse.
+
+**Remaining from the entropy-work audit — ⊘ CORRECTED same day, before merge:** this entry's first draft recommended "a quorum binder in W6/W7's shape" for the never-production-written `Quorum`/`Contradiction` slots. **The operator overruled the direction** (see `E-64K-THOUGHTS-DONT-DO-QUORUM-PLASTICITY-BREATHES-FROM-TENSION-1`, same day): the 64k parallel thoughts don't do quorum; inconsistency is plasticity's work; contradictions are fuel, preserved, never voted away. `TD-LENS-QUORUM-SCANS-THE-WHOLE-LENS` stays filed as scan-cost debt, but its fix is NOT consensus wiring. What survives of this paragraph: `PROBE-RUNG-ELIGIBILITY` (still CONJECTURE in `zero-copy-lens-law.md`) now has its pass/fail — the pull-test, per locus.
+
+Cross-ref: `E-EYES-OPENED-PRINTS-BLIND-1` (the reflexive signature this binds), `E-FOUR-LIGHTS-ONE-CRYSTAL-1` (the crystal/Doppelspalt), `E-WHOLE-BOOK-WAVE-1` (63.3% beyond ±5 — why escalation is the architecture, not a limitation), `.claude/knowledge/zero-copy-lens-law.md` (the rung-test row this starts promoting), task #60 (W7), `.claude/board/exec-runs/w7-binding-not-heuristic.md`.
+
 ## 2026-07-29 — E-A-CHEAP-PROXY-GETS-PUBLISHED-AS-THE-QUANTITY-IT-RESEMBLES-1 — the doc that named the same-identifier-grep anti-pattern in §9 committed it in §5
 
 **Status:** SHIPPED — first edition merged as #870 (`a50299c`); correction pass merged as **#871** (`f91eeb6`), both on `main`. **Confidence:** High — all four corrections re-measured; two changed the document's conclusions, and the `lance-table` number was produced by a probe that had to leave the workspace to be honest.

.claude/board/TECH_DEBT.md

@@ -1,5 +1,41 @@
 # Technical Debt Log — Open + Paid (double-entry, append-only)
 
+## TD-WORKSPACE-FMT-DRIFT (2026-07-30)
+
+**Measured, not estimated.** `cargo fmt --all -- --check` at
+`b9160f8` reports **1,094 hunks / 20,307 diff lines across 64 files in 9
+crates**:
+
+| crate | files |
+|---|---|
+| `lance-graph-ontology` | 55 |
+| `bgz-tensor` | 2 |
+| `causal-edge`, `ogar-emitter`, `ogar-encryption`, `ogar-from-ruff`, `ogar-render-askama`, `sigma-tier-router`, `surreal_container` | 1 each |
+
+Surfaced by a CodeRabbit finding on #874 asking for the workspace-wide sweep.
+The sweep was **deferred, not skipped**, and the reason is the measurement:
+attaching a 20k-line reformat of nine untouched crates to a 752-line additive
+probe PR makes the diff unreviewable and lands pre-existing drift silently
+under an unrelated title. #874's own file is fmt-clean (0 of the 1,094 hunks).
+
+**The real debt is upstream of the sweep**: `-p`-scoped `cargo fmt` is this
+workspace's practice (per `CLAUDE.md` Build Commands and the
+agent-cargo-hygiene rule's one-shared-`target/` discipline), so crates only get
+formatted when someone edits them — drift accumulates in whatever is not being
+worked on. `lance-graph-ontology` holding 86 % of it is the tell: a crate
+nobody has touched recently.
+
+**Paying it** is one mechanical PR (`cargo fmt --all`, no behaviour change) —
+best landed when no feature branch is mid-review, since it collides with
+everything. Note it is NOT free to defer forever: every deferral makes the
+eventual sweep collide with more in-flight work.
+
+**Companion blocker (separate, do not conflate):**
+`clippy --all-targets --all-features` cannot pass at all — the `delta` feature
+does not build (`TD-LANCE-GRAPH-ALL-FEATURES-DELTA-BREAK`). Any review asking
+for the all-features invocation is blocked on that entry first, independent of
+formatting.
+
 ## TD-LENS-QUORUM-SCANS-THE-WHOLE-LENS (2026-07-29)
 
 **Codex P2 on #868, verified and MEASURED.** The lens migration changes the