Amazon Bedrock adds automatic policy refinement for Automated Reasoning checks

Amazon Bedrock can now auto-diagnose failing Automated Reasoning tests and propose formal-logic fixes, with a human approving every change.