Verify software units against detailed design using static analysis and unit tests with documented coverage criteria.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.