feat: prove the PNG round trip (IMG-PNG-2), and IMG-PNG-9 and IMG-PIX-1 with ancillary chunks - #69

Merged

ngngardner merged 7 commits into

mainfrom

claude/skills-marketplace-setup-hlbfz7-wp11-png-finish

Sep 26, 2026

Commits on Sep 25, 2026

proof: the wide PNG encodings write stored blocks of 65535 bytes
claude
committed
c2a28e4

Commits on Sep 26, 2026

proof: ancillary chunks leave the PNG chunk walk as it was
claude
committed
01ffdca
Merge origin/main into wp11-png-finish
claude
committed
f29bc16
proof: prove the PNG round trip below 2^29 samples, and ancillary chunks
claude
committed
a0dabbc
Merge origin/main into wp11-png-finish
claude
committed
a7fe2b4
docs: record WP11 in the law inventory
claude
committed
92d3937
Merge remote-tracking branch 'origin/main' into claude/skills-marketplace-setup-hlbfz7-wp11-png-finish
claude
committed
3ce488d