evm.runs table

Kind: Table
Layer: program_execution
Columns: 8
Queries: 2

Contract and lifecycle

Grain: One atomically completed invocation per run_id. Identifying tuple: (run_id).
Lifecycle: run publishes this immutable row set atomically with its owning run. Statement failure or caller rollback publishes no durable prefix; direct DML is unsupported because it can corrupt the documented invariants.
Status and NULLs: Interpret nullable payloads only through their owning status fields. Defensive poisoned and engine_error outcomes mean the engine refused to claim a trustworthy normal result; broad view nullability also covers owner alternatives and left-joined evidence.
Join guidance: Join evm.executions on run_id; one run owns its ordered candidate executions.
Effect semantics: Access flags describe attempted EVM access, not committed state change.
Effect facts retain attempted evidence and final committed, reverted, discarded, or poisoned disposition.
execution_state_deltas contains committed checkpoint transitions only; observation-call effects are excluded from execution_effect_summary.

Columns

Identity and ownership

Name	Type
`run_id`	UUID Contextual invocation id

Contextual keys and reusable identities that establish row ownership.

Ordering and cardinality

Name	Type
`candidate_count`	UBIGINT Published candidate count

Stable indexes and counts used to reconstruct deterministic order.

Payload and evidence

Name	Type
`engine_semantics`	VARCHAR Execution semantics identifier
`evidence_semantics`	VARCHAR Evidence semantics identifier
`runtime_kind`	VARCHAR native or wasm runtime

Operation-specific inputs, outputs, and authenticated evidence.

Commitments

Name	Type
`invocation_root`	BYTES32 Canonical invocation commitment

Hashes and roots authenticating specifications, facts, state, or results.

Timestamps

Name	Type
`created_at`	TIMESTAMP Invocation creation time
`completed_at`	TIMESTAMP Atomic publication completion time

Contextual publication times that are excluded from reusable semantic identity.

Related public objects

Verified queries

Confirm fixture coverage

Confirm that this object has rows owned by the stable seven-candidate public fixture.

SELECT 'evm.runs'::VARCHAR AS object_name, CASE WHEN count(*) > 0 THEN 'PASS' ELSE 'FAIL' END::VARCHAR AS status FROM evm."runs" o JOIN evm.executions e USING (run_id) WHERE e.candidate_key IN ('complete-effects', 'later-revert', 'ordered-logs', 'create', 'selfdestruct', 'blockhash', 'transient-access');

Example: table.evm.runs.lookup

Check candidate ownership

Diagnose whether this object remains linked to at least one stable fixture candidate through public keys.

SELECT 'evm.runs'::VARCHAR AS object_name, CASE WHEN count(DISTINCT e.candidate_key) > 0 THEN 'PASS' ELSE 'FAIL' END::VARCHAR AS status FROM evm."runs" o JOIN evm.executions e USING (run_id) WHERE e.candidate_key IN ('complete-effects', 'later-revert', 'ordered-logs', 'create', 'selfdestruct', 'blockhash', 'transient-access');

Example: table.evm.runs.diagnostic