Method with_budget

core/src/orchestration/workflow.rs:124–127

Attach the shared budget ledger this workflow reports on. The SAME `Arc ` must also be installed as the executor's child `budget_guard` (the in-box wiring is done by [`AgentSession::workflow`](crate::AgentSession::workflow)); the workflow only *reads* it for [`budget_snapshot`](Workflow::budget_snapshot) and to emit [`WorkflowEvent::BudgetExhausted`].

(mut self, budget: Arc<WorkflowBudget>)

    /// only *reads* it for [`budget_snapshot`](Workflow::budget_snapshot) and to
    /// emit [`WorkflowEvent::BudgetExhausted`].
    pub fn with_budget(mut self, budget: Arc<WorkflowBudget>) -> Self {
        self.budget = Some(budget);
        self
    }

    /// Persist progress so each [`phase`](Workflow::phase) becomes a resume
    /// boundary. Without a store, phases run as plain (non-resumable) barriers.