Weftale 文档质量复核
这是审核记录，用于检查指南是否给出可复述的行为模型，以及尚未覆盖的风险。
Reader Simulation
| 读者问题 | 从指南能得到的答案 |
|---|---|
| 从哪里进入，看到什么输出？ | walkthrough 的代表性输入表和编号步骤给出入口、交接和结果。 |
| 难点是什么？ | 用户打开外壳后，框架必须确认运行的插件与构建清单一致，才能交出可操作界面。本指南跟随一次启动校验，解释校验、宿主选择、根插件装载和失败清理之间的关系。 |
| 分成哪些阶段？ | 先显示外壳，再检查清单 → 一次选择宿主并建立信任通道 → 让内核核验其余根插件 → 装入内置包并交出控制面 → 失败或超时撤销已建立资源。 |
| 失败边界在哪里？ | 代表性 case 同时列出成功与拒绝/恢复分支；源码定位可用于反查。 |
| 怎样验证？ | walkthrough 末尾给出已核实的命令；源码检查、测试执行、构建和部署分别记账。业务测试本轮未执行。 |
可理解性与剩余风险
先讲可观察行为，再提供源码位置；代码地图只用于找职责，证据表不承担主解释。代表性 case 来自已读分支，不伪造真实请求结果。
反证检查（Falsifying check）：若 RPM 不匹配仍报告 ready，或超时后未撤销信任通道及根插件，启动模型需要重新调查。
后续问题（Next reader question）：业务扩展如何受信任和写边约束？既有文档站的信任、装载与四档扩展章节承接；本包只解释启动交接。
仅覆盖公开源码中的启动与根插件交接：boot、RPM 形状与哈希、Kernel 入口和撤销机制。其余大插件、战斗、剧本、翻译隔离、资源、编辑器、存档与完整信任交互留给既有文档站。不引用本机设计原文、内部编号、指纹或快照；未提交界面变更不写成已交付。旧文档站内容基线保留，本次不宣称完成全站增量审核或双端验收。