06 — Full-Population Invariant v2

v_rp_full_population_drill_invariant_v2 covers all 87/87 nodes (guarded, not curated), built on the corrected contract v_rp_universal_node_ui_contract_current_v2 + grain-aware grouping surface v_rp_pxt_grouping_surface_v2 + live ledger v2.

Reconciliation

For GROUPED nodes: reconcile_target = group_count when reconciles_against='group_count' (group_bucket grain) else child_total. FAIL fires when reconcile_target IS DISTINCT FROM count_value.

Status taxonomy (all present in the rule)

PASS · PASS_EXPECTED_BLOCKER · FAIL_COUNT_SUBSTRATE_MISMATCH · FAIL_MISSING_GROUPING · FAIL_MISSING_SUBSTRATE · FAIL_ROUTE_MISMATCH · FAIL_NO_LIVE_SOURCE (fires if any count provenance is static_no_live_sql_source — currently none).

Result (dual-path verified)

status	n
PASS	83
PASS_EXPECTED_BLOCKER	4
FAIL (any)	0

The 4 expected blockers: WF-001, WF-002 (official_workflow, president vote pending RP 0/453), WPC-MONITOR-BOOTSTRAP, WPC-UNCLASSIFIED (empty-by-design buckets). The 10 GROUPED PXT nodes all reconcile (new_candidates on group_count=6; residual on scoped child_total=2; owner_gated on child_total=11; 7 TRIG on child_total). Exposes fail_count=0 via the proof matrix / dashboard.