Patches

The verified source is the pinned zlib/ submodule plus any *.patch files in this directory, applied in name order. There are currently no patches.

The submodule is never edited. A patch is allowed only for a confirmed upstream bug that blocks a proof. It must be minimal, match a submitted upstream fix, and be listed here. Remove it once upstream incorporates the fix and the pin moves past it.