{
  "passed": true,
  "finite_groups": 4,
  "groups": [
    "Invariant radial coordinate and exact model endpoints",
    "Complex-parameter scalar transport, zero initial data and resonant limit",
    "General symmetric-Hessian variational identity and full free-relation/kernel pullbacks",
    "Positive variable multiplier and exact arctangent change of maximal clock"
  ],
  "script_sha256": "1dd4f27647ace7f31b2484c22769e6f9551ce3042c5cd5cd2e16cfeac08d10dd",
  "source_hashes": {
    "global-time-and-bicharacteristic-relation.md": "c1f4ea05fbe312047171eb54c516e42621380a69d32e53d370fc723c18aaabfe",
    "figures/draw_invariant_radius.py": "14af34d251ddf079ff579cce0fc381757945ab6cd81be342ae088e05bbc3c204",
    "figures/invariant-radius-flow.svg": "6c0abaaef7ae1b10a19d8005ac36f18c3aedeebd98584a5f111d739d4d8c8efa",
    "figures/invariant-radius-flow.png": "6b7726a959c6a838e85fbe95120c6a2fb4ab36d8f092f9fe632d3cf368a81a40"
  },
  "full_theorems_proved_by_these_finite_checks": false
}