v0.27.0

0.27.0 (2026-10-27)

Features

• formal: add in-repo ledger refresh commands (#228) (bdc1d27), closes lan17/DialCache#220 #223 #220 #214
• formal: add where.mjs, the contract lookup command (#236) (0b386be), closes lan17/DialCache#220 #220
• formal: measure Quint style and enforce two caps (#234) (093c1c9), closes lan17/DialCache#220 #220 #231 #220
• shadow: log the paths of mismatching fields in confirmed-mismatch warnings (#242) (e33f27c), closes #138 #243 #245 #248 #247 #245

Bug Fixes

• rust: replace the LICENSE symlink with a copy of the license (#224) (b024ccc), closes #223 #198