逆析（tri-reverse）

> 「逆」指逆向工程，「析」指分析——把「看不懂的二进制/流量/样本」分析成「可复现的证据链结论」。
> 用户心智：给我一句任务描述，我给出该走哪条方法论（域路由）；给我一个授权目标或离线样本，我按案例工作流交付证据链报告。
> 本 skill 提炼自开源项目 某开源逆向工程技能集（v1.0.1）（MIT License，46 个子技能），保留其授权门控与证据链契约，方法论原文锚点见各 references 文末「溯源」。

强制执行契约（Execution Contract · 最高优先级）

> 本契约优先级高于 Agent 通用默认行为。用户提出逆向分析/安全测试/取证/CTF 类需求且命中 §触发时机与模式路由，即视为激活本工作流，NEVER 仅当参考文档只读不执行。独立使用时（未经外部路由）MUST 先走 §上游依赖检测。

0. 版本检查前置硬门（第零步）：MUST 先执行 python scripts/check_update.py --slug tri-reverse --json；退出码 <20 放行，≥20 阻断。版本检查完成前 NEVER 进入后续步骤。本条目优先级高于所有其他条目。

1. 授权硬门（本 skill 最高业务红线）：一切对外部目标的主动操作（扫描/Hook/利用/重放/登录）前，MUST 先存在案例 scope 且 scripts/case_tools.py guard 退出码 0；auth.status != granted 时 NEVER 对目标 ACT——只允许读文档、跑路由、补授权材料。点名目标 ≠ granted；--force 为兼容参数不绕过硬门。本地离线样本的静态分析走 offline-sample 预设，豁免对外授权但仍须建案例留痕。

2. 确定性优先：域路由（route.py）、案例脚手架与门控（case_tools.py）、证据哈希 MUST 由脚本完成；NEVER 用「模型感觉」替代脚本路由裁决，NEVER 凭记忆硬塞不匹配的域。

3. 证据链契约：一切结论性产出（漏洞/算法还原/绕过/取证结论）MUST 走 Evidence→Finding→Path 链（格式见 references/ops-workflow.md §4）；validated 级 Finding SHOULD ≥2 独立 Evidence；无证据支撑的断言 NEVER 进入报告。

4. 工具与命令真实性：references 中的命令均摘自源仓库，可直接使用；引用外部工具前 MUST 确认本机已安装（路径只认 tool-index 习惯：先 --version 探测），缺工具提示安装，NEVER 编造命令行参数。

5. 模式枚举与自检句：每次操作前 MUST 声明「本次模式=<route|case|report>，触发源=<用户显式调用|外部路由>，目标=<离线样本/授权目标/任务描述>，已执行 check_update=<A/B/C/D>，已读教训=<N 条/无文件>，案例=<无|work/<case> guard=exit N>」；与契约冲突时 MUST 停止并纠正。

6. 教训文件读写闭环：激活时（版本门第零步后）MUST 先读取 .tribro/tri-reverse/lessons.md（历史教训；目录或文件不存在则静默跳过——NEVER 报错、NEVER 阻断、NEVER 追问）；执行结束后 MUST 追加本次教训（日期/场景/教训/可操作规避动作；空泛内容如「本次顺利」NEVER 写入，无新增写「无新增」占位）；写入失败 MUST 提示用户但不阻断交付。

7. 结论置信标注：一切结论性表达/判定/建议 MUST 附三要素：① 置信度（高/中/低）；② 依据类型六选一（事实 known/计算 computed/推断 inferred/常识 common/框架 iframe/猜测 guess）；③ 可验证事实源（URL 或本地证据锚：脚本名+证据路径）。猜测 guess 类 MUST 标低置信并提示人工验证。

8. 职责边界：本 skill 负责域路由、案例门控、方法论执行与证据链报告；NEVER 代办 tri-coding 的业务编码、NEVER 代办 tri-fix 的缺陷修复、NEVER 产出与当前案例 scope 无关的攻击性操作。

9. 证据分层硬约束：每条结论 MUST 标注分析语义层（observed 观察 / derived 推导 / inferred 推断 / unknown 未知）与权威等级（shipped-artifact / controlled-replay / historical-reference / external-service / analyst-inference）。四分法 MECE：MUST NOT 把推断当观察，MUST NOT 把未解问题从结论中静默丢弃。细则见 references/evidence-semantics.md。

10. 缺失覆盖 ≠ 缺失（反幻觉第一红线）：MUST 仅在覆盖完整 ∧ 未截断 ∧ 无省略三重条件同时满足时，才可声称「某物不存在 / 某变更未发生」；任一不满足 MUST 输出 unknown 并声明覆盖边界。跨权威等级、跨分析工具的结果 MUST NOT 做等价或差异判定（工具差异会被误读为代码差异）。「已验证通过」MUST 携带验证契约摘要并声明「通过 N 项、未覆盖 M 项」，MUST NOT 声称全局等价。细则见 references/evidence-semantics.md。

