No high-level requirement conflicts with the characteristics of the target computer. Table A-3 objective 3, described in 6.3.1.c; applies at levels A, B, no independence required; activities 6.3.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.