zlib × Lean¶
我把 zlib 的算法、接口和验证整理成了一份独立的交互文档。可以从两条路线进入：
- 算法与接口：从重复字节开始，经过匹配、编码和压缩块，再看解压与流式调用。完整 API 契约可随时查阅。
- 算法精读与形式化验证：进入具体实现，先展开数据结构、执行过程和优化，再解释证明如何连接这些步骤。
精读覆盖窗口与匹配、Huffman 构造、块输出、解码、流式状态、资源生命周期、校验和，以及缓冲区、回调和 gzip 文件接口。每个主题都先展开算法与优化，再用对应的执行例子连接证明思路；每章都可继续查阅完整契约与源码。
正文、交互和参考文档均由 zlib-f 子站承载。博客提供入口。