Save verification state at logical breakpoint
Spawn a side task without losing main context
C++ TDD with GoogleTest
NanoClaw REPL interaction