{
  "date": "2026-10-20",
  "event": "Retrospective literature correction and separately checked local repair",
  "historical_cutoff": "2012-05-24",
  "later_source": {
    "title": "On Length Sets of Subarithmetic Hyperbolic Manifolds",
    "authors": [
      "Alex Kontorovich",
      "Xin Zhang"
    ],
    "version": "arxiv:2201.10955v1",
    "submitted": "2022-01-26",
    "submission_date_evidence": "Versioned arXiv abstract submission history; cached HTML contains 26 Jan 2022.",
    "url": "https://arxiv.org/abs/2201.10955v1",
    "pdf_url": "https://arxiv.org/pdf/2201.10955v1#page=14",
    "pdf_sha256": "af880c63c73814445e1b53ad9eb816b0aae1580b48a143068137a3af9775c1b0",
    "pdf_pages": 68,
    "native_tex_sha256": "fa7e02b96584c0de95fa8678569f33b55d5db24a364ab443fe78e6ef3e8af069",
    "native_bbl_sha256": "9c192bade134a4bd7d7dcd14d4daffaa873ab96af9d39f0c8f4ce7da2265c180",
    "inspected_passages": [
      "PDF pp.13\u201315, section 3.2",
      "Native Paper10.tex lines 599\u2013722",
      "Native Paper10.bbl lines 25\u201333 mapping BK14b and BK15"
    ],
    "scope": "Acknowledgment of the height issue and its two-coordinate correction mechanism; not a full-paper proof audit.",
    "chronology": "Later correction and retrospective context, not admissible as a 2012 historical proof input."
  },
  "reviewed_bk": {
    "manuscript_sha256": "9939002e09d4f1726684edebc860d0b6f9dce839e4ea6761c41c4660ef932f64",
    "roadmap_sha256_before_update": "6b359866a9b22ee42e8ec71a5b9597ce1fe9b621a096aeff265f78cc31a98254",
    "original_report_sha256": "1007972b6567b1cac8e51ef8b62aed40dad4d3160879fd0b8b24041467d45d83",
    "original_evidence_sha256": "39a2be90b647efe56836cc0b5c7e829fe54ea6553800c5559dee369167662269",
    "original_decisions_sha256": "c217d1d095a62fda121f9bcd34ee1ef83a6a20f604d60c96fa63c15cb9c1f50f",
    "locators": [
      "lem:spec3; large-modulus proof and eq:wStar, expanded source lines 2310\u20132443",
      "Uniform congruence-coset statement lem:spec0, expanded source lines 2045\u20132083"
    ],
    "matching_accepted_arbiter_finding": "finding-b50410999141a2199ffd"
  },
  "new_repair": {
    "origin": "Self-contained determinant completion recorded in this coordinating audit, prompted by examining the published correction.",
    "checked_by": [
      "Coordinating mathematical audit",
      "Separate bounded research agent; no inference of a whole-lemma certificate"
    ],
    "generality": "Four coordinates, all positive moduli q>120H^4, modularly primitive v; no Descartes-null requirement or effective Nullstellensatz.",
    "exact_checks": "36 positive lifting systems; empty/zero-row and two negative controls; 3024 finite-field tuples and 150 composite shear checks.",
    "cost": "No additional paid campaign API calls or retries.",
    "priority": "No claim to first discovery or historical mathematical priority."
  },
  "privacy": "Only public-source evidence is cited; no author correspondence is included."
}