Verifying Final Output of Bedrock