Scheme自解释的支持范围与证据边界[#62]

片段接口区分身份、原文、定义datum、来源与作者声明的requires。跨文章导入依靠实际模块,transclude只负责展示;导出顺序遵循装配清单。正文可以按理解顺序安排,但初始化依赖并不会因此消失。

新特殊形式的支持范围有限:闭包只接受固定参数,cond不支持 =>,apply只接受一个参数列表,map要求列表等长。完整Scheme的宏、continuation、内部定义规则和reader扩展都未纳入。这些约定限定了核验结论:案例覆盖不能证明完整Scheme等价,宿主原语仍是自解释所需的基础。