Status Is Downstream of Proof: The Architecture of Anvil

An agent reported a test it never wrote. That gap is the whole reason Anvil exists, now open source as anvil-state on PyPI. Here is the architecture, and the one part still unsolved.