-- ============================================================================ -- F_prod_02 — PRODUCTION POST-SEED VERIFICATION (READ-ONLY) -- Target DB: directus (PRODUCTION) -- Confirms the seed achieved 100% coverage with no side effects. -- ============================================================================ \set ON_ERROR_STOP on \pset pager off

DO $$ DECLARE v_own int; v_gap int; v_conf int; v_eo int; v_direct int; v_inh int; v_emit int; BEGIN SELECT count() INTO v_own FROM governance_object_ownership WHERE created_by='F6_OWNERSHIP_SEED_COMMIT'; SELECT count() INTO v_gap FROM v_object_owner_gap; SELECT count() INTO v_conf FROM v_object_owner_conflict; SELECT count() FILTER (WHERE resolution='direct'), count() FILTER (WHERE resolution='inherited'), count() INTO v_direct, v_inh, v_eo FROM v_object_effective_owner; SELECT count(*) INTO v_emit FROM event_outbox WHERE event_domain='governance'; IF v_own <> 30 THEN RAISE EXCEPTION 'VERIFY FAIL: seed rows=% (expected 30).', v_own; END IF; IF v_gap <> 0 THEN RAISE EXCEPTION 'VERIFY FAIL: gap=% (expected 0).', v_gap; END IF; IF v_conf <> 0 THEN RAISE EXCEPTION 'VERIFY FAIL: conflict=% (expected 0).', v_conf; END IF; IF v_eo <> 240 THEN RAISE EXCEPTION 'VERIFY FAIL: effective owners=% (expected 240).', v_eo; END IF; IF v_direct <> 30 THEN RAISE EXCEPTION 'VERIFY FAIL: direct=% (expected 30).', v_direct; END IF; IF v_inh <> 210 THEN RAISE EXCEPTION 'VERIFY FAIL: inherited=% (expected 210).', v_inh; END IF; IF v_emit <> 0 THEN RAISE EXCEPTION 'VERIFY FAIL: gov emit=% (expected 0).', v_emit; END IF; RAISE NOTICE 'VERIFY PASS: own=30 gap=0 conflict=0 effective=240 (30 direct + 210 inherited) emit=0 -> 100%% coverage.'; END $$;