#Assumption
Functions marked with Assumption, grouped from the generated Determica catalog for fast scanning across related workflows.
- evm_assumption_manifest_hash Hashes a branch assumption manifest.Scalar · Simulate
- evm_assumption_manifest_items Inspects assumption manifest rows with category, grade effect, and dependency hash.Table · Simulate
- evm_assumption_manifest_summary Summarizes assumption manifest counts and grade cap for a branch or evidence hash.Table · Simulate
- evm_build_assumption_manifest Builds a reproducible product assumption manifest for a run branch.Scalar · Simulate
- evm_clear_code_override Commits a tombstone that clears a local code override for a simulation address.Scalar · Simulate
- evm_install_code_artifact Installs runtime bytecode as a reusable Determica code artifact.Scalar · Simulate
- evm_mark_account_storage_complete Records an explicit Determica v2 assumption that an account's visible storage universe is complete.Scalar · Simulate
- evm_set_code Commits a local code assumption for a simulation. Local code shadows chain code without implying storage, balance, or nonce assumptions.Scalar · Simulate