用途
Plan Audit 是针对 .plan.md 文件的统一审计工作流。它先按 tl-agent-plan-create 规范校验结构合规性，然后把批评、事前验尸模拟、并行化评估、实施就绪度分析、仪式生存性分析和前提核验合并为一次一致的审计。
使用时机
用户说“审计这个计划”或“评审计划”； 在执行计划之前； 用户要求为效率优化计划； 用户想要事前验尸或批评。
结果
分析：统一的审计报告，发现按主题分组； 决策：结论（可执行｜建议修改｜需返工）； 产物：用于修订计划的可操作建议。
审计流程
先运行 Analysis 0——它是机械式校验，读取计划并产出编号发现。随后在心里执行 Analysis 1–5，真实运行 Analysis 6 的探测，最后把所有发现按主题合并为统一输出。不要向用户暴露分析编号。
Analysis 0：结构合规
依据结构合规规则执行完整的 9 步机械校验流程（计划类型识别、frontmatter 检查、todo 结构、阶段/门禁完整性、正文与 YAML 交叉引用、具体性、决策解疑、计划完整性、验证元数据合规）。此分析必须在审计输出中生成“结构合规”一节；若全部通过，写“9 项结构检查全部通过”；若有失败，逐条编号列出违规。校验是机械的，无需主观判断。
Analysis 1：首席工程师批评
评估清晰度（目标是否无歧义、子任务是否原子且可验证）、风险（可能失败之处、失败模式、隐藏假设）、顺序（次序是否最优、有无多余依赖）、杠杆（最高影响/投入比的任务是否前置）。
Analysis 2：事前验尸模拟
从头到尾在心里执行计划，为每个子任务识别隐藏子任务、依赖、瓶颈与最可能出错的失败点。
Analysis 3：并行化评估
识别独立任务、可并行代理机会、必须串行的阻塞路径，并给出具体的代理分配建议。
Analysis 4：实施就绪度
对计划修改、创建或删除的每个文件做详尽预读并记录：精确函数签名（含参数类型、返回类型与行号，而非摘要）、导入图（谁导入目标、目标哪些导入可能被破坏，精确文件路径与行号）、调用点（变更挂钩的确切行及其上下文）、API 表面（路由处理器的当前请求 schema 与响应形状）、任务处理器形状（job.data 现状及是否被使用）、世界状态（计划中的删除/创建是否与既往计划工作重叠、哪些文件已被删除）。标准是：实施者应能在不进行任何探索性文件读取的情况下从头执行到底。必须抓住的红旗包括：说“修改 X.ts”却未给出 X 当前函数签名；说“删除 Y.ts”却未列出所有导入 Y 的文件；说“扩展端点 Z”却未说明 Z 当前查询参数与响应形状；说“替换 CONSTANT”却未列出所有导入它的文件；说“在 upsert 后添加”却未展示 upsert 调用点及上下文；说“接受 NewPayload”但目标已有不同 options 类型（命名冲突）。
Analysis 5：仪式生存性
分析 1–4 审计计划是否正确（清晰、去风险、可并行、可读到底），但不审计它能否在交付仪式中存活（发布、部署、数据迁移、包/注册表安装、凭据轮换、基础设施供给、多角色交接）。若计划没有此类仪式（纯本地重构、无交付步骤），一行说明并跳过；否则回答以下问题，并把任何“未知／只在仪式中才被证明”视为阻断性发现：新出现的接缝（该计划发布时新触及或依赖、而发布前检查并未覆盖的鉴权、工具链版本、环境变量、文件系统权限或外部服务接缝）；证明时机（每个接缝是否在不可回退点之前被证明，模拟通过不等于证明，除非模拟与真实仪式走同一条路径）；路径分叉（发布前证明是否走与真实仪式不同的代码路径，分叉即假绿）；不可回退点（打标签、发布包、快进主干、改动生产行、DNS 切换等之后是否有接缝才首次被检验）；门禁与文档（每个依赖健康的接缝是失败即阻断的门禁，还是运行手册里靠人记住的散文）；复发类别（是否重蹈曾烧过既往仪式同一接缝的覆辙）。
Analysis 6：前提核验
分析 1–5 多数把计划对世界现状的事实前提当作可信，而现场经验表明计划恰恰在前提处出问题。本分析在给出结论前运行这一命令校验：提取计划关于世界现状的每一条事实主张；将其分类为已验证（计划自带字面命令＋输出）、可探测（只读命令现在就能判定）或不可探测（只有仪式或实时运行才能判定，交给 Analysis 5）；现在运行所有可探测项，只读、非变更（Test-Path、git show/ls-tree/cat-file、rg、gh api GET、npm view、dry-run 校验器、既往真实日志），把字面命令与输出记录到计划的验证表中作为前提检查行，没有凭据的主张视为未验证而非真实；每条被证伪的前提都是发现，修复应施加到计划（或代码库）而不是留到构建期“留意”；预测输出与门禁条目也是前提。必须抓住的红旗包括：装饰性强制（schema/lint 规则实际无人评估）、版本线混淆、日志/输出格式假设、过时或推导不足的预期、隐藏的任务间顺序、把环境当状态、自门禁门禁（其谓词在当前即将落地的树上为假）、仅工作站可用的依赖、建议性裁定的严格兄弟项、依赖变更后的安装状态、新增依赖但未拥有锁文件、共享底座默认值弱于其取代的行为、先枚举再断言为零、从错误环境读取期望值。
限制
以上为技能文档所描述的方法与步骤；其运行所需的环境、依赖或平台支持，以及是否有收费、价格或效果数据，资料中暂未提供。