用途：该技能用于在安全审计前系统性地建立对代码库的深度理解，也可用于分析陌生代码库、排查复杂跨函数交互、验证关键代码路径（认证、加密、状态机）正确性，以及为威胁建模准备具体代码证据。
主要能力：分五阶段推进。阶段一侦察，枚举入口点、梳理模块依赖图、识别信任边界与数据存储；阶段二逐行深读每个函数，记录每行依赖与修改的状态、错误路径、输入假设及是否已在上游验证；阶段三跨函数追踪数据与控制流，标注每处校验、转换与类型强制；阶段四对发现的问题用 5 Whys 追溯根因；阶段五用 5 Hows 验证实现正确性，如密钥管理、令牌过期与吊销机制。
硬性规则：未逐行阅读不得形成结论，所有行为断言须有行号证据；不轻信注释，代码行为优先；不跳过错误处理路径；分析单个函数前先绘制跨函数调用流；所有未验证假设须标记 [UNVERIFIED] 并持续跟踪。
输出：结构化审计上下文报告，含摘要、经行号支撑的心智模型、发现项（附 5 Whys 与严重级别）、不变式、未验证假设、调用流图与优先级建议。工作中应增量写入上下文报告文件，完成后将方法论要点记入学习记录，供后续审计会话复用。
适用场景：安全审计前置分析、陌生代码库架构评审、认证与加密等敏感路径核验、威胁建模准备。限制：资料未提供具体安装命令、依赖要求、支持的编程语言范围、运行环境与收费信息；该技能为方法论型流程，不替代自动化静态分析，需与相关技能配合使用。