Numerical annotations to the original model source

The original models.tex retains its exact pinned565b bytes. The corrections are recorded in the patch, the annotated editable teaching version, and the correction record. They do not change the complete independent NS.11a.

• Original line1068: the complete all-\((-2)\) case has \(g=1\), not \(g=0\).
• Original lines1915–1916, C5: the displayed matrix and \(Am=0\) give \(2m_3\ge m_2+m_4\), \(2m_4\ge m_3+2m_5\), \(2m_5\ge m_4\).
• Original lines1951–1952, B5: the terminal inequality is \(m_5\ge m_4\).
• Original line2389, E7: the matrix determinant is \(-2w^7<0\), rather than the incorrect coefficient and sign in \(-8w^7>0\). Nonsingularity still excludes a full seven-vertex positive-kernel type.
• Original line2497, E8: the actual diagram/matrix edges are \(a_{12},a_{23},a_{34},a_{45},a_{56},a_{67},a_{58}\). Correct the repeated/relabelled \(a_{65},a_{57}\) to \(a_{67},a_{58}\).
• Original line3994: the propagated bound is \(m_i|a_{ii}|\le768g\), with the multiplicity and the absolute diagonal. It does not concern a positive raw diagonal or the weight-times-diagonal expression printed there.

The original expression and the modified editable teaching source retain GFDL terms, human Stacks authorship and credited AI Integrated Stacks contributions. These independent annotations do not relabel the original chapter AI-original CC0. The unrestricted imperfect-residue0CEE inference remains unclaimed.