KB-6619

RP Contract Canonical / Registry-Driven / Full-Pop / No-Hardcode — README

3 min read Revision 1

RP Contract Canonical / Registry-Driven / Full-Population / No-Hardcode — Closeout

Date: 2026-06-05 · Mode: EXECUTION · Live mutation: YES (additive, birth-free, reversible) · Verdict: PARTIAL — RP_CONTRACT_CANONICALIZED_REGISTRY_BOUNDED_FULLPOP_GUARDED_WITH_2_REAL_COUNT_FAILS

What this macro did

Moved the Registries-Pivot core contract from "dynamic drill works and count gaps are labeled" to "contract is canonical (_current surfaces), registry-bounded (axis binding), full-population-guarded (invariant), no-hardcode-audited (scorecard), and the remaining hardcode is exactly bounded and measured."

It also found 2 genuine count/substrate reconciliation failures that prior curated proof matrices hid, by computing the proof from a full-population invariant instead of literals.

Headline numbers (dual-path query_pg RO == ssh→docker→psql)

  • Contract population: 87 nodes / 5 axes (AX-BASE 39, AX-PROCESS 22, AX-PXT 12, AX-TOPIC 7, AX-TRIGGER 7).
  • axis_registry: 2 CANDIDATE (AX-PROCESS, AX-TOPIC). Synthetic: AX-BASE, AX-TRIGGER, AX-PXT.
  • Full-population invariant: 81 PASS + 4 PASS_EXPECTED_BLOCKER + 2 FAIL_COUNT_SUBSTRATE_MISMATCH (97.7% pass).
  • Static literals: 1 STALE (PROC:residual_reconcile 8→live 2), 1 STATIC_NO_SOURCE (PROC:owner_gated_runtime 11).
  • Contract divergence: v1 = DEPRECATE_KEEP, v2 = INTERIM, reliability = CURRENT; 10 v1↔v2 drill divergences (v1 stale).
  • Registry-driven readiness: 40% axes registry-backed, 80% literals live, NEEDS_REGISTRYIZATION, 58/87 nodes still require view-edit (synthetic axes).

16 new birth-free views (1 corrected by patch)

Phase 2 v_rp_contract_version_inventory, v_rp_contract_divergence_detector; Phase 3 five *_current aliases; Phase 4 v_rp_axis_source_binding; Phase 5 v_rp_universal_node_ui_contract_registry_driven; Phase 6 v_rp_full_population_drill_invariant; Phase 7 v_rp_dynamic_drill_proof_matrix_computed; Phase 8 v_process_trigger_actionability_ledger_live, v_rp_static_literal_live_mismatch; Phase 9 v_rp_synthetic_axis_status, v_rp_no_hardcode_audit_dashboard, v_rp_registry_driven_readiness_scorecard.

No prod view touched

Every object is NEW (verified absent pre-apply). v1/v2/reliability prod contracts untouched. SQL: /opt/incomex/docs/mcp-writes/rp-contract-canonical-2026-06-05/{01_apply,02_patch_invariant,99_rollback}.sql.

Read order

01 dual-path · 02 divergence map · 03 aliases · 04 axis binding · 05 registry-driven contract · 06 full-pop invariant · 07 computed proof · 08 static literal refactor · 09 no-hardcode dashboard · 10 UI packet · 11 safety audit · 12 final summary · 13 MCP checkpoint.

Back to Knowledge Hub knowledge/dev/reports/architecture/rp-contract-canonical-registry-driven-fullpop-nohardcode-closeout-2026-06-05/00-readme-first.md