It shall be possible for the control system to establish whether a particular action was performed by a given human user. RE 1 extends non-repudiation to all users including software processes and devices. It applies from SL 3.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.