D-FOUNDRY-PARITY-1: evidence matrix + 64-store read-only operational lab (DT64 + mask-RISC)

.claude/board/INTEGRATION_PLANS.md

@@ -1,3 +1,8 @@
+## 2026-11-10 — D-FOUNDRY-PARITY-1: DR × DT64 as an operational ontology → `.claude/plans/foundry-parity-v1.md`
+
+**Status:** ACTIVE; Level R lab landed (`crates/foundry-parity-lab`). Evidence matrix over 18 Foundry capability rows, missing-contract register G1–G6, roadmap P0–P5. [entry](entries/2026-11-10-foundry-parity-1-lab.md) · STATUS_BOARD D-FOUNDRY-*.
+**Confidence:** lab MEASURED; every Foundry-side cell is documented capability only (no comparator). No row claims parity.
+
 ## 2026-11-06 — D-LANESOCK: DR × DT64 property-to-lane socket and joint version witness → `.claude/plans/d-lanesock-dr-dt64-lane-socket-v1.md`
 
 **Status:** NORMATIVE SPEC (D-LANESOCK-0); implementation D-LANESOCK-1 is a separate draft PR. **Board:** [STATUS_BOARD](STATUS_BOARD.md) D-LANESOCK. Follows #1964/#1965 and OGAR#371.

.claude/board/STATUS_BOARD.md

@@ -4,6 +4,9 @@ Execution admitted = meaning valid (OGAR/DT64) ∧ representation compatible (DR
 
 | D-id | Deliverable | Status |
 |---|---|---|
+| D-FOUNDRY-PARITY-1 | Foundry parity evidence matrix + 64-store read-only lab (`crates/foundry-parity-lab`): CanCook / CanFulfill / NetworkCapacity / network cost via DT64 `borrow_all` + mask-RISC, oracle + materialized null model, refusals, negative controls | In PR |
+| D-FOUNDRY-G1 | Element-wise cross-lane arithmetic (per-store max / limiting resource / per-store cost) in an admitted operator | Queued (decision needed) |
+| D-FOUNDRY-G2..G6 | IAM in the read path; scenario overlay frame; governed action gate; bound relations; method lowering from `MethodRef` | Queued |
 | D-SC-E1 | `MapTable::map_at` fenced as `diagnose_at` → `MapDiagnostic`; executable maps only via `map(frame)` | Shipped (#1981) |
 | D-SC-E2a | dt64 `CodeTable` (versioned code space, advances the lanes' FrameStore) + quack `bind_typed` / `TypedQuery::admit` (`StaleCodeSpace`, `Unwitnessed`) | In PR |
 | D-SC-E2b | per-owner adoption (`CamLabels`, dir-sim, sap): each real mutation path invalidates stale execution | Queued |

.claude/board/entries/2026-11-10-foundry-parity-1-lab.md

@@ -0,0 +1,31 @@
+# 2026-11-10 — D-FOUNDRY-PARITY-1: 64-store operating network over DT64 + mask-RISC
+
+**Status:** MEASURED (lab, read-only Level R; not production admission). Crate:
+`crates/foundry-parity-lab`. Plan + evidence matrix:
+`.claude/plans/foundry-parity-v1.md`.
+
+**Question.** Can source-owned planes, one DT64 `LaneBinding` and mask-RISC
+programs answer `CanCook` / `CanFulfill` / `NetworkCapacity` / network cost
+over 64 stores × 64 categories with exact oracle parity and correct refusals?
+
+**Answer.** Yes for WHERE-shaped feasibility, fulfilment, network capacity and
+network cost: 16 tests agree with an independent scalar oracle and a
+materialized-object null model; 0 source bytes copied; stale frame, foreign
+scope, other row order, unmapped field, unbound field and out-of-range
+quantity are refused; unknown stock is never read as zero; the denied store
+is reported NotAuthorized. Five disable runs turn the suite red.
+
+**No** for the per-store limiting resource and per-store cost: the admitted
+algebra has no element-wise cross-lane arithmetic (register G1). The
+per-store maximum is reachable only by a layer-cake sweep of monotone masks,
+measured ~15 µs against 1.8 µs for walking already-built objects (which cost
+21 µs and 51 968 B to build). One WHERE question: 470 ns, ~4× cheaper than
+arm A. One VM (Xeon 2.30 GHz, 4 vCPU), median of 41, three runs.
+
+**Not established:** any Foundry parity (no Foundry comparator); production
+IAM (lab stand-in predicate); scenarios through DR (oracle only; no overlay
+frame); actions/writeback (no contract); bound relations (ADMISSION B).
+
+**OPEN:** G1 element-wise arithmetic decision; G2 IAM in the read path; G3
+overlay frame; G4 action gate; G5 bound relations; G6 method lowering from
+`MethodRef`. Scaling past one mask word not measured.

.claude/board/entries/README.md

@@ -25,11 +25,12 @@ index row, (3) no duplicate entry id. Checks 1 and 2 are deliberately
 opposite directions; the stranding this convention prevents shows up in
 exactly one of them, never both.
 
-591 entries, 2026-08-06 .. 2026-11-10.
+592 entries, 2026-08-06 .. 2026-11-10.
 
 | date | entry id | finding | file |
 |---|---|---|---|
 | 2026-11-10 | `lab-resolve-borrow-all` |  | [2026-11-10-lab-resolve-borrow-all.md](2026-11-10-lab-resolve-borrow-all.md) |
+| 2026-11-10 | `D-FOUNDRY-PARITY-1` |  | [2026-11-10-foundry-parity-1-lab.md](2026-11-10-foundry-parity-1-lab.md) |
 | 2026-11-10 | `dt64-lane-borrow-all` |  | [2026-11-10-dt64-lane-borrow-all.md](2026-11-10-dt64-lane-borrow-all.md) |
 | 2026-11-10 | `dt64-int8-facet-stride` |  | [2026-11-10-dt64-int8-facet-stride.md](2026-11-10-dt64-int8-facet-stride.md) |
 | 2026-11-10 | `D-DT64-GEMM-SHAPE-1` |  | [2026-11-10-dt64-gemm-shape.md](2026-11-10-dt64-gemm-shape.md) |