用途：这是 /discipline:do-your-research 的“验证扇出”层级，方法与基础技能共享（重新锚定、审计、前向纠正、报告），但执行更重。基础技能在当前上下文内联审计，本层级则枚举会话中全部带类型的论断清单，并对原始来源逐项验证。适用于长会话、众多具体事实成为后续工作基础，或“全部事实核查”需求，或怀疑自身判断可能系统性偏差时；单一无依据论断或短会话用基础技能的内联审计即可。
主要能力：按类型枚举完整清单——假设、断言事实、具体细节（路径、文件名、默认值、标志、签名、版本等）、承重前提，每项带类型，使覆盖可证。派发全新上下文、对产生该论断的推理不可见的子代理，对照原始来源验证，而非同一回忆。外部可验证项查来源或实机环境；内部项无外部指涉，诚实结论为重新推导或请用户确认，不伪造来源。合并结果，当轮修正被证伪或无依据项，暴露仍无法验证项。输出逐项账本，100% 覆盖清单，每条含：结论（verified / corrected / unverifiable）、来源（抓取的原始来源、实机环境，或“内部—重新推导/需用户确认”）、来源层级（依项目 CLAUDE.md / .claude/rules 的权威定义，无则降级到便携基线）、独立权威来源共识数、时效（版本、定价、API、默认值等易过期事实的日期或版本）。
使用方式：深度在枚举前一次性解析，优先级为：调用参数（tiered 或 full）优先；否则用配置默认值 ${user_config.research_deep_verification}；否则 tiered。空值、未展开的 ${user_config.…} 字面量、无法识别的字符串（如拼写错误）都视为未设置，回退 tiered，不报错。tiered（默认）内联便宜地处理琐碎与非承重项，仅对承重项扇出全新子代理；full 则对每项都子代理验证。按波次限流派发，并发控制在大约十余个以内，避免突发过载（529）丢失代理；较低层级的工作模型足以做逐项验证。仅重试失败子集一次，二次失败标记为不可验证，不整批重跑。报告所跑深度及原因（参数/配置/默认）。
限制：不做更轻的内联通过；不为显得尽责而制造发现或来源；对单一论断无子代理成本需求时属于过度使用。覆盖面指清单每项各有且仅有一行账本，并非每行都必须给出 URL。