Documentation

Browse documentation

Documentation

Docs
Functions
#Simulation

#Simulation

Functions marked with Simulation, grouped from the generated Determica catalog for fast scanning across related workflows.

evm_add_candidate_step Adds a validated product candidate step and refreshes candidate step-root and candidate hashes.
#Simulation #Product #Candidate #Step #Evidence #Simulate

Scalar · Simulate
evm_add_eval_run_candidate Adds explicit ordered candidate membership to a mutable eval run.
#Simulation #Product #Run #Candidate #Evidence #Simulate

Scalar · Simulate
evm_artifact_vs_exact Compares installed code artifacts with exact committed code/create evidence.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_assumption_manifest_hash Hashes a branch assumption manifest.
#Simulation #Product #Assumption #Evidence #Hash #Simulate

Scalar · Simulate
evm_assumption_manifest_items Inspects assumption manifest rows with category, grade effect, and dependency hash.
#Simulation #Product #Assumption #Evidence #Simulate

Table · Simulate
evm_assumption_manifest_summary Summarizes assumption manifest counts and grade cap for a branch or evidence hash.
#Simulation #Product #Assumption #Evidence #Simulate

Table · Simulate
evm_attempt_accesses Reads direct typed attempt access rows for an execution attempt.
#Simulation #Execution #Forensics #Source #Simulate

Table · Simulate
evm_attempt_authorizations Reads direct typed Phase 2 attempt relation rows for an execution attempt.
#Simulation #Execution #Forensics #Source #Simulate

Table · Simulate
evm_attempt_creates Reads direct typed Phase 2 attempt relation rows for an execution attempt.
#Simulation #Execution #Forensics #Source #Simulate

Table · Simulate
evm_attempt_frames Reads direct typed attempt frame rows for an execution attempt.
#Simulation #Execution #Forensics #Source #Simulate

Table · Simulate
evm_attempt_logs Reads direct typed attempt log rows for an execution attempt.
#Simulation #Execution #Forensics #Source #Simulate

Table · Simulate
evm_attempt_relations Returns deterministic direct typed attempt relation rows from evm.attempt_* tables.
#Simulation #Execution #Forensics #Source #Simulate

Table · Simulate
evm_attempt_selfdestructs Reads direct typed Phase 2 attempt relation rows for an execution attempt.
#Simulation #Execution #Forensics #Source #Simulate

Table · Simulate
evm_attempt_state_io Returns deterministic state read/write attempt relation rows from evm.attempt_state_* tables.
#Simulation #Execution #State #Forensics #Source #Simulate

Table · Simulate
evm_attempt_state_reads Reads direct typed attempt state IO rows for an execution attempt.
#Simulation #Execution #State #Forensics #Source #Simulate

Table · Simulate
evm_attempt_state_writes Reads direct typed attempt state IO rows for an execution attempt.
#Simulation #Execution #State #Forensics #Source #Simulate

Table · Simulate
evm_attempt_transient_accesses Reads direct typed Phase 2 attempt relation rows for an execution attempt.
#Simulation #Execution #Forensics #Source #Simulate

Table · Simulate
evm_block_context_hash Hashes the pinned block context currently known for a simulation.
#Simulation #Execution #Evidence #Hash #Simulate

Scalar · Simulate
evm_branch_gas_delta Returns terminal and complete gas deltas for two branches.
#Simulation #Product #Inspection #Comparison #Simulate

Table · Simulate
evm_branch_policy_delta Diffs policy status and grade caps for two branches.
#Simulation #Product #Inspection #Comparison #Simulate

Table · Simulate
evm_branch_state_diff Diffs lineage-visible latest committed state for two branches.
#Simulation #Product #Inspection #Comparison #Simulate

Table · Simulate
evm_branch_state_read_anomalies Returns state-read anomalies for a branch with forensic opt-in.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_branch_trace_diff Diffs logical frame, log, and access rows for two branches.
#Simulation #Product #Inspection #Comparison #Simulate

Table · Simulate
evm_branch_transfers Lists projected semantic transfers for a branch terminal attempt; forensic=true includes projected retry/discarded sources.
#Simulation #Product #Semantic #Inspection #Simulate

