{
  "version": "0.2.0",
  "files": {
    "LICENSE": {
      "sha256": "0d96a4ff68ad6d4b6f1f30f713b18d5184912ba8dd389f86aa7710db079abcb0",
      "bytes": 34523
    },
    "NOTICE": {
      "sha256": "4f39f5d4a17b2de80a985529c6be7bd5d33fdb60a35723749768dc95932d0ac5",
      "bytes": 791
    },
    "THIRD_PARTY_NOTICES.txt": {
      "sha256": "e77de894464d02cba2f7a0d30f5cc49780890e4b4afdb923fdd00dc9340f2570",
      "bytes": 19460
    },
    "app.js": {
      "sha256": "b1487151ae7ca009a3e6b7a5d4d58bde47c4ff68562f6979e830a4bb6860262e",
      "bytes": 18539
    },
    "counterexample.json": {
      "sha256": "542bd13673fd2f12691e6809ae1aff91a6ec6b400f83277d4649d3b19a02806c",
      "bytes": 3387
    },
    "goldenmonkey_sentinels-0.2.0-py3-none-any.whl": {
      "sha256": "32c601e4efded91cf1d36dddc5a9734e4bc8dc5704df073fbb9f87a38f7ba7c3",
      "bytes": 47964
    },
    "index.html": {
      "sha256": "6b03ee9019fc9f77bd5ae863df427f48fbc7736908701f177595d324c006e8a2",
      "bytes": 5691
    },
    "lab.css": {
      "sha256": "1ac03d2d19d8db8d30a168f351039279eee76c276675bb58f2697132b0701600",
      "bytes": 4867
    },
    "licenses/PYODIDE-LICENSE": {
      "sha256": "1f256ecad192880510e84ad60474eab7589218784b9a50bc7ceee34c2b91f1d5",
      "bytes": 16725
    },
    "licenses/PYTHON-LICENSE": {
      "sha256": "b0e25a78cffb43f4d92de8b61ccfa1f1f98ecbc22330b54b5251e7b6ba010231",
      "bytes": 13804
    },
    "licenses/annotated_types-annotated_types-0.7.0.dist-info-licenses-LICENSE": {
      "sha256": "fe1049884b1a0d9342901e88e07f32925d24b3121d9972b6a6805fb9824b095d",
      "bytes": 1083
    },
    "licenses/pydantic-pydantic-2.12.5.dist-info-licenses-LICENSE": {
      "sha256": "a9e186f3ca16b5eef84318e7a701721351a00cb7b8ae3a4394b67b49e3529ef3",
      "bytes": 1129
    },
    "licenses/pydantic_core-pydantic_core-2.41.5.dist-info-licenses-LICENSE": {
      "sha256": "2afdd30d54b4d62b6f488a6bcc1546e84ec5061f13f4209c03d012348783795a",
      "bytes": 1080
    },
    "licenses/typing_extensions-typing_extensions-4.15.0.dist-info-licenses-LICENSE": {
      "sha256": "3b2f81fe21d181c499c59a256c8e1968455d6689d269aa85373bfb6af41da3bf",
      "bytes": 13936
    },
    "licenses/typing_inspection-typing_inspection-0.4.2.dist-info-licenses-LICENSE": {
      "sha256": "804b59b25f2c31bd278f9202a19ae49a3945aa2664387e2d0a128c7cacc61ec3",
      "bytes": 1090
    },
    "manifest.json": {
      "sha256": "786fed048a6ecda8a0617297d963dec8a7d2bdcd14a401e426e7385775f9ab3a",
      "bytes": 825
    },
    "qualification-corpus.json": {
      "sha256": "2864ffcec90fa0d3af563acb16ada0755c5d8faae3b58bbc788e8b886a9a1be4",
      "bytes": 603007
    },
    "runtime-pins.json": {
      "sha256": "e48b60ebb326f3550313de6bdfd29fb507e4be10334a662de21ec9b7b0accdb3",
      "bytes": 1938
    },
    "runtime/annotated_types-0.7.0-py3-none-any.whl": {
      "sha256": "6541523b4b16c1953d2fc9b82fb86c540eea9f78fca329ab371ed13a8b0faa51",
      "bytes": 11963
    },
    "runtime/pydantic-2.12.5-py3-none-any.whl": {
      "sha256": "04854875001e07a8a74d87b7c80296cba168773d8c9804e232d695f82484d7d7",
      "bytes": 463578
    },
    "runtime/pydantic_core-2.41.5-cp314-cp314-pyemscripten_2026_0_wasm32.whl": {
      "sha256": "54703fa42a0d4d574283cfb8f08050ba7820c9a42b0a21bc1286407d9a9e54da",
      "bytes": 1310164
    },
    "runtime/pyodide-lock.json": {
      "sha256": "5dc2fc119108bc148c7457dc86e7675b5c87e1cafd420b9c34c1eaef7b36c010",
      "bytes": 119077
    },
    "runtime/pyodide.asm.mjs": {
      "sha256": "f7cdc8ece80678ceb712f8e65ebe6d3a83203a180c399865f49612a051693635",
      "bytes": 1250344
    },
    "runtime/pyodide.asm.wasm": {
      "sha256": "cc36e3cab04fdfc9a63ff13eb52eae2b911bf46c025cc7b281f394bd3de1d5e6",
      "bytes": 9598218
    },
    "runtime/pyodide.mjs": {
      "sha256": "6f1d60f7bf529beb300f0f47983c921d3982363640ba20af0e38efdddbc66109",
      "bytes": 17931
    },
    "runtime/python_stdlib.zip": {
      "sha256": "fa1957e5777068fc4f7437f96d860ae2fbe9c19732ba06c84e004ec16dd7dd7a",
      "bytes": 2545637
    },
    "runtime/typing_extensions-4.15.0-py3-none-any.whl": {
      "sha256": "4fec68770a05408e668a4fa53d6bf4f0f684b9dacf820c7c5d6e97d3ad225e29",
      "bytes": 44613
    },
    "runtime/typing_inspection-0.4.2-py3-none-any.whl": {
      "sha256": "deb989630985f7a7296b90357a947a804a7612cecbb6439d6e71128e01f61051",
      "bytes": 14610
    },
    "worker.js": {
      "sha256": "626985801460ca0afaa327f1508b3356cc2e4ab77690b200fdfb4f678bd4aeae",
      "bytes": 3855
    }
  }
}