Deterministic Workflow orchestration over Pixir Subagents.
A Workflow is a bounded plan of Subagent steps with explicit dependency edges and write-set metadata. It is deliberately a runtime scheduler over ADR 0011 Subagents, not a second agent/session primitive.
Summary
Functions
Validate a Workflow and return its normalized execution plan without running it.
Named proof states a Workflow dry-run can prove without spawning Subagents.
Named proof states for a Workflow that produced an honest partial outcome.
Named proof states used by dry-runs, smoke tasks, and completion audits.
Run a Workflow by scheduling its steps through Pixir.Subagents.
Functions
Validate a Workflow and return its normalized execution plan without running it.
@spec dry_run_proof_states() :: [String.t()]
Named proof states a Workflow dry-run can prove without spawning Subagents.
@spec partial_proof_states() :: [String.t()]
Named proof states for a Workflow that produced an honest partial outcome.
@spec proof_states() :: [String.t()]
Named proof states used by dry-runs, smoke tasks, and completion audits.
Run a Workflow by scheduling its steps through Pixir.Subagents.