验证说明
可信度标签是什么意思、每个实验验证到了哪一步、哪些结论不应从这些实验得出。 标签由自动化测试驱动（CI 每次提交重跑）。测试不过，标签自动失效。
四级可信度标签
每个实验贴一个内部标签，方便快速看它目前有哪一层证据（定义来自统一模型规范 model-spec.js）。 四档各量各的东西：有的只看文档齐不齐，有的只看代码有没有解对所写方程，有的才涉及独立实验。 「数值实现已验证」不能读成「物理模型已被实验证实」。 这些是 Aoliba 的内部透明度标签，不是行业认证；无相应证据时必须显示「未验证」或「验证中」。
「算得对」≠「对得上现实」
物理可信度和代码可信度是两件事，必须分开谈（PRD 原则 P6）：
V1
Verification · 数值验证
代码是否正确求解了它声称的方程？用解析解互拍、守恒量监测、步长收敛性测试回答。本站全部数值类实验已通过这一层。
V2
Validation · 实证对照
方程是否完整描述了现实？需要与独立实验数据在明确条件下比较。本站目前所有实验均为 not-established。数值输出是参考解，并非「真实答案」。
十个实验的验证状态与已知限制
数据来自单源清单 lib/games/registry.js，由 CI 测试强制与实现一致。本页不手写任何状态。
⚠ 四句诚实声明。
① 可信度标签是内部透明度标签，并非行业认证；
② 「数值实现已验证」只证明代码正确求解了方程，不证明方程完整描述现实。全部实验的实证对照状态目前均为 not-established；
③ 每张卡片都列出已知限制：知道一个模型不能干什么，和知道它能干什么同样重要；
④ 评审状态：本站全部模型规范与验证记录目前仅经过作者自审与 CI 强制校验，尚未经过第三方同行评审（peer review）。欢迎你以评审人身份挑错——每个实验页底部的反馈入口会附带该实验的规范版本与可信度上下文。