The Hardware Integrity Protocol: Engineering Verification in Secondary Compute Lifecycles | Bottorring