logic-audit

逻辑审计

结果

找出并修复各项主张、要求、证据、行动和证明之间的重大矛盾与缺失关联。保留权威性和原意。不要编造前提、抹去真实的不确定性，也不要弱化精确要求。

触发条件与边界

当用户要求查找、解释、协调或修复逻辑不一致、遗漏、缺乏支持的主张、相互冲突的要求、未完成的案例，或目标与其证明之间的缺口时使用。

适用于散文、政策、计划、规范、研究、决策及混合来源集。对于代码故障，在此技能识别出逻辑约定后，将根因排查交由 systematic-debugging 处理。对于形式化定理，在可用时使用证明助手或求解器，并将主张限制在其验证范围内。仅进行常规事实查找不触发此技能。

完整审计的范围受指定来源集和结果限制。绝不要声称开放世界中不存在任何可能的缺口。

必需的组合技能

审计前：

1. 加载 always-current-datetime 并获取其时钟锚点。
2. 加载 starting-point 并构建其私有结果映射。
3. 加载 outcome-bounded-work，并分类固定要求、证明义务、边界、禁止结果、强制方法、候选路线和未知项。
4. 在整个审计中保持同一 as_of 锚点。仅在收到新的直接用户回合或到达当地午夜后重新获取。

这些技能分别负责日期处理、结果映射，以及不变量与配方的分类。本技能负责一致性和缺口分析。

证据设置

1. 指明准确的来源集、权威顺序、版本、日期和排除材料。
2. 在可访问时完整阅读每个来源。如果仍有截断，标明省略范围，不要将其视为完整来源。
3. 按来源顺序为每条重要陈述分配稳定的来源 ID。
4. 将每条陈述分类为定义、事实、假设、要求、边界、例外、证据、推论、行动、结论或未知项。
5. 在判定两条陈述不一致之前，先统一术语、实体、引用、量词、情态动词、单位、时间范围、版本和范围。

网络证据规范

明确说明用途，并使用所有可用且与来源相关的网络能力。不要执行无法改变审计结论的底层操作。

1. 列出当前可用的搜索、来源提取、渲染浏览器、社交来源、学术和领域来源能力。使用不熟悉的能力前，先检查其规范。
2. 维护能力台账，每项与来源相关的独立能力各占一行。标记为 USED、NOT_APPLICABLE（并说明理由）或 UNAVAILABLE（并记录观察到的故障）。必须使用所有可用的相关能力。
3. 使用搜索能力进行发现和查询变体。当某项主张有权威责任方时，优先搜索官方或第一方域名。
4. 在将候选位置视为证据前，使用来源提取能力检查这些位置。搜索摘要只是线索，不是证明。
5. 对于仅限 JavaScript、需要身份验证、交互式、依赖版面布局、控制台或网络方面的证据，使用渲染浏览器能力。遵循宿主环境既定的计算机使用负责人指引。
6. 对于涉及社交帖子、个人资料或讨论串的主张，使用社交来源能力。当特定学术、市场、地图、代码仓库或平台能力所覆盖的资料库可能改变审计结论时，使用相应能力。
7. 仅当常规网络能力失败或缺少所需响应界面时，才将终端 HTTP 客户端作为有记录的后备方案。未检查后备方案返回的来源前，绝不要将其作为证据。
8. 记录 URL 或来源 ID、发布方、可获取时的发布日期或更新日期、访问日期、相关主张 ID，以及来源局限。

优先使用一手来源。当错误代价、争议或来源动机使单一来源不足以支撑结论时，使用独立佐证。将当前事实与历史证据分开。

审计流程

资源门槛：使用此处列出的软件包文件前，先运行 mise run validate。

1. 从每项结论或必需结果回溯至其前提、操作、负责人和证据，建立依赖关系图。
2. 针对每项陈述、陈述对、依赖链和权威层，运行 references/check-catalog.md 中所有适用的一致性类别。
3. 针对每项必需结果、分支、接口、状态转换和证明主张，运行该目录中所有适用的缺口类别。
4. 确认普遍性或穷尽性主张前，先搜索反例和边界情况。
5. 通过 Web 证据约定核实可外部检查的前提。不要用来源之间的一致性代替有效推理。
6. 每个独立问题创建一条发现记录。不要把一个根本问题拆分成夸大的重复项。
7. 将每个候选项判定为 CONFIRMED、PROBABLE、POSSIBLE、NOT_AN_ISSUE 或 BLOCKED。
8. 根据已接受的结果而非措辞的强烈程度，将影响等级评为 critical、high、medium 或 low。
9. 修复最小的连贯单元。优先采用澄清、范围修正、明确前提、补充缺失情况、替换证据或协调要求，而不是大范围改写。
10. 重建依赖关系图，并对修复后的产物重新进行审计。

发现记录表

每项发现必须包括：

