用途：mantis-critic 是 mantis 流水线中的“生产可用性专家”阶段，对已验证的安全发现做对抗性复核，判断其在编译优化后的发布构建中是否仍可触发，从而过滤掉仅调试可用的问题与断言陷阱。
主要能力：读取 workspace/findings/ 下全部发现（含 VALID、FALSE_POSITIVE、PROVISIONALLY_VALID、NEEDS_RESEARCH），结合 workspace/kb/THREAT_MODEL.md 的部署意图与 workspace/.mantis_state.json 的快照信息，独立重验代码路径。输出四种可用性状态：VIABLE（标准发布/生产构建可触发）、NON_VIABLE（生产不可达或被编译剔除，如依赖 assert()/debug_abort() 且被 NDEBUG 剥离、#ifdef DEBUG 调试特性、不可绕过的生产环境控制）、SAMPLE_OR_TEST（位于示例、测试、模糊测试或校验框架）、CONDITIONAL_VIABLE（仅在非默认配置、可选编译标志或自定义加固下可利用）。
使用方式：命令为 /mantis-critic [--target_root=<path>] [--snapshot_root=<path>] [--snapshot_id=<id>] [--state_root=<path>]。先做定位解析：--target_root 为权威路径并豁免哨兵检查；否则用 --snapshot_root；否则读状态中的 active_snapshot；都无则用当前目录。快照固定时校验 .mantis_snapshot_id 与 SNAPSHOT_ID 一致，不一致则停止。对每个发现做快照匹配（discovery_commit 必须精确等于 SNAPSHOT_ID），不匹配、文件缺失或行号越界时保守置为 CONDITIONAL_VIABLE，绝不置 NON_VIABLE。匹配后读取目标行前后各至少 15 行上下文，并参考 repro_hints 与 history 中的执行遥测。结果以就地编辑方式写回 findings JSON，追加 production_viability、critic_reasoning 与 history 条目，并向 workspace/learnings.jsonl 追加记录。
适用场景与限制：适用于 mantis 安全审计流水线中已验证发现的发布可用性筛选。依赖 findings 已存在；快照固定时禁止写入 CODE_ROOT，编译或生成产物须在私有影子副本中运行；VCS 历史提取须在含 .git/.hg/.repo 的实时仓库根执行。无快照时降级为 MODE-OFF，快照不可用时相关检查视为不匹配。具体收费、平台与效果资料暂未提供。