AWS 精炼自动化推理策略，逻辑调试告别手写

Amazon Bedrock 的 Automated Reasoning checks 添加自动策略精炼功能，将手工「诊断-手写 SMT-LIB 逻辑-重测」循环改为引擎自动生成修改建议，人工审核确认后生效。精炼引擎自动诊断失败测试根因，生成形式逻辑修正方案，所有改动需人工批准。

功能覆盖两类失败模式：Iterative Refinement 针对规则逻辑问题，如翻译正确但验证结果不符预期，引擎对照源文档提出规则增删改方案，内部多轮收敛后仅呈现一个 diff；Ambiguous Variable Refinement 针对语言歧义，如多个翻译解释导致不同验证结果，引擎提出变量描述澄清以减少歧义。

两模式同走异步启动-轮询-取回 API 流程，控制台统一审核界面。

💡 为什么值得看把「诊断-手修-重测」循环压缩成一次审核确认，Agent 治理的自动化门槛再降一级