MISB ST 1010.3 requirement trace¶
This trace covers the official 27 October 2016 publication with the 6 December
2021 editorial corrections. Its complete normative population is 11 active
requirements and 2 explicitly deprecated requirements. The exact inventory is
bound to the acquired PDF's SHA-256 digest in references/requirements.json.
The codec is parent-document aware: Mode 1 does
not identify the standard-deviation representation on the wire, and IMAP
standard deviations do not carry their mapping bounds. Callers may supply that
context; otherwise the affected atoms remain explicit, byte-exact
RawSDCCValue instances.
| Requirement | Section | Implementation/test | State |
|---|---|---|---|
| ST 1010.2-09 | 6.3.2 | one Parse Control Slen and representation for the entire deviation array | Verified structurally |
| ST 1010.1-01 | 6.3.2 | caller selects the common deviation representation and precision | Producer responsibility |
| ST 1010.2-10 | 6.3.2 | one Parse Control Clen and representation for the entire coefficient array | Verified structurally |
| ST 1010.1-02 | 6.3.2 | caller selects the common coefficient representation and precision | Producer responsibility |
| ST 1010.2-11 | 6.3.4 | sparse vector forbidden when all correlation cells are present | Verified |
| ST 1010.1-04 | 7, Table 4 | BER-OID Matrix Size, Parse Control, optional vector, and arrays in fixed order | Verified |
| ST 1010.2-12 | 7, Table 4 | at least one of deviation or coefficient arrays is present | Verified |
| ST 1010.1-05 | 7, Table 4 | matrix dimensions, element counts, types, and lengths agree | Verified structurally |
| ST 1010.1-08 | 7 | big-endian IEEE, BER-OID, and MSB-first bit order | Verified |
| ST 1010.1-06 | 8 | matrix ordering corresponds to the parent Refined Source List | Parent integration required; verified for ST 0601 Item 102 |
| ST 1010.2-13 | 8.1.3 | Local Set item immediately follows its Refined Source List | Verified for ST 0601 Item 102 |
The deprecated requirements are tracked as inactive and are not used as current conformance criteria:
- ST 1010.1-03, which required a full diagonal of deviations.
- ST 1010.1-07, which constrained an SDCC-FLP to parameters from one invoking standard or method.
Mode 1 and Mode 2 Parse Control are both decoded and encoded. The official
0x4B and 0xB308 Parse Control examples are byte-exact regression vectors.
IEEE binary16, binary32, and binary64 are supported, as are arbitrary-length
ST 1201 IMAP values within the Parse Control limits. Sparse matrices retain a
full logical upper triangle: omitted cells are None, while transmitted zero
coefficients remain numeric zero.
The decoder defaults to a matrix dimension limit of 1024 before calculating or allocating the upper triangle. Applications may select a smaller or larger limit explicitly.