v1.1.0

1.1.0 (2026-09-25)

⚠ BREAKING CHANGES

• premultiply and straight are removed from main.bend.
• encode_jpeg returns Maybe<&2, List<&2, U32>>.

Features

• add U32 equality lemmas and prove IMG-PNG-1 (#49) (82b90f8)
• prove IMG-JPG-1 and IMG-JPG-5, and the JPEG side of IMG-PIX-1 (#55) (e8328ed)
• prove IMG-PIX-2 (JPEG encode ignores alpha) and IMG-RAS-5 (map) (#44) (037b1ee)
• prove IMG-PNG-1's forward half and reword IMG-JPG-2 (#47) (46e42a6)
• prove IMG-PNG-5, the chunk CRC is ISO 3309 CRC-32 (#52) (1e2d7a3)
• prove IMG-PNG-6, unfiltering follows the PNG filter definitions (#53) (659cd65)
• prove IMG-PNG-8 and the pixel stage of IMG-PNG-9 (#51) (73dbf09)

Bug Fixes

• encode_jpeg returns Maybe and refuses what encode_png refuses (#42) (33a2ef4)
• remove premultiply and straight (#43) (8573fb1)