核验边界与check[#24]

grove build可以复用输入未变的结果；grove check始终重新求值和渲染，用于完整核验。两者都会重新分析Forest，所以链接与查询始终反映当前内容。

依赖是文件级的，不是按binding精确增量计算；任意I/O也不会被自动拦截。改变模块或LP实现会让相关消费者重新核验，失败的构建不会发布新的错误结果。checked表示读取时核验通过，不表示浏览器实时运行或形式化证明。