KB-5826

06 — Full-Population Drill Invariant Guard

3 min read Revision 1

06 — Full-Population Drill Invariant Guard

v_rp_full_population_drill_invariant — one row for every node in the current contract (87/87), not a curated sample. Each node carries expected_behavior, actual_behavior, reconciliation_basis, grouped_reconciles, count_fanout_ratio, invariant_status, reason, next_action.

Result (full population = 87)

invariant_status count
PASS 81
PASS_EXPECTED_BLOCKER 4
FAIL_COUNT_SUBSTRATE_MISMATCH 2
(all other FAIL_* categories) 0

PASS_EXPECTED_BLOCKER = 4: the 2 official_workflow nodes (drill engineering OK, president vote pending) + 2 EXPECTED_EMPTY component buckets (WPC-MONITOR-BOOTSTRAP, WPC-UNCLASSIFIED).

Root-cause correction (important)

The first cut of the invariant compared child_count to count_value and produced 11 false fails. child_count for GROUPED nodes is the number of group buckets (intentionally < object count), and for AX-BASE pivots it is the number of sub-pivots (count_value is the leaf-record rollup). The correct reconciliation key is child_total = sum(child_object_count) across groups (from v_rp_pxt_grouping_surface).

After correction, reconciliation_basis distinguishes:

  • grouped_child_total — GROUPED nodes reconcile when child_total = count_value. 8 reconcile (TRIG:db_dml 408=408, event_type 52=52, dot_cron 42=42, dot_dual 6=6, dot_event 5=5, dot_on-deploy 4=4, job_queue 8=8, owner_gated_runtime 11=11).
  • pivot_hierarchy — AX-BASE pivots: count=leaf rollup, drill via sub-pivots (PASS, hierarchical).
  • enumerated_children / leaf_substrate — direct.

The 2 genuine FAILs

node axis count_value grouped_child_total nature
PROC:residual_reconcile AX-PXT 8 (stale literal) 23 TRUE BUG: ledger headline 8 (stale; live=2) ≠ grouping substrate 23 (over-inclusive: pulls all residual_v4 rows, not just AWAITING_OWNER)
PROC:new_candidates AX-PXT 6 (candidates) 50 (members) COUNT-SEMANTICS: headline counts candidates, drill enumerates members → NOT_ADDITIVE, needs labeled count semantic

Both are real and actionable. Neither was visible in the curated v2 proof matrix. Full population is now guarded.

Back to Knowledge Hub knowledge/dev/reports/architecture/rp-contract-canonical-registry-driven-fullpop-nohardcode-closeout-2026-06-05/06-full-population-drill-invariant.md