Expand description
Bounded Work Graph for multi-agent orchestration.
The graph model lives in the lean-ctx-workgraph crate and is re-exported
here unchanged, so engine paths such as crate::core::work_graph stay
stable. Persistence lives in core::work_graph_store.
Structs§
- Bounded
Work Graph - Bounded, acyclic work graph with enforced fan-out and budget constraints.
- Chain
Budget - Tracks the total budget across an entire delegation chain.
- Child
Execution Receipt - Fused
Results - Measured
Execution Spend - Canonically verified provider spend that exceeded its authorization.
- Result
Claim - Result
Conflict - Team
Value Report - Work
Attribution - Work
Node - Work
Node Budget
Enums§
- Child
Outcome - Node
Status - Stop
Reason - Usage
Source - Provenance of a receipt’s consumption figures. Receipts from earlier releases carry connector-measured usage; host-run nodes report their own, which stays bounded by the node budget either way.
- Work
Graph Error
Constants§
- MAX_
DELIVERY_ ATTEMPTS - Upper bound of persisted delivery attempts within one fence. New starts use attempt 1; stores written by earlier releases may still carry attempt 2.
- WORK_
GRAPH_ SCHEMA_ VERSION