Proposal: Daml Upgrade Compatibility Linter

CLOSEDPull Request

by ayushsingh8222-05-2026Declined

needs-sig-labelneeds-champion

Development Fund Proposal Submission

Proposal file: /proposals/daml-upgrade-compatibility-linter.md

---

Summary

An open-source static analysis tool that compares two compiled Daml package versions and reports whether the new version is a safe smart contract upgrade of the old one, pointing to the exact template, field, or choice and the source location of any breaking change. It runs locally and in CI so teams catch upgrade problems before they deploy, and is released under Apache-2.0.

---

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 follows the design of the already approved Daml Package Analyzer (#130): it reads the compiled artifact and reports source-level findings, but it compares two versions of one package for upgrade safety rather than analyzing cross-package authority. Suggested SIG label: daml-tooling. Seeking a champion from the Daml Language & Developer Tooling SIG. cc @hrischuk-da