AWS Kiro: Requirement test results

Optional IDE property-based tests execute against the implementation and reference requirements/tasks. A retained requirement-result report identifying the tested code revision was not established. Vendor documentation: Correctness ↗