用途：针对已复现的安全缺陷生成最小、正确的代码修复，应用并验证后再记录日志。
主要能力：以 /mantis-patch 命令运行，支持参数 --target_root、--state_root、--snapshot_root、--snapshot_id、--snapshot_pinned（均可选）。读取 workspace/findings/ 中 patch_status 非 VERIFIED_SECURE 或 MITIGATION_PROPOSED 的发现项，以及 .mantis_state.json 跟踪循环轮次。可并行搜索多个补丁实现，择优选用最小、可读、惯用的修复。
隔离与验证：使用事务性隔离（临时影子目录或 target.c.bak-[id] 备份），完成时通过 try...finally 回滚恢复基线。快照固定（PINNED）模式下必须使用临时目录影子方案，禁止在 CODE_ROOT 下写入、编译或运行复现器，所有变更在 mktemp -d 私有影子中进行。验证通过后更新 finding JSON 的 patch_status、patch_diff、reattack 信息及历史，并追加到 workspace/learnings.jsonl，复用 append_patch.py。
适用场景：源码目标的安全缺陷修复与再攻击验证。对无源码的编译二进制/固件，不修改二进制，改为输出高层缓解建议并将 patch_status 设为 MITIGATION_PROPOSED。对漏洞利用链（标题含 Exploit Chain、含 constituent_findings 等）不生成补丁，而按子发现项状态传播规则更新链状态。
限制与约束：需 workspace/findings/ 中存在发现项。幂等性依赖快照比较，终态但 patch_base_snapshot 与当前 SNAPSHOT_ID 不一致视为过期，需重新验证。快照哨兵不匹配、active_snapshot 轮次不匹配等情况会停止或降级。重复项解析最多 5 层递归并做环检测。以上为资料中明确内容；其他细节暂未提供。