KB-7EF3

Fixture — dot-kg EXPLAIN pair v1

2 min read Revision 1
fixturedot-kgdry-run2026-06-04

Fixture — dot-kg EXPLAIN pair v1

  • fixture_ref: FIXTURE:dot:kg:explain:v1
  • sha256: 4ecd33b753c489b3efd7c69a1d9f8bee91d5e439b97790a90b2ed6f8154569f8
  • pair: DOT_KG_EXPLAIN (producer) → DOT_KG_EXPLAIN_VERIFY (verifier)
  • output namespace: DRYRUN-NS:dot:kg:explain (test-only)
  • JSON: /opt/incomex/docs/mcp-writes/dot-runner-dryrun-2026-06-04/dot_kg_explain_fixture_v1.json
  • safety: synthetic-but-grounded (mirrors KG-law curated cluster D1); reads/writes no production knowledge_graph rows.

Input subgraph (target kgn:dieu39)

  • Nodes: kgn:dieu39 (Điều 39 — KG Law), kgn:dot_kg_family, kgn:explain_pair, kgn:provenance.
  • Edges: dieu39→family GOVERNS; family→pair CONTAINS; family→provenance CONTAINS; pair→provenance DEPENDS_ON.

Expected producer output

Explanation referencing kgn:dieu39, citing only the 4 subgraph node ids (no hallucination), narrating Điều 39 / EXPLAIN / GOVERNS.

Expected verifier check

Pass iff: target referenced; every cited node ∈ subgraph; every cited edge ∈ subgraph; no production-table reference. Fail on hallucinated node / missing target / production-namespace output.

Usage

Bound into the no-execute test via fn_process_dryrun_prepare_pair. When an agent_api plan-only contract exists, this fixture drives the first true DRY_RUN of the pair. Cleanup: DELETE FROM process_*_observation WHERE source_system='dryrun_prepare_runner';