[
  {
    "relative_path": "manuscript/main.pdf",
    "sha256": "f80e9f93b4e10d0b2e44d081b906cfa43a09b97848613bdcfc4254f39964a905"
  },
  {
    "relative_path": "manuscript/main.tex",
    "sha256": "85607fe06fd0fd9d80c2a423c601f9791d7d9c972083aba353e8eaf7e443f51f"
  },
  {
    "relative_path": "proof/UNIFORM_PROOF.txt",
    "sha256": "6212c0b608bb1cebb9d8ef405437dd528e7c8648f25b63d0c9104a9827c47000"
  },
  {
    "relative_path": "README.md",
    "sha256": "e58b9d2baaa9a486b8dd2ac009a92d47ee657076ed1d55285bf2ef5fd3e3d36f"
  },
  {
    "relative_path": "Reproducibility.md",
    "sha256": "92713a9862db1baf44eabda474a7acadaa73c10172a04d810241fd05239f2d95"
  },
  {
    "relative_path": "verification/dense_pvm_checks.py",
    "sha256": "4a27575ef108088fbca85cc914d5ba240cc5839d3c4e20f61228e84066018bfd"
  },
  {
    "relative_path": "verification/independent_resource_checks.py",
    "sha256": "7140e263bea59d493d8c13ea258506413d8cd83237f7d0fa0768388d9bddb36a"
  },
  {
    "relative_path": "verification/runtime_support.py",
    "sha256": "34f7e6b2e3927edd263597f55ebd590a805fd9ba2a7d02a110025f6d61d11506"
  },
  {
    "relative_path": "verification/source_binding.py",
    "sha256": "e4dadf45629ed52f7134ffab6c411bb1d81477dcb61c68912346b9d48fcee92c"
  },
  {
    "relative_path": "verification/uniform_checks.py",
    "sha256": "2027073a456c09c5d714684e4bfe21d399c95bc8090a51cfa4576c5ffc74b736"
  },
  {
    "relative_path": "verification/verifier_robustness_checks.py",
    "sha256": "468dc64e4ebc2f4e7af116ccf372cecbd27898e1c879d63cf17959349f902544"
  },
  {
    "relative_path": "verification/verify_package.py",
    "sha256": "835ba617711f6111849f0f97367737b7a7211bdcbf642e489159a7fd0b1dcd57"
  }
]