daml correctness gate corpus development proposal

[boorich]

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

• Proposal file added under /proposals/
• Milestones and funding amounts defined
• Acceptance criteria included
• 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.

[Jatinp26]

Thoughts:

• a MAJOR PART of dev fund is making sure things are diff from what's already in the ecosystem, so how's its diff from currently well established https://damlstudio.tenzro.network/

• The "first 3 paying institutional licenses" in M4 is a commercial milestone, not a public-good milestone. Are the corpus and gate proprietary commercial products? or Opensource?