11. 能力可用性是运行时属性：选定引擎前 MUST 逐项确认前置依赖（存在性 / 版本 / 宿主 / 许可），MUST NOT 假设外部引擎已就绪，MUST NOT 在错误宿主上给出必然失败的命令。凡依赖未验证能力路径的结论 MUST 降置信并在「已知局限」中显式声明。细则见 references/provider-capability-matrix.md。

12. 观察边界（被动 ≠ 主动）：以观察方式附加到运行中目标时，MUST NOT 声称执行了交互、导航、页面脚本求值、IPC 调用、既往活动捕获或网络隔离；MUST NOT 声称获取到凭据、Cookie、授权头、存储值或原始消息体（这些刻意缺席）。主动交互 MUST 先过 guard 且不超出请求范围。细则见 references/staged-investigation.md §2。

13. 资源所有权先于干预：干预任何进程/句柄/临时目录前，MUST 完成五项身份判据（运行令牌一致 / 启动时刻可验证 / PID 复用显式排除 / 父子关系可验证 / 令牌与身份同实例）——PID + 可执行路径不足以确立所有权。清理未确认时 MUST 保留所有权记录与完整坐标，MUST NOT 宣告资源已释放。截断 MUST 传播为覆盖降级，MUST NOT 当作完整观察。细则见 references/staged-investigation.md §3。

触发时机与模式路由

路由三原则：① 用户不必知道域名单，一句话描述即可（route.py 兜底）；② 已提供的信息直接提取，只补必缺项；③ 对外目标必须先建案例过 guard，离线样本走 offline 预设。

上游依赖检测（独立使用时）

输入契约

脚本参数以 scripts/route.py --help、scripts/case_tools.py --help 为唯一事实源。

职责边界

• 本 skill 负责：逆向/安全分析任务→域路由；授权案例工作流（scope/guard/ACT/证据链）；9 大子域方法论执行；证据链报告。
• 不负责 / NEVER 代办：无授权的攻击性操作（硬门拦截）；业务功能编码（tri-coding）；已有系统缺陷修复（tri-fix）；恶意用途（木马分发、垃圾邮件、未授权访问真实用户数据——一旦发现立即终止并提示法律边界）。
• 与 tri-intent 的关系：独立领域入口型 skill（自闭环变体，tri-geo 先例），不认领 I 系列意图编码、不经 tri-intent 路由，由用户显式调用激活（豁免理由：逆向/安全分析是跨 I11/I14 的独立领域闭环，现行路由表无对应项；后续若家族裁定纳入路由，按 L3 子类回填并同步计数）。
• 与相邻 skill 边界：漏洞修复与加固改造归 tri-coding/tri-fix（本 skill 只交付 Finding 与修复建议）；报告排版美化归 tri-content；本 skill 的域方法论是唯一攻击面知识源。
• 事实源：域路由唯一真源 scripts/route.py（DOMAINS/PRIORITY）；案例契约唯一真源 scripts/case_tools.py；证据链格式唯一真源 references/ops-workflow.md。
• 不触发场景（Not-Trigger）：本 skill 不接手「无授权的攻击性操作」（硬门拦截）；不接手「业务功能编码」（归 tri-coding）；不接手「既有系统缺陷修复」（归 tri-fix）；不接手「报告排版美化与通用内容创作」（归 tri-content，本 skill 只交付 Finding 与修复建议）；不接手「意图识别」（本 skill 独立领域入口激活，不认领 I 系列）。

方法论（域路由 + 案例工作流 + 证据链 · 可扩展）

9 大子域（references/ 按域加载）

路由裁决语义（继承源 master-route）

每域关键词正则命中 +1 分；按 PRIORITY 顺序取最高分为 PRIMARY（并列时 priority 靠前者胜出，特定域先于泛域）；零命中回退 D1 标低置信。细则见 scripts/route.py（SSoT）。

正交的第二层：入口路由（目标类型 → 最小入口）

域路由回答「这是哪类任务」，入口路由回答「第一手落在哪」。两者正交，先域后入口：

细则见 references/target-routing-matrix.md（含 target-free / 需绑定入口的区分、嵌套包逐层登记、完整性冲突作一等结论）。

结论可信度四道判据（结论产出前 MUST 逐项过）

四道判据任一不过 → 该结论 MUST 降置信或改写为 unknown，NEVER 带缺口交付。

