evm.execution_checkpoints view

Kind: View
Layer: execution_read_model
Columns: 8
Queries: 2

Contract and lifecycle

Grain: One reusable artifact checkpoint occurrence per (execution_id, checkpoint_index).
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 execution_id for candidate and run context.
Use attempt_id to deduplicate physical facts expanded across contextual owners.
For program owners use step_index; for observation-call owners use observation_index and observation_key.
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
`execution_id`	UUID Contextual execution association identity; do not use it as reusable artifact identity.

Contextual keys and reusable identities that establish row ownership.

Chain context

Name	Type
`chain_id`	UBIGINT EVM chain identifier frozen for the owning execution.
`chain_profile`	VARCHAR Named chain-rules profile frozen for the owning execution.

Pinned chain, block, profile, and revision context.

Ordering and cardinality

Name	Type
`checkpoint_index`	UINTEGER Ordered checkpoint index
`after_step_index`	UINTEGER Step preceding this checkpoint

Stable indexes and counts used to reconstruct deterministic order.

Payload and evidence

Name	Type
`terminal`	BOOLEAN Terminal checkpoint occurrence

Operation-specific inputs, outputs, and authenticated evidence.

Commitments

Name	Type
`state_identity_hash`	BYTES32 Checkpoint identity
`overlay_root`	BYTES32 Visible overlay root at checkpoint

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

Linked joins

Related public objects

Verified queries

Confirm fixture coverage

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

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

Example: table.evm.execution_checkpoints.lookup

Check candidate ownership

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

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

Example: table.evm.execution_checkpoints.diagnostic