| name | web-reverse |
| description | Web 前端逆向：还原签名/协议/加解密、请求参数与 cookie 加密、反爬虫/风控字段；处理混淆/反调试/反篡改与反混淆还原；分析 Worker/WASM/JSVMP 运行链；扣代码/最小闭包提取、补环境（Node/Python 复现）、浏览器内复用或纯算法迁移；指纹检测、DevTools hook、source map 还原；或继续已有 Web 逆向任务。不用于普通前端开发、漏洞利用、Android 逆向。 |
Web Reverse
这是一个任务契约驱动的总控 + 路由系统，不是知识清单。本文件只做三件事：锁定验收目标、约束执行节奏、把任务路由到正确的 reference / workflow。细则一律按需读 references/ 与 docs/reference/（见末尾路由表）。
约束力来自机制而非文字篇幅，要优先消灭三种失效模式：
- 目标漂移：用户要 A，执行中偷偷降成 B，还把 B 说成完成。
- 虚假完成：没过最终验证就说"已完成 / 已交付"。局部样本、单点成功、容器可读、浏览器偶发成功都不算验收。
- 线索不落盘：发现了线索只放在脑子里 → 任务一中断就得重新分析，白烧 token。
何时使用
还原签名/认证参数/挑战链/风控字段；分析混淆 JS、动态代码、source map、反调试、反篡改；分析 Worker/iframe/多上下文、JSVMP/自定义 VM/WASM/媒体解密；基于浏览器证据做 Node/Python 复现、纯算法迁移、浏览器内可控复用；或继续已有 task-local 任务。
不适用：普通前端开发、密码学教学、漏洞利用 / 渗透或其它非 Web 前端逆向。
北极星：以验收为唯一目标
目标不是持续汇报新发现，而是在任务契约下尽快逼近用户验收目标。每个动作前先自问：① 用户最终交付是什么；② 这个动作是否直接缩短到该交付；③ 当前路线是否还值得再走一轮。研究型收敛 ≠ 交付型推进。
逆向中你通常不知道哪条路最短，直到走通。所以发现线索的第一反应是「记录」而不是「立刻写脚本验证」——验证可能失败、可能被打断，只有落盘的线索能跨轮复用（见下文「记录与搜索」）。
三条红线（其余都是指引，唯这三条不可退让）
- 先初始化再动手：任何分析 / 浏览器操作 / 写文件前，先在当前项目目录执行
node $TOOL_DIR/task-boot.mjs <task-id>（幂等：有任务则续跑，无则新建）。
$TOOL_DIR = 本 skill 包内 tools/task/ 的绝对路径，首次操作前先解析一次（解析细则见 docs/reference/tooling-degradation.md Step 0），本文件后续所有 node $TOOL_DIR/... 调用都复用此次解析结果。task-boot.mjs 是唯一开机入口，内部已串起 task-init（新建）/ resume → task-sync → task-advance，无需再逐个手调。
每个 workspace 只在首个动作前 boot 一次：续跑时直接按 task-advance 输出的 nextExecutableAction 执行，不要每轮重复 boot。boot 的 ready 输出会打印产物写入锚点的绝对路径（run/ / state/ / report.md），照它写。
跳过它产物会散落根目录、状态无法跨轮恢复。Windows 路径用正斜杠。细则见 docs/reference/startup-gate-procedures.md。
- 产物落 task 目录：本任务产生的每个文件（脚本/样本/中间数据/报告）都落在 cwd 下
artifacts/tasks/<task-id>/（脚本与样本进 run/，状态进 state/，报告就是 report.md）。
cwd 根只允许项目元文件（SKILL.md / README.md / .gitignore / package.json / package-lock.json 等，以及 tsconfig.json / vite.config.* / requirements.txt 等常见构建配置；完整白名单真源 = tools/task/common.mjs 的 WORKSPACE_ROOT_ALLOWLIST，门禁与本表共用），其余逆向脚本/数据一律进 artifacts/tasks/。
这条红线有机械门禁：task-close / verify-once 会扫描 workspace 根目录，凡是本任务 boot 之后新增的非白名单 .js/.mjs/.cjs/.ts/.py/.json/.jsonl 文件一律 BLOCK（rule=move-stray-artifacts-into-task-run-dir）；task-close 还会自动把它们 [relocate] 进 run/。不要靠"我觉得放根目录也行"——门禁不认。
- 完成必须可验证："已完成 / 已成功 / 已交付"只能在
run/verify-once.mjs 真跑通、
run/fixtures.json 存在、acceptanceGap 为空后才能说。交付物 = 验证脚本跑通的副产品，不是口头宣称。
assert-can-reply 返回 BLOCKED（exit≠0）就等于「未完成」：此时禁止任何用户可见的交付性回复（包括"已完成/已闭环/已实现"的总结、表头标"已验证"、贴成功结论），只能继续执行它打印的 nextExecutableAction；复述 BLOCKED 原因、或把 BLOCKED 包装成"基本完成/已基本跑通"都不算交付，仍属违规。
挑战链 / 验证码 / 滑块类任务（模式 A）的验收 = 端到端服务端返回成功（如求解器实际通过、error==0 且业务校验通过），不是「格式被接受 / JSON 字段齐全 / validate-fixture 通过」——validate-fixture.mjs 只校验 JSON 字段存在，绝不能冒充验收；这类成功必须由 run/verify-once.mjs 复现，未复现前 claimLevel 最高只能停在 provisional。
执行循环（按轮迭代，每轮产出明确）
Observe → Capture → Note → Rebuild → Extract → Verify。每轮必须产出可写进 clues.md 的东西，否则不算有效推进。
| 阶段 | 产出要求 | 不可跳过 |
|---|
| Observe | 识别目标、feature bundle、候选 entrypoints、初始 family/boundary | — |
| Capture | 采集服务验收边界的输入/输出/中间值/状态链 | — |
| Note | 当轮立即写进 state/clues.md：- [置信度] 发现内容 {EP-00N} | 不可跳过 |
| Rebuild | 把证据转成最小可运行骨架（Node/Python/浏览器 harness） | — |
| Extract | 扣代码路线产出 run/extracted-closure.js + 依赖清单 + 入出口契约（导出函数签名）。判定/阈值/handoff 见 references/closure-extraction-playbook.md §0 与 references/composite-triage-playbook.md「Rebuild 路线三岔决策」。 | 扣代码路线不可跳过 |
| Verify | 围绕最终交付直接验证，不是局部成功 | — |
纪律：Note 是 Capture 和 Rebuild 之间的强制步骤。带着未落盘的线索往下走 = 重复劳动。retrospective 见 docs/reference/reverse-workflow.md。
还原即落叙事：一旦在 Rebuild/Verify 还原出算法或产出 run/ 下成品脚本，就立即把「逆向分析过程 / 主要算法说明 / 难点与对抗 / 调用示例」四段写进 state/narrative.md 对应小节——这与「写 clues.md」同级强制，不是收尾才补。run/ 有成品脚本而四段空时，task-close 会按 error 拦下、task-snapshot --round 会告警。报告四段由 task-close 从 state/narrative.md 渲染，不要手工往 report.md 贴叙述。成品脚本命名须以 pure- 或 pure_ 开头（如 run/pure-signer.js），门禁与四段强制项均以此命名约定检测。
主循环 ↔ workflow 阶段映射（消歧，canonical 阶段定义在 docs/reference/reverse-workflow.md）：
- Note/Verify 映射：本表
Note 是贯穿全程的强制落盘步骤、Verify 是收尾验证，二者在 workflow 不单列命名小节。
- Rebuild 细分：本表的
Rebuild/Verify 在 workflow 中细分为 Rebuild → Patch → PureExtraction → Port，其中 Rebuild 在 workflow 内含条件子阶段 Extract（仅 D/E 扣代码路线时走，是 Rebuild→Patch 之间的子小节，非顶层命名阶段）。
- 补环境粒度：补环境在本表并进
Extract 后的 handoff（见上文 Extract 段），在 workflow 是独立的 Patch 阶段——是同一件事的粗/细两种粒度，不存在「补环境到底算 Extract 子步骤还是独立阶段」的歧义。
任务模式与交付梯度
先选 1 个主模式，每轮只保留 1 个主模式 + 最多 1 个备用模式，不要为"更完整"提前升级：
- A 请求验收：请求成功、字段被接受、挑战链闭环。
- B 内容/明文边界恢复：clear boundary、内容层验证、可验证明文。
- C 浏览器内可控复用：把浏览器当 harness（Playwright/Puppeteer/DevTools）完成验收。
- D 本地复现 / Port：交付 Node / Python 最小可运行骨架。
- E 纯算法提取：仅当 A~D 都不足时才升级。
若当前梯度连续 2 轮无法推进，主动降级而非硬顶。用户明确要"纯 Python/Node、不依赖浏览器"时，浏览器 harness 只能算中间证据。详见 docs/reference/deliverable-ladder.md。
专题路由与按需加载
先做早路由：从 feature bundle 选 1 个主专题 + 0~2 个辅助专题，不要先读一堆细则再决定。references/、docs/reference/、topics/*/topic.json 一律按需加载，默认只读与当前主模式直接相关的 playbook。命中组合保护 / 跨上下文 / 混合运行时才扩到 3 个以上专题。判定见 docs/reference/topic-selection-policy.md、docs/reference/capability-matrix.md。
Entrypoint / Hook 纪律
- 先列 2
5 个候选 entrypoints，按成本 / 信息增益 / 复用价值排序；**同时只保留 12 个活跃 entrypoints**。
- 每个 entrypoint 激活时定义
minimalProbe / successCriteria / failureCriteria / maxRounds（probe/foundation/VM-WASM 各档轮次见下文「停损」表，VM/WASM 探索偏多属正常）。
- Foundation 阶段优先信息增益最高的入口；Probe 阶段优先最便宜的 probe。
- 有效就扩展，无效就
PARKED/EXHAUSTED；活跃路线全失效先 retrospective 再生成新入口。
Hook 语义优先级（高 → 低）：request-use → sign/decrypt-call → payload/clear boundary → dispatch → reader → writer → bridge/carrier → 低层 DOM/storage/append/script surface。优先命中高语义 hook 面；在 cookie setter → cookieStore → script.src → appendChild 这类低层 surface 间切换不算真正 pivot。每次 hook 都自问：这条 hook 如何直接缩短到请求验收边界。同一家族 hook 连续 2 轮没拿到新可执行证据就换语义层或换 entrypoint。
工具无关落地：以上是「钩哪一层」的方法论，与具体浏览器 MCP 无关。把语义层落到你手上工具（chrome-devtools / js-reverse / stealth-browser / 其它 CDP）的具体能力，先做工具探测、再查能力映射表 references/browser-mcp-capability-map.md。纪律：sign-call 取证用「钩函数抓入参/返回」能力，不要用反复盲注 evaluate_script 代替——后者是缺工具时的退化打法。
浏览器 MCP 锁定（防工具漂移，机械约束）：用户显式指定某浏览器 MCP（或你按反检测优先级选定）后，整条任务只用这一个。初始化时锁定：node $TOOL_DIR/task-init.mjs <task-id> --browser-mcp=<stealth-browser|js-reverse|chrome-devtools>。锁定后 task-advance 每轮打印 execution.discipline.rule=pinned-browser-mcp=<name>。某能力当前工具无原生时走能力表该列的 fallback（如经 execute_cdp_command），禁止为单个能力切到别的浏览器 MCP——换 MCP=换浏览器实例=风控指纹变化，会丢会话或拿到假挑战污染整条逆向。确需换工具先向用户确认并经 task-init --browser-mcp 重锁，绝不静默切换。判读能力表见 references/browser-mcp-capability-map.md Step 0.5。
假设先行 + 同疑点 3 次上限（LLM 高发失败模式硬规则）：Hook/打印是为了理解算法，不是"撞答案"。每次 Hook 前先写下假设（"我预期看到 X，它能区分 A/B 两种可能"）；同一疑点尝试上限 3 次，3 次未推进认知就停下、回退重判保护类型/换语义层，而非继续刷 dump。把成百上千次 Hook 当进度 = 失败。这条与下文「停损」的轮次趋势规则互补：一个管单疑点次数上限，一个管跨轮无新证据趋势。"我 Hook 到了输出值"不是成功，唯一成功判据是验收闸门跑通（见「算法自检与服务端验收」）。
速查：加密类型快速判断 / 定位参数 6 手段
高频低成本入口，看特征即定路线，不必先读一堆 playbook。详细处理仍按路由表进对应 reference。
A · 加密类型快速判断（拿到生成函数代码后）：
| 特征 | 类型 | 进哪条路线 / reference |
|---|
CryptoJS/AES/DES/pkcs1 | 标准加密库 | Hook 库函数拿 key/iv/明文 → 纯算复现（userland-crypto-playbook.md / subtlecrypto-playbook.md） |
超长 base64/hex + while(true)+switch | JSVMP/VMP | vmp-playbook.md + scripts/vm/jsvmp-instrument.cjs |
_0x 变量 + 大数组 + 自执行函数 / 多个 push/shift | OB 混淆 | scripts/deob/deob-ob.cjs → 失败转 string-array-deobfuscation-playbook.md |
atob+%s+.wasm | WASM | wasm-jsvmp-bridge-playbook.md / wasm-binary-analysis-playbook.md |
eval(/new Function( 动态执行 | 动态执行混淆 | Hook eval/Function（dynamic-code-playbook.md） |
n(moduleId) 模块加载 | webpack 打包 | 扣代码（closure-extraction-playbook.md / bundle-loader-playbook.md） |
出现 gettype/w 参数/滑块图 | 验证码 | captcha-slider-playbook.md |
B · 定位参数的 6 个手段（已知参数名）：
- 抓包建图谱，确认密文参数名、字符集/长度（hex? base64? 定长?）
- XHR/Fetch 断点；或 Hook
XMLHttpRequest.prototype.open/fetch/setRequestHeader
get_request_initiator（MCP）或调用栈面板拿生成调用链- 全局搜参数名/
encrypt/sign/CryptoJS/特征常量
- 断在
send 逐帧上溯到赋值行（混淆先 AST 还原再断点）
- 用日志断点（
console.log(arg)）代替普通断点，避免影响执行流 + 规避计时型反调试
算法自检与服务端验收（双闸门）
D/E 模式（本地复现 / 纯算法提取）的验证拆成两道独立闸门，把"算法错"与"补环境错"解耦：
- 算法自检（先）：
python scripts/verify/verify-algo.py --impl run/pure-xxx.py --fixtures run/fixtures.json——钉死随机源后纯算输出与浏览器输出逐字节相等，验算法对不对。
- 服务端验收（后）：
run/verify-once.mjs 或 python scripts/verify/verify-offline.py——脱机纯算生成参数被服务器稳定接受，对随机天然免疫，是 claimLevel 升 delivered 的唯一依据。
两者共用实现契约 generate(ctx, pinned=None)（pinned=None 随机照常＝验收；pinned 给定替换随机源＝自检）。勿用朴素字节比对当验收——签名含随机/时间戳，只有控制变量下才该逐字节相等。细则 references/algorithm-selfcheck-playbook.md。
记录与搜索（记录是执行循环的强制步骤，不是额外记账）
state/clues.md 是线索唯一真源。Note 阶段必须执行：
- 打开
state/clues.md（没有就 task-sync 会生成脚手架）
- 在「## 线索」段下追加一行：
- [置信度] 发现内容 {EP-00N}
- 保存。完成。然后才进入 Rebuild。
落盘触发（满足任一即记录）：
- 定位到新 entrypoint / carrier / hook
- 识别出 family / algorithm / provider
- 发现 direct-call 路线或关键中间值
- 浏览器验证成功/失败出现新症状
- 用户否决某方案（用
--kind=reject）
主张精度（记录时标注）：
provisional：局部样本、单点命中、搜索线索route-ready：已验证，足以支撑下一轮 probeacceptance-ready：已拿到贴近目标边界的直接证据delivered：已通过最终验证。ffprobe 可读、部分明文、单条偶发成功、浏览器 PoC 都不能单独升此级
搜索：当线索里出现 provider 名 / wasm 导出名 / 错误码 / 商业保护高信号，或连续两轮未逼近验收、本地经验未命中（knowledgeGap）时，立即用你环境内可用的 web 搜索能力发起一轮结构化搜索（具体工具按降级表选择，如有 mcp__web-search__search_bing 则用它），结果写入 state/external-research.md / .json。门禁判定的是"是否搜过 + 是否留下决策"，不绑定具体工具；无任何联网能力时走降级（手动检索，不阻断主流程），降级链路见 docs/reference/tooling-degradation.md。query 直接用观察到的具体值，不知道确切名就用 host 域名。细则 references/web-search-tool.md、docs/reference/search-decision-policy.md。
停损（量化自检，每轮必做）
以下不是建议，是每轮结束时的强制自检。不满足就 pivot/retrospective，不要硬顶：
核心三条阈值（高频自检用，完整阈值表 + 阶段回退协议见 docs/reference/stop-loss-parameters.md）：
| 阶段 | 停损条件 | 动作 |
|---|
| Foundation | 连续 2 轮无新增 hook/carrier/entrypoint mapping | 必须 pivot |
| Foundation | 4 轮（VM/WASM 8 轮）进不了 Probe | 必须 retrospective |
| Deep-Dive | 连续 2 轮无高价值证据 | 结束 permit，回退上一可验收层并触发 retrospective |
不算有效推进（所有阶段统一）：更细的 slot/selector 解释、更多同层低价值 hook、只在 Browser/Node 差异上细化但不逼近交付。
自检方式：每轮结束前检查 clues.md——本轮有无新增线索？无 → 触发停损。
VM / WASM / DRM
命中 Worker/WASM/JSVMP/媒体解密时优先级：浏览器黑盒复用 → 明文/解密后边界/appendBuffer/request-use → 浏览器内可控复用 → Node 侧复用原始 worker/wasm/bundle → 纯算法提取 → 最后才 dispatcher/bytecode 深拆。前 1~4 任一足以验收就别深拆；深拆需开 deep-dive permit（五字段 + 回退协议见 docs/reference/stop-loss-parameters.md）。permit 结束后回退到上一可验收层（黑盒复用 / 浏览器内可控复用 / Node 侧复用）并触发 retrospective，不要在原微路线硬顶。专题入口见 references/vmp-playbook.md、references/wasm-jsvmp-bridge-playbook.md、references/media-drm-playbook.md、references/vm-wasm.md。
状态真源与用户约束
真源：taskContract / executionModel / acceptanceModel + state/clues.md。报告与字段冲突时以字段为准。
用户否决一条方案 → 当轮 task-note --kind=reject 落盘。userRejectedApproaches 只增不减，每轮恢复时先对照排除冲突方案。
回复与完成门禁
只要 execution.status=ready-to-continue 且 pauseCategory=none 就继续执行，不要把"我会继续 / 下一步继续 / 自动推进"当作输出，也不要出现"如果你同意继续"这类假暂停。只有四种情况才停下回复：① 需要用户协作（登录/验证码/硬件/样本）；② 高风险副作用需确认；③ 已完成可验证交付；④ 必须声明目标偏差或路线级 pivot（声明后继续执行）。纯过程性进度播报不构成暂停理由。
回复前先 node $TOOL_DIR/assert-can-reply.mjs <task-id>；要宣称完成再加 --require-validated-deliverable。未核实文件存在前不说"已落盘/已写入"，未拿到最新验收证据前不说"已成功/已请求成功"。停下回复前先 node $TOOL_DIR/task-snapshot.mjs <task-id> --round 刷新 report.md（checkpoint，非验收）。--round 把本次当作一个回复轮边界：推进全局轮次，并按「本轮 clues.md 有无新增线索」判定有效推进——连续无新增会自动逼近停损/搜索闸（见「停损」）。降级/门禁细则见 docs/reference/reply-gate-degraded.md。
产物纪律与 Close
所有产物落 artifacts/tasks/<task-id>/（红线 2，有机械门禁）。report.md 由 task-snapshot / task-close 渲染，严禁在根另建 REPORT.md 或平行报告。
Close 最小要求（硬约束）：report.md + run/verify-once.mjs + run/fixtures.json 三件套齐全，且 report.md 顶部必暴露 workspaceRoot / taskLocalRoot / artifactTruthRoot / taskMode / primaryTopic / claimLevel / acceptanceGap / nextEvidenceGate，并保留「切入点循环」段。
收尾必须跑 task-close（task-snapshot 只是中止快照、不跑门禁、不标记完成）。task-close 的硬校验项（taskMode/primaryTopic 非占位、四段叙事非空、散落产物 [relocate] 行为、snapshot 与 close 的分工）与四段真源 state/narrative.md 写法，见 docs/reference/closeout-checklist.md。所有报告用中文，代码/字段名保留原样。另见 docs/reference/output-contract.md。
路由表（按需读）
- 启动 / 续跑：
docs/reference/startup-gate-procedures.md
- 工具降级（工具不可用时手动维护 state，不崩）：
docs/reference/tooling-degradation.md
- 执行循环 / retrospective：
docs/reference/reverse-workflow.md、docs/reference/retrospective-protocol.md
- 首轮契约扩展字段：
docs/reference/first-response-contract.md
- 停损参数 / 假说治理：
docs/reference/stop-loss-parameters.md、references/hypothesis-governance-playbook.md
- 搜索：
references/web-search-tool.md、references/websearch-escalation-playbook.md、docs/reference/search-decision-policy.md
- 专题选择 / 能力矩阵：
docs/reference/topic-selection-policy.md、docs/reference/capability-matrix.md
- 交付梯度 / 输出契约 / 收尾：
docs/reference/deliverable-ladder.md、docs/reference/output-contract.md、docs/reference/closeout-checklist.md
- 浏览器 MCP 能力映射（工具无关执行层，任何浏览器 MCP 用户必读）：
references/browser-mcp-capability-map.md
- 扣代码 / 反混淆 / 最小闭包提取（从 bundle 抽出目标函数到 Node 单跑）：
references/closure-extraction-playbook.md（入口）、references/deobf.md、references/string-array-deobfuscation-playbook.md、references/control-flow-flattening-playbook.md、references/dead-code-elimination-playbook.md、references/bundle-loader-playbook.md、references/local-rebuild.md
- 补环境（Node 侧复现跑通；canonical 在 docs/reference）：
docs/reference/env-patching.md（canonical）、references/env-conformance-playbook.md、references/env-drift-decision-tree.md、references/env-as-algorithm-input-playbook.md、references/node-env-rebuild.md；补环境探测脚本 scripts/env/proxy-env.cjs
- 算法自检与服务端验收（双闸门）：
references/algorithm-selfcheck-playbook.md；脚本 scripts/verify/verify-algo.py（控制变量逐字节）、scripts/verify/verify-offline.py（服务端验收 Python 路线）
- 验证码 / 滑块 / 点选 / 旋转（challenge-orchestration 的 visual challenge 分支）：
references/captcha-slider-playbook.md；脚本 scripts/captcha/slide-gap.py / /
专题成熟度摘要
synthetic-e2e (21): anti-debug, behavior-telemetry, binary-codec, challenge-orchestration, compression-stream, dynamic-code, env, fingerprint, framework-runtime, graphql-rpc, instrumentation-hooking, jsvmp, media-drm, module-federation, protocol, signature, streaming-runtime, subtlecrypto, userland-crypto, wasm, workerguided (0): none published yetclosed-loop (13): anti-tamper, ast-deobfuscation, beacon-reporting, bundle-loader, cross-context-coordination, frame, grpc-web, microfrontend-runtime, session, source-map, storage, webauthn-passkey, webrtc-datachannelreference-only (0): none published yet
记住：你不是来做漂亮的阶段汇报，也不是来做无止境的机理研究；你是来完成用户要的逆向交付。
