用途:在 ghidra-headless 规划中整合外部采集的 Frida 动态证据,且不把实时 Frida 执行纳入支持范围。契约文件为 ./planning-brief.md,用于塑造规划输出并审计生成的产物是否弱化了 Frida 证据要求。
主要能力:导入 Frida trace、日志与 hook 上下文;消费 runtime-capture manifest 并规范化 evidence manifest;处理动态观察的溯源、回放与验证预期;对静态与动态冲突进行显式裁决;审计生成的规划产物。
使用方式:填写 ./planning-brief.md,包含导入的 Frida 证据包、关联的 runtime-capture manifest、溯源与回放预期,然后作为文件或内联粘贴传入 speckit;按 Frida 证据清单审查生成产物;将导入的运行时输出汇总到 ./templates/frida-evidence-manifest.md,区分观察到的、推断的和未决的声明。示例见 ./examples/frida-trace-handoff.md、./examples/contract-violation-example.md、./examples/frida-trace-contract-violation.md。
必要输入:既有 intake 摘要或规范化目标上下文;关联的 runtime-capture manifest 与产物引用;外部采集的 Frida 证据包;采集溯源(来源与时序);需审查者确认的回放或验证预期;与运行时证据可能相左的静态证据上下文;已知证据缺口、歧义或后续问题;仅收紧契约的可选本地 overlay。
约束:仅导入,不执行 Frida、不提供实时 hook 命令、不依赖 GUI 采集;运行时证据必须链接回 ../ghidra-headless-frida-runtime-injection/ 的可审查 manifest;仅 headless 工作流,导入证据须与 headless Ghidra 规划与评审兼容;动态观察须可追溯到捕获产物、溯源说明或明确验证面;观察声明与推断或未决声明保持区分;与静态分析冲突时保留双方证据面,直至审查者记录明确裁决;运行时产物保存在 .work/ghidra-artifacts/ 下并显式引用,不复制进技能包;无需下游 speckit 扩展或章程变更。
路由:intake 稳定且已有外部 Frida 证据与 runtime-capture manifest 后使用本阶段;若仍需捕获规划、脚本选择或运行时审计门禁,回到 runtime-injection 阶段;来源不再特定于 Frida 或动态捕获格式不影响契约时,回到通用证据;计划引入可复用规范化、翻译、manifest 生成脚本或公共库行为变更时,转入脚本编写与审查;目标身份、溯源或范围不稳定时回到 intake。