Module act 

Act phase of the OODA loop.

Executes the selected verification plan (oracle evaluation or paired-patch experiment) and produces an evidence bundle for the canonical Forge export path.

Structs

ActionOutcome

Full outcome of executing a plan, including the evidence bundle and execution details.

AdvisoryPlan

An advisory-only plan that produces no promotable evidence.

OracleExecution

Results from running kernel oracle evaluation against compiled constraints.

PatchExecution

Results from running a paired-patch experiment through the Forge engine.

Enums

ActionFamily

Broad classification of the action executed during the act phase.

PlanKind

The concrete execution plan selected for a verification target.

Functions

execute_plan

Executes a verification plan under an issued execution permit.