{
  "generated_at_utc": "2026-10-09T01:01:46.214903+00:00",
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "artifact_files": [
    {
      "path": "research/opportunities/012-noncommutative-identity-checks/2026-10-09-v2.json",
      "sha256": "f516764d6770fe72c21dc564645bcebb77211f9e0ed16f3fd007fa26aee80feb",
      "bytes": 622
    },
    {
      "path": "research/opportunities/012-noncommutative-identity-checks/2026-10-09-v2.md",
      "sha256": "6278b58beead18a56543a6b0ca4c80b88a3242f5735baa742ad646691b96ff5c",
      "bytes": 13109
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/comparison.json",
      "sha256": "f51854ff1fbfb899b620f7e95302979230da71428cc706af1edd9efd5f1ccc72",
      "bytes": 96087
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/distributive_identity-input.json",
      "sha256": "7c004fed61b7ae7dae7eea12c7ea940269cfa3ffcd0e1d1496495e2dd4ef4c35",
      "bytes": 1039
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/distributive_identity-result.json",
      "sha256": "1a5053af2ee498489a3db45bd3011b317859dfac3bbdf131d7e96393c34c56e4",
      "bytes": 2311
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/exceptional_variable-input.json",
      "sha256": "41496b40ea790574ab1a446a81153d8367502c99a9ca6c1e7858ef395eed8739",
      "bytes": 186
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/exceptional_variable-result.json",
      "sha256": "bda3589cba01c0d2c234ae50b909ccb4c21a2cb9a05af4eb14b7f8fa6e8176a7",
      "bytes": 2373
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/existing-matrix-baseline.json",
      "sha256": "e65df631f65497cc5793f8a379dc0b2d2a9a7e40cd96dce2ed9395d4804d0a1a",
      "bytes": 20029
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/incorrect_square_rewrite-input.json",
      "sha256": "6cd23f78162e07fc7a92a5adb5e9285dfa3e42cb8389691343796a77ad0e521e",
      "bytes": 1756
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/incorrect_square_rewrite-result.json",
      "sha256": "03ad18025e38a3e5062fde9f30df2e4c30fd53bb9ab27c999df098a8c3454ff6",
      "bytes": 2424
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/nilpotent_probe_miss-input.json",
      "sha256": "be13869b84c8c83c9aa6e08052d0f9f3986dd48bef9ff95ac51023648e0079a2",
      "bytes": 882
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/ordered_commutator-input.json",
      "sha256": "d2712ce6f9719eb423258aabdc5bd186d0f31721ce1809a8382e25cc8076b55f",
      "bytes": 596
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/ordered_commutator-result.json",
      "sha256": "6e6a13865a4616a7fae8bfd1f63095833c7799641f72c9ab1e28b2651de41ac1",
      "bytes": 2402
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/product_of_sums_16-input.json",
      "sha256": "b582921813da38bba5a4395e75609836042952d60692414bc56673e745cd1e4e",
      "bytes": 9169
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/product_of_sums_16-result.json",
      "sha256": "cfc094c3688a612fa2f66b9e4e102f3cae1e3825d0290713623015a1e3e1ffd5",
      "bytes": 2225
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/product_of_sums_2-input.json",
      "sha256": "b7933dd1a4a67850373654a2adfd787647597dd0b054f21e5117e7b57e1ede1f",
      "bytes": 461
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/product_of_sums_2-result.json",
      "sha256": "9162daf32369f9f32e7677574ecd513ac04042e048bf46a681f451fb1ec214f3",
      "bytes": 2395
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/product_of_sums_4-input.json",
      "sha256": "e1f0bf003398bee1455c23bc8d0e1e3e6ae714d860d1d1b8605152c99678feb0",
      "bytes": 1033
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/product_of_sums_4-result.json",
      "sha256": "6550ce41825e01eb0679af0daf0288f40b136ef38dab6dedab0c308a039c1f2b",
      "bytes": 2408
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/product_of_sums_8-input.json",
      "sha256": "bd07c413bdad2f034df62065d324f1df7e5b16b0de38a1ae80f03b492e1c7d90",
      "bytes": 2849
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/product_of_sums_8-result.json",
      "sha256": "743f28493c508e26901b82f2b1f10f3797d405ef474a897daffd95d79fd2438d",
      "bytes": 2204
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/rational_scalar-input.json",
      "sha256": "b1ef26636c22af0eb04e4aa5e951ec1e2b7203994832f1ae3f385c8793568d96",
      "bytes": 375
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/rational_scalar-result.json",
      "sha256": "d717fd40e4eff0c0238287df815b5df9a40fca374e09006f4a8d837f4993b9bc",
      "bytes": 2390
    },
    {
      "path": "research/prototypes/noncommutative-hitting-comparison-2026-10-09-v1/report.md",
      "sha256": "42f0110b400840d440bc4eb79a9be033eebaa10a3d3e63f94648594a0b42f6c7",
      "bytes": 5497
    },
    {
      "path": "research/snapshots/2026-10-08-baseline/noncommutative-baseline-extension-validation-2026-10-09-v1.json",
      "sha256": "232cc6572d4ed2010d092e3da131de1084f6abff19dae304c454524aeeb8442d",
      "bytes": 3092
    },
    {
      "path": "research/snapshots/2026-10-08-baseline/noncommutative-hitting-validation-2026-10-09-v1.json",
      "sha256": "dfeaabfdf08c453ac731b48bf9fcfc23d25bfac595de2e63471a1cc926c76ce1",
      "bytes": 51309
    },
    {
      "path": "research/snapshots/2026-10-08-baseline/noncommutative-model-boundary-validation-2026-10-09-v1.json",
      "sha256": "1ec9545d36a9a9bb85ddba4bbb07a87cee4fdee982def71a28fa86fcfe3059f3",
      "bytes": 2611
    }
  ],
  "archived_current_tools": [
    {
      "path": "research/prototypes/noncommutative-hitting-current-tools-2026-10-09-v1/noncommutative_hitting_reference.py",
      "sha256": "391a6a8b7c8ee52c6711ad9679f7fc6d00031709ddab15338d6ba122520b5d7c",
      "bytes": 7617
    },
    {
      "path": "research/prototypes/noncommutative-hitting-current-tools-2026-10-09-v1/validate_noncommutative_hitting_2026_10_09.py",
      "sha256": "b06ae508912345f65f60a3c15773b3d7f2fec08dfc91eb3467656f2c44c13a41",
      "bytes": 9394
    },
    {
      "path": "research/prototypes/noncommutative-hitting-current-tools-2026-10-09-v1/compare_noncommutative_baselines_2026_10_09.py",
      "sha256": "67acd1d68de1e6d2d7983706b2b8eb698ad6374fcafc26a946bb31f6a281e0f1",
      "bytes": 3818
    },
    {
      "path": "research/prototypes/noncommutative-hitting-current-tools-2026-10-09-v1/publish_noncommutative_review_2026_10_09.py",
      "sha256": "e19ae04036ccb8a3b2196d063955cf39ab6d78be8c44ade4205983dbbf187751",
      "bytes": 26995
    },
    {
      "path": "research/prototypes/noncommutative-hitting-current-tools-2026-10-09-v1/research_integrity_v4.py",
      "sha256": "e45734369f701c857e91c7011fadb50f961dab7e71f4d8801abd2c421528c265",
      "bytes": 28432
    }
  ],
  "reviewed_source_files": [
    {
      "path": "lean/docs/116.md",
      "sha256": "c3b9d25576399946bc0bdb9f63cb8cb1a7f30161edb2319f120911fded2c8a63"
    },
    {
      "path": "lean/ComparatorChallenges/FormulaHitting.lean",
      "sha256": "23f279f5ed50b1a8a86df490c0157866e120a279b552489f1ae180e7dd3f01bd"
    },
    {
      "path": "lean/ComparatorChallenges/FormulaHitting.json",
      "sha256": "a992f877ec771761914d814aefee436f030b634e811911965ade14b2112e0b2a"
    },
    {
      "path": "lean/OAI/Algebra/FormulaHitting/Hitting.lean",
      "sha256": "7d5388765abe1cb35041801422b96f55648805b3dd87da28c29a44b7301dcd30"
    },
    {
      "path": "lean/ComparatorChallenges/RationalHitting.lean",
      "sha256": "c0fc0d9740d4ef195918447f4da9605e75760845cae1163c534d6299c6e4877f"
    },
    {
      "path": "lean/ComparatorChallenges/RationalHitting.json",
      "sha256": "2b135eaf875cd6c699fd8dd9b9b8073f11da8ef767c581fd2e1b65d15d250dee"
    },
    {
      "path": "lean/OAI/Computability/RationalHitting/Main.lean",
      "sha256": "1de92103466695d67f6bbdbf44690af033aab4fb7e232228a702d3434e5203cd"
    },
    {
      "path": "preprints/Uniform-Matrix-Hitting-Points-in-Every-Positive-Characteristic-October-4-2026/uniform-matrix-hitting-points-positive-characteristic.pdf",
      "sha256": "06284554d3db1df4569dff00d12df083815bf1bafc401f9c97f4ba9cc09119fc"
    },
    {
      "path": "preprints/One-Rational-Matrix-Hitting-Point-for-Noncommutative-Formulas-September-24-2026/One-Rational-Matrix-Hitting-Point-for-Noncommutative-Formulas-September-24-2026.pdf",
      "sha256": "984d0d4287bc29fc4772a2254aabafb9ee8886c56eeafeef0a746c7fc06869ed"
    },
    {
      "path": "preprints/Polynomial-Hitting-Lists-for-Noncommutative-Rational-Formulas-September-24-2026/Polynomial-Hitting-Lists-for-Noncommutative-Rational-Formulas-September-24-2026.pdf",
      "sha256": "8f6fe5057bd59278bfb88ccf38342c09602e547f35a757b8eadc30ece76cec0e"
    }
  ],
  "runtime": {
    "interpreter": "/opt/homebrew/opt/python@3.10/bin/python3.10",
    "python": "3.10.19",
    "sympy": "1.13.1",
    "platform": "macOS-27.2-arm64-arm-64bit"
  },
  "runtime_bytes_archived": false,
  "interpretation": "Exact bytes and source pointers; archived Python is inert and never executed by the static site. Hashes do not establish source proof, caller model or commercial acceptance."
}