01INTENT
A proposed actionThe starting point
Explore what could happen, understand what else changes, and check what is safe before anything becomes real.
A failed invariant interrupts the proposed action before commit. No real-world change occurs.
The graph is a visual illustration of the decision process.