=

The passage around this formula

Formally, this pattern replaces the time-indexed loop with execution over a graph: $G = (V, E), \qquad v \to v' \text{ fires iff } \gamma(v, v') = 1$. where each node v $\in$ V is either a deterministic function or an invocation of some policy $\pi_v$ , and $\gamma$ is an explicit gate on the edge — a test, a validation check, or a human approval — that must pass before the transition is permitted. That is the structural reason human approval is a first-class primitive in this pattern rather than a wrapper bolted around it from outside: approval is just one kind of $\gamma$ , attached to one particular edge, rather than a blanket condition on the whole run.

Read this part in the article →