Expand description
Host-edges gate. Per-host DAG within a single rollout:
Edge { gated: A, gates: B } holds A’s dispatch until B is
ordering-eligible — Converged (canonical “health-verified at
target”) OR Deferred (activation staged, live-switch pending
operator reboot per RFC-0005 §3 terminal-for-ordering).
LOADBEARING: Deferred counts as ordering-eligible. Without this,
a single host that hit DeferredPendingReboot (framework upgrade
touching dbus/systemd/kernel/init) would halt the cascade
indefinitely on downstream host-edge dependencies. Deferred is
“this host is done participating in the rollout step from an
ordering standpoint”; actual health verification (probes, soak)
runs once the operator reboots.