win-reverse

Windows Reverse Framework

目标与路径

使用宿主给出的实际 <SKILL_BASE>；没有技能调用工具时直接读取安装的 SKILL.md。不要从 cwd 猜安装目录或声称已加载不存在的工具。

按主提示词的内置 JIT harness 工作。绑定用户当前 TARGET、原始 objective、可判定的 completionCriteria（success oracle）、输入与边界。单个静态问题直接工具分诊后回答；只有多阶段、需续作或可复现交付的任务使用 runner。先做可行样本检查，不让初始化清单阻止第一轮分析。

任务产物属于 <PROJECT_DIR>/artifacts/tasks/<task-id>/；本文 run/、state/ 相对此任务目录。禁止把真实任务产物写入全局 skill。已有 .work/<case>/notes.md 可继续复用，避免重复维护两套记录。

node <SKILL_BASE>/tools/task/task-start.mjs <task-id>
node <SKILL_BASE>/tools/task/task-init.mjs <task-id> [--topic=... --topics=...]
node <SKILL_BASE>/tools/task/task-sync.mjs <task-id>
node <SKILL_BASE>/tools/task/task-advance.mjs <task-id> --json
node <SKILL_BASE>/tools/task/task-close.mjs <task-id>

task-start 初始化后补齐：targetContext.targetBinaryPath（或 TARGET）、objective、completionCriteria、所需 deliverableTier、disallowedFallbacks、userRejectedApproaches。后两项只增不减；用户明确改变目标时另建任务契约，不把旧判据降级成容易通过的检查。

task-advance 只检查契约、结构化证据并更新下一动作；它不执行 nextExecutableAction，也不限制宿主 Write/Edit/API 权限。非零退出仅表示该次 runner 未推进，不是“系统物理锁死”。观察真实执行事件才报告启动/完成。它要求可用 TARGET 与非空 oracle，不猜产品路径、不启动未知样本。

验证预算与证据复用

• 哈希不证明功能。文本/配置默认看 diff 或定向断言，不为每次推进、保存和报告计算 SHA256。
• 仅样本身份、保护原件、分发完整性或明确审计/回滚依赖校验和时计算；未变输入复用已记录结果，不扫描所有 .clean.bak。
• 选择能回答 oracle 的最小验证：静态路径、重现命令、受影响组件测试或所需 GUI 观测。截图仅用于 GUI 条件，不能要求所有任务重启目标或每轮截图。
• 旧证据附输入版本、路径和观测来源即可复用。输入、相关实现或环境变动仅使依赖它的检查失效；历史无来源结论才是待验证假设。工具 call ID 可选，真实日志/文件位置同样可追踪。
• “进程启动”“文件写入”“脚本无报错”可以证明那个具体动作完成，但不能替代任务功能判据。阶段结果可以带未完成项，最终完成才逐项核对全部 oracle。

可选原件完整性检查

只有明确要保护不可变原件时，在 task.json 指定：

{
  "targetContext": {"targetBinaryPath": "samples/original.exe"},
  "objective": "用户原始目标",
  "completionCriteria": ["由输出或观测判定的条件"],
  "integrityChecks": [{
    "targetPath": "samples/original.exe",
    "baselinePath": "run/original.clean.bak",
    "expect": "unchanged",
    "reason": "用户要求原件在工作副本实验期间保持不变"
  }]
}

targetPath 以项目根为基准；baselinePath 以任务目录为基准。也可用已知 expectedSha256 替代 baselinePath，二选一。源必须是本任务 TARGET，不以历史产品文件名推断。故意修改的工作副本不参加“原件不变”检查。hash_mismatch_authorized.flag 不构成证据或豁免。