KB-3E53
RP Dynamic Drill Grouping — 04 Proof Matrix v2
2 min read Revision 1
proof-matrix-v2track-crp-dynamic-drill2026-06-05
04 — Proof Matrix v2 (Track C)
v_rp_dynamic_drill_proof_matrix_v2 — 26 cases, live-computed (not asserted).
| Group | Cases | Verdict |
|---|---|---|
| Original v1 cases (carried forward verbatim) | 12 | PASS |
| Grouped PXT nodes (live from grouping surface) | 10 | PASS |
| Empty-substrate candidates (live) | 2 | PASS_WITH_EXPECTED_BLOCKER |
| Authority-blocked exemplars (PROC:official_rp, PROC:jobcut_verified) | 2 | PASS_WITH_EXPECTED_BLOCKER |
| Total | 26 | 22 PASS / 4 EXPECTED_BLOCKER / 0 FAIL |
Verdict semantics (no fake-green)
- PASS — drill capability proven end-to-end (Layer 1 → drill while count>1 →
substrate). Grouped PXT nodes pass because DRILL_GROUPS now reaches real
children then substrate; owner blockers remain in
warning_flagsas status. - PASS_WITH_EXPECTED_BLOCKER — UI correctly renders the node, but the object is blocked by authority (no president vote / owner) or empty-by-design. The UI behaviour is correct; the blocker is real and shown, not hidden.
- FAIL — none.
Representative new cases
V2-GRP-TRIG:db_dml_trigger— count 408 → DRILL_GROUPS into 177 groups → SHOW_SUBSTRATE. PASS. warning: BLOCKED_OWNER (review-only infra), LARGE_GROUP.V2-GRP-PROC:new_candidates— 6 candidate groups (50 members). PASS.V2-EMPTY-WPC-UNCLASSIFIED— count 0, SHOW_EMPTY_BANNER, EXPECTED_EMPTY_EVIDENCE_GATED_CATCHALL, NOT_A_JOIN_BUG. EXPECTED_BLOCKER.V2-BLK-PROC:official_rp— BLOCKED_NO_PRESIDENT_VOTE shown as status. EXPECTED_BLOCKER.
Live tally (dual-path): 26 | 22 | 4 | 0.