История изменений

произвольное условие для выхода

синхронное (вылетаем на той же строчке где случилось нарушение) или асинхронное («догоняющая смерть»)

не обязательно смерть, лучше произвольный коллбэк, конечно. Просто смерть сложнее, если колбэк - функция, то return в этой функции не убьет вызывающий код

это возможно. Например так: реализуем java отладчик (или просто копипастим его из эклипсы или идеи) и запускаем код под ним, расставляем breakpoints на каждой строчке нужного блока, и для проверки условия используем тот же механизм что отладчики используют для watch list.

Один пример реалзизации есть - значит доказано что утверждение «это невозможно» не верно

но остается куча вопросов. Например, что за механизм позволяет watch list останавливать мир?

Конечно статическую версию хотелось бы увидеть поболее. Например, если мы реально на каждой строчке руками пишем boilerplate для проверки предположения, в какой конструкции это выглядит наиболее изящно?

произвольное условие для выхода

синхронное (вылетаем на той же строчке где случилось нарушение) или асинхронное («догоняющая смерть»)

не обязательно смерть, лучше произвольный коллбэк, конечно

это возможно. Например так: реализуем java отладчик (или просто копипастим его из эклипсы или идеи) и запускаем код под ним, расставляем breakpoints на каждой строчке нужного блока, и для проверки условия используем тот же механизм что отладчики используют для watch list.

Один пример реалзизации есть - значит доказано что утверждение «это невозможно» не верно

но остается куча вопросов. Например, что за механизм позволяет watch list останавливать мир?

Конечно статическую версию хотелось бы увидеть поболее. Например, если мы реально на каждой строчке руками пишем boilerplate для проверки предположения, в какой конструкции это выглядит наиболее изящно?