附录一　核心概念与使用边界

判断与判断力

判断是具体SDE运行中的价值评估与反馈。判断力是复合体能够持续组织这种活动，并依据发生诊断实施弥补、修复和提升的能力。一次正确评语、一次成功输出和持续能力分别记录，不互相替代。

封装判断

先前实践中形成的区分与取舍，选择性地进入工具结构、规则、使用方式和检验安排，并在当前任务中继续参与判断。不意味着工具具有心理意识，不意味着任何物理作用都属于判断，也不意味着能够从成品反推出全部历史。

可靠封装

某一能力在明确范围中得到适当依据支持，可以整体调用，同时保留必要的条件、追溯及重新展开方式。系统侧的实际承接与使用者侧的整体调用分别检查。

层级、粒度与频率

层级描述任务之间的承接关系；粒度描述当前展开哪些差异；频率描述检查发生多少次。高频不必细致，高层也可能需要检查关键细节。换粒度不等于改变成立标准。

回写与迭代

反馈实际改变了后续的显露、差异序列或特征纠缠，才在本书中称为发生了相应回写。记录了意见不等于机制改变；机制改变也不等于效果已经验证。

理论、案例与证据

作者命题、作者经验、构造案例、文献事实、纸面推导、程序测试和待实施研究分别标识。高铁不稳定情境是思想实验；2023年GPT使用变化是作者自述；《归还》片段是本书原创构造；人类参与实验与Lean形式验证没有在本项目中实施。

附录二　价值评估与反馈工作单

任务与当前显露

记录任务名称、版本、提出者、当前目标、可接受结果及仍有争议的要求。写清本次实际观察到什么，哪些只是预期，哪些尚未进入检验。

运行之真：三方程

说明当前S如何得到D与E的支撑；当前S与E如何影响推进D；当前S与D又如何改变E。把所需领域证据列出，不能只抄三个方程。记录命题、条件、对象与实际结果之间的差异。

运行之善：六路径

说明当前从哪个维度进入、采用什么主导次序，以及后来进入的维度怎样校正先前判断。记录转向理由、被放弃的路线及其依据。不要求每次把六种路径全部执行。

运行之美：三原理

说明张力出现在哪些关系中，为什么改变第三维可能支持新的整体，以及改变后另外两维怎样被回写。保留未解决的冲突，不以整体漂亮掩盖局部缺口。

反馈与再次检验

记录问题交给谁、对方是否有信息和权限、实际改变是什么、何时复检、结果怎样。如果修复无效，记录对原诊断作了何种修订，而不是只重复要求执行。

附录三　价值发生诊断与修复记录

四个发生截面的检查

显露截面：规范与模态如何使某些差异进入判断，又使哪些差异被忽略？动力截面：优化约束与能量如何相互支持或失配？机制截面：意义与信息有没有错接、缺失或发展受阻？劳动截面：路径怎样在理念界、现实界、自我界中展开并得到反馈？

候选解释的区分

每一解释填写：问题表现、可能机制、可观察的区分、拟改变的条件、预期改善、可能副作用。至少说明为什么这个改变比泛泛增加检查更相关；不为形式完整强行凑足多个解释。

改变的类型

弥补：补上缺位的判断或反馈环节。修复：改变已有机制的错接、失配或失效。提升：形成原来没有的任务能力或价值可能。改善程度和适用范围另行检验，不能仅凭改变类型预先宣布成功。

复检与保存

保存改变前后的任务条件、关键材料与结果。标明支持了哪些诊断、排除了哪些解释、什么仍不确定，以及下一轮是否需要调整评价方法。

附录四　封装说明书

基本身份

名称；任务类型；版本；维护者或可联系的承担者；当前状态。状态可以包括候选、特定范围可用、待复核、暂停和退出，不把它们压成一个永久的“已通过”。

调用契约

输入与前提；能够提供的结论或能力；不覆盖的情境；内部依赖；调用时仍需满足的条件。一个模块的前提与另外模块的输出如何衔接，应当明确。

依据与信任边界

验证或试用方式；材料与记录位置；尚未解决的缺口；外部工具和人员的信任假设。历史记录支持什么，当前任务仍需检查什么，分别填写。

重开、修订与退出

触发异常、目标改变、版本改变、关键依赖改变或探索性重构的条件；可以承担复核的系统；影响范围；修订记录；旧版本保留方式。退出后旧成果是否受影响，应另行检查。

使用者侧记录

当前是否能把该能力作为整体使用；使用预期来自什么经验与证据；能否识别明显越界；问题出现时是否有实际复核路径。不能只以“感觉放心”代替系统侧依据。

附录五　数学证明的状态与依赖单

目标身份

完整命题、对象类型、定义域、量词、前提和结论。自然语言表述与形式表述分别保存。修改前提或目标后新建版本，不覆盖原任务状态。

证明模块

列出所需引理、各引理适用条件、调用映射、已知依赖和开放缺口。证明关系不能只是主张之间互相引用；归纳等规则需要相应的基例、步骤和合法依据。

当前证据

区分纸面论证、形式内核核验、数值或程序测试、文献引理和暂时假设。测试通过不能直接升级为一般命题成立；形式核验通过不能自动说明语义与原任务一致。

变化后的检查

目标变化、定义变化、依赖更新或凭证失效时，标明受影响模块。定向复检不等于免除整体结构检查。假命题的反例与修订命题的证明必须保持各自状态。

附录六　学习与比较研究模板

学习记录

任务完成了什么；学习者能解释什么；借助了哪些封装；遇到异常如何处理；反馈改变了什么；工具变化或新任务出现后如何适应。不得用同一成绩替代所有能力。

比较研究设计

定义任务范围、研究问题、主要结果与资源条件。比较常规核验、固定分层、一般自适应核验与加入SDE价值诊断的自适应核验时，应保持合理的工具与资源可比性，并避免把对照组设计得不必要地弱。

结果与失败登记

同时记录正确接受、错误接受、拒绝或暂缓、遗漏、修复成本和同类错误复发。不能只报告产量或成功样例。艺术任务采用适当的理由分析与多元评阅，不把审美结论伪装成唯一客观总分。

研究状态

本书给出方案而未实施人类参与实验。未来若开展研究，须另行完成参与说明、数据保护、样本设计和分析计划；不得预先把本书的预期写成研究结果。

附录七　判断台账原型的复查说明

实际提供的材料

写作包的prototype目录含ledger.py、test_ledger.py、test_output.txt与README.md。代码只使用Python标准库，按Python 3.10及以上环境编写。运行命令为：python -m unittest -v test_ledger。需先进入prototype目录。

实际检查的范围

十九项测试检查目标身份、条件集合、依赖、版本变化、失效传播、证据类型、状态转换和导出等行为。它们不测量大模型正确率，不证明SDE方法优于其他方法，也不构成生产系统的安全认证。

第十九项测试为什么重要

原型把外部凭证作为受到信任的输入；因此，精心构造的虚假数学凭证仍可能通过状态门槛。测试刻意显示这一局限：台账不能代替数学证明器，状态检查也不能代替内容真伪的判定。

尚未实现的内容

未接入真实AI或Lean；未实现安全认证、多用户权限、并发控制和生产级存储；前提比较只是字符串集合检查，不是逻辑蕴涵求解器。读取接口可返回可变对象，调用者直接修改对象可能绕过流程；因此不得用本原型管理高风险真实任务。