David,
I added some comments to your nicely detailed
description of the issues associated to the
State Machine.
This is a very healthy discussion, and it is
fundamental for enforcing the reliability of
the toolkit.
Look forward to discuss more on this at the
tcon tomorrow.
Luis