Documentation

Browse documentation

Documentation

Docs
Functions
#Product

#Product

Functions marked with Product, 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_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_close_eval_run Closes an eval run with a canonical terminal decision.
#Simulation #Product #Run #Evidence #Simulate

Scalar · 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_evaluate_policy Evaluates a durable policy spec and stores one policy result row per rule.
#Simulation #Product #Policy #Evidence #Simulate

Scalar · Simulate
evm_evidence_contract_roots Typed wrapper over stored and recomputed evidence dependency/body/product roots.
#Product #Evidence #Inspection #Simulate

Table · Simulate
evm_evidence_dependencies Returns durable evidence dependency rows for one final evidence hash.
#Product #Evidence #Dependency #Inspection #Simulate

Table · Simulate
evm_evidence_dependency_stage Exports staged evidence dependency rows without stage_id or evidence_hash.
#Product #Evidence #Dependency #Inspection #Simulate

Table · Simulate
evm_evidence_dependency_staging_root Returns the pre-finalization dependency root for a staged dependency closure.
#Product #Evidence #Dependency #Simulate

Scalar · Simulate
evm_evidence_packet Returns a handoff evidence packet with final dependency rows, signer-visible rowset commitments, and parity.
#Product #Evidence #Inspection #Simulate

Scalar · Simulate
evm_evidence_record Returns one durable final product evidence record.
#Product #Evidence #Inspection #Simulate

Table · Simulate
evm_evidence_retention_status Reports v1 evidence retention protections.
#Product #Evidence #Retention #Simulate

Scalar · Simulate
evm_evidence_revalidation_status Reports evidence revalidation status against current context.
#Product #Evidence #Revalidation #Simulate

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

Table · Simulate
evm_execute_bundle Alias for evm_execute_candidate_bundle using the full kernel_in_memory execution path.
#Product #Workflow #Candidate #Bundle #Evidence #Simulate

Scalar · Simulate
evm_execute_candidate Runs candidate ingestion, branch execution, semantic transfer projection, policy evaluation, and optional evidence promotion.
#Product #Workflow #Candidate #Preflight #Evidence #Simulate

Scalar · Simulate
evm_execute_candidate_bundle Runs a multi-candidate preflight bundle with explicit candidate membership and branch comparison inputs.
#Product #Workflow #Candidate #Bundle #Preflight #Evidence #Simulate

Scalar · 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_finalize_evidence_dependencies Writes staged dependency rows under an already inserted final evidence_hash.
#Product #Evidence #Dependency #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_preflight_candidate Runs a single-candidate preflight using run_config and policy from options_json.
#Product #Workflow #Candidate #Preflight #Evidence #Simulate

Scalar · 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_promote_branch_evidence Promotes a branch into an immutable final product evidence record. evidence_config_json may include rowset_dependencies to commit signer-visible rowset hashes without storing row contents.
#Product #Evidence #Promotion #Simulate

Scalar · Simulate
evm_promote_candidate_evidence Promotes an executed candidate branch through the product evidence validator and returns inspectable ids.
#Product #Workflow #Candidate #Promotion #Evidence #Simulate

Scalar · Simulate
evm_prune_guard_check Refuses pruning rows protected by active evidence dependency maps.
#Product #Evidence #Retention #Prune #Simulate

Scalar · Simulate
evm_record_evidence_handoff_ref Records the v1 external handoff reference for committed evidence.
#Product #Evidence #Handoff #Simulate

Scalar · 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_evidence_json Returns canonical JSON for a final product evidence record.
#Product #Evidence #Inspection #Simulate

Scalar · 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_select_branch_terminal_attempt Selects exactly one linked terminal execution attempt for a product branch.
#Simulation #Product #Branch #Execution #Evidence #Simulate

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

Table · Simulate
evm_stage_evidence_dependencies Stages exact evidence dependency rows in process memory before final evidence_hash exists, including optional signer-visible rowset commitments supplied as rowset_dependencies. Row contents remain caller-owned and only hashes are stored.
#Product #Evidence #Dependency #Simulate

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

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

Scalar · 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_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

The deterministic runtime before onchain capital moves.

Demo Docs Request pilot