Verification is run automatically rather than by hand, so that static analysis is shown to report no new weaknesses, tests are run consistently every time, results are checked accurately, and the human effort and expertise needed is kept to a minimum. In practice this means wiring analysis and test execution into the build or continuous integration process so they run on each change.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.