{
  "status": "passed",
  "states": 13,
  "checks": [
    "All thirteen states and next decisions agree with Lean, including native delta ratios",
    "Static bounds, sources and all anchors survive without JavaScript",
    "Every next-step control preserves the exact bounds, decision and width",
    "The precision slider works in both directions and preserves synchronization"
  ],
  "hashes": {
    "index.html": "d391cbba00c0bf476db069c9620d1b11c0e558cf22d684eb92da77aba58e1770",
    "refinement.js": "77c5b62080da6f6ea506bb465214ac30671756365d5264c2fcad666fd63afa8b",
    "refinement.css": "5beb2ade14bee4dc91ca4cc5bda41dfcb789511ad4e094538190a10d730993e5",
    "RefinementLesson.lean": "1f414732bf9391627482dba2814e10c1947ffdc171f93269c8758b962ec74ae4"
  },
  "scope": "Exact correspondence to Lean evaluations and DOM controls; finite UI range only, with separate all-steps theorems."
}