当陈述、需求、证据、行动或证明之间存在矛盾或推理缺口时…

在命名源集和限定结果内，查找、裁定并最小修复重大矛盾与缺失环节，同时保留权威、意图和不确定性。

适用场景

解决思路

1. 目标：查找并修复跨主张、需求、证据、行动和证明的重大矛盾与缺失环节。
2. 保留权威与意图。
3. 不要发明前提、抹除真实不确定性或弱化精确要求。
4. 当用户要求查找、解释、调和或修复逻辑不一致、遗漏、无支持主张、冲突需求、不完整用例，或目标与其证明之间的缺口时，执行本审计。
5. 对散文、政策、计划、规范、研究、决策和混合源集执行本审计。
6. 对于代码失败，在本技能识别逻辑契约后，将根因执行交给 `systematic-debugging`。
7. 对于形式定理，在可用时使用证明助手或求解器，并将主张限制在其已验证范围内。
8. 将完整审计限制在命名源集和结果内。
9. 不要声称开放世界没有可能缺口。
10. 审计前：加载 `always-current-datetime` 并获取其时钟锚点。
11. 审计前：加载 `starting-point` 并构建其私有结果映射。
12. 审计前：加载 `outcome-bounded-work` 并分类固定要求、证明义务、边界、禁止结果、强制方法、候选路线和未知项。
13. 在整个审计中保持同一个 `as_of` 锚点；仅在新的直接用户轮次或本地午夜后重新获取。
14. 由上述技能继续负责日期处理、结果映射以及不变量与配方分类；本技能只负责一致性与缺口分析。
15. 证据设置：命名精确源集、权威顺序、版本、日期和排除材料。
16. 证据设置：在可访问时完整阅读每个来源；若仍有截断，标记省略范围，不要通过整个来源。
17. 证据设置：按来源顺序给每条材料性陈述分配稳定来源 ID。
18. 证据设置：将每条陈述分类为定义、事实、假设、要求、边界、例外、证据、推断、行动、结论或未知。
19. 证据设置：在判定两条陈述不一致前，先归一化术语、实体、引用、量词、情态动词、单位、时间窗口、版本和范围。
20. Web 证据契约：以明确目的使用每个可用的、与来源相关的 Web 能力。
21. Web 证据契约：不要触发不能改变发现的低层动作。
22. Web 证据契约：盘点当前搜索、来源提取、渲染浏览器、社交来源、学术和领域来源能力；使用不熟悉的能力前检查其契约。
23. Web 证据契约：维护能力台账，每个不同的、与来源相关的能力一行。
24. Web 证据契约：将每个能力标记为 `USED`、`NOT_APPLICABLE` 并给理由，或 `UNAVAILABLE` 并记录观察到的失败；每个可用且相关的能力都必须使用。
25. Web 证据契约：使用搜索能力进行发现和查询变体；当主张有权威所有者时，优先搜索官方或第一方域名。
26. Web 证据契约：在把候选位置当作证据前，先用来源提取能力处理它；搜索片段是线索，不是证明。
27. Web 证据契约：对仅 JavaScript、需认证、交互式、依赖布局、控制台或网络证据，使用渲染浏览器能力；遵循宿主既定的 computer-use 所有者。
28. Web 证据契约：对关于社交帖子、个人资料或线程的主张，使用社交来源能力；当专门语料能改变发现时，使用特定学术、市场、地图、仓库或平台能力。
29. Web 证据契约：仅在正常 Web 能力失败或缺少所需响应面后，将终端 HTTP 客户端作为有记录的降级方案；未检查返回来源前，绝不把降级方案变成证据。
30. Web 证据契约：记录 URL 或来源 ID、发布者、可用时的发布或更新日期、访问日期、相关主张 ID 和来源限制。
31. Web 证据契约：优先使用一手来源。
32. Web 证据契约：当错误成本、争议或来源激励使单一来源不足时，使用独立佐证。
33. Web 证据契约：将当前事实与历史证据分开。
34. 审计程序资源门：在使用此处命名的包文件前，运行 `mise run validate`。
35. 审计程序：从每个结论或要求的结果反向构建到其前提、行动、所有者和证据的依赖映射。
36. 审计程序：针对每条陈述、陈述对、依赖链和权威层，运行 `references/check-catalog.md` 中每个适用的一致性类别。
37. 审计程序：针对每个要求的结果、分支、接口、状态转换和证明主张，运行该目录中每个适用的缺口类别。
38. 审计程序：在确认全称或穷尽性主张前，搜索反例和边界情况。
39. 审计程序：通过 Web 证据契约验证可从外部检查的前提；不要把来源一致当作有效推断的替代。
40. 审计程序：每个独立问题只创建一个发现；不要把同一个根问题拆成膨胀的重复项。
41. 审计程序：将每个候选裁定为 `CONFIRMED`、`PROBABLE`、`POSSIBLE`、`NOT_AN_ISSUE` 或 `BLOCKED`。
42. 审计程序：基于已接受的结果，而不是措辞强度，将影响排序为 `critical`、`high`、`medium` 或 `low`。
43. 审计程序：修复最小连贯单元；优先选择澄清、范围修正、显式前提、缺失用例、证据替换或需求调和，而不是大范围重写。
44. 审计程序：在修复后的产物上重建依赖映射并重新运行审计。
45. 发现台账：每个发现必须包含 ID 和来源定位符或陈述 ID。
46. 发现台账：每个发现必须包含类型和受影响的结果或证明义务。
47. 发现台账：每个发现必须包含候选冲突或缺失环节。
48. 发现台账：每个发现必须包含归一化读法和竞争读法。
49. 发现台账：每个发现必须包含状态、影响和置信度。
50. 发现台账：每个发现必须包含所用证据，包括 Web 能力行。
51. 发现台账：每个发现必须包含最小修复及任何副作用。
52. 发现台账：每个发现必须包含解决状态和剩余不确定性。
53. 发现台账：只有当两条陈述具有相同相关实体、时间、范围、含义、权威上下文和情态时，差异才成为矛盾。
54. 发现台账：缺失证据不是主张为假的证明。
55. 修复规则：更高优先级指令和显式用户要求优先。
56. 修复规则：保留最强的可联合满足契约；不要静默选择权威冲突的一边。
57. 修复规则：当方法是强制性的，就使用它；将任何替代方案标为可选比较，绝不静默替换。
58. 修复规则：将新假设声明为假设；当它们改变重大行动时，请求批准。
59. 修复规则：当证据无法在备选方案间选择时，保持未解决备选可见。
60. 修复规则：将来源修正与实现分离；使用合适的编辑者和正常的副作用门。
61. 修复规则：重写时，加载 `meaning-preserving-rewrite` 并保留每个已接受要求与证明义务。
62. 证明阈值：仅当以下全部为真时返回 `PASS`。
63. 证明阈值 `PASS` 条件：完整的有界源集已读取，或每个不可访问范围已从主张中排除。
64. 证明阈值 `PASS` 条件：没有未解决的 `critical` 或 `high` 影响矛盾。
65. 证明阈值 `PASS` 条件：每个要求的结果都有完整链条：前提、所有者、行动或推断、决定性证据。
66. 证明阈值 `PASS` 条件：每个材料性外部前提都有当前来源证据，或被标记为未解决。
67. 证明阈值 `PASS` 条件：Web 能力台账已说明每个可用且与来源相关的能力。
68. 证明阈值 `PASS` 条件：修复后的产物通过相同检查，并至少通过一个反例或负例。
69. 证明阈值 `PASS` 条件：组件检查没有被呈现为整体结果证明。
70. 证明阈值：当有用发现已被证明但阈值未完整满足时，使用 `PARTIAL`。
71. 证明阈值：当缺少权威、来源访问或证据阻止安全修复时，使用 `BLOCKED`。
72. 输出：先给出结果和 `as_of` 日期。
73. 输出：然后提供有界源集、发现台账、修复后的产物或精确补丁、未解决项、Web 能力台账，以及最终 `PASS`、`PARTIAL` 或 `BLOCKED` 决定。
74. 输出：在支持主张的附近引用来源 ID 和 URL。
75. 常见失败：不要将不同日期、范围、定义或情态当作矛盾。
76. 常见失败：不要把歧义转换为隐藏假设。
77. 常见失败：不要只核对前提而忽略无效推断。
78. 常见失败：不要只列出缺口而不追踪其对结果的影响。
79. 常见失败：不要把搜索片段、来源数量或模型一致当作证明。
80. 常见失败：不要把修复后的段落称为执行可用的证明。
81. 常见失败：不要在有界源集之外声称完整性。
82. 包资源：当用户要求持久台账时，使用 `assets/finding-ledger-template.md`；填写前把它复制到已安装技能之外。
83. 包资源：阅读 `examples/direct-contradiction.md`、`examples/temporal-non-contradiction.md` 或 `examples/blocked-source-access.md` 以查看完整可见运行。
84. 包资源：包维护者使用 `references/generation-contract.md`、`mise run test` 和 `evals/`，然后运行 `mise run ci`；普通审计不加载这些路径。
85. 渐进披露资源门：在使用此处命名的包文件前，运行 `mise run validate`。
86. 渐进披露 `PD-101`：`references/check-catalog.md` 负责详细的不一致与缺口分类；在完整审计前，或候选不符合核心类别时加载它；本文件负责触发、程序和反向链接。
87. 渐进披露 `PD-102`：`references/eval-cases.json` 负责目标压力用例与验收；在测试、审查或更改本技能前加载它；本文件负责运行时行为并链接回该评估所有者。
88. 渐进披露 `PD-201`：`references/generation-contract.md` 负责可移植包结构、来源谱系、示例和评估证明；包维护者在更改这些表面之前加载它；本文件负责公共程序和反向链接。
89. 工厂执行契约：接受的结果是：通过依赖感知的矛盾台账和新鲜修复证明，查找并修复材料性主张矛盾；保留当前矛盾台账行为，同时更改其最小所有者。
90. 工厂执行契约：用 `mise run ci` 冻结当前包并记录其摘要。
91. 工厂执行契约：运行 `mise run domain-research-policy`，然后评判当前矛盾台账来源和反证。
92. 工厂执行契约：为命名的矛盾台账操作运行 `mise run agentic-request`；将语义选择留给模型。
93. 工厂执行契约：运行 `mise run decision-policy`、`mise run ci` 和行为评估；返回最低失败所有者。
94. 工厂执行契约：运行 `mise run invocation-policy -- <receipt>`，并说明每个任务或其领域特定的未使用。
95. 工厂执行契约：可选运行 `mise run improvement-policy`；仅当没有受保护维度回退时，保留一个已更改维度。
96. 工厂执行契约：仅当需要其契约时，通过 `mise run use-case-policy` 加载 `assets/use-case-contract.json`，并通过 `mise run evals` 加载 `evals/evals.json`。
97. 工厂执行契约：Mise 负责可重复机制、顺序、收据和检查；模型负责解释、因果判断、创造性工作以及代码无法提供的直接感知；在缺少权威、证据过时或门失败时停止。

适用边界 · 注意事项

• 常规事实查找本身不触发本技能。
• 代码失败：在识别逻辑契约后，将根因执行交给 `systematic-debugging`，不要用本技能替代执行调试。
• 形式定理：使用可用的证明助手或求解器，并将主张限制在其已验证范围内。