{
  "status": "passed",
  "checks": [
    "Every model and all thirteen counts agree with native Lean evaluations",
    "Three independent failures and the unreachable state match the proof",
    "Static explanation, navigation and proof downloads are present",
    "All 52 interactive states preserve their native values, rules and labels"
  ],
  "combinations": 52,
  "hashes": {
    "index.html": "6d029118fadd3a5631c64a6237ee0b51f356bb9f06664a0fe3895bd6eea8f519",
    "formation.js": "d0e02d2cf3f737b1cb2b5368a7306c8f46dda05a1ec8f629d763af95e10e1f98",
    "formation.css": "e4256c90391a113e21f575d75e41986ba4e4cd57513812db18a70c9159f8570c",
    "institute.css": "38f84d65dbb8874e3723effbfba94389023b75033488597f77bbc1bee9344908",
    "FormationLesson.lean": "795545a1df76c52fc154ec5538e2b2a31d5fbd6632392e59e7cf15791dbc5bc9"
  },
  "scope": "Native-fixture correspondence, displayed model conditions and DOM actions; no claim of human comprehension or universal physical realization."
}