05 — Discovery Views v3 (Workstream D)

Four additive, read-only, DROP-reversible views were committed (/tmp/05_discovery_views_v3.sql). v2 views are untouched (back-compat).

Views

1. v_process_discovery_runtime_observed — per-candidate aggregation of the observation ledger: run_count, real_run_count, dry_run_count, simulated_count, backfilled_count, distinct_correlation_ids, last_observed_at, component_count, component_status_summary.
2. v_process_discovery_candidate_status_v3 — joins birth_readiness_v2 (structural + v2 job_queue runtime/correlation) LEFT JOIN runtime_observed. Emits best_evidence_type and the headline candidate_status_v3 + birth_gate_status_v3.
3. v_process_discovery_verified_candidates_v3 — filter: candidate_status_v3 IN (verified_candidate, real_run_observed, birth_ready). Simulated/dry-run can never appear here.
4. v_process_discovery_birth_readiness_v3 — birth-relevant projection of the taxonomy with v2 confidence carried alongside.

Status taxonomy (precedence, top wins)

candidate_status_v3	condition
not_a_process	member_count ≤ 1
birth_ready	v2 verified and owner present (NOT owner_missing)
verified_candidate	v2 verified_candidate (real job_queue runtime + correlation + start + end)
real_run_observed	≥1 REAL_RUN observation
dry_run_observed	≥1 DRY_RUN observation
simulated_observed	≥1 SIMULATED_DRY_RUN observation
backfilled_observed	≥1 BACKFILLED_EVIDENCE observation
structural_candidate	otherwise (no observation)

Hard invariant (proven, not asserted)

SIMULATED_DRY_RUN and DRY_RUN evidence can never produce verified_candidate / birth_ready. Only REAL_RUN (or v2 real job_queue runtime, e.g. job:cut) + correlation + structural start/end can. Because owner_missing=true system-wide, even verified_candidate cannot become birth_ready yet → gate VERIFIED_PENDING_OWNER.

Live validation

• runtime_observed: dot:kg → run 1 / real 0 / dry 0 / sim 1 / corr 1 / components 2 / status step_completed. (Only candidate with observations.)
• verified_candidates_v3: only job:cut (verified_candidate, gate VERIFIED_PENDING_OWNER). dot:kg correctly excluded despite its simulated run.
• Cross-channel MCP read-back of runtime_observed matches container psql.

RP/UI can now distinguish structural vs simulated vs dry-run vs real vs verified — the macro's core deliverable.