• ID 和来源定位信息或陈述 ID。
• 类型以及受影响的结果或证明义务。
• 候选冲突或缺失的联系。
• 规范化解读和相互竞争的解读。
• 状态、影响和置信度。
• 所用证据，包括 Web 能力记录表中的条目。
• 最小修复方案及任何副作用。
• 解决状态和剩余的不确定性。

只有当两个陈述涉及相同的相关实体、时间、范围、含义、权威语境和情态时，差异才构成矛盾。证据缺失并不能证明某项主张为假。

修复规则

• 优先级更高的指令和明确的用户要求具有优先权。
• 保留能够共同满足的最严格契约。不要默默选择权威冲突的任何一方。
• 方法为强制要求时，必须使用该方法。将任何替代方案标记为可选对比，绝不可默默替代。
• 将新假设明确标注为假设；如果它会改变实质性操作，则请求批准。
• 如果证据无法作出选择，应明确保留尚未解决的替代方案。
• 将来源修正与实现分开。由有权编辑者负责，并遵循正常的副作用审核门槛。
• 改写时，加载 meaning-preserving-rewrite，并保留每项已接受的要求和证明义务。

证明门槛

只有在以下条件全部满足时，才返回 PASS：

• 已读取完整的限定来源集，或已将每个无法访问的范围排除在主张之外。
• 不存在尚未解决的关键或高影响矛盾。
• 每项必需结果都具有完整的链条，包含前提、负责人、操作或推理，以及用于判定的证据。
• 每项实质性外部前提都有当前来源证据，或被标记为尚未解决。
• Web 能力记录表涵盖所有可用且与来源相关的能力。
• 修复后的产物通过相同检查，并且至少经受一个反例或否定情形的检验。
• 不得将组件检查表述为对整体结果的证明。

有用的发现已得到证明但尚未达到门槛时，使用 PARTIAL。因缺少权威依据、来源访问权限或证据而无法安全修复时，使用 BLOCKED。

输出

首先给出结果和 as_of 日期。然后提供限定来源集、发现记录表、修复后的产物或精确补丁、尚未解决的事项、Web 能力记录表，以及最终的 PASS、PARTIAL 或 BLOCKED 判定。在相关主张附近引用来源 ID 和 URL。

常见失败

• 将不同日期、范围、定义或模态视为矛盾。
• 把歧义转化为隐藏假设。
• 只核查前提，却忽略无效推论。
• 只列出缺口，却不追踪其对结果的影响。
• 将搜索摘要、来源数量或模型间的一致作为证据。
• 把修复后的段落称为执行成功的证明。
• 在限定的来源集之外声称内容完整。

软件包资源

用户要求使用持久化账本时，请使用 assets/finding-ledger-template.md。填写前，将其复制到已安装技能之外。阅读 examples/direct-contradiction.md、examples/temporal-non-contradiction.md 或 examples/blocked-source-access.md，了解完整的可见运行示例。软件包维护者使用 references/generation-contract.md、mise run test 和 evals/，然后运行 mise run ci；常规审计无需加载这些路径。

渐进式披露

资源门槛：使用此处列出的软件包文件前，先运行 mise run validate。

PD-101：references/check-catalog.md 负责详细的不一致与缺口分类。进行完整审计或候选项不符合核心类别时，请加载此文件。此文件负责触发条件、流程和反向链接。

PD-102：references/eval-cases.json 负责客观压力测试案例和验收。测试、审查或更改此技能前，请加载此文件。此文件负责运行时行为，并链接回该评估文件。

PD-201：references/generation-contract.md 负责可移植的软件包结构、来源沿袭、示例和评估证明。软件包维护者更改这些内容前应加载此文件。此文件负责公开流程和反向链接。

工厂执行契约

验收结果：通过依赖感知的矛盾账本和全新的修复证明，找出并修复实质性主张矛盾。在更改最小责任归属方的同时，保留当前矛盾账本行为。

1. 使用 mise run ci 冻结当前软件包并记录其摘要。
2. 运行 mise run domain-research-policy，然后判断当前矛盾账本的来源和反证。
3. 针对指定的矛盾账本操作运行 mise run agentic-request。将语义选择留给模型。
4. 运行 mise run decision-policy、mise run ci 和行为评估。返回到失败层级最低的责任归属方。
5. 运行 mise run invocation-policy -- <receipt>，并说明每项任务或其领域特定的不使用情况。
6. 可选择运行 mise run improvement-policy。只有在不导致任何受保护维度退化时，才保留单一变更维度。

仅在需要其契约时，才通过 mise run use-case-policy 加载 assets/use-case-contract.json，并通过 mise run evals 加载 evals/evals.json。

Mise 负责可重复的机制、顺序、回执和检查。模型负责解读、因果判断、创造性工作，以及代码无法提供的直接感知。遇到授权缺失、证据过时或门槛未通过时，请停止。