{
  "original": {
    "package_path": "native/models.tex",
    "sha256": "5cfa014ca4381c99333043af35ed443f10e083fa601f854f78770b71c9a5f98b",
    "revision": "565b10e987aba5969b21145a0833f42d69f96790"
  },
  "corrections": [
    {
      "original_line": 1068,
      "scope": "whole all-(-2) type genus",
      "before": "(by Lemma \\ref{lemma-recurring-symmetric-real} again) and $g = 0$.",
      "after": "(by Lemma \\ref{lemma-recurring-symmetric-real} again) and $g = 1$."
    },
    {
      "original_line": 1915,
      "scope": "C5 inequalities from the displayed matrix and Am=0",
      "before": "$2m_3 \\geq m_2 + 2m_4$,\n$2m_4 \\geq m_3 + m_5$, and $2m_5 \\geq m_4$, or",
      "after": "$2m_3 \\geq m_2 + m_4$,\n$2m_4 \\geq m_3 + 2m_5$, and $2m_5 \\geq m_4$, or"
    },
    {
      "original_line": 1951,
      "scope": "B5 terminal inequality from the displayed matrix and Am=0",
      "before": "$2m_4 \\geq m_3 + m_5$, and $m_4 \\geq m_3$.",
      "after": "$2m_4 \\geq m_3 + m_5$, and $m_5 \\geq m_4$."
    },
    {
      "original_line": 2389,
      "scope": "E7 determinant and sign",
      "before": "Since the determinant is $-8w^7 > 0$",
      "after": "Since the determinant is $-2w^7 < 0$"
    },
    {
      "original_line": 2497,
      "scope": "E8 edge labels agree with the displayed graph and matrix",
      "before": "such that $a_{12}, a_{23}, a_{34}, a_{45}, a_{56}, a_{65}, a_{57}$",
      "after": "such that $a_{12}, a_{23}, a_{34}, a_{45}, a_{56}, a_{67}, a_{58}$"
    },
    {
      "original_line": 3994,
      "scope": "propagated bound is the multiplicity times absolute diagonal",
      "before": "$w_i|a_{ii}| \\leq 768g$ for all $i \\in I$",
      "after": "$m_i|a_{ii}| \\leq 768g$ for all $i \\in I$"
    }
  ],
  "provenance": "Required numerical corrections from the integration owner from independent model/surface reviewer; exact native paragraphs read by packager",
  "NS11a_changed": false,
  "terms": "Native source expression and modified teaching source retain GFDL; explanatory annotations independently authored",
  "patch_sha256": "9d23e00b67511426c936572c8fd4d6c3b2494f3f643a1c3778a022c1c7148d97",
  "corrected_teaching_source_sha256": "a37c07970befed63d8aa52a5dcd23d08c1a7113296df8c00bef14f75588fd9b1",
  "original_unchanged": true
}