DamlCov: Test coverage analysis tool for Daml smart contracts

Development Fund Proposal Submission

Proposal file: proposals/test-coverage-damlcov.md

---

Summary

We propose developing a test coverage tool for Daml smart contracts. Such a tool is currently not available for Daml, meanwhile it belongs to the basic toolbox expected by developers. The tool will be designed from the ground up for Daml's unique authorization model, UTXO-like state, and multi-party privacy semantics. It will be developed as open-source, free to use, executable locally, will integrate with the current Daml tooling, and will provide reports usable in CI/CD pipelines.

---

Checklist

• [x] Proposal file added under /proposals/
• [x] Milestones and funding amounts defined
• [x] Acceptance criteria included
• [x] Alignment with Canton priorities described

---

Notes for Reviewers

This proposal separates our DamlCov into an independent proposal from PR#52.