daml correctness gate corpus development proposal
SubmittedPR- SIG
- needs-SIG
- Champion
- —
- Author org
- —
- Ask
- 621,000
Abstract
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.
Milestones
| Title | Due date | Target | Amount (CC) |
|---|---|---|---|
| Corpus Foundation and Benchmark Infrastructure | — | — | 168,000 |
| MCP Integration and Developer Experience | — | — | 112,000 |
| CI/CD Pipeline Integration | — | — | 168,000 |
| Production Hardening and Licensing Infrastructure | — | — | 173,000 |
| Total | 621,000 | ||
Budget impact
- % of available
- 0.3%
- % if all RFV pass
- 0.3%
- Ask (CC)
- 621,000
Comments by org
1 comment · 1 org · last activity Apr 23, 2026
| Organisation | Comments |
|---|---|
| Supra.com | 1 |