Expand description
Mutable, revisioned work graph (PSP-8 System 4).
Each graph revision is acyclic, but the session as a whole may add, retire,
split, merge, update, or requeue nodes as verifier evidence changes. Updating
a node creates a new WorkNode generation rather than mutating it in place;
retired generations remain in the ledger but are no longer executable.
Structs§
- Graph
Validation Report - Result of validating a revision before activation.
- Work
Edge - A directed edge in a graph revision.
- Work
Graph Revision - A durable version of the work graph (PSP-8
WorkGraphRevision). - Work
Node - An immutable incarnation of a node (PSP-8
WorkNode).
Enums§
- Edge
Kind - Typed edge semantics (PSP-8 System 4).
- Graph
Edit - One deterministic edit applied to an immutable graph revision. Coding work is represented by an evolving sequence of acyclic snapshots, not by the fiction that the initial DAG is complete.
- Graph
Revision Reason - Why a graph revision was produced.
- Node
Class - The kind of work a node performs.
- Work
Node State - Execution state of a node generation.
Functions§
- validate
- Validate a node/edge set: check that all edge endpoints exist and that the dependency subgraph is acyclic (Kahn’s algorithm).