Module decision_runner 

Runner boundary for executing deterministic decision-loop commands.

Runtime scope

• Build: default via scanning.
• Execution: Surface B (deterministic decision runtime).
• Default termivar scan: yes, through StandardWebDecisionRuntime.
• Support: implemented and tested.

See docs/internals/runtime-map.md.

The decision loop chooses an action; this module resolves its executor, honors scheduler delays, records native evidence, and submits the resulting snapshot to the correct verifier. Executors never receive the knowledge base or decision policy, so plugins cannot bypass provenance checks or mutate reasoning state directly.

Structs

DecisionEvidenceReceipt

A committed evidence batch and the snapshots needed by verification.

DecisionExecutionFailureReceipt

Immutable audit receipt for an executor-reported pre-commit failure.

DecisionExecutionLimits

Host-owned resource allowance attached to one isolated execution.

DecisionExecutionRequest

Immutable, transport-neutral request passed to one action executor.

DecisionExecutorError

Failure reported by an isolated action executor.

DecisionExecutorRegistry

Deterministic executor lookup used by the decision runner.

DecisionRunnerAdapter

Executes decision commands without moving policy into the runner.

PluginDecisionExecutor

Bridge from the source-level crate::PluginRegistry to native evidence.

Enums

DecisionExecutionClass

How a semantic action is executed: by touching the network, or purely from already-committed immutable knowledge.

DecisionExecutionFailureKind

Transport-neutral reason an executor reported failure before evidence commit.

DecisionExecutionStage

Verification stage whose evidence an executor must collect.

DecisionRunnerError

Failures raised while resolving, executing, or recording a command.

DecisionRunnerTurn

Result of executing one decision-loop command through the runner boundary.

Traits

DecisionActionExecutor

Narrow execution API implemented by native collectors and plugin bridges.

PluginExecutionRequestProvider

Host policy that creates one capability-bound plugin invocation.