For each KCDSA deployment, record the pair, the hash and the hash strength, and show that the hash strength is at least the strength associated with the pair. A pair recorded without its hash is the common gap, and it is the gap the clause now makes testable.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.