I doubt something like this can be retrofitted, but was just curious if Snap's v7 (or later) architecture might allow something like this. Among other things it would make auto-testing of complete interactive assignments more tractable. This is from the Bootstrap folks at Brown.
Wow, that's a fascinating paper! Thanks for bringing it to my attention.
Certainly nothing in v7 would make this easier to do. More generally, they point out toward the end of the paper that it assumes non-concurrency. We can have half a dozen when-flag-clicked scripts in the same sprite. That's not an insuperable obstacle, but it means we couldn't just follow their work step by step.
It is neat. The kind that once you've read it the model is so obviously correct. Frankly I'd be happy being able to do the older World model (from HtdP and Racket then Pyret) in Snap but don't yet see a clear path to it.
Btw, been sending you some emails (from Desmond D'Souza), not sure if your spam filter is catching them, will re-send one.
Ah, that's you!
I just replied to the BJC one. I forwarded the Snap! ones to @jens, but he's been really busy lately.