Love it. Lmk if you never need a hand. I was on the core analysis team at Fortify.

Thanks for sharing this background and cool project.

On the topic of inactive continuation implementations for Java: I implemented native support for both delimited (shift/reset) and non-delimited (call/cc) continuations in the Avian JVM. See https://github.com/ReadyTalk/avian/blob/master/test/extra/Co... for some mind-bending examples.