At level A, code the compiler, linker or other tools add that does not trace directly to source code (extra branches or side effects) is analysed and given further verification. Table A-7 objective 9, described in 6.4.4.c; applies at level A, independence required at level A; activities 6.4.4.2.b; outputs Software Verification Results. Made an explicit Table A-7 objective in the revision; before it was a requirement hidden in 6.4.4.2.b with no table entry.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.