Skip to main content

Module graph

Module graph 

Source
Expand description

Dependency edges, strongly connected components, gates, and obligations.

Structs§

ArtifactEvaluation
ArtifactNode
Component
ComponentId
A strongly-connected component’s position in Graph::components, guarding it from arbitrary usize arithmetic: dependency-first, so a lower id is never a later component’s dependency.
EvalEvaluation
Evaluation
Graph
GraphError

Enums§

ArtifactStatus
BlockedReference
A blocked dependency names either material or an Eval, never an unclassified string.
Cause
The failed eval at the root of a block: a RED verdict, or in a Run that treats operational failures as blockers (--speculate), an ERROR. A Human eval is also blocked by a RED or ERROR machine eval of its own Artifact, its sibling.
EvalStatus
Evidence
Current means usable for this input/run, not merely the latest stored result. Stale evidence carries no current verdict; operational failure is not RED.
FinalStatus
Aggregate validation status, never a fabricated Eval verdict.
Readiness