Documentation review: exceptions from binary-format hardening, and tuple reference types

[nlohmann]

Summary

Documentation corrections found while auditing everything merged into develop since #5271, and then re-reviewing the release-notes draft against the code.

1. Exceptions from the binary-format hardening round. #5274, #5284, #5287 and #5332 added input-validation rejections; only #5314 updated exceptions.md. Two entries had become claims the code contradicts:

• parse_error.110 said "When parsing CBOR or MessagePack". BSON throws it as of check all BSON reads and add an EOF check for booleans #5332, and UBJSON already did — the entry's own example was a UBJSON message. Generalized; added the BSON EOF example.
• out_of_range.408 said "The size (following #) of an UBJSON array or object". CBOR throws it as of reject CBOR array/map length equal to the indefinite-length marker #5274. Generalized; added both CBOR examples.
• parse_error.113 said "While parsing a map key" — already contradicted by its own UBJSON-char example. Broadened to cover invalid length specifications; added the negative-string-length example.
• parse_error.112: added the BSON document-size-mismatch example (validate BSON document size against the bytes read #5287).

2. Which types may be referenced in a tuple extraction. The note I added in #5271 said a referenced type must be one the library stores "or an arithmetic type it can convert to/from". That parenthetical is wrong: is_compatible_reference_type requires an exact match against the stored types, so std::tuple<int&> is rejected by static_assert — the library stores number_integer_t (std::int64_t), and there is no int to bind to. Only the by-value case is permissive. Corrected to list the eight admissible types, give the int& counter-example, and separate the two cases.

Does this break the public API?

No. Documentation-only — no header, behavior, or ABI change.

Test plan

• Every new example message copied verbatim from the originating PR's regression tests (unit-bson.cpp, unit-cbor.cpp, unit-bjdata.cpp).
• Generalized descriptions checked against binary_reader.hpp on develop for which formats actually throw each code.
• Tuple claim verified against is_compatible_reference_type in type_traits.hpp and the static_assert in from_json.hpp, cross-checked with the reference tests in unit-constructor1.cpp.
• All new relative links resolve to existing files.

🤖 Generated with Claude Code