Checkpoint — Process Discovery Runtime Observation 2026-06-04
Checkpoint — Process Discovery Runtime Observation (short SSOT)
Date: 2026-06-04 · Macro: PROCESS_DISCOVERY_RUNTIME_OBSERVATION_APPLY_AND_SAFE_DRY_RUN Final status: PARTIAL — all safe branches done live; execution-wrapper + owner/event enablement remain. Execution mode: EXECUTION_MODE. RO=query_pg; RW=ssh contabo→docker exec postgres psql -U directus; KB=upload_document.
Live mutation: YES (PG birth-free)
birth_registry1,158,162 before == after for every PG step (rehearsed BEGIN/ROLLBACK net-zero, then committed; independent MCP read-back PASS).trigger_guard_alerts129 unchanged (DDL guards act only on triggers). v1/v2 views untouched.- 2 tables:
process_run_observation(16 cols) +process_component_observation(19 cols). 4 RO views:v_process_discovery_{runtime_observed, candidate_status_v3, verified_candidates_v3, birth_readiness_v3}. - 1 SIMULATED_DRY_RUN observation (1 run + 2 components). 0 process born · 0 canon · 0 approval · 0 taxonomy · 0 IU edit · 0 DOT executed · 0 workflow run · 0 events activated.
Observation substrate status: LIVE
Applied amended DDL — added first-class evidence_type CHECK column (REAL_RUN/DRY_RUN/SIMULATED_DRY_RUN/BACKFILLED_EVIDENCE; DEFAULT SIMULATED_DRY_RUN = safe-by-default) the staged version lacked. idempotency_key partial-unique on both tables.
Observation write proof: PASS
KG pilot pair DOT_KG_EXPLAIN + DOT_KG_EXPLAIN_VERIFY, source_system dry_run_harness, correlation SIMRUN:dot:kg:explain:20260604. Idempotency proven (re-insert = INSERT 0 0). Read back via container psql + MCP query_pg.
True dry-run feasibility: WRAPPER_NEEDED
No DOT runner exists (engine agent_api, no plan mode, no fixture, script_path NULL, usage_count 0). No execution performed. Default: do not execute.
v3 views status: LIVE
Taxonomy structural_candidate→simulated_observed→dry_run_observed→real_run_observed→verified_candidate→birth_ready. Invariant proven: simulated/dry-run can never reach verified. verified_candidates_v3 = only job:cut.
dot-kg readiness after observation
v2 runtime_missing → v3 simulated_observed (gate SIMULATED_PROOF_ONLY_NOT_VERIFIED). runtime_missing still true, event_missing true, owner_missing true, confidence 50 (uninflated). job:cut = verified_candidate / VERIFIED_PENDING_OWNER (only owner blocks birth).
RP/UI impact
4 routes + anti-fake badge rule, patch-ready; operator-gated deploy. No Nuxt math.
Next macro
DOT_EXECUTION_WRAPPER_CORRELATION_PATCH. Parallel: PROCESS_DISCOVERY_V3_UI_DEPLOY · DOT_KG_OWNER_AND_EVENT_ACTIVATION_PREP · PROCESS_REGISTRATION_CANDIDATE_PREP_FOR_JOB_CUT.
Exact blocker
REAL_RUN (or owner-approved DRY_RUN) of a KG pair logged with shared process_run_id + process.* activated + KG owner registered + owner birth admission. No engineering blocker on the observation/discovery layer.
Rollback
contabo:/tmp/PD_RUNTIME_OBS_FULL_ROLLBACK.sql (rehearsed reversible): DROP 4 v3 views → DELETE dry_run_harness rows → (optional) DROP 2 tables.
Report path
knowledge/dev/reports/architecture/process-discovery-runtime-observation-apply-safe-dryrun-2026-06-04/ (docs 00–11).
Continues checkpoint-process-discovery-runtime-correlation-2026-06-04.md.