An application supplies input, receives output, and handles results. Buffers, callbacks, and file interfaces offer different ways to use the same compression and decoding engines.
Locate this topic on the global map ↗The first 3 chapters explain algorithms, data layouts, and optimizations. The final chapter connects the proof argument. Read in order or enter from a familiar stage.
- 01IMPLEMENTATION DETAIL↗
Buffer interfaces and library information
Use a convenience call to compress or decode a complete input buffer.
- 02IMPLEMENTATION DETAIL↗
Callback decoding and inverted control
Delegate input and output to callbacks and understand ordering and buffer responsibilities.
- 03IMPLEMENTATION DETAIL↗
Gzip files and buffered I/O
Use gzip file operations and understand detection, members, and logical positions.
- 04PROOF ARGUMENT↗
The application-interface proof
Explain how interface wrappers inherit engine guarantees and constrain external interaction.