OpenZeppelin/canton-stablecoin: docs/stablecoin/AUDIT.md

# Verification Report: Stablecoin CDP System Three open-source verification tools and manual code review were used to analyze this codebase. All findings have been patched or acknowledged. ## Summary | Metric | Value | |--------|-------| | Tools used | 3 (daml-lint, daml-props, daml-verify) | | Find