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.

Back to Knowledge Hub knowledge/dev/reports/architecture/rp-count-substrate-fix-registryization-generator-fullpop-v2-2026-06-05/07-computed-proof-v2.md