{
  "schema": 1,
  "status": "verified-examples",
  "complete": false,
  "release_version": "0.7.2",
  "preview": true,
  "compiler_source": "fb41913c619e0dac6c66b08ee44e1ee18ce67aa8",
  "release_source": "fb41913c619e0dac6c66b08ee44e1ee18ce67aa8",
  "recipe_sha256": "3c4e14a9df56328078ad79bd56e13003af8cbd01c504192737fe27b41642aaa7",
  "library_source": "31b92edf66a7a1570ab7196563f09a7df78f7f20",
  "consumer_source": "2a74c235c0d2a9c5ec4e2ab95ef18df42a9ee3a0",
  "portable_archive_sha256": "9011f6cfd67a925043cbdb33cbc3d55553db7d5a4470949c4d838cf37534629b",
  "public_benchmark_commit": "6c2256fd463b0b416359c563343cbd7bddebece8",
  "package": {
    "module": "./playground/canonical/compiler.mjs?sha256=42764129b194a05c08300cf0c464cab0e1e3bb449b8d297021fe164b828dc8b4",
    "wasm": "./playground/canonical/compiler.wasm?sha256=2455d249026f0c9d1250920c52640a421e4d99746665ddbeb176102c2a1b07b5",
    "data": "./playground/canonical/compiler.data?sha256=4eb831acbca4482cfce252d5a846c6de83bd322fd1c5b9b2a7206fbbff0ca995"
  },
  "sha256": {
    "compiler.wasm": "2455d249026f0c9d1250920c52640a421e4d99746665ddbeb176102c2a1b07b5",
    "compiler.mjs": "42764129b194a05c08300cf0c464cab0e1e3bb449b8d297021fe164b828dc8b4",
    "compiler.data": "4eb831acbca4482cfce252d5a846c6de83bd322fd1c5b9b2a7206fbbff0ca995"
  },
  "browser_archive": "./downloads/vkf-browser-preview-0.7.2.tar.gz",
  "browser_archive_checksum": "./downloads/vkf-browser-preview-0.7.2.tar.gz.sha256",
  "verification": {
    "displayed_examples": 57,
    "passed_examples": 57,
    "unique_source_programs": 57,
    "status": "passed",
    "browser_ui_checks": 32,
    "proof": "./verification/site-remake-e1079.json",
    "proof_sha256": "c6649301fe89ee8545cc140704ad2dcaaeaddc593997ac86100224ab291ce658",
    "full_language_complete": false,
    "prior_proof": "./verification/website-examples.json"
  },
  "physical_gpu_tested": false,
  "stable_release": false,
  "website_default": true
}