3 Conformance
3.1 Conformance with the DATEX Binary Format
A conforming implementation of the DATEX Binary Format (DXB) must provide and support all the instruction code and typed value representations described in this specification.
A conforming implementation of the DATEX Binary Format (DXB) must implement the functionality of all types described in this specification.
A conforming implementation of the DATEX Binary Format (DXB) must implement the standard library.
A conforming implementation of DXB may provide additional types, values, and scope variables beyond those described in this specification. However, a conforming implementation of DXB must not implement additional instructions which are not described in this specification.
A conforming implementation of DXB must provide RSA and AES encryption as described in this specification.
3.2 Conformance with DXB-Lite
A conforming implementation of the DATEX Binary Format (DXB) must provide and support all the instruction code and typed value representations described in this specification.
A conforming implementation of the DATEX Binary Format (DXB) may choose not to implement the functionality of all types described in this specification.
A conforming implementation of DXB-Lite may choose not to implement the complete standard library.
A conforming implementation of DXB-Lite may choose not to implement RSA and AES encryption.
3.3 Conformance with DATEX Script
A conforming implementation of a DATEX Script compiler must be able to generate conforming DXB code.
A conforming implementation of a DATEX Script compiler must be able to parse all DATEX Script syntax described in this specification.
A conforming implementation of a DATEX Script compiler must not support any additional syntax.
A conforming implementation of a DATEX Script compiler may optimize the generated DXB code, as long there is no visible change in behaviour.