daml correctness gate corpus development proposal

Development Fund Proposal Submission

Proposal file: /proposals/daml-autopilot-correctness-gate.md

---

Summary

Daml Autopilot is a live MCP server that provides an automated correctness gate for Daml smart contracts, combining static safety analysis with semantic retrieval against a corpus of production-verified patterns. It is already deployed and operational on a Canton-connected node with on-chain billing. This proposal funds the next stage: systematic corpus coverage across the full Daml taxonomy, CI/CD pipeline integration, and institutional licensing infrastructure.

---

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

The server, authentication, and on-chain billing infrastructure are already live — this is not a greenfield proposal. The primary deliverable is corpus depth and the benchmark tooling to keep it honest. The funding math is fully itemised in the proposal with a per-milestone USD breakdown and the CC conversion rate used at submission.