ReadonlyconditionalConditional deps the engine might read but has not yet.
ReadonlydepsDependency set as of the most recent compute.
ReadonlygraphIdentifier of the graph instance this node belongs to. Required as of schema 3.
ReadonlyidIdentifier of the derived node within the source graph.
ReadonlykindDiscriminator selecting the derived variant of IRNode.
ReadonlyserializableWhether the mirrored value is JSON-serialisable; gates inclusion
in the checker's reachable-state enumeration.
ReadonlyvalueThe most recent committed value, mirrored here so the checker does not need to re-evaluate compute closures (which Rust cannot call across the FFI boundary).
IR projection of a
derivednode — a composed Behavior whose dependency set was captured during its last successful compute.Remarks
The §4 two-primitive discipline lives here. What earlier drafts called a "conflict" is an
IRDerivedover an Input map — a derived view of the engine's own lifecycle, composed at the application layer rather than spelled as a separatekind(iasbuilt/causl#359).