type Verdict
import ezx@1.11.0.0/src/add/plan.bend as Planimport Base
340# where the World stands before the walk: every answer it needs is in, a
341# question is still open, or the add refuses
342type Verdict is Data:
343 Go{}
344 Pending{qs: List<&2, Q>}
345 Stop{why: String}