The S5 view must capture the possible service states and the transitions between them. It must be used in the alternatives stage work.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.