流式增量检查点设计（v3）

[weichencs]

增量物化的检查点格式与恢复语义，见 g:arch-note 第 3 节。