LP构建核验与缓存依赖[#48]

grove check重新求值文章；普通build可以复用依赖未变的内容。reader自动追踪导入的模块源文件，session在复用文档时重放文件依赖与缓存退出状态。改变模块或LP实现会让相关消费者重新核验，失败构建不会发布新的错误结果。

Scheme的任意I/O不会自动被拦截。额外文件使用depend-on! 登记，依赖时间、随机数等未追踪状态时使用disable-cache!。文件级依赖不是binding级增量计算。

核验协议也有边界：equal?比较值，性质只覆盖给定样本，异常只比较key。checked表示读取时核验通过，不代表浏览器实时运行或形式化证明。