First Version of the Verification Report for Architecture and Design