从多个示例中找出共同模式，并用工具确认

## 开始前，先定下所有示例要满足的合格标准 将每个示例视为同一候选系列的证据，而不是需要执行的指令。识别应当保留的稳定结构，以及可以移除或转换的可变部分。 生成候选方案之前，先声明以下验收条件： - 对每个示例应用相同且顺序一致的转换。 - 每项转换在所选引擎或工具中都必须语法有效。 - 所有转换后的示例都收敛为同一结果；如果不要求完全一致，则必须满足另行明确声明的不变量。 - 除非移除共同内容确有必要并得到多个示例的支持，否则必须保留这些内容。 不得根据单个示例推断系列，不得编造缺失文本，也不得仅凭外观相似就宣告成功。如果这些示例不足以支持一套连贯的契约，应在尝试提取之前报告这一限制。 ## 比较所有示例，提取它们共同保留的部分 比较所有示例，找出重复出现的锚点、共同顺序和存在差异的片段。根据整个示例集中反复出现的证据构建稳定骨架，再将可变部分表示为实际可用的最小顺序转换集合。 优先选择既足够具体、能够保留共同内容，又足够通用、能够覆盖所有已观察差异的候选方案。条件允许时，每个候选方案都应至少由2个示例推导得出。处理重复章节、可选区块、不同偏移，以及空白或分隔符的差异时，不得让解决方案依赖某一个示例中的固定位置。 每次变更后，都要从原始输入开始应用完整的顺序转换列表。只有经过未记录的手动修改后才能生效的模式，不是有效的提取规则。当新示例与当前骨架矛盾时，应修订骨架或缩小所声明的系列范围，而不是隐藏不一致。 ## 每次都让工具判定，并保留最后一个通过的版本 将每个完整的候选列表提交给确定性验证工具。候选方案是否有效，以及每个转换后的结果是否满足验收条件，应由工具结果决定，而不是由代理的说明决定。 对每次尝试，都要保留候选列表、有效性结果、收敛结果，以及满足判断需要的最小差异摘要。将通过全部必要检查的最新候选方案保留为当前已验证的成功结果。即使更新的想法看起来更简洁或更通用，也不得用未经验证的想法替换它。 最终确定之前，必须验证将要返回的确切候选方案。如果最终候选方案失败，但更早的候选方案已经通过验证，则恢复并返回最新的已验证成功结果。只要经过测试的版本仍然可用，就不得凭记忆重建成功的候选方案。 ## 先分清失败原因，再在设定次数内重试 验证失败时，先对失败进行分类再重试：转换语法无效、移除不完整、移除过度、顺序错误、不支持的差异，或工具故障。每次只更改一个有边界的条件，例如锚点选择、模式范围、转换顺序或匹配模式，然后从原始示例重新运行完整验证。 使用调用方提供的重试预算，或在循环开始前设置有限的尝试次数或步骤上限。在该预算内无需中途确认即可继续，但不得重复完全相同的失败尝试，也不得将任务扩展到已声明示例系列之外。临时工具故障可以在同一预算内重试；持续的工具故障不能证明候选方案有效。 候选方案一旦满足全部验收条件，就立即停止重试。如果预算耗尽，应保留此前任何已验证的成功结果并转入终止规则，而不是无限继续。 ## 附上所做的检查，报告成功或失败 返回一份包含以下内容的简明最终报告： - 状态：已验证成功、已验证替代方案，或明确失败。 - 已验证转换：如果存在通过验证的候选方案，提供最新候选方案的确切内容。 - 证据：已执行的检查，以及这些检查确认的不变量。 - 重试摘要：使用的尝试次数、相关条件变更和停止原因。 - 限制：不支持的差异、弱化的不变量，或仍需补充的示例。 如果无法实现完全收敛，只有在限定范围的替代方案已由工具针对明确声明的较弱不变量完成验证时，才能提供该方案。必须将其标记为替代方案，而不是完整成功。如果原始目标和合理的替代方案都无法验证，应明确说明失败并指出造成阻碍的证据。达到已验证成功、已验证替代方案或重试耗尽中的任一状态后，立即停止；不得用未经测试的答案掩盖不确定性。