KB-6112
07 — Computed Proof Matrix v2
2 min read Revision 1
rpproof-matrixcomputed2026-06-05
07 — Computed Proof Matrix v2
v_rp_dynamic_drill_proof_matrix_computed_v2 is derived 100% from v_rp_full_population_drill_invariant_v2 — no literal PASS. Per-axis + an ALL_AXES rollup, each carrying verdict_is_computed=true, rule_can_structurally_fail=true, fail_demonstrated_in_data.
Result (dual-path verified)
| axis | nodes | pass | exp_blocker | fail | verdict |
|---|---|---|---|---|---|
| AX-BASE | 39 | 39 | 0 | 0 | PASS |
| AX-PROCESS | 22 | 18 | 4 | 0 | PASS_WITH_EXPECTED_BLOCKER |
| AX-PXT | 12 | 12 | 0 | 0 | PASS |
| AX-TOPIC | 7 | 7 | 0 | 0 | PASS |
| AX-TRIGGER | 7 | 7 | 0 | 0 | PASS |
| ALL_AXES | 87 | 83 | 4 | 0 | PASS_WITH_EXPECTED_BLOCKER |
AX-PXT was the FAIL axis in v1 → now 12/12 PASS. fail_demonstrated_in_data=false now (no fails), but rule_can_structurally_fail=true — proven by the regression teeth-test (16) that a reintroduced stale literal still drives the rule to FAIL. Curated proof matrices are retained only as examples, never as source of truth.