2.2.3 Processing Rules

If the decompression process, as defined in section 2.2, terminates prior to the end of the input, then the remainder of the input (the PADDING field, as specified in section,) MUST be included in the value of the CRC field, as specified in section After this is done, if the computed value of the CRC field does not equal that which is specified in the CRC field of the header, then the reader MUST treat the input as corrupt.