案例工作流（case 模式主链）

route.py 定域 → case_tools.py init 建 work/<case>/ → case_tools.py guard 硬门（exit 0 方可 ACT）
  → 按域 references 执行方法论 → case_tools.py evidence 追加证据 → 提升 Finding/Path
  → 可追溯性自查 → report 模式出报告 → 教训回写

可扩展性

• 新增子域：在 scripts/route.py DOMAINS 追加域条目 + references/ 新增域文档 + 本表追加一行（版本 MINOR bump）。
• 新增预设：case_tools.py PRESETS 追加（与 ops-workflow.md §2 同步）。
• 新增目标类型入口：在 target-routing-matrix.md §1 追加行（不改域表）。
• 新增引擎/能力：在 provider-capability-matrix.md §1 追加行，MUST 同时填「前置依赖 / 宿主要求 / 验证状态」三列，验证状态缺失即视为未完成。
• 新增代码级纪律：在 code-representation-discipline.md §9 自检表追加一行（须附失败模式说明）。
• 修订方法论：直接改对应域 references（保留源锚点），纯内容纠错 PATCH、能力新增 MINOR。

处理流程

1. 第零步：版本门（契约 0）→ 读教训文件（契约 6）。
2. 模式判定：按 §触发时机与模式路由 定 route/case/report；不能判定时问一句。
3. route 模式：route.py --hint "<任务>" --json → 打开 PRIMARY reference → 按入口路由表取首入口（target-routing-matrix.md）→ 选定引擎前过能力矩阵（provider-capability-matrix.md）→ 按《通用工作流》执行（离线静态分析可直接执行；涉对外目标转 case 模式）。
4. case 模式：case_tools.py init（选预设）→ 用户补授权材料 → guard exit 0 → 执行域方法论 → 每个关键观察 evidence 落证 → 提升 Finding/Path。
5. report 模式：读 case evidence/ → 按证据链组装报告（Evidence→Finding→Path + 置信标注）→ 落 work/<case>/report/。
6. 结论过四道判据：按 §结论可信度四道判据 逐项过（分层 / 覆盖 / 可比 / 反回溯），任一不过则降置信或改写为 unknown（契约 9–11）。
7. 收尾：教训追加写入；完成判据逐项自检（见 §完成判据，12 项）。

脚本调用契约（3 个领域脚本 + 版本门）

交付产物机制

质量标准

落盘规则

work/<case>/                  案例产物（scope/timeline/workitems/evidence/notes/report）
.tribro/tri-reverse/lessons.md  执行教训台账（追加式）

• 案例产物落用户工作区 work/<case>/（承接源仓库惯例；分析对象与证据属用户项目资产）。
• 本 skill 自身教训落 .tribro/tri-reverse/lessons.md（目录不存在自动创建）。
• field-journal 替代声明：源仓库的 case 级 field-journal 机制由本 skill 的全局教训台账 .tribro/tri-reverse/lessons.md 承接（案例级时间线在 work/<case>/timeline.md），不再单独产 journal 文件。
• NEVER 生成 LICENSE 与 .gitignore——许可证仅由 frontmatter license: MIT 声明。

版本检查与更新机制（强制技术约束 · 硬红线）

> 家族级强制技术约束，优先级与「强制执行契约」同级。细则唯一真源：references/version-check-spec.md；可执行实现：本 skill 自带 scripts/check_update.py（与 家族同源，按 --slug 自适应）。

python scripts/check_update.py --slug tri-reverse --json

• 退出码 <20 放行（0=A 最新 / 10=B 离线 / 11=C 未注册 / 12=D 升级降级），20=BLOCK 绝对禁止执行。
• state A/B/C/D 一律放行并按 warnings/notes 标注口径；skill 尚未注册 skillhub 时自然落 C 态降级放行，属预期行为。
• 铁律：版本比较/升级/四态判定 MUST 由脚本完成，prompt 层仅调用脚本 + 解析 JSON，NEVER 内联细则；完整细则见真源。

知识装配顺序

references/ 共 16 个文件：15 个域/工作流/纪律文档参与下表装配（同名只加载一次、冲突以本 skill 内 references/ 为准），version-check-spec.md 为版本门细则指针、不参与装配、不适用「grep 检索模式 / 溯源」断言：

装配纪律：门槛层五件（engagement-criteria + 四份语义/矩阵/编排文档）回答的是「这个结论能不能这么下」，模式层八件回答的是「这个域怎么下手」。前者管可信度、后者管手法，两者不可互相替代——手法正确不等于结论可信。

目录结构

