Review and analysis show the low-level requirements meet the high-level requirements they refine. Table A-4 objective 1, described in 6.3.2.a; applies at levels A, B, C, independence required at levels A, B; activities 6.3.2; outputs Software Verification Results.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.