Cool approach for real-time verification. I built something similar for long-term behavioral patterns: https://github.com/oscarsterling/reasoning-loop