Amazon Bedrock Automates Policy Refinement with Two New Modes

AWS announced automatic policy refinement for Amazon Bedrock Guardrails' Automated Reasoning checks, which use formal verification to prove answer correctness. The refinement engine diagnoses failing tests and proposes fixes in formal logic, and users must approve every change. Two new modes are introduced: Iterative Refinement for rule issues, where the logic is wrong but translation is correct, and Ambiguous Variable Refinement for language issues, where TRANSLATION_AMBIGUOUS results occur due to ambiguous variable descriptions or overlapping definitions. Both modes follow an asynchronous API workflow (start, poll, retrieve) and a console workflow. Iterative Refinement takes the current policy, a source document, and optional feedback; it proposes rule or variable changes and iterates internally until convergence. Ambiguous Variable Refinement proposes clearer variable descriptions and possibly merges overlapping variables. The feature is available in Amazon Bedrock, and users can accept or discard the proposed changes on a review screen.