Recompute the assignment with the same field order, the same domain octet and the same length and endianness as the signer, and reduce it modulo the order of the base point. Record the field order in the design note and test it against a second implementation.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.