{
  "generated_at_utc": "2026-10-09T00:44:42.056606+00:00",
  "runtime": {
    "interpreter": "/tmp/openai-math-edit-20261009-587narho/bin/python3",
    "python": "3.12.14",
    "machine": "arm64",
    "platform": "macOS-27.2-arm64-arm-64bit",
    "rapidfuzz": "3.14.6"
  },
  "scope": "Existing exact library and selected integer guards; no source approximation execution or accepted source proof.",
  "binary_pairs": 961,
  "practical_sizes": [
    {
      "N": "0",
      "height_exponent": 0,
      "H": 1,
      "ell": 1,
      "ell_guard_passed": false,
      "epsilon_one_tenth_guard_passed": false,
      "physical_large_input": "false: necessary ell guard fails"
    },
    {
      "N": "2",
      "height_exponent": 1,
      "H": 2,
      "ell": 1,
      "ell_guard_passed": false,
      "epsilon_one_tenth_guard_passed": false,
      "physical_large_input": "false: necessary ell guard fails"
    },
    {
      "N": "1000",
      "height_exponent": 4,
      "H": 16,
      "ell": 4,
      "ell_guard_passed": false,
      "epsilon_one_tenth_guard_passed": false,
      "physical_large_input": "false: necessary ell guard fails"
    },
    {
      "N": "1000000",
      "height_exponent": 5,
      "H": 32,
      "ell": 8,
      "ell_guard_passed": false,
      "epsilon_one_tenth_guard_passed": false,
      "physical_large_input": "false: necessary ell guard fails"
    },
    {
      "N": "1000000000000",
      "height_exponent": 6,
      "H": 64,
      "ell": 8,
      "ell_guard_passed": false,
      "epsilon_one_tenth_guard_passed": false,
      "physical_large_input": "false: necessary ell guard fails"
    },
    {
      "N": "18446744073709551615",
      "height_exponent": 7,
      "H": 128,
      "ell": 8,
      "ell_guard_passed": false,
      "epsilon_one_tenth_guard_passed": false,
      "physical_large_input": "false: necessary ell guard fails"
    },
    {
      "N": "10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
      "height_exponent": 9,
      "H": 512,
      "ell": 16,
      "ell_guard_passed": false,
      "epsilon_one_tenth_guard_passed": false,
      "physical_large_input": "false: necessary ell guard fails"
    }
  ],
  "toy_boundaries": [
    {
      "toy_exponent": 1,
      "samples": [
        {
          "N": "2",
          "height_exponent": 1,
          "H": 2,
          "ell": 1,
          "guard_passed": false
        },
        {
          "N": "3",
          "height_exponent": 2,
          "H": 4,
          "ell": 2,
          "guard_passed": true
        },
        {
          "N": "4",
          "height_exponent": 2,
          "H": 4,
          "ell": 2,
          "guard_passed": true
        }
      ]
    },
    {
      "toy_exponent": 2,
      "samples": [
        {
          "N": "14",
          "height_exponent": 2,
          "H": 4,
          "ell": 2,
          "guard_passed": false
        },
        {
          "N": "15",
          "height_exponent": 3,
          "H": 8,
          "ell": 4,
          "guard_passed": true
        },
        {
          "N": "16",
          "height_exponent": 3,
          "H": 8,
          "ell": 4,
          "guard_passed": true
        }
      ]
    },
    {
      "toy_exponent": 3,
      "samples": [
        {
          "N": "65534",
          "height_exponent": 4,
          "H": 16,
          "ell": 4,
          "guard_passed": false
        },
        {
          "N": "65535",
          "height_exponent": 5,
          "H": 32,
          "ell": 8,
          "guard_passed": true
        },
        {
          "N": "65536",
          "height_exponent": 5,
          "H": 32,
          "ell": 8,
          "guard_passed": true
        }
      ]
    },
    {
      "toy_exponent": 4,
      "samples": [
        {
          "N": "115792089237316195423570985008687907853269984665640564039457584007913129639934",
          "height_exponent": 8,
          "H": 256,
          "ell": 8,
          "guard_passed": false
        },
        {
          "N": "115792089237316195423570985008687907853269984665640564039457584007913129639935",
          "height_exponent": 9,
          "H": 512,
          "ell": 16,
          "guard_passed": true
        },
        {
          "N": "115792089237316195423570985008687907853269984665640564039457584007913129639936",
          "height_exponent": 9,
          "H": 512,
          "ell": 16,
          "guard_passed": true
        }
      ]
    }
  ],
  "actual_first_ell_guard_length": "2^(2^(2^999))-1; necessary ell guard only, not full physical eligibility",
  "accuracy_cutoff": "2^(2^max(2^1000,ceil(10/epsilon))); sufficient for two numeric guards only",
  "source_files": [
    {
      "path": "preprints/An-Almost-Linear-Approximation-Scheme-for-Edit-Distance-September-24-2026/paper.pdf",
      "sha256": "7ecda63faaa7d6a3ff36852775a6a015a8d832ace341a534af86a375d1d89807"
    },
    {
      "path": "lean/docs/121.md",
      "sha256": "af8f60425f3bdd6c86070e615061686b0f781047e425ed691a46b3b0aa98e593"
    },
    {
      "path": "lean/ComparatorChallenges/EditApproximation.json",
      "sha256": "31389b08653110fe0f84e1920e7596a7886c9f2743fd971f40455aa5d90a1726"
    },
    {
      "path": "lean/ComparatorChallenges/EditApproximation.lean",
      "sha256": "1610096336cbaf94eebd8c6a9db75f209e42e441ca0eb14744b95b61d02aff2a"
    },
    {
      "path": "lean/OAI/Combinatorics/EditApproximation/Definitions.lean",
      "sha256": "5b5bd3eaba1b0c3b5215e5fbd50eee30e70fb0900b260f9edf20c6ea84a260bc"
    },
    {
      "path": "lean/OAI/Combinatorics/EditApproximation/Geometry/AccuracyCutoff.lean",
      "sha256": "c47ce96b6abaab6ed03ebbad095dfeb7c8d9ebe7a639b0e35b48eefb1e19eb38"
    },
    {
      "path": "lean/OAI/Combinatorics/EditApproximation/Specification/RawBandMain.lean",
      "sha256": "49c5fbec3a636864a990f500067e71d9a39de005b4d29b4a3e9fc1458c26784c"
    }
  ],
  "semantics": [
    {
      "case": "accent",
      "source": "é",
      "target": "e",
      "codepoint_distance": 1,
      "utf8_byte_distance": 2,
      "nfc_distance": 1,
      "cutoff_3_return": 1
    },
    {
      "case": "canonical-equivalence",
      "source": "é",
      "target": "é",
      "codepoint_distance": 2,
      "utf8_byte_distance": 3,
      "nfc_distance": 0,
      "cutoff_3_return": 2
    },
    {
      "case": "case",
      "source": "Depot",
      "target": "depot",
      "codepoint_distance": 1,
      "utf8_byte_distance": 1,
      "nfc_distance": 1,
      "cutoff_3_return": 1
    },
    {
      "case": "cutoff-sentinel",
      "source": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
      "target": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
      "codepoint_distance": 32,
      "utf8_byte_distance": 32,
      "nfc_distance": 32,
      "cutoff_3_return": 4
    }
  ],
  "long_generated_cases": [
    {
      "case": "equal",
      "length_each": 4096,
      "distance": 0,
      "cutoff_16_return": 0,
      "exact_ns_samples": [
        1791,
        1708,
        1542
      ],
      "exact_ns_median": 1708,
      "cutoff_ns": 1583,
      "input_files": [
        {
          "path": "4096-equal-source.txt",
          "bytes": 4096,
          "sha256": "2c888a3809c425e853a6ac08e1c1ffd9393fe3e49419e8f71ac23ab0362617a3"
        },
        {
          "path": "4096-equal-target.txt",
          "bytes": 4096,
          "sha256": "2c888a3809c425e853a6ac08e1c1ffd9393fe3e49419e8f71ac23ab0362617a3"
        }
      ]
    },
    {
      "case": "sparse_substitutions",
      "length_each": 4096,
      "distance": 4,
      "cutoff_16_return": 4,
      "exact_ns_samples": [
        230833,
        228250,
        253625
      ],
      "exact_ns_median": 230833,
      "cutoff_ns": 7792,
      "input_files": [
        {
          "path": "4096-sparse_substitutions-source.txt",
          "bytes": 4096,
          "sha256": "2c888a3809c425e853a6ac08e1c1ffd9393fe3e49419e8f71ac23ab0362617a3"
        },
        {
          "path": "4096-sparse_substitutions-target.txt",
          "bytes": 4096,
          "sha256": "ffbda068eb7d381bc0219c684568a539fb7ed8400f96ce89b69041a809bb13f2"
        }
      ]
    },
    {
      "case": "shifted_periodic",
      "length_each": 4096,
      "distance": 2,
      "cutoff_16_return": 2,
      "exact_ns_samples": [
        448125,
        405666,
        395750
      ],
      "exact_ns_median": 405666,
      "cutoff_ns": 8334,
      "input_files": [
        {
          "path": "4096-shifted_periodic-source.txt",
          "bytes": 4096,
          "sha256": "2c888a3809c425e853a6ac08e1c1ffd9393fe3e49419e8f71ac23ab0362617a3"
        },
        {
          "path": "4096-shifted_periodic-target.txt",
          "bytes": 4096,
          "sha256": "9d1a04965af29c7767dbe6c40a179e0a3610bd1c50f462f4779852b3a00a72dc"
        }
      ]
    },
    {
      "case": "all_substitutions",
      "length_each": 4096,
      "distance": 4096,
      "cutoff_16_return": 17,
      "exact_ns_samples": [
        322792,
        338417,
        363750
      ],
      "exact_ns_median": 338417,
      "cutoff_ns": 250,
      "input_files": [
        {
          "path": "4096-all_substitutions-source.txt",
          "bytes": 4096,
          "sha256": "2c888a3809c425e853a6ac08e1c1ffd9393fe3e49419e8f71ac23ab0362617a3"
        },
        {
          "path": "4096-all_substitutions-target.txt",
          "bytes": 4096,
          "sha256": "3abc94a93a42d0eee5c8dda0315f9f1343e2ba36b552ab512c435fd4989c1ac6"
        }
      ]
    },
    {
      "case": "equal",
      "length_each": 16384,
      "distance": 0,
      "cutoff_16_return": 0,
      "exact_ns_samples": [
        6542,
        6375,
        6291
      ],
      "exact_ns_median": 6375,
      "cutoff_ns": 6416,
      "input_files": [
        {
          "path": "16384-equal-source.txt",
          "bytes": 16384,
          "sha256": "7a91e340bf8a93306d9f4523f8e24c3498336cba34dc1d71ffb7092278bf55bb"
        },
        {
          "path": "16384-equal-target.txt",
          "bytes": 16384,
          "sha256": "7a91e340bf8a93306d9f4523f8e24c3498336cba34dc1d71ffb7092278bf55bb"
        }
      ]
    },
    {
      "case": "sparse_substitutions",
      "length_each": 16384,
      "distance": 16,
      "cutoff_16_return": 16,
      "exact_ns_samples": [
        5640459,
        5610375,
        5708250
      ],
      "exact_ns_median": 5640459,
      "cutoff_ns": 31250,
      "input_files": [
        {
          "path": "16384-sparse_substitutions-source.txt",
          "bytes": 16384,
          "sha256": "7a91e340bf8a93306d9f4523f8e24c3498336cba34dc1d71ffb7092278bf55bb"
        },
        {
          "path": "16384-sparse_substitutions-target.txt",
          "bytes": 16384,
          "sha256": "5c42d14023351bf70aa3d7292e35bed84b6bf0d9ac700f1c8905ebe74d0b1579"
        }
      ]
    },
    {
      "case": "shifted_periodic",
      "length_each": 16384,
      "distance": 2,
      "cutoff_16_return": 2,
      "exact_ns_samples": [
        6308292,
        6277750,
        6409125
      ],
      "exact_ns_median": 6308292,
      "cutoff_ns": 36000,
      "input_files": [
        {
          "path": "16384-shifted_periodic-source.txt",
          "bytes": 16384,
          "sha256": "7a91e340bf8a93306d9f4523f8e24c3498336cba34dc1d71ffb7092278bf55bb"
        },
        {
          "path": "16384-shifted_periodic-target.txt",
          "bytes": 16384,
          "sha256": "3541d11070825ccf8986ab67c241667104a871c0fb0c9073ed7c1b970961ed01"
        }
      ]
    },
    {
      "case": "all_substitutions",
      "length_each": 16384,
      "distance": 16384,
      "cutoff_16_return": 17,
      "exact_ns_samples": [
        5231375,
        4967416,
        4943625
      ],
      "exact_ns_median": 4967416,
      "cutoff_ns": 500,
      "input_files": [
        {
          "path": "16384-all_substitutions-source.txt",
          "bytes": 16384,
          "sha256": "7a91e340bf8a93306d9f4523f8e24c3498336cba34dc1d71ffb7092278bf55bb"
        },
        {
          "path": "16384-all_substitutions-target.txt",
          "bytes": 16384,
          "sha256": "3600eaa96fcc7d808879d72679bf062c25c49b6357bc354c44f6829bd84c5971"
        }
      ]
    },
    {
      "case": "equal",
      "length_each": 65536,
      "distance": 0,
      "cutoff_16_return": 0,
      "exact_ns_samples": [
        25708,
        22167,
        22167
      ],
      "exact_ns_median": 22167,
      "cutoff_ns": 22166,
      "input_files": [
        {
          "path": "65536-equal-source.txt",
          "bytes": 65536,
          "sha256": "1da3b374dc4db62b559ab86367f82278561f47e80f5f6001718b2da9e5843a32"
        },
        {
          "path": "65536-equal-target.txt",
          "bytes": 65536,
          "sha256": "1da3b374dc4db62b559ab86367f82278561f47e80f5f6001718b2da9e5843a32"
        }
      ]
    },
    {
      "case": "sparse_substitutions",
      "length_each": 65536,
      "distance": 64,
      "cutoff_16_return": 17,
      "exact_ns_samples": [
        97102208,
        97687792,
        97854375
      ],
      "exact_ns_median": 97687792,
      "cutoff_ns": 34292,
      "input_files": [
        {
          "path": "65536-sparse_substitutions-source.txt",
          "bytes": 65536,
          "sha256": "1da3b374dc4db62b559ab86367f82278561f47e80f5f6001718b2da9e5843a32"
        },
        {
          "path": "65536-sparse_substitutions-target.txt",
          "bytes": 65536,
          "sha256": "5ec69824a2dedd1cd9a3604f73dbf75ca01a927d4e808cb8c3c2bde3dffdbb16"
        }
      ]
    },
    {
      "case": "shifted_periodic",
      "length_each": 65536,
      "distance": 2,
      "cutoff_16_return": 2,
      "exact_ns_samples": [
        101905166,
        101358500,
        101013834
      ],
      "exact_ns_median": 101358500,
      "cutoff_ns": 130500,
      "input_files": [
        {
          "path": "65536-shifted_periodic-source.txt",
          "bytes": 65536,
          "sha256": "1da3b374dc4db62b559ab86367f82278561f47e80f5f6001718b2da9e5843a32"
        },
        {
          "path": "65536-shifted_periodic-target.txt",
          "bytes": 65536,
          "sha256": "02899f32f76e0239b6bca8b8e532ce64dab8db774b9a6410960faf492fc54d2b"
        }
      ]
    },
    {
      "case": "all_substitutions",
      "length_each": 65536,
      "distance": 65536,
      "cutoff_16_return": 17,
      "exact_ns_samples": [
        81952125,
        81294833,
        81262417
      ],
      "exact_ns_median": 81294833,
      "cutoff_ns": 1333,
      "input_files": [
        {
          "path": "65536-all_substitutions-source.txt",
          "bytes": 65536,
          "sha256": "1da3b374dc4db62b559ab86367f82278561f47e80f5f6001718b2da9e5843a32"
        },
        {
          "path": "65536-all_substitutions-target.txt",
          "bytes": 65536,
          "sha256": "7205570dd1f05ca99c101e52f0aa4c9f5a13cbe60976ac384e73b20b4b75d423"
        }
      ]
    }
  ],
  "benchmark_limit": "Three sequential same-process samples on generated strings. No warmup protocol, isolation, source-backend comparison or representative customer workload."
}