Table · Simulate
evm_branch_write_effects Returns state-write effects for a branch with forensic opt-in.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_build_assumption_manifest Builds a reproducible product assumption manifest for a run branch.
#Simulation #Product #Assumption #Evidence #Simulate

Scalar · Simulate
evm_candidate_validate Validates stored candidate step contiguity and executable payload availability.
#Simulation #Product #Candidate #Inspection #Simulate

Scalar · Simulate
evm_canonical_json_hash Hashes JSON after Determica canonical key ordering and scalar normalization.
#Simulation #Evidence #Hash #Simulate

Scalar · Simulate
evm_clear_code_override Commits a tombstone that clears a local code override for a simulation address.
#Simulation #Assumption #State #Simulate

Scalar · Simulate
evm_close_eval_run Closes an eval run with a canonical terminal decision.
#Simulation #Product #Run #Evidence #Simulate

Scalar · Simulate
evm_commit_state Commits a batch of Determica v2 state changes from a table using exact state keys, provenance reason fields, and one atomic state revision.
#Simulation #State #Batch #Simulate

Scalar · Simulate
evm_committed_state_lookup_status Reports physical committed-state lookup schema and row health.
#Simulation #State #Resolver #Inspection #Simulate

Table · Simulate
evm_compare_branches Returns one compact typed summary comparing two branches.
#Simulation #Product #Inspection #Comparison #Simulate

Table · Simulate
evm_compare_runs Compares two eval runs by branch ordinal and compact product inspection counts.
#Simulation #Product #Inspection #Comparison #Simulate

Table · Simulate
evm_create_candidate Creates a product candidate with a canonical v1 candidate payload hash.
#Simulation #Product #Candidate #Evidence #Simulate

Scalar · Simulate
evm_create_eval_run Creates an eval run over a pinned base simulation context.
#Simulation #Product #Run #Evidence #Simulate

Scalar · Simulate
evm_create_policy_spec Creates an idempotent durable product policy specification.
#Simulation #Product #Policy #Evidence #Simulate

Scalar · Simulate
evm_create_run_branch Creates a product branch linked to a metadata-only simulation fork.
#Simulation #Product #Run #Branch #Evidence #Simulate

Scalar · Simulate
evm_create_sim_at Creates a root Determica v2 simulation pinned to a block identity and EVM version.
#Simulation #State #Simulate

Scalar · Simulate
evm_evaluate_policy Evaluates a durable policy spec and stores one policy result row per rule.
#Simulation #Product #Policy #Evidence #Simulate

Scalar · Simulate
evm_evidence_rows Returns typed final dependency rows and related evidence row context.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_execute_bytecode Executes bytecode for table-input workloads and defers durable writer flushing until query finalization unless writer limits or option changes require an intermediate flush.
#Simulation #Execution #State #Simulate

Table · Simulate
evm_execute_run_branch Executes the selected product branch steps, links all kernel attempts, and selects one terminal attempt.
#Simulation #Product #Branch #Execution #Evidence #Simulate

Scalar · Simulate
evm_execution_blockhash_reads Reads direct typed Phase 2 attempt relation rows for an execution attempt.
#Simulation #Execution #Forensics #Source #Simulate

Table · Simulate
evm_execution_request_attempts Returns all persisted execution attempts for one hydration/execution request in attempt order.
#Simulation #Execution #Evidence #Inspection #Simulate

Table · Simulate
evm_fetch_rpc_evidence Executes EIP-1898-capable RPC evidence requests such as eth_call and eth_getProof, writing fetch-attempt provenance without populating canonical chain state cache.
#Simulation #RPC #Evidence #Simulate

Table · Simulate
evm_fork Creates a metadata-only child fork. The child captures the parent's state revision watermark and copies no state rows.
#Simulation #State #Branching #Simulate

Scalar · Simulate
evm_graph_integrity_status Reports real catalog and backing-row integrity checks for Determica committed PGQ graph surfaces.
#Simulation #Graph #Inspection #Simulate

