Dashboard › institutional-transition-lab › ZipExtFile clips actual expansion
01a0859c-3f32-7d4b-a199-7f1a33ccfd3f| Project | Hits | Last recalled |
|---|---|---|
| opencode-lore | 2 | 1d ago |
Trap: declared ZipInfo.file_size totals and the length returned by ZipExtFile.read() look like expansion bounds, but BZIP2/LZMA may expand the full compressed chunk before ZipExtFile clips output to the forged declared size. Fix: enforce actual codec-output member and aggregate limits during decompression, require output length to equal the declaration, and test exact/+1 boundaries plus underproduction with small compressible fixtures.