Where a design note relies on a claimed feature, state that it is claimed in an informative annex and give the test that shows the property in your implementation. Do not present a claimed feature as a requirement, and do not assume batch verification exists because the annex lists it.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.