KB-C0F5
dot:kg Operational Dry-run Addendum (2026-06-04)
3 min read Revision 1
dot-kgsopdry-runprocess-discoveryoperational
dot:kg Operational Dry-run Addendum (2026-06-04)
Companion to d2-dot-kg-process-family-sop-runbook-2026-06-04.md. Adds the operational, evidence-backed section now that a correlated dry-run exists. Not a source IU; an operational runbook section.
What is real today
- The dot:kg producer endpoint is a deployed, compose-managed service
incomex-agent-api-executor(internal-only, loopback 127.0.0.1:8090, read_only, fail-closed). It never touches the database. - DOT_KG_EXPLAIN is bound (mode=DRY_RUN, endpoint
http://incomex-agent-api-executor:8090/dispatch). - DOT_KG_EXPLAIN_VERIFY is the deterministic verifier (VERIFY_ONLY, endpoint NULL) — the Python twin of the DB self-check, proven 7/7 by
/selfcheck. - A correlated EXPLAIN+VERIFY DRY_RUN pair is recorded (run
703f08e4, corrdryrun-pair-20260604T084721Z): producer is_mock=false + verifier pass=true, sharing one correlation_id, birth-free, REAL_RUN=0.
How to run one correlated dry-run (operator)
curl -s -X POST http://127.0.0.1:8090/dispatch -d '{"dot_code":"DOT_KG_EXPLAIN","fixture_ref":"FIXTURE:dot:kg:explain:v1","correlation_id":"<corr>","mode":"DRY_RUN"}'→ expect is_mock=false, verifier.pass=true, writes_db=false.- Record run + producer + verifier components via
fn_process_run_observe/fn_process_component_observewith the same correlation_id, evidence_type=DRY_RUN. (Seesql/correlated_pair.sql.) - Confirm
v_process_discovery_verified_candidates_v3is unchanged (a dry-run never confers verified status).
What is NOT real yet (owner-gated)
- No REAL_RUN. The runtime gate (
process_dot_runtime.real_run_enabled) is false;fn_process_run_observerefuses REAL_RUN at write. - dot:kg is not verified and not born. Verified requires a correlated REAL_RUN; birth requires the 10-process split (owner PROC-OWN-04).
- The 7
process.*events are inactive (PROC-OWN-05).
Why dry-run-first matters editorially
dot:kg is the convergence hub of the knowledge_graph topic (Điều-39). The dry-run proves the reasoning+verification contract is sound before any production graph write — the same grounding discipline the KG law requires. Content built on dot:kg can cite a working, verifiable producer, not a promise.