{
  "passed": true,
  "finite_groups": 6,
  "checks": [
    {
      "name": "Full four-dimensional symplectic Jacobian including mixed time components",
      "passed": true
    },
    {
      "name": "Exact primitive equality without a discarded exact one-form",
      "passed": true
    },
    {
      "name": "Actual Hamilton transport and p composed with chart equals tau",
      "passed": true
    },
    {
      "name": "All three ordered inverse and intertwining defect identities",
      "passed": true
    },
    {
      "name": "Radial example has H_p=-R on its exact exponential curve",
      "passed": true
    },
    {
      "name": "Both full covector norm bounds for 0<c<=1",
      "passed": true
    }
  ],
  "script_sha256": "5ba8adc4a2736ab5f7e206e1813abd90fd4aea814fdce94738df9446d8b8f1c7",
  "source_hashes": {
    "compact-homogeneous-characteristic-tubes.md": "b794d2c8b8c77e2f061bea36a11eeb4e9fea52befb09d31219f45cbc86784d97"
  },
  "analytic_proof_certification_by_these_checks": false
}