{
  "passed": true,
  "finite_groups": 6,
  "checks": [
    "Exact dual orders, graph-space continuity order and original fractional-order exercise",
    "Full circular Hamilton curve, exact characteristic value and constant radius",
    "Escaping horizontal Hamilton line and bounded exit from the specified compact rectangle",
    "Original periodic inverse has both correct endpoints and scalar phase for nine Fourier probes",
    "Ordered rank-one adjoint formula and its normalized obstruction in an exact finite algebra model",
    "Exact geometric bounds used for each original seminorm and quotient correction tail"
  ],
  "largest_inverse_probe_error": 1.1322097734007351e-15,
  "script_sha256": "52ea7ad426e8efbd9539494b97ecaff6f7996ee340cbc8fbba79355e4a15bde2",
  "source_hashes": {
    "compact-set-solvability-from-characteristic-escape.md": "d044e99e8a37a53a60c1633076a8175d93efac305ac656b108d6e2280aa0e047",
    "closed-graphs-and-smooth-quotients.md": "aff83e2fd15807aaad2bd8a8426bbf783222b7c69655aeffcde38a1cffd84329",
    "fixed-support-sobolev-compactness.md": "bcc6cc2dacdb0e266a89df56957d763d28f2a7407c97a515191e5480b9c5ef17",
    "figures/draw_escape_models.py": "fd233a0d6be63dd2e838408017166aca34f8647c19bb7babcb027290f1731179"
  },
  "scope": "Finite model checks; complete functional-analytic and microlocal proofs require separate owner review.",
  "full_course_complete": false
}