Table · Simulate
evm_hash_bytes Hashes typed JSON component frames using the Determica canonical evidence hash codec.
#Simulation #Evidence #Hash #Simulate

Scalar · Simulate
evm_install_code_artifact Installs runtime bytecode as a reusable Determica code artifact.
#Simulation #Assumption #Simulate

Scalar · Simulate
evm_intrinsic_gas Computes intrinsic gas for an unsigned transaction context under the selected EVM version.
#Simulation #Execution #Validation #Simulate

Scalar · Simulate
evm_mark_account_storage_complete Records an explicit Determica v2 assumption that an account's visible storage universe is complete.
#Simulation #State #Assumption #Simulate

Scalar · Simulate
evm_materialize_product_graph Deletes and rebuilds the optional product_execution PGQ read model for one run.
#Simulation #Product #Graph #Pgq #Materialization #Simulate

Scalar · Simulate
evm_pgq_effect_parity_status Reports committed state-change and visible-helper parity checks for committed PGQ effect rows.
#Simulation #Graph #Inspection #Simulate

Table · Simulate
evm_pgq_storage_status Reports current compact materialized evm_graph_* PGQ backing tables.
#Simulation #Graph #Storage #Inspection #Simulate

Table · Simulate
evm_plan_prefetch Normalizes explicit hints, access lists, prior footprints, policy reads, and conservative static bytecode storage-slot hints into a deduplicated ResolveMany request plan.
#Simulation #State #Prefetch #Planner #Simulate

Table · Simulate
evm_prefetch_many Warms canonical chain cache for a batch of planned state requests through the same EIP-1898 fetch-attempt and ResolveMany path used by execution. It never mutates simulation state or committed graph rows.
#Simulation #State #Prefetch #Resolver #Simulate

Table · Simulate
evm_product_graph_status Returns counts and last materialization timestamp for the optional product_execution PGQ read model.
#Simulation #Product #Graph #Pgq #Inspection #Simulate

Scalar · Simulate
evm_project_semantic_transfers Projects truth-labeled ERC log facts and native transfer facts for a terminal execution attempt.
#Simulation #Product #Semantic #Transfer #Evidence #Simulate

Scalar · Simulate
evm_resolve_many Resolves storage and code state in batches using visible fork lineage, committed state versions, chain cache, and optional EIP-1898 RPC fallback. Each result includes source provenance.
#Simulation #State #Resolver #Simulate

Table · Simulate
evm_resolver_parity_status Reports physical committed-state resolver self-consistency for a simulation.
#Simulation #State #Resolver #Inspection #Simulate

Table · Simulate
evm_resolver_source_status Reports the effective committed-state resolver source, Phase 6 gate, and backing row counts.
#Simulation #State #Resolver #Inspection #Simulate

Table · Simulate
evm_rpc_budget_audit Audits RPC usage against optional JSON budgets without enforcement.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_run_asset_deltas Returns policy-usable movement deltas from truth-labeled semantic transfers.
#Simulation #Product #Semantic #Movement #Inspection #Simulate

Table · Simulate
evm_run_branch_attempts Returns product-linked branch execution attempts for a branch id or run id; forensic=true includes discarded and poisoned lineage.
#Simulation #Product #Branch #Execution #Inspection #Simulate

Table · Simulate
evm_run_branch_comparison Compares run branches by terminal status, gas, policy counts, and transfer facts.
#Simulation #Product #Run #Branch #Comparison #Inspection #Simulate

Table · Simulate
evm_run_branches Returns product branches for an eval run in deterministic ordinal order.
#Simulation #Product #Run #Branch #Inspection #Simulate

Table · Simulate
evm_run_candidates Returns explicit eval run candidates in deterministic ordinal order.
#Simulation #Product #Run #Candidate #Inspection #Simulate

Table · Simulate
evm_run_decisions Returns the canonical one-row-per-branch product decision readout for an eval run.
#Simulation #Product #Run #Branch #Decision #Inspection #Simulate

Table · Simulate
evm_run_gas_summary Summarizes gas across the complete hydration lineage for each branch.
#Simulation #Product #Execution #Gas #Inspection #Simulate

