{
  "passed": true,
  "groups": 8,
  "checks": [
    {
      "name": "Finite multivariate Taylor polynomial and anchor invariance",
      "passed": true,
      "cases": 2,
      "scope": "Exact total degree three, all mixed terms"
    },
    {
      "name": "Maximal dyadic cube and failed parent in the illustration",
      "passed": true,
      "cases": 3,
      "scope": "K=[-1,1]x[-0.4,0.4], Q=[13/8,7/4]x[1,9/8]"
    },
    {
      "name": "Flat-jet powers retain exactly k derivatives",
      "passed": true,
      "cases": 21,
      "scope": "One-dimensional exact polynomial examples, not a general proof"
    },
    {
      "name": "Circle cancellation of all sampled nonconstant powers",
      "passed": true,
      "cases": 32,
      "scope": "Angular quadrature residual below 1e-13"
    },
    {
      "name": "Translated polynomial has a fixed nonzero top derivative",
      "passed": true,
      "cases": 6,
      "scope": "Exact degrees one through six"
    },
    {
      "name": "Rotating annulus avoids the two roots",
      "passed": true,
      "cases": 659456,
      "scope": "Q(z)=z^2-1 and 0.4<=|z|<=0.6 imply |Q|>=0.64"
    },
    {
      "name": "Complex frequency multiplier and bilinear transpose convention",
      "passed": true,
      "cases": 3,
      "scope": "No coefficient conjugation in P(-D)"
    },
    {
      "name": "Real-frequency decay identity",
      "passed": true,
      "cases": 5,
      "scope": "(1-d_x^2)^N exp(ix xi)=(1+xi^2)^N exp(ix xi)"
    }
  ],
  "proofs_are_the_written_C1_C5_and_F1_F5": true,
  "human_review_complete": false,
  "full_course_complete": false,
  "public_release_authorized": false,
  "script_sha256": "7026263dc357192d1013016730d137cb44b43de400b37969f2ce092c69be75c8"
}