reference/r15-apply-evidence.txt: OK
reference/r15-postcheck-stop.txt: OK
reference/r15-stop-report.txt: OK
reference/r15-stop-facts.json: OK
R15_LATEST_ARCHIVE_SHA256=b23af8d1fae544a523d73ce6530d51ffe9554a82bed2371b338bd03aa8eda28a
R15_APPLY_EVIDENCE_SHA256=227429b8ecf183abd9e0829ea4dbbed6a5f202a3317b20d50cadd2ddfc8d5dc4
R15_CORE_CHANGE_COMPLETE=true
R15_LIVE_END_TO_END_PROOF=PASS
R15_ONLY_FAILED_ORACLE=vm100_direct_state_absence_requirement
RESULT=PASS_R20QS_R16_EVIDENCE_CHECK