evm.execution_state_deltas

One row per artifact-backed execution, step_index, and delta_index. Rows are committed checkpoint transitions, not merely attempted writes.

Kind
View
Layer
execution_read_model
Columns
16
Queries
2

Contract and lifecycle

Grain
One committed checkpoint transition per (execution_id, step_index, delta_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.
execution_artifact_hash BYTES32

Reusable complete execution-artifact identity when publication produced one.
attempt_id UUID

Reusable physical attempt identity; contextual owners may share this value.

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
step_index UINTEGER

Zero-based program order; NULL for observation_call attempt owners.
delta_index UINTEGER

Zero-based deterministic order of committed deltas within the step.

Stable indexes and counts used to reconstruct deterministic order.

Payload and evidence

Name Type
state_kind UTINYINT

Stable numeric discriminator for storage, balance, code, nonce, or evidence state.
state_kind_name VARCHAR

Stable public name corresponding to state_kind.
address ADDRESS

Account or storage-owner address described by this fact.
slot BYTES32

Storage slot for storage state, or the documented zero sentinel for non-storage state.
value BYTES

Typed payload bytes for this fact; interpret them with state_kind and cleared.

Operation-specific inputs, outputs, and authenticated evidence.

Status and disposition

Name Type
cleared BOOLEAN

Whether the committed delta removes the represented state value.

Outcome vocabulary and NULL-controlling disposition fields.

Commitments

Name Type
committed_state_delta_root BYTES32

Commitment to the ordered committed deltas for this step.
pre_checkpoint_state_identity_hash BYTES32

Identity of the retained checkpoint before this committed delta set.
post_checkpoint_state_identity_hash BYTES32

Identity of the retained checkpoint after this committed delta set.

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

Linked joins

  • execution_id → evm.executions (execution_id)

    Contextual execution that exposes this public row.

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_state_deltas'::VARCHAR AS object_name, CASE WHEN count(*) > 0 THEN 'PASS' ELSE 'FAIL' END::VARCHAR AS status FROM evm."execution_state_deltas" 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_state_deltas.lookup

Check candidate ownership

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

SELECT 'evm.execution_state_deltas'::VARCHAR AS object_name, CASE WHEN count(DISTINCT e.candidate_key) > 0 THEN 'PASS' ELSE 'FAIL' END::VARCHAR AS status FROM evm."execution_state_deltas" 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_state_deltas.diagnostic