{
  "evidence_sha256": {
    "02_CANONICAL_FRONTIER_DELTA.md": "d27ff8df66208090752e55d992e5a7afbdb531f6fcc3cdeb522aa41553caf890",
    "notes/twin_final_review.md": "0981f50cfaba33da5b21e547d1652391741dc162284e12832f997d0fdce0f79d",
    "results/fresh_replay.json": "133d3c06706ab05ce18ae742f89c81953afb245d9801e1d0504cf0af7ce94ff9",
    "results/independent_negative_checks.json": "b8d386170e08bb7be8f9bd18458c0db36b52c4b1029e86b3d051a68bf8eda4d7",
    "results/independent_verification.json": "e04582fe27b26c75df012f72e9a4b67d4c77f20f41a1fe6cccf4d97271ea18ed",
    "results/prior_input_replay.json": "9552e475ca9379af5685e393eaad18a8a1083dce7ca4fbd5521ab707e7a945a2"
  },
  "gate_basis": "Executed fresh reconstruction, independent full replay, exact byte equality, all 11 tests, 9 resealed rejected mutations",
  "gate_verdict": "PASS",
  "previous_result": {
    "filename": "GPT6_BSD_Stress_Test_Result_2026-09-08.zip",
    "sha256": "6af50772abb5edc140b49c79c0ffa552af6601c1cdb73bd7262443b050c7b7fc"
  },
  "schema": "kurihara-canonical-frontier-delta-v1",
  "theorem_check_boundary": "External theorem applications are reviewed in the mathematical note, not proved by Python.",
  "unchanged": {
    "R307": "VERIFIED_THEOREM_APPLICATION_FROM_PREVIOUS_ROUND",
    "R315": "UNVERIFIED",
    "R317": "CONDITIONAL",
    "R318_CANON_BocID": "OPEN",
    "R319_CPLX_GPR": "OPEN"
  },
  "updated_utc": "2026-09-08T20:16:43.310805+00:00",
  "updates": [
    {
      "claim_id": "R304",
      "statement": "Manin rank325, quotient65, joint Hecke dimension2, geometric plus dimension1",
      "status": "VERIFIED_FINITE"
    },
    {
      "claim_id": "R305",
      "statement": "The archival literal residue6 has no identifiable normalization in the supplied archive",
      "status": "NOT_REPRODUCED_NORMALIZATION_UNSPECIFIED"
    },
    {
      "claim_id": "K501",
      "replaces_dependency": "R305 nonvanishing component only",
      "statement": "Fixed first-nonzero normalization lambda(1,5)=1 and roots5,6 give delta393427=5 mod11",
      "status": "VERIFIED_FINITE"
    },
    {
      "claim_id": "K502",
      "depends_on": [
        "R304",
        "K501",
        "R307"
      ],
      "statement": "The canonical conductor393427 value is5u mod11 with u in F11*, hence nonzero; absolute u not computed",
      "status": "VERIFIED_THEOREM_APPLICATION"
    },
    {
      "claim_id": "R308",
      "depends_on": [
        "K502",
        "R307",
        "R313"
      ],
      "statement": "Mordell-Weil rank=Selmer corank=2 and Sha[11^infinity]=0, using Kim1.8(1),(3) without assuming Sha finiteness",
      "status": "VERIFIED_THEOREM_APPLICATION"
    },
    {
      "claim_id": "R314",
      "depends_on": [
        "R308",
        "R313"
      ],
      "statement": "Full Sel11=span(P,Q); specified norm-cube dimensions2,1,1,0",
      "status": "VERIFIED_THEOREM_APPLICATION"
    }
  ]
}