{
 "version": 1,
 "generated": "2026-09-20T15:08:04Z",
 "entries": {
  "chipletos/v3/measured/artifacts.json": {
   "sha256": "47b92db433d269db7429af5bc4b1ec4ca05d92d0e5d9d44fcfa390e59b5e5100",
   "bytes": 6252,
   "visibility": "public"
  },
  "chipletos/v3/measured/independent_solver.json": {
   "sha256": "0b4e615b199b72da082cf135b2e4cea55b6ca02ac97e5d59319cb528062ccaef",
   "bytes": 2368,
   "visibility": "public"
  },
  "chipletos/v3/measured/independent_solver_broadened.json": {
   "sha256": "4f514353325d903091e3dac5f0edc0d6e98c0540c84c5215a7eb0fa28be80c4c",
   "bytes": 3196,
   "visibility": "public"
  },
  "chipletos/v3/measured/independent_solver_same_tool.json": {
   "sha256": "b5f3878540f62063f6bad60c4608750f1c9843dcfae778dbfae6c4fa8132c573",
   "bytes": 2024,
   "visibility": "public"
  },
  "chipletos/v3/measured/ip_ledger.json": {
   "sha256": "9f65070dac9f629d19f4b5ba4ff79e8cb4f66ec223c3999020e1ebabbef07b81",
   "bytes": 5663,
   "visibility": "public"
  },
  "chipletos/v3/measured/packaging_scope.json": {
   "sha256": "c1ed7b01b769fd0f61c60e1f15f110d99f802255573aee14cc1da23069e6b4cb",
   "bytes": 770,
   "visibility": "public"
  },
  "chipletos/v3/measured/pairwise_superposition.json": {
   "sha256": "9e44220b7ed3ee760b5254736a6c8a5963a3c832b1857cdbd3af359352931e10",
   "bytes": 1762,
   "visibility": "public"
  },
  "chipletos/v3/measured/self_check.json": {
   "sha256": "ffcbf5e4887e0c0cf4b051abe356eb9ed1dfd873ab5f843a4394821641063cb1",
   "bytes": 2008,
   "visibility": "public"
  },
  "chipletos/v3/measured/verified_checker.json": {
   "sha256": "78d7abe7c450d9349d46d493f69ade44c3e641721e89b8e85d42b3f1d351f061",
   "bytes": 1338,
   "visibility": "public"
  },
  "chipletos/v3/measured/zk_hiding.json": {
   "sha256": "0cc1eec1d491e43014d2e2080375748e3bff7189f98c2b41e015c54e33e275d1",
   "bytes": 703,
   "visibility": "public"
  },
  "chipletos/v3/proofs/aerial-enclosure/sprint232_kpis.json": {
   "sha256": "78390e0c7b20ca9c730b3b4b9ad26bfb25759f5445fa2f1d478c998e1967450c",
   "bytes": 3159,
   "visibility": "public"
  },
  "chipletos/v3/proofs/aes-0.13-percent/hiding_fractions.json": {
   "sha256": "93abe53b177d79f0d99dbb4ab859375b8df5f92672e6fb5413a0e8956a70c784",
   "bytes": 9211,
   "visibility": "public"
  },
  "chipletos/v3/proofs/aes-constant-time-localized/zk_ct_aes.json": {
   "sha256": "0eb4cf4c9ec7805635b41791effe47466055cabf0bdd0ec4389f644e8d2d22c4",
   "bytes": 1858,
   "visibility": "public"
  },
  "chipletos/v3/proofs/cone-sufficiency/ConeSufficiency.lean": {
   "sha256": "182f9dd334c3d42e49cfbbd1f2e76ff7414ba425e0af5191025a4e8c160b7835",
   "bytes": 22558,
   "visibility": "public"
  },
  "chipletos/v3/proofs/confidential-mask-stark/mask_stark_receipt.bin": {
   "sha256": "8044693d10f3dc2a9a317145672813b66ac7890e7703dd4421d08c68ee72d672",
   "bytes": 268570,
   "visibility": "public"
  },
  "chipletos/v3/proofs/divider-zero-bits/bv_decide_divider.json": {
   "sha256": "93d35516260259f68ef77b75b30c4c829d9a07d69e3d642d4198b52856c7277b",
   "bytes": 409,
   "visibility": "public"
  },
  "chipletos/v3/proofs/mask-rule-repair/leaderboard_detail.json": {
   "sha256": "0fbdcd6c0d1205d002a76da8da50c0aba6a9ff53eab88d224c557575b5442861",
   "bytes": 64142,
   "visibility": "public"
  },
  "chipletos/v3/proofs/pairwise-floor/family_two_tight_pairs_certified_sup_2026_08.json": {
   "sha256": "88c6991422777adf7a1661ca3b6071b18aaa39c1ce664d6f8e09c35b994ca71d",
   "bytes": 234599,
   "visibility": "public"
  },
  "chipletos/v3/proofs/passive-by-construction/PassiveConstruction.lean": {
   "sha256": "a7f3e939103f7c203494b3ff1d84a4eea14b886ad38cae795fec14f12754703b",
   "bytes": 1355,
   "visibility": "public"
  },
  "chipletos/v3/proofs/reticle-certificate/sprint252_kpis.json": {
   "sha256": "ca01ad10d4697ceb4ea791e8a69cfa56b0bfd0176c52ffba225c090788e1a381",
   "bytes": 5246,
   "visibility": "public"
  },
  "chipletos/v3/proofs/screening-ceiling-any-n/ScreeningCeilingGeneralN.lean": {
   "sha256": "c8d23cb4697785505f0a72a7ad46990c1aa6218d44894c7f7635faf6af186ab5",
   "bytes": 12358,
   "visibility": "public"
  },
  "chipletos/v3/proofs/signoff-bit-floor/SignoffBitFloor.lean": {
   "sha256": "364d52042a552b1efe0af5fc038b9e6da18a0668287c2481b4cd9b3733437d19",
   "bytes": 4762,
   "visibility": "public"
  },
  "chipletos/v3/proofs/thin-mask-gap/sprint254_kpis.json": {
   "sha256": "80e8edce67750b2b40747c61c54ce8a8b2a5e9b446842eac7fda7aea71df2338",
   "bytes": 6428,
   "visibility": "public"
  },
  "chipletos/v3/proofs/third-party-escapes/sprint211_kpis.json": {
   "sha256": "8c638384201b7ee6b625401fd4455e1b1d8df6f81c0de1a7cc49467aa4eac7d5",
   "bytes": 338,
   "visibility": "public"
  },
  "chipletos/v3/proofs/trace-floor/CapacityFloor.lean": {
   "sha256": "6a0c1a407ba9487ba3189c698e2540671fc6c7b81e1d7bb7422b4f1e151be305",
   "bytes": 11150,
   "visibility": "public"
  },
  "chipletos/v3/proofs/two-sided-envelope/family_two_tight_pairs_floor_2026_07.json": {
   "sha256": "ab2b776d4c2a44bbdda2334164560cdaf996a670154c381fc3ee447cd3b88372",
   "bytes": 1622,
   "visibility": "public"
  },
  "chipletos/v3/proofs/unprintable-36nm/evidence.json": {
   "sha256": "c0308cad0627deb3fb0363bed0d7335f84d246c84f9312cc2ccfd19961ecca1b",
   "bytes": 187614,
   "visibility": "public"
  },
  "chipletos/v3/proofs/verifier-soundness-z3/verifier_soundness.json": {
   "sha256": "4372b0266a6ad647eed0d31d8b9fab58dfa8bd821e1915962e4fd2a127c10fe6",
   "bytes": 11867,
   "visibility": "public"
  }
 }
}