{
 "version": 1,
 "generated": "2026-10-03T23:22:17Z",
 "entries": {
  "computational-lithography/_root/dataroom/top_n_check_record.jsonl": {
   "sha256": "5462913bd97fec4f3ef4194a42526e90ca14d220bdc0dc62b8fcb26c3fd854e4",
   "bytes": 2085,
   "visibility": "withheld"
  },
  "computational-lithography/_root/dataroom/witness_quality.json": {
   "sha256": "c47bd4cc8d393e88caf1dfff3a54bb65a8f55c87ba9950a34283650d807a22aa",
   "bytes": 78922,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/INDEX.json": {
   "sha256": "5ecd6948d20c51116b2ba71ecfb3a156273448579c0ec19ad1ed0a91c554d4f3",
   "bytes": 30664,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/minimal-solve-selection/DEFECT.json": {
   "sha256": "c03f965f7202abe6402fd5fa5ce860e1acb3c81266a269adf8503d7f973215e6",
   "bytes": 899,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/minimal-solve-selection/ENV.md": {
   "sha256": "722f2affd4050f2966b4857ec01cdf6a0fdb818dd8606e41c081de5e8cf9aab0",
   "bytes": 1408,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/minimal-solve-selection/EXPECTED.md": {
   "sha256": "ea965f1fa818f146bc523e2e781ea49fd4db6dcf198a1aa3aa82ab11111b6756",
   "bytes": 4736,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/minimal-solve-selection/EXTERNAL_BAR.md": {
   "sha256": "c96107f26ca1dede2a488289effefec28a3779fec07ae6b3ad312c70205ec44d",
   "bytes": 2244,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/minimal-solve-selection/INPUTS.sha256": {
   "sha256": "bec6478659b0feb573d3c227a26c6a6ef212e562442fed7d10f7e5e154e97183",
   "bytes": 743,
   "visibility": "public"
  },
  "computational-lithography/_root/repro/minimal-solve-selection/repro.sh": {
   "sha256": "e9e023c7b104a187dbb14e8a5ca45b869da6ae5357a94ad0fb1b1068d7f51590",
   "bytes": 1291,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/proof-cache-pcache1/DEFECT.json": {
   "sha256": "fa4ea05a913fdecf0b2f1ca593e8e49c91b98799ce2bc5c6ee5d0e70c9f630aa",
   "bytes": 887,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/proof-cache-pcache1/ENV.md": {
   "sha256": "b6f773e357b18430295d8c8219dbfac4f31a07acc4f63ba8245a78112c300c52",
   "bytes": 1387,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/proof-cache-pcache1/EXPECTED.md": {
   "sha256": "184a3c4bf5d7149a721de5917decff69b6992bf41df5332f178cb6c5290870c0",
   "bytes": 4776,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/proof-cache-pcache1/EXTERNAL_BAR.md": {
   "sha256": "3915e47db026c4ebb5e855696d3a4eca06171af7e58d46a06889a8a9240d70f7",
   "bytes": 2008,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/proof-cache-pcache1/INPUTS.sha256": {
   "sha256": "0ddf4fee50740665a6c57c9c94f4dc26c4c84de811fda51812fefcd862c2ab20",
   "bytes": 985,
   "visibility": "public"
  },
  "computational-lithography/_root/repro/proof-cache-pcache1/repro.sh": {
   "sha256": "93d83413fbc9cd1ec55656efc5e954a16e9f89d4f2e1da3fd76aef4aa16aafa8",
   "bytes": 1271,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/proof-carrying-mask-edits/DEFECT.json": {
   "sha256": "82c35fd3e81a47672f2ebe64abd42d288c85a11ae4927fbc868e21a33bffe06c",
   "bytes": 929,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/proof-carrying-mask-edits/ENV.md": {
   "sha256": "4c743a13c1ac5d4e87f4f352e5e9441646159786a16d8ee62f54d4afa36e266e",
   "bytes": 1448,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/proof-carrying-mask-edits/EXPECTED.md": {
   "sha256": "a55d846cf5f8bd8081845efb2adeb360ad7e177399678e8b4c793af5d4122243",
   "bytes": 4720,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/proof-carrying-mask-edits/EXTERNAL_BAR.md": {
   "sha256": "6d5fbe39ce4619edb4302c5bee75f5ad4fe23af4dea8dada858badc779559653",
   "bytes": 2075,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/proof-carrying-mask-edits/INPUTS.sha256": {
   "sha256": "a4bd52177279432092c98d7fc4bd6fdf91513b79a468de1d95b44455db28733f",
   "bytes": 745,
   "visibility": "public"
  },
  "computational-lithography/_root/repro/proof-carrying-mask-edits/repro.sh": {
   "sha256": "33a71ab9c14b8a8b9e52aea21313e0e38ffbbe2400a4c5999a25c4cdf4f5bbf0",
   "bytes": 1301,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/sos-quartic-lower-bound/DEFECT.json": {
   "sha256": "8d15cdb0cb13d0b0365fa1a7b9224733409ebf60f1ad247a04db1217263cef55",
   "bytes": 686,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/sos-quartic-lower-bound/ENV.md": {
   "sha256": "2daef553f03f03de884b9097f1e50563c08bf951c8b002b603df01e335774b66",
   "bytes": 1431,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/sos-quartic-lower-bound/EXPECTED.md": {
   "sha256": "ffec753817186fa0e3fbb8cf2143d487f8ec2ee0cd0ba519a464ba84dc9e05ee",
   "bytes": 5606,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/sos-quartic-lower-bound/EXTERNAL_BAR.md": {
   "sha256": "2a7cfd034834edd5320f74d22d368205ddda0553508cdf8e2a1bd98970ec5b67",
   "bytes": 2282,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/sos-quartic-lower-bound/INPUTS.sha256": {
   "sha256": "bc97e5a1437736b0738b4daddf09bf22e424abcb0a9da4ebc829c11322f5619b",
   "bytes": 1113,
   "visibility": "public"
  },
  "computational-lithography/_root/repro/sos-quartic-lower-bound/repro.sh": {
   "sha256": "9ef0bb23fa9b9c029c74372357fc45254067905cd2861ea59416cd6e70af5f0c",
   "bytes": 1291,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/tiled-composition-epsilon/DEFECT.json": {
   "sha256": "8869a97c6255948d7f4a147ff71d5204bd5582f23cfb792e5e7277aebd760040",
   "bytes": 718,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/tiled-composition-epsilon/ENV.md": {
   "sha256": "5eab10ec466443a2ffc9f78b9a398af7209b83ce26f46e247bb260c711a2fdf0",
   "bytes": 1393,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/tiled-composition-epsilon/EXPECTED.md": {
   "sha256": "a13da18087f411d9b5618158c9323e1f6c89269ba605d03f6ce39e9e1c7f7048",
   "bytes": 4193,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/tiled-composition-epsilon/EXTERNAL_BAR.md": {
   "sha256": "8081f931054788cd482cedd71763fafb3f03a250a171fb2026eefb62ed0a6351",
   "bytes": 2243,
   "visibility": "withheld"
  },
  "computational-lithography/_root/repro/tiled-composition-epsilon/INPUTS.sha256": {
   "sha256": "6df5962a0129fd2f27cba086855ebd6f067a461ba80e4c8094b48cb55286e2da",
   "bytes": 745,
   "visibility": "public"
  },
  "computational-lithography/_root/repro/tiled-composition-epsilon/repro.sh": {
   "sha256": "2bb73453086d723f38277935f53119af138196e8f68bbfd39e98a7a60e13ea33",
   "bytes": 1301,
   "visibility": "withheld"
  },
  "computational-lithography/results/aerial-enclosure-fast-gate.json": {
   "sha256": "9ba2c870ed35e49acc629fdfaa628b30760b697921eb64acb02aa7e7c1daa1d5",
   "bytes": 6754,
   "visibility": "public"
  },
  "computational-lithography/results/external-authority-check.json": {
   "sha256": "c8e26348b8772465358b23919b6c45bfb5d1107486d4fbf948186e0d865d2a4d",
   "bytes": 7149,
   "visibility": "public"
  },
  "computational-lithography/results/ler-budget-gate.json": {
   "sha256": "b12eeaa35de49f0a1f05c1849ffb1ab02f3f3b46e6abc9a7ce0cb7e275b6a1eb",
   "bytes": 6902,
   "visibility": "public"
  },
  "computational-lithography/results/minimal-solve-selection.json": {
   "sha256": "9e9d389b6db6223f0d75cb4a995a79bbde0422f16f42b2e46ef9da23ed5092fb",
   "bytes": 8819,
   "visibility": "public"
  },
  "computational-lithography/results/proof-cache-pcache1.json": {
   "sha256": "6713d2d290643d9d595c3b3ea4978cf737be41faa3682b4920505ac114d239e8",
   "bytes": 8476,
   "visibility": "public"
  },
  "computational-lithography/results/proof-carrying-mask-edits.json": {
   "sha256": "369f8d08f1f86bb6479750ab3e51e207ca3fb27e0e45b535c6fbd30d8614cd2f",
   "bytes": 8718,
   "visibility": "public"
  },
  "computational-lithography/results/sos-quartic-lower-bound.json": {
   "sha256": "7c6384dd262ebb582e092cac0b6d55f022d19d567cda98b7eca2656e10f04030",
   "bytes": 8444,
   "visibility": "public"
  },
  "computational-lithography/results/succinct-reticle-certificate.json": {
   "sha256": "ac212a0e73b4f8c284253f7c3e8feb0cd4d1cf8e2a4f8237b6979854f72f32c7",
   "bytes": 7419,
   "visibility": "public"
  },
  "computational-lithography/results/tiled-composition-epsilon.json": {
   "sha256": "49693310b4a8cba97d817bcd7740feb832fc27bcb500e87ac3a289f88f9664ba",
   "bytes": 8144,
   "visibility": "public"
  },
  "computational-lithography/top40.json": {
   "sha256": "9f0461a0d2984e3758cbc833be85e031425cbae2003aaab4fb239f6be6f71334",
   "bytes": 105530,
   "visibility": "withheld"
  },
  "eda-platform/dataroom/top_n_check_record.jsonl": {
   "sha256": "bcf68e331862b52d44ba170c60dbe3fe8de9af765b8391d9c7273bba906a8a0f",
   "bytes": 2969,
   "visibility": "withheld"
  },
  "eda-platform/dataroom/witness_quality.json": {
   "sha256": "5d2d65d9f615f82734053987e1e14af00a77857adb31911ce729430ddfe65ec9",
   "bytes": 85668,
   "visibility": "withheld"
  },
  "eda-platform/repro/CJ-7/DEFECT.json": {
   "sha256": "cf74fed85e1af5cdaed26e004101999caaa0f7a71dce9fb3f7d360ae17479cf8",
   "bytes": 639,
   "visibility": "withheld"
  },
  "eda-platform/repro/CJ-7/ENV.md": {
   "sha256": "42da65c8bbb4e4f766827ba92e65b8d126ab37e85d0fff29e47e6822e314b3e0",
   "bytes": 2064,
   "visibility": "withheld"
  },
  "eda-platform/repro/CJ-7/EXPECTED.md": {
   "sha256": "2c50fe9894641389be11a247442f78a7edf10f9afc44bfd657f2b7061ab38c05",
   "bytes": 2609,
   "visibility": "withheld"
  },
  "eda-platform/repro/CJ-7/EXTERNAL_BAR.md": {
   "sha256": "ea21fc6f4c86c5b68b92987226b5901dee8e9a488da3f29c03c9209493042240",
   "bytes": 2643,
   "visibility": "withheld"
  },
  "eda-platform/repro/CJ-7/INPUTS.sha256": {
   "sha256": "6d51d496d486b9772e9e1c6afec78768d631c77f677a11b400932de17e54dd67",
   "bytes": 43622,
   "visibility": "public"
  },
  "eda-platform/repro/CJ-7/repro.sh": {
   "sha256": "fb8ea775316115919f877f838896d4c41f7604b2c9611fb668c313d703e3d045",
   "bytes": 1426,
   "visibility": "withheld"
  },
  "eda-platform/repro/F8R-002/DEFECT.json": {
   "sha256": "55eb240803480fae89da60f57b2007dfe7e5b792cc0224cb2c2e849a0dc8c51d",
   "bytes": 577,
   "visibility": "public"
  },
  "eda-platform/repro/F8R-002/ENV.md": {
   "sha256": "c4a40f3e092d0442f678a86e9d854b00c4a91ef93fd0bb99652796076463f30f",
   "bytes": 1974,
   "visibility": "withheld"
  },
  "eda-platform/repro/F8R-002/EXPECTED.md": {
   "sha256": "6d6b91cb00c8dd3340325da865105b4f2ba5339446bab4600d8b1688bd841320",
   "bytes": 2689,
   "visibility": "withheld"
  },
  "eda-platform/repro/F8R-002/EXTERNAL_BAR.md": {
   "sha256": "1d82fec7f718183543998708f8acec1c7c36570526cdca10ef55e72eee50c6d9",
   "bytes": 2621,
   "visibility": "withheld"
  },
  "eda-platform/repro/F8R-002/INPUTS.sha256": {
   "sha256": "291cf0595ecf6b8164e3c70b6d991dff9f856e469036319050766fec92cef4b8",
   "bytes": 821,
   "visibility": "public"
  },
  "eda-platform/repro/F8R-002/repro.sh": {
   "sha256": "fcd4349a6d1b1538346f71c17bbfbb4dc0d1763fef0d26fe6dd7a1d8e1a9a0b7",
   "bytes": 1786,
   "visibility": "withheld"
  },
  "eda-platform/repro/INDEX.json": {
   "sha256": "91fdca26428550cc9427dd324d88fd24aeafc694e67a7a7dbcd826ce0fdce698",
   "bytes": 10617,
   "visibility": "withheld"
  },
  "eda-platform/results/CJ-7.json": {
   "sha256": "e5c82b7710c5d26a899b026bb42336cb7094ab7123996d089a39b8f0c4b30961",
   "bytes": 7292,
   "visibility": "public"
  },
  "eda-platform/results/F8R-002.json": {
   "sha256": "d2abb69b1e8b58178f842ceffb822c4d83155a142d941a7475af03de8c12214e",
   "bytes": 7932,
   "visibility": "public"
  },
  "eda-platform/top40.json": {
   "sha256": "ffd4723536e6be02e5c06faff7dcbf827d202fcd0bb27ad7f4f60874fccc131d",
   "bytes": 60955,
   "visibility": "withheld"
  },
  "holdco/estate_surface.json": {
   "sha256": "3595a2f457e3e854c96e37cba6b4c9cf342576b8336829d70f10468b9e57fe96",
   "bytes": 15041,
   "visibility": "public"
  },
  "holdco/printed_recipe_2026-09-05.txt": {
   "sha256": "578941099505615f1eb03ef166fddb3ab28518e31ee037f363d2caa596a897fd",
   "bytes": 1873,
   "visibility": "withheld"
  },
  "holdco/v3/measured/agent_sessions.json": {
   "sha256": "cf76198020df9c263535c33f6f1cc51f8c2a28c2d450b49514d9d3e795d7eedc",
   "bytes": 487,
   "visibility": "public"
  },
  "holdco/v3/measured/defect_survivors.json": {
   "sha256": "94e82986ca674ef4043027d8ba35013c6ea8ebd5cad89ad4b0ecfe91efee1f11",
   "bytes": 10385,
   "visibility": "public"
  },
  "holdco/v3/measured/engine.json": {
   "sha256": "ff40d320e41567cb17a7bb5dfa60e4b20ed519cd12c2a73e499aa07ff829e665",
   "bytes": 1198,
   "visibility": "public"
  },
  "holdco/v3/measured/ip_ledger.json": {
   "sha256": "704c020eed9f1f6ed562d43e32bfeaeda7827d0b74a7a02bd60f0987becbe63d",
   "bytes": 16599,
   "visibility": "public"
  },
  "holdco/v3/measured/lean_compile_gate.json": {
   "sha256": "eef55840c0843214766682a9dfab358a029eebcce4560a11759e694fd96aa69d",
   "bytes": 99885,
   "visibility": "public"
  },
  "holdco/v3/measured/lean_theorems.json": {
   "sha256": "37ce4f1747d1600fb5b6abdf4f1030aca82f6b754916ce4b7e23786bd79cd505",
   "bytes": 3189,
   "visibility": "public"
  },
  "holdco/v3/measured/open_artifacts.json": {
   "sha256": "ca8474906857f7a0643eab0d0360085c17d08e3cdd13918b8ebfcd28e064f85a",
   "bytes": 3628,
   "visibility": "public"
  },
  "holdco/v3/measured/pqc_mfb_meta.json": {
   "sha256": "3a7c3fa31aa40eeeca9ee86e723062b1599b1f4345f8c5ae859abcaf1794f6b9",
   "bytes": 1711,
   "visibility": "public"
  },
  "holdco/v3/measured/result-aerial-image-enclosure.json": {
   "sha256": "f20f4618d794e31910588550f13f6085b9aed67d4e77b91e70ab9ce0ca46555e",
   "bytes": 3430,
   "visibility": "public"
  },
  "holdco/v3/measured/result-ap-memory-bound.json": {
   "sha256": "b75ac1bac4ebb6d375e89b4436140b2758647ad2aa7bbc5218c82a5477805b7a",
   "bytes": 3257,
   "visibility": "public"
  },
  "holdco/v3/measured/result-composition-certificates.json": {
   "sha256": "06a5cf0964cebc2ccf4fcc8f0140b8eb2e33eb019d31f77284edcb90ae27ee5b",
   "bytes": 3816,
   "visibility": "public"
  },
  "holdco/v3/measured/result-independent-solver-anchors.json": {
   "sha256": "9d3003ef85cf1199b0fe945d224aa73c6060d22635756cf65aef42223134027a",
   "bytes": 3790,
   "visibility": "public"
  },
  "holdco/v3/measured/result-owned-3d-end-effect.json": {
   "sha256": "f923f42710b9b0aa11e0e80671598f1cd961c81b024222605ae81392ced0faf1",
   "bytes": 5065,
   "visibility": "public"
  },
  "holdco/v3/measured/result-pairwise-impossibility.json": {
   "sha256": "9a02fddebb5e3abb7a28041ad7d18719c77bede23e9410c46a5bb8c85fced55b",
   "bytes": 3773,
   "visibility": "public"
  },
  "holdco/v3/measured/result-proof-carrying-mask-edits.json": {
   "sha256": "2aaf57c15bf0c7c533cd43f90bf35de103f170bfe7aa33770bc85c0d618bdbac",
   "bytes": 3199,
   "visibility": "public"
  },
  "holdco/v3/measured/result-proof-of-deletion.json": {
   "sha256": "a82b30e8e73d8724b2d4745ccfc5b866602429a9745af08c25f7b0fec4a35013",
   "bytes": 3001,
   "visibility": "public"
  },
  "holdco/v3/measured/result-reorder-memory-mechanism.json": {
   "sha256": "cbdad56d4b512849484e9d1f530c71e898671feb4a39a9dac62234dbb638aaee",
   "bytes": 4460,
   "visibility": "public"
  },
  "holdco/v3/measured/result-reticle-certificate.json": {
   "sha256": "879a8036fc55a86cc2c2d184be0466434679e340c550a875dc42bd8d04d3bff7",
   "bytes": 3805,
   "visibility": "public"
  },
  "holdco/v3/measured/result-tn-bits.json": {
   "sha256": "79738818c81ce0e4dfc0a5451c2a3c644d63e04cda1ffdb819972d143c6b99c8",
   "bytes": 3341,
   "visibility": "public"
  },
  "holdco/v3/measured/result-txn-crash-recovery.json": {
   "sha256": "3c3b2bb52aa1cb36d053ffad127413ae2f1392f19c037c72772e60ef3833e223",
   "bytes": 4784,
   "visibility": "public"
  },
  "holdco/v3/measured/result-uec-interconnect-essentiality.json": {
   "sha256": "2c22d48bd7a3fff757f841e5b78517610abdcf2d2f0ef323b05e4985ad84550e",
   "bytes": 3671,
   "visibility": "public"
  },
  "holdco/v3/measured/result-unseeded-hunt.json": {
   "sha256": "f81bb34412f6d1d96e41b46016e8e060e0d0e946efc588688e88e9538517bf35",
   "bytes": 3381,
   "visibility": "public"
  },
  "holdco/v3/measured/results_current.json": {
   "sha256": "106fcc790f35e045d04a6561cf00f2867d6b3e21e903b45f4a3321f6b5c69b87",
   "bytes": 2863,
   "visibility": "public"
  },
  "holdco/v3/measured/track_record.json": {
   "sha256": "cc5751f5d960eacdff0670a38d35b8280cc834146ee1f8bc3b124fb612edd003",
   "bytes": 2159,
   "visibility": "public"
  },
  "holdco/v3/proofs/acvp-255/acvp_ci.json": {
   "sha256": "f531ac848846ec13a923a5f3710e6e5ebf1a493ec9119222a52b072d61ff781e",
   "bytes": 2245,
   "visibility": "public"
  },
  "holdco/v3/proofs/ap-memory-bound/lean_proof_ci.json": {
   "sha256": "ba82e69dfa5520b596c998100eec99f585b9f0f8d6b5e340497947d922a67fc8",
   "bytes": 5532,
   "visibility": "public"
  },
  "holdco/v3/proofs/dielectric-trap/bt_dielectric_trap_public.json": {
   "sha256": "1a969d36f4606bbb446692bd837dff246a8fdb88ab9657f46938d08ca0ad323f",
   "bytes": 4388,
   "visibility": "public"
  },
  "holdco/v3/proofs/fleet-optimal/fleet_optimality_cert.json": {
   "sha256": "51d9a5314785dcf8af3ea25900689671d7f406365836a28cb0f1c30c349a07bb",
   "bytes": 2438,
   "visibility": "public"
  },
  "holdco/v3/proofs/pairwise-impossibility/family_two_tight_pairs_certified_sup_2026_08.json": {
   "sha256": "88c6991422777adf7a1661ca3b6071b18aaa39c1ce664d6f8e09c35b994ca71d",
   "bytes": 234599,
   "visibility": "public"
  },
  "holdco/v3/proofs/reticle-certificate/evidence.json": {
   "sha256": "975c1fc3fc493bca46d6fa502568ed109ef6af8f70cf46bf9f6617f92a3b7bbe",
   "bytes": 39404,
   "visibility": "public"
  },
  "holdco/v3/proofs/tn-bits/essential_bits_cert.json": {
   "sha256": "afb6cd375d2f439c6223d01474358cbe055bf75350fe0b5566f3ab26a20ec52c",
   "bytes": 5736,
   "visibility": "public"
  },
  "holdco/v3/proofs/unseeded-hunt/unseeded_hunt_ci.json": {
   "sha256": "b47e41ee8c6e7daa5e1f98aea85b870c0e006c1f8d44279f08cf6ad40adcb537",
   "bytes": 2929,
   "visibility": "public"
  },
  "inference-limits/dataroom/top_n_check_record.jsonl": {
   "sha256": "a674007bd1bcc71c72d9033d28bbf3c0fe0f19bff407993b2a71aacfa57fca6f",
   "bytes": 1701,
   "visibility": "withheld"
  },
  "inference-limits/dataroom/witness_quality.json": {
   "sha256": "2d25181a8dde236a009eb4264e63f129382d7641862180d6001c0be2856f9049",
   "bytes": 82971,
   "visibility": "withheld"
  },
  "inference-limits/repro/INDEX.json": {
   "sha256": "80ed62f5df6a95c42aa44f13ab11a287c303acf258caf8ff2bd72439f5fc0bf0",
   "bytes": 46450,
   "visibility": "withheld"
  },
  "inference-limits/repro/encoder-within-3-bits/DEFECT.json": {
   "sha256": "0b3b61b3840d4c52b76e06f14a496ad4122423dddeddb40c905eb56ca50df669",
   "bytes": 732,
   "visibility": "public"
  },
  "inference-limits/repro/encoder-within-3-bits/ENV.md": {
   "sha256": "7d7b2ea2733e8ba30bce0f483f69fecf5965ea5dfdd667f484dc4fb84963f551",
   "bytes": 3452,
   "visibility": "withheld"
  },
  "inference-limits/repro/encoder-within-3-bits/EXPECTED.md": {
   "sha256": "49284fa86c93d4a5166a754ff2d739bb66796326096fdba65e9abceba570852c",
   "bytes": 3265,
   "visibility": "withheld"
  },
  "inference-limits/repro/encoder-within-3-bits/EXTERNAL_BAR.md": {
   "sha256": "01bbb43859fb142e07fb6a8817f698a0f5efb08f4a6e6f91c621ccea5da9c28b",
   "bytes": 1893,
   "visibility": "withheld"
  },
  "inference-limits/repro/encoder-within-3-bits/INPUTS.sha256": {
   "sha256": "95f97b269cfb781bb4cae7a81c7029f6e61d440868acaccfbd15fc67a39c449c",
   "bytes": 1577,
   "visibility": "public"
  },
  "inference-limits/repro/encoder-within-3-bits/repro.sh": {
   "sha256": "b13f671784e3030586f855419199322c2f411a00b365c24a76c02924a2d69160",
   "bytes": 1296,
   "visibility": "withheld"
  },
  "inference-limits/repro/essentiality-bits-floor/DEFECT.json": {
   "sha256": "be764e9a101eba96188784c0b9014d477db63b9305e0d1c6eb7473131dfcc6eb",
   "bytes": 661,
   "visibility": "public"
  },
  "inference-limits/repro/essentiality-bits-floor/ENV.md": {
   "sha256": "50ff4f55aa1254ec23393773e885be10481a16189e2a8c13f1a5fb38b2f37460",
   "bytes": 1783,
   "visibility": "withheld"
  },
  "inference-limits/repro/essentiality-bits-floor/EXPECTED.md": {
   "sha256": "6ddeeaaf0fa67f25c9888431ed8855d9e255f7ad94237fa2ea23bb35a4226a50",
   "bytes": 3010,
   "visibility": "withheld"
  },
  "inference-limits/repro/essentiality-bits-floor/EXTERNAL_BAR.md": {
   "sha256": "bcaace169136b872dd140a3312b71fe77d2fed5c656cdb036372fcb893b76751",
   "bytes": 2156,
   "visibility": "withheld"
  },
  "inference-limits/repro/essentiality-bits-floor/INPUTS.sha256": {
   "sha256": "b72f29829d5d796dc5836ffdff552d79fc1ecf3489e0347b6fdcfd07ecb07167",
   "bytes": 1022,
   "visibility": "public"
  },
  "inference-limits/repro/essentiality-bits-floor/repro.sh": {
   "sha256": "7883a8d30c075bbfaa9472385ac4cc3e308d4d45ae598649eee3b5426a5fcc78",
   "bytes": 1307,
   "visibility": "withheld"
  },
  "inference-limits/repro/fleet-optimality-cpsat/DEFECT.json": {
   "sha256": "c6d5e8a672a25127641bff68e7325f2270d302cc907574d50f1df1e8e2fc0ebd",
   "bytes": 577,
   "visibility": "public"
  },
  "inference-limits/repro/fleet-optimality-cpsat/ENV.md": {
   "sha256": "127f52dfb975aa86963b20a4a4423e917e129e34a795e7623be744ef6c6028d1",
   "bytes": 1559,
   "visibility": "withheld"
  },
  "inference-limits/repro/fleet-optimality-cpsat/EXPECTED.md": {
   "sha256": "ad4bb8701ddaa967cfe807901996932ec77f5e9034d3bde70f8471a700aad18d",
   "bytes": 2620,
   "visibility": "withheld"
  },
  "inference-limits/repro/fleet-optimality-cpsat/EXTERNAL_BAR.md": {
   "sha256": "0ff760e51a45c4867891077e463c428fbf764effef2a5851e9c69ba39be1e68a",
   "bytes": 2213,
   "visibility": "withheld"
  },
  "inference-limits/repro/fleet-optimality-cpsat/INPUTS.sha256": {
   "sha256": "ee417536b30cca24294528c1ae9df13890c5ff461b0db77e63f3676ac335f0c9",
   "bytes": 239,
   "visibility": "public"
  },
  "inference-limits/repro/fleet-optimality-cpsat/repro.sh": {
   "sha256": "6df1a3682b5927b4c1c60598784252194df4c5da1b6fd175c582f13b0ed0654f",
   "bytes": 1314,
   "visibility": "withheld"
  },
  "inference-limits/repro/proof-of-deletion/DEFECT.json": {
   "sha256": "26faa6d3e2a80c162b5242471dcb1acf98852f254753cd7ae5fd2795817ea483",
   "bytes": 459,
   "visibility": "public"
  },
  "inference-limits/repro/proof-of-deletion/ENV.md": {
   "sha256": "78b2a5a96d49394416102a4bdb37c6c8c46311635ef8df9ca03cdacc76a6c356",
   "bytes": 2164,
   "visibility": "withheld"
  },
  "inference-limits/repro/proof-of-deletion/EXPECTED.md": {
   "sha256": "2379d588ee50db68a1c9440fb2803a6c689d35b0432292abb72610a04b76a4f1",
   "bytes": 3682,
   "visibility": "withheld"
  },
  "inference-limits/repro/proof-of-deletion/EXTERNAL_BAR.md": {
   "sha256": "9230a34b56f4796431b479d0c75d387dc98216a1d131a3a0e5e0e01c24337d5f",
   "bytes": 1686,
   "visibility": "withheld"
  },
  "inference-limits/repro/proof-of-deletion/INPUTS.sha256": {
   "sha256": "2e4421c11f8ee86645e36a9bc61f06bcea93512243f514f396d70334c8c46af3",
   "bytes": 7045,
   "visibility": "public"
  },
  "inference-limits/repro/proof-of-deletion/repro.sh": {
   "sha256": "5bcff85fc13fa859a73c321a0c291a8b7f47d4ea7fbb3f75ede453f68cef3893",
   "bytes": 1211,
   "visibility": "withheld"
  },
  "inference-limits/repro/reorder-memory-mechanism/DEFECT.json": {
   "sha256": "57ab268ca856e84fd8301bd5a25e4aabe44318369f27657db1a7da2f128c656c",
   "bytes": 644,
   "visibility": "public"
  },
  "inference-limits/repro/reorder-memory-mechanism/ENV.md": {
   "sha256": "29568bfc92a497533935dda9cf39f0354f10b782b93f823e64c9e3f75b9e0aa2",
   "bytes": 1425,
   "visibility": "withheld"
  },
  "inference-limits/repro/reorder-memory-mechanism/EXPECTED.md": {
   "sha256": "a5ce3429f918c2d17fdb4308166dd1e1947cb05948c431cd30e4dab6c658cc16",
   "bytes": 3015,
   "visibility": "withheld"
  },
  "inference-limits/repro/reorder-memory-mechanism/EXTERNAL_BAR.md": {
   "sha256": "7ff82645d55591c92695c21b78cf10d2906e56638bc86961285ca60b0f013123",
   "bytes": 1761,
   "visibility": "withheld"
  },
  "inference-limits/repro/reorder-memory-mechanism/INPUTS.sha256": {
   "sha256": "4809038988beb658058748df7b03ea20990a8dbca5640257b02023854f246e49",
   "bytes": 1681,
   "visibility": "public"
  },
  "inference-limits/repro/reorder-memory-mechanism/repro.sh": {
   "sha256": "1d4f5b57b8c4bc5d7e50e7d63e2f6b52dbef22c1c4e10b6a41e88825e212944c",
   "bytes": 1294,
   "visibility": "withheld"
  },
  "inference-limits/results/certfabric-verifycore.json": {
   "sha256": "544c31513f79ea713c4c29dc7363a18a744533a938202a1a1c039adda2dc4c32",
   "bytes": 8467,
   "visibility": "public"
  },
  "inference-limits/results/claim-control-plane.json": {
   "sha256": "cab54c8e2a28dac12e0145afb83e1cd0fbda774364f958cc2d6541c1edb7c5ae",
   "bytes": 8052,
   "visibility": "public"
  },
  "inference-limits/results/counting-wall.json": {
   "sha256": "c75d104b669738d21b63180929209c849136fecb4bf17628886ceb02c9ceed8e",
   "bytes": 9384,
   "visibility": "public"
  },
  "inference-limits/results/encoder-within-3-bits.json": {
   "sha256": "b61987276386d73d1826c9b461d035163e8b655616e60cdfb18e6ca4cb9946e0",
   "bytes": 10057,
   "visibility": "public"
  },
  "inference-limits/results/essentiality-bits-floor.json": {
   "sha256": "ee5dfd24cd9f2f7364836c80b08038ac865bb32720137b8900b1adb37e19dfed",
   "bytes": 9294,
   "visibility": "public"
  },
  "inference-limits/results/fleet-optimality-cpsat.json": {
   "sha256": "4dde6c66e23e8e4afd4801f4524f51f7155b6ade944de0171f174198c8c870eb",
   "bytes": 9870,
   "visibility": "public"
  },
  "inference-limits/results/kv-state-abi.json": {
   "sha256": "10e301efbe75f9c15c2569ccdb35e5bad67626ddeb03e9632c2606e2a7feb67b",
   "bytes": 7718,
   "visibility": "public"
  },
  "inference-limits/results/linear-state-logistics.json": {
   "sha256": "fb9058f05b85b3d923c4767f98cc68837f3db9d00d4d6647811666c8a9e6df2d",
   "bytes": 8586,
   "visibility": "public"
  },
  "inference-limits/results/proof-of-deletion.json": {
   "sha256": "07706314562267d6f025328b6155243f2db74b5dcfd51e0f931ec02ab802bfd3",
   "bytes": 10946,
   "visibility": "public"
  },
  "inference-limits/results/reorder-memory-mechanism.json": {
   "sha256": "57f73888805b5ddad9c08e73ad0abf0cb919a9ee5740a42fed0709c6fc56e3da",
   "bytes": 9670,
   "visibility": "public"
  },
  "inference-limits/results/zero-sorry-corpus.json": {
   "sha256": "178d4625065eb4a23fc30c9905d0e53ce7dbce57eaade2355ba2e4f5ae313f14",
   "bytes": 9438,
   "visibility": "public"
  },
  "inference-limits/top40.json": {
   "sha256": "5d74491a747c903d407b42abbeececaf6268df57216a1fac67aa795bc4092b6e",
   "bytes": 246151,
   "visibility": "withheld"
  },
  "packaging-extraction/dataroom/top_n_check_record.jsonl": {
   "sha256": "73bf88d1ecd6c3299599f1929a6fda2e3b20dbe725d908375a1aec5038f199e8",
   "bytes": 3855,
   "visibility": "withheld"
  },
  "packaging-extraction/dataroom/witness_quality.json": {
   "sha256": "a5b45f767596df7e20404884fd30f0975b1931cf08bb7f3b4e4bfc4b83073c51",
   "bytes": 161552,
   "visibility": "withheld"
  },
  "packaging-extraction/repro/INDEX.json": {
   "sha256": "3e1cdc5f09bf5c34a582d32529e944a4fe565211faccceb3dc5a7a1724f68635",
   "bytes": 28509,
   "visibility": "withheld"
  },
  "packaging-extraction/repro/extraction-to-circuit-boundary/DEFECT.json": {
   "sha256": "dc0d6041c5e7299d67b007b28e711b8b4c03909511250bb8798e49902cbcaaad",
   "bytes": 515,
   "visibility": "public"
  },
  "packaging-extraction/repro/extraction-to-circuit-boundary/ENV.md": {
   "sha256": "df8553382761c2224103b4a3e46215780e5003212531c4c2bc86ecc9f60acebb",
   "bytes": 1566,
   "visibility": "public"
  },
  "packaging-extraction/repro/extraction-to-circuit-boundary/EXPECTED.md": {
   "sha256": "304c40ddfb90b4ae7ff4877d082077619d2e38179251a6a176a5d0c84744fdff",
   "bytes": 4682,
   "visibility": "public"
  },
  "packaging-extraction/repro/extraction-to-circuit-boundary/EXTERNAL_BAR.md": {
   "sha256": "1dcf4ca772957cdf2f51bdb993ef9e708f003a6966ac262d375ddae31b9d2bc3",
   "bytes": 2213,
   "visibility": "public"
  },
  "packaging-extraction/repro/extraction-to-circuit-boundary/INPUTS.sha256": {
   "sha256": "b692a2ce1d0b1a30640b608cb7c76a0b2b9fd2fe691bd227d9b16706ef8ec695",
   "bytes": 1762,
   "visibility": "public"
  },
  "packaging-extraction/repro/extraction-to-circuit-boundary/repro.sh": {
   "sha256": "a4524b96611fe3f00fa44edf87f4c368722cf52f2e7c329d9faf5249169f562a",
   "bytes": 1246,
   "visibility": "public"
  },
  "packaging-extraction/repro/independent-solver-anchors/DEFECT.json": {
   "sha256": "0322ebb6c9426e936f54614eac238a06dbc53ecb5290542ded17ca5ab22edab1",
   "bytes": 593,
   "visibility": "withheld"
  },
  "packaging-extraction/repro/independent-solver-anchors/ENV.md": {
   "sha256": "bc2c7d6fe97e15d5e9b5446baf4b0de4b65a67f407467259bd2adb94689f35e1",
   "bytes": 6513,
   "visibility": "withheld"
  },
  "packaging-extraction/repro/independent-solver-anchors/EXPECTED.md": {
   "sha256": "f258c8e410103d5d97c07827cfb061accb4c7c369aaa7f1393e3f0066c0575b2",
   "bytes": 3505,
   "visibility": "public"
  },
  "packaging-extraction/repro/independent-solver-anchors/EXTERNAL_BAR.md": {
   "sha256": "433d906bc35bd961f7489f83373371aed635c1fb5d7152b2039ce6229e4057c7",
   "bytes": 3138,
   "visibility": "public"
  },
  "packaging-extraction/repro/independent-solver-anchors/INPUTS.sha256": {
   "sha256": "bf72b50c302e13f69d0c6f526b0f1450d3ef2ba84699958e138e3d158da521a5",
   "bytes": 2126,
   "visibility": "public"
  },
  "packaging-extraction/repro/independent-solver-anchors/repro.sh": {
   "sha256": "ad6cfd9e021e1ff6bbca0a77b704a4b5ff2b1dcc6934a2b22bef7badd5cc2ea4",
   "bytes": 2672,
   "visibility": "withheld"
  },
  "packaging-extraction/repro/owned-3d-end-effect/DEFECT.json": {
   "sha256": "2adc6f3979faa341dc0ae1c09b0b8188bdc9255f042bfdbf88c884eec802596c",
   "bytes": 729,
   "visibility": "public"
  },
  "packaging-extraction/repro/owned-3d-end-effect/ENV.md": {
   "sha256": "20dc9a8d716fba86717723a614f6e60f0cc77019c23a90f5f9f2920227e39103",
   "bytes": 1740,
   "visibility": "public"
  },
  "packaging-extraction/repro/owned-3d-end-effect/EXPECTED.md": {
   "sha256": "92f205b08fed76d24ca46c715ea9ae389fd8b6ee0f02effd0fa18dee777b933f",
   "bytes": 2611,
   "visibility": "public"
  },
  "packaging-extraction/repro/owned-3d-end-effect/EXTERNAL_BAR.md": {
   "sha256": "cb9fa57a461e977e6521eaefe4d23f9d2c4e9a029f936f0d257e9feb77476900",
   "bytes": 2082,
   "visibility": "public"
  },
  "packaging-extraction/repro/owned-3d-end-effect/INPUTS.sha256": {
   "sha256": "3f9ccb3946186ee8769693bf8b98f48bef3ee12356fa91aff8252ba1bbd9b15a",
   "bytes": 1750,
   "visibility": "public"
  },
  "packaging-extraction/repro/owned-3d-end-effect/repro.sh": {
   "sha256": "1fb1ba737a531ab16003a7c0a3f6477d02556212e7d7a34a87e9e93fb08141e3",
   "bytes": 1228,
   "visibility": "public"
  },
  "packaging-extraction/repro/proof-estate-lean-z3/DEFECT.json": {
   "sha256": "d1495f074fae2418e964276daeb4b334fc208efc94db05a72cf978d446913543",
   "bytes": 497,
   "visibility": "public"
  },
  "packaging-extraction/repro/proof-estate-lean-z3/ENV.md": {
   "sha256": "4abcb28f64e2f2da3192515b449cb20ac64ba632fcad0370555ef3a057955037",
   "bytes": 1563,
   "visibility": "public"
  },
  "packaging-extraction/repro/proof-estate-lean-z3/EXPECTED.md": {
   "sha256": "73e98dfacc7bfc5ac2baf1b06f23e99035eadf2c104b6fff2cfff6fcb4594d49",
   "bytes": 1932,
   "visibility": "public"
  },
  "packaging-extraction/repro/proof-estate-lean-z3/EXTERNAL_BAR.md": {
   "sha256": "c0226aebaad2999ce8468e28b331e3ba6e1a7e1f58dfec528c22d6a9953872e2",
   "bytes": 2140,
   "visibility": "public"
  },
  "packaging-extraction/repro/proof-estate-lean-z3/INPUTS.sha256": {
   "sha256": "49267731c56b70d6b2c349504ebd028ac54be178868e14edf813400b796c862e",
   "bytes": 1097,
   "visibility": "public"
  },
  "packaging-extraction/repro/proof-estate-lean-z3/repro.sh": {
   "sha256": "986f0fe43d882f422670a9de9a29e5cd81d8f5f81996fc26ada119f1f37d49b8",
   "bytes": 1397,
   "visibility": "public"
  },
  "packaging-extraction/repro/signoff-certificate-engine/DEFECT.json": {
   "sha256": "bddd95f60c20c619876fe4aa2c9f341cb0dd66f7f67df187ef1112dc2cd9ca32",
   "bytes": 582,
   "visibility": "public"
  },
  "packaging-extraction/repro/signoff-certificate-engine/ENV.md": {
   "sha256": "6d65fe212a5302065b35b1b81b8e806f489b5526df1a9597210718fe9401e761",
   "bytes": 1603,
   "visibility": "public"
  },
  "packaging-extraction/repro/signoff-certificate-engine/EXPECTED.md": {
   "sha256": "3960a32d49b81ac7878202539a3d13531f6a25380584c348d14f9c42f6b073e4",
   "bytes": 2641,
   "visibility": "public"
  },
  "packaging-extraction/repro/signoff-certificate-engine/EXTERNAL_BAR.md": {
   "sha256": "4797b8de10489e14dbb2d9ed6c86675f2e67df39ce1e00e8008a37a19374a3ba",
   "bytes": 1983,
   "visibility": "public"
  },
  "packaging-extraction/repro/signoff-certificate-engine/INPUTS.sha256": {
   "sha256": "106d7ed546131d80b6302d4772c6e643aeb5f790f6c3387b8336df3f1722ed8f",
   "bytes": 10158,
   "visibility": "public"
  },
  "packaging-extraction/repro/signoff-certificate-engine/repro.sh": {
   "sha256": "a0c43f4029d61a5dabc11b105631d53dc2633420799a2673f41c62f9c377d450",
   "bytes": 1232,
   "visibility": "public"
  },
  "packaging-extraction/results/application-layer-defect.json": {
   "sha256": "274f017038a8f1b6403c2b773afebcd21cb697430d08c1a635fc26c826c164a7",
   "bytes": 7261,
   "visibility": "public"
  },
  "packaging-extraction/results/certification-battery.json": {
   "sha256": "51b27adeacdeee5cc935a268cdd9a64998ecdc65daa085a2be38d1b7a2c45717",
   "bytes": 8289,
   "visibility": "public"
  },
  "packaging-extraction/results/certified-inverse-reachability.json": {
   "sha256": "551b1da73c863f48ea59acfb84e249d2a55655399b20f1c3c63451102118d489",
   "bytes": 7923,
   "visibility": "public"
  },
  "packaging-extraction/results/certified-rd-loop.json": {
   "sha256": "bfb2905732c7741209054ffeeb4236a8608fc48dc47ac5defe7ce888b886bbc4",
   "bytes": 6902,
   "visibility": "public"
  },
  "packaging-extraction/results/certified-residual-surrogate.json": {
   "sha256": "d4f2100a70cdc14732bf126c92290d328fba659750c7941529c1ae0dfe4f2f8a",
   "bytes": 6781,
   "visibility": "public"
  },
  "packaging-extraction/results/closed-loop-design.json": {
   "sha256": "20e09b685fdc1dfa83e0300d28eba4fd426d1f65793333fadfd3ade97caea9c9",
   "bytes": 7133,
   "visibility": "public"
  },
  "packaging-extraction/results/committed-honest-negatives.json": {
   "sha256": "e19f39562190d78058557c1f7b70300795b78a799fcb9e88ecc67d066b682548",
   "bytes": 7169,
   "visibility": "public"
  },
  "packaging-extraction/results/confidential-exchange.json": {
   "sha256": "b93979363d6a2860b3549a5b4e97d4f705e9733138ec284195ee7c47c7ab755a",
   "bytes": 7214,
   "visibility": "public"
  },
  "packaging-extraction/results/conformal-risk-stack.json": {
   "sha256": "fb83ca91725c4cbcfb2f30b220480e15fc5a675b0d7007220798a06b2b5a3eb0",
   "bytes": 7471,
   "visibility": "public"
  },
  "packaging-extraction/results/coupled-etm-adjoint.json": {
   "sha256": "647c398993296f11addfefab57d3368e954e0e668be4d2092caa3c99942ecf74",
   "bytes": 7774,
   "visibility": "public"
  },
  "packaging-extraction/results/evidence-priced-router.json": {
   "sha256": "fef313257a86d2f3ace58356ee4b85f0ebc55d9cadfdcd1dc86be5a27af5aa07",
   "bytes": 6917,
   "visibility": "public"
  },
  "packaging-extraction/results/extraction-to-circuit-boundary.json": {
   "sha256": "efc401df64928af15b693629f7d5150db633da84ee9b7934ceb3bfa0b1640fde",
   "bytes": 8806,
   "visibility": "public"
  },
  "packaging-extraction/results/forall-impossibility-pairwise.json": {
   "sha256": "d178d9ea28f18e801b127ead1a0ba7997bee867e9054c02b57000bff15b3158c",
   "bytes": 6943,
   "visibility": "public"
  },
  "packaging-extraction/results/independent-solver-anchors.json": {
   "sha256": "7f492d13be26c1321275ddfcac2be9a764083872993c5bc84c530d80c0f4af51",
   "bytes": 9813,
   "visibility": "public"
  },
  "packaging-extraction/results/interval-core.json": {
   "sha256": "6a260904bc3af18c409a699e06a579988fabd87959fafc840ca6b3900590964f",
   "bytes": 6657,
   "visibility": "public"
  },
  "packaging-extraction/results/model-invalidity-maps.json": {
   "sha256": "76dbc6d18e86b5db85f76c1c52e1616d3a73f8ee67878b5f96e29df91d1c2c08",
   "bytes": 7245,
   "visibility": "public"
  },
  "packaging-extraction/results/non-additivity-floor.json": {
   "sha256": "076a56203cf86ebba432cc3178a1a407c721cb3390273e1e4c7d3c512ff5dd5d",
   "bytes": 7353,
   "visibility": "public"
  },
  "packaging-extraction/results/open-distribution.json": {
   "sha256": "8a79c69a70f35d9ff98b4c3daf0f1a80dbc01c9990dc74306c027734c223b970",
   "bytes": 7493,
   "visibility": "public"
  },
  "packaging-extraction/results/owned-3d-end-effect.json": {
   "sha256": "95d87ff3009e96dedb13c0684f2edffae61fedf1f573702e48a7d536a0caae3b",
   "bytes": 10064,
   "visibility": "public"
  },
  "packaging-extraction/results/owned-faucet-likeforlike.json": {
   "sha256": "6eb7f50213fb8fd5a0648ed51dcbabe482f3874b14752dd60975ba9ecf6dbf09",
   "bytes": 7075,
   "visibility": "public"
  },
  "packaging-extraction/results/passive-by-construction-s.json": {
   "sha256": "a3821c4c4b471da10c0d50c6379452032b66f62b5139f80bd087130313d15b16",
   "bytes": 7195,
   "visibility": "public"
  },
  "packaging-extraction/results/pdk-portable-verifier.json": {
   "sha256": "07ebcdf814bc99616e8d724760a7a580eed2af6545e8343db2474f7b217a5220",
   "bytes": 7216,
   "visibility": "public"
  },
  "packaging-extraction/results/physics-theorem-discovery.json": {
   "sha256": "1b10a9c4bd82a1f7564b2ee5bb803b6a3d01033711bec49f88235cce1e2503c5",
   "bytes": 7045,
   "visibility": "public"
  },
  "packaging-extraction/results/platform-delivery-surface.json": {
   "sha256": "ce2bd4b9b88b6099fe78f854999b8c84782fe6554147e28a3afc7b4c106e8b96",
   "bytes": 7726,
   "visibility": "public"
  },
  "packaging-extraction/results/priced-scaling-law.json": {
   "sha256": "523fa3071055187c4ba2db98389ce522db339f5befbdd33f4cfc78c62ec0a3ed",
   "bytes": 6925,
   "visibility": "public"
  },
  "packaging-extraction/results/proof-estate-lean-z3.json": {
   "sha256": "17c0d7f42a6901911eca04738a46ca6b5fe728138d54cc20e4492e947f1c39cc",
   "bytes": 8431,
   "visibility": "public"
  },
  "packaging-extraction/results/served-ensemble-certified.json": {
   "sha256": "59afbb25707157b7c648d6ab894b5c4be8c7970a39581eaef21ef21ed20e0201",
   "bytes": 7201,
   "visibility": "public"
  },
  "packaging-extraction/results/signoff-certificate-engine.json": {
   "sha256": "561a665a57dc623a5b6b2ea684cca5faa226b89639333572be450b6f41eae31e",
   "bytes": 8641,
   "visibility": "public"
  },
  "packaging-extraction/results/trust-chain.json": {
   "sha256": "dd1bad9ee5c25652839491fe0aebca70c18632243287fb3fbd5b27c6153d1456",
   "bytes": 7002,
   "visibility": "public"
  },
  "packaging-extraction/results/two-sided-envelope-design-direction.json": {
   "sha256": "7b8ceee538444fff95d744a74392157f9058033c3cc6a44c7ce92f7d2a7e03d6",
   "bytes": 7482,
   "visibility": "public"
  },
  "packaging-extraction/results/ungameable-arena.json": {
   "sha256": "e653038c9a4815062c12fdd4ec42b69cd2b9b69dab4bce8b17abc7f1690b97ca",
   "bytes": 7317,
   "visibility": "public"
  },
  "packaging-extraction/top40.json": {
   "sha256": "1dca1ae6d762bd584ae11aa353701b702e3378cf912d8d64ec065e74f589319e",
   "bytes": 245175,
   "visibility": "withheld"
  },
  "results-record/claim_coverage_2026-09.md": {
   "sha256": "47785d130492c5c68b9fcedf0669e862d8216320632227bfbc7f8b90dd63ed0f",
   "bytes": 20237,
   "visibility": "withheld"
  },
  "results-record/claims_census_2026-09.md": {
   "sha256": "79ca50c3472bae4ebd179ed533456325be8e0e9027739787bfba9f06442fc39b",
   "bytes": 80004,
   "visibility": "withheld"
  },
  "results-record/cross_lab_record.md": {
   "sha256": "27f28b4e16e34f1e11d9ad21f3eb9c52c66f38293fae804934af0a7ac69f423b",
   "bytes": 107160,
   "visibility": "withheld"
  },
  "results-record/phase6_commitment.json": {
   "sha256": "41ecb1297889801a9915cf11bdb752f6d005d6f95826f88719c701b47174db4f",
   "bytes": 94136,
   "visibility": "withheld"
  },
  "template/contract/site-content-package.schema.json": {
   "sha256": "f47694d490f86b95348175f7e6251825580ded42cd575b21fdbdee0869117bfb",
   "bytes": 9246,
   "visibility": "withheld"
  },
  "wireless-pqc/dataroom/top40.json": {
   "sha256": "6076db4027d7499ac53b5cf15f9a07bb7e41c38f56fb0f469a62353e10e65353",
   "bytes": 167747,
   "visibility": "withheld"
  },
  "wireless-pqc/dataroom/top_n_check_record.jsonl": {
   "sha256": "9bf48d398fc36b52f21264edc3a04b8e2c3cd7da3c53f24ec80636897997097e",
   "bytes": 3364,
   "visibility": "withheld"
  },
  "wireless-pqc/dataroom/witness_quality.json": {
   "sha256": "5d379a10112d400163b35100a423124c28e8bfbbdbe4378b71840eda85f75cfe",
   "bytes": 143046,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/INDEX.json": {
   "sha256": "378fd4a3ce4f44403b7c9ca6a3f19c11895831f892736376c90cf9423037f9eb",
   "bytes": 26512,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/cbmc-bounded-decision-contracts/DEFECT.json": {
   "sha256": "4d37f09b9f6e7d1b84a81ea95734adb38fe0b1d220e90319d0147259bebb589b",
   "bytes": 555,
   "visibility": "public"
  },
  "wireless-pqc/repro/cbmc-bounded-decision-contracts/ENV.md": {
   "sha256": "c03f2fd14fca4564d4ce5b2d2c5d08e1929c0a44583895cb80997482ebe4ab04",
   "bytes": 1483,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/cbmc-bounded-decision-contracts/EXPECTED.md": {
   "sha256": "cf06dbfbadfdf6c4a343c5874e52a2b4d5b82cbdd1119ef3d17e19d93de7f3c0",
   "bytes": 2585,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/cbmc-bounded-decision-contracts/EXTERNAL_BAR.md": {
   "sha256": "5d91164a149e30aee14364bc17c379e608228ea1b10f2e4967c735ddf8104b5b",
   "bytes": 1324,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/cbmc-bounded-decision-contracts/INPUTS.sha256": {
   "sha256": "dbd92027fbe6ee03b1ff57667c9e63f8b2b43629ba77c37055d2e4a0f29962e6",
   "bytes": 280,
   "visibility": "public"
  },
  "wireless-pqc/repro/cbmc-bounded-decision-contracts/repro.sh": {
   "sha256": "08553a6de3b91f817894b953a844a8ddf0e79c54393f9db2f9269f40b0101866",
   "bytes": 1238,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/claimbom-refuted-third-party/DEFECT.json": {
   "sha256": "68f1241debab2f36b597b4cf7cafe747b63f199a2aac009fafba61c5b695f3fa",
   "bytes": 458,
   "visibility": "public"
  },
  "wireless-pqc/repro/claimbom-refuted-third-party/ENV.md": {
   "sha256": "339b84f6ee915099636b2f6b18fdd631c0babd4869fe57a5d07c840465efd25e",
   "bytes": 1352,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/claimbom-refuted-third-party/EXPECTED.md": {
   "sha256": "d51dc292dd62e7a2eb778a764278d1e627ded035f45246fa20324252114213db",
   "bytes": 3309,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/claimbom-refuted-third-party/EXTERNAL_BAR.md": {
   "sha256": "b616cb18e36fb16ea8578a6f0d8a57d0c88f9d3687c961ef19f43a9d8ff41d75",
   "bytes": 1645,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/claimbom-refuted-third-party/INPUTS.sha256": {
   "sha256": "2a66ed37f9f3a1d32b199c641cd3f6811cf409539680cba6c3e01f00ba8cfa7e",
   "bytes": 11463,
   "visibility": "public"
  },
  "wireless-pqc/repro/claimbom-refuted-third-party/repro.sh": {
   "sha256": "269a7f45f261b9c08f75e59c8d40db30dca1a02a6065674cdb50eb888aa8aae0",
   "bytes": 1203,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/kyberslash-fixed-version-ct/DEFECT.json": {
   "sha256": "b4ced09f0fd1cd7433ca65602186df1a4125f24a54c9ebaf618b93781fc942d6",
   "bytes": 708,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/kyberslash-fixed-version-ct/ENV.md": {
   "sha256": "bc3b44431ab9059a1b0df310e8650433d5e1605a592aca278705d0f1309a6e1d",
   "bytes": 1894,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/kyberslash-fixed-version-ct/EXPECTED.md": {
   "sha256": "b693f47e828d3191118b3dacdc5fbcefeec84233eb54cbd2da94ff60a11e6a32",
   "bytes": 3182,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/kyberslash-fixed-version-ct/EXTERNAL_BAR.md": {
   "sha256": "b865b5ce06f9087276a3817640abce4bc4fcc64191afc59fcfb1614d127a445e",
   "bytes": 1330,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/kyberslash-fixed-version-ct/INPUTS.sha256": {
   "sha256": "2ea939371433f9ddf3f313dc8bbdacd3d4b2822cae9b2fff962aaf9a1404f896",
   "bytes": 375,
   "visibility": "public"
  },
  "wireless-pqc/repro/kyberslash-fixed-version-ct/repro.sh": {
   "sha256": "f62ce327420222b18392003fa716c1b59fad77f5166a0b33f6e644e0ed5d311f",
   "bytes": 1369,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/sae-proof-kill-matrix/DEFECT.json": {
   "sha256": "8c572b877ac9b8f3d1717ec74a2b3ca528fcdcbc5ecd2ec3dadc939c4f829950",
   "bytes": 480,
   "visibility": "public"
  },
  "wireless-pqc/repro/sae-proof-kill-matrix/ENV.md": {
   "sha256": "417cebd4373a679103de0ae086971d9b6fbad015c11880263c64bc3c58039abb",
   "bytes": 7519,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/sae-proof-kill-matrix/EXPECTED.md": {
   "sha256": "25b20eb42c93f459b0cd9b02b5bfca3e87dd5d3c4093ddd7819efc7a9566c43f",
   "bytes": 2607,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/sae-proof-kill-matrix/EXTERNAL_BAR.md": {
   "sha256": "40ac545d9eef2abb7391a319591d08267b432379721fd39bffd37e5d5f64e3b3",
   "bytes": 1111,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/sae-proof-kill-matrix/INPUTS.sha256": {
   "sha256": "7d206d41fb5f6ef4ccee18aa97ce44807eef931c628ea8eefecc58ebdb76b6f9",
   "bytes": 475,
   "visibility": "public"
  },
  "wireless-pqc/repro/sae-proof-kill-matrix/repro.sh": {
   "sha256": "7c5fb79e132d841dbd3a1a9a9c1e8c6c692e794db62c61e811b1f83fbd1d4173",
   "bytes": 1496,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/third-party-mlkem-interop/DEFECT.json": {
   "sha256": "f5120b8674d90e67fe9c51dbf18542ce61e934f8c921e86c1f8aeb4abe19dc01",
   "bytes": 513,
   "visibility": "public"
  },
  "wireless-pqc/repro/third-party-mlkem-interop/ENV.md": {
   "sha256": "f97dd76ff911d8e2133bc6f8519b44d5425ae9e87f046f9f1e035a725916c250",
   "bytes": 4804,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/third-party-mlkem-interop/EXPECTED.md": {
   "sha256": "271f8def04dd7ad9a8a2b360d6bdd88d0e86699a43dbdb14ce677200d34b7908",
   "bytes": 3316,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/third-party-mlkem-interop/EXTERNAL_BAR.md": {
   "sha256": "3f4dfb1685aae5f867bac7a907d74b9428f6bf617553945f2f8cc0d82c817a60",
   "bytes": 1345,
   "visibility": "withheld"
  },
  "wireless-pqc/repro/third-party-mlkem-interop/INPUTS.sha256": {
   "sha256": "9ed626d8ec4b638100c7663f4d2e61f1bc68caaa7f4cca04ae59a362e368fc47",
   "bytes": 473,
   "visibility": "public"
  },
  "wireless-pqc/repro/third-party-mlkem-interop/repro.sh": {
   "sha256": "c048f9268aea921a7248d7353f67cb0d0f57812ab359be7196ff9ee980794d9c",
   "bytes": 1399,
   "visibility": "withheld"
  },
  "wireless-pqc/results/acvp-nist-255-vectors.json": {
   "sha256": "c9795cf630f656dab40d3f99c7dc9cc57dd3401746ddda64ee9ed3f05be5e3b7",
   "bytes": 9420,
   "visibility": "public"
  },
  "wireless-pqc/results/ap-wide-memory-bound.json": {
   "sha256": "fd210ca0ecd0106dd3adfbc181be277633072b6095ceac4682c242b6a437d7f3",
   "bytes": 9324,
   "visibility": "public"
  },
  "wireless-pqc/results/atlas-admits-what-does-not-fit.json": {
   "sha256": "901683c73f039cb9b194f6b784b03b22c313f328135ba5ab6c0bbefa3239d5b7",
   "bytes": 8362,
   "visibility": "public"
  },
  "wireless-pqc/results/cbmc-bounded-decision-contracts.json": {
   "sha256": "5f0d84ab8c9dc5e0b3aedcc222e117c6f845d0531bb9ecbed493a2ba09f47538",
   "bytes": 9321,
   "visibility": "public"
  },
  "wireless-pqc/results/claimbom-refuted-third-party.json": {
   "sha256": "77b8dfa9e624d3ae8c392cc6e97a03c2c8cc468270ddab69b72bbeecb74a5fbc",
   "bytes": 9438,
   "visibility": "public"
  },
  "wireless-pqc/results/conformal-risk-certificate.json": {
   "sha256": "7ecdcf55041dfbe81fd3085f217445c4ddd1fdac7fb6d91a71f6df0d18e65837",
   "bytes": 7972,
   "visibility": "public"
  },
  "wireless-pqc/results/counter-only-cannot-be-exactly-once.json": {
   "sha256": "61381dc3a9ee9dcf4270acde1e38eb5cba4863363e04e9a754cc08e7dbfb23b1",
   "bytes": 8326,
   "visibility": "public"
  },
  "wireless-pqc/results/cross-genus-refutation.json": {
   "sha256": "35c6becfa52dc8525703540705e8f08c7897dd148ec45a09f6011c5cb8ead000",
   "bytes": 8620,
   "visibility": "public"
  },
  "wireless-pqc/results/farkas-unsound-checker-deleted.json": {
   "sha256": "179a0ecf519dc5903d922ee82fca05da66911d381516960198c5115a21506a2b",
   "bytes": 8431,
   "visibility": "public"
  },
  "wireless-pqc/results/forbidden-headline-gate.json": {
   "sha256": "a8eda11b0d6e2c3efeb3021c5324775c65cf71e0eecb9a3b8e256ac9d8d4aec8",
   "bytes": 8397,
   "visibility": "public"
  },
  "wireless-pqc/results/kyberslash-fixed-version-ct.json": {
   "sha256": "a539d4fea14ada6f4f64132c543922e001e3e9ff5b6abf365640c7fe63cb357b",
   "bytes": 11133,
   "visibility": "public"
  },
  "wireless-pqc/results/libcrux-three-way-agreement.json": {
   "sha256": "2bff4f2d09c7e78efa4ad301e6de5826bd9ec45e9ee4e5099e0935653cc5f74f",
   "bytes": 7490,
   "visibility": "public"
  },
  "wireless-pqc/results/minhw-six-floors.json": {
   "sha256": "e17286a6d23cec497fd1adbe4f636457a200020d591bb46cfa02845b96fc1dde",
   "bytes": 8459,
   "visibility": "public"
  },
  "wireless-pqc/results/mlo-755-zero-accepted.json": {
   "sha256": "0f8bcae81c15fe1c9d8c1642e141efc2f4fc79759f48c149572aff6706b15f25",
   "bytes": 8522,
   "visibility": "public"
  },
  "wireless-pqc/results/modelrisk-two-of-four.json": {
   "sha256": "adefeda517d9cd49b3edb4933af7b74d8c12829b56f7feea6f46d3392f9ee03b",
   "bytes": 12203,
   "visibility": "public"
  },
  "wireless-pqc/results/mutation-kill-rate.json": {
   "sha256": "d1650941acde47f64b801afe283a79e7049ff17f529af1618f8700ecb2c32508",
   "bytes": 8775,
   "visibility": "public"
  },
  "wireless-pqc/results/netlist-equivalence-422.json": {
   "sha256": "3de8045641313d7b5bdd3fac8ac22d5c5192903c1def80c068a1a87e6222d29a",
   "bytes": 13685,
   "visibility": "public"
  },
  "wireless-pqc/results/onair-and-cpu-attribution.json": {
   "sha256": "7ee34ace49cbedcbf0117c3e50207d70bc8b3d5d9ed44e8ffa76638d2a1f4675",
   "bytes": 9451,
   "visibility": "public"
  },
  "wireless-pqc/results/redgreen-162-breaks.json": {
   "sha256": "f6b402e0bde15e594b1ac9ec876a6cbbdc2021fa7063ff02a97fe15ff5937c19",
   "bytes": 8492,
   "visibility": "public"
  },
  "wireless-pqc/results/rust-python-102-verdicts.json": {
   "sha256": "14f01c76ddb605694d731432f59575de10ae7cbdfd0b6d0099b0735fe29ef1ca",
   "bytes": 7929,
   "visibility": "public"
  },
  "wireless-pqc/results/sae-proof-kill-matrix.json": {
   "sha256": "c33e5dbb916b73f504e4bf51317d093cdf21eeb3291f70cdae15c1c3bc87aeb9",
   "bytes": 10090,
   "visibility": "public"
  },
  "wireless-pqc/results/standalone-c-verifier-bundle.json": {
   "sha256": "d973f549aa14ee7251531057420c9bfc75c4c4e88322b89c29e45720a7180a04",
   "bytes": 10440,
   "visibility": "public"
  },
  "wireless-pqc/results/third-party-mlkem-interop.json": {
   "sha256": "13b6339ddc5ea25b9914878cd1735e0adf24a73793382a1b18f6fc544c3ab641",
   "bytes": 10582,
   "visibility": "public"
  },
  "wireless-pqc/results/unseeded-hunt-11200.json": {
   "sha256": "ed6b3178217b531d9e0041d99b4cecfddb79b11392930be40cfc5099e733093a",
   "bytes": 12440,
   "visibility": "public"
  },
  "wireless-pqc/results/zk-stark-receipt-102.json": {
   "sha256": "8556c55e041359676a6e81f52a2d3fef47ec87e8118464187aa1fb2e1df5c108",
   "bytes": 7487,
   "visibility": "public"
  },
  "wireless-reliability/_root/repro/INDEX.json": {
   "sha256": "0bff5030dca36a8e129e242975c67c75d1b983c670458420bee8b943429ac3ee",
   "bytes": 24483,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/capinfer-mcp-disagreements/DEFECT.json": {
   "sha256": "a680ada37e34c9e6fa3b5e9c57a262c0670c7f170d2c1c0ba5021d6c3b59dd11",
   "bytes": 602,
   "visibility": "public"
  },
  "wireless-reliability/_root/repro/capinfer-mcp-disagreements/ENV.md": {
   "sha256": "bfbb67febbe6cec1b8ce9b891adf2a01e86661dbfff7873d3d336e74164e377b",
   "bytes": 2640,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/capinfer-mcp-disagreements/EXPECTED.md": {
   "sha256": "f98110252e6671314511f50a60debb1c6cea10c43c079eba5ab5ebba2f588a40",
   "bytes": 3941,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/capinfer-mcp-disagreements/EXTERNAL_BAR.md": {
   "sha256": "ca0f1ba506e118a64eb8ee71c445233cd8e6139fe1a16942a8d9929a63079352",
   "bytes": 1635,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/capinfer-mcp-disagreements/INPUTS.sha256": {
   "sha256": "fb7fed608d61662d29bdf4a5e394e285d82f18337a76761f6b0a58386c194c2a",
   "bytes": 5535,
   "visibility": "public"
  },
  "wireless-reliability/_root/repro/capinfer-mcp-disagreements/repro.sh": {
   "sha256": "cee32ce865d0a84199ba89e0c6f934d4cc4cdaf3a7a59fef0c1b5eb906bcb4dd",
   "bytes": 1327,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/frer-injectivity-floor/EXTERNAL_BAR.md": {
   "sha256": "cfb1c7c2c3b0e5baa38d6458840de90590e9266bde6b5b17e0904e31de5fcdb0",
   "bytes": 11179,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/leastpriv-six-axis-synthesis/DEFECT.json": {
   "sha256": "91445f3d86b68535aae38633185199953974063c041e92b0f674497715857f4b",
   "bytes": 573,
   "visibility": "public"
  },
  "wireless-reliability/_root/repro/leastpriv-six-axis-synthesis/ENV.md": {
   "sha256": "86e21e4ef95652dec4a895597ffe74676dfb2d252ca672be841452e4a9c0f786",
   "bytes": 1631,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/leastpriv-six-axis-synthesis/EXPECTED.md": {
   "sha256": "163265e55019c0853bd9d2c6b5861eab0ddb1e4b1d97103728a312ad7977da21",
   "bytes": 6157,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/leastpriv-six-axis-synthesis/EXTERNAL_BAR.md": {
   "sha256": "5dede99c9be3661f2b1b00fd2afaa18ee415704cd8a0eaa581f8ba9dc1c8a896",
   "bytes": 1485,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/leastpriv-six-axis-synthesis/INPUTS.sha256": {
   "sha256": "212c7d565d2e3c753d123872fda40c42fb1e4f85d391304c26fd7cd5bf1809aa",
   "bytes": 3392,
   "visibility": "public"
  },
  "wireless-reliability/_root/repro/leastpriv-six-axis-synthesis/repro.sh": {
   "sha256": "6d5864f25e60b7336ce45debb85a3866a1823a877cc53f090ff883b3a7061482",
   "bytes": 1465,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/monitorgen-five-targets/DEFECT.json": {
   "sha256": "fe32a2303c88f2469a3c9fda7bdc3f75b2b941ea868b73de2797b61213c789a7",
   "bytes": 797,
   "visibility": "public"
  },
  "wireless-reliability/_root/repro/monitorgen-five-targets/ENV.md": {
   "sha256": "621a1b4e5e6ab5a69d7a1fb69906909893124fe5c9e7eacfdafdfa4a383ec8e1",
   "bytes": 2000,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/monitorgen-five-targets/EXPECTED.md": {
   "sha256": "9ad52601c0cfa111a91c0d9eb9c78e45111ae3aedf141fe12d760bf1ce585869",
   "bytes": 6269,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/monitorgen-five-targets/EXTERNAL_BAR.md": {
   "sha256": "2045fc9f132cca8264d0a5ac597c48a2df7ae3ab34f725d75b3a441094e919a5",
   "bytes": 1551,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/monitorgen-five-targets/INPUTS.sha256": {
   "sha256": "1aa2ae451977930cec0d1687f3af0d9b9dbbf5c7701629102aa10ae12df5941f",
   "bytes": 3334,
   "visibility": "public"
  },
  "wireless-reliability/_root/repro/monitorgen-five-targets/repro.sh": {
   "sha256": "97fe8aa96e92d0267972444165522dd8cc8d28319f19f09d8935906f781f7e18",
   "bytes": 1601,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/txn-crash-recovery/DEFECT.json": {
   "sha256": "a016439cf77b9fd0d57dc849ea150d0f1add36869c2857a935d8305f39b10db9",
   "bytes": 422,
   "visibility": "public"
  },
  "wireless-reliability/_root/repro/txn-crash-recovery/ENV.md": {
   "sha256": "5a2b081432dde816da0edaf8091d1b0a68abcdd6424512cc6dbcb6b06be4308f",
   "bytes": 1541,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/txn-crash-recovery/EXPECTED.md": {
   "sha256": "afe01d3443c6322f100c30363d130b01d60f1e4a45eb73dc5fd3bbc62350cad7",
   "bytes": 6513,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/txn-crash-recovery/EXTERNAL_BAR.md": {
   "sha256": "189790666d5a6faa5d5789fc3dad8f8218cff784b77891a0c06d3554123ef00d",
   "bytes": 1384,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/txn-crash-recovery/INPUTS.sha256": {
   "sha256": "ae786b332510fcb0da346b16a76f2833398c0a0fbc491de03f9067d4ca940014",
   "bytes": 3726,
   "visibility": "public"
  },
  "wireless-reliability/_root/repro/txn-crash-recovery/repro.sh": {
   "sha256": "7558e36f6771b51a6ed22b64ff8ca4cdf0443ea9acbb86772a9577f66dcd0eec",
   "bytes": 1412,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/uec-interconnect-essentiality/DEFECT.json": {
   "sha256": "852466796dbfa65bc6760d71f46cfb3d9683573b058d301a10d7da5a6ae1a157",
   "bytes": 837,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/uec-interconnect-essentiality/ENV.md": {
   "sha256": "bb6428655929bb9f3422ba238576f5825dc33e285891aa806bc93d6cb4399b35",
   "bytes": 5113,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/uec-interconnect-essentiality/EXPECTED.md": {
   "sha256": "0b077e895ea344baf1a8a16e91d9f6b5b31aef90a6bb14e0730807c35d2710d6",
   "bytes": 6771,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/uec-interconnect-essentiality/EXTERNAL_BAR.md": {
   "sha256": "babfa844cfce82c1c0757865bcbb2b4aaac5fcef3f2f394ac6769080724e7e4b",
   "bytes": 2053,
   "visibility": "withheld"
  },
  "wireless-reliability/_root/repro/uec-interconnect-essentiality/INPUTS.sha256": {
   "sha256": "16da2b7a155becdae7faf60c2272e28b18e6f479c9b03c9b6fea4d40b2c979b6",
   "bytes": 4682,
   "visibility": "public"
  },
  "wireless-reliability/_root/repro/uec-interconnect-essentiality/repro.sh": {
   "sha256": "dc270c4c8405fa553eb5607f03372d3913e72fbcdc504ff275cd0691b07d4b3e",
   "bytes": 1626,
   "visibility": "withheld"
  },
  "wireless-reliability/dataroom/top40.json": {
   "sha256": "94bf9dc5735a54020b7052fde3da5f062e760f2cb351babab0fcd6f1b52c7be5",
   "bytes": 163338,
   "visibility": "withheld"
  },
  "wireless-reliability/dataroom/top_n_check_record.jsonl": {
   "sha256": "0a32ca5be37efe69c4770cfdc34075f6101dfd530f8f64349812f119f1dc256f",
   "bytes": 3470,
   "visibility": "withheld"
  },
  "wireless-reliability/dataroom/witness_quality.json": {
   "sha256": "d54d7585c2c9014d607f3a27518062eea78a5e1ac86733df5c69067c25f5f365",
   "bytes": 135112,
   "visibility": "withheld"
  },
  "wireless-reliability/results/automata-maximum-ceiling.json": {
   "sha256": "67e45c3df4ddffb3eb4c1329c8c739b925d67e3732c6b9a70afdeb5f3942039b",
   "bytes": 9090,
   "visibility": "public"
  },
  "wireless-reliability/results/capinfer-mcp-disagreements.json": {
   "sha256": "5725b96666cebc018842fd2a3196ce06bd98990c5fd28748e2731753a0eacd79",
   "bytes": 10457,
   "visibility": "public"
  },
  "wireless-reliability/results/composition-certificates.json": {
   "sha256": "d74e18ea84057b4c2b93ffce213e56ce8642d0f3adfe29c0e1dd2c7e67adbd34",
   "bytes": 8267,
   "visibility": "public"
  },
  "wireless-reliability/results/covert-square-root-law.json": {
   "sha256": "491111519428086f547352055ed7ae68c52efdab3ca74ad207ec891973bfccc4",
   "bytes": 9041,
   "visibility": "public"
  },
  "wireless-reliability/results/exact-circuit-synthesis.json": {
   "sha256": "3868ebef1218183169435f7bb61d3eaff2b46aef48df32fb8bddb86c56dab2a6",
   "bytes": 8351,
   "visibility": "public"
  },
  "wireless-reliability/results/frer-injectivity-floor.json": {
   "sha256": "c0b677136ecdbaf60e7bdd3efb0b380747f4e7b5c396518485db1575dba0d56f",
   "bytes": 9381,
   "visibility": "public"
  },
  "wireless-reliability/results/leastpriv-six-axis-synthesis.json": {
   "sha256": "c3464d75bec711c0fe5e9175468e9802c4db7bd76ba11962ea5e7fdc1fbc7b2f",
   "bytes": 12787,
   "visibility": "public"
  },
  "wireless-reliability/results/lm-hallucination-floor.json": {
   "sha256": "24e9aa814af11faea3211cf2f3d9eb2795321f101c34d67308dcd8fa061287c9",
   "bytes": 8994,
   "visibility": "public"
  },
  "wireless-reliability/results/monitorgen-five-targets.json": {
   "sha256": "1a3c4f73fefa0499f3c1c778ff34802d52214156bc1b47ef3f912436db4476d5",
   "bytes": 13601,
   "visibility": "public"
  },
  "wireless-reliability/results/observable-completeness-and-parameter-region.json": {
   "sha256": "1772e47127f7a33cd4254f5aafd8647e0760beb983c5b3785e5076640976163e",
   "bytes": 9661,
   "visibility": "public"
  },
  "wireless-reliability/results/provenance-lint.json": {
   "sha256": "acfde40987d0941ec4a8cc1d790d5e834e3ab1e30f4f9dec30c2f131632d39d3",
   "bytes": 8688,
   "visibility": "public"
  },
  "wireless-reliability/results/rounds-sandwich.json": {
   "sha256": "0c2e1fde32b2a8e48046f18eb8f0a4267b5ab65d4e0c83d8602f997d5a9dda74",
   "bytes": 9123,
   "visibility": "public"
  },
  "wireless-reliability/results/statistical-certificates.json": {
   "sha256": "dba593b82a3573a701a6337833185555af712b095bad13f9b123b95fc2077ff3",
   "bytes": 10112,
   "visibility": "public"
  },
  "wireless-reliability/results/two-engine-tail-latency-converses.json": {
   "sha256": "65c06acf805d1de290395761e512d4437c96188f6d304b7588d1adfbaa8e59a6",
   "bytes": 10413,
   "visibility": "public"
  },
  "wireless-reliability/results/txn-crash-recovery.json": {
   "sha256": "3b5e4cbb628e822d458fdee5a5fe522ce8126364617028ed0853133b1cecb309",
   "bytes": 10898,
   "visibility": "public"
  },
  "wireless-reliability/results/uec-interconnect-essentiality.json": {
   "sha256": "4270e202405346daa7c0839e7d6fc3d6ea155772138e9abc28e78b2b9a676521",
   "bytes": 16780,
   "visibility": "public"
  },
  "wireless-reliability/results/xdomain-cross-domain-foundry.json": {
   "sha256": "f0f4652630d22330f02ce839aa28bfbb984a73f9d0adc3013768ff4561f10df3",
   "bytes": 9507,
   "visibility": "public"
  }
 }
}