{
  "passed": true,
  "finite_groups": 10,
  "checks": [
    {
      "name": "Exact phase, differentiated quotient and positive-side damping",
      "passed": true,
      "scope": "Polynomial phase in three variables; L sign, a(0), La and exact imaginary-part remainder."
    },
    {
      "name": "Full anisotropic formal adjoint and smooth normalized operator",
      "passed": true,
      "cases": [
        [
          0,
          0,
          0
        ],
        [
          0,
          0,
          1
        ],
        [
          0,
          0,
          2
        ],
        [
          0,
          1,
          0
        ],
        [
          0,
          1,
          1
        ],
        [
          0,
          1,
          2
        ],
        [
          0,
          2,
          0
        ],
        [
          0,
          2,
          1
        ],
        [
          0,
          2,
          2
        ],
        [
          1,
          0,
          0
        ],
        [
          1,
          0,
          1
        ],
        [
          1,
          0,
          2
        ],
        [
          1,
          1,
          0
        ],
        [
          1,
          1,
          1
        ],
        [
          1,
          1,
          2
        ],
        [
          1,
          2,
          0
        ],
        [
          1,
          2,
          1
        ],
        [
          1,
          2,
          2
        ],
        [
          2,
          0,
          0
        ],
        [
          2,
          0,
          1
        ],
        [
          2,
          0,
          2
        ],
        [
          2,
          1,
          0
        ],
        [
          2,
          1,
          1
        ],
        [
          2,
          1,
          2
        ],
        [
          2,
          2,
          0
        ],
        [
          2,
          2,
          1
        ],
        [
          2,
          2,
          2
        ]
      ],
      "scope": "Exercise5 operator with c=3+2i, b=1+x1; includes -iDs adjoint coefficient derivative, all full lower terms and27 independent amplitude monomials."
    },
    {
      "name": "Full constant cone transport with its normal phase factor",
      "passed": true,
      "scope": "Exercise12,27 amplitude monomials; exact R_h=iD1^2+h(D1^2Dt+D2^3), not just a leading symbol."
    },
    {
      "name": "Nonelliptic tangential fundamental solution",
      "passed": true,
      "scope": "Distributional differentiation for D1D2 and E=-H1H2; smooth convolution transfer is proved in the lesson."
    },
    {
      "name": "Exact positive-cone damping constant",
      "passed": true,
      "scope": "Nonnegative remainder for t>=B|yprime| with B>0; the B=0 counterexample is proved separately."
    },
    {
      "name": "Hermitian concentrated-pairing signs",
      "passed": true,
      "scope": "Full rescaled polynomial phase, including quadratic terms; the chosen source phase cancels the test conjugate."
    },
    {
      "name": "Finite derivative and truncation budgets",
      "passed": true,
      "cases": [
        {
          "cone": false,
          "n": 3,
          "m": 2,
          "r": 1,
          "nu": 2,
          "N": 2,
          "A0": 9,
          "loss": 26,
          "M": 32,
          "J": 43
        },
        {
          "cone": true,
          "n": 3,
          "m": 2,
          "r": 1,
          "nu": 2,
          "N": 2,
          "A0": 5,
          "loss": 14,
          "M": 20,
          "J": 27
        },
        {
          "cone": false,
          "n": 2,
          "m": 1,
          "r": 1,
          "nu": 2,
          "N": 0,
          "A0": 4,
          "loss": 8,
          "M": 11,
          "J": 15
        },
        {
          "cone": true,
          "n": 2,
          "m": 1,
          "r": 1,
          "nu": 2,
          "N": 0,
          "A0": 2,
          "loss": 4,
          "M": 7,
          "J": 9
        },
        {
          "cone": false,
          "n": 5,
          "m": 4,
          "r": 3,
          "nu": 4,
          "N": 5,
          "A0": 33,
          "loss": 108,
          "M": 119,
          "J": 157
        },
        {
          "cone": true,
          "n": 5,
          "m": 4,
          "r": 3,
          "nu": 4,
          "N": 5,
          "A0": 17,
          "loss": 60,
          "M": 71,
          "J": 93
        },
        {
          "cone": false,
          "n": 4,
          "m": 3,
          "r": 2,
          "nu": 3,
          "N": 3,
          "A0": 19,
          "loss": 54,
          "M": 62,
          "J": 84
        },
        {
          "cone": true,
          "n": 4,
          "m": 3,
          "r": 2,
          "nu": 3,
          "N": 3,
          "A0": 10,
          "loss": 30,
          "M": 38,
          "J": 51
        },
        {
          "cone": false,
          "n": 7,
          "m": 6,
          "r": 6,
          "nu": 7,
          "N": 4,
          "A0": 84,
          "loss": 175,
          "M": 187,
          "J": 275
        },
        {
          "cone": true,
          "n": 7,
          "m": 6,
          "r": 6,
          "nu": 7,
          "N": 4,
          "A0": 42,
          "loss": 105,
          "M": 117,
          "J": 163
        }
      ],
      "scope": "Ten concrete order/geometry budgets; the general finite Taylor proof is written separately."
    },
    {
      "name": "One-sided and two-sided binomial alternatives",
      "passed": true,
      "cases": [
        {
          "k": 2,
          "sign": -1,
          "real_roots": 2
        },
        {
          "k": 2,
          "sign": 1,
          "real_roots": 0
        },
        {
          "k": 3,
          "sign": -1,
          "real_roots": 1
        },
        {
          "k": 3,
          "sign": 1,
          "real_roots": 1
        },
        {
          "k": 4,
          "sign": -1,
          "real_roots": 2
        },
        {
          "k": 4,
          "sign": 1,
          "real_roots": 0
        },
        {
          "k": 5,
          "sign": -1,
          "real_roots": 1
        },
        {
          "k": 5,
          "sign": 1,
          "real_roots": 1
        },
        {
          "k": 6,
          "sign": -1,
          "real_roots": 2
        },
        {
          "k": 6,
          "sign": 1,
          "real_roots": 0
        },
        {
          "k": 7,
          "sign": -1,
          "real_roots": 1
        },
        {
          "k": 7,
          "sign": 1,
          "real_roots": 1
        },
        {
          "k": 8,
          "sign": -1,
          "real_roots": 2
        },
        {
          "k": 8,
          "sign": 1,
          "real_roots": 0
        },
        {
          "k": 9,
          "sign": -1,
          "real_roots": 1
        },
        {
          "k": 9,
          "sign": 1,
          "real_roots": 1
        },
        {
          "k": 10,
          "sign": -1,
          "real_roots": 2
        },
        {
          "k": 10,
          "sign": 1,
          "real_roots": 0
        },
        {
          "k": 11,
          "sign": -1,
          "real_roots": 1
        },
        {
          "k": 11,
          "sign": 1,
          "real_roots": 1
        },
        {
          "k": 12,
          "sign": -1,
          "real_roots": 2
        },
        {
          "k": 12,
          "sign": 1,
          "real_roots": 0
        }
      ],
      "scope": "Exact counts k=2..12; arbitrary-k root persistence and real-root count are proved in Lemma7.2."
    },
    {
      "name": "Complete Hamilton derivatives and hypothesis guards",
      "passed": true,
      "scope": "Positive double-root model, complex sign reversal, nonconstant real multiplier, quartic and genuine multiple-characteristic examples."
    },
    {
      "name": "Complete circle-homotopy example, including degree drop at epsilon zero",
      "passed": true,
      "cases": [
        {
          "epsilon": 0.0,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 1.3877787807814457e-17
        },
        {
          "epsilon": 0.0,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 1.3877787807814457e-17
        },
        {
          "epsilon": 0.0,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.0025,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": -6.938893903907228e-18
        },
        {
          "epsilon": 0.0025,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 6.938893903907228e-18
        },
        {
          "epsilon": 0.0025,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.005,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 6.938893903907228e-18
        },
        {
          "epsilon": 0.005,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 1.0408340855860843e-17
        },
        {
          "epsilon": 0.005,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -6.938893903907228e-18
        },
        {
          "epsilon": 0.0075,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.0075,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 6.938893903907228e-18
        },
        {
          "epsilon": 0.0075,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -3.469446951953614e-18
        },
        {
          "epsilon": 0.01,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 0.9999999999999999,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.01,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 6.938893903907228e-18
        },
        {
          "epsilon": 0.01,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -3.469446951953614e-18
        },
        {
          "epsilon": 0.0125,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": -1.3877787807814457e-17
        },
        {
          "epsilon": 0.0125,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 0.9999999999999999,
          "count_imag": 6.938893903907228e-18
        },
        {
          "epsilon": 0.0125,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -3.469446951953614e-18
        },
        {
          "epsilon": 0.015,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.015,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 1.0408340855860843e-17
        },
        {
          "epsilon": 0.015,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -6.938893903907228e-18
        },
        {
          "epsilon": 0.0175,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.0175,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 0.9999999999999999,
          "count_imag": 1.3877787807814457e-17
        },
        {
          "epsilon": 0.0175,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -3.469446951953614e-18
        },
        {
          "epsilon": 0.02,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": -6.938893903907228e-18
        },
        {
          "epsilon": 0.02,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 3.469446951953614e-18
        },
        {
          "epsilon": 0.02,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -3.469446951953614e-18
        },
        {
          "epsilon": 0.0225,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": -1.3877787807814457e-17
        },
        {
          "epsilon": 0.0225,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 1.0408340855860843e-17
        },
        {
          "epsilon": 0.0225,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.025,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.025,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 0.9999999999999999,
          "count_imag": 6.938893903907228e-18
        },
        {
          "epsilon": 0.025,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -3.469446951953614e-18
        },
        {
          "epsilon": 0.0275,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.0275,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 1.0408340855860843e-17
        },
        {
          "epsilon": 0.0275,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.03,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 0.9999999999999999,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.03,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 3.469446951953614e-18
        },
        {
          "epsilon": 0.03,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -1.3877787807814457e-17
        },
        {
          "epsilon": 0.0325,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.0325,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 1.0408340855860843e-17
        },
        {
          "epsilon": 0.0325,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -1.0408340855860843e-17
        },
        {
          "epsilon": 0.035,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": -6.938893903907228e-18
        },
        {
          "epsilon": 0.035,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 3.469446951953614e-18
        },
        {
          "epsilon": 0.035,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -6.938893903907228e-18
        },
        {
          "epsilon": 0.0375,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.0375,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 1.0408340855860843e-17
        },
        {
          "epsilon": 0.0375,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 0.9999999999999999,
          "count_imag": -1.0408340855860843e-17
        },
        {
          "epsilon": 0.04,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": -6.938893903907228e-18
        },
        {
          "epsilon": 0.04,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 0.9999999999999999,
          "count_imag": 1.0408340855860843e-17
        },
        {
          "epsilon": 0.04,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -1.3877787807814457e-17
        },
        {
          "epsilon": 0.0425,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.0425,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 6.938893903907228e-18
        },
        {
          "epsilon": 0.0425,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -3.469446951953614e-18
        },
        {
          "epsilon": 0.045,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": -6.938893903907228e-18
        },
        {
          "epsilon": 0.045,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 1.3877787807814457e-17
        },
        {
          "epsilon": 0.045,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 0.9999999999999999,
          "count_imag": -1.3877787807814457e-17
        },
        {
          "epsilon": 0.0475,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.0475,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 1.734723475976807e-17
        },
        {
          "epsilon": 0.0475,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -3.469446951953614e-18
        },
        {
          "epsilon": 0.05,
          "circle_center": [
            -1.0,
            0.0
          ],
          "count_real": 1.0,
          "count_imag": 0.0
        },
        {
          "epsilon": 0.05,
          "circle_center": [
            0.5,
            0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": 1.0408340855860843e-17
        },
        {
          "epsilon": 0.05,
          "circle_center": [
            0.5,
            -0.8660254037844386
          ],
          "count_real": 1.0,
          "count_imag": -2.0816681711721685e-17
        }
      ],
      "scope": "Exact uniform gap; numerical circle counts and polynomial zeros are supplementary diagnostics."
    }
  ],
  "source_hashes": {
    "hyperbolicity-necessity-support-tests-and-double-roots.md": "66691041dda5a40478cd19bc7bc8f6b2e0309d5a9309553d5be17ba886aa1b01"
  },
  "script_sha256": "a863d450277291804812ed03dee9093d6575163f4181bba903f6ebae198ed65c",
  "retained_original_diagnostic_groups": 9,
  "added_diagnostic_groups": 1,
  "finite_checks_are_general_proof_certification": false,
  "full_course_complete": false,
  "human_review_complete": false,
  "public_release_authorized": false
}