Table · Simulate
evm_run_policy_failures Returns failing, warning, and error policy rows with rule-level details when available.
#Simulation #Product #Policy #Inspection #Simulate

Table · Simulate
evm_run_policy_summary Returns product policy results with evaluator and grade context.
#Simulation #Product #Policy #Inspection #Simulate

Table · Simulate
evm_run_revert_summary Summarizes terminal and lineage failure/revert information for each branch.
#Simulation #Product #Execution #Revert #Inspection #Simulate

Table · Simulate
evm_run_summary Summarizes an eval run without materializing workflow-specific tables.
#Simulation #Product #Run #Inspection #Simulate

Table · Simulate
evm_run_touched_contracts Returns contracts/accounts touched by branch attempt evidence relations.
#Simulation #Product #Execution #Inspection #Simulate

Table · Simulate
evm_run_transfers Lists projected semantic transfers for terminal branch attempts in a run or branch id.
#Simulation #Product #Semantic #Inspection #Simulate

Table · Simulate
evm_schema_registry Reports canonical schema/name placement for extension-owned Determica SQL objects.
#Simulation #Schema #Inspection #Simulate

Table · Simulate
evm_schema_reset Guarded destructive reset for extension-owned Determica schema tables; requires explicit true flag and reason.
#Simulation #Schema #Simulate

Scalar · Simulate
evm_select_branch_terminal_attempt Selects exactly one linked terminal execution attempt for a product branch.
#Simulation #Product #Branch #Execution #Evidence #Simulate

Scalar · Simulate
evm_select_canonical_state Registers a selected-state policy and counts query-time selected canonical observations for that policy.
#Simulation #State #Evidence #Selection #Simulate

Scalar · Simulate
evm_semantic_transfer_truth Explains semantic transfer truth labels and policy movement usability.
#Simulation #Product #Semantic #Inspection #Simulate

Table · Simulate
evm_set_code Commits a local code assumption for a simulation. Local code shadows chain code without implying storage, balance, or nonce assumptions.
#Simulation #Assumption #State #Simulate

Scalar · Simulate
evm_settings Returns active Determica v2 runtime settings, including writer bounds and storage contract flags.
#Simulation #Settings #Inspection #Simulate

Table · Simulate
evm_sim_state_changes Reads physical committed state changes from the committed-state lookup.
#Simulation #State #Source #Simulate

Table · Simulate
evm_state_access_audit Audits state read provenance for a branch or run.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_state_key Returns Determica's exact v2 domain-separated state key and probe columns for a state coordinate.
#Simulation #State #Inspection #Simulate

Table · Simulate
evm_storage_mode_status Reports the active Determica direct-typed attempt storage mode and physical resolver backing.
#Simulation #State #Storage #Inspection #Simulate

Table · Simulate
evm_update_branch_decision Updates mutable product branch decision fields.
#Simulation #Product #Run #Branch #Decision #Simulate

Scalar · Simulate
evm_validate_unsigned_execution_context Validates unsigned transaction, selected EVM version, and pinned block context before signer-grade execution.
#Simulation #Execution #Validation #Evidence #Simulate

Scalar · Simulate
evm_versions Returns supported EVM versions and version-derived feature flags for execution analysis.
#Simulation #Execution #Inspection #Simulate

Table · Simulate
evm_visible_committed_effects Returns lineage-visible committed effects.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_visible_contract_creates Returns lineage-visible committed contract create facts.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_visible_lineage Returns the visible metadata-only fork lineage and revision watermarks for a simulation.
#Simulation #State #Inspection #Simulate

Table · Simulate
evm_visible_selfdestructs Returns lineage-visible committed selfdestruct facts.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_visible_state_changes Returns lineage-visible latest committed state changes.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_visible_storage_writes Returns lineage-visible latest committed storage writes.
#Simulation #Product #Inspection #Simulate

Table · Simulate
evm_writer_metrics Returns process-local durable writer metrics for Determica v2 execution finalization batches.
#Simulation #Writer #Inspection #Simulate

Table · Simulate

The deterministic runtime before onchain capital moves.

Demo Docs Request pilot