#Evidence
Functions marked with Evidence, 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_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_block_context_hash Hashes the pinned block context currently known for a simulation.Scalar · Simulate
- evm_build_assumption_manifest Builds a reproducible product assumption manifest for a run branch.Scalar · Simulate
- evm_canonical_json_hash Hashes JSON after Determica canonical key ordering and scalar normalization.Scalar · Simulate
- evm_close_eval_run Closes an eval run with a canonical terminal decision.Scalar · 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_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_execution_request_attempts Returns all persisted execution attempts for one hydration/execution request in attempt order.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.Table · Simulate
- evm_finalize_evidence_dependencies Writes staged dependency rows under an already inserted final evidence_hash.Scalar · Simulate
- evm_hash_bytes Hashes typed JSON component frames using the Determica canonical evidence hash codec.Scalar · Simulate
- evm_preflight_candidate Runs a single-candidate preflight using run_config and policy from options_json.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_run_evidence_json Returns canonical JSON for a final product evidence record.Scalar · Simulate
- evm_select_branch_terminal_attempt Selects exactly one linked terminal execution attempt for a product branch.Scalar · Simulate
- evm_select_canonical_state Registers a selected-state policy and counts query-time selected canonical observations for that policy.Scalar · 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_validate_unsigned_execution_context Validates unsigned transaction, selected EVM version, and pinned block context before signer-grade execution.Scalar · Simulate