{
  "passed": true,
  "finite_groups": 6,
  "checks": [
    {
      "name": "Primitive has Dt=-i*d/dt sign and exact polynomial forcing",
      "passed": true
    },
    {
      "name": "Ordered conjugation defect identity without commuted factors",
      "passed": true
    },
    {
      "name": "Every-real-order forcing reduction and total BQ order",
      "passed": true
    },
    {
      "name": "Three plotted comparison integrals differentiate to their actual weights",
      "passed": true
    },
    {
      "name": "Exact joint-frequency product bound for the delta threshold",
      "passed": true
    },
    {
      "name": "Characteristic has dt/ds=1 and fixed transverse covector",
      "passed": true
    }
  ],
  "script_sha256": "3f1abb534642842d0bfe96a3f703cbd888f9c3fa3a95c8c6d946109db7c206f6",
  "source_hashes": {
    "sobolev-regularity-along-real-characteristics.md": "8e3294597d7245e4c0ef090d2b77ffef1b5981e82a3d5a394662cdf370b27b49"
  },
  "analytic_proof_certification_by_these_checks": false
}