test: add invariant tests across all 6 contract crates - #51

Open

chazepay wants to merge 2 commits into

Kqirox:mainfrom

chazepay:test/invariant-tests-all-contracts

Commits on Jul 20, 2026

docs: migrate // comments to /// rustdoc across all 6 contract crates - Replace floating // block comments at module level with //! crate-level docs - Add structured /// rustdoc (# Arguments, # Ret…
chazepay
committed
test: add invariant tests across all 6 contract crates Add a per-crate invariants.rs module to every contract, implementing two classes of guarantee for every public method: 1. Event cardinality — …
chazepay
committed