AllocationLiveness typedef

AllocationLiveness = bool Function(AdoptFence fence)

The engine's pgid-liveness half of the daemon adopt-freshness proof (ADR-0009 D4: "pgid alive"). Returns whether the process group at fence is STILL a live OS group — bound to a ProcessGroupController by the composer (live); the offline default is false (no controller ⇒ can't prove liveness ⇒ respawn fresh, no-adopt-on-faith). The domain-specific "token echoed over its endpoint" half is ProcessCapability.proveFreshness.

Implementation

typedef AllocationLiveness = bool Function(AdoptFence fence);