09 — dot:kg REAL_RUN Ladder & 10-Process Split (2026-06-04)

Verified counts

• DRY_RUN = 2 (correlated pair, real gpt-4o, is_mock=false) · SIMULATED_DRY_RUN = 4 · REAL_RUN = 0
• process_dot_runtime.real_run_enabled (dot_config) = false

Preflight gates (live v_dotkg_realrun_preflight = REALRUN_BLOCKED_MULTI_GATE)

Gate	Value	Status	Unblock
gate_real_run_enabled	false	BLOCK	owner-authorized dot_config flip
gate_execute_enabled	false	BLOCK	owner-authorized dot_config flip
gate_dry_run_only_cleared	true	BLOCK	set dry_run_only=false
gate_dotkg_owner_present	0	BLOCK	PROC-OWN-04 assign dot:kg owner
gate_contract_realrun_mode	DRY_RUN	BLOCK	promote DOT_KG_EXPLAIN contract DRY_RUN→REAL_RUN
precond_endpoint_bound	1	GO	executor:8090/dispatch bound
boundary_no_mutation_assertion	1	GO	fail_closed_no_mutation held
precond_dry_run_evidence	2	GO	2 correlated DRY_RUN
invariant_real_run_count_zero	0	GO	must remain 0 until all gates GO + executor health + president

Real-run package

• Flip requirements: owner (PROC-OWN-04) + dot_config flip (real_run_enabled, execute_enabled, dry_run_only=false) + contract promotion + external executor health + president authority.
• Expected observation rows: REAL_RUN rows in process_run_observation (currently 0).
• No-mutation boundary: controlled-mutation boundary held; fail_closed_no_mutation.
• Success threshold: correlated producer+verifier REAL_RUN with evidence, REAL_RUN invariant flips 0→N only after every gate GO.
• 10-process split: authorized post-REAL_RUN by PROC-OWN-04 owner.
• Rollback: flip dot_config back to false; REAL_RUN rows are evidence (retained).

Status

BLOCKED_REALRUN — 4 GO / 5 BLOCK. No REAL_RUN performed; no fake verification. Ready for real-run authority.