Changelog 1.3.0 (2026-07-01) Features -- All Languages dafny: Add bucket beacon support (#1943) (5c53d59) Fixes -- All Languages validate attribute name length by UTF-8 byte count (#2329) (1520838) Maintenance -- All Languages dafny: add length check validation for beacon key condition expressions (#2348) (0b21d4b)