{
  "program": "post-jc-program \u2014 machine-verified corollary mining of the Jacobian Conjecture collapse",
  "date": "2026-07-21",
  "environment": {
    "python": "3.13.3",
    "sympy": "1.14.0",
    "platform": "Windows-10-10.0.19045-SP0",
    "seeds": {
      "construction": 20260721,
      "independent_verify": 987654321
    }
  },
  "run_order": [
    "python phase1_dixmier_witness.py",
    "python phase2_normalize.py",
    "python phase3_reduce_to_degree3.py",
    "python phase4_independent_verify.py",
    "python phase5b_chain_det_proof.py",
    "python make_manifest.py"
  ],
  "artifacts": {
    "chain_det_proof.json": {
      "sha256": "57838a75e780bbaa6c665286a19848b272e7b938fc64a405a889c519bf08808a",
      "bytes": 5016
    },
    "degree3_counterexample.json": {
      "sha256": "912795a13250c38959f19a8bf91c037dfbc739b5f406f67b5e27b458fbc738c2",
      "bytes": 9321
    },
    "dixmier_certificate.json": {
      "sha256": "13cadbcb287d3cbb140513b6e253ea2d72aaa42a4bd2904d6030115971c640ba",
      "bytes": 2821
    },
    "dixmier_witness_operators.txt": {
      "sha256": "cd120e1fdea0be19e42ee51c0e666a267f57ff81fe9c7c5eb0f444b2b75070c5",
      "bytes": 1468
    },
    "make_manifest.py": {
      "sha256": "f6fe458930f41f6601e35a7e5a1c6f33d9e3339f0658ccd374f785ded993f9d0",
      "bytes": 1312
    },
    "normalized_map.json": {
      "sha256": "7b5f79c2f3e47d98eadb3b40d30fbbbdc60218e53417e6a9b2ca0ca6f9e88626",
      "bytes": 1309
    },
    "phase1_dixmier_witness.py": {
      "sha256": "6739e8c6ac90bb2da1a1086c6a64195b7b1f6b8f512bbb1c456ad81b89df5749",
      "bytes": 6978
    },
    "phase2_normalize.py": {
      "sha256": "e75efb359b4a8c5669cb3b0b97c7549edc8a45a451e6f09133141a020398de57",
      "bytes": 3342
    },
    "phase3_reduce_to_degree3.py": {
      "sha256": "d1f8612f9e5b7655ef48dceaf1b93f142082acc6de28c3221a2d2b7a14ea830a",
      "bytes": 10534
    },
    "phase4_independent_verify.py": {
      "sha256": "d4582f6420a76b482e669f1baf4c42bf846e7ab853d43982fa51821dcf3c256d",
      "bytes": 6238
    },
    "phase5_symbolic_det.py": {
      "sha256": "329285a7c4926f082775712b71893c5d6d34dfcc38f1c5d2995ee11a000dd9f2",
      "bytes": 1189
    },
    "phase5b_chain_det_proof.py": {
      "sha256": "ff092726da6933c3c5a21daaec3518cb680b636fb4e914fe64e84bdad8aef693",
      "bytes": 7400
    },
    "verification_report.json": {
      "sha256": "5a49abe3c15fab881f56a7faea88a896dece43564b6ef03f1f1a950246496fcc",
      "bytes": 1613
    }
  }
}