docs(board): record #924 — the 0-of-11 spec audit and the ACTIVE plan

.claude/board/LATEST_STATE.md

@@ -1,3 +1,13 @@
+## 2026-08-11 — lance-graph #924 (MERGED) — evaluation plan ACTIVE after a 0-of-11 spec audit
+
+### Current Contract Inventory — no new types (plan + audit + corrections)
+
+- **`.claude/plans/weather-substrate-evaluation-v1.md` is now ACTIVE** (audited 2026-08-11, §8). §3 carries **v2, post-audit** specs — every v1 spec had failed. Read §8 before citing any EV.
+- **The audit's shape is the headline:** **22 of 24** KNOWN claims CONFIRMED with `file:line`, **0 of 11** EV specs SOUND. Reliable about *what is*, unreliable about *what would falsify* — banked as `E-ZERO-FOR-ELEVEN-THE-AUTHOR-CANNOT-AUDIT-HIS-OWN-FALSIFIERS-1`. **Pre-registration review by independent adversarial readers is load-bearing, not ceremony.**
+- **Two `[G]` ledger corrections:** the bitboard primitives are at **`ndarray/src/bitwise.rs`**, not `src/hpc/`; and **a SPRITE moves for 2 bytes, not the field** — `morton_shift_motion_probe` legA rigid-translates a 24×24 sprite within a 256×256 field, toroidally (§12.18 corrects §12.16; whole-field advection is one `(dx,dy)` **per tile**, which is what EV-1 actually tests).
+- **Status of the queue:** EV-1..EV-10 all **Queued, none RUN** — a v2 spec is *audited*, not *validated*. **EV-9 (Wave 0) needs no data** and closes the only two `[H]` rows (K-12/K-13, whose scratch reproducers were deleted). Everything else in Wave 1 waits on one `fetch.py` re-fetch; Wave 2 is the 16k×16k scale run.
+- **Still open, operator calls:** D-1 noise floor · D-2 saturation window · D-3 `from_bearing` API · D-4 dormant-lane fix shape · D-5 helix CI wiring · D-6 harness-of-record.
+
 ## 2026-08-11 — lance-graph #923 (MERGED) — the evaluation plan + `DistanceLut::circular()`
 
 ### Current Contract Inventory — one new public constructor; one new plan

.claude/board/PR_ARC_INVENTORY.md

