Module spec 

ProcessSpec sub-structures — IdentitySpec, DependsOn, SignalPolicy.

Structs

DependsOn

Dependency edge — constrains this Process to wait for another to reach a phase.

IdentitySpec

Identity configuration for a Process.

SignalPolicy

Signal policy — how the Process responds to signals.

UnknownMustReachPhase

Enums

MustReachPhase

Allowed “must reach” phases for a dependency — restricted to the useful gating checkpoints Running (alive + boundary preconditions held) and Attested (alive + boundary postconditions held + three- pillar attestation written). Authoring a DependsOn { must_reach: Forking } is meaningless; the closed set rules it out at the type level.