D-GSO-5: first recipe quartet over existing primitives (P5)

.claude/board/STATUS_BOARD.md

@@ -26,12 +26,12 @@ Plan: `.claude/plans/2026-10-06-global-sudoku-replayable-orchestration-v1.md`. O
 
 | D-id | scope | status | gate / falsifier |
 |---|---|---|---|
-| **D-GSO-0** | P0: the wiring map itself (layers, exemplars #1336/#1337/#1342/#1343, guardrails, falsifiers) | In PR (#1345) | docs only; no ABI change |
-| **D-GSO-1** | P1: make the #1344 DAV × EWA × revision probe causally end-to-end | In PR (#1344) | bypassing the revision leg must change or fail the replay result (plan §14) |
+| **D-GSO-0** | P0: the wiring map itself (layers, exemplars #1336/#1337/#1342/#1343, guardrails, falsifiers) | Shipped (#1345) | docs only; no ABI change |
+| **D-GSO-1** | P1: make the #1344 DAV × EWA × revision probe causally end-to-end | Shipped (#1344) | bypassing the revision leg must change or fail the replay result (plan §14) |
 | **D-GSO-2** | P2: one-hop Moore local-plasticity probe (neighbour mask → ordinal → 8:8 relation → immediate fold) | Shipped (#1346) | `cognitive-shader-driver/examples/moore_plasticity_probe.rs` over `Register128` (4 × 4) with the existing `PalettePerturbation::hop`; 6 tests (mask = geometry, 84 visits; fold = pair-list oracle; synchronous; gate; one hop; replay), 4 disable runs red |
 | **D-GSO-3** | P3: global ontology agreement/disagreement probe (mammal fixture) | Shipped (#1350) | `cognitive-shader-driver/examples/ontology_agreement_probe.rs`: `NiblePath` hierarchy + `ontology_warrant::Quorum`/`SourceVerdict` folded per observation into local (self + siblings), up (ancestors), down (descendants); binary-entropy tension; all four cells + unknown reached; 6 tests, 5 disable runs red |
-| **D-GSO-4** | P4: entropy × topology routing probe | In PR | `cognitive-shader-driver/examples/entropy_topology_probe.rs` = F-ECG-1 and F-ECG-2 at probe level (F-ECG-3 open: no real corpus carries topology bits yet): bits 59..60 read through `BandDeclarations::project_truth` (topology lens, asserted provenance), known-share census as competence, `SettlementSignals::cell`, §4b walker route; equal measured entropy (0.8167 bits) → Crystal vs Glass; 6 tests, 4 disable runs red |
-| **D-GSO-5** | P5: first recipe quartet over existing primitives | Queued | no instruction vector; ordinal meanings not canonized |
+| **D-GSO-4** | P4: entropy × topology routing probe | Shipped (#1351) | `cognitive-shader-driver/examples/entropy_topology_probe.rs` = F-ECG-1 and F-ECG-2 at probe level (F-ECG-3 open: no real corpus carries topology bits yet): bits 59..60 read through `BandDeclarations::project_truth` (topology lens, asserted provenance), known-share census as competence, `SettlementSignals::cell`, §4b walker route; equal measured entropy (0.8167 bits) → Crystal vs Glass; 6 tests, 4 disable runs red |
+| **D-GSO-5** | P5: first recipe quartet over existing primitives | In PR | `cognitive-shader-driver/examples/recipe_quartet_probe.rs`: four `match`-arm recipes over `Quorum::observe`, `Quad8::fold_product`, `Morton8x8` + `PalettePerturbation::hop`, `GadamerRevision::revise` (verdict left `NotRun`: removing the new roots is tautological, so the counterfactual moves to P7); a thread-local counting allocator shows zero allocations per recipe (no instruction vector); `ProbeRecipe` is its own type, not a shipped `recipes` ID; ordinal meanings not canonized; no Pearl projection (P7) and no selector (P6); 7 tests, 6 disable runs red |
 | **D-GSO-6** | P6: deterministic, versioned recipe selector | Queued | same replay identity ⇒ same recipe |
 | **D-GSO-7** | P7: reasoning-band earning and downgrade | Queued | association cannot skip to causal permission; contradicting evidence lowers it; replayable |
 | **D-GSO-8** | P8: seal boundary | Queued | replay from the prior seal reproduces the next seal |

crates/cognitive-shader-driver/Cargo.toml

@@ -43,7 +43,7 @@ test = true
 name = "ontology_agreement_probe"
 test = true
 
-# D-GSO-4 probe (F-ECG-1..3); tests run under the crate's `cargo test`.
+# D-GSO-4 probe (F-ECG-1/2); tests run under the crate's `cargo test`.
 [[example]]
 name = "entropy_topology_probe"
 test = true
@@ -53,6 +53,11 @@ test = true
 name = "fieldless_local_interaction_probe"
 test = true
 
+# D-GSO-5 recipe quartet probe; tests run under `cargo test`.
+[[example]]
+name = "recipe_quartet_probe"
+test = true
+
 [dependencies]
 lance-graph-contract = { path = "../lance-graph-contract" }
 # Read-only ontology registry (Phase 7, v4 plan). default-features = false so the

crates/cognitive-shader-driver/examples/README.md

@@ -90,3 +90,20 @@ calibrated bytes.
 ```bash
 cargo run -p cognitive-shader-driver --example fieldless_local_interaction_probe
 ```
+
+## recipe_quartet_probe.rs
+
+D-GSO-5 (plan §18 P5). Four recipes, each a `match` arm that calls one
+existing primitive directly: observe/fold (`Quorum::observe`), finite-product
+interrogation (`Quad8::fold_product`), Moore interrogation
+(`Morton8x8::checked_offset` + `PalettePerturbation::hop` over `Register128`),
+and revision (`GadamerRevision::revise`). R3 claims no counterfactual: removing
+an encounter's new roots always defeats eligibility, so that attack tests
+nothing; a real one needs root-to-claim structure (P7).
+A counting allocator shows each recipe runs with zero allocations, so no
+instruction vector is built. The ordinal meanings are a scaffold, not canon,
+and `ProbeRecipe` is not a shipped `recipes::Recipe` ID.
+
+```bash
+cargo run -p cognitive-shader-driver --example recipe_quartet_probe
+```