Yep! Sketch.systems sketches are based on the statechart formalism developed by David Harel in the 1980’s. For more details, see:

Does Sketch.systems support transition guards, transition actions, or extended state variables?

Nope!

The focus of Sketch.systems is on big picture sketching for communication and thinking.

Supporting guards, actions, and variables would require turning Sketch.systems into a programming language IDE, which we feel would detract from its usefulness as a sketching tool.

We recommend focusing on the big picture, using comments and transient states to capture logic at a high level (see designing behavior for more details).

Then, once you’ve settled on the big picture and want to implement, do so directly in your production platform and language(s).