{
  "original": {
    "package_path": "native/resolve.tex",
    "sha256": "4cc743f7c82f9c3845bb8c91447cb7adc27bdc3305fc2036eeddf41469320554",
    "revision": "565b10e987aba5969b21145a0833f42d69f96790"
  },
  "corrections": [
    {
      "original_line": 1110,
      "scope": "normalized-point-blowup domination",
      "repair": "schematic common-open graph closure/dominant strict transform, then finite normalization"
    },
    {
      "original_line": 3867,
      "scope": "resolve-lemma-resolve-complete intermediate-field induction",
      "repair": "dominant main component with generic upper field, then finite normalization; required smaller degree preserved"
    }
  ],
  "provenance": "Required independent model/surface review correction from the integration owner; exact paragraphs read by teaching packager",
  "terms": "Original source expression GFDL; annotations independently written, packaged modified source retains original GFDL terms",
  "patch_sha256": "3f17829c15d5e65eedf0383b971c06cef0f08c947e095086f199241f3abcbf11",
  "corrected_teaching_source_sha256": "3886200e104e4133795032092da3210f9c7f5665a8d42963f51d8c2a6b492bd9",
  "original_unchanged": true
}