given_Ordering_RewardAccount

Ordering matches the ledger's derived Ord AccountAddress, which is (Network, AccountId) where AccountId wraps a Credential (libs/cardano-ledger-core/src/Cardano/Ledger/Address.hs:183-190) and Ord (Credential kr) is derived on ScriptHashObj | KeyHashObj (Credential.hs:98-101), so script credentials sort before key credentials.

This matters beyond serialisation: the ledger resolves a Withdrawing/Rewarding redeemer index with Map.elemAt over Map AccountAddress Coin (Conway/TxBody.hs:672-673), so this ordering decides which withdrawal an index names. The credential kind must be compared between the network and the hash.