算术模块文章的构建准备[#39]

本项目使用Grove的make-scribble-module-session,在prepare阶段读取指定的模块文章,建立真实Scheme模块与内容IR,供消费者导入。站点读取到模块文章时直接复用已生成的文档,因此每轮构建不会为了展示它而再次执行定义或核验。

目前模块文章清单由project.scm显式登记,并按顺序准备,没有自动推断依赖图。普通笔记仍各用独立环境,只有define-module明确声明的文章成为共享模块。模块的内部lookup、rewrite和样本生成函数没有导出,消费者只依赖两个公共接口。

这个模块由Flora的准备流程加载,尚不能让一个未经准备的独立Guile进程仅凭use-modules自动找到.plant。它验证的是项目内可导入的文学化模块,而不是完整的Scheme包安装机制。

Grove reader自动追踪导入模块的真实源文件;session在复用文档时重放文件依赖与缓存退出状态。LP宏与核心通过普通use-modules加载,reader同时追踪这些.scm文件,不再让所有普通文章依赖全部模块文章。每次preparation仍会执行模块文章的性质核验,普通消费者可以复用依赖未变的结果;这里是文件级依赖,不是按binding精确增量计算。