Last released Sep 26, 2026
Trace the change. Find the cause.
Executable architectural model for safe what-if experimentation (M0: contracts + validate)