Procedures ensure that no individual can reach enough components to form a key while components are taken out of storage for loading and put back, and access logs and package numbers allow the movement of higher-order keys to be traced without gaps.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.