Catalogue export

An existing capability: a deterministic export of dataset records. It is described in the current state.

Behavior

Records are written in id order, so identical catalogues always produce identical files. The shape follows the data model.

Failure behavior

An empty catalogue exports an empty list, never an error.