对有限集合做可证明去重并安全执行规范化/合并/删除时使用

在需要对有界集合生成可审计重复项报告，并在明确授权下执行去重变更时使用。

适用场景

解决思路

1. 对每个去重任务，加载所需 owner 技能的最新指令，而不是复制其流程：`always-current-datetime`、`starting-point`、`outcome-bounded-work`、`logic-audit`。
2. 面向用户回复前，加载 `always-current-datetime` 并获取时钟锚点；仅当新鲜度、时效、重定向、文件时间或最新项打破平局规则影响决策时，再次查询运行时时间。
3. 加载 `starting-point`，固定请求结果、有界输入、权限、所需证据、未知项和禁止结果。
4. 加载 `outcome-bounded-work`，将适配器步骤视为候选路径，除非某步骤保护身份、安全、授权、可复现性或证明。
5. 加载 `logic-audit`，在变更和完成前审计身份规则、规范化、相似性阈值、非传递对、冲突、规范项打破平局规则、空值、缺失值、链接和边界情况。
6. 如果必需的 owner 技能无法加载，以 `contract-unavailable: <skill-name>` 停止；绝不用记忆中的文本替换不可用的 owner。
7. 使用命令 `help`：显示适配器、身份类别、默认值和必需输入。
8. 使用命令 `inspect`：生成非变更报告和建议的规范项映射。
9. 使用命令 `apply`：执行一个明确批准的变更计划，然后验证；`apply` 指已审查的工作流阶段，不是脚本命令；随附脚本不暴露可执行的 `apply` 子命令；只有在精确源、规范目标、动作、冲突处理和目的地已授权后，才通过可用的宿主能力执行已批准计划。
10. 对破坏性请求，先映射到 `inspect`，除非已有当前、已审查的报告和精确变更权限。
11. 检查前建立有界源项和去重单元。
12. 检查前建立一个适配器：`text`、`file`、`record`、`url`、`list` 或 `skill`。
13. 检查前建立身份类别：精确、规范化或相似性候选。
14. 检查前建立规范化和比较策略。
15. 检查前建立规范项选择规则。
16. 检查前建立冲突和合并策略。
17. 检查前建立变更权限和目的地。
18. 检查前建立证明阈值和回滚或重建路径。
19. 不要虚构缺失的身份、规范化、阈值或打破平局规则；仅当缺失事实无法检索且会改变结果时才询问。
20. 在每个报告中保持身份类别分离：精确身份是在确定性表示下的字节、值或数据包相等。
21. 规范化相等仅在公开的规范化策略之后成立。
22. 相似性候选是来自显式算法和阈值的评分对；它不是身份，未经审查不得减少规范项数量。
23. 相似性通常非传递；除非所选算法证明等价关系，否则不要把 `A≈B` 和 `B≈C` 变成 `A=B=C`。
24. 只枚举请求范围，使用稳定源索引和来源信息。
25. 在选择键或规范化前，加载匹配的适配器参考文档。
26. 先运行精确比较，再运行规范化或相似性比较。
27. 分组相等的比较键；将未解决项保留在组外。
28. 按声明的规则选择一个规范项；仅当源顺序有意义且用户接受时，默认取首次出现项。
29. 记录冲突和唯一字段；冲突不是可移除的重复项。
30. 在任何写入、删除、替换、移动、合并、重定向查找或持久化变更前生成报告。
31. 从已审查的组构建变更计划；将每个受影响项映射到其规范项，并说明保留的信息。
32. 只应用已批准计划；不要扩大范围或递归清理相关集合。
33. 重新枚举源，核对计数，验证哈希或值，并重新运行检查；第二次运行对已批准的身份类别必须是空操作。
34. 创建 JSON 请求，然后从 skill 根目录运行：`mise run dedupe inspect --request /absolute/path/request.json`。
35. 检查器绝不改变输入；它输出规范索引、重复组、哈希比较键、相似性候选、冲突、未解决项、来源信息、公开策略和已核对计数；参见 `examples/inspect.md`。
36. 删除、替换、合并、移动、跟随链接、解析重定向或持久化用户数据，需要针对精确计划的明确权限；批准必须标识源、规范目标、动作、冲突处理和目的地。
37. 当权限缺失、检查后源已改变、计划哈希改变、冲突仍存在、来源存储不一致，或破坏性工作无法回滚或重建时，失败关闭。
38. 验证要求 `source_count = canonical_count + duplicate_count + unresolved_count`。
39. 验证要求每个被移除或合并的项映射到一个保留项。
40. 验证要求每个唯一字段或片段被保留，或由权限明确丢弃。
41. 验证要求记录比较键和策略，且不暴露敏感原始值。
42. 验证要求相似性候选保持分离直到审查。
43. 验证要求应用后检查报告没有剩余的已批准重复项。
44. 验证要求包变更后 `mise run ci` 退出 0。
45. 如果 Mise 不可用，直接运行 `mise.toml` 中的每个任务命令，并说明 Mise 本身未运行；`mise run test` 下的测试、`evals/` 下的原生用例、`assets/` 下的模板仍是包证据，不是变更用户数据的许可。
46. 资源门禁：在使用这里命名的包文件前运行 `mise run validate`。
47. `PD-001`：`references/core-contract.md` 拥有完整报告、规范项选择、权限和验证契约；每次检查或应用请求都加载它。
48. `PD-002`：`references/text-list.md` 拥有文本和列表策略；选择任一适配器时加载它。
49. `PD-003`：`references/file-record.md` 拥有文件和记录策略；选择任一适配器时加载它。
50. `PD-004`：`references/url-skill.md` 拥有 URL 和 skill 策略；选择任一适配器时加载它。
51. `PD-005`：`references/report-mutation.md` 拥有请求和报告字段、批准形态、应用检查和降级验证；在生成报告或变更计划前加载它。
52. `references/decisions.md` 记录这些边界为何存在；在改变此 skill 前阅读它。
53. `examples/` 为每个命令保存一个已处理案例以及常见失败路径；当输出形态不清晰时，加载匹配示例。
54. 完成条件：仅当请求的有界结果通过、每个保留任务和适配器决策有证据、所有授权变更验证通过、未解决项可见、最终逻辑审计发现没有不受支持的身份、阈值、打破平局规则或完成声明时，任务才算完成。
55. Factory execution contract 的接受结果是：将有界重复簇解析为规范记录，且不丢失不同身份证据；在改变最小 owner 的同时保留当前重复簇行为。
56. 用 `mise run ci` 冻结当前包并记录其摘要。
57. 运行 `mise run domain-research-policy`，然后判断当前重复簇来源和反证。
58. 为具名重复簇操作运行 `mise run agentic-request`；将语义选择留给模型。
59. 运行 `mise run decision-policy`、`mise run ci` 和行为评测；返回到最低失败 owner。
60. 运行 `mise run invocation-policy -- <receipt>`，并说明每个任务或其领域特定的不使用。
61. 可选运行 `mise run improvement-policy`；仅当没有受保护维度回归时，保留一个改变的维度。
62. 仅在需要其契约时，通过 `mise run use-case-policy` 加载 `assets/use-case-contract.json`，并通过 `mise run evals` 加载 `evals/evals.json`。
63. Mise 拥有可重复机制、顺序、回执和检查；模型拥有解释、因果判断、创造性工作和代码无法提供的直接感知。遇到缺失权限、过期证据或失败门禁时停止。

适用边界 · 注意事项

• 不适用于无界、流式或持续变化的集合，除非已定义稳定边界和冻结点。
• 不适用于无法获得精确变更授权、无法回滚或无法重建的破坏性去重。
• 不适用于身份规则、规范化策略或阈值缺失且无法检索、且会改变结果的情况。