{
  "schema": "d110-hosted-surface/1",
  "state": "pass",
  "counts": {
    "units": 2177,
    "kinds": {
      "book": 1,
      "chapter": 13,
      "section": 43,
      "program": 694,
      "solution": 326,
      "theorem": 85,
      "def": 83,
      "example": 583,
      "exercise": 239,
      "solution_support": 6,
      "inductive": 4,
      "structure": 18,
      "class": 37,
      "instance": 40,
      "lemma": 4,
      "frontmatter": 1
    },
    "chapters": 13,
    "sections": 43,
    "practice_flags": 243,
    "practice_with_solution_relation": 237,
    "practice_without_solution_relation": 6,
    "solves_edges": 324,
    "supports_edges": 6,
    "solution_fragments_with_both_texts": 330
  },
  "files": [
    {
      "path": "learning-map.json",
      "bytes": 18613485,
      "sha256": "dc457894ef112d0f596c35dd3053bb989726cc7ff5a33c8c6351374e6f96354a"
    },
    {
      "path": "data.js",
      "bytes": 9070947,
      "sha256": "d6a4494290cc31f391a4cb224be480bce64712e3503d10c2722537741cf23acb"
    },
    {
      "path": "index.html",
      "bytes": 10015,
      "sha256": "8076402352e612b71da1160fab021b5d28f0811072b1bf01672a95d7e0dc4fd4"
    },
    {
      "path": "teacher.html",
      "bytes": 10016,
      "sha256": "091ce1bddbcac8c0a5d1967e09c52a96c1c3e3fa2ce0de81cef69923ae7084ed"
    },
    {
      "path": "index.en.html",
      "bytes": 10839,
      "sha256": "c9988e3ef13a8e1af1f05d72bc4926d0b274d651a58d53341adf370352bb05f7"
    },
    {
      "path": "teacher.en.html",
      "bytes": 10841,
      "sha256": "4fc9fc21a895a3c8848aacf97f31d1317048a9d0b784c1ebe09b9d492ca12f83"
    },
    {
      "path": "d110-ui.js",
      "bytes": 19829,
      "sha256": "a743d77f30eb14f491755461d9154762f906a2872e3475b1a8ebfeb703c53f78"
    },
    {
      "path": "d110.css",
      "bytes": 3479,
      "sha256": "0d1049531149db2f61992ffc5c9f361b0c4868a311680d82f14bd4ba9b2dc617"
    },
    {
      "path": "LICENSE-APACHE-2.0.txt",
      "bytes": 11357,
      "sha256": "b40930bbcf80744c86c46a12bc9da056641d722716c378f5659b9e555ef833e1"
    },
    {
      "path": "LICENSE-CC-BY-4.0.txt",
      "bytes": 18657,
      "sha256": "9ba9550ad48438d0836ddab3da480b3b69ffa0aac7b7878b5a0039e7ab429411"
    },
    {
      "path": "d110-selector-editable-source-v1.zip",
      "bytes": 584603,
      "sha256": "3b6887a54b7789b3735d06e8f1e4175752be4658b4d56977fd7112225d0d7db5"
    }
  ],
  "new_translation": false,
  "lean_execution": false,
  "public_deployment_verified": false,
  "interface_locales": [
    "id",
    "en"
  ],
  "source_scope": "complete selector source; linked book readers remain in their existing lineages",
  "integration_attribution": {
    "model": "gpt-6-astra",
    "effort": "ultra",
    "work": "consumer code and mapping"
  }
}