Amazon Bedrock announces automatic policy refinement for Automated Reasoning checks, with two modes: Iterative Refinement for rule issues and Ambiguous Variable Refinement for language issues.
From the source
The refinement engine diagnoses failing tests and proposes formal-logic fixes. You approve every change before it takes effect.
aws.amazon.com