Requirements coverage analysis shows each low-level requirement has test cases. Table A-7 objective 4, described in 6.4.4.b; applies at levels A, B, C, independence required at level A; activities 6.4.4.1; outputs Software Verification Results.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.