json_view: no per-object allocations in ordered_json comparisons

For an object type that keeps the order of its members (ordered_json), resolve_indices() allocated a vector per compared object, and resolve_members() two. They now use one working vector owned by equal(), whose capacity is reused, and resolve_indices() needs none when the keys are unique. resolve_members() sorts small objects by insertion, as the other paths do. Instructions per comparison (callgrind, GCC 13 and clang 18, x86-64): twitter, ordered_json view == ordered_json: 0.939 / 0.941; 20000 small objects with a duplicate key: 0.741-0.768; all other rows (json, citm_catalog, canada, view == view) within 0.988-1.003. Signed-off-by: Niels Lohmann <mail@nlohmann.me>
Merge develop into perf/view-compare
2026-10-28 16:55:41 +00:00 · 2026-10-25 21:56:14 +01:00 · 2026-10-25 12:13:26 +01:00 · 2026-10-25 12:04:43 +01:00 · 2026-10-25 12:00:01 +01:00 · 2026-10-24 20:03:58 +02:00
497 changed files with 11111 additions and 19432 deletions
@@ -154,15 +154,6 @@ and each page's title (H1) and declaration by
 [`docs/docset/generate_docset.py`](https://github.com/nlohmann/json/blob/develop/docs/docset/generate_docset.py);
 `make build` reports API pages that cannot be classified.
 A pull request that changes only the documentation, Markdown files, GitHub metadata, or license files skips the
 compiler workflows (Ubuntu, macOS, Windows); the documentation and license checks still run. See
 [`tools/check_path_filters`](https://github.com/nlohmann/json/tree/develop/tools/check_path_filters) for the list of
 skipped files and what to do when a compiler job starts reading one of them.
 Most compiler jobs run only once a maintainer adds the label "🚀 ready to merge" to a pull request; until then, a
 smaller set of jobs runs on every push. See
 [How CI runs](https://json.nlohmann.me/community/quality_assurance/#how-ci-runs) for the sets and when they run.
 ### Amalgamate the source code
 The single-header files
@@ -163,9 +163,9 @@ jobs:
          python3 $GENERATOR --list-tags
          TAG_COUNT=$(python3 $GENERATOR --list-tags | wc -l)
-          python3 $GENERATOR --abi-tags diag,_dp,_ns --abi-tags _diag --output $RUNNER_TEMP/abi_tags.natvis
+          python3 $GENERATOR --abi-tags diag,_dp,_vns --abi-tags _diag --output $RUNNER_TEMP/abi_tags.natvis
-          grep -q '<!-- Namespace nlohmann::json_abi_diag_dp_ns -->' $RUNNER_TEMP/abi_tags.natvis
+          grep -q '<!-- Namespace nlohmann::json_abi_diag_dp_vns -->' $RUNNER_TEMP/abi_tags.natvis
-          grep -q '<!-- Namespace nlohmann::json_abi_diag_dp_ns_v[0-9_]* -->' $RUNNER_TEMP/abi_tags.natvis
+          grep -q '<!-- Namespace nlohmann::json_abi_diag_dp_vns_v[0-9_]* -->' $RUNNER_TEMP/abi_tags.natvis
          test $(grep -c '<!-- Namespace ' $RUNNER_TEMP/abi_tags.natvis) -eq $(( $(grep -c '<!-- Namespace ' nlohmann_json.natvis) + 2 ))
          python3 $GENERATOR --all --output $RUNNER_TEMP/all.natvis
@@ -43,8 +43,8 @@ jobs:
      - name: flawfinder_scan
        uses: david-a-wheeler/flawfinder@c4216b74cf2639ffa98503768bd6e4299b5440c9 # v2.0.20
        with:
-          # single_include/ is generated from include/ and would report every finding twice
+          # single_include/ is omitted: it is generated from include/ and would report every finding twice
-          arguments: "--sarif --exclude '*/single_include/*' ./"
+          arguments: '--sarif ./cmake ./docs ./include ./src ./tests ./tools'
          output: 'flawfinder_results.sarif'
      - name: Upload analysis results to GitHub Security tab
@@ -7,60 +7,25 @@ on:
      - master
      - release/*
  pull_request:
    # labeled: the "🚀 ready to merge" label starts the full set (see below)
    types: [opened, synchronize, reopened, labeled]
    # Skip pull requests that change only files no job here reads. The list is checked by
    # tools/check_path_filters/check_path_filters.py (repository_checks.yml); change both together.
    paths:
      - '**'
      - '!docs/**'
      - '!**.md'
      - '!.github/*'
      - '!.github/ISSUE_TEMPLATE/**'
      - '!.github/external_ci/**'
      - '!.github/workflows/**'
      - '!.reuse/**'
      - '!LICENSES/**'
      - '!CITATION.cff'
      - '!REUSE.toml'
      # read by tools/check_build_options in the ci_meson_install job (ubuntu.yml)
      - 'docs/mkdocs/docs/integration/package_managers.md'
      # built by the swiftpm job (macos.yml)
      - 'docs/mkdocs/docs/integration/swift/**'
      - '.github/workflows/macos.yml'
  workflow_dispatch:
 # A run triggered by any other label gets a group of its own, so it does not
 # cancel the run of the last push; its jobs are skipped.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.event_name == 'schedule' && 'nightly' || github.ref || github.run_id }}${{ github.event.action == 'labeled' && github.event.label.name != '🚀 ready to merge' && format('-{0}', github.run_id) || '' }}
+  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
  cancel-in-progress: true
 permissions:
  contents: read
 # The jobs are split into a PR set and a full set like in ubuntu.yml (see "How
 # CI runs" in docs/mkdocs/docs/community/quality_assurance.md): the PR set runs
 # on every push; the full set after the PR set passed, on pushes and on pull
 # requests with the "🚀 ready to merge" label. tools/ci_jobs checks that every
 # job belongs to exactly one set.
 jobs:
  ###########################################################################
  # PR set
  ###########################################################################
  macos-15:
    if: &pr_set ${{ github.event_name != 'schedule' && (github.event.action != 'labeled' || github.event.label.name == '🚀 ready to merge') }}
    runs-on: macos-15 # https://github.com/actions/runner-images/blob/main/images/macos/macos-15-Readme.md
    strategy:
      matrix:
-        xcode: ['16.0', '16.4', '26.3']
+        xcode: ['16.0', '16.1', '16.2', '16.3', '16.4', '26.0.1', '26.1.1', '26.2', '26.3']
    env:
      DEVELOPER_DIR: /Applications/Xcode_${{ matrix.xcode }}.app/Contents/Developer
-    steps: &xcode_steps
+    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
@@ -72,11 +37,10 @@ jobs:
        run: cd build ; ctest -j 10 --output-on-failure
  macos-26:
    if: *pr_set
    runs-on: macos-26 # https://github.com/actions/runner-images/blob/main/images/macos/macos-26-arm64-Readme.md
    strategy:
      matrix:
-        xcode: ['26.6']
+        xcode: ['26.4.1', '26.5', '26.6']
    env:
      DEVELOPER_DIR: /Applications/Xcode_${{ matrix.xcode }}.app/Contents/Developer
@@ -92,13 +56,12 @@ jobs:
        run: cd build ; ctest -j 10 --output-on-failure
  xcode_standards:
    if: *pr_set
    runs-on: macos-latest
    strategy:
      matrix:
-        standard: [14]
+        standard: [11, 14, 17, 20, 23, 26]
-    steps: &xcode_standards_steps
+    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
@@ -110,7 +73,6 @@ jobs:
        run: cd build ; ctest -j 10 --output-on-failure
  swiftpm:
    if: *pr_set
    runs-on: macos-15
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
@@ -144,42 +106,3 @@ jobs:
          EOF
          cd /tmp/json-swiftpm-consumer
          swift build
  ###########################################################################
  # full set: starts after the PR set passed
  ###########################################################################
  macos-15_full:
    needs: &pr_set_jobs [macos-15, macos-26, xcode_standards, swiftpm]
    if: &full_set ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' || contains(github.event.pull_request.labels.*.name, '🚀 ready to merge') }}
    runs-on: macos-15 # https://github.com/actions/runner-images/blob/main/images/macos/macos-15-Readme.md
    strategy:
      matrix:
        xcode: ['16.1', '16.2', '16.3', '26.0.1', '26.1.1', '26.2']
    env:
      DEVELOPER_DIR: /Applications/Xcode_${{ matrix.xcode }}.app/Contents/Developer
    steps: *xcode_steps
  macos-26_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: macos-26 # https://github.com/actions/runner-images/blob/main/images/macos/macos-26-arm64-Readme.md
    strategy:
      matrix:
        xcode: ['26.4.1', '26.5']
    env:
      DEVELOPER_DIR: /Applications/Xcode_${{ matrix.xcode }}.app/Contents/Developer
    steps: *xcode_steps
  xcode_standards_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: macos-latest
    strategy:
      matrix:
        standard: [11, 17, 20, 23, 26]
    steps: *xcode_standards_steps
@@ -1,83 +0,0 @@
 name: Repository checks
 # Checks that concern files the compiler workflows (ubuntu.yml, macos.yml,
 # windows.yml) skip with their path filter: the documentation, the license
 # information, and the CI configuration itself. This workflow has no path filter.
 on:
  push:
    branches:
      - develop
      - master
      - release/*
  pull_request:
  workflow_dispatch:
 permissions:
  contents: read
 concurrency:
  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
  cancel-in-progress: true
 jobs:
  check_ci_configuration:
    runs-on: ubuntu-26.04
    steps:
      - name: Harden Runner
        uses: step-security/harden-runner@ccd8616d44fd3846e67624a50d5aad6d37bf2d25 # v2.22.1
        with:
          egress-policy: audit
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Check the path filters of the compiler workflows
        run: python3 tools/check_path_filters/check_path_filters.py
      - name: Check the job sets of the compiler workflows and their documentation
        run: |
          python3 -m venv venv
          venv/bin/pip install --quiet -r tools/ci_jobs/requirements.txt
          venv/bin/python tools/ci_jobs/ci_jobs.py
  ci_reuse_compliance:
    runs-on: ubuntu-26.04
    steps:
      - name: Harden Runner
        uses: step-security/harden-runner@ccd8616d44fd3846e67624a50d5aad6d37bf2d25 # v2.22.1
        with:
          egress-policy: audit
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_reuse_compliance
  ci_test_documentation:
    runs-on: ubuntu-26.04
    strategy:
      matrix:
        target: [ci_test_examples, ci_test_build_documentation, ci_test_documentation_mermaid]
    steps:
      - name: Harden Runner
        uses: step-security/harden-runner@ccd8616d44fd3846e67624a50d5aad6d37bf2d25 # v2.22.1
        with:
          egress-policy: audit
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
          # the git-revision-date-localized plugin needs the history; a shallow clone makes the strict build fail
          fetch-depth: ${{ matrix.target == 'ci_test_build_documentation' && '0' || '1' }}
      - uses: actions/setup-node@949feb2413d6458794dcd2491c4babbbce0c15c1 # v7.1.0
        if: matrix.target == 'ci_test_documentation_mermaid'
        with:
          node-version: 24
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ${{ matrix.target }}
@@ -7,62 +7,17 @@ on:
      - master
      - release/*
  pull_request:
    # labeled: the "🚀 ready to merge" label starts the full set (see below)
    types: [opened, synchronize, reopened, labeled]
    # Skip pull requests that change only files no job here reads. The list is checked by
    # tools/check_path_filters/check_path_filters.py (repository_checks.yml); change both together.
    paths:
      - '**'
      - '!docs/**'
      - '!**.md'
      - '!.github/*'
      - '!.github/ISSUE_TEMPLATE/**'
      - '!.github/external_ci/**'
      - '!.github/workflows/**'
      - '!.reuse/**'
      - '!LICENSES/**'
      - '!CITATION.cff'
      - '!REUSE.toml'
      # read by tools/check_build_options in the ci_meson_install job (ubuntu.yml)
      - 'docs/mkdocs/docs/integration/package_managers.md'
      # built by the swiftpm job (macos.yml)
      - 'docs/mkdocs/docs/integration/swift/**'
      - '.github/workflows/ubuntu.yml'
  schedule:
    # the nightly set (see below), on develop
    - cron: '0 2 * * *'
  workflow_dispatch:
 permissions:
  contents: read
 # A run triggered by any other label gets a group of its own, so it does not
 # cancel the run of the last push; its jobs are skipped.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.event_name == 'schedule' && 'nightly' || github.ref || github.run_id }}${{ github.event.action == 'labeled' && github.event.label.name != '🚀 ready to merge' && format('-{0}', github.run_id) || '' }}
+  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
  cancel-in-progress: true
 # The jobs are split into three sets (see "How CI runs" in
 # docs/mkdocs/docs/community/quality_assurance.md):
 #
 # - PR set: every pull request push and every push; chosen because these jobs
 #   caught 92 % of the failing commits in Sep/Oct 2026.
 # - full set: after the PR set passed, on pushes and on pull requests with the
 #   "🚀 ready to merge" label; every remaining compiler, version and standard.
 # - nightly set: slow tools and rare compilers, nightly on develop, on pushes
 #   to master and release/*, and when started by hand.
 #
 # A matrix whose entries belong to different sets is split into one job per
 # set; the jobs share their steps through YAML anchors. tools/ci_jobs checks
 # that every job belongs to exactly one set.
 jobs:
  ###########################################################################
  # PR set
  ###########################################################################
  ci_test_gcc:
    if: &pr_set ${{ github.event_name != 'schedule' && (github.event.action != 'labeled' || github.event.label.name == '🚀 ready to merge') }}
    runs-on: ubuntu-latest
    container: gcc:latest
    steps:
@@ -77,7 +32,6 @@ jobs:
        run: cmake --build build --target ci_test_gcc
  ci_meson_install:
    if: *pr_set
    runs-on: ubuntu-26.04
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
@@ -122,342 +76,7 @@ jobs:
          cmake -S tests/cmake_import/project -B build-import-split -DCMAKE_PREFIX_PATH=${{ github.workspace }}/install-split
          cmake --build build-import-split
  ci_static_analysis_ubuntu:
    if: *pr_set
    runs-on: ubuntu-26.04
    strategy:
      matrix:
        target: [ci_cpplint]
    steps: &static_analysis_ubuntu_steps
      - name: Harden Runner
        uses: step-security/harden-runner@ccd8616d44fd3846e67624a50d5aad6d37bf2d25 # v2.22.1
        with:
          egress-policy: audit
      - name: Install Valgrind
        if: matrix.target == 'ci_test_valgrind'
        run: sudo apt-get update ; sudo apt-get install -y valgrind
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ${{ matrix.target }}
  ci_static_analysis_clang:
    if: *pr_set
    runs-on: ubuntu-latest
    container: silkeh/clang:22
    strategy:
      matrix:
        target: [ci_test_clang, ci_clang_tidy, ci_test_clang_sanitizer, ci_single_binaries]
    steps: &static_analysis_clang_steps
      - name: Install git, clang-tools, iwyu (ci_single_binaries), and unzip
        run: apt-get update ; apt-get install -y git clang-tools iwyu unzip
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ${{ matrix.target }}
  ci_cmake_options:
    if: *pr_set
    runs-on: ubuntu-latest
    container: ubuntu:24.04
    strategy:
      matrix:
        target: [ci_test_diagnostics, ci_test_diagnostic_positions, ci_test_noexceptions, ci_test_noglobaludls]
    steps: &cmake_options_steps
      - name: Install build-essential
        run: apt-get update ; apt-get install -y build-essential unzip wget git
      # the CMake 3.5.0 release binary that ci_cmake_flags downloads links
      # against libidn.so.11, which Ubuntu 24.04 no longer ships
      - name: Install libidn11 for CMake 3.5.0
        if: matrix.target == 'ci_cmake_flags'
        run: |
          wget -q http://archive.ubuntu.com/ubuntu/pool/main/libi/libidn/libidn11_1.33-2.2ubuntu2_amd64.deb
          dpkg -i libidn11_1.33-2.2ubuntu2_amd64.deb
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ${{ matrix.target }}
  ci_test_compilers_gcc_old:
    if: *pr_set
    runs-on: ubuntu-latest
    strategy:
      matrix:
        compiler: ['4.8']
    # official gcc:4.8/4.9/5/6 images fail to check out code (too old for
    # actions/checkout); install the old compilers on top of official ubuntu:20.04
    # instead, mirroring what the (now retired) custom json-ci image did.
    container: ubuntu:20.04
    steps: &compilers_gcc_old_steps
      - name: Install g++-${{ matrix.compiler }}
        run: |
          export DEBIAN_FRONTEND=noninteractive
          apt-get update
          apt-get install -y --no-install-recommends software-properties-common ca-certificates gnupg make git
          # add-apt-repository resolves the PPA through the Launchpad API,
          # which intermittently times out or fails the team lookup (the plain
          # "deb ..." sources below never hit Launchpad and never flake).
          # Retry with backoff so a transient Launchpad blip does not fail CI.
          for attempt in 1 2 3 4 5; do
            add-apt-repository -y ppa:ubuntu-toolchain-r/test && break
            echo "::warning::add-apt-repository ppa:ubuntu-toolchain-r/test failed (attempt ${attempt}/5); retrying"
            sleep $((attempt * 10))
          done
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ bionic main"
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ bionic universe"
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ xenial main"
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ xenial universe"
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ xenial-updates main"
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ xenial-updates universe"
          apt-get update
          apt-get install -y --no-install-recommends g++-${{ matrix.compiler }}
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: CXX=g++-${{ matrix.compiler }} cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_test_compiler_g++-${{ matrix.compiler }}
  ci_test_compilers_clang:
    if: *pr_set
    runs-on: ubuntu-latest
    strategy:
      matrix:
        compiler: ['3.4']
    container: silkeh/clang:${{ matrix.compiler }}
    steps: &compilers_clang_steps
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Disable filesystem support (std::filesystem is unusable) for clang 7 / 8 / 9 / 10
        run: echo "JSON_FORCED_GLOBAL_COMPILE_OPTIONS=-DJSON_HAS_FILESYSTEM=0;-DJSON_HAS_EXPERIMENTAL_FILESYSTEM=0" >> "$GITHUB_ENV"
        if: ${{ matrix.compiler == '7' || matrix.compiler == '8' || matrix.compiler == '9' || matrix.compiler == '10' }}
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_test_compiler_default
  ci_test_standards_gcc:
    if: *pr_set
    runs-on: ubuntu-latest
    container: gcc:latest
    strategy:
      matrix:
        standard: [26]
    steps: &standards_gcc_steps
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_test_gcc_cxx${{ matrix.standard }}
  ci_test_standards_clang:
    if: *pr_set
    runs-on: ubuntu-latest
    container: silkeh/clang:latest
    strategy:
      matrix:
        standard: [26]
        stdlib: [libcxx]
    steps: &standards_clang_steps
      - name: Install git and unzip
        run: apt-get update ; apt-get install -y git unzip
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build with libc++
        run: cmake --build build --target ci_test_clang_libcxx_cxx${{ matrix.standard }}
        if: ${{ matrix.stdlib == 'libcxx' }}
      - name: Build with libstdc++
        run: cmake --build build --target ci_test_clang_cxx${{ matrix.standard }}
        if: ${{ matrix.stdlib == 'libstdcxx' }}
  ci_emscripten:
    if: *pr_set
    runs-on: ubuntu-26.04
    steps:
      - name: Harden Runner
        uses: step-security/harden-runner@ccd8616d44fd3846e67624a50d5aad6d37bf2d25 # v2.22.1
        with:
          egress-policy: audit
      - name: Install emscripten
        uses: mymindstorm/setup-emsdk@4528d102f7230f0e7b276855c01ea1159be0e984 # v16
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DCMAKE_TOOLCHAIN_FILE=$EMSDK/upstream/emscripten/cmake/Modules/Platform/Emscripten.cmake -GNinja
      - name: Build
        run: cmake --build build
  ###########################################################################
  # full set: starts after the PR set passed
  ###########################################################################
  ci_static_analysis_ubuntu_full:
    needs: &pr_set_jobs [ci_test_gcc, ci_meson_install, ci_static_analysis_ubuntu, ci_static_analysis_clang, ci_cmake_options, ci_test_compilers_gcc_old, ci_test_compilers_clang, ci_test_standards_gcc, ci_test_standards_clang, ci_emscripten]
    if: &full_set ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' || contains(github.event.pull_request.labels.*.name, '🚀 ready to merge') }}
    runs-on: ubuntu-26.04
    strategy:
      matrix:
        target: [ci_test_single_header, ci_cppcheck, ci_reproducible_tests, ci_non_git_tests, ci_offline_testdata]
    steps: *static_analysis_ubuntu_steps
  ci_static_analysis_clang_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: ubuntu-latest
    container: silkeh/clang:22
    strategy:
      matrix:
        target: [ci_clang_analyze]
    steps: *static_analysis_clang_steps
  ci_cmake_options_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: ubuntu-latest
    container: ubuntu:24.04
    strategy:
      matrix:
        target: [ci_cmake_flags, ci_test_noimplicitconversions, ci_test_legacycomparison, ci_test_disableenumserialization, ci_test_disabletuplereferenceconversion, ci_test_skiplibraryversioncheck, ci_test_simdutf, ci_test_strict_nul_handling, ci_test_delete_deprecated_functions, ci_test_no_thread_local]
    steps: *cmake_options_steps
  ci_test_compilers_gcc_old_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: ubuntu-latest
    strategy:
      matrix:
        compiler: ['4.9', '5', '6']
    container: ubuntu:20.04
    steps: *compilers_gcc_old_steps
  ci_test_compilers_gcc_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: ubuntu-latest
    strategy:
      matrix:
        # older GCC docker images (4, 5, 6) fail to check out code
        compiler: ['7', '8', '9', '10', '11', '12', '13', '14', '15', '16', 'latest']
    container: gcc:${{ matrix.compiler }}
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_test_compiler_default
  ci_test_compilers_clang_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: ubuntu-latest
    strategy:
      matrix:
        compiler: ['3.5', '3.6', '3.7', '3.8', '3.9', '4', '5', '6', '7', '8', '9', '10', '11', '12', '13', '14', '15-bullseye', '16', '17', '18', '19', '20', '21', '22', 'latest']
    container: silkeh/clang:${{ matrix.compiler }}
    steps: *compilers_clang_steps
  ci_test_standards_gcc_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: ubuntu-latest
    container: gcc:latest
    strategy:
      matrix:
        standard: [11, 14, 17, 20, 23]
    steps: *standards_gcc_steps
  ci_test_standards_clang_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: ubuntu-latest
    container: silkeh/clang:latest
    strategy:
      matrix:
        standard: [11, 14, 17, 20, 23, 26]
        stdlib: [libcxx, libstdcxx]
        exclude:
          # in the PR set
          - standard: 26
            stdlib: libcxx
    steps: *standards_clang_steps
  ci_module_cpp20:
    needs: *pr_set_jobs
    if: *full_set
    strategy:
      matrix:
        container: ['gcc:latest', 'silkeh/clang:latest']
    runs-on: ubuntu-latest
    container: ${{ matrix.container }}
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      # The module test uses `import std;`, which needs CMake's experimental
      # import-std support. Its opt-in token is CMake-version-specific, so pin
      # CMake to the version whose token is set in tests/module_cpp20/CMakeLists.txt.
      - name: Get pinned CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
        with:
          cmakeVersion: 4.3.4
      # Clang: the std library module is provided by libc++ (the image's libstdc++
      # ships none), and the image's libc++ module manifest has a broken relative
      # path — repoint it at the real module sources.
      - name: Use libc++ and fix its module manifest path (Clang)
        if: matrix.container == 'silkeh/clang:latest'
        run: |
          echo "CXXFLAGS=-stdlib=libc++" >> "$GITHUB_ENV"
          mkdir -p /usr/lib/share && ln -sf /usr/lib/llvm-*/share/libc++ /usr/lib/share/libc++
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_module_cpp20
  ###########################################################################
  # nightly set
  ###########################################################################
  ci_infer:
    if: &nightly_set ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' || (github.event_name == 'push' && github.ref != 'refs/heads/develop') }}
    runs-on: ubuntu-26.04
    steps:
      - name: Harden Runner
@@ -486,16 +105,76 @@ jobs:
          path: ${{ github.workspace }}/build/build_infer/infer-out/report.txt
          if-no-files-found: ignore
-  ci_static_analysis_ubuntu_nightly:
+  ci_static_analysis_ubuntu:
    if: *nightly_set
    runs-on: ubuntu-26.04
    strategy:
      matrix:
-        target: [ci_test_valgrind]
+        target: [ci_test_single_header, ci_cppcheck, ci_cpplint, ci_reproducible_tests, ci_non_git_tests, ci_offline_testdata, ci_reuse_compliance, ci_test_valgrind]
-    steps: *static_analysis_ubuntu_steps
+    steps:
      - name: Harden Runner
        uses: step-security/harden-runner@ccd8616d44fd3846e67624a50d5aad6d37bf2d25 # v2.22.1
        with:
          egress-policy: audit
      - name: Install Valgrind
        if: matrix.target == 'ci_test_valgrind'
        run: sudo apt-get update ; sudo apt-get install -y valgrind
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ${{ matrix.target }}
  ci_static_analysis_clang:
    runs-on: ubuntu-latest
    container: silkeh/clang:22
    strategy:
      matrix:
        target: [ci_test_clang, ci_clang_tidy, ci_test_clang_sanitizer, ci_clang_analyze, ci_single_binaries]
    steps:
      - name: Install git, clang-tools, iwyu (ci_single_binaries), and unzip
        run: apt-get update ; apt-get install -y git clang-tools iwyu unzip
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ${{ matrix.target }}
  ci_cmake_options:
    runs-on: ubuntu-latest
    container: ubuntu:24.04
    strategy:
      matrix:
        target: [ci_cmake_flags, ci_test_diagnostics, ci_test_diagnostic_positions, ci_test_noexceptions, ci_test_noimplicitconversions, ci_test_legacycomparison, ci_test_noglobaludls, ci_test_disableenumserialization, ci_test_disabletuplereferenceconversion, ci_test_skiplibraryversioncheck, ci_test_simdutf, ci_test_strict_nul_handling, ci_test_delete_deprecated_functions, ci_test_no_thread_local]
    steps:
      - name: Install build-essential
        run: apt-get update ; apt-get install -y build-essential unzip wget git
      # the CMake 3.5.0 release binary that ci_cmake_flags downloads links
      # against libidn.so.11, which Ubuntu 24.04 no longer ships
      - name: Install libidn11 for CMake 3.5.0
        if: matrix.target == 'ci_cmake_flags'
        run: |
          wget -q http://archive.ubuntu.com/ubuntu/pool/main/libi/libidn/libidn11_1.33-2.2ubuntu2_amd64.deb
          dpkg -i libidn11_1.33-2.2ubuntu2_amd64.deb
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ${{ matrix.target }}
  ci_test_coverage:
    if: *nightly_set
    runs-on: ubuntu-26.04
    steps:
      - name: Harden Runner
@@ -529,8 +208,128 @@ jobs:
          path-to-lcov: ${{ github.workspace }}/build/json.info.filtered.noexcept
          fail-on-error: false
  ci_test_compilers_gcc_old:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        compiler: ['4.8', '4.9', '5', '6']
    # official gcc:4.8/4.9/5/6 images fail to check out code (too old for
    # actions/checkout); install the old compilers on top of official ubuntu:20.04
    # instead, mirroring what the (now retired) custom json-ci image did.
    container: ubuntu:20.04
    steps:
      - name: Install g++-${{ matrix.compiler }}
        run: |
          export DEBIAN_FRONTEND=noninteractive
          apt-get update
          apt-get install -y --no-install-recommends software-properties-common ca-certificates gnupg make git
          # add-apt-repository resolves the PPA through the Launchpad API,
          # which intermittently times out or fails the team lookup (the plain
          # "deb ..." sources below never hit Launchpad and never flake).
          # Retry with backoff so a transient Launchpad blip does not fail CI.
          for attempt in 1 2 3 4 5; do
            add-apt-repository -y ppa:ubuntu-toolchain-r/test && break
            echo "::warning::add-apt-repository ppa:ubuntu-toolchain-r/test failed (attempt ${attempt}/5); retrying"
            sleep $((attempt * 10))
          done
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ bionic main"
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ bionic universe"
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ xenial main"
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ xenial universe"
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ xenial-updates main"
          apt-add-repository -y "deb http://archive.ubuntu.com/ubuntu/ xenial-updates universe"
          apt-get update
          apt-get install -y --no-install-recommends g++-${{ matrix.compiler }}
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: CXX=g++-${{ matrix.compiler }} cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_test_compiler_g++-${{ matrix.compiler }}
  ci_test_compilers_gcc:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        # older GCC docker images (4, 5, 6) fail to check out code
        compiler: ['7', '8', '9', '10', '11', '12', '13', '14', '15', '16', 'latest']
    container: gcc:${{ matrix.compiler }}
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_test_compiler_default
  ci_test_compilers_clang:
    runs-on: ubuntu-latest
    strategy:
      matrix:
        compiler: ['3.4', '3.5', '3.6', '3.7', '3.8', '3.9', '4', '5', '6', '7', '8', '9', '10', '11', '12', '13', '14', '15-bullseye', '16', '17', '18', '19', '20', '21', '22', 'latest']
    container: silkeh/clang:${{ matrix.compiler }}
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Disable filesystem support (std::filesystem is unusable) for clang 7 / 8 / 9 / 10
        run: echo "JSON_FORCED_GLOBAL_COMPILE_OPTIONS=-DJSON_HAS_FILESYSTEM=0;-DJSON_HAS_EXPERIMENTAL_FILESYSTEM=0" >> "$GITHUB_ENV"
        if: ${{ matrix.compiler == '7' || matrix.compiler == '8' || matrix.compiler == '9' || matrix.compiler == '10' }}
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_test_compiler_default
  ci_test_standards_gcc:
    runs-on: ubuntu-latest
    container: gcc:latest
    strategy:
      matrix:
        standard: [11, 14, 17, 20, 23, 26]
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_test_gcc_cxx${{ matrix.standard }}
  ci_test_standards_clang:
    runs-on: ubuntu-latest
    container: silkeh/clang:latest
    strategy:
      matrix:
        standard: [11, 14, 17, 20, 23, 26]
        stdlib: [libcxx, libstdcxx]
    steps:
      - name: Install git and unzip
        run: apt-get update ; apt-get install -y git unzip
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build with libc++
        run: cmake --build build --target ci_test_clang_libcxx_cxx${{ matrix.standard }}
        if: ${{ matrix.stdlib == 'libcxx' }}
      - name: Build with libstdc++
        run: cmake --build build --target ci_test_clang_cxx${{ matrix.standard }}
        if: ${{ matrix.stdlib == 'libstdcxx' }}
  ci_cuda_example:
    if: *nightly_set
    runs-on: ubuntu-latest
    strategy:
      fail-fast: false
@@ -553,8 +352,37 @@ jobs:
      - name: Build
        run: cmake --build build --target ci_cuda_example
  ci_module_cpp20:
    strategy:
      matrix:
        container: ['gcc:latest', 'silkeh/clang:latest']
    runs-on: ubuntu-latest
    container: ${{ matrix.container }}
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      # The module test uses `import std;`, which needs CMake's experimental
      # import-std support. Its opt-in token is CMake-version-specific, so pin
      # CMake to the version whose token is set in tests/module_cpp20/CMakeLists.txt.
      - name: Get pinned CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
        with:
          cmakeVersion: 4.3.4
      # Clang: the std library module is provided by libc++ (the image's libstdc++
      # ships none), and the image's libc++ module manifest has a broken relative
      # path — repoint it at the real module sources.
      - name: Use libc++ and fix its module manifest path (Clang)
        if: matrix.container == 'silkeh/clang:latest'
        run: |
          echo "CXXFLAGS=-stdlib=libc++" >> "$GITHUB_ENV"
          mkdir -p /usr/lib/share && ln -sf /usr/lib/llvm-*/share/libc++ /usr/lib/share/libc++
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_module_cpp20
  ci_icpc:
    if: *nightly_set
    runs-on: ubuntu-latest
    # Intel discontinued the classic icc/icpc compiler in oneAPI 2024.0; this is
    # Intel's own last officially published image that still includes it.
@@ -574,7 +402,6 @@ jobs:
        run: cmake --build build --target ci_icpc
  ci_icpx:
    if: *nightly_set
    runs-on: ubuntu-latest
    container: intel/oneapi-hpckit:latest
    steps:
@@ -589,7 +416,6 @@ jobs:
        run: cmake --build build --target ci_icpx
  ci_nvhpc:
    if: *nightly_set
    runs-on: ubuntu-latest
    container: nvcr.io/nvidia/nvhpc:25.5-devel-cuda12.9-ubuntu22.04
    steps:
@@ -603,10 +429,54 @@ jobs:
      - name: Build
        run: cmake --build build --target ci_nvhpc
  ci_emscripten:
    runs-on: ubuntu-26.04
    steps:
      - name: Harden Runner
        uses: step-security/harden-runner@ccd8616d44fd3846e67624a50d5aad6d37bf2d25 # v2.22.1
        with:
          egress-policy: audit
      - name: Install emscripten
        uses: mymindstorm/setup-emsdk@4528d102f7230f0e7b276855c01ea1159be0e984 # v16
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Get latest CMake and ninja
        uses: lukka/get-cmake@a89e43e22a96abafcd7a62db652a65ecd33052c9 # v4.4.4
      - name: Run CMake
        run: cmake -S . -B build -DCMAKE_TOOLCHAIN_FILE=$EMSDK/upstream/emscripten/cmake/Modules/Platform/Emscripten.cmake -GNinja
      - name: Build
        run: cmake --build build
  ci_test_documentation:
    runs-on: ubuntu-26.04
    strategy:
      matrix:
        target: [ci_test_examples, ci_test_build_documentation, ci_test_documentation_mermaid]
    steps:
      - name: Harden Runner
        uses: step-security/harden-runner@ccd8616d44fd3846e67624a50d5aad6d37bf2d25 # v2.22.1
        with:
          egress-policy: audit
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
          # the git-revision-date-localized plugin needs the history; a shallow clone makes the strict build fail
          fetch-depth: ${{ matrix.target == 'ci_test_build_documentation' && '0' || '1' }}
      - uses: actions/setup-node@949feb2413d6458794dcd2491c4babbbce0c15c1 # v7.1.0
        if: matrix.target == 'ci_test_documentation_mermaid'
        with:
          node-version: 24
      - name: Run CMake
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ${{ matrix.target }}
  # Native Linux ARM64 runner with the latest GCC. The ubuntu-24.04-arm label is
  # only available for public repositories.
  ci_test_arm64:
    if: *nightly_set
    runs-on: ubuntu-24.04-arm
    container: gcc:latest
    steps:
@@ -621,33 +491,3 @@ jobs:
        run: cmake -S . -B build -DJSON_CI=On
      - name: Build
        run: cmake --build build --target ci_test_compiler_default
  # A failure of a scheduled run opens an issue, or comments on the open one.
  nightly_report:
    needs: [ci_infer, ci_static_analysis_ubuntu_nightly, ci_test_coverage, ci_cuda_example, ci_icpc, ci_icpx, ci_nvhpc, ci_test_arm64]
    if: ${{ always() && github.event_name == 'schedule' && contains(needs.*.result, 'failure') }}
    runs-on: ubuntu-26.04
    permissions:
      issues: write
    steps:
      - name: Harden Runner
        uses: step-security/harden-runner@ccd8616d44fd3846e67624a50d5aad6d37bf2d25 # v2.22.1
        with:
          egress-policy: audit
      - name: Open or update the nightly failure issue
        env:
          GH_TOKEN: ${{ github.token }}
          GH_REPO: ${{ github.repository }}
          RUN_URL: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}
          WORKFLOW: ${{ github.workflow }}
          SHA: ${{ github.sha }}
        run: |
          title="Nightly CI failure (${WORKFLOW})"
          body="The nightly run of ${WORKFLOW} on ${SHA:0:10} failed: ${RUN_URL}"
          number=$(gh issue list --state open --search "in:title \"${title}\"" --json number,title --jq "map(select(.title == \"${title}\")) | .[0].number // empty")
          if [ -n "$number" ]; then
            gh issue comment "$number" --body "$body"
          else
            gh issue create --title "$title" --body "$body"
          fi
@@ -7,62 +7,23 @@ on:
      - master
      - release/*
  pull_request:
    # labeled: the "🚀 ready to merge" label starts the full set (see below)
    types: [opened, synchronize, reopened, labeled]
    # Skip pull requests that change only files no job here reads. The list is checked by
    # tools/check_path_filters/check_path_filters.py (repository_checks.yml); change both together.
    paths:
      - '**'
      - '!docs/**'
      - '!**.md'
      - '!.github/*'
      - '!.github/ISSUE_TEMPLATE/**'
      - '!.github/external_ci/**'
      - '!.github/workflows/**'
      - '!.reuse/**'
      - '!LICENSES/**'
      - '!CITATION.cff'
      - '!REUSE.toml'
      # read by tools/check_build_options in the ci_meson_install job (ubuntu.yml)
      - 'docs/mkdocs/docs/integration/package_managers.md'
      # built by the swiftpm job (macos.yml)
      - 'docs/mkdocs/docs/integration/swift/**'
      - '.github/workflows/windows.yml'
  schedule:
    # the nightly set (see below), on develop
    - cron: '0 2 * * *'
  workflow_dispatch:
 permissions:
  contents: read
 # A run triggered by any other label gets a group of its own, so it does not
 # cancel the run of the last push; its jobs are skipped.
 concurrency:
-  group: ${{ github.workflow }}-${{ github.event_name == 'schedule' && 'nightly' || github.ref || github.run_id }}${{ github.event.action == 'labeled' && github.event.label.name != '🚀 ready to merge' && format('-{0}', github.run_id) || '' }}
+  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
  cancel-in-progress: true
 # The jobs are split into three sets like in ubuntu.yml (see "How CI runs" in
 # docs/mkdocs/docs/community/quality_assurance.md): the PR set runs on every
 # push; the full set after the PR set passed, on pushes and on pull requests
 # with the "🚀 ready to merge" label; the nightly set nightly on develop, on
 # pushes to master and release/*, and when started by hand. tools/ci_jobs
 # checks that every job belongs to exactly one set.
 jobs:
  ###########################################################################
  # PR set
  ###########################################################################
  mingw:
    if: &pr_set ${{ github.event_name != 'schedule' && (github.event.action != 'labeled' || github.event.label.name == '🚀 ready to merge') }}
    runs-on: windows-2022
    strategy:
      matrix:
-        architecture: [x86]
+        architecture: [x64, x86]
-    steps: &mingw_steps
+    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
@@ -79,26 +40,15 @@ jobs:
        run: cd build ; ctest -j 10 -C Debug --output-on-failure
  msvc:
    if: *pr_set
    strategy:
      matrix:
-        include:
+        build_type: [Debug, Release]
-          - build_type: Debug
+        architecture: [Win32, x64]
-            architecture: x64
+        std_version: [default, latest]
            std_version: default
          - build_type: Release
            architecture: x64
            std_version: default
          - build_type: Debug
            architecture: Win32
            std_version: default
          - build_type: Release
            architecture: Win32
            std_version: latest
    runs-on: windows-2022
-    steps: &msvc_steps
+    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
@@ -127,20 +77,15 @@ jobs:
  # Visual Studio 2026 (v145 toolset) on the windows-2025 image. The "Visual Studio
  # 18 2026" generator requires CMake 4.2+, so a recent CMake is fetched explicitly.
  msvc-vs2026:
    if: *pr_set
    strategy:
      matrix:
-        include:
+        build_type: [Debug, Release]
-          - build_type: Debug
+        architecture: [Win32, x64]
-            architecture: x64
+        std_version: [default, latest]
            std_version: latest
          - build_type: Release
            architecture: Win32
            std_version: default
    runs-on: windows-2025
-    steps: &msvc_vs2026_steps
+    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
@@ -172,14 +117,13 @@ jobs:
  # Native ARM64 Windows runner with the MSVC ARM64 toolset. The windows-11-arm
  # label is only available for public repositories.
  msvc-arm64:
    if: *pr_set
    strategy:
      matrix:
-        build_type: [Debug]
+        build_type: [Debug, Release]
    runs-on: windows-11-arm
-    steps: &msvc_arm64_steps
+    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
@@ -197,13 +141,12 @@ jobs:
        run: cd build ; ctest -j 10 -C ${{ matrix.build_type }} --output-on-failure
  clang:
    if: *pr_set
    runs-on: windows-2022
    strategy:
      matrix:
-        version: [20.1.8]
+        version: [11.0.1, 12.0.1, 13.0.1, 14.0.6, 15.0.7, 16.0.6, 18.1.8, 19.1.7, 20.1.8]
-    steps: &clang_steps
+    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
@@ -246,8 +189,24 @@ jobs:
      - name: Test
        run: cd build ; ctest -j 10 -C Debug --output-on-failure
  clang-cl:
    runs-on: windows-2022
    strategy:
      matrix:
        architecture: [Win32, x64]
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Run CMake
        run: cmake -S . -B build -G "Visual Studio 17 2022" -A ${{ matrix.architecture }} -T ClangCL -DJSON_BuildTests=On
      - name: Build
        run: cmake --build build --config Debug --parallel 10
      - name: Test
        run: cd build ; ctest -j 10 -C Debug --output-on-failure
  ci_module_cpp20:
    if: *pr_set
    runs-on: windows-2022
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
@@ -267,144 +226,3 @@ jobs:
      - name: Build
        run: cmake --build build --config Debug --target ci_module_cpp20
  ###########################################################################
  # full set: starts after the PR set passed
  ###########################################################################
  msvc_full:
    needs: &pr_set_jobs [mingw, msvc, msvc-vs2026, msvc-arm64, clang, ci_module_cpp20]
    if: &full_set ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' || contains(github.event.pull_request.labels.*.name, '🚀 ready to merge') }}
    strategy:
      matrix:
        build_type: [Debug, Release]
        architecture: [Win32, x64]
        std_version: [default, latest]
        exclude:
          # in the PR set
          - build_type: Debug
            architecture: x64
            std_version: default
          - build_type: Release
            architecture: x64
            std_version: default
          - build_type: Debug
            architecture: Win32
            std_version: default
          - build_type: Release
            architecture: Win32
            std_version: latest
    runs-on: windows-2022
    steps: *msvc_steps
  # Visual Studio 2026 (v145 toolset) on the windows-2025 image. The "Visual Studio
  # 18 2026" generator requires CMake 4.2+, so a recent CMake is fetched explicitly.
  msvc-vs2026_full:
    needs: *pr_set_jobs
    if: *full_set
    strategy:
      matrix:
        build_type: [Debug, Release]
        architecture: [Win32, x64]
        std_version: [default, latest]
        exclude:
          # in the PR set
          - build_type: Debug
            architecture: x64
            std_version: latest
          - build_type: Release
            architecture: Win32
            std_version: default
    runs-on: windows-2025
    steps: *msvc_vs2026_steps
  # Native ARM64 Windows runner with the MSVC ARM64 toolset. The windows-11-arm
  # label is only available for public repositories.
  msvc-arm64_full:
    needs: *pr_set_jobs
    if: *full_set
    strategy:
      matrix:
        build_type: [Release]
    runs-on: windows-11-arm
    steps: *msvc_arm64_steps
  clang_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: windows-2022
    strategy:
      matrix:
        version: [11.0.1, 12.0.1, 13.0.1, 14.0.6, 15.0.7, 16.0.6, 18.1.8, 19.1.7]
    steps: *clang_steps
  clang-cl_full:
    needs: *pr_set_jobs
    if: *full_set
    runs-on: windows-2022
    strategy:
      matrix:
        architecture: [Win32, x64]
    steps:
      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
        with:
          persist-credentials: false
      - name: Run CMake
        run: cmake -S . -B build -G "Visual Studio 17 2022" -A ${{ matrix.architecture }} -T ClangCL -DJSON_BuildTests=On
      - name: Build
        run: cmake --build build --config Debug --parallel 10
      - name: Test
        run: cd build ; ctest -j 10 -C Debug --output-on-failure
  ###########################################################################
  # nightly set
  ###########################################################################
  mingw_nightly:
    if: ${{ github.event_name == 'schedule' || github.event_name == 'workflow_dispatch' || (github.event_name == 'push' && github.ref != 'refs/heads/develop') }}
    runs-on: windows-2022
    strategy:
      matrix:
        architecture: [x64]
    steps: *mingw_steps
  # A failure of a scheduled run opens an issue, or comments on the open one.
  nightly_report:
    needs: [mingw_nightly]
    if: ${{ always() && github.event_name == 'schedule' && contains(needs.*.result, 'failure') }}
    runs-on: ubuntu-26.04
    permissions:
      issues: write
    steps:
      - name: Harden Runner
        uses: step-security/harden-runner@ccd8616d44fd3846e67624a50d5aad6d37bf2d25 # v2.22.1
        with:
          egress-policy: audit
      - name: Open or update the nightly failure issue
        env:
          GH_TOKEN: ${{ github.token }}
          GH_REPO: ${{ github.repository }}
          RUN_URL: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}
          WORKFLOW: ${{ github.workflow }}
          SHA: ${{ github.sha }}
        run: |
          title="Nightly CI failure (${WORKFLOW})"
          body="The nightly run of ${WORKFLOW} on ${SHA:0:10} failed: ${RUN_URL}"
          number=$(gh issue list --state open --search "in:title \"${title}\"" --json number,title --jq "map(select(.title == \"${title}\")) | .[0].number // empty")
          if [ -n "$number" ]; then
            gh issue comment "$number" --body "$body"
          else
            gh issue create --title "$title" --body "$body"
          fi
@@ -90,7 +90,6 @@ cc_library(
        "include/nlohmann/detail/view/simd.hpp",
        "include/nlohmann/detail/view/string_ref.hpp",
        "include/nlohmann/detail/view/value.hpp",
        "include/nlohmann/detail/view/view_mode.hpp",
        "include/nlohmann/json.hpp",
        "include/nlohmann/json_fwd.hpp",
        "include/nlohmann/json_literals.hpp",
@@ -309,7 +309,7 @@ The "Check amalgamation" workflow fails if the file is out of date.
 The file covers the namespace variants with up to two ABI tags. A Natvis file for other configurations can be
 generated with the `--abi-tags` or `--all` options, for example
-`make natvis NATVIS_ARGS="--abi-tags _diag,_dp,_ns --output my_nlohmann_json.natvis"`; see
+`make natvis NATVIS_ARGS="--abi-tags _diag,_dp,_vns --output my_nlohmann_json.natvis"`; see
 [`tools/generate_natvis`](tools/generate_natvis/README.md). With MSVC, CMake adds the file to the `nlohmann_json`
 target and installs it.
@@ -120,7 +120,7 @@ $(AMALGAMATED_VIEW_FILE): $(SRCS)
 	tools/amalgamate/amalgamate.py -c tools/amalgamate/config_json_view.json -s . --verbose=yes
 NATVIS_VENV=tools/generate_natvis/venv
-# extra options for generate_natvis.py, e.g. NATVIS_ARGS="--abi-tags _diag,_dp,_ns --output my.natvis"
+# extra options for generate_natvis.py, e.g. NATVIS_ARGS="--abi-tags _diag,_dp,_vns --output my.natvis"
 NATVIS_ARGS=
 # regenerate nlohmann_json.natvis from the ABI tags and version in include/nlohmann/detail/abi_macros.hpp
@@ -30,7 +30,7 @@ class (either explicitly or via the conversion operators).
 ## Return value
-1. (none) — the converted value is written to the output parameter `val`.
+1. (none) -- the converted value is written to the output parameter `val`.
 2. the JSON value `j` converted to `TargetType`
 ## Examples
@@ -67,9 +67,7 @@ class (either explicitly or via the conversion operators).
 ## See also
- [`to_json`](to_json.md) - convert a C++ value to JSON
+- [to_json](to_json.md)
 - [Arbitrary Type Conversions](../../features/arbitrary_types.md) - write your own `from_json` and `to_json` functions
 - [Converting values](../../features/conversions.md) - overview of `get`, `get_to` and implicit conversions
 ## Version history
@@ -33,10 +33,10 @@ struct adl_serializer {
 ## See also
 - [Arbitrary type conversions](../../features/arbitrary_types.md) - how to make your types convertible
- [`get`](../basic_json/get.md) - / [`get_to`](../basic_json/get_to.md) - convert a JSON value to a C++ type
+- [**get**](../basic_json/get.md) / [**get_to**](../basic_json/get_to.md) - convert a JSON value to a C++ type
- [`basic_json`](../basic_json/basic_json.md) - construct a JSON value from a C++ value
+- [**basic_json**](../basic_json/basic_json.md) - construct a JSON value from a C++ value
- [`NLOHMANN_DEFINE_TYPE_INTRUSIVE`](../macros/nlohmann_define_type_intrusive.md) - generate the conversion functions for a type
+- [**NLOHMANN_DEFINE_TYPE_INTRUSIVE**](../macros/nlohmann_define_type_intrusive.md) - generate the conversion functions for a type
- [Specializing enum conversion](../../features/enum_conversion.md) - serializing enums as JSON strings
+- [Specializing enum conversion](../../features/enum_conversion.md)
 ## Version history
@@ -36,9 +36,7 @@ This function is usually called by the constructors of the [basic_json](../basic
 ## See also
- [`from_json`](from_json.md) - convert JSON to a C++ value
+- [from_json](from_json.md)
 - [Arbitrary Type Conversions](../../features/arbitrary_types.md) - write your own `from_json` and `to_json` functions
 - [Converting values](../../features/conversions.md) - overview of `get`, `get_to` and implicit conversions
 ## Version history
@@ -148,20 +148,15 @@ outside of a string, invalid) byte; see the [FAQ entry](../../home/faq.md#nul-by
 ## See also
- [`parse`](parse.md) - deserialize from a compatible input
+- [parse](parse.md) - deserialize from a compatible input
- [`sax_parse`](sax_parse.md) - parse input using the SAX interface
+- [sax_parse](sax_parse.md) - parse input using the SAX interface
- [`operator>>`](../operator_gtgt.md) - deserialize from stream
+- [operator>>](../operator_gtgt.md) - deserialize from stream
 - [`JSON_STRICT_NUL_HANDLING`](../macros/json_strict_nul_handling.md) - opt in to rejecting a NUL byte in the input
  instead of treating it as end of input
 - [`JSON_DISABLE_STREAM_BULK_SCAN`](../macros/json_disable_stream_bulk_scan.md) - read a `std::istream` one character
  at a time
 - [`JSON_DISABLE_UNLOCKED_FILE_IO`](../macros/json_disable_unlocked_file_io.md) - read a `FILE*` with the locking stdio
  functions
 - [Parsing](../../features/parsing/index.md) - overview of the parsing functions
 - [Comments](../../features/comments.md) - ignore `//` and `/* */` comments while parsing
 - [Trailing Commas](../../features/trailing_commas.md) - accept trailing commas in arrays and objects
 - [Parsing and Exceptions](../../features/parsing/parse_exceptions.md) - handling parse errors and locating them in the input
 - [Parsing Untrusted Input](../../features/parsing/untrusted_input.md) - limits and checks for input you do not control
 ## Version history
@@ -29,9 +29,9 @@ Linear in the size of `init`.
 This function is only needed to express two edge cases that cannot be realized with the initializer list constructor
 ([`basic_json(initializer_list_t, bool, value_t)`](basic_json.md)). These cases are:
-1. creating an array whose elements are all pairs whose first element is a string — in this case, the initializer list
+1. creating an array whose elements are all pairs whose first element is a string -- in this case, the initializer list
   constructor would create an object, taking the first elements as keys
-2. creating an empty array — passing the empty initializer list to the initializer list constructor yields an empty
+2. creating an empty array -- passing the empty initializer list to the initializer list constructor yields an empty
   object
 ## Examples
@@ -69,12 +69,10 @@ Arrays are stored as pointers in a `basic_json` type. That is, for any access to
 ## See also
- [`object_t`](object_t.md) - the type used to store JSON objects
+- [object_t](object_t.md) the type used to store JSON objects
- [`binary_t`](binary_t.md) - the type used to store binary values
+- [binary_t](binary_t.md) the type used to store binary values
- [`is_array`](is_array.md) - checks whether the JSON value is an array
+- [is_array](is_array.md) checks whether the JSON value is an array
- [`max_size`](max_size.md) - returns the maximum possible number of elements
+- [max_size](max_size.md) returns the maximum possible number of elements
 - [Types](../../features/types/index.md) - how arrays are stored
 - [Template Parameter Requirements](../../features/types/template_parameters.md) - requirements on the `ArrayType` template parameter
 ## Version history
@@ -46,8 +46,7 @@ The function is equivalent to `static_cast<json_base_class_t&>(j)` (or `static_c
 ## See also
- [`json_base_class_t`](json_base_class_t.md) - type of the custom base class
+- [json_base_class_t](json_base_class_t.md) - type of the custom base class
 - [Template Parameter Requirements](../../features/types/template_parameters.md) - requirements on the `CustomBaseClass` template parameter
 ## Version history
@@ -90,8 +90,7 @@ Strong exception safety: if an exception occurs, the original value stays intact
 1. Constant.
 2. Logarithmic in the size of the container.
 3. Logarithmic in the size of the container.
-4. Linear in the number of reference tokens of `ptr`; for each of them, logarithmic in the size of the object, or
+4. Logarithmic in the size of the container.
   constant for an array.
 ## Notes
@@ -231,12 +230,10 @@ Strong exception safety: if an exception occurs, the original value stays intact
 ## See also
- [Checked access](../../features/element_access/checked_access.md) - element access with range checking
+- documentation on [checked access](../../features/element_access/checked_access.md)
- [`operator[]`](operator%5B%5D.md) - unchecked access by reference
+- [`operator[]`](operator%5B%5D.md) for unchecked access by reference
- [`value`](value.md) - access with default value
+- [`value`](value.md) for access with default value
- [`basic_json_view::at`](../basic_json_view/at.md) - the same access on a zero-copy view
+- [basic_json_view::at](../basic_json_view/at.md) - the same access on a zero-copy view
 - [Element Access](../../features/element_access/index.md) - overview of all ways to access elements
 - [JSON Pointer](../../features/json_pointer.md) - access nested values with a pointer
 ## Version history
@@ -57,9 +57,8 @@ Constant.
 ## See also
- [`front`](front.md) - to access the first element
+- [front](front.md) to access the first element
- [`basic_json_view::back`](../basic_json_view/back.md) - the same access on a zero-copy view
+- [basic_json_view::back](../basic_json_view/back.md) - the same access on a zero-copy view
 - [Element Access](../../features/element_access/index.md) - overview of all ways to access elements
 ## Version history
@@ -52,7 +52,7 @@ basic_json(basic_json&& other) noexcept;
    The postcondition of this constructor can be restored by calling [`clear()`](clear.md).
 2. Create a `#!json null` JSON value. It either takes a null pointer as parameter (explicitly creating `#!json null`)
-   or no parameter (implicitly creating `#!json null`). The passed null pointer itself is not read — it is only used to
+   or no parameter (implicitly creating `#!json null`). The passed null pointer itself is not read -- it is only used to
   choose the right constructor.
 3. This is a "catch all" constructor for all compatible JSON types; that is, types for which a `to_json()` method
@@ -113,22 +113,19 @@ basic_json(basic_json&& other) noexcept;
    ```mermaid
    flowchart TD
-        A(["initializer_list init"]) --> B{{"empty, or every element is a 2-element<br/>array whose first element is a string?"}}
+        A(["initializer_list init"]) --> B{"empty, or every element is a 2-element<br/>array whose first element is a string?"}
-        B -->|"yes"| C{{"type_deduction"}}
+        B -->|"yes"| C{"type_deduction"}
-        B -->|"no"| D{{"type_deduction"}}
+        B -->|"no"| D{"type_deduction"}
        C -->|"true"| OBJ["create object"]
-        C -->|"false"| E{{"manual_type"}}
+        C -->|"false"| E{"manual_type"}
        E -->|"object"| OBJ
        E -->|"array"| ARR["create array"]
        D -->|"true"| ARR
-        D -->|"false"| F{{"manual_type"}}
+        D -->|"false"| F{"manual_type"}
        F -->|"array"| ARR
        F -->|"object"| ERR["throw type_error.301"]
    ```
    <p class="nj-caption" markdown>Decision flow for an initializer list: hexagons are checks, edge labels are their
    outcomes, and rectangles are the resulting value or exception.</p>
    The rules aim to create the best fit between a C++ initializer list and JSON values. The rationale is as follows:
    1. The empty initializer list is written as `#!cpp {}` which is exactly an empty JSON object.
@@ -476,13 +473,12 @@ basic_json(basic_json&& other) noexcept;
 ## See also
- [`array`](array.md) - create a JSON array value, forcing array creation from an initializer list even when it looks like
+- [array](array.md) create a JSON array value, forcing array creation from an initializer list even when it looks like
  an object
- [`object`](object.md) - create a JSON object value, forcing object creation from an initializer list
+- [object](object.md) create a JSON object value, forcing object creation from an initializer list
- [`binary`](binary.md) - create a JSON binary array value
+- [binary](binary.md) create a JSON binary array value
- [`operator=`](operator=.md) - copy assignment operator
+- [operator=](operator=.md) copy assignment operator
 - [Creating JSON values](../../features/creating_values.md) - the article on creating JSON values
 - [Converting values](../../features/conversions.md) - which C++ types can be converted
 ## Version history
@@ -7,12 +7,7 @@ const_iterator begin() const noexcept;
 Returns an iterator to the first element.
-<div class="nj-fig-wrap" markdown>
+![Illustration from cppreference.com](../../images/range-begin-end.svg)
 --8<-- "images/range-begin-end.svg"
 </div>
 <p class="nj-caption" markdown>`begin()` points to the first element and `end()` to the position after the last element;
 the dashed cell is the past-the-last position, which must not be dereferenced.</p>
 ## Return value
@@ -44,12 +39,12 @@ Constant.
 ## See also
- [`end`](end.md) - returns an iterator to one past the last element
+- [end](end.md) returns an iterator to one past the last element
- [`cbegin`](cbegin.md) - returns a const iterator to the first element
+- [cbegin](cbegin.md) returns a const iterator to the first element
- [`rbegin`](rbegin.md) - returns a reverse iterator to the last element
+- [rbegin](rbegin.md) returns a reverse iterator to the last element
- [`items`](items.md) - returns an iteration proxy to access keys and values during range-based for loops
+- [items](items.md) returns an iteration proxy to access keys and values during range-based for loops
 - [Iterators](../../features/iterators.md) - the article on iterators
- [`basic_json_view::begin`](../basic_json_view/begin.md) - the same iteration on a zero-copy view (in document order,
+- [basic_json_view::begin](../basic_json_view/begin.md) - the same iteration on a zero-copy view (in document order,
  not sorted by key)
 ## Version history
@@ -63,11 +63,10 @@ initialization of a binary array type, for backwards compatibility and so it doe
 ## See also
- [Binary formats](../../features/binary_formats/index.md) - formats that can store binary values
+- [binary_t](binary_t.md) type for binary values
- [`binary_t`](binary_t.md) - type for binary values
+- [get_binary](get_binary.md) get a reference to the stored binary value
- [`get_binary`](get_binary.md) - get a reference to the stored binary value
+- [is_binary](is_binary.md) return whether the value is binary
- [`is_binary`](is_binary.md) - return whether the value is binary
+- [byte_container_with_subtype](../byte_container_with_subtype/index.md) container for binary values with subtype
 - [`byte_container_with_subtype`](../byte_container_with_subtype/index.md) - container for binary values with subtype
 - [Binary Values](../../features/binary_values.md) - the article on binary values
 ## Version history
@@ -41,7 +41,7 @@ represent a byte array in modern C++.
    [`byte_container_with_subtype`](../byte_container_with_subtype/index.md) derives directly from it. Its
    `value_type` must additionally be exactly one byte wide (e.g., `std::uint8_t`/`char`/`std::byte`): the binary
    serializers (CBOR, MessagePack, BSON, UBJSON) read and write the container's raw bytes via
-    `reinterpret_cast`, which is only correct for byte-sized elements — a container like
+    `reinterpret_cast`, which is only correct for byte-sized elements -- a container like
    `#!cpp std::vector<std::intptr_t>` will not work as `BinaryType`. The elements must be stored contiguously, and
    the binary readers additionally require `resize()` and `operator[]`. See
    [Template Parameter Requirements](../../features/types/template_parameters.md#binarytype) for the full list.
@@ -90,9 +90,8 @@ type `#!cpp binary_t*` must be dereferenced.
 - MessagePack
    - If a subtype is given and the binary array contains exactly 1, 2, 4, 8, or 16 elements, the fixext family (fixext1,
-      fixext2, fixext4, fixext8, fixext16) is used. For other sizes, the ext family (ext8, ext16, ext32) is used. The
+      fixext2, fixext4, fixext8) is used. For other sizes, the ext family (ext8, ext16, ext32) is used. The subtype is
-      subtype is then written as the signed 8-bit ext type: subtypes 128 to 255 map to the negative (reserved) ext
+      then added as a signed 8-bit integer.
      types, and on reading the ext type is exposed as an unsigned subtype from 0 to 255.
    - If no subtype is given, the bin family (bin8, bin16, bin32) is used.
 - BSON
@@ -118,9 +117,7 @@ type `#!cpp binary_t*` must be dereferenced.
 ## See also
- [Binary values](../../features/binary_values.md) - how binary values and subtypes are handled
+- [byte_container_with_subtype](../byte_container_with_subtype/index.md)
 - [Binary formats](../../features/binary_formats/index.md) - formats that can store binary values
 - [`byte_container_with_subtype`](../byte_container_with_subtype/index.md) - container type used by binary values
 ## Version history
@@ -1,48 +0,0 @@
 # <small>nlohmann::basic_json::</small>bjdata_version_t
 ```cpp
 enum class bjdata_version_t
 {
    draft2,
    draft3
 };
 ```
 This enumeration is used in [`to_bjdata`](to_bjdata.md) to choose the version of the BJData specification to write:
 draft2
 :   BJData Draft 2 (the default). Binary values are written as arrays of `U` integers, and ND-arrays with
    `"_ArrayType_": "byte"` are written as regular objects, since the `B` marker is not part of Draft 2.
 draft3
 :   BJData Draft 3. Binary values are written as `B` elements: as an optimized binary array (`[$B#`) if both `use_size`
    and `use_type` are set, and as an array of `B`-prefixed elements otherwise. ND-arrays with
    `"_ArrayType_": "byte"` are written as packed arrays (`[$B#[...]`).
 Only the writer is affected by the version. [`from_bjdata`](from_bjdata.md) reads the markers of both drafts.
 ## Examples
 ??? example
    The example below shows how the different values of the `bjdata_version_t` influence the serialization of a binary
    value with [`to_bjdata`](to_bjdata.md).
    ```cpp
    --8<-- "examples/bjdata_version_t.cpp"
    ```
    Output:
    ```json
    --8<-- "examples/bjdata_version_t.output"
    ```
 ## See also
 - [to_bjdata](to_bjdata.md) serializes a JSON value to BJData
 - [BJData](../../features/binary_formats/bjdata.md) - the article on the BJData format
 ## Version history
 - Added in version 3.12.0.
@@ -47,9 +47,7 @@ Boolean values are stored directly inside a `basic_json` type.
 ## See also
- [`is_boolean`](is_boolean.md) - checks whether the JSON value is a boolean
+- [is_boolean](is_boolean.md) checks whether the JSON value is a boolean
 - [Types](../../features/types/index.md) - how booleans are stored
 - [Template Parameter Requirements](../../features/types/template_parameters.md) - requirements on the `BooleanType` template parameter
 ## Version history
@@ -6,12 +6,7 @@ const_iterator cbegin() const noexcept;
 Returns an iterator to the first element.
-<div class="nj-fig-wrap" markdown>
+![Illustration from cppreference.com](../../images/range-begin-end.svg)
 --8<-- "images/range-begin-end.svg"
 </div>
 <p class="nj-caption" markdown>`cbegin()` points to the first element, like `begin()`, and `end()` to the position after
 the last element; the dashed cell is the past-the-last position, which must not be dereferenced.</p>
 ## Return value
@@ -43,11 +38,11 @@ Constant.
 ## See also
- [`begin`](begin.md) - returns an iterator to the first element
+- [begin](begin.md) returns an iterator to the first element
- [`cend`](cend.md) - returns a const iterator to one past the last element
+- [cend](cend.md) returns a const iterator to one past the last element
- [`crbegin`](crbegin.md) - returns a const reverse iterator to the last element
+- [crbegin](crbegin.md) returns a const reverse iterator to the last element
 - [Iterators](../../features/iterators.md) - the article on iterators
- [`basic_json_view::cbegin`](../basic_json_view/cbegin.md) - the same iteration on a zero-copy view
+- [basic_json_view::cbegin](../basic_json_view/cbegin.md) - the same iteration on a zero-copy view
 ## Version history
@@ -15,13 +15,11 @@ error
 :   report a parse error in case of a tag (the `from_cbor` overloads throw a `parse_error` exception by default)
 ignore
-:   ignore tags (also in front of a text string map key)
+:   ignore tags
 store
 :   store tagged byte strings (for bytes 0xd8..0xdb) as binary values with the tag as subtype; other tagged values are
-    read as if the tag were ignored. If several tags precede a byte string, only the tag directly in front of it is
+    read as if the tag were ignored. If several tags precede a byte string, only the innermost one is stored.
    stored, and only when it has the form 0xd8..0xdb (a tag 0..23 written as 0xc0..0xd7 is skipped). Tags in front of a
    text string map key are skipped.
 ## Examples
@@ -42,9 +40,8 @@ store
 ## See also
- [Binary values](../../features/binary_values.md) - how binary values and subtypes are handled
+- [from_cbor](from_cbor.md) deserializes a JSON value from CBOR
- [`from_cbor`](from_cbor.md) - deserializes a JSON value from CBOR
+- [input_format_t](input_format_t.md) the enumeration of supported input formats
 - [`input_format_t`](input_format_t.md) - the enumeration of supported input formats
 - [CBOR](../../features/binary_formats/cbor.md) - the article on the CBOR format
 ## Version history
@@ -6,12 +6,7 @@ const_iterator cend() const noexcept;
 Returns an iterator to one past the last element.
-<div class="nj-fig-wrap" markdown>
+![Illustration from cppreference.com](../../images/range-begin-end.svg)
 --8<-- "images/range-begin-end.svg"
 </div>
 <p class="nj-caption" markdown>`cend()` points to the position after the last element, like `end()`, and `begin()` to
 the first element; the dashed cell is the past-the-last position, which must not be dereferenced.</p>
 ## Return value
@@ -43,11 +38,11 @@ Constant.
 ## See also
- [`end`](end.md) - returns an iterator to one past the last element
+- [end](end.md) returns an iterator to one past the last element
- [`cbegin`](cbegin.md) - returns a const iterator to the first element
+- [cbegin](cbegin.md) returns a const iterator to the first element
- [`crend`](crend.md) - returns a const reverse iterator to one before the first element
+- [crend](crend.md) returns a const reverse iterator to one before the first element
 - [Iterators](../../features/iterators.md) - the article on iterators
- [`basic_json_view::cend`](../basic_json_view/cend.md) - the same iteration on a zero-copy view
+- [basic_json_view::cend](../basic_json_view/cend.md) - the same iteration on a zero-copy view
 ## Version history
@@ -54,9 +54,8 @@ All iterators, pointers, and references related to this container are invalidate
 ## See also
- [`erase`](erase.md) - removes elements from a JSON value
+- [erase](erase.md) removes elements from a JSON value
- [`empty`](empty.md) - checks whether the JSON value has no elements
+- [empty](empty.md) checks whether the JSON value has no elements
 - [Modifying values](../../features/modifying_values.md) - the article on modifying values
 ## Version history
@@ -61,18 +61,11 @@ Strong exception safety: if an exception occurs, the original value stays intact
 ## Complexity
-1. Logarithmic in the size of the JSON object.
+Logarithmic in the size of the JSON object.
 2. Logarithmic in the size of the JSON object.
 3. At most one lookup per reference token of `ptr`, each logarithmic in the size of the container at that level:
   O(*n* log *m*) for *n* reference tokens and containers of size at most *m*.
 4. Deleted; a call with an integral argument does not compile.
 ## Notes
- Overloads (1) and (2) always return `#!cpp false` when executed on a JSON type that is not an object. Overload (3)
+- This method always returns `#!cpp false` when executed on a JSON type that is not an object.
  also works on arrays and on primitive values: the empty JSON pointer resolves in every JSON value (so
  `#!cpp json(1).contains(""_json_pointer)` returns `#!cpp true`), and `#!cpp json({1, 2}).contains("/1"_json_pointer)`
  returns `#!cpp true`.
 - This method can be executed on any JSON value type.
 - Calling this function with an integer argument (for example, `#!cpp contains(0)`) does not compile: such an argument
  would otherwise implicitly convert to a null `#!cpp const char*` and, from there, cause undefined behavior when
@@ -141,10 +134,9 @@ Strong exception safety: if an exception occurs, the original value stays intact
 ## See also
- [`find`](find.md) - find a value in an object
+- [find](find.md) find a value in an object
- [`count`](count.md) - returns the number of occurrences of a key
+- [count](count.md) returns the number of occurrences of a key
- [`basic_json_view::contains`](../basic_json_view/contains.md) - the same check on a zero-copy view
+- [basic_json_view::contains](../basic_json_view/contains.md) - the same check on a zero-copy view
 - [Element Access](../../features/element_access/index.md#does-this-key-exist) - how to test whether a key exists
 ## Version history
@@ -85,10 +85,9 @@ Logarithmic in the size of the JSON object.
 ## See also
- [`find`](find.md) - find a value in an object
+- [find](find.md) find a value in an object
- [`contains`](contains.md) - checks whether a key exists
+- [contains](contains.md) checks whether a key exists
- [`basic_json_view::count`](../basic_json_view/count.md) - the same check on a zero-copy view
+- [basic_json_view::count](../basic_json_view/count.md) - the same check on a zero-copy view
 - [Element Access](../../features/element_access/index.md#does-this-key-exist) - how to test whether a key exists
 ## Version history
@@ -6,13 +6,7 @@ const_reverse_iterator crbegin() const noexcept;
 Returns an iterator to the reverse-beginning; that is, the last element.
-<div class="nj-fig-wrap" markdown>
+![Illustration from cppreference.com](../../images/range-rbegin-rend.svg)
 --8<-- "images/range-rbegin-rend.svg"
 </div>
 <p class="nj-caption" markdown>`crbegin()` points to the last element, like `rbegin()`, and `rend()` to the position
 before the first element. The upper row is the reversed sequence and the lower row the forward sequence; dashed arrows
 link each reverse iterator to the forward iterator it stores, and dashed cells are past-the-last positions.</p>
 ## Return value
@@ -44,9 +38,9 @@ Constant.
 ## See also
- [`crend`](crend.md) - returns a const reverse iterator to one before the first element
+- [crend](crend.md) returns a const reverse iterator to one before the first element
- [`rbegin`](rbegin.md) - returns a reverse iterator to the last element
+- [rbegin](rbegin.md) returns a reverse iterator to the last element
- [`cbegin`](cbegin.md) - returns a const iterator to the first element
+- [cbegin](cbegin.md) returns a const iterator to the first element
 - [Iterators](../../features/iterators.md) - the article on iterators
 ## Version history
@@ -7,13 +7,7 @@ const_reverse_iterator crend() const noexcept;
 Returns an iterator to the reverse-end; that is, one before the first element. This element acts as a placeholder,
 attempting to access it results in undefined behavior.
-<div class="nj-fig-wrap" markdown>
+![Illustration from cppreference.com](../../images/range-rbegin-rend.svg)
 --8<-- "images/range-rbegin-rend.svg"
 </div>
 <p class="nj-caption" markdown>`crend()` points to the position before the first element, like `rend()`, and `rbegin()`
 to the last element. The upper row is the reversed sequence and the lower row the forward sequence; dashed arrows link
 each reverse iterator to the forward iterator it stores, and dashed cells are past-the-last positions.</p>
 ## Return value
@@ -45,9 +39,9 @@ Constant.
 ## See also
- [`crbegin`](crbegin.md) - returns a const reverse iterator to the last element
+- [crbegin](crbegin.md) returns a const reverse iterator to the last element
- [`rend`](rend.md) - returns a reverse iterator to one before the first element
+- [rend](rend.md) returns a reverse iterator to one before the first element
- [`cend`](cend.md) - returns a const iterator to one past the last element
+- [cend](cend.md) returns a const iterator to one past the last element
 - [Iterators](../../features/iterators.md) - the article on iterators
 ## Version history
@@ -32,10 +32,8 @@ The actual comparator used depends on [`object_t`](object_t.md) and can be obtai
 ## See also
- [`object_comparator_t`](object_comparator_t.md) - the comparator actually used by `object_t`
+- [object_comparator_t](object_comparator_t.md) the comparator actually used by `object_t`
- [`object_t`](object_t.md) - the type used to store JSON objects
+- [object_t](object_t.md) the type used to store JSON objects
 - [Template Parameter Requirements](../../features/types/template_parameters.md) - requirements on the `ObjectType` template parameter
 - [Object order](../../features/object_order.md) - preserve the insertion order of keys
 ## Version history
@@ -2,28 +2,17 @@
 ```cpp
 static basic_json diff(const basic_json& source,
-                       const basic_json& target,
+                       const basic_json& target);
                       const string_t& path = "");
 ```
 Creates a [JSON Patch](http://jsonpatch.com) so that value `source` can be changed into the value `target` by calling
 [`patch`](patch.md) function.
-For two JSON values `source` and `target`, the following code yields `#!cpp true`:
+For two JSON values `source` and `target`, the following code always yields `#!cpp true`:
 ```cpp
 source.patch(diff(source, target)) == target;
 ```
 The equality holds up to [`operator==`](operator_eq.md), so it has the following exceptions:
 - A value that is not equal to itself cannot round-trip. This applies to `NaN` (also nested in an array or object) and
  to [discarded](is_discarded.md) values: `diff` emits a `replace` operation for them. A `NaN` in the patch is
  serialized as `#!json null`, so a patch that was dumped and parsed again would set `#!json null`.
 - Numbers that compare equal produce no operation, even if their types differ or if one is zero and the other is
  negative zero: `diff(1, 1.0)` (integer and floating-point), `diff(1u, 1)` (unsigned and signed integer) and
  `diff(0.0, -0.0)` (positive and negative zero) all return `#!json []`. The patched value is then the `source` and
  keeps its number type and sign.
 ## Parameters
 `source` (in)
@@ -32,12 +21,6 @@ The equality holds up to [`operator==`](operator_eq.md), so it has the following
 `target` (in)
 :   JSON value to compare against
 `path` (in)
 :   a prefix that is put verbatim in front of the `path` member of every operation (default: `""`, which addresses the
    root of the value). The prefix is neither escaped nor validated: `#!cpp diff(1, 2, "abc")` yields an operation with
    the `path` `abc`, which is not a valid JSON Pointer. Use it with a valid JSON Pointer such as `/root` and escape
    `~` and `/` in its reference tokens (see [JSON Pointer](../../features/json_pointer.md)).
 ## Return value
 a JSON patch to convert the `source` to `target`
@@ -48,32 +31,11 @@ Strong guarantee: `source` and `target` are never modified.
 ## Complexity
-Linear in the total number of values (including nested ones) in `source` and `target`, times the cost of a key-based
+Linear in the lengths of `source` and `target`.
 object operation (looking up a key in an object): logarithmic for [`json`](../json.md), and linear for
 [`ordered_json`](../ordered_json.md) (see [`ordered_map` complexity](../ordered_map.md#complexity)). For
 `ordered_json`, diffing two objects with `n` and `m` members therefore takes O((n+m)²) when their keys do not line up
 (e.g., a key was added or the keys are in a different order). The size of the patch is proportional to the number of
 operations times the length of their paths, so a small change deep inside a value yields a long `path`.
 ## Notes
- Currently, only `remove`, `add`, and `replace` operations are generated.
+Currently, only `remove`, `add`, and `replace` operations are generated.
 - The patch is correct, but not guaranteed to be minimal. For instance, `diff([1,2,3], [0,1,2,3])` yields three
  `replace` operations and one `add` operation instead of a single insertion.
 - Differences between two arrays are reported index by index. Elements that were added at the end of the array are added
  with `add` operations on the path `/-` (appended in order), and elements that were removed are removed with `remove`
  operations from the highest index down to the lowest, so that the remaining indices stay valid.
 - For objects, the operations for the members of `source` come first (`replace`, `remove`, or the operations for nested
  values, in the iteration order of `source`), followed by `add` operations for the members that only `target` has.
 - For [`ordered_json`](../ordered_json.md), objects with the same keys in a different order are different. As a patch
  cannot reorder members, `diff` removes all keys of the `source` object and adds them again in the order of the
  `target`.
 - If `source` and `target` differ as a whole (e.g., different types), the patch consists of a single `replace`
  operation for the root of the value, i.e., with the `path` `""` (or the given `path` prefix).
 - The `value` members of the patch hold copies of values of `target`. A [binary](../../features/binary_values.md) value
  has no JSON representation: when a patch that contains one is serialized, it becomes an object such as
  `#!json {"bytes":[1,3],"subtype":null}`, so a parsed patch no longer holds a binary value (and would set that object
  instead).
 ## Examples
@@ -93,12 +55,11 @@ operations times the length of their paths, so a small change deep inside a valu
 ## See also
- [RFC 6902 (JSON Patch)](https://tools.ietf.org/html/rfc6902) - specification of JSON Patch
+- [RFC 6902 (JSON Patch)](https://tools.ietf.org/html/rfc6902)
- [`patch`](patch.md) - applies a JSON Patch
+- [patch](patch.md) applies a JSON Patch
- [`patch_inplace`](patch_inplace.md) - applies a JSON Patch in place
+- [patch_inplace](patch_inplace.md) applies a JSON Patch in place
- [`merge_patch`](merge_patch.md) - applies a JSON Merge Patch
+- [merge_patch](merge_patch.md) applies a JSON Merge Patch
- [`merge_diff`](merge_diff.md) - creates a diff as a JSON Merge Patch
+- [merge_diff](merge_diff.md) creates a diff as a JSON Merge Patch
 - [JSON Patch and Diff](../../features/json_patch.md) - the article on JSON Patch
 ## Version history
@@ -89,9 +89,9 @@ Binary values are serialized as an object containing two keys:
 ## See also
- [`to_string`](to_string.md) - returns a string representation of a JSON value
+- [to_string](to_string.md) returns a string representation of a JSON value
- [`operator<<`](../operator_ltlt.md) - serialize to stream
+- [operator<<](../operator_ltlt.md) serialize to stream
- [`basic_json_view::dump`](../basic_json_view/dump.md) - the corresponding function of `basic_json_view`, serializing
+- [`basic_json_view::dump`](../basic_json_view/dump.md) the corresponding function of `basic_json_view`, serializing
  directly from a flat index without building a `basic_json` value
 - [Serialization](../../features/serialization.md) - the serialization article
@@ -63,8 +63,8 @@ Logarithmic in the size of the container, O(log(`size()`)).
 ## See also
- [`emplace_back`](emplace_back.md) - add a value to an array
+- [emplace_back](emplace_back.md) add a value to an array
- [`insert`](insert.md) - add values to an array/object
+- [insert](insert.md) add values to an array/object
 - [Modifying values](../../features/modifying_values.md) - the article on modifying values
 ## Version history
@@ -61,8 +61,8 @@ Amortized constant.
 ## See also
- [`operator+=`](operator+=.md) - add a value to an array/object
+- [operator+=](operator+=.md) add a value to an array/object
- [`push_back`](push_back.md) - add a value to an array/object
+- [push_back](push_back.md) add a value to an array/object
 - [Modifying values](../../features/modifying_values.md) - the article on modifying values
 ## Version history
@@ -41,7 +41,7 @@ bool empty() const noexcept
 ## Notes
-This function does not return whether a string stored as JSON value is empty — it returns whether the JSON container
+This function does not return whether a string stored as JSON value is empty -- it returns whether the JSON container
 itself is empty which is `#!cpp false` in the case of a string.
 ## Examples
@@ -62,9 +62,9 @@ itself is empty which is `#!cpp false` in the case of a string.
 ## See also
- [`size`](size.md) - returns the number of elements
+- [size](size.md) returns the number of elements
- [`clear`](clear.md) - clears the content and resets the value to the default value
+- [clear](clear.md) clears the content and resets the value to the default value
- [`basic_json_view::empty`](../basic_json_view/empty.md) - the same check on a zero-copy view
+- [basic_json_view::empty](../basic_json_view/empty.md) - the same check on a zero-copy view
 ## Version history
@@ -7,12 +7,7 @@ const_iterator end() const noexcept;
 Returns an iterator to one past the last element.
-<div class="nj-fig-wrap" markdown>
+![Illustration from cppreference.com](../../images/range-begin-end.svg)
 --8<-- "images/range-begin-end.svg"
 </div>
 <p class="nj-caption" markdown>`end()` points to the position after the last element and `begin()` to the first element;
 the dashed cell is the past-the-last position, which must not be dereferenced.</p>
 ## Return value
@@ -44,11 +39,11 @@ Constant.
 ## See also
- [`begin`](begin.md) - returns an iterator to the first element
+- [begin](begin.md) returns an iterator to the first element
- [`cend`](cend.md) - returns a const iterator to one past the last element
+- [cend](cend.md) returns a const iterator to one past the last element
- [`rend`](rend.md) - returns a reverse iterator to one before the first element
+- [rend](rend.md) returns a reverse iterator to one before the first element
 - [Iterators](../../features/iterators.md) - the article on iterators
- [`basic_json_view::end`](../basic_json_view/end.md) - the same iteration on a zero-copy view
+- [basic_json_view::end](../basic_json_view/end.md) - the same iteration on a zero-copy view
 ## Version history
@@ -60,9 +60,8 @@ Constant.
 ## See also
- [`start_pos`](start_pos.md) - to access the start position
+- [start_pos](start_pos.md) to access the start position
- [`JSON_DIAGNOSTIC_POSITIONS`](../macros/json_diagnostic_positions.md) - overview of the supported conversions
+- [JSON_DIAGNOSTIC_POSITIONS](../macros/json_diagnostic_positions.md) for an overview of the diagnostic positions
 - [Parsing and Exceptions](../../features/parsing/parse_exceptions.md) - handling parse errors and locating them in the input
 ## Version history
@@ -204,8 +204,8 @@ Strong exception safety: if an exception occurs, the original value stays intact
 ## See also
- [`clear`](clear.md) - clears the contents
+- [clear](clear.md) clears the contents
- [`insert`](insert.md) - add values to an array/object
+- [insert](insert.md) add values to an array/object
 - [Modifying values](../../features/modifying_values.md) - the article on modifying values
 ## Version history
@@ -61,7 +61,7 @@ keep
 ## See also
- [`dump`](dump.md) - serializes a JSON value, with an `error_handler_t` parameter to configure invalid UTF-8 handling
+- [dump](dump.md) serializes a JSON value, with an `error_handler_t` parameter to configure invalid UTF-8 handling
 - [Handling invalid UTF-8](../../features/serialization.md#handling-invalid-utf-8) - the article on handling invalid UTF-8
 ## Version history
@@ -40,9 +40,6 @@ classDiagram
    style json_exception fill:#CCCCFF
 ```
 <p class="nj-caption" markdown>Class hierarchy of the library's exceptions; arrows point from a derived class to its
 base class, and the highlighted box is `basic_json::exception`.</p>
 Subclasses:
 - [`parse_error`](parse_error.md) for exceptions indicating a parse error
@@ -83,11 +80,7 @@ constructor.
 ## See also
- [List of exceptions](../../home/exceptions.md) - overview of all exceptions thrown by the library
+[List of exceptions](../../home/exceptions.md)
 - [Working Without Exceptions](../../features/no_exceptions.md) - using the library without exceptions
 - [`JSON_DIAGNOSTICS`](../macros/json_diagnostics.md) - extended exception messages with the path of the failing value
 - [Parsing and Exceptions](../../features/parsing/parse_exceptions.md) - parsing alternatives that do not throw
 - [Debugging](../../home/debugging.md) - debugging aids
 ## Version history
@@ -91,11 +91,10 @@ Logarithmic in the size of the JSON object.
 ## See also
- [`count`](count.md) - returns the number of occurrences of a key
+- [count](count.md) returns the number of occurrences of a key
- [`contains`](contains.md) - checks whether a key exists
+- [contains](contains.md) checks whether a key exists
- [`basic_json_view::find`](../basic_json_view/find.md) - the same lookup on a zero-copy view (a duplicate key resolves
+- [basic_json_view::find](../basic_json_view/find.md) - the same lookup on a zero-copy view (a duplicate key resolves
  to the first member, whereas `parse()` keeps the last)
 - [Element Access](../../features/element_access/index.md#does-this-key-exist) - how to test whether a key exists
 ## Version history
@@ -58,8 +58,7 @@ Empty objects and arrays are flattened to `#!json null` and will not be reconstr
 ## See also
- [`unflatten`](unflatten.md) - the reverse function
+- [unflatten](unflatten.md) the reverse function
 - [JSON Pointer](../../features/json_pointer.md#flatten-unflatten) - the article on JSON Pointer and flattening
 ## Version history
@@ -86,8 +86,8 @@ std::string format_as(const BasicJsonType& j)
 ## See also
- [`dump`](dump.md) - serialize a JSON value to a string
+- [dump](dump.md)
- [`std::formatter<basic_json>`](std_formatter.md) - the `std::format` (C++20) equivalent
+- [std::formatter<basic_json>](std_formatter.md) - the `std::format` (C++20) equivalent
 - [Serialization](../../features/serialization.md) - the serialization article
 ## Version history
@@ -82,11 +82,8 @@ Strong guarantee: if an exception is thrown, there are no changes in the JSON va
 - Throws [parse_error.112](../../home/exceptions.md#jsonexceptionparse_error112) if a parse error occurs
 - Throws [parse_error.113](../../home/exceptions.md#jsonexceptionparse_error113) if a string could not be parsed
  successfully, or if a string value or object key is not valid UTF-8 and `error_handler` is `strict`
 - Throws [parse_error.115](../../home/exceptions.md#jsonexceptionparse_error115) if the text of a high-precision
  number (`H`) is not a valid number
 - Throws [out_of_range.408](../../home/exceptions.md#jsonexceptionout_of_range408) if the size of an optimized container
-  cannot be represented by `std::size_t` or exceeds the container's `max_size()`, or if the product of the dimensions of
+  or n-dimensional array cannot be represented by `std::size_t`
  an n-dimensional array overflows
 ## Complexity
@@ -110,16 +107,12 @@ Linear in the size of the input.
 ## See also
- [BJData](../../features/binary_formats/bjdata.md) - the format, its byte layout and how values are mapped
+- [to_bjdata](to_bjdata.md) create a BJData serialization of a JSON value
- [Binary formats](../../features/binary_formats/index.md) - overview and comparison of the supported binary formats
+- [from_cbor](from_cbor.md) create a JSON value from an input in CBOR format
- [Parsing untrusted input](../../features/parsing/untrusted_input.md) - limits and safe handling of hostile data
+- [from_msgpack](from_msgpack.md) create a JSON value from an input in MessagePack format
- [Binary values](../../features/binary_values.md) - how binary values and subtypes are handled
+- [from_bson](from_bson.md) create a JSON value from an input in BSON format
- [`to_bjdata`](to_bjdata.md) - create a BJData serialization of a JSON value
+- [from_ubjson](from_ubjson.md) create a JSON value from an input in UBJSON format
- [`from_cbor`](from_cbor.md) - create a JSON value from an input in CBOR format
+- [from_bon8](from_bon8.md) create a JSON value from an input in BON8 format
 - [`from_msgpack`](from_msgpack.md) - create a JSON value from an input in MessagePack format
 - [`from_bson`](from_bson.md) - create a JSON value from an input in BSON format
 - [`from_ubjson`](from_ubjson.md) - create a JSON value from an input in UBJSON format
 - [`from_bon8`](from_bon8.md) - create a JSON value from an input in BON8 format
 ## Version history
@@ -74,11 +74,6 @@ Strong guarantee: if an exception is thrown, there are no changes in the JSON va
 - Throws [parse_error.112](../../home/exceptions.md#jsonexceptionparse_error112) if a parse error occurs, for instance
  an invalid byte, a string that is not valid UTF-8, or an object key that is not a string
 The UTF-8 validity of strings is always checked, independent of
 [`JSON_STRICT_BINARY_UTF8`](../macros/json_strict_binary_utf8.md), because the end of a BON8 string is determined from
 its encoding. Duplicate object keys are accepted; the last value wins (see
 [BON8](../../features/binary_formats/bon8.md)).
 ## Complexity
 Linear in the size of the input.
@@ -101,15 +96,12 @@ Linear in the size of the input.
 ## See also
- [BON8](../../features/binary_formats/bon8.md) - the format, its byte layout and how values are mapped
+- [to_bon8](to_bon8.md) create a BON8 serialization of a JSON value
- [Binary formats](../../features/binary_formats/index.md) - overview and comparison of the supported binary formats
+- [from_cbor](from_cbor.md) create a JSON value from an input in CBOR format
- [Parsing untrusted input](../../features/parsing/untrusted_input.md) - limits and safe handling of hostile data
+- [from_msgpack](from_msgpack.md) create a JSON value from an input in MessagePack format
- [`to_bon8`](to_bon8.md) - create a BON8 serialization of a JSON value
+- [from_bson](from_bson.md) create a JSON value from an input in BSON format
- [`from_cbor`](from_cbor.md) - create a JSON value from an input in CBOR format
+- [from_ubjson](from_ubjson.md) create a JSON value from an input in UBJSON format
- [`from_msgpack`](from_msgpack.md) - create a JSON value from an input in MessagePack format
+- [from_bjdata](from_bjdata.md) create a JSON value from an input in BJData format
 - [`from_bson`](from_bson.md) - create a JSON value from an input in BSON format
 - [`from_ubjson`](from_ubjson.md) - create a JSON value from an input in UBJSON format
 - [`from_bjdata`](from_bjdata.md) - create a JSON value from an input in BJData format
 ## Version history
@@ -80,8 +80,7 @@ Strong guarantee: if an exception is thrown, there are no changes in the JSON va
 - Throws [`parse_error.110`](../../home/exceptions.md#jsonexceptionparse_error110) if the given input ends prematurely or
  the end of the input was not reached when `strict` was set to true
 - Throws [`parse_error.112`](../../home/exceptions.md#jsonexceptionparse_error112) if a parse error occurs (e.g., an
-  invalid string or byte array length, an invalid inner length of a binary value with subtype `0x02`, or a document size
+  invalid string or byte array length)
  that does not match the content; `strict` does not affect the document size checks)
 - Throws [`parse_error.114`](../../home/exceptions.md#jsonexceptionparse_error114) if an unsupported BSON record type is
  encountered
 - Throws [`parse_error.113`](../../home/exceptions.md#jsonexceptionparse_error113) if a string value or object key is
@@ -109,17 +108,13 @@ Linear in the size of the input.
 ## See also
- [BSON](../../features/binary_formats/bson.md) - the format, its byte layout and how values are mapped
+- [BSON specification](http://bsonspec.org/spec.html)
- [Binary formats](../../features/binary_formats/index.md) - overview and comparison of the supported binary formats
+- [to_bson](to_bson.md) for the analogous serialization
- [Parsing untrusted input](../../features/parsing/untrusted_input.md) - limits and safe handling of hostile data
+- [from_cbor](from_cbor.md) for the related CBOR format
- [Binary values](../../features/binary_values.md) - how binary values and subtypes are handled
+- [from_msgpack](from_msgpack.md) for the related MessagePack format
- [BSON specification](http://bsonspec.org/spec.html) - specification of the BSON format
+- [from_ubjson](from_ubjson.md) for the related UBJSON format
- [`to_bson`](to_bson.md) - the analogous serialization
+- [from_bjdata](from_bjdata.md) for the related BJData format
- [`from_cbor`](from_cbor.md) - the related CBOR format
+- [from_bon8](from_bon8.md) for the related BON8 format
 - [`from_msgpack`](from_msgpack.md) - the related MessagePack format
 - [`from_ubjson`](from_ubjson.md) - the related UBJSON format
 - [`from_bjdata`](from_bjdata.md) - the related BJData format
 - [`from_bon8`](from_bon8.md) - the related BON8 format
 ## Version history
@@ -32,10 +32,8 @@ The exact mapping and its limitations are described on a [dedicated page](../../
    - an `std::istream` object
    - a `FILE` pointer
-    - a C-style array of characters (its terminating NUL is read as trailing data: `parse_error.110` unless `strict` is
+    - a C-style array of characters
-      `false`)
+    - a pointer to a null-terminated string of single byte characters
    - a pointer to a null-terminated string of single byte characters (read up to the first 0x00 byte, which is a valid
      CBOR byte)
    - a container `obj` for which `begin(obj)` and `end(obj)` produce a valid pair of iterators
      (as found via ADL or member functions, with semantics compatible to `std::begin` and `std::end`)
@@ -91,14 +89,8 @@ Strong guarantee: if an exception is thrown, there are no changes in the JSON va
 - Throws [parse_error.112](../../home/exceptions.md#jsonexceptionparse_error112) if unsupported features from CBOR were
  used in the given input or if the input is not valid CBOR
 - Throws [parse_error.113](../../home/exceptions.md#jsonexceptionparse_error113) if a map key is not a string (keys of
-  other types are not supported, as JSON object keys are always strings), if the head of a string or byte string is
+  other types are not supported, as JSON object keys are always strings), or if a string value or object key is not
-  malformed (including a chunk of the wrong type or an indefinite-length string nested inside an indefinite-length
+  valid UTF-8 and `error_handler` is `strict`
  string), or if a string value or object key (or one chunk of an indefinite-length string) is not valid UTF-8 and
  `error_handler` is `strict`
 - Throws [out_of_range.408](../../home/exceptions.md#jsonexceptionout_of_range408) if an array or map announces
  a length that `std::size_t` cannot hold, or that equals `std::size_t(-1)` (for example `9B FF FF FF FF FF FF FF FF`)
 - Throws [out_of_range.406](../../home/exceptions.md#jsonexceptionout_of_range406) if a floating-point number does not
  fit into `number_float_t`
 ## Complexity
@@ -122,16 +114,12 @@ Linear in the size of the input.
 ## See also
- [CBOR](../../features/binary_formats/cbor.md) - the format, its byte layout and how values are mapped
+- [to_cbor](to_cbor.md) create a CBOR serialization of a JSON value
- [Binary formats](../../features/binary_formats/index.md) - overview and comparison of the supported binary formats
+- [from_msgpack](from_msgpack.md) create a JSON value from an input in MessagePack format
- [Parsing untrusted input](../../features/parsing/untrusted_input.md) - limits and safe handling of hostile data
+- [from_bson](from_bson.md) create a JSON value from an input in BSON format
- [Binary values](../../features/binary_values.md) - how binary values and subtypes are handled
+- [from_ubjson](from_ubjson.md) create a JSON value from an input in UBJSON format
- [`to_cbor`](to_cbor.md) - create a CBOR serialization of a JSON value
+- [from_bjdata](from_bjdata.md) create a JSON value from an input in BJData format
- [`from_msgpack`](from_msgpack.md) - create a JSON value from an input in MessagePack format
+- [from_bon8](from_bon8.md) create a JSON value from an input in BON8 format
 - [`from_bson`](from_bson.md) - create a JSON value from an input in BSON format
 - [`from_ubjson`](from_ubjson.md) - create a JSON value from an input in UBJSON format
 - [`from_bjdata`](from_bjdata.md) - create a JSON value from an input in BJData format
 - [`from_bon8`](from_bon8.md) - create a JSON value from an input in BON8 format
 ## Version history
@@ -107,16 +107,12 @@ Linear in the size of the input.
 ## See also
- [MessagePack](../../features/binary_formats/messagepack.md) - the format, its byte layout and how values are mapped
+- [to_msgpack](to_msgpack.md) create a MessagePack serialization of a JSON value
- [Binary formats](../../features/binary_formats/index.md) - overview and comparison of the supported binary formats
+- [from_cbor](from_cbor.md) create a JSON value from an input in CBOR format
- [Parsing untrusted input](../../features/parsing/untrusted_input.md) - limits and safe handling of hostile data
+- [from_bson](from_bson.md) create a JSON value from an input in BSON format
- [Binary values](../../features/binary_values.md) - how binary values and subtypes are handled
+- [from_ubjson](from_ubjson.md) create a JSON value from an input in UBJSON format
- [`to_msgpack`](to_msgpack.md) - create a MessagePack serialization of a JSON value
+- [from_bjdata](from_bjdata.md) create a JSON value from an input in BJData format
- [`from_cbor`](from_cbor.md) - create a JSON value from an input in CBOR format
+- [from_bon8](from_bon8.md) create a JSON value from an input in BON8 format
 - [`from_bson`](from_bson.md) - create a JSON value from an input in BSON format
 - [`from_ubjson`](from_ubjson.md) - create a JSON value from an input in UBJSON format
 - [`from_bjdata`](from_bjdata.md) - create a JSON value from an input in BJData format
 - [`from_bon8`](from_bon8.md) - create a JSON value from an input in BON8 format
 ## Version history
@@ -79,18 +79,11 @@ Strong guarantee: if an exception is thrown, there are no changes in the JSON va
 - Throws [parse_error.110](../../home/exceptions.md#jsonexceptionparse_error110) if the given input ends prematurely or
  the end of the file was not reached when `strict` was set to true
- Throws [parse_error.112](../../home/exceptions.md#jsonexceptionparse_error112) if an invalid type marker is read
+- Throws [parse_error.112](../../home/exceptions.md#jsonexceptionparse_error112) if a parse error occurs
  (including a type marker after `$` of an optimized container, even if its count is 0), or if `$` is not followed by `#`
 - Throws [parse_error.113](../../home/exceptions.md#jsonexceptionparse_error113) if a string could not be parsed
-  successfully (negative or non-integer length, `C` followed by a byte above 0x7F), if the count of an optimized
+  successfully, or if a string value or object key is not valid UTF-8 and `error_handler` is `strict`
-  container is negative, or if a string value or object key is not valid UTF-8 and `error_handler` is `strict`
+- Throws [out_of_range.408](../../home/exceptions.md#jsonexceptionout_of_range408) if the size of an optimized container
- Throws [parse_error.115](../../home/exceptions.md#jsonexceptionparse_error115) if the text of a high-precision number
+  or n-dimensional array cannot be represented by `std::size_t`
  (`H`) is not a valid JSON number
 - Throws [out_of_range.406](../../home/exceptions.md#jsonexceptionout_of_range406) if a high-precision number, or a
  float64 when `number_float_t` is `float`, does not fit into `number_float_t`
 - Throws [out_of_range.408](../../home/exceptions.md#jsonexceptionout_of_range408) if the count of an optimized
  container exceeds the capacity of the container (or of `std::size_t`), or if an optimized array of `Z`, `T`, or `F` has
  more than 1,048,576 elements
 ## Complexity
@@ -114,16 +107,12 @@ Linear in the size of the input.
 ## See also
- [UBJSON](../../features/binary_formats/ubjson.md) - the format, its byte layout and how values are mapped
+- [to_ubjson](to_ubjson.md) create a UBJSON serialization of a JSON value
- [Binary formats](../../features/binary_formats/index.md) - overview and comparison of the supported binary formats
+- [from_cbor](from_cbor.md) create a JSON value from an input in CBOR format
- [Parsing untrusted input](../../features/parsing/untrusted_input.md) - limits and safe handling of hostile data
+- [from_msgpack](from_msgpack.md) create a JSON value from an input in MessagePack format
- [Binary values](../../features/binary_values.md) - how binary values and subtypes are handled
+- [from_bson](from_bson.md) create a JSON value from an input in BSON format
- [`to_ubjson`](to_ubjson.md) - create a UBJSON serialization of a JSON value
+- [from_bjdata](from_bjdata.md) create a JSON value from an input in BJData format
- [`from_cbor`](from_cbor.md) - create a JSON value from an input in CBOR format
+- [from_bon8](from_bon8.md) create a JSON value from an input in BON8 format
 - [`from_msgpack`](from_msgpack.md) - create a JSON value from an input in MessagePack format
 - [`from_bson`](from_bson.md) - create a JSON value from an input in BSON format
 - [`from_bjdata`](from_bjdata.md) - create a JSON value from an input in BJData format
 - [`from_bon8`](from_bon8.md) - create a JSON value from an input in BON8 format
 ## Version history
@@ -50,10 +50,9 @@ Constant.
 ## See also
- [`back`](back.md) - to access the last element
+- [back](back.md) to access the last element
- [`basic_json_view::front`](../basic_json_view/front.md) - the same access on a zero-copy view (document order, not
+- [basic_json_view::front](../basic_json_view/front.md) - the same access on a zero-copy view (document order, not
  sorted; duplicate keys are visited)
 - [Element Access](../../features/element_access/index.md) - overview of all ways to access elements
 ## Version history
@@ -178,14 +178,13 @@ overload (3).
 ## See also
- [`get_to`](get_to.md) - convert and write into a passed value
+- [get_to](get_to.md) convert and write into a passed value
- [`get_ptr`](get_ptr.md) - get a pointer to the stored value
+- [get_ptr](get_ptr.md) get a pointer to the stored value
- [`get_ref`](get_ref.md) - get a reference to the stored value
+- [get_ref](get_ref.md) get a reference to the stored value
- [`operator ValueType`](operator_ValueType.md) - get a value via implicit conversion
+- [operator ValueType](operator_ValueType.md) get a value via implicit conversion
 - [Converting values](../../features/conversions.md) - the type conversions article
- [`basic_json_view::get`](../basic_json_view/get.md) - the same conversion on a zero-copy view (many types are
+- [basic_json_view::get](../basic_json_view/get.md) - the same conversion on a zero-copy view (many types are
  converted without ever building a `basic_json` value)
 - [Arbitrary Type Conversions](../../features/arbitrary_types.md) - make your own types usable with `get`
 ## Version history
@@ -36,7 +36,7 @@ Constant.
 ## See also
- [`basic_json`](index.md#template-parameters) - the class template, with `AllocatorType` as one of its template parameters
+- [basic_json](index.md#template-parameters) the class template, with `AllocatorType` as one of its template parameters
 - [Template Parameter Requirements](../../features/types/template_parameters.md#allocatortype) - the requirements for `AllocatorType`
 ## Version history
@@ -42,11 +42,8 @@ Constant.
 ## See also
- [Binary values](../../features/binary_values.md) - how binary values and subtypes are handled
+- [get](get.md) get a value (explicit conversion)
- [`binary`](binary.md) - create a binary value
+- [get_ref](get_ref.md) get a reference to the stored value
 - [`is_binary`](is_binary.md) - check whether a value is binary
 - [`get`](get.md) - get a value (explicit conversion)
 - [`get_ref`](get_ref.md) - get a reference to the stored value
 ## Version history
@@ -86,8 +86,7 @@ Constant.
 ## See also
- [`get_ref()`](get_ref.md) - get a reference value
+- [get_ref()](get_ref.md) get a reference value
 - [Converting values](../../features/conversions.md) - getting values out, with or without copying
 ## Version history
@@ -60,10 +60,9 @@ Constant.
 ## See also
- [`get_ptr()`](get_ptr.md) - get a pointer value
+- [get_ptr()](get_ptr.md) get a pointer value
- [`basic_json_view::get_string`](../basic_json_view/get_string.md) - the closest counterpart on a zero-copy view: a
+- [basic_json_view::get_string](../basic_json_view/get_string.md) - the closest counterpart on a zero-copy view: a
  string without a copy, but as a view rather than a reference to a value that must already exist
 - [Converting values](../../features/conversions.md) - getting values out, with or without copying
 ## Version history
@@ -68,12 +68,11 @@ Depends on the `json_serializer<ValueType>::from_json()` implementation.
 ## See also
- [`get`](get.md) - get a value (explicit conversion)
+- [get](get.md) get a value (explicit conversion)
- [`get_ref`](get_ref.md) - get a reference to the stored value
+- [get_ref](get_ref.md) get a reference to the stored value
- [`get_ptr`](get_ptr.md) - get a pointer to the stored value
+- [get_ptr](get_ptr.md) get a pointer to the stored value
 - [Converting values](../../features/conversions.md) - the type conversions article
- [`basic_json_view::get_to`](../basic_json_view/get_to.md) - the same conversion on a zero-copy view
+- [basic_json_view::get_to](../basic_json_view/get_to.md) - the same conversion on a zero-copy view
 - [Arbitrary Type Conversions](../../features/arbitrary_types.md) - make your own types usable with `get_to`
 ## Version history
@@ -121,7 +121,6 @@ The class satisfies the following concept requirements:
 - [**json_pointer**](../json_pointer/index.md) - JSON Pointer implementation
 - [**json_serializer**](json_serializer.md) - type of the serializer to for conversions from/to JSON
 - [**error_handler_t**](error_handler_t.md) - type to choose behavior on decoding errors
 - [**bjdata_version_t**](bjdata_version_t.md) - type to choose the BJData version to write
 - [**cbor_tag_handler_t**](cbor_tag_handler_t.md) - type to choose how to handle CBOR tags
 - **initializer_list_t** - type for initializer lists of `basic_json` values
 - [**input_format_t**](input_format_t.md) - type to choose the format to parse
@@ -189,7 +188,7 @@ The class satisfies the following concept requirements:
 Functions to inspect the type of a JSON value.
 - [**type**](type.md) - return the type of the JSON value
- [`operator value_t`](operator_value_t.md) - return the type of the JSON value
+- [**operator value_t**](operator_value_t.md) - return the type of the JSON value
 - [**type_name**](type_name.md) - return the type as string
 - [**is_primitive**](is_primitive.md) - return whether the type is primitive
 - [**is_structured**](is_structured.md) - return whether the type is structured
@@ -218,7 +217,7 @@ Direct access to the stored value of a JSON value.
 - [**get_to**](get_to.md) - get a value and write it to a destination
 - [**get_ptr**](get_ptr.md) - get a pointer value
 - [**get_ref**](get_ref.md) - get a reference value
- [`operator ValueType`](operator_ValueType.md) - get a value
+- [**operator ValueType**](operator_ValueType.md) - get a value
 - [**get_binary**](get_binary.md) - get a binary value
 - [**as_base_class**](as_base_class.md) - access the custom base class
@@ -359,15 +358,10 @@ Access to the JSON value
 ## See also
- [RFC 8259: The JavaScript Object Notation (JSON) Data Interchange Format](https://tools.ietf.org/html/rfc8259) -
+- [RFC 8259: The JavaScript Object Notation (JSON) Data Interchange Format](https://tools.ietf.org/html/rfc8259)
-  specification of the JSON data interchange format
+- [basic_json_document](../basic_json_document/index.md) / [basic_json_view](../basic_json_view/index.md) - parse a JSON
 - [`basic_json_document`](../basic_json_document/index.md) - / [`basic_json_view`](../basic_json_view/index.md) - parse a JSON
  text into a flat index and read it through a view
 - [Zero-copy JSON views](../../features/json_view.md) - when to use a document and a view instead of a `basic_json`
 - [Types](../../features/types/index.md) - how JSON values are stored and which types exist
 - [Converting values](../../features/conversions.md) - get values out of a JSON value and put values in
 - [Creating JSON values](../../features/creating_values.md) - all the ways to build a JSON value
 - [Arbitrary Type Conversions](../../features/arbitrary_types.md) - convert your own types to and from JSON
 ## Version history
@@ -53,9 +53,8 @@ bon8
 ## See also
- [`sax_parse`](sax_parse.md) - generic SAX parse interface, taking an `input_format_t` to select the input format
+- [sax_parse](sax_parse.md) generic SAX parse interface, taking an `input_format_t` to select the input format
- [`cbor_tag_handler_t`](cbor_tag_handler_t.md) - configures how CBOR tags are treated while parsing
+- [cbor_tag_handler_t](cbor_tag_handler_t.md) configures how CBOR tags are treated while parsing
 - [Binary Formats](../../features/binary_formats/index.md) - CBOR, MessagePack, BSON, and other formats
 ## Version history
@@ -185,11 +185,10 @@ Strong exception safety: if an exception occurs, the original value stays intact
 ## See also
- [`emplace`](emplace.md) - add a value to an object
+- [emplace](emplace.md) add a value to an object
- [`emplace_back`](emplace_back.md) - add a value to an array
+- [emplace_back](emplace_back.md) add a value to an array
- [`push_back`](push_back.md) - add a value to an array/object
+- [push_back](push_back.md) add a value to an array/object
- [`update`](update.md) - merges objects
+- [update](update.md) merges objects
 - [Modifying values](../../features/modifying_values.md) - the article on modifying values
 ## Version history
@@ -40,9 +40,6 @@ classDiagram
    style json_invalid_iterator fill:#CCCCFF
 ```
 <p class="nj-caption" markdown>Class hierarchy of the library's exceptions; arrows point from a derived class to its
 base class, and the highlighted box is `basic_json::invalid_iterator`.</p>
 ## Member functions
 - **what** - returns explanatory string
@@ -69,14 +66,12 @@ base class, and the highlighted box is `basic_json::invalid_iterator`.</p>
 ## See also
- [`exception`](exception.md) - the base class of all exceptions thrown by the library
+- [`exception`](exception.md) for the base class of all exceptions thrown by the library
- [List of iterator errors](../../home/exceptions.md#iterator-errors) - overview of iterator errors (`invalid_iterator`)
+- [List of iterator errors](../../home/exceptions.md#iterator-errors)
- [`parse_error`](parse_error.md) - exceptions indicating a parse error
+- [`parse_error`](parse_error.md) for exceptions indicating a parse error
- [`type_error`](type_error.md) - exceptions indicating executing a member function with a wrong type
+- [`type_error`](type_error.md) for exceptions indicating executing a member function with a wrong type
- [`out_of_range`](out_of_range.md) - exceptions indicating access out of the defined range
+- [`out_of_range`](out_of_range.md) for exceptions indicating access out of the defined range
- [`other_error`](other_error.md) - exceptions indicating other library errors
+- [`other_error`](other_error.md) for exceptions indicating other library errors
 - [Exceptions](../../home/exceptions.md) - all exceptions and their error codes
 - [`JSON_DIAGNOSTICS`](../macros/json_diagnostics.md) - extended exception messages with the path of the failing value
 ## Version history
@@ -36,12 +36,11 @@ Constant.
 ## See also
- [`is_object`](is_object.md) - checks whether the JSON value is an object
+- [is_object](is_object.md) checks whether the JSON value is an object
- [`is_structured`](is_structured.md) - checks whether the JSON value is structured (array or object)
+- [is_structured](is_structured.md) checks whether the JSON value is structured (array or object)
- [`type`](type.md) - returns the type of the JSON value
+- [type](type.md) returns the type of the JSON value
- [`array_t`](array_t.md) - the type used to store JSON arrays
+- [array_t](array_t.md) the type used to store JSON arrays
- [`basic_json_view::is_array`](../basic_json_view/is_array.md) - the same check on a zero-copy view
+- [basic_json_view::is_array](../basic_json_view/is_array.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 ## Version history
@@ -36,11 +36,10 @@ Constant.
 ## See also
- [Binary values](../../features/binary_values.md) - how binary values and subtypes are handled
+- [is_primitive](is_primitive.md) checks whether the JSON value is primitive
- [`is_primitive`](is_primitive.md) - checks whether the JSON value is primitive
+- [binary_t](binary_t.md) the type used to store binary values
- [`binary_t`](binary_t.md) - the type used to store binary values
+- [get_binary](get_binary.md) returns a reference to the stored binary value
- [`get_binary`](get_binary.md) - returns a reference to the stored binary value
+- [basic_json_view::is_binary](../basic_json_view/is_binary.md) - the same check on a zero-copy view
 - [`basic_json_view::is_binary`](../basic_json_view/is_binary.md) - the same check on a zero-copy view
 ## Version history
@@ -36,10 +36,9 @@ Constant.
 ## See also
- [`boolean_t`](boolean_t.md) - the type used to store JSON booleans
+- [boolean_t](boolean_t.md) the type used to store JSON booleans
- [`is_primitive`](is_primitive.md) - checks whether the JSON value is primitive
+- [is_primitive](is_primitive.md) checks whether the JSON value is primitive
- [`basic_json_view::is_boolean`](../basic_json_view/is_boolean.md) - the same check on a zero-copy view
+- [basic_json_view::is_boolean](../basic_json_view/is_boolean.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 ## Version history
@@ -87,9 +87,8 @@ with `allow_exceptions` set to `#!cpp false`: a parse error then yields a discar
 ## See also
- [`basic_json_view::is_discarded`](../basic_json_view/is_discarded.md) - the corresponding check on a zero-copy view,
+- [basic_json_view::is_discarded](../basic_json_view/is_discarded.md) - the corresponding check on a zero-copy view,
  which is `#!cpp true` if the view refers to no value
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 ## Version history
@@ -36,12 +36,11 @@ Constant.
 ## See also
- [`is_array`](is_array.md) - checks whether the JSON value is an array
+- [is_array](is_array.md) checks whether the JSON value is an array
- [`is_object`](is_object.md) - checks whether the JSON value is an object
+- [is_object](is_object.md) checks whether the JSON value is an object
- [`type`](type.md) - returns the type of the JSON value
+- [type](type.md) returns the type of the JSON value
- [`value_t`](value_t.md) - the enumeration of JSON types
+- [value_t](value_t.md) the enumeration of JSON types
- [`basic_json_view::is_null`](../basic_json_view/is_null.md) - the same check on a zero-copy view
+- [basic_json_view::is_null](../basic_json_view/is_null.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 ## Version history
@@ -46,12 +46,10 @@ constexpr bool is_number() const noexcept
 ## See also
- [`is_number_integer()`](is_number_integer.md) - check if the value is an integer or unsigned integer number
+- [is_number_integer()](is_number_integer.md) check if the value is an integer or unsigned integer number
- [`is_number_unsigned()`](is_number_unsigned.md) - check if the value is an unsigned integer number
+- [is_number_unsigned()](is_number_unsigned.md) check if the value is an unsigned integer number
- [`is_number_float()`](is_number_float.md) - check if the value is a floating-point number
+- [is_number_float()](is_number_float.md) check if the value is a floating-point number
- [`basic_json_view::is_number`](../basic_json_view/is_number.md) - the same check on a zero-copy view
+- [basic_json_view::is_number](../basic_json_view/is_number.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 - [Number Handling](../../features/types/number_handling.md) - how numbers are stored and converted
 ## Version history
@@ -37,12 +37,10 @@ Constant.
 ## See also
- [`is_number()`](is_number.md) - check if the value is a number
+- [is_number()](is_number.md) check if the value is a number
- [`is_number_integer()`](is_number_integer.md) - check if the value is an integer or unsigned integer number
+- [is_number_integer()](is_number_integer.md) check if the value is an integer or unsigned integer number
- [`is_number_unsigned()`](is_number_unsigned.md) - check if the value is an unsigned integer number
+- [is_number_unsigned()](is_number_unsigned.md) check if the value is an unsigned integer number
- [`basic_json_view::is_number_float`](../basic_json_view/is_number_float.md) - the same check on a zero-copy view
+- [basic_json_view::is_number_float](../basic_json_view/is_number_float.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 - [Number Handling](../../features/types/number_handling.md) - how numbers are stored and converted
 ## Version history
@@ -37,12 +37,10 @@ Constant.
 ## See also
- [`is_number()`](is_number.md) - check if the value is a number
+- [is_number()](is_number.md) check if the value is a number
- [`is_number_unsigned()`](is_number_unsigned.md) - check if the value is an unsigned integer number
+- [is_number_unsigned()](is_number_unsigned.md) check if the value is an unsigned integer number
- [`is_number_float()`](is_number_float.md) - check if the value is a floating-point number
+- [is_number_float()](is_number_float.md) check if the value is a floating-point number
- [`basic_json_view::is_number_integer`](../basic_json_view/is_number_integer.md) - the same check on a zero-copy view
+- [basic_json_view::is_number_integer](../basic_json_view/is_number_integer.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 - [Number Handling](../../features/types/number_handling.md) - how numbers are stored and converted
 ## Version history
@@ -40,12 +40,10 @@ Constant.
 ## See also
- [`is_number()`](is_number.md) - check if the value is a number
+- [is_number()](is_number.md) check if the value is a number
- [`is_number_integer()`](is_number_integer.md) - check if the value is an integer or unsigned integer number
+- [is_number_integer()](is_number_integer.md) check if the value is an integer or unsigned integer number
- [`is_number_float()`](is_number_float.md) - check if the value is a floating-point number
+- [is_number_float()](is_number_float.md) check if the value is a floating-point number
- [`basic_json_view::is_number_unsigned`](../basic_json_view/is_number_unsigned.md) - the same check on a zero-copy view
+- [basic_json_view::is_number_unsigned](../basic_json_view/is_number_unsigned.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 - [Number Handling](../../features/types/number_handling.md) - how numbers are stored and converted
 ## Version history
@@ -36,12 +36,11 @@ Constant.
 ## See also
- [`is_array`](is_array.md) - checks whether the JSON value is an array
+- [is_array](is_array.md) checks whether the JSON value is an array
- [`is_structured`](is_structured.md) - checks whether the JSON value is structured (array or object)
+- [is_structured](is_structured.md) checks whether the JSON value is structured (array or object)
- [`type`](type.md) - returns the type of the JSON value
+- [type](type.md) returns the type of the JSON value
- [`object_t`](object_t.md) - the type used to store JSON objects
+- [object_t](object_t.md) the type used to store JSON objects
- [`basic_json_view::is_object`](../basic_json_view/is_object.md) - the same check on a zero-copy view
+- [basic_json_view::is_object](../basic_json_view/is_object.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 ## Version history
@@ -56,14 +56,13 @@ This library extends primitive types to binary types, because binary types are r
 ## See also
- [`is_structured()`](is_structured.md) - returns whether the JSON value is structured
+- [is_structured()](is_structured.md) returns whether the JSON value is structured
- [`is_null()`](is_null.md) - returns whether the JSON value is `null`
+- [is_null()](is_null.md) returns whether the JSON value is `null`
- [`is_string()`](is_string.md) - returns whether the JSON value is a string
+- [is_string()](is_string.md) returns whether the JSON value is a string
- [`is_boolean()`](is_boolean.md) - returns whether the JSON value is a boolean
+- [is_boolean()](is_boolean.md) returns whether the JSON value is a boolean
- [`is_number()`](is_number.md) - returns whether the JSON value is a number
+- [is_number()](is_number.md) returns whether the JSON value is a number
- [`is_binary()`](is_binary.md) - returns whether the JSON value is a binary array
+- [is_binary()](is_binary.md) returns whether the JSON value is a binary array
- [`basic_json_view::is_primitive`](../basic_json_view/is_primitive.md) - the same check on a zero-copy view
+- [basic_json_view::is_primitive](../basic_json_view/is_primitive.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 ## Version history
@@ -36,11 +36,10 @@ Constant.
 ## See also
- [`is_primitive`](is_primitive.md) - checks whether the JSON value is primitive
+- [is_primitive](is_primitive.md) checks whether the JSON value is primitive
- [`type`](type.md) - returns the type of the JSON value
+- [type](type.md) returns the type of the JSON value
- [`string_t`](string_t.md) - the type used to store JSON strings
+- [string_t](string_t.md) the type used to store JSON strings
- [`basic_json_view::is_string`](../basic_json_view/is_string.md) - the same check on a zero-copy view
+- [basic_json_view::is_string](../basic_json_view/is_string.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 ## Version history
@@ -54,11 +54,10 @@ Note that though strings are containers in C++, they are treated as primitive va
 ## See also
- [`is_primitive()`](is_primitive.md) - returns whether JSON value is primitive
+- [is_primitive()](is_primitive.md) returns whether JSON value is primitive
- [`is_array()`](is_array.md) - returns whether the value is an array
+- [is_array()](is_array.md) returns whether the value is an array
- [`is_object()`](is_object.md) - returns whether the value is an object
+- [is_object()](is_object.md) returns whether the value is an object
- [`basic_json_view::is_structured`](../basic_json_view/is_structured.md) - the same check on a zero-copy view
+- [basic_json_view::is_structured](../basic_json_view/is_structured.md) - the same check on a zero-copy view
 - [Types](../../features/types/index.md) - the JSON value types and how they are stored
 ## Version history
@@ -54,7 +54,7 @@ using element_type = decltype(*j_object.items().begin());
 ```
 The per-element type (`iteration_proxy_value`) lives in the library's internal `detail` namespace and is
-intentionally unspecified as a stable, named type — `decltype` is the supported way to obtain it, but its exact
+intentionally unspecified as a stable, named type -- `decltype` is the supported way to obtain it, but its exact
 name/definition may change between versions.
 ## Return value
@@ -97,11 +97,10 @@ When iterating over an array, `key()` will return the index of the element as st
 ## See also
- [`begin`](begin.md) - returns an iterator to the first element
+- [begin](begin.md) returns an iterator to the first element
- [`end`](end.md) - returns an iterator to one past the last element
+- [end](end.md) returns an iterator to one past the last element
- [`basic_json_view::items`](../basic_json_view/items.md) - the same range on a zero-copy view (`#!cpp const auto`,
+- [basic_json_view::items](../basic_json_view/items.md) - the same range on a zero-copy view (`#!cpp const auto`,
  not `#!cpp const auto&`: items are produced on the fly; document order, not sorted; duplicate keys are visited)
 - [Iterators](../../features/iterators.md#access-object-keys-during-iteration) - the article on iterating over keys and values
 ## Version history
@@ -57,7 +57,7 @@ same name. Hidden members remain accessible via [`as_base_class`](as_base_class.
 ## See also
- [`as_base_class`](as_base_class.md) - access the custom base class
+- [as_base_class](as_base_class.md) - access the custom base class
 - [Template Parameter Requirements](../../features/types/template_parameters.md#custombaseclass) - the requirements for `CustomBaseClass`
 ## Version history
@@ -44,11 +44,10 @@ deserializes. See [Template Parameter Requirements](../../features/types/templat
 ## See also
- [`adl_serializer`](../adl_serializer/index.md) - the default `json_serializer`
+- [adl_serializer](../adl_serializer/index.md) the default `json_serializer`
- [`get`](get.md) - explicit type conversion using the `json_serializer`'s `from_json()` method
+- [get](get.md) explicit type conversion using the `json_serializer`'s `from_json()` method
- [`get_to`](get_to.md) - explicit type conversion into a variable using the `json_serializer`'s `from_json()` method
+- [get_to](get_to.md) explicit type conversion into a variable using the `json_serializer`'s `from_json()` method
 - [Arbitrary Type Conversions](../../features/arbitrary_types.md) - the article on converting between JSON values and arbitrary types
 - [Template Parameter Requirements](../../features/types/template_parameters.md) - requirements on the `JSONSerializer` template parameter
 ## Version history
@@ -33,7 +33,7 @@ constant complexity.
 ## Notes
-This function does not return the maximal length of a string stored as JSON value — it returns the maximal number of
+This function does not return the maximal length of a string stored as JSON value -- it returns the maximal number of
 string elements the JSON value can store which is `1`.
 ## Examples
@@ -56,9 +56,9 @@ string elements the JSON value can store which is `1`.
 ## See also
- [`size`](size.md) - returns the number of elements
+- [size](size.md) returns the number of elements
- [`array_t`](array_t.md) - the type used to store JSON arrays
+- [array_t](array_t.md) the type used to store JSON arrays
- [`object_t`](object_t.md) - the type used to store JSON objects
+- [object_t](object_t.md) the type used to store JSON objects
 ## Version history
@@ -70,10 +70,9 @@ object operation (looking up a key, or adding one to the patch): logarithmic for
 ## See also
- [RFC 7396 (JSON Merge Patch)](https://tools.ietf.org/html/rfc7396) - specification of JSON Merge Patch
+- [RFC 7396 (JSON Merge Patch)](https://tools.ietf.org/html/rfc7396)
- [`merge_patch`](merge_patch.md) - applies a JSON Merge Patch
+- [merge_patch](merge_patch.md) applies a JSON Merge Patch
- [`diff`](diff.md) - creates a diff as a JSON Patch
+- [diff](diff.md) creates a diff as a JSON Patch
 - [JSON Merge Patch](../../features/merge_patch.md) - the article on JSON Merge Patch
 ## Version history
@@ -39,33 +39,13 @@ Basic guarantee: if an exception is thrown during the operation, the JSON value
 ## Complexity
-Linear in the total number of values (including nested ones) in `apply_patch`, times the cost of a key-based object
+Linear in the lengths of `apply_patch`.
 operation (looking up, adding, or erasing a member): logarithmic for [`json`](../json.md), and linear for
 [`ordered_json`](../ordered_json.md) (see [`ordered_map` complexity](../ordered_map.md#complexity)). For
 `ordered_json`, patching an object that has `n` members with a patch that has `m` members therefore takes O(n·m). The
 cost also includes one copy of `apply_patch` (see the notes below).
 ## Notes
- `apply_patch` may be `#!cpp *this` itself or refer to a value contained in `#!cpp *this` (for example, a subobject
+`apply_patch` may be `#!cpp *this` itself or refer to a value contained in `#!cpp *this` (for example, a subobject
-  returned by `#!cpp (*this)[key]`); it is read as it was when `merge_patch()` was called, before any modification of
+returned by `#!cpp (*this)[key]`); it is read as it was when `merge_patch()` was called, before any modification of
-  `#!cpp *this`. To make this possible, the function copies `apply_patch` before it modifies `#!cpp *this`, so the cost
+`#!cpp *this`.
  includes one copy of the patch.
 - A merge patch uses `#!json null` to remove a member, so it cannot set a member to `#!json null`: applying
  `#!json {"a":null}` to `#!json {"a":1}` gives `#!json {}`.
 - Arrays are not merged: an array in the patch replaces the target value as a whole, and a `#!json null` inside an
  array is kept as an element. `#!json null` members of the target that the patch does not mention are preserved.
 - A `#!json null` in the patch only removes a member; it does not prevent the creation of the enclosing objects.
  Applying `#!json {"a":{"b":null}}` to `#!json {}` gives `#!json {"a":{}}` (see example 15 in Appendix A of the RFC).
 - If `apply_patch` is not an object, it replaces the target as a whole. In particular, a `#!json null` patch turns the
  target into `#!json null`. If `apply_patch` is an object and the target is not, the target is first replaced by an
  empty object, so applying `#!json {}` to `#!json 1` gives `#!json {}`.
 - A merge patch cannot express every change; for example, it cannot reorder array elements or remove a specific array
  element. Use [JSON Patch](../../features/json_patch.md) ([RFC 6902](https://tools.ietf.org/html/rfc6902)) for that.
  [`merge_diff`](merge_diff.md) has a matching limitation, see its notes.
 - A [discarded](is_discarded.md) value is treated like any other non-object value: a discarded
  `apply_patch` turns the target into a discarded value, and an object patch replaces a discarded target by an object
  as described above.
 ## Examples
@@ -85,10 +65,9 @@ cost also includes one copy of `apply_patch` (see the notes below).
 ## See also
- [RFC 7396 (JSON Merge Patch)](https://tools.ietf.org/html/rfc7396) - specification of JSON Merge Patch
+- [RFC 7396 (JSON Merge Patch)](https://tools.ietf.org/html/rfc7396)
- [`patch`](patch.md) - apply a JSON patch
+- [patch](patch.md) apply a JSON patch
- [`merge_diff`](merge_diff.md) - creates a diff as a JSON Merge Patch
+- [merge_diff](merge_diff.md) creates a diff as a JSON Merge Patch
 - [JSON Merge Patch](../../features/merge_patch.md) - the article on JSON Merge Patch
 ## Version history
@@ -48,11 +48,8 @@ Constant.
 ## See also
- [`NLOHMANN_JSON_VERSION_MAJOR`](../macros/nlohmann_json_version_major.md) /
+- [**NLOHMANN_JSON_VERSION_MAJOR**/**NLOHMANN_JSON_VERSION_MINOR**/**NLOHMANN_JSON_VERSION_PATCH**](../macros/nlohmann_json_version_major.md)
-  [`NLOHMANN_JSON_VERSION_MINOR`](../macros/nlohmann_json_version_major.md) /
+  \- library version information
  [`NLOHMANN_JSON_VERSION_PATCH`](../macros/nlohmann_json_version_major.md) - library version information
 - [Integration](../../integration/index.md) - integrate the library
 - [Supported Macros](../../features/macros.md) - guide to all supported macros
 ## Version history
@@ -84,11 +84,10 @@ Floating-point number values are stored directly inside a `basic_json` type.
 ## See also
- [`number_integer_t`](number_integer_t.md) - the type used to store JSON integer numbers
+- [number_integer_t](number_integer_t.md) the type used to store JSON integer numbers
- [`number_unsigned_t`](number_unsigned_t.md) - the type used to store JSON unsigned integer numbers
+- [number_unsigned_t](number_unsigned_t.md) the type used to store JSON unsigned integer numbers
- [`is_number_float`](is_number_float.md) - checks whether the JSON value is a floating-point number
+- [is_number_float](is_number_float.md) checks whether the JSON value is a floating-point number
 - [Number Handling](../../features/types/number_handling.md) - the article on number handling
 - [Template Parameter Requirements](../../features/types/template_parameters.md) - requirements on the number template parameters
 ## Version history
@@ -80,11 +80,10 @@ Integer number values are stored directly inside a `basic_json` type.
 ## See also
- [`number_unsigned_t`](number_unsigned_t.md) - the type used to store JSON unsigned integer numbers
+- [number_unsigned_t](number_unsigned_t.md) the type used to store JSON unsigned integer numbers
- [`number_float_t`](number_float_t.md) - the type used to store JSON floating-point numbers
+- [number_float_t](number_float_t.md) the type used to store JSON floating-point numbers
- [`is_number_integer`](is_number_integer.md) - checks whether the JSON value is a signed integer number
+- [is_number_integer](is_number_integer.md) checks whether the JSON value is a signed integer number
 - [Number Handling](../../features/types/number_handling.md) - the article on number handling
 - [Template Parameter Requirements](../../features/types/template_parameters.md) - requirements on the number template parameters
 ## Version history
@@ -82,11 +82,10 @@ Integer number values are stored directly inside a `basic_json` type.
 ## See also
- [`number_integer_t`](number_integer_t.md) - the type used to store JSON integer numbers
+- [number_integer_t](number_integer_t.md) the type used to store JSON integer numbers
- [`number_float_t`](number_float_t.md) - the type used to store JSON floating-point numbers
+- [number_float_t](number_float_t.md) the type used to store JSON floating-point numbers
- [`is_number_unsigned`](is_number_unsigned.md) - checks whether the JSON value is an unsigned integer number
+- [is_number_unsigned](is_number_unsigned.md) checks whether the JSON value is an unsigned integer number
 - [Number Handling](../../features/types/number_handling.md) - the article on number handling
 - [Template Parameter Requirements](../../features/types/template_parameters.md) - requirements on the number template parameters
 ## Version history
@@ -27,10 +27,8 @@ and [`default_object_comparator_t`](default_object_comparator_t.md) otherwise.
 ## See also
- [`object_t`](object_t.md) - the type used to store JSON objects
+- [object_t](object_t.md) the type used to store JSON objects
- [`default_object_comparator_t`](default_object_comparator_t.md) - the fallback comparator used when `object_t` has no `key_compare` member type
+- [default_object_comparator_t](default_object_comparator_t.md) the fallback comparator used when `object_t` has no `key_compare` member type
 - [Template Parameter Requirements](../../features/types/template_parameters.md) - requirements on the `ObjectType` template parameter
 - [Object order](../../features/object_order.md) - preserve the insertion order of keys
 ## Version history
@@ -20,7 +20,7 @@ To store objects in C++, a type is defined by the template parameters described
 `ObjectType`
 :   the container to store objects. Its template parameters must have the same order and meaning as those of
    `std::map`; in particular, the third parameter is a comparator. `#!cpp std::unordered_map`, whose third parameter
-    is a hash function, therefore needs an adapter — see
+    is a hash function, therefore needs an adapter -- see
    [Template Parameter Requirements](../../features/types/template_parameters.md#objecttype) for the full list of
    requirements, an adapter example, and the containers that are known to work.
@@ -125,12 +125,10 @@ the object is silently converted as an array of key-value pairs, which is incorr
 ## See also
- [`array_t`](array_t.md) - the type used to store JSON arrays
+- [array_t](array_t.md) the type used to store JSON arrays
- [`string_t`](string_t.md) - the type used to store JSON strings
+- [string_t](string_t.md) the type used to store JSON strings
- [`object_comparator_t`](object_comparator_t.md) - the comparator used to order object keys
+- [object_comparator_t](object_comparator_t.md) the comparator used to order object keys
 - [Object Order](../../features/object_order.md) - the article on object key ordering
 - [Types](../../features/types/index.md) - how objects are stored
 - [Template Parameter Requirements](../../features/types/template_parameters.md) - requirements on the `ObjectType` template parameter
 ## Version history
@@ -123,9 +123,8 @@ interpreted as `object_t::value_type` or `std::initializer_list<basic_json>`, se
 ## See also
- [`emplace_back`](emplace_back.md) - add a value to an array
+- [emplace_back](emplace_back.md) add a value to an array
- [`push_back`](push_back.md) - add a value to an array/object
+- [push_back](push_back.md) add a value to an array/object
 - [Modifying values](../../features/modifying_values.md) - the article on modifying values
 ## Version history
@@ -45,9 +45,8 @@ Linear.
 ## See also
- [`basic_json`](basic_json.md) - create a JSON value
+- [basic_json](basic_json.md) create a JSON value
- [`swap`](swap.md) - exchanges the contents of two JSON values
+- [swap](swap.md) exchanges the contents of two JSON values
 - [Creating JSON values](../../features/creating_values.md) - ways to create and assign JSON values
 ## Version history
@@ -92,20 +92,12 @@ Strong exception safety: if an exception occurs, the original value stays intact
    For the **const** version, an object key or array index in `ptr` that does not exist is not reported by an
    exception, but is undefined behavior (see the notes below). Use [`at`](at.md) for checked access.
    If the **non-const** version throws, the value is left unchanged: values it created for earlier reference tokens
    of `ptr` are removed again. This also holds for exceptions such as `#!cpp std::bad_alloc` or
    `#!cpp std::length_error` thrown while padding an array up to a very large index. With custom
    [template parameters](../../features/types/template_parameters.md), this requires that `erase()` of the object and
    array types and the move operations of the custom base class do not throw.
 ## Complexity
 1. Constant if `idx` is in the range of the array. Otherwise, linear in `idx - size()`.
 2. Logarithmic in the size of the container.
 3. Logarithmic in the size of the container.
-4. Linear in the number of reference tokens of `ptr`; for each of them, logarithmic in the size of the object, or
+4. Logarithmic in the size of the container.
   constant for an array. When the non-const version pads an array with `#!json null` values, it is additionally
   linear in `idx - size()` for that array.
 ## Notes
@@ -145,21 +137,10 @@ Strong exception safety: if an exception occurs, the original value stays intact
        When the JSON pointer traverses intermediate levels that don't exist at all yet (not just a missing
        leaf), each missing level is created as an array or an object depending on whether the corresponding
-        pointer token is a valid array index: the token `0`, a sequence of digits that does not begin with `0`,
+        pointer token parses as a non-negative integer: a numeric token creates an array, a non-numeric token
-        or the token `-` creates an array, and every other token creates an object. For example, on an
+        creates an object. For example, on an initially `#!json null` value, `/foo/0/0/0` creates nested arrays,
-        initially `#!json null` value, `/foo/0/0/0` creates nested arrays, while `/foo/one/one/one` creates
+        while `/foo/one/one/one` creates nested objects. This is not specified by the JSON Pointer RFC; it is
-        nested objects. Tokens such as `01` or the empty token cannot be array indices (cf. RFC 6901, Sect. 4)
+        this library's own, intentional disambiguation rule. See also [JSON Pointer](../../features/json_pointer.md).
        and therefore create objects, just as they would if the level already existed as an object. This is not
        specified by the JSON Pointer RFC; it is this library's own, intentional disambiguation rule. See also
        [JSON Pointer](../../features/json_pointer.md).
    !!! warning "Large array indices"
        As the array is filled up with `#!json null` values to the given index, the memory used grows with the index
        and not with the size of the pointer: on a 64-bit platform, the index `10000000` allocates about 160 MB.
        The library does not limit the index, so check the array indices of a JSON pointer from untrusted input
        before using it with the non-const version. See
        [Parsing untrusted input](../../features/parsing/untrusted_input.md#json-pointers-and-flattened-keys).
 !!! warning "Deprecation"
@@ -290,15 +271,13 @@ Strong exception safety: if an exception occurs, the original value stays intact
 ## See also
- [Unchecked access](../../features/element_access/unchecked_access.md) - element access without range checking
+- documentation on [unchecked access](../../features/element_access/unchecked_access.md)
- [Runtime assertions](../../features/assertions.md) - assertions guarding against undefined behavior
+- documentation on [runtime assertions](../../features/assertions.md)
- [`at`](at.md) - access by reference with range checking
+- see [`at`](at.md) for access by reference with range checking
- [`value`](value.md) - access with default value
+- see [`value`](value.md) for access with default value
- [`basic_json_view::operator[]`](../basic_json_view/operator%5B%5D.md) - the same access on a zero-copy view (a duplicate
+- [basic_json_view::operator[]](../basic_json_view/operator%5B%5D.md) - the same access on a zero-copy view (a duplicate
  key resolves to the first member, whereas `parse()` keeps the last; a missing key gives a discarded view instead of
  undefined behavior)
 - [Element Access](../../features/element_access/index.md) - overview of all ways to access elements
 - [JSON Pointer](../../features/json_pointer.md) - access nested values with a pointer
 ## Version history
@@ -312,6 +291,4 @@ Strong exception safety: if an exception occurs, the original value stays intact
 4. Added in version 2.0.0. A missing array index in the const version is guarded by a runtime assertion since
   version 3.13.0. Throws [`parse_error.109`](../../home/exceptions.md#jsonexceptionparse_error109) instead of
 [`out_of_range.404`](../../home/exceptions.md#jsonexceptionout_of_range404) for a one-character array index that is not
-a digit (e.g., `/x`) in version 3.13.0, as it already did for longer ones. Fixed in version 3.13.0 to leave the value
+a digit (e.g., `/x`) in version 3.13.0, as it already did for longer ones.
 unchanged if the non-const version throws (strong exception safety, as documented); before, values created for earlier
 reference tokens of `ptr` were kept.
@@ -84,7 +84,7 @@ Linear in the size of the JSON value.
 ## See also
- [`get`](get.md) - get a value (explicit conversion)
+- [get](get.md) get a value (explicit conversion)
 - [Converting values](../../features/conversions.md) - the type conversions article
 ## Version history
@@ -168,9 +168,9 @@ Linear.
 ## See also
- [`operator!=`](operator_ne.md) - compare for inequality
+- [operator!=](operator_ne.md) compare for inequality
- [`operator<=>`](operator_spaceship.md) - comparison: 3-way (C++20)
+- [operator<=>](operator_spaceship.md) comparison: 3-way (C++20)
- [`basic_json_view::operator==`](../basic_json_view/operator_eq.md) - the same comparison on a zero-copy view, without
+- [basic_json_view::operator==](../basic_json_view/operator_eq.md) - the same comparison on a zero-copy view, without
  building a `basic_json` value for it
 ## Version history
@@ -93,7 +93,7 @@ Linear.
 ## See also
- [`operator<=>`](operator_spaceship.md) - comparison: 3-way
+- [**operator<=>**](operator_spaceship.md) comparison: 3-way
 ## Version history
@@ -83,7 +83,7 @@ Linear.
 ## See also
- [`operator<=>`](operator_spaceship.md) - comparison: 3-way
+- [**operator<=>**](operator_spaceship.md) comparison: 3-way
 ## Version history
@@ -94,7 +94,7 @@ Linear.
 ## See also
- [`operator<=>`](operator_spaceship.md) - comparison: 3-way
+- [**operator<=>**](operator_spaceship.md) comparison: 3-way
 ## Version history
@@ -94,7 +94,7 @@ Linear.
 ## See also
- [`operator<=>`](operator_spaceship.md) - comparison: 3-way
+- [**operator<=>**](operator_spaceship.md) comparison: 3-way
 ## Version history
@@ -93,9 +93,9 @@ Linear.
 ## See also
- [`operator==`](operator_eq.md) - comparison: equal
+- [operator==](operator_eq.md) comparison: equal
- [`operator<=>`](operator_spaceship.md) - comparison: 3-way (C++20)
+- [operator<=>](operator_spaceship.md) comparison: 3-way (C++20)
- [`basic_json_view::operator!=`](../basic_json_view/operator_ne.md) - the same comparison on a zero-copy view, without
+- [basic_json_view::operator!=](../basic_json_view/operator_ne.md) - the same comparison on a zero-copy view, without
  building a `basic_json` value for it
 ## Version history
@@ -88,12 +88,12 @@ Linear.
 ## See also
- [`operator==`](operator_eq.md) - comparison: equal
+- [**operator==**](operator_eq.md) - comparison: equal
- [`operator!=`](operator_ne.md) - comparison: not equal
+- [**operator!=**](operator_ne.md) - comparison: not equal
- [`operator<`](operator_lt.md) - comparison: less than
+- [**operator<**](operator_lt.md) - comparison: less than
- [`operator<=`](operator_le.md) - comparison: less than or equal
+- [**operator<=**](operator_le.md) - comparison: less than or equal
- [`operator>`](operator_gt.md) - comparison: greater than
+- [**operator>**](operator_gt.md) - comparison: greater than
- [`operator>=`](operator_ge.md) - comparison: greater than or equal
+- [**operator>=**](operator_ge.md) - comparison: greater than or equal
 ## Version history
Author	SHA1	Message	Date
Niels Lohmann	eed5792dbd	json_view: no per-object allocations in ordered_json comparisons For an object type that keeps the order of its members (ordered_json), resolve_indices() allocated a vector per compared object, and resolve_members() two. They now use one working vector owned by equal(), whose capacity is reused, and resolve_indices() needs none when the keys are unique. resolve_members() sorts small objects by insertion, as the other paths do. Instructions per comparison (callgrind, GCC 13 and clang 18, x86-64): twitter, ordered_json view == ordered_json: 0.939 / 0.941; 20000 small objects with a duplicate key: 0.741-0.768; all other rows (json, citm_catalog, canada, view == view) within 0.988-1.003. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-25 21:56:14 +01:00
Niels Lohmann	d4faace387	Merge develop into perf/view-compare Develop fixed the VS 2015 build of the DOM parser itself (#5916): its json_sax.hpp is kept, so this branch no longer changes the file. single_include is a fresh amalgamation. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-25 12:13:26 +01:00
Niels Lohmann	165f91ed3c	Build the DOM parser with Visual Studio 2015 again Since #5882, the three VS 2015 jobs of AppVeyor fail on develop: - the detection of keys that can be indexed instantiated std::hash for every string type, which VS 2015 rejects with a static_assert for a type it does not hash (alt_string): std::hash is now looked at only for objects in a vector - the frame stack copied its frames with std::copy to a raw pointer, which VS 2015 reports as unsafe (C4996, an error with /WX): a loop now Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-25 12:04:43 +01:00
Niels Lohmann	7833865dbd	Merge develop into perf/view-compare single_include is a fresh amalgamation. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-25 12:00:01 +01:00
Niels Lohmann	9707519b24	Move the json_view comparison tests into their own file With the tests this branch adds, the object file of unit-json_view_dump.cpp got too large for the MinGW x64 assembler ("file too big"). The test case "json_view comparison" is now unit-json_view_compare.cpp, unchanged and also built with C++17. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-24 20:03:58 +02:00
Niels Lohmann	2d040c89d0	Merge develop into perf/view-compare Develop silenced the same Infer false positive in materialize() (#5905): its version is kept. single_include is a fresh amalgamation. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-24 17:14:02 +02:00
Niels Lohmann	182b31f902	Mark Infer's null dereference in materialize() as a false positive Infer (ci_infer, also red on develop since #5882) reports a null dereference in json_sax_dom_parser::null() called from materialize(). The member pointer the parser stores a value of an object in is set by the key() before it, so it is not null there. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-24 15:40:31 +02:00
Niels Lohmann	6775994761	Merge develop into perf/view-compare Resolves the conflict in unit-json_view_image.cpp, where develop (#5889) and this branch each added a section to "json_view images: errors": both are kept. single_include is a fresh amalgamation. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-24 07:48:54 +02:00
Niels Lohmann	70d1baa57a	Remove a nested duplicate guard from the json_view image test clang-tidy reported the inner #if !defined(JSON_NOEXCEPTION) as redundant (the test case is in the same #if) and a find() != npos, which gets the NOLINT the other tests use. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-23 18:53:34 +02:00
Niels Lohmann	536672e927	Dispatch on the compile-time conditions of the json_view comparison MSVC (/W4 /WX) reported C4127 (conditional expression is constant) for the template parameter EA and the object type's ordering in an if condition; both are now tag-dispatched. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-23 09:44:39 +02:00
Niels Lohmann	55cdc93ff8	Keep the byte comparison helpers in compare.hpp Address review comments: bytes_equal() and bytes_less() move from node.hpp to compare.hpp, their only user; key_less() no longer splits the comment of resolve_indices() from its function; and the loop counters of bytes_equal() and all_digits() are scoped to their loops. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-23 06:47:22 +02:00
Niels Lohmann	db5bd7fbcc	Fix the compiler and lint failures of the json_view comparison - all_digits(): the lambda declares its constant itself; MSVC does not let a lambda without captures read a constexpr local of the function - equal(): the frame's "in document order" index is a namespace-scope constant (document_order); the local constexpr npos in the default member initializers of the local struct crashed GCC 9 and MinGW GCC and was not found by MSVC - keys_differ_early() keeps the first keys in std::arrays (cpplint: variable-length arrays; clang-tidy: C arrays), and the basic_json side's first_keys() is not noexcept (key() may throw) - the numbers of one type are compared in an if chain instead of a nested conditional operator - the dump test avoids C arrays and temporary string concatenations View comparison instructions are unchanged (Apple clang, twitter, citm, canada: -0.1 % to +0.1 %). Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-22 20:13:22 +02:00
Niels Lohmann	89bd5d63e1	Rename names that Flawfinder takes for the file function open() The comparison cursors' open() is now enter(), and a test's open and close strings are head and tail. Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-22 13:27:54 +02:00
Niels Lohmann	3fb7d9c710	Check the float tokens of a json_document image without a sort and a scan of every character load(image_check::full) checked every float token of an image by sorting the token ranges, scanning the token character by character, and comparing the digit layout with the node's. Now: - the ranges are sorted only if they are not sorted already (save() writes them in the order of the nodes, so they are); - a token of the shape [-]digits.digits whose digit counts are the ones the node records (nearly all of them) is accepted by checking its digits eight at a time, without the general scan; - the general scan skips runs of digits eight at a time. Damaged tokens are still rejected as before: the check accepts exactly the tokens that the general scan accepts. Instructions of load(image_check::full) (develop -> now): macOS arm64 canada 44.6M -> 30.9M (-31 %), jeopardy 11.3M -> 10.7M, citm 10.4M -> 10.0M, twitter 5.06M -> 4.94M Linux GCC 13 canada -50 %, jeopardy -43 %, twitter -31 %, citm -28 % Linux Clang 18 canada -42 %, jeopardy -48 %, twitter -35 %, citm -32 % image_check::bounds is unchanged (within 0.4 %). Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-22 09:30:44 +02:00
Niels Lohmann	fa8134ae85	Compare json_view values without a vector per container and a basic_json per number operator== of views (view/view, view/json, and editable documents) built two vectors of members for every object it entered, sorted them with stable_sort for every object, and converted each number to a basic_json value. It now: - keeps the members of all open objects in one vector (reserved with geometric growth, so that nested objects do not reallocate), and orders them by insertion sort for up to 16 members, or not at all when the keys ascend already; - compares numbers of one type directly, and builds a basic_json only for numbers of different types; - compares short texts (keys, numbers, most strings) with two overlapping loads (bytes_equal(), in node.hpp); - first walks both documents in lockstep, in the order of their text, which finds most pairs of equal values without the work of the comparison. The walk only enters an object if the comparison would visit its members in the same order (the object type keeps the order, the keys ascend, or all values are scalars), so a difference is never found later than before, and it records the containers it found different, so that the comparison does not walk them again; - rejects values of different types and arrays of different sizes before any of this, and, for an object type that keeps the order, objects whose first (up to four) members have different keys, which ends a comparison that differs near the start without preparing the members. Results are unchanged: numbers compare by value across types, duplicate keys resolve as parse() resolves them, and objects compare in document order for ordered_json and by key otherwise. Instructions of one comparison of a document with an equal copy, macOS arm64 (develop -> now), json_document / ordered_json_document / editable: twitter 16.1M -> 7.0M 17.7M -> 1.5M 16.6M -> 7.3M citm 45.0M -> 3.4M 47.0M -> 3.2M 45.7M -> 4.3M canada 111.4M -> 13.7M 111.4M -> 13.7M 113.3M -> 15.0M jeopardy 26.2M -> 3.7M 27.3M -> 3.7M 26.6M -> 12.1M and of a view with a basic_json value: twitter 11.4M -> 5.9M 11.2M -> 7.3M 11.6M -> 5.9M citm 33.9M -> 9.7M 32.6M -> 9.1M 34.6M -> 9.8M canada 92.9M -> 32.1M 92.9M -> 32.1M 93.9M -> 32.8M and Linux instruction counts (GCC 13 / Clang 18) of the same comparisons: document with an equal copy json_document ordered_json_document editable twitter -49 % / -52 % -89 % / -89 % -48 % / -50 % citm -90 % / -89 % -91 % / -90 % -88 % / -87 % jeopardy (4,000 questions) -85 % / -85 % -86 % / -86 % -46 % / -49 % view with a basic_json value twitter -41 % / -45 % -28 % / -35 % -45 % / -44 % citm -63 % / -65 % -63 % / -66 % -65 % / -64 % jeopardy -39 % / -43 % -14 % / -24 % -44 % / -43 % A sweep that places one difference at about 2,100 positions of eight documents (a token at an even spacing, the first and last tokens, the first, middle and last member of the root removed, one appended, the document wrapped) in five kinds of comparison (view/view of read-only and of editable documents, view/json, json_document, editable/view) finds the same results as before and no placement slower on the Mac (Clang); on Linux no placement is slower than 3 % (Clang and GCC). Signed-off-by: Niels Lohmann <mail@nlohmann.me>	2026-10-22 09:30:42 +02:00