The source code contains no statements or structures that cannot be verified. Table A-5 objective 3, described in 6.3.4.c; applies at levels A, B, no independence required; activities 6.3.4; outputs Software Verification Results.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.