Distillation

Date: Sep 9, 2026

• 🟡 (13:08) Inspected Python 3.12’s standard-library ZIP implementation at /usr/lib/python3.12/zipfile/__init__.py: LZMADecompressor buffers the ZIP LZMA header and properties, then initializes lzma.LZMADecompressor(lzma.FORMAT_RAW, filters=[lzma._decode_filter_properties(lzma.FILTER_LZMA1, ...)]); _get_decompressor(compress_type) supports ZIP_STORED, ZIP_DEFLATED, ZIP_BZIP2, and ZIP_LZMA, and raises NotImplementedError for unsupported compression types.
• 🟡 (13:08) Inspected LZMACompressor in /usr/lib/python3.12/zipfile/__init__.py: _init() creates LZMA1 properties with lzma._encode_filter_properties({'id': lzma.FILTER_LZMA1}), initializes a raw lzma.LZMACompressor, and prefixes output with struct.pack('<BBH', 9, 4, len(props)) + props; compress() and flush() lazily initialize the compressor.