In 7.3, first paragraph your state the required order of the Message properties:
The top-level fields of a Delegated Rotation, drt event message body shall appear in the following order: [ v, t, d, i, s, p, kt, k, nt, n, bt, br, ba, c, a]
But in the example, the order is bt, ba, br:
The order in either the specification or the example is wrong.
In 7.3, first paragraph your state the required order of the Message properties: The top-level fields of a Delegated Rotation, drt event message body shall appear in the following order: [ v, t, d, i, s, p, kt, k, nt, n, bt, br, ba, c, a]
But in the example, the order is bt, ba, br:
The order in either the specification or the example is wrong.