{
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "generated_at_utc": "2026-10-08T21:36:28.639683+00:00",
  "cases": 10,
  "authored_scope_gap_cases": 8,
  "synthetic_documentary_controls": 2,
  "files": [
    {
      "path": "01/input.json",
      "sha256": "6a40c367f537d841193ea8c2eb12b04be2ff8683e08fa84b3b5f842b182bf1b0"
    },
    {
      "path": "01/documentary-audit.json",
      "sha256": "989507e64e668fa1b9c893df4e00f432024e4cf1faedfdc56a02a17aaf49c6bf"
    },
    {
      "path": "01/source-card.md",
      "sha256": "d855f8c3aafcc220a8a224f6d73fe7a56a1ed90de740adb57b7e4555c950bcff"
    },
    {
      "path": "01/with-report.md",
      "sha256": "139dcb032665d0c73d703c94bb383a80071cf91d8c63ad2f1c8019c63a7e5a0d"
    },
    {
      "path": "02/input.json",
      "sha256": "94fe107e13cb78b52e8dba30b93d3fb0d36cb11b081ac9a78db5c078ff1a3753"
    },
    {
      "path": "02/documentary-audit.json",
      "sha256": "79683245c2afd7a3dfaba7a44bb917c88f4e2773320a29a84134dfbcec673613"
    },
    {
      "path": "02/source-card.md",
      "sha256": "e52719e02f201c6b676575e7a28dbd8d3f08f3ccfbe75c5f6a87aad8034c5cff"
    },
    {
      "path": "02/with-report.md",
      "sha256": "1ac22a995940974ac0dc22c02f3c21e03340378d9f4746db06f5f54b70ec6561"
    },
    {
      "path": "03/input.json",
      "sha256": "2da6b05cb1473ed0b6536093fa24364e323ea6bc2821cb623f08f8c9d3b0531d"
    },
    {
      "path": "03/documentary-audit.json",
      "sha256": "4e1e77d46bc71b958f5e100c4423450cc8a9bff5ad32608d10f57193bf46c91f"
    },
    {
      "path": "03/source-card.md",
      "sha256": "84319298d319697892c698b18272dd747f1a2eaf52716235fce8e9ae1128dcfc"
    },
    {
      "path": "03/with-report.md",
      "sha256": "2d75ec8f6bc6be91d42d0095f8fa63d66a690f2c4550d62980900bd0632ffaf3"
    },
    {
      "path": "04/input.json",
      "sha256": "14c6408a3710953f524ab2565feedc72ec682cc1524a5b1e44c10196d27f8053"
    },
    {
      "path": "04/documentary-audit.json",
      "sha256": "fbd827337723124d2e05569034059ae61684bb0df604e869eb42b1089ca6290e"
    },
    {
      "path": "04/source-card.md",
      "sha256": "4eb2b9efe76380d2cb2714f71544a3a19466f227619445d67b68b48ddba87998"
    },
    {
      "path": "04/with-report.md",
      "sha256": "0f3ed344b577d0126714518c520407903891e703785b72031dd0682c98d2fbe7"
    },
    {
      "path": "05/input.json",
      "sha256": "470abe217ba6a4525398d1034a7f74b02ed675b087ba94b85e5777dd764449d3"
    },
    {
      "path": "05/documentary-audit.json",
      "sha256": "986ac3e817a9d84944d8d8c79afeee8cb355553cc6b8ca4a1a4c2de542401e74"
    },
    {
      "path": "05/source-card.md",
      "sha256": "7fe21dce798e3d2072472ff73771db00cc2671ba65e1d28345802314864b84bb"
    },
    {
      "path": "05/with-report.md",
      "sha256": "99794e31b1dd1a7b8cc6e1ab10a6d7b5fa8b09f231c26d513e6883dcc8529228"
    },
    {
      "path": "06/input.json",
      "sha256": "b7acce94643b3c9ffc39dbb6c7eb1034e87fcb5f928b233f153bd04d575ceeeb"
    },
    {
      "path": "06/documentary-audit.json",
      "sha256": "9d9b3ffeb418fc2c59ccbb6689e299e10905f5d144d3e5f8714b54fe40d91616"
    },
    {
      "path": "06/source-card.md",
      "sha256": "96384b2ca4f8ff44c3437485596850b419881811236b1af9d2706c4ce3658a8b"
    },
    {
      "path": "06/with-report.md",
      "sha256": "941aa9d2a923b2a1f42c01bf40328ff78ab6f80f5b63ebc44ba180cc34655ce3"
    },
    {
      "path": "07/input.json",
      "sha256": "16dd36ce5418085f11252bca924d4c7fde3355ff15ffe26b987d2e4974f7e42b"
    },
    {
      "path": "07/documentary-audit.json",
      "sha256": "0bae27b8cdde593db84b9d7637eae2dc98fb836ccc2b4994b9fb863dc68dd64e"
    },
    {
      "path": "07/source-card.md",
      "sha256": "f9b0bd0be5b81dc74d5fe106046d93c2f1174fff1207575f55601f9d2461efd7"
    },
    {
      "path": "07/with-report.md",
      "sha256": "eb17a7fcbf6bf8504caa01367cf472b7f6bb22eeab814fc98f4f0416572e304a"
    },
    {
      "path": "08/input.json",
      "sha256": "7f10bd92e75226621a6268cf03430341c738e7954bb60ad48f6055ab4ac2ee40"
    },
    {
      "path": "08/documentary-audit.json",
      "sha256": "59634b2ea2d970761a836fa53a2d9a8e4bc60494180248425d3ba42d95b6ad13"
    },
    {
      "path": "08/source-card.md",
      "sha256": "5dbe4a539cb3e1ffbde25cd2b646fb90255dae978ea1310b829fede6e05159af"
    },
    {
      "path": "08/with-report.md",
      "sha256": "b07997e58cc6720b8db23bb9004235c0571a6f9229990cdccdc1689cc713a001"
    },
    {
      "path": "09/input.json",
      "sha256": "d185d8b8d6b166d390eb3e5ee6e1f528bbf1eea48bd1289dfed440826f954bd5"
    },
    {
      "path": "09/documentary-audit.json",
      "sha256": "249a4f4da4652d6507041e956a81b28f9976e47452ea41880a1a83b71b1c1e0a"
    },
    {
      "path": "09/source-card.md",
      "sha256": "e87591dd4e86deb12a0f9057659ff4543b7e177db3db8d9cf0aa83fa587079a6"
    },
    {
      "path": "09/with-report.md",
      "sha256": "e5f0f72b44d15ac84af061649b244b7e58825e6c4692895cb4f5d641a273d82e"
    },
    {
      "path": "10/input.json",
      "sha256": "9295d4aedff7f5930add4710db96e6a3016c196c86beff926ddd5bcb7017d9d5"
    },
    {
      "path": "10/documentary-audit.json",
      "sha256": "a0c89b02276b150bfa3e3d6f8020570b027ec6194f1ad4a80f3455fffa89f9da"
    },
    {
      "path": "10/source-card.md",
      "sha256": "27c025ec023fc920f5d997572498768d4ab9866109b02f68b1fcab86f81bf50e"
    },
    {
      "path": "10/with-report.md",
      "sha256": "cb3d560819642b22b6a86cf6668f1c96874d6f45909fcd740202e135b5edf985"
    },
    {
      "path": "answer-key-self-authored.json",
      "sha256": "021f6a09e2376e8881bcad3b848359a90609b20d9e4bafbe12b56e047bf26cda"
    },
    {
      "path": "review-results-template.json",
      "sha256": "64618c45abc27418083e3f30a14a4d1c1d5690d67c4867887e013b958356f7cb"
    },
    {
      "path": "case-index.json",
      "sha256": "22353bda7c69275fb7d22fdea6dfc4d3e9bfe76a67a8a952ccb4a8c645ced45d"
    },
    {
      "path": "tool-archive/prepare_ten_claim_pilot_2026_10_09.py",
      "sha256": "f1b1bde522e3e64c38d5def2f1eaba33d3e662899e18ebc1e41b78c6a9f2c18b",
      "original_path": "/Users/bradleymutemi/Documents/ultimate/research/tools/prepare_ten_claim_pilot_2026_10_09.py"
    },
    {
      "path": "tool-archive/audit_claim_contract.py",
      "sha256": "29dfcb0318d170178f60a6c40a2f3931a5cb629156204b688924717bafef9f77",
      "original_path": "/Users/bradleymutemi/Documents/ultimate/research/tools/audit_claim_contract.py"
    },
    {
      "path": "tool-archive/curated-contracts-2026-10-09-v4.json",
      "sha256": "3972389a4a184c8499e0b63d6876b65c9b1be28db3df2f1e076e6f0c6356c52f",
      "original_path": "/Users/bradleymutemi/Documents/ultimate/research/prototypes/curated-contracts-2026-10-09-v4.json"
    }
  ],
  "source_locations": {
    "103-logspace-language-equality": [
      {
        "path": "lean/docs/103.md",
        "sha256": "21e0be3e46468655991435570d83521e12ab9c83ad76fa6f484c88edcbc0e139"
      },
      {
        "path": "lean/OAI/Computability/Logspace/Deterministic.lean",
        "sha256": "f51289517dc00b6f843e6f408f393c1bcac7d25e78eb162c0c629618875d252b"
      },
      {
        "path": "lean/OAI/Computability/Logspace/Equality.lean",
        "sha256": "4e04bb9a264ff32042267832d47423079a0d72b9880994b5e84957d672d5fbe9"
      },
      {
        "path": "preprints/Exact-Derandomization-of-Logarithmic-Space-L-equals-RL-equals-BPL-September-23-2026/build/sections/compiler.tex",
        "sha256": "c9edf110e23b522052f88b76e0f4dd586a153f566d32f0d4d2b704ab74537d95"
      }
    ],
    "110-uniform-kserver": [
      {
        "path": "lean/docs/110.md",
        "sha256": "398ad379c334661bdba0c43c96f500483c18f73efb94123e79a79cd7b76c8afc"
      },
      {
        "path": "lean/ComparatorChallenges/UniformKServer.lean",
        "sha256": "5defbe05414f2769784983a55aeb30ccc94c692e700f0772579febbf7a7b78cb"
      },
      {
        "path": "preprints/Uniform-computation-of-the-squared-logarithmic-k-server-bound-September-24-2026/build/source/sections/04-uniform-computation.tex",
        "sha256": "1910910ef41491c73d562e368976ca3e44ef6c21b8b6746b6f55f19f292b69b3"
      }
    ],
    "374-brenier-stability": [
      {
        "path": "lean/docs/374.md",
        "sha256": "db319fc02b2a12ef2e60b7322c24b50f1ff41c16366da563da9dc9b3f11d0fa5"
      },
      {
        "path": "lean/OAI/Analysis/Brenier/Basic.lean",
        "sha256": "1a6ccd5ee35afe99ffd5f20aceced072d2852038ed8ae82d99b215d94634b837"
      },
      {
        "path": "lean/OAI/Analysis/Brenier/Stability.lean",
        "sha256": "30be40a80f4518c674b76afd9ad73c93c2bdfdb4d08cd09b302d3ea0eddfc97a"
      },
      {
        "path": "preprints/Sharp-One-Third-Stability-of-Brenier-Maps-September-25-2026/build/source/sections/gradient.tex",
        "sha256": "9ea85375b635fd322e71cb7c87cfc015cff8189b2b64fef3a5dbb7a12abba377"
      }
    ],
    "131-lazy-switch-chain": [
      {
        "path": "lean/docs/131.md",
        "sha256": "95890a0433c375da400f600f581f1eb352416bc25f720c3483767022ce3fba4c"
      },
      {
        "path": "preprints/Polynomial-Mixing-of-the-Switch-Chain-for-Every-Graphical-Degree-Sequence-September-25-2026/main.pdf",
        "sha256": "e70eab92c1315e6706eea3613e9826871e009d1ef8de31f82d5750d026240af3"
      }
    ],
    "365-joint-same-patch": [
      {
        "path": "lean/docs/365.md",
        "sha256": "6f0cf7314968e12c2ad323d6f4a91fb5ae7a1f545a6c78043527d130f546c4e2"
      },
      {
        "path": "preprints/Determination-of-a-metric-and-a-unitary-connection-from-one-boundary-patch-October-5-2026/paper.pdf",
        "sha256": "8e1bdd3a9067234842406dba45efc9e8efae5be0cd72a6c09f6dceee8793badb"
      }
    ],
    "372-static-elasticity": [
      {
        "path": "lean/docs/372.md",
        "sha256": "5c6a8e21366181a580d561cfdc50d32306ac2f428ea487084db21bc5d603e3d6"
      },
      {
        "path": "preprints/Global-Uniqueness-for-the-Smooth-Isotropic-Elasticity-Inverse-Problem-September-24-2026/article.pdf",
        "sha256": "5cadfeb6eb45bea20b6ceb4879266d49938154c38dbf34a6531b47b4f3cfbff9"
      }
    ],
    "281-qaoa-energy": [
      {
        "path": "lean/docs/281.md",
        "sha256": "244155dd6e7310ab65b1b4ec342c499149057fe90ae0aba8340a0c5bd656a072"
      },
      {
        "path": "preprints/QAOA-attains-the-SK-ground-state-energy-in-the-thermodynamic-first-limit-September-25-2026/QAOA-attains-the-SK-ground-state-energy-in-the-thermodynamic-first-limit-September-25-2026.pdf",
        "sha256": "4d07ebe181b03157398deef72b23eff8046183f67855d30f9e48e222550a44ba"
      }
    ],
    "266-three-bases": [
      {
        "path": "lean/docs/266.md",
        "sha256": "3141714e25026b26a4028e27ee001e70295310bad4290b5a8f7c9fd546e8a174"
      },
      {
        "path": "preprints/The-maximum-number-of-mutually-unbiased-bases-in-dimension-six-September-24-2026/The-maximum-number-of-mutually-unbiased-bases-in-dimension-six-September-24-2026.pdf",
        "sha256": "b4cc74c840c902494d589b51c8e9706490f37cf2735e69a0486122131c6b7446"
      }
    ],
    "276-gad-capacity": [
      {
        "path": "lean/docs/276.md",
        "sha256": "34d51d11d25cf4d1108b3914cfcb7d13a9df63a0cb3dd82071406f07c0640a99"
      },
      {
        "path": "preprints/Classical-capacity-and-entropy-inequalities-for-generalized-amplitude-damping-September-24-2026/paper.pdf",
        "sha256": "5656514823b55d5a4dbb15b284a2637952b957a451aef2e6428f3efbb88f6442"
      }
    ],
    "245-pts-beta-normalization": [
      {
        "path": "lean/docs/245.md",
        "sha256": "d05302b4c350e522680f61473d849ae2eae567d20a73da624948f533fee813f6"
      },
      {
        "path": "preprints/Weak-and-strong-normalization-in-pure-type-systems-September-25-2026/paper.pdf",
        "sha256": "9db295a439634e3169700af595760553afafc9c5db979de9d2ac27a534af63ef"
      }
    ],
    "254-artin-membership": [
      {
        "path": "lean/docs/254.md",
        "sha256": "327dfb32694d5072c4a47aff41da516a7cbe663634285577f344beb98d94d4e2"
      },
      {
        "path": "preprints/Parabolic-intersections-in-Artin-groups-September-23-2026/paper.pdf",
        "sha256": "4cd7fa316371447c2cb8a99d36bf9f48934c2366550609917210574e3f4f7e2e"
      }
    ],
    "279-exact-quantum-factoring": [
      {
        "path": "lean/docs/279.md",
        "sha256": "70edc97191b737cec8ade36d26bd53cd0c75f9c0e33c8afa53e7ce32ee67a88d"
      },
      {
        "path": "preprints/Exact-quantum-factoring-over-a-fixed-finite-gate-set-September-25-2026/main.pdf",
        "sha256": "35e89279253b6c8ae5ae7c941283b4b9de517243564f87e9b323ffeae4a85699"
      }
    ],
    "314-chromatic-cyclic-length": [
      {
        "path": "preprints/Cyclic-Length-and-Chromatic-Fixed-Point-Loss-September-24-2026/Cyclic-Length-and-Chromatic-Fixed-Point-Loss-September-24-2026.pdf",
        "sha256": "1bf9f0b94473b85cecfc6746269e22509d11c918e866a31b67d3329dd3acd857"
      }
    ]
  },
  "expert_comparison": "not_run",
  "independent_proof_verification": "not_run",
  "buyer_value": "not_validated"
}