Skip to content

Commit df3d004

Browse files
committed
Clarified that all requirements are narrowing.
1 parent 606ad44 commit df3d004

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

draft-mcnally-deterministic-cbor.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -210,6 +210,12 @@ dCBOR decoders:
210210
2. MUST reject any encoded major type 7 values other than `false`, `true`, `null`, and the floating point values.
211211
{:start="2"}
212212

213+
## All Requirements are Narrowing
214+
215+
Any apparent conflict between the requirements above are resolved by understanding that all of the requirements in this document are *narrowing*, meaning that starting from the CBOR specification {{-CBOR}} each requirement herein narrows the set of valid dCBOR encodings.
216+
217+
For example: due to the requirements in §2.4., there are no valid dCBOR major type 1 values that can encode negative integers requiring more than 64 bits of precision, hence reduction of negative floating point values with no fractional part to negative integers (§2.3.) is narrowed to the range of valid dCBOR major type 1 negative integer encodings. Therefore any negative floating point values with no fractional part that fall outside this range are encoded as floating point values (§2.2.).
218+
213219
# Reference Implementations
214220

215221
This section is informative.

0 commit comments

Comments
 (0)