invariant-verify 0.1.2

T1Covered by 1 source · first reported by PyPI / crates.io / RubyGems / Go index / NuGet at 25 Sept, 22:44 UTC

Declare what must stay true. invariant runs the checks and writes a proof bundle, not just a pass/fail line.