OpenZeppelin/daml-props: PUBLIC_AUDITS.md

# daml-props — Public Audit Results Property-based testing of DAML contracts using random action sequences, invariant checking, and delta-debugging shrinkage. All findings are **NOT VALIDATED** by the respective project teams — they are tool output only. **Date:** 2026-03-04 **Tool version:** daml-p