[0xmyst3ry]

Fixes items 1 and 3 of #6114. Item 2 (the recorded assertion outputs in features/assertions.md and json_assert.md) is not part of this PR: it needs the examples recompiled, or a decision to drop file and line numbers from the outputs.

What

• api/basic_json/erase.md, overload (2): the "empty range is a no-op" sentence now applies to arrays and objects only. For primitive values the range must be exactly [begin(); end()), and the empty ranges [begin(); begin()) and [end(); end()) throw invalid_iterator.204. The 204 condition in the exceptions list now says or, matching the code.
• api/basic_json/basic_json.md (item 5) and api/basic_json/object.md: the strong guarantee does not cover values moved into the initializer list. They are moved when the list is created, before the constructor runs, and stay moved-from if it throws.

Why
The pages promise behaviour the library does not have. The code is deliberate, so the pages are corrected rather than the code: primitive_range_is_complete in json.hpp is used by both erase(first, last) and the range constructor, and invalid_iterator.204 already documents that only (begin(), end()) is valid for primitives. For the second point, json_ref(value_type&&) moves the rvalue into its own storage when the braced list is built.

How I checked
I read the code paths named above and compared the new wording against them. I did not compile or run the reproducers from the issue. Documentation only, so no test, amalgamation or coverage change.

• The changes are described in detail, both the what and why.
• An existing issue is referenced (Docs: erase() of an empty range on a primitive throws, stale assertion messages, moved elements and the strong guarantee of object() #6114).
• N/A: no OSS-Fuzz issue.
• N/A: documentation only, no code changed, so no new test.
• The documentation is updated.
• N/A: no source change, so nothing to amalgamate.

[nlohmann]

Thanks! The changes look correct: I checked them against primitive_range_is_complete and json_ref(value_type&&) and ran the reproducers from #6114, which match the new text.

The only thing missing is the DCO sign-off. Could you amend the commit with git commit --amend -s --no-edit and force-push? Then this is good to merge from my side.

Optional nit: item 5 in basic_json.md is about the constructor, where the throwing case is basic_json(init, false, value_t::object) (json j = {std::move(a), 5} just creates an array). The json::object(...) example is still valid since it calls that constructor, so feel free to leave it.

---

Written by Claude Code.