Daml correctness gate corpus
Development Fund Proposal Submission
Proposal file:
/proposals/daml-autopilot-correctness-gate.md
Summary
canton-corpus-bundle is an openly licensed, versioned corpus of production-verified Daml patterns, anti-patterns, and tests. It is a standalone artifact — a Chroma-compatible vector store plus oracle index and manifest — that any team can download and query directly, independent of any server or paid service.
A corpus exists and is operational. This proposal funds building it out systematically across the full Daml taxonomy and establishing the release cadence and quality infrastructure that keeps it honest: four versioned public releases over six months, each gated by a benchmark suite before publication.
ChainSafe operates a hosted MCP server (canton-mcp-go-server) on top of this corpus. That server is ChainSafe's product, funded and operated independently. The grant funds the corpus artifact and its open publication — not the server, not CI/CD tooling, not any commercial infrastructure.
Checklist
- Proposal file added under
/proposals/ - Milestones and funding amounts defined
- Acceptance criteria included
- Alignment with Canton priorities described
Notes for Reviewers
What changed since the original submission (April 2026): The proposal has been substantially revised based on the reviewer question from @Jatinp26 and an honest audit of what is and isn't built.
- Scope narrowed to corpus only. The original submission described CI/CD tooling, institutional licensing, and server features as funded deliverables. None of those belong in an ecosystem grant. They have been removed. The four milestones are now four corpus releases, nothing else.
- Implementation claims corrected. The original described on-chain billing and Ed25519 auth as grant-relevant. They are ChainSafe product details with no bearing on the corpus public good, and have been stripped.
- Differentiation from Daml Studio clarified.
daml_reasondoes not generate code. It verifies code from any source — including AI-generated Daml from tools like Daml Studio — against a maintained corpus of verified patterns. Generation and verification are complementary specialisations. Tenzro has expressed interest in consuming the correctness gate as a downstream check on Daml Studio output. - Open-source status made unambiguous.
canton-corpus-bundleis CC-BY-SA 4.0. The benchmark and tooling methodology is Apache 2.0. ChainSafe's server is ChainSafe's product and is not open-sourced, but the corpus it runs on is, and anyone can build a competing or complementary server against the same open artifact.
The funding math is fully itemised in the proposal: four equal milestone payments of 155,250 CC each (621,000 CC total) at $0.145 USD/CC.