核验结果与程序关系标记[lp-results]

• ⇒ 120 · checked表示表达式在文章读取时得到120，并通过equal?与作者给定的预期比较。结果不相等会中止构建。
• ⇒ "11 cases passed" · checked表示谓词在给定的11个样本上通过。引号来自Scheme字符串的显示；有限核验不是对无限输入的证明。
• expected exception: mce-unbound表示核验捕获了指定的异常key。它是成功的错误路径测试，不是页面构建失败；异常参数不在这项比较中。
• Defines列出片段提供的名称；Assembled in链接所有使用它的计划，不表示新的执行。Requires是作者声明的binding依赖，不是自动自由变量分析；可定位的本地提供者会显示为链接。Initial requires要求名称在整个片段初始化之前可用。
• Imports列出计划显式导入的模块与名称；项目内模块链接到对应计划。Initialization order给出定义建立顺序，不能据此交换有状态的初始化。Outputs打开同源文件，Checks打开作者明确关联的核验结果，不代表自动分析出的完整测试覆盖。
• Exports: (run)列出实例允许通过instance-binding取得的入口。片段列表链接到定义的阅读位置。
• Download accumulator.scm链接构建产物。该文件来自计划中的定义，不保存文章内实例的当前状态；下载或查看文件不会运行它。

累计器的实际结果tree可直接阅读，也可以点击地址单独打开：

(let ((first (add-first 2)))
      (let ((next (add-first 3)))
        (list first next (add-second 10))))

Backlinks、Related和Context是森林中的阅读关系，可折叠查看。它们不等于程序的requires，也不会导入Scheme binding。缓存可以复用已经核验的内容，checked不表示每次访问页面都会运行代码。