07 — Production Verification Suite

Concern	Artifact	Mode
Preflight gate	prod/00_preflight.sql	read-only + asserting abort
Per-tier verification	embedded DO-block in each prod/2x–6x file	asserting (pre-COMMIT)
Final verification	prod/90_verify.sql	read-only + asserting
Baseline / out-of-scope / quietness	prod_verify/baseline_probe.sql	pure read (no asserts)
UI / API read contract	prod_verify/ui_read_contract.sql	pure read

baseline_probe.sql

Run at ENTRY, MID, EXIT; diff the three. Captures gate + in-scope (ospa, ownership, gap, conflict, axis tables) and out-of-scope quietness (gov event_outbox, total event_outbox, gov event types active, system_issues, approval_requests, apr_approvals, idle_in_txn, responsibility scopes). Out-of-scope rows MUST be identical entry==exit (system_issues may drift organically — not ours).

ui_read_contract.sql

Reads all 7 UI/API views (v_ui_coverage_dashboard, v_ui_axis_browser, v_ui_lane, v_ui_topic_tree, v_ui_review_queue, v_ui_detector_findings, v_ui_object_topic). Pass = all return without error and dashboard critical_drift=0.

Final-state assertions (prod/90_verify.sql)

Asserts: resp ownership gap 0 · resp conflict 0 · containment gap 0 · divergent 0 · projection_gap 0 · critical drift 0 · emittable events 0 · gov outbox 0. Prints the full end-state table (incl resp/containment required cells, active axes, kg-domain-x, reconcile decisions). topic_gap is not asserted to 0 (legitimate quarantine holds).

No-out-of-scope-mutation check

ENTRY vs EXIT baseline_probe diff on the out-of-scope block must be zero (excluding organic system_issues). Event/issue/DOT/worker quietness = gov outbox 0 + gov event types active 0 + no scanner daemon (scan is a single bounded function call) + idle_in_txn 0.

Validation status

This suite's assertions were executed read-only against the clone golden harness (doc 04, R1) and passed. On production they remain unexecuted (gate-blocked).