schema_version = 1
id = "compression.zlib_decompress"
archetype = "compression-bytes-to-bytes"
display_name = "zlib Decompress"
summary = "RFC 1950 zlib wrapper decompression with Adler-32 and expansion-ratio defense."
category = "A"
composition_of = [
"compression.deflate_decompress",
"primitive.math.add",
"primitive.bitwise.and",
"primitive.compare.gt",
]
[signature]
inputs = ["Bytes"]
output = "Bytes"
laws = [
"Bounded",
]
equivalence_classes = [
"empty",
"fixed_huffman_payload",
"bad_adler32",
"decompression_bomb",
]
workgroup_size = [1, 1, 1]
tags = ["compression", "zlib", "rfc1950", "adler32", "bomb-defense"]
fixtures_dir = "fixtures/"
[runtime]
max_output_ratio = 1024