[
  {
    "relative_path": "manuscript/main.pdf",
    "sha256": "80bb7bc4fc9737ce9bc2678f3dfd45ccc72374eb6253bbc94a4cd272f466922e"
  },
  {
    "relative_path": "manuscript/main.tex",
    "sha256": "2a3006b267aea00fd71e7357bb009824c5103bd0e371b52066ebfce5c57a12b3"
  },
  {
    "relative_path": "proof/UNIFORM_PROOF.txt",
    "sha256": "4ba843825c462113eb3e3bf55fbff60caf1fe8de03a853f407e20d451af6f9d3"
  },
  {
    "relative_path": "README.md",
    "sha256": "92352757148d1bd617273e2b60b88e29416635f3f3c372b63601f2dd8ac05239"
  },
  {
    "relative_path": "Reproducibility.md",
    "sha256": "262d862dc66b4392517af54cc6e6130909af114217cdf50d950a48589c1ac94f"
  },
  {
    "relative_path": "verification/dense_pvm_checks.py",
    "sha256": "4a27575ef108088fbca85cc914d5ba240cc5839d3c4e20f61228e84066018bfd"
  },
  {
    "relative_path": "verification/independent_resource_checks.py",
    "sha256": "faf3b1e577be3517ed67560fdbef28b335b9014c9659ba626bc007d9587d42db"
  },
  {
    "relative_path": "verification/runtime_support.py",
    "sha256": "34f7e6b2e3927edd263597f55ebd590a805fd9ba2a7d02a110025f6d61d11506"
  },
  {
    "relative_path": "verification/source_binding.py",
    "sha256": "fd69b3536b228b9770084f3892aed99abbf1c691efdfd4afabcc1f17611af02e"
  },
  {
    "relative_path": "verification/uniform_checks.py",
    "sha256": "2027073a456c09c5d714684e4bfe21d399c95bc8090a51cfa4576c5ffc74b736"
  },
  {
    "relative_path": "verification/verifier_robustness_checks.py",
    "sha256": "6978a994b41ebd89ade1d01a2cfde9eb419d43f21bcdc1d155851fccb2cb8303"
  },
  {
    "relative_path": "verification/verify_package.py",
    "sha256": "835ba617711f6111849f0f97367737b7a7211bdcbf642e489159a7fd0b1dcd57"
  }
]