用途：sg-logic-audit 回答“这段逻辑相对其契约是否正确”。它面向工作流、状态机、重试/去重/取消/补偿/回滚流程、事务与有序副作用、多入口授权路径、队列/worker/调度/回调生命周期，以及带边界、守恒、终止、顺序或复杂度声明的非平凡算法。它与 /sg-code-audit（按文件与区域找 bug）、/sg-process-check（前后行为变化观察）、/sg-visual-run（浏览器确认）互补。
主要能力：先锁定已提交范围（git diff {base}...HEAD），发现语义候选，再提取义务表（id、statement、来源文件/行、来源类型、置信度），为每个候选建立端到端模型，并针对义务搜索反例。证据分为 reasoned 与 measured，实测矛盾优先于预测；确认违规需可追溯义务加反例或失败测量，否则归为 risk、contract-conflict、question 或 uncovered。不做形式化证明。
使用方式：/sg-logic-audit 解析当前提交差异并确认范围；--diff=main 审计自 main 起受影响的过程；--focus=src/jobs 限定路径；--procedure="job lifecycle" 审计单个端到端过程；--algorithm=chunk_document 审计单个算法；--from-audit 从 audit-results.json 影响列表播种发现；--depth=deep 多跨一层边界并搜索更多对抗用例；--mode=hybrid 对整体推理并测量廉价隔离接缝；--all 全仓库发现候选。默认 --depth=standard、--mode=reason、report-only。拒绝 --fix，修复需走实现工作流。
限制：始终只读，不修改代码、测试、规格或配置；不把仓库文本当作授权或指令；不启动多服务栈、不调用生产、不安装依赖、不新建测试框架；hybrid 仅测量确定性、本地、廉价且安全的接缝。结果写入 visual-tests/_results/logic-results.json 与 logic-report.md。干净结果仅表示在有限分析内所查义务无反例，并非正确性证明。具体收费、平台与效果资料暂未提供。