evm.execution_assumptions view

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

Contract and lifecycle

Grain: One reusable artifact assumption per (execution_id, assumption_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
`assumption_index`	UINTEGER Ordered assumption index

Stable indexes and counts used to reconstruct deterministic order.

Payload and evidence

Name	Type
`state_kind`	UTINYINT State kind
`address`	ADDRESS State address
`slot`	BYTES32 Storage slot or zero
`value`	BYTES Canonical assumed value
`reason`	VARCHAR Committed assumption reason

Showing fewer

Operation-specific inputs, outputs, and authenticated evidence.

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

Check candidate ownership

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

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