evm.execution_effect_summary

Exactly one row per execution, including invalid or zero-attempt executions. Counts include program-step attempts only; observation-call effects are excluded. Final dispositions include ancestor outcomes.

Kind
View
Layer
execution_read_model
Columns
29
Queries
2

Contract and lifecycle

Grain
Exactly one program-step-only effect summary per execution_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 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.

Status and disposition

Name Type
summary_status VARCHAR

complete when selected program facts are complete, otherwise incomplete.

fact_completeness VARCHAR

Whether the selected fact relations are complete for the represented result.

Outcome vocabulary and NULL-controlling disposition fields.

Effects

NameType
program_attempt_countUBIGINT

Distinct physical attempts owned by program steps; observation calls are excluded.

attempted_frame_countUBIGINT

Number of program-attempt frames before final-disposition filtering.

committed_frame_countUBIGINT

Number of frames with committed final disposition.

reverted_frame_countUBIGINT

Number of frames with reverted final disposition.

discarded_frame_countUBIGINT

Number of frames discarded by an ancestor outcome.

Showing fewer

Attempted and final effect facts or aggregates.

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

Check candidate ownership

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

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