The operator reads manifest, declaration and send, not definition, composition and update. D1 already resolves every machine, so the left-out judgement rides on it instead of resolving each machine again. A test holds that a wait's own needs-operator still clears beside it.