Run the equation with the parameters of the set the deployment uses, and record the accept and reject result for the worked examples. Where a library provides the whole verification, record which clause revision the library implements, because a library built before the amendment may not enforce the decoding rules.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.