Weftale 源码证据

这是调查台账：解释主流程的依据与边界，不能替代运行日志。源码锚点为 3f8b720c1d3ce1faab71f60498a77efe21d22550；本轮还读取了当前工作树，未提交内容不等于已交付版本。

Evidence Traversal Log

Pass	Purpose	Inspected evidence	What changed in the model
Pass 1	建立输入、状态和输出路径	src/boot/main.ts, src/boot/main.ts, src/core/kernel/index.ts；根 README、package 或构建入口、Agent 规则	固定 walkthrough 的代表性行为，并列出交接位置。
Pass 2	反查失败与遗漏依赖	test/unit/boot-deadline.test.ts, test/unit/rpm.test.ts, test/contract/；配置、已有文档与范围内目录	复查未配置网页信任源、签名清单读取失败、内置包装载拒绝和超时后迟到清理；检查 docs-site 旧基线是 HEAD 祖先，但不推进其全站审核状态。

证据表

Claim	Evidence	Confidence	Caveat	Used by
先显示外壳，再检查清单	源码定位（src/boot/main.ts）：bootSteps、isRpmShape、computeManifestHash、BootRefused	Confirmed	源码静态确认；本轮未运行业务路径	主流程、代码地图
一次选择宿主并建立信任通道	源码定位（src/boot/main.ts）：selectHost、frame.dispose、trust.signingList	Confirmed	源码静态确认；本轮未运行业务路径	主流程、代码地图
让内核核验其余根插件	源码定位（src/core/kernel/index.ts）：judge、RootModuleRef、ctx.provide	Confirmed	源码静态确认；本轮未运行业务路径	主流程、代码地图
装入内置包并交出控制面	源码定位（src/boot/main.ts）：control.loadBuiltin、shell.attach、setState	Confirmed	源码静态确认；本轮未运行业务路径	主流程、代码地图
失败或超时撤销已建立资源	源码定位（src/boot/deadline.ts）：BootRun.add / live / abort、withDeadline	Confirmed	源码静态确认；本轮未运行业务路径	主流程、代码地图

反证与后续问题

反证检查（Falsifying check）：若 RPM 不匹配仍报告 ready，或超时后未撤销信任通道及根插件，启动模型需要重新调查。

下一位读者可能问（Next reader question）：业务扩展如何受信任和写边约束？既有文档站的信任、装载与四档扩展章节承接；本包只解释启动交接。

范围与未验证事项

仅覆盖公开源码中的启动与根插件交接：boot、RPM 形状与哈希、Kernel 入口和撤销机制。其余大插件、战斗、剧本、翻译隔离、资源、编辑器、存档与完整信任交互留给既有文档站。不引用本机设计原文、内部编号、指纹或快照；未提交界面变更不写成已交付。旧文档站内容基线保留，本次不宣称完成全站增量审核或双端验收。

启动期限和 RPM 测试可反证该模型；本轮只检查源码与测试，业务测试未执行。文档构建成功不能代替网页/Tauri 两端契约测试、编译或真机验证，因此这里不使用项目进度中的“已完成”状态。

本轮文档结构校验与站点构建结果记在同步记录。源码链接在仓库阅读时指向真实文件；独立站点只发布指南；文档目录之外的仓库源码链接在网页中显示为精确路径，源码不随站点打包。原始 Markdown 保留本地可核对链接。已有 VitePress 使用原文包含，正文只维护一份。