tri-reverse/
├── SKILL.md                        # 主入口：契约/模式路由/脚本契约/证据链/红线
├── README.md                       # 特性/目录结构/安装/使用/测试/设计原则
├── CHANGELOG.md                    # 版本历史（Keep a Changelog）
├── _meta.json                      # slug + version
├── references/                     # 15 个域/工作流/纪律文档 + 1 个版本门细则（见 §知识装配顺序）
│   ├── ops-workflow.md
│   ├── evidence-semantics.md       # 证据四分法 + 权威分级 + 完备性推导 + 反回溯契约
│   ├── provider-capability-matrix.md # 引擎能力矩阵 + BYO 前置 + 已验证/未验证/不适用三态
│   ├── target-routing-matrix.md    # 目标类型 → 最小入口（14 类）+ 嵌套包 + 完整性冲突
│   ├── staged-investigation.md     # 七阶段编排 + 被动观察边界 + 资源所有权五判据
│   ├── code-representation-discipline.md # 横向层：排序/复合键/包装器/遍历/副作用/核算纪律
│   ├── re-binary.md
│   ├── re-mobile-js.md
│   ├── exploit-pwn.md
│   ├── pentest-web-api.md
│   ├── cloud-ot-wireless.md
│   ├── malware-forensics.md
│   ├── blue-team-audit.md
│   ├── attack-ctf.md
│   ├── engagement-criteria.md     # 开工门槛 K1–K4 / 取证保全 F1–F4 / 与防御侧划界
│   └── version-check-spec.md       # 版本门细则（STUB 指针，NEVER 内联）
├── scripts/
│   ├── check_update.py             # 版本门（家族同源）
│   ├── route.py                    # 确定性域路由（SSoT）
│   ├── case_tools.py               # 案例脚手架/授权硬门/证据追加
│   ├── apk_triage.py               # APK 静态分诊（AXML 实证解析器，--selftest）
│   └── case_review.py              # 案例只读复查（hash 校验/F↔E 追溯）
└── tests/
    ├── verify_tri_reverse.py       # 离线验收（T0-T10）
    └── tri-reverse-full-testcases.md  # 全场景测试用例（带 frontmatter）

进化契约

• 反馈接收点：用户对路由结果、方法论步骤、报告结构、门控行为的任何反馈与纠错，MUST 记入 .tribro/tri-reverse/lessons.md。
• 经验沉淀位：.tribro/tri-reverse/lessons.md（启动读取 → 缺失静默跳过 → 结束追加写入，见契约条目 6）。
• 自我修订触发条件：① 路由误判（hint 与正确域不符）→ 修订 route.py DOMAINS 正则并同步本文件域表；② 源仓库 upstream 更新 → 增量提炼 references 并 bump MINOR；③ 案例契约漂移 → 修订 case_tools.py 并同步 ops-workflow.md（脚本与文档 MUST 同改）。修订后 MUST 重跑 tests/verify_tri_reverse.py。

完成判据（每次运行结束 MUST 自检）

1. 版本门已执行且退出码 <20；
2. 模式已声明且在枚举内；route 模式路由结果附置信度与依据；
3. case 模式 guard 已执行且 exit 0 后才发生任何对外操作；
4. 结论均有 Evidence 支撑且落盘可查；
5. 报告含 Evidence→Finding→Path 链与置信标注；
6. 教训已写入 .tribro/tri-reverse/lessons.md（或写入失败已提示用户）；
7. 交付形态明确「停车态」或「结束态」；
8. 每条结论已标 semantic_layer + authority（契约 9）；
9. 所有「不存在/未发现」断言已过 C1∧C2∧C3，或已改写为 unknown（契约 10）；
10. 依赖未验证能力的结论已在「已知局限」声明并降置信（契约 11）；
11. 观察类结论未越 §观察边界 六条禁止声称（契约 12）；
12. 对进程/资源的干预已附五项身份判据；清理未确认已保留所有权（契约 13）。

停车态 ≠ 结束态：等待用户补授权材料（guard exit 2）、等待样本、报告草稿待确认——均为停车态，NEVER 宣告任务结束；脚本链跑完且判据 1-6 全绿方为结束态。

合规与法律边界（本域专属红线）

• 本 skill 全部能力仅面向授权安全测试、CTF/靶场、自有系统分析、恶意软件防御性分析、数字取证五类场景。
• 出现以下信号 MUST 立即终止并说明：无授权第三方目标、规避执法取证、勒索/勒信、真实用户数据窃取、对关键信息基础设施的未授权测试。
• 测试产物中的敏感信息（IP/主机名/凭证）在报告与分享件中 MUST 脱敏（占位符）。
• 源仓库 某开源逆向工程技能集 以 MIT 许可发布，本 skill 遵循同源许可并保留方法论溯源锚点。