Required Rule

FieldOrderIsByteOrder

The wire.fields list order IS the byte layout. Implementations MUST encode and decode fields in list order with no padding, alignment, or reordering.

One authored order, one wire layout, in every language — layout can never drift between ports because there is nothing per-port to state.