03 — C1 EXECUTABLE CONTRACTS: CREATED OR PROVEN EXISTING — 2026-06-22

1. Live contract inventory

SELECT dot_code, operation, role, paired_dot, mode, contract_status FROM dot_agent_api_contract →

DOT_KG_EXPLAIN        | explain | producer | DOT_KG_EXPLAIN_VERIFY | DRY_RUN     | endpoint_bound
DOT_KG_EXPLAIN_VERIFY | verify  | verifier | DOT_KG_EXPLAIN        | VERIFY_ONLY | contract_ready

total_contracts=2, c1_contracts=0.

No DOT_C1_* contract exists. (E3)

2. Required C1 contracts vs status

Required contract	Exists	Creation requires	Closable here
DOT_C1_SCHEMA_ENSURE	NO	contract row (registry write, DENIED) + target PG function (DDL)	NO
DOT_C1_VOCAB_BUILD	NO	same	NO
DOT_C1_VOCAB_VERIFY	NO	same	NO
DOT_C1_DRYRUN_PREFLIGHT	NO	contract row + preflight view/function (DDL)	NO
DOT_C1_BAD_INPUT_HARNESS	NO	contract row + harness function (DDL)	NO
DOT_C1_EVIDENCE_READBACK	NO	contract row + C1 tables (DDL)	NO
DOT_C1_ROLLBACK_CHECK	NO	contract row + compensation function (DDL)	NO

3. Creation attempted (macro §3.1 "do not merely report it — try to create")

• Governed registry write: directus_create('dot_agent_api_contract', …) → [DENIED] not in the write allowlist. A DOT contract row cannot be inserted through the governed channel.
• Target functions: every contract's target_functions are PL/pgSQL functions. Creating them is CREATE FUNCTION = DDL. query_pg is read-only; no DDL channel exists (file 02). Impossible.
• The mcp__directus__ item API has no function/collection/DDL creation capability; even an item write into dot_agent_api_contract (a) would be a production mutation (forbidden) and (b) would yield a stub row pointing at nonexistent functions — a non-executable "contract-as-prose," which Codex explicitly rejects (PATCH1 review A3 / §5.1: "prose aliases cannot substitute for those contracts").

4. Why a contract row alone is not an executable contract

Codex's binding standard (PATCH1 review §5.1): an executable contract = a registered row plus its target functions, schema, and read-back-verifiable definitions. A contract whose handlers do not exist is not dispatchable and not executable. Therefore even if the registry write were permitted, without the DDL to create the handlers/tables the result would fail the executability test. The blocker is the DDL + governed-registration capability, which is external to this session.

5. Status

C1 executable contracts: ABSENT and UNCREATABLE in this session. Gap remains. Contributes to verdict C1_DRYRUN_HOLD_NO_GOVERNED_WRITE_CHANNEL (downstream consequence: …_CONTRACTS_ABSENT).