@@ -1,3 +1,15 @@
+## 2026-08-11 — lance-graph #924 (MERGED) — the audit that failed 11 of 11 test specs, and the plan it made ACTIVE
+
+- **Added.** `weather-substrate-evaluation-v1.md` **§8 audit record** + a full **§3 rewrite to v2 specs**; the plan header flips **DRAFT → ACTIVE**. Knowledge doc **§12.18**. EPIPHANIES `E-ZERO-FOR-ELEVEN-THE-AUTHOR-CANNOT-AUDIT-HIS-OWN-FALSIFIERS-1`. `AGENT_LOG` run entry. Board hygiene for #923.
+- **The audit** (13 agents — 7 Sonnet source-verifiers + 6 Opus falsifier-auditors; 13/13 completed, 0 errors, ~4.42 M subagent tokens, 165 tool calls, ~20 min; run `wf_99d677e6-b45`).
+- **Locked — the meta-finding.** **Pre-registration review by independent adversarial readers is load-bearing, not ceremony.** The pass split sharply by KIND of statement: **22 of 24** KNOWN claims CONFIRMED against source with `file:line` (2 PARTIAL, corrected), but **0 of 11** EV test specs SOUND (10 VACUOUS, 1 UNDERSPECIFIED). The author was reliable about **what IS** and near-uniformly unreliable about **what would FALSIFY** — one document after being corrected through §12.10–§12.17 for exactly these modes, and citing the falsifiability rule *inside the specs themselves*. **A spec's author is structurally the wrong person to find its vacuous pass routes**; same-author review had already failed measurably once this arc (§12.10 announced the right frame and shipped the wrong one).
+- **Corrections to the KNOWN ledger `[G]`.** **K-23** — the bitboard primitives live at `ndarray/src/bitwise.rs` (`lib.rs:290`; fns at `:280/:286/:201`), **not** `src/hpc/bitwise.rs`. **K-21** — *"whole-field shift" OVERSTATES*: `morton_shift_motion_probe.rs` legA rigid-translates a **24×24 `Sprite` within a 256×256 field** via one `(dx,dy)` address-delta (bit-exact vs ground-truth re-render, genuinely O(1) in sprite pixels), and the shift is **toroidal** (`wrapping_add` per lane) with a separate clipped helper. §12.16's *"2 bytes moves the whole field"* is corrected by **§12.18**: 2 bytes moves one sprite/tile; whole-field advection is one `(dx,dy)` **per tile**. legB/legC verified exact. Independently re-proven in passing: K-25's absence (zero `value_offset(ValueTenant::HelixResidue)` callers anywhere; `mailbox_scan.rs:237-240` documents the Signed360 tier as *"named; wired as they land"*).
+- **The 11 spec defects, by class** (each a house classic reborn): identity-comparison silence half (EV-1 — the shift rounds to 0 below 3.86 m/s, so calm tiles compared the field to ITSELF); arithmetic-tautology silence half (EV-2 — `circular == linear` for `|a−b| ≤ 128`, and a 90° sector spans 64 indices); `count > 0` implied by sampling design (EV-2 — the `elimination_rate()` defect verbatim); guard pre-satisfied by committed data (EV-3); monotone-but-dead-knob (EV-4 — a constant curve is monotone, which is exactly what a parameter that never reaches the code produces); fixture that **404s at the pinned timestep** feeding a pipeline whose anomaly step **destroys the bound-mass under test**, with Kelvin floors on a dimensionless field (EV-5); an *"exact to 1e-4"* gate over **3-sig-fig prose constants AND Monte-Carlo statistics** — the rounding incident rebuilt inside the gate (EV-6); a claim naming top-k with **no criterion touching top-k** (EV-7a); author-satisfiable anti-vacuity (EV-7a); an instrument its own citation bans, plus a 2-arm design that could only prove divisor-vs-coprime arithmetic (EV-7b); a pass criterion that **cannot fail** plus the wrong `n` (EV-8 — 200 000 sampled pairs, not the 1 038 240 grid); assertions implied by their own subject (EV-9); a **stale-fixture route where a "winter" run re-measures summer bytes** (EV-10 — `fetch_bg.py` hardcodes `t` and skips-if-exists); and a physical-constant error creating a false-fail route (EV-1 — missing `cos(lat)`, wrong by up to **2.6×** exactly where winds are strong).
+- **Deferred.** EV-1..EV-10 remain **Queued** — the v2 specs are audited, none has RUN. D-1..D-6 open. The `[H]` rows (K-12/K-13) still lack a committed reproducer; **EV-9 (Wave 0) needs no data and is the unblocked next move**. Dormant-lane defect filed, not fixed. `helix` still in no CI (`[G-absence]`, D-5).
+- **Docs.** Plan §3 (v2) + §8; knowledge §12.18; EPIPHANIES `E-ZERO-FOR-ELEVEN-…-1`; `AGENT_LOG` (sole-writer rule observed — agents wrote no board file; the orchestrator consolidated).
+
+**Confidence (2026-08-11):** merged. The audit's verify half is `[G]` (source quotes); its attack half is a **design review, not a measurement** — a v2 spec is *audited*, not *validated*, and validation is the probe run itself. The plan is ACTIVE with **zero EVs executed**.
+
 ## 2026-08-11 — lance-graph #923 (MERGED) — the evaluation plan (KNOWN vs TO TEST), `DistanceLut::circular()`, and the two verdict inversions that reshaped both
 
 - **Added.** `.claude/plans/weather-substrate-evaluation-v1.md` — the arc's known-vs-test ledger: **§1 KNOWN K-1..K-25** each with `file:line` and an honest grade (`[G]` / `[G-session]` probe-source-committed-fixture-fetched / `[H]` measured-but-no-committed-reproducer / `[G-absence]`), **§2** the honesty split naming the only two `[H]` rows, **§3 EV-1..EV-10** in three waves, **§4** wave gating, **§5** the D-1..D-6 operator decision register. `DistanceLut::circular()` + 3 tests (`crates/helix/src/distance.rs`). Knowledge-doc §12.14–§12.17. Three EPIPHANIES entries.

.claude/board/STATUS_BOARD.md

@@ -1,3 +1,11 @@
+## 2026-08-11 — EV queue re-graded to v2 specs (post-audit; rows below unchanged in STATUS)
+
+All eleven EV rows in the block below still read **Queued** — correctly, none has
+run. But their **specifications are now v2**: the 13-agent pre-registration audit
+(plan §8) found **0 of 11 v1 specs sound** and every one was rewritten. Cite the
+plan's §3 v2 text, never the v1 shape summarized in the row descriptions.
+**EV-9 is Wave 0 and unblocked** (no data needed).
+
 ## weather-substrate-evaluation-v1 — EV queue (PRE-REGISTERED 2026-08-11)
 
 Plan: `.claude/plans/weather-substrate-evaluation-v1.md` (known-vs-test ledger;

.gitignore

@@ -105,3 +105,10 @@ crates/lance-graph-planner/examples/data/rosetta/*
 # Main was left holding the measurement receipts while the instruments that
 # produced them lived on another branch. Reproducibility is not a per-PR
 # size concern; the generators are permanent. Do not re-add such a block.
+
+# Weather-probe fixtures — FETCHED, never committed (evaluation plan §0).
+# 36 MB of ERA5 slabs; re-fetch with probes/weather-p1/fetch.py. The manifest
+# IS committed as provenance (time_index / shape / nonfinite / min / max), so a
+# fresh clone can verify which bytes a recorded result was produced from.
+probes/weather-p1/fixture/**/*.npy
+probes/weather-p1/fixture/*.npy

crates/helix/Cargo.toml

@@ -32,3 +32,12 @@ name = "prove_residue"
 # Cargo.toml `exclude` so workspace-wide commands never pull it into the
 # deterministic main compile graph.
 [workspace]
+
+# EV-7b carries its pre-registered bars as `#[cfg(test)] mod tests`. Cargo's
+# default for an [[example]] target is `test = false`, so without this stanza
+# `cargo test` BUILDS the example and silently runs NONE of its 11 tests —
+# measured: 0 `test tests::` lines under a plain `cargo test`. The bars would
+# be decoration. (PP-13/PP-15 P0, wave wf_daae6e63-d39.)
+[[example]]
+name = "ev7b_comma_antimoire"
+test = true