#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.Scalar · Simulate
- evm_add_eval_run_candidate Adds explicit ordered candidate membership to a mutable eval run.Scalar · Simulate
- evm_artifact_vs_exact Compares installed code artifacts with exact committed code/create evidence.Table · Simulate
- 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_branch_gas_delta Returns terminal and complete gas deltas for two branches.Table · Simulate
- evm_branch_policy_delta Diffs policy status and grade caps for two branches.Table · Simulate
- evm_branch_state_diff Diffs lineage-visible latest committed state for two branches.Table · Simulate
- evm_branch_state_read_anomalies Returns state-read anomalies for a branch with forensic opt-in.Table · Simulate
- evm_branch_trace_diff Diffs logical frame, log, and access rows for two branches.Table · Simulate
- evm_branch_transfers Lists projected semantic transfers for a branch terminal attempt; forensic=true includes projected retry/discarded sources.Table · Simulate
- evm_branch_write_effects Returns state-write effects for a branch with forensic opt-in.Table · Simulate
- evm_build_assumption_manifest Builds a reproducible product assumption manifest for a run branch.Scalar · Simulate
- evm_candidate_validate Validates stored candidate step contiguity and executable payload availability.Scalar · Simulate
- evm_close_eval_run Closes an eval run with a canonical terminal decision.Scalar · Simulate
- evm_compare_branches Returns one compact typed summary comparing two branches.Table · Simulate
- evm_compare_runs Compares two eval runs by branch ordinal and compact product inspection counts.Table · Simulate
- evm_create_candidate Creates a product candidate with a canonical v1 candidate payload hash.Scalar · Simulate
- evm_create_eval_run Creates an eval run over a pinned base simulation context.Scalar · Simulate
- evm_create_policy_spec Creates an idempotent durable product policy specification.Scalar · Simulate
- evm_create_run_branch Creates a product branch linked to a metadata-only simulation fork.Scalar · Simulate
- evm_evaluate_policy Evaluates a durable policy spec and stores one policy result row per rule.Scalar · Simulate
- evm_evidence_contract_roots Typed wrapper over stored and recomputed evidence dependency/body/product roots.Table · Simulate
- evm_evidence_dependencies Returns durable evidence dependency rows for one final evidence hash.Table · Simulate
- evm_evidence_dependency_stage Exports staged evidence dependency rows without stage_id or evidence_hash.Table · Simulate
- evm_evidence_dependency_staging_root Returns the pre-finalization dependency root for a staged dependency closure.Scalar · Simulate
- evm_evidence_packet Returns a handoff evidence packet with final dependency rows, signer-visible rowset commitments, and parity.Scalar · Simulate
- evm_evidence_record Returns one durable final product evidence record.Table · Simulate
- evm_evidence_retention_status Reports v1 evidence retention protections.Scalar · Simulate
- evm_evidence_revalidation_status Reports evidence revalidation status against current context.Scalar · Simulate
- evm_evidence_rows Returns typed final dependency rows and related evidence row context.Table · Simulate
- evm_execute_bundle Alias for evm_execute_candidate_bundle using the full kernel_in_memory execution path.Scalar · Simulate
- evm_execute_candidate Runs candidate ingestion, branch execution, semantic transfer projection, policy evaluation, and optional evidence promotion.Scalar · Simulate
- evm_execute_candidate_bundle Runs a multi-candidate preflight bundle with explicit candidate membership and branch comparison inputs.Scalar · Simulate
- evm_execute_run_branch Executes the selected product branch steps, links all kernel attempts, and selects one terminal attempt.Scalar · Simulate
- evm_finalize_evidence_dependencies Writes staged dependency rows under an already inserted final evidence_hash.Scalar · Simulate
- evm_materialize_product_graph Deletes and rebuilds the optional product_execution PGQ read model for one run.Scalar · Simulate
- evm_preflight_candidate Runs a single-candidate preflight using run_config and policy from options_json.Scalar · Simulate
- evm_product_graph_status Returns counts and last materialization timestamp for the optional product_execution PGQ read model.Scalar · Simulate
- evm_project_semantic_transfers Projects truth-labeled ERC log facts and native transfer facts for a terminal execution attempt.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.Scalar · Simulate
- evm_promote_candidate_evidence Promotes an executed candidate branch through the product evidence validator and returns inspectable ids.Scalar · Simulate
- evm_prune_guard_check Refuses pruning rows protected by active evidence dependency maps.Scalar · Simulate
- evm_record_evidence_handoff_ref Records the v1 external handoff reference for committed evidence.Scalar · Simulate
- evm_rpc_budget_audit Audits RPC usage against optional JSON budgets without enforcement.Table · Simulate
- evm_run_asset_deltas Returns policy-usable movement deltas from truth-labeled semantic transfers.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.Table · Simulate
- evm_run_branch_comparison Compares run branches by terminal status, gas, policy counts, and transfer facts.Table · Simulate
- evm_run_branches Returns product branches for an eval run in deterministic ordinal order.Table · Simulate
- evm_run_candidates Returns explicit eval run candidates in deterministic ordinal order.Table · Simulate
- evm_run_decisions Returns the canonical one-row-per-branch product decision readout for an eval run.Table · Simulate
- evm_run_evidence_json Returns canonical JSON for a final product evidence record.Scalar · Simulate
- evm_run_gas_summary Summarizes gas across the complete hydration lineage for each branch.Table · Simulate
- evm_run_policy_failures Returns failing, warning, and error policy rows with rule-level details when available.Table · Simulate
- evm_run_policy_summary Returns product policy results with evaluator and grade context.Table · Simulate
- evm_run_revert_summary Summarizes terminal and lineage failure/revert information for each branch.Table · Simulate
- evm_run_summary Summarizes an eval run without materializing workflow-specific tables.Table · Simulate
- evm_run_touched_contracts Returns contracts/accounts touched by branch attempt evidence relations.Table · Simulate
- evm_run_transfers Lists projected semantic transfers for terminal branch attempts in a run or branch id.Table · Simulate
- evm_select_branch_terminal_attempt Selects exactly one linked terminal execution attempt for a product branch.Scalar · Simulate
- evm_semantic_transfer_truth Explains semantic transfer truth labels and policy movement usability.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.Scalar · Simulate
- evm_state_access_audit Audits state read provenance for a branch or run.Table · Simulate
- evm_update_branch_decision Updates mutable product branch decision fields.Scalar · Simulate
- evm_visible_committed_effects Returns lineage-visible committed effects.Table · Simulate
- evm_visible_contract_creates Returns lineage-visible committed contract create facts.Table · Simulate
- evm_visible_selfdestructs Returns lineage-visible committed selfdestruct facts.Table · Simulate
- evm_visible_state_changes Returns lineage-visible latest committed state changes.Table · Simulate
- evm_visible_storage_writes Returns lineage-visible latest committed storage writes.Table · Simulate