用途：这是迭代精化技能，对应 AWS 文档中的策略修复工作流。它加载策略定义、质量报告和失败测试发现，用两步模型解释测试为何失败，并施加针对性注解，避免手工编辑形式逻辑。
主要能力：按结果类型诊断失败，例如 TRANSLATION_AMBIGUOUS（变量重叠或模糊）、NO_TRANSLATIONS（变量缺失或偏题）、TOO_COMPLEX（策略或输入过大、非线性算术）、IMPOSSIBLE（输入矛盾或规则冲突、裸断言）、VALID 但预期 INVALID（规则缺失或过宽）、INVALID 但预期 VALID（规则过严或提取错误）、SATISFIABLE 但预期 VALID（响应不完整或多余规则）。支持变量、规则、类型的增删改注解，以及 addRuleFromNaturalLanguage 用自然语言描述规则、updateFromRulesFeedback 与 updateFromScenarioFeedback 反馈。
使用方式：先做翻译优先的分诊，再优先用注解而非手动编辑。命令示例：uv run scripts/apply_annotations.py --policy-arn <ARN> --annotations-file fixes.json；uv run scripts/resolve_ambiguities.py --policy-arn <ARN>；uv run scripts/iteratively_refine.py --policy-arn <ARN> --file updated_policy.pdf --feedback "..."。REFINE_POLICY 后需审阅变更，再调用 UpdateAutomatedReasoningPolicy，并重新运行 ar-policy-reviewer 与 ar-policy-tester。
限制：先检查翻译，SMT 验证本身数学上可靠；结果错误时看发现的前提、声明与置信度。优先修复冲突与裸断言。每次变更后需重新审阅与测试。策略每个池最多 2 个构建工作流，脚本会在每次精化构建前自动释放槽位。具体收费、平台与效果资料暂未提供。