06 — Full-Population Drill Invariant Guard
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 whenchild_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.