{
  "library": "simdjson",
  "entries": [
    "fuzz_atpointer",
    "fuzz_dump",
    "fuzz_dump_raw_tape",
    "fuzz_element",
    "fuzz_implementations",
    "fuzz_minifyimpl",
    "fuzz_ondemand",
    "fuzz_parser",
    "fuzz_print_json",
    "fuzz_utf8"
  ],
  "scope": "all .v files under each lib/; no generated-file exclusions",
  "normalization": "only the current harness's two fully qualified namespace prefixes",
  "exact": {
    "files": 21380,
    "bytes": 403519295,
    "cross_entry_groups": 50,
    "files_in_cross_entry_groups": 268,
    "bytes_in_cross_entry_groups": 2682281,
    "bytes_in_cross_entry_groups_percent": 0.6647,
    "cross_entry_dedup_savings_bytes": 2201823,
    "cross_entry_dedup_savings_percent": 0.5457,
    "largest_shared_groups": [
      {
        "bytes_per_file": 39066,
        "entries": [
          "fuzz_atpointer",
          "fuzz_dump",
          "fuzz_dump_raw_tape",
          "fuzz_element",
          "fuzz_implementations",
          "fuzz_minifyimpl",
          "fuzz_ondemand",
          "fuzz_parser",
          "fuzz_print_json",
          "fuzz_utf8"
        ],
        "paths": [
          "proofs/simdjson/fuzz_atpointer/lib/Lib/Cfg.v",
          "proofs/simdjson/fuzz_dump/lib/Lib/Cfg.v",
          "proofs/simdjson/fuzz_dump_raw_tape/lib/Lib/Cfg.v",
          "proofs/simdjson/fuzz_element/lib/Lib/Cfg.v",
          "proofs/simdjson/fuzz_implementations/lib/Lib/Cfg.v",
          "proofs/simdjson/fuzz_minifyimpl/lib/Lib/Cfg.v",
          "proofs/simdjson/fuzz_ondemand/lib/Lib/Cfg.v",
          "proofs/simdjson/fuzz_parser/lib/Lib/Cfg.v",
          "proofs/simdjson/fuzz_print_json/lib/Lib/Cfg.v",
          "proofs/simdjson/fuzz_utf8/lib/Lib/Cfg.v"
        ]
      },
      {
        "bytes_per_file": 36028,
        "entries": [
          "fuzz_atpointer",
          "fuzz_dump",
          "fuzz_dump_raw_tape",
          "fuzz_element",
          "fuzz_implementations",
          "fuzz_ondemand",
          "fuzz_print_json"
        ],
        "paths": [
          "proofs/simdjson/fuzz_atpointer/lib/Lib/Zp4.v",
          "proofs/simdjson/fuzz_dump/lib/Lib/RelSpec.v",
          "proofs/simdjson/fuzz_dump_raw_tape/lib/Lib/RelSpec.v",
          "proofs/simdjson/fuzz_element/lib/Lib/RelSpec.v",
          "proofs/simdjson/fuzz_implementations/lib/Lib/RelSpec.v",
          "proofs/simdjson/fuzz_ondemand/lib/Lib/RelSpec.v",
          "proofs/simdjson/fuzz_print_json/lib/Lib/RelSpec.v"
        ]
      },
      {
        "bytes_per_file": 13161,
        "entries": [
          "fuzz_atpointer",
          "fuzz_dump",
          "fuzz_dump_raw_tape",
          "fuzz_element",
          "fuzz_implementations",
          "fuzz_ondemand",
          "fuzz_print_json"
        ],
        "paths": [
          "proofs/simdjson/fuzz_atpointer/lib/AS/Zfi.v",
          "proofs/simdjson/fuzz_atpointer/lib/Common/Zfi.v",
          "proofs/simdjson/fuzz_dump/lib/AS/PlacementSearch.v",
          "proofs/simdjson/fuzz_dump/lib/Common/PlacementSearch.v",
          "proofs/simdjson/fuzz_dump_raw_tape/lib/AS/PlacementSearch.v",
          "proofs/simdjson/fuzz_dump_raw_tape/lib/Common/PlacementSearch.v",
          "proofs/simdjson/fuzz_element/lib/AS/PlacementSearch.v",
          "proofs/simdjson/fuzz_element/lib/Common/PlacementSearch.v",
          "proofs/simdjson/fuzz_implementations/lib/AS/PlacementSearch.v",
          "proofs/simdjson/fuzz_implementations/lib/Common/PlacementSearch.v",
          "proofs/simdjson/fuzz_ondemand/lib/AS/PlacementSearch.v",
          "proofs/simdjson/fuzz_ondemand/lib/Common/PlacementSearch.v",
          "proofs/simdjson/fuzz_print_json/lib/AS/PlacementSearch.v",
          "proofs/simdjson/fuzz_print_json/lib/Common/PlacementSearch.v"
        ]
      },
      {
        "bytes_per_file": 45743,
        "entries": [
          "fuzz_dump",
          "fuzz_dump_raw_tape",
          "fuzz_element",
          "fuzz_implementations"
        ],
        "paths": [
          "proofs/simdjson/fuzz_dump/lib/Spec/SoftFloat.v",
          "proofs/simdjson/fuzz_dump_raw_tape/lib/Spec/SoftFloat.v",
          "proofs/simdjson/fuzz_element/lib/Spec/SoftFloat.v",
          "proofs/simdjson/fuzz_implementations/lib/Spec/SoftFloat.v"
        ]
      },
      {
        "bytes_per_file": 50391,
        "entries": [
          "fuzz_minifyimpl",
          "fuzz_parser",
          "fuzz_utf8"
        ],
        "paths": [
          "proofs/simdjson/fuzz_minifyimpl/lib/Common/SoftFloat.v",
          "proofs/simdjson/fuzz_parser/lib/Common/SoftFloat.v",
          "proofs/simdjson/fuzz_utf8/lib/Common/SoftFloat.v"
        ]
      }
    ]
  },
  "namespace_only": {
    "files": 21380,
    "bytes": 402440604,
    "cross_entry_groups": 1364,
    "files_in_cross_entry_groups": 4812,
    "bytes_in_cross_entry_groups": 83667370,
    "bytes_in_cross_entry_groups_percent": 20.79,
    "cross_entry_dedup_savings_bytes": 61416326,
    "cross_entry_dedup_savings_percent": 15.261,
    "largest_shared_groups": [
      {
        "bytes_per_file": 407443,
        "entries": [
          "fuzz_dump",
          "fuzz_dump_raw_tape",
          "fuzz_element",
          "fuzz_implementations",
          "fuzz_ondemand",
          "fuzz_print_json"
        ],
        "paths": [
          "proofs/simdjson/fuzz_dump/lib/AS/AxSymExec3Sound.v",
          "proofs/simdjson/fuzz_dump_raw_tape/lib/AS/AxSymExec3Sound.v",
          "proofs/simdjson/fuzz_element/lib/AS/AxSymExec3Sound.v",
          "proofs/simdjson/fuzz_implementations/lib/AS/AxSymExec3Sound.v",
          "proofs/simdjson/fuzz_ondemand/lib/AS/AxSymExec3Sound.v",
          "proofs/simdjson/fuzz_print_json/lib/AS/AxSymExec3Sound.v"
        ]
      },
      {
        "bytes_per_file": 335198,
        "entries": [
          "fuzz_dump",
          "fuzz_dump_raw_tape",
          "fuzz_element",
          "fuzz_implementations",
          "fuzz_ondemand",
          "fuzz_print_json"
        ],
        "paths": [
          "proofs/simdjson/fuzz_dump/lib/AS/AsanPlanSound.v",
          "proofs/simdjson/fuzz_dump_raw_tape/lib/AS/AsanPlanSound.v",
          "proofs/simdjson/fuzz_element/lib/AS/AsanPlanSound.v",
          "proofs/simdjson/fuzz_implementations/lib/AS/AsanPlanSound.v",
          "proofs/simdjson/fuzz_ondemand/lib/AS/AsanPlanSound.v",
          "proofs/simdjson/fuzz_print_json/lib/AS/AsanPlanSound.v"
        ]
      },
      {
        "bytes_per_file": 257022,
        "entries": [
          "fuzz_dump",
          "fuzz_dump_raw_tape",
          "fuzz_element",
          "fuzz_implementations",
          "fuzz_ondemand",
          "fuzz_print_json"
        ],
        "paths": [
          "proofs/simdjson/fuzz_dump/lib/AS/AsanNodesMmLib.v",
          "proofs/simdjson/fuzz_dump_raw_tape/lib/AS/AsanNodesMmLib.v",
          "proofs/simdjson/fuzz_element/lib/AS/AsanNodesMmLib.v",
          "proofs/simdjson/fuzz_implementations/lib/AS/AsanNodesMmLib.v",
          "proofs/simdjson/fuzz_ondemand/lib/AS/AsanNodesMmLib.v",
          "proofs/simdjson/fuzz_print_json/lib/AS/AsanNodesMmLib.v"
        ]
      },
      {
        "bytes_per_file": 416553,
        "entries": [
          "fuzz_minifyimpl",
          "fuzz_parser",
          "fuzz_utf8"
        ],
        "paths": [
          "proofs/simdjson/fuzz_minifyimpl/lib/AS/AxSymExec3Sound.v",
          "proofs/simdjson/fuzz_parser/lib/AS/AxSymExec3Sound.v",
          "proofs/simdjson/fuzz_utf8/lib/AS/AxSymExec3Sound.v"
        ]
      },
      {
        "bytes_per_file": 183585,
        "entries": [
          "fuzz_dump",
          "fuzz_dump_raw_tape",
          "fuzz_element",
          "fuzz_implementations",
          "fuzz_ondemand",
          "fuzz_print_json"
        ],
        "paths": [
          "proofs/simdjson/fuzz_dump/lib/AS/AxSymExec3B.v",
          "proofs/simdjson/fuzz_dump_raw_tape/lib/AS/AxSymExec3B.v",
          "proofs/simdjson/fuzz_element/lib/AS/AxSymExec3B.v",
          "proofs/simdjson/fuzz_implementations/lib/AS/AxSymExec3B.v",
          "proofs/simdjson/fuzz_ondemand/lib/AS/AxSymExec3B.v",
          "proofs/simdjson/fuzz_print_json/lib/AS/AxSymExec3B.v"
        ]
      }
    ]
  }
}