Init-Update-Status-Reset: O(1) Safety Guarantees

A four-function interface that enables static analysis, bounded resources, and compositional verification