[Infrastructures] state machines

[Daniel Hagerty]

 > The execution method starts with "what-1", executes "how" to produce
 > "what-2".  Without being able to more or less fully inspect "what-1",
 > you're not going to have too much idea about "what-2", despite the
 > relative clarity of "how".  What if "how" were a simple patch to
 > "what-1"?  I will grant you that having "how" as a clear delta
 > between "what-1" and "what-2" can be handy for deeper analysis,
 > particularly if it's reversible.

    You're assuming that I'm of the isconf school, and that being in
state what-1 is a strict precondition.  Really I prefer to avoid that,
or at least have the delta function perform enough introspection to
recognize when and when it can't do the right thing.  The problem is
obviously undeciable from far enough out, but in practice, you won't
arrive here often.


    I don't think we need to go down this relatively off topic route
further.  We're coming from very different backgrounds and
enlightening the differences between them is probably better reached
through another path.