nexgen: mask-histogram thresholds harvest, E-NXG-1..16, expansion plan v1

.claude/board/AGENT_LOG.md

@@ -1,3 +1,12 @@
+## 2026-09-05 — Sonnet harvest fleet (4 readers + 7 PR sweepers), orchestrator-consolidated → `.claude/nexgen/`
+
+- **Why:** operator asked how HDR popcount-stacking, rolling floor, Prozentrang buckets, Mexican hat, Shannon, proprioception, EWA sandwich and sigker could combine with ternlog mask algebra for better thresholds; then asked for the last 50 lance-graph PRs + 25 OGAR + 25 ndarray swept for synergies, epiphanies written to the board, the raw agent output kept, and an expansion plan in the T0..T3 shape "27 rooms ahead".
+- **Fleet (all Sonnet, all read-only, no cargo, no GitHub writes):** 4 `Explore` readers (cascade/rolling-floor/hdr; Prozentrang+Shannon doctrine; proprioception/EWA/Mexican/16k-search/mask surface; sigker+"power kernels"), 7 `general-purpose` sweepers over fixed PR partitions (lance-graph #1126–#1175 in five tens, OGAR #274–#298, ndarray #277–#301) using `pull_request_read` get + get_files. Each agent wrote only its own return; the orchestrator is the sole writer of every board file here.
+- **Outputs:** `.claude/nexgen/harvest/00-INDEX.md` + 11 verbatim reports; `.claude/nexgen/plans/nexgen-mask-histogram-thresholds-v1.md` (D-NXG-1..12, 27-room expansion table with a falsifier per row); EPIPHANIES `E-NXG-1..16`; INTEGRATION_PLANS + STATUS_BOARD rows.
+- **Headline:** the exposure meter is a nested mask set (E-NXG-1); Prozentrang and bucket rollover are unbuilt (E-NXG-2/3); only `TERNLOG 0x86` survives the OGAR #298 retraction (E-NXG-7); "power kernel" does not exist (E-NXG-15).
+- **Not done, on purpose:** no code, no bench, no removal or demotion of any public surface (operator ruling 2026-09-04 stands). The plan sits under `.claude/nexgen/plans/`, outside `supersession_index.py`'s scan path — recorded in the plan header.
+- **Gates:** board append-only check (line counts grew), supersession index regenerated last.
+
 ## 2026-09-03 — 5+3 COUNCIL on the canon entries that shipped unreviewed (#1154)
 
 - **Why convened:** three EPIPHANIES entries + two source-doc blocks sat on an OPEN PR that neither review bot had seen (Codex reviewed only `a1c9488e`; CodeRabbit at its org spend cap). EPIPHANIES is append-only, so this was the last moment the text was amendable rather than permanent-with-regrade — the card's "a spec whose wrong resolution silently corrupts downstream sessions (canon entries)". CI status, merge mechanics and the spend decision were explicitly EXCLUDED from the object.

.claude/board/EPIPHANIES.md

@@ -1,3 +1,179 @@
+## 2026-09-05 — E-NXG-1 — the exposure meter is a nested mask set
+
+**Status:** PROPOSAL (design reading of measured code; no code changed).
+**Confidence:** High on the identity, unmeasured on the cost.
+
+Foveal ⊆ Near ⊆ Good ⊆ Weak (`ndarray/src/hpc/cascade.rs:162-176`) are four
+row masks of 8 KB each at 65 536 rows; the histogram is four popcounts; bucket
+i is `M_i ∧ ¬M_{i−1}` = `vpternlogq` immediate `AND_ANDNOT2 = 0x10`
+(`ndarray/src/simd.rs`), one instruction per 512 rows. Belichtungsmesser,
+Prozentrang, Mexican hat, basin and the mask slab cache are one sealed object.
+Plan: `.claude/nexgen/plans/nexgen-mask-histogram-thresholds-v1.md` (D-NXG-1).
+Harvest: `.claude/nexgen/harvest/01-*.md`.
+
+## 2026-09-05 — E-NXG-2 — Prozentrang exists only in doctrine; in code nothing ranks against a live distribution
+
+**Status:** FINDING (grep + read, `.claude/nexgen/harvest/02-*.md`).
+**Confidence:** High.
+
+`observer-effect-tfpn-doctrine.md` §2 mandates `shape × rank`; D-BLW-5 designs a
+16-bucket Fisher-2z histogram; `ndarray::hpc::statistics::percentile` is a batch
+sort. No live rank mechanism exists. Under E-NXG-1 rank = index of the innermost
+band mask containing the row — a partition point over nested masks, no sort
+(D-NXG-4).
+
+## 2026-09-05 — E-NXG-3 — bucket rollover exists nowhere; it is a popcount test plus a mask split
+
+**Status:** FINDING on the absence; PROPOSAL on the mechanism.
+**Confidence:** High / unmeasured.
+
+The only mentions are the two "lacking proper bucket rollover" module-doc
+bullets in `crates/lance-graph-contract/src/legacy_outliers.rs` ("it saturates
+silently. Give it rollover, or narrow it") and
+`crates/lance-graph-contract/src/identity_quad.rs` (the codebook refuses to
+exceed capacity "rather than saturating silently").
+Mechanism: when `popcount(M_i ∧ ¬M_{i−1})` exceeds budget, bisect that bucket on
+the distance column (the one non-mask read) and mint the new boundary as a new
+version-keyed mask; old masks are never rewritten (D-NXG-5). Merge on collapse is
+the dual: drop a boundary, the merged mask is already `M_{i+1}`.
+
+## 2026-09-05 — E-NXG-4 — `mu + kσ` is the wrong operating threshold and the code already says so
+
+**Status:** FINDING (code cites the objection to itself).
+**Confidence:** High.
+
+`cascade.rs:137` fixes `k=3`; `perturbation-sim/src/rolling_floor.rs:25-27`
+states the σ is from a weakly-dependent sample and "significance is the Jirak
+`n^(p/2−1)` rate, not a clean Gaussian tail". Under E-NXG-1 the reject floor is
+the boundary at a chosen empirical rank read off cumulative popcounts; σ becomes
+`RollingFloor::z()` diagnostic output (D-NXG-6). Cross-ref I-NOISE-FLOOR-JIRAK.
+
+## 2026-09-05 — E-NXG-5 — preheat by mask inheritance beats copying mu/σ
+
+**Status:** PROPOSAL.
+**Confidence:** Medium (strictly more information for one AND; cost unmeasured).
+
+`stack_early_exit()` (`rolling_floor.rs:230-235`) preheats a cold fine tier by
+copying two scalars from the coarse tier. `M_fine_domain = M_coarse[weak]`
+carries the whole survivor set and the coarse histogram restricted to it, for one
+`AND3` (D-NXG-7).
+
+## 2026-09-05 — E-NXG-6 — early exit is a popcount budget; search and alarm are one rule
+
+**Status:** PROPOSAL.
+**Confidence:** Medium.
+
+First-Alarm exit (`rolling_floor.rs:239-247`) and kth-best tightening
+(`holograph/src/width_16k/search.rs:483`) are one rule:
+`popcount(survivors) ≤ k`. Top-k with k = floor is the rolling floor (D-NXG-8).
+
+## 2026-09-05 — E-NXG-7 — only `TERNLOG = FnIndex(0x86)` survives, and only because its value byte is the truth table
+
+**Status:** FINDING (OGAR #296/#298, lance-graph #1134/#1159).
+**Confidence:** High.
+
+OGAR #298 retracted 0x87–0x8B because one band aliased three semantic families
+(`E-SIX-SEMANTIC-FAMILIES-MUST-NOT-IMPERSONATE-EACH-OTHER-1`). INFO_GAIN /
+SIGMA_TENSION / STANCE_ENTROPY return only as DERIVED reads over single-family
+masks, never as minted calls. Any derived read that must AND masks from two
+families is a violation at the seal.
+
+## 2026-09-05 — E-NXG-8 — the eight named immediates already have cognitive homes
+
+**Status:** FINDING (mapping of shipped code).
+**Confidence:** High on the mapping.
+
+`AND3` = conjunctive narrowing (`lgj_hop`, shipped); `AND_ANDNOT2` = bucket /
+annulus / known-false (`domain ∧ ¬result`); `MAJ3` = quorum
+(`jc::quorum::pairwise_agreement_u8`, `superposition_clean` n/2 vote at
+`hdr_cascade.rs:564`); `XOR3` = disagreement (`EpistemicBassin24` agree/disagree
+pair, #1129), sign side only per the TWO-ALGEBRA rule; `OR2_AND` = gated
+hypothesis union for the prefetch frontier.
+
+## 2026-09-05 — E-NXG-9 — histogram entropy is a free threshold-health signal
+
+**Status:** PROPOSAL over ruled primitives.
+**Confidence:** Medium.
+
+`H(popcounts)` via `thought_atoms::normalized_entropy` (ruled home, #1153/#1154;
+popcount-histogram form already at `spectroscopy/features.rs:89`). Near zero
+means one band holds everything: the threshold is mis-set or rollover is
+overdue. Rollover becomes entropy-timed, not budget-timed (D-NXG-9).
+
+## 2026-09-05 — E-NXG-10 — the Mexican hat has no certified shape
+
+**Status:** FINDING.
+**Confidence:** High.
+
+`hdr_cascade.rs:128-141` is a piecewise-linear ramp; Pillar-15
+(`ndarray/src/hpc/pillar/mexican_hat.rs:111`) is DEFERRED and returns a
+placeholder `passed=true`. Under E-NXG-1 excite/inhibit are two band boundaries,
+κ ∈ [1.5, 3.0] is a ratio of ranks that rollover keeps in band, and unimodality
+is a finite check on the discrete histogram at seal time (D-NXG-10).
+
+## 2026-09-05 — E-NXG-11 — the EWA sandwich is the floor's covariance, but uncalibrated
+
+**Status:** FINDING on the blocker; PROPOSAL on the use.
+**Confidence:** High / Medium.
+
+Adjacent tiers are correlated (Jirak note). A 2×2 `Σ' = MΣM` per tier pair
+(`contract::sigma_propagation::ewa_sandwich` ≡ `jc::ewa_sandwich`, byte-identical
+per #1160) replaces "copy σ down" with PSD-safe propagation. Blocker:
+`PILLAR_6_PSD_THRESHOLD` was lowered to 0.10 because `SIGMA_STEP = 0.2` reaches
+denormal in <30 hops (`ewa_sandwich_2d.rs:53-58`). D-NXG-11 is Blocked on that
+calibration.
+
+## 2026-09-05 — E-NXG-12 — proprioception violates the payload law as written
+
+**Status:** FINDING.
+**Confidence:** High.
+
+`contract/src/proprioception.rs` classifies by nearest-anchor distance over an
+11-dim vector — a raw scalar, the shape the payload law forbids. Under
+E-NXG-1 each anchor is a band over the window; state = popcounts × rank;
+`drive_ratio` cutoffs 1.0 / 1.8 become boundaries with rollover.
+
+## 2026-09-05 — E-NXG-13 — the ownership and iteration shapes already exist in OGAR
+
+**Status:** FINDING.
+**Confidence:** High.
+
+`BasinCodebookBuilder::seal()` (OGAR #295: build, freeze, no `&mut` after) is the
+slab's ownership shape; inline `[u64;3]` `CallMask` + `set_indices()` (OGAR #288)
+is its iteration shape; `resolve(0) → None` (`ogar-loco/src/basin.rs`) becomes
+"an absent band mask misses". A basin is a band.
+
+## 2026-09-05 — E-NXG-14 — sigker has no row-level mask link and should not; the link is one level up
+
+**Status:** FINDING on the absence; CONJECTURE on the use.
+**Confidence:** High / Low.
+
+No mask/popcount/HDR reference exists in `crates/sigker` or the W1.5 plan
+(`.claude/nexgen/harvest/04-*.md`). A signature is over a path, not a row set.
+The per-tier survivor-popcount sequence is a length-4 path in ℝ⁴;
+`signature_kernel_pde` on two such paths is an order-sensitive query-narrowing
+similarity for the prefetch planner. Untested.
+
+## 2026-09-05 — E-NXG-15 — "power kernel" does not exist in either workspace
+
+**Status:** FINDING (grep).
+**Confidence:** High.
+
+Only unrelated power iteration (PCA in `ndarray/bf16_test_src/main.rs:1029`,
+PageRank in `arigraph/ppr.rs:30`, SVD in `bgz-tensor/src/matryoshka.rs:304`).
+Recorded so the term is not re-searched.
+
+## 2026-09-05 — E-NXG-16 — what is not free
+
+**Status:** FINDING (cost ledger for E-NXG-1..15).
+**Confidence:** High.
+
+Popcount-derived selectivity assumes operand independence (the overlap matrix
+`popcount(M_a ∧ M_b)` is the fix, D-NXG-12). 16 bands × 8 KB per histogram per
+version hot; a u8 rank column is the cold form. Rollover bisection reads the
+distance column. Nothing is measured; `columnar_hop_bench` is the only bench in
+scope. Evidence trail for all sixteen entries: `.claude/nexgen/harvest/`.
+
 ## 2026-09-04 — E-A-SKETCH-THAT-MISSED-TWICE-WILL-MISS-A-THIRD-TIME-1 — the W1.5 lane-type sketches are 3-for-3 wrong
 
 **Status:** FINDING (read directly off `crates/sigker` source this session).

.claude/board/INTEGRATION_PLANS.md

@@ -1,3 +1,18 @@
+## 2026-09-05 — `nexgen-mask-histogram-thresholds-v1` (PROPOSAL) — lives under `.claude/nexgen/plans/`
+
+`.claude/nexgen/plans/nexgen-mask-histogram-thresholds-v1.md`. D-NXG-1..12. The
+Belichtungsmesser reading as a nested mask set: bands, buckets, Prozentrang,
+rollover, reject floor, preheat, early exit, Mexican hat, entropy timer, EWA
+covariance and the prefetch overlap matrix as reads of one sealed,
+version-keyed `NestedBands` per (classid, version). §2 gives the T0..T3
+entropy shape (what each membrane stops having to name); §3 is a 27-row
+"rooms ahead" table, each row a folded consequence with its own falsifier; §5
+sequences three probes before any of rooms 4–27 may leave PROPOSAL. Evidence:
+`.claude/nexgen/harvest/` (11 verbatim Sonnet reports, 2026-09-05). Board:
+`E-NXG-1..16`. Not in `.claude/plans/`, so invisible to the supersession
+index's coverage column — stated in the plan header, not a gap to "fix" by
+moving it until the folder earns a second plan.
+
 ## 2026-09-03 — `probe-r2il-live-regfile-v1` (PROBE, GREEN 2026-08-26) — BACKFILLED INDEX ENTRY
 
 `.claude/plans/probe-r2il-live-regfile-v1.md`. The executable falsifier for

.claude/board/STATUS_BOARD.md

@@ -1,3 +1,23 @@
+## nexgen-mask-histogram-thresholds-v1 (PROPOSAL, 2026-09-05)
+
+`.claude/nexgen/plans/nexgen-mask-histogram-thresholds-v1.md`. Nothing built;
+every row is Queued until PROBE-NXG-HIST-1 / ROLL-1 / FLOOR-1 (plan §5) run.
+
+| D-id | deliverable | status |
+|---|---|---|
+| D-NXG-1 | `NestedBands` sealed shape (T2), version-keyed, one owner | Queued |
+| D-NXG-2 | T1 name audit: `popcount_words` present or minted; bucket = `mask_ternlog::<0x10>` by name | Queued |
+| D-NXG-3 | T1 `bisect_column_by_mask` partial-popcount bisection | Queued |
+| D-NXG-4 | Prozentrang = bucket index; `shape × rank` computed from the slab | Queued |
+| D-NXG-5 | rollover: split on budget or entropy, merge on collapse, never rewrite | Queued |
+| D-NXG-6 | rank-derived reject floor; σ demoted to diagnostic | Queued |
+| D-NXG-7 | preheat by mask inheritance | Queued |
+| D-NXG-8 | one early-exit rule for search and alarm | Queued |
+| D-NXG-9 | histogram entropy via `thought_atoms::normalized_entropy` as rollover timer | Queued |
+| D-NXG-10 | Mexican hat as two boundaries; Pillar-15 on the histogram | Queued |
+| D-NXG-11 | EWA sandwich on histogram-recovered Σ | **Blocked** on Pillar-6 σ_step calibration (`ewa_sandwich_2d.rs:53-58`) |
+| D-NXG-12 | overlap matrix + corrected prefetch order + mask-native quorum input | Queued |
+
 ## probe-r2il-live-regfile-v1 (D-ids minted 2026-09-03; the plan shipped 2026-08-26)
 
 `.claude/plans/probe-r2il-live-regfile-v1.md`. The falsifier for the EXECUTABLE

.claude/nexgen/README.md

@@ -0,0 +1,16 @@
+# .claude/nexgen — next-generation architecture harvest + expansion plans
+
+Created 2026-09-05. Two folders:
+
+- `harvest/` — verbatim reports from the read-only Sonnet reader/sweeper agents
+  spawned on 2026-09-05 (4 code/doctrine readers, 7 PR sweepers: lance-graph
+  #1126–#1175, OGAR #274–#298, ndarray #277–#301). These are RAW agent output,
+  kept as evidence; nothing in here is ruled. Each file names its scope.
+- `plans/` — expansion plans derived from the harvest. Each plan carries D-ids
+  and is indexed in `.claude/board/INTEGRATION_PLANS.md` like any other plan.
+
+The consolidated epiphanies live on the board
+(`.claude/board/EPIPHANIES.md`, 2026-09-05 block, `E-NXG-*`), not here. This
+folder is the working set behind them.
+
+Reading order: `harvest/00-INDEX.md` → the plan → the board block.

.claude/nexgen/harvest/00-INDEX.md

@@ -0,0 +1,25 @@
+# Harvest index — 2026-09-05
+
+Topic hunted: a per-mailbox, Lance-version-keyed slab cache of row masks + an
+index mask over predicate space; ternlog mask algebra; HDR popcount-stacking
+early-exit cascade (Belichtungsmesser, rolling floor, preheat, bands);
+Prozentrang / bucket-rank payload law; Mexican-hat threshold curve; Shannon
+entropy primitives; proprioception anchors; EWA/temporal sandwich SPD
+certification; sigker signature kernels; basins (zero ladder).
+
+| file | agent | scope |
+|---|---|---|
+| `01-cascade-rolling-floor-hdr.md` | Sonnet reader | `ndarray/src/hpc/cascade.rs`, `perturbation-sim/src/rolling_floor.rs`, `holograph/src/hdr_cascade.rs` |
+| `02-prozentrang-shannon-doctrine.md` | Sonnet reader | payload law, Shannon primitives census, bucket-rollover absence |
+| `03-proprioception-ewa-mexican-mask-surface.md` | Sonnet reader | `proprioception.rs`, pillars 6/8/15, `width_16k/search.rs`, `simd_int_ops.rs` mask surface |
+| `04-sigker-power-kernels.md` | Sonnet reader | sigker crate, W1.5 primitives, Pillar 11 gate, "power kernel" absence |
+| `10-pr-sweep-lance-graph-1175-1166.md` | Sonnet sweeper | 10 PRs |
+| `11-pr-sweep-lance-graph-1165-1156.md` | Sonnet sweeper | 10 PRs |
+| `12-pr-sweep-lance-graph-1155-1146.md` | Sonnet sweeper | 10 PRs |
+| `13-pr-sweep-lance-graph-1145-1136.md` | Sonnet sweeper | 10 PRs |
+| `14-pr-sweep-lance-graph-1135-1126.md` | Sonnet sweeper | 10 PRs |
+| `15-pr-sweep-ogar-298-274.md` | Sonnet sweeper | 25 PRs |
+| `16-pr-sweep-ndarray-301-277.md` | Sonnet sweeper | 25 PRs |
+
+All agents were read-only (no edits, no cargo, no GitHub writes). Line numbers
+are as of the branch heads on 2026-09-05 and decay under every prepend.