{
  "version": 1,
  "generated": "2026-09-23T19:46:40Z",
  "note": "Every file this site serves, with the bytes it serves and their sha256. Hash any of them and the digest must match the row here.",
  "source_of_record": {
    "note": "The commit of the shared results record (the parent lab's site, verifycorelabs.com) these files are checked against: its live build. Every row below whose path that record also serves carries the sha256 the record publishes for that file at this commit, except the files listed under `rederived`.",
    "index_commit": "164ba87f3b466b6ce59aeee0ca1b998d781cc3c6",
    "published_tree_commit": "164ba87f3b466b6ce59aeee0ca1b998d781cc3c6",
    "index_sha256": "43c1c1fb053511d204f937d6120b3e935f68f78b5f285f6e923b32d06c4fd068",
    "published_manifest_sha256": "92bf7c75f1e910d47e0846a9f9d8e917763d229e349c2dee4f5256221844de5b",
    "rederived": {
      "note": "These files were derived again from later commits of their codebases and of the portfolio's claims record, so their rows carry the sha256 of the bytes derived at those commits, not the sha256 the shared results record above publishes for them (sha256_before; null where the record does not serve the file). UEC, monitorgen, leastpriv and netlist differ from the copies served before by the labs' 2026-10-03 publication wording and by the newer claims record. The unseeded-hunt file was served before from an earlier commit (709160c5) and now carries that lab's current title, claim and scope, which add the exhaustive enumeration of every compound of up to three attack families (53,485 compounds, no escape) to the 11,200-evaluation budgeted search, and its limits, which say where each part stops. The certbench and patch-differential files are newly served (released for publication 2026-10-03). Run at the earlier commits and claims record, the same assembler reproduces the bytes served before exactly.",
      "assembler": "the shared results record's own assembler, sites-holdco commit 8cb970e, with one change: its Reconciliation-table parser reads columns by header name (the claims record added a column; the parser is byte-identical in what it returns for the claims record it was written for). The seven result files are assembled against the claims record at portfolio-control 1e308f7; leastpriv_gate.json is the lab's own file, copied byte for byte from the commit named.",
      "files": {
        "wireless-reliability/results/uec-interconnect-essentiality.json": {
          "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
          "sha256_before": "f615f7217820836cb6344bb77f31831291d5854315179480d1444493c6155243",
          "bytes_before": 13392
        },
        "wireless-reliability/results/monitorgen-five-targets.json": {
          "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
          "sha256_before": "8ae70ca499c5b1f4729e14ddfbd6c15f1394ca0d184befc8619b5716f0372838",
          "bytes_before": 11358
        },
        "wireless-reliability/results/leastpriv-six-axis-synthesis.json": {
          "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
          "sha256_before": "1e3683484a0b38661d53f8319607df336827d9a57a108c3d77b718f1bf0efc16",
          "bytes_before": 10700
        },
        "wireless-pqc/results/netlist-equivalence-422.json": {
          "commit": "c5f34eda4cc9f7f86308a5db1cfa75efcd4c6841",
          "sha256_before": "c21fabf85c3982e826be24f2123621191ecf320f911a7f4bd3a9936348be231f",
          "bytes_before": 7737
        },
        "wireless-pqc/results/unseeded-hunt-11200.json": {
          "commit": "c5f34eda4cc9f7f86308a5db1cfa75efcd4c6841",
          "sha256_before": "755a0142ca9b7f5f86134f5dbc3bfcf6a8337c24cfa327c86fbee8589bc86dba",
          "bytes_before": 8447
        },
        "code-admission/results/certbench.json": {
          "commit": "b36a228c1b7ad32cc67717ac41d4419be13994a3",
          "sha256_before": null,
          "bytes_before": null
        },
        "code-admission/results/patch-differential.json": {
          "commit": "b36a228c1b7ad32cc67717ac41d4419be13994a3",
          "sha256_before": null,
          "bytes_before": null
        },
        "wireless-reliability/leastpriv/artifacts/leastpriv_gate.json": {
          "commit": "a4fcaf179309a462a74cbaae5491ab9a2a7c25e1",
          "sha256_before": null,
          "bytes_before": null
        }
      }
    }
  },
  "entries": {
    "REDACTIONS.json": {
      "sha256": "6d9857dcf15385523c76d54ffd3501ba569918069c61d96d1ebb451fc338fe63",
      "bytes": 2448,
      "visibility": "public"
    },
    "code-admission/claims/certbench.json": {
      "sha256": "c64e78cdf221169b180b36516cd452c6370ead108016885f627703a35cc8137b",
      "bytes": 2908,
      "visibility": "public"
    },
    "code-admission/claims/patch-differential.json": {
      "sha256": "9594e83d7305f07bd8a93f7bec80fdd6d59f095bd9696d73b38836c1a8b3972e",
      "bytes": 2972,
      "visibility": "public"
    },
    "code-admission/results/certbench.json": {
      "visibility": "public",
      "sha256": "18fa9f79dfd902528342194c31f9c1e62ffa13dff3bbc9a501557a8f36c227fb",
      "bytes": 8432
    },
    "code-admission/results/patch-differential.json": {
      "visibility": "public",
      "sha256": "56d707f98c9ac86d35ee771b515dc73943433c4233c4a83fc4903b41e160066f",
      "bytes": 8569
    },
    "networks/v3/measured/ap_bound.json": {
      "sha256": "11050fc57b921307415e42c53e4688767d2c10a0a957c841c0ea2c08a2da286d",
      "bytes": 987,
      "visibility": "public"
    },
    "networks/v3/measured/open_artifacts.json": {
      "sha256": "c6aed8f50062ecd3977fc148bf1474ed7e966e1c0a1f3af24fa3abf49bc937e2",
      "bytes": 2732,
      "visibility": "public"
    },
    "networks/v3/proofs/acvp-255/acvp_ci.json": {
      "sha256": "f531ac848846ec13a923a5f3710e6e5ebf1a493ec9119222a52b072d61ff781e",
      "bytes": 2245,
      "visibility": "public"
    },
    "networks/v3/proofs/ap-memory-bound-source/ApBound.lean": {
      "sha256": "1016fcc2f342d014b0d1e334de48397e54cf3b285971ca4623d8f289fb80bf7c",
      "bytes": 20102,
      "visibility": "public"
    },
    "networks/v3/proofs/ap-memory-bound/lean_proof_ci.json": {
      "sha256": "ba82e69dfa5520b596c998100eec99f585b9f0f8d6b5e340497947d922a67fc8",
      "bytes": 5532,
      "visibility": "public"
    },
    "networks/v3/proofs/ap-quota-measured/ap_quota_ci.json": {
      "sha256": "ec61c6772a5e5431be044a2539370b296bfe6e01d8efb320c59bcf76fdf4c811",
      "bytes": 35009,
      "visibility": "public"
    },
    "networks/v3/proofs/frer-floor/frer_local_check.json": {
      "sha256": "8ea778fd0c685dd2a32c737a28b9f08117da86654c9d21675a9b1437fcee937a",
      "bytes": 1280,
      "visibility": "public"
    },
    "networks/v3/proofs/gf16-optimal/gf_mult_results.json": {
      "sha256": "c7d615c65d7bad9919a006b4c38a0c04053bb60465f130f33ca47f073e952129",
      "bytes": 4336,
      "visibility": "public"
    },
    "networks/v3/proofs/harq-rounds/rounds_converse_v54.json": {
      "sha256": "a2428baa4ebcc47fec016e51fab4d21016085ec60fb7b109738b66232d86029e",
      "bytes": 4555,
      "visibility": "public"
    },
    "networks/v3/proofs/kyber-identification/claimbom_ci.json": {
      "sha256": "9bdd257dcb3d43d04716953349f558e73189cb1cd15067f5fc74f985f9533834",
      "bytes": 23322,
      "visibility": "public"
    },
    "networks/v3/proofs/unseeded-hunt/unseeded_hunt_ci.json": {
      "sha256": "b47e41ee8c6e7daa5e1f98aea85b870c0e006c1f8d44279f08cf6ad40adcb537",
      "bytes": 2929,
      "visibility": "public"
    },
    "wireless-pqc/agreement-checks/known_failures.jsonl": {
      "sha256": "150201d847a9f6c38ce722eff3f7a478d92d223500e2c397e8966836e6a6002c",
      "bytes": 18750,
      "visibility": "withheld"
    },
    "wireless-pqc/agreement-checks/predictions/ap_resource_tail_latency.json": {
      "sha256": "3bd7239172939b20d449a6d24ff196c4c713c907394480d90d0f28d39df51426",
      "bytes": 1803,
      "visibility": "public"
    },
    "wireless-pqc/agreement-checks/predictions/claimbom_dilithium.json": {
      "sha256": "a215a21f9c77fe3d930e2ccc6229e427be9eb4534825c3722a903dd86be1526b",
      "bytes": 2980,
      "visibility": "public"
    },
    "wireless-pqc/agreement-checks/predictions/claimbom_mlkem_native.json": {
      "sha256": "20246faf0010ac7c5463f1b24aa8c46a507aa43741a8e23830090fe0308d3f9b",
      "bytes": 2960,
      "visibility": "public"
    },
    "wireless-pqc/agreement-checks/predictions/crossproto_budgets_restored.json": {
      "sha256": "71d6913b671477fefdc8ce7462d3e1158ac2370264fc882a6f43eb47df99c08d",
      "bytes": 1773,
      "visibility": "public"
    },
    "wireless-pqc/agreement-checks/predictions/dos_law_linux4k.json": {
      "sha256": "6d63c5423f0dc013af6aca95069d1afc417d122f26e09732b159ec04349a5c32",
      "bytes": 1550,
      "visibility": "public"
    },
    "wireless-pqc/agreement-checks/predictions/eap_freeradius_persistent.json": {
      "sha256": "9665edcf657b5331aa8fa1c624c9eb6c7beb5a1e805a15b5ffe8497cfd664af8",
      "bytes": 1625,
      "visibility": "public"
    },
    "wireless-pqc/agreement-checks/predictions/hostapd_2_11_swap.json": {
      "sha256": "db4308e906aa29a01a9af4eff73b1311cabc43a91f8799f4833618a53d61921e",
      "bytes": 1685,
      "visibility": "public"
    },
    "wireless-pqc/agreement-checks/predictions/hybrid_family_seven.json": {
      "sha256": "af2dbfa3c33d43665fbb0e206c030d08f0fa87d811d9e18d818fd1036c766287",
      "bytes": 1647,
      "visibility": "public"
    },
    "wireless-pqc/agreement-checks/predictions/interop_3p_contract.json": {
      "sha256": "4b6d9a3082a551e83b70098e9cdbaa75c88bdfaaf80c7c645db75c026a7880ff",
      "bytes": 1675,
      "visibility": "public"
    },
    "wireless-pqc/agreement-checks/predictions/outward_provers.json": {
      "sha256": "58a3e2a7d087676937782bf6a9366f34af680e517bda32843bb0f340e1bad21c",
      "bytes": 3831,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/claimbom/pq-code-package-mlkem-native.bom.json": {
      "sha256": "b403aa24e41e1fcdc301d332ca7ef1d4b01925c704f6a144f22d84dd6e247711",
      "bytes": 251574,
      "visibility": "withheld"
    },
    "wireless-pqc/artifacts/claimbom/pq-crystals-dilithium.bom.json": {
      "sha256": "e532d234911fa6ad66f33dec275221d6c1f7017edd38842b705a763b4e9d119b",
      "bytes": 362047,
      "visibility": "withheld"
    },
    "wireless-pqc/artifacts/claimbom/pq-crystals-kyber.bom.json": {
      "sha256": "7fbe34e3f8d88420338d25c4211c8835bd4a2929a4d88772d8b749cbb160b4f7",
      "bytes": 245167,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/acvp_ci.json": {
      "sha256": "f531ac848846ec13a923a5f3710e6e5ebf1a493ec9119222a52b072d61ff781e",
      "bytes": 2245,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/adversarial_gate_audit_ci.json": {
      "sha256": "a31b2768a4fc99f9fdd60c8198d6add7901384a7e0288ee8da33130eae6c269c",
      "bytes": 5315,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/ap_quota_ci.json": {
      "sha256": "8490a22a274cf3c51c932eecb702063a1ef4eeecf40714a7033928969c1701cb",
      "bytes": 25055,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/ap_resource_gate_ci.json": {
      "sha256": "b6ca20514b3389487ae2faaad6292b2b4df4e8c03f4194719833aa5ad79e7647",
      "bytes": 258504,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/ap_resource_hwsim_ci.json": {
      "sha256": "ef4b7db56aadf3c55eb0e148b0406438079e0c02e2d8dd1d4435cedcfb8091a3",
      "bytes": 7543,
      "visibility": "withheld"
    },
    "wireless-pqc/artifacts/native/claimbom_ci.json": {
      "sha256": "9bdd257dcb3d43d04716953349f558e73189cb1cd15067f5fc74f985f9533834",
      "bytes": 23322,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/crossproto_impossibility_ci.json": {
      "sha256": "5b068dd3a78a14815d47eaf9978cbf4135ba19740776b9a9a8539621e92daca3",
      "bytes": 1155,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/designaround_boundaries_ci.json": {
      "sha256": "7137859aa1828ef0c090e1afb5875b98d59bfdfacc9b1f9286cbf23c7cb10309",
      "bytes": 2619,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/dos_memory_ci.json": {
      "sha256": "90e937e77857420ce8bfcca0b7c2f2a0e898a8c7cc44c696d9a225ccdd318b7c",
      "bytes": 12759,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/dyncap_ci.json": {
      "sha256": "8684e52a9e791ed80a0f669429981ebe5747ef0f1ba5d9e0c28dc73823e648ff",
      "bytes": 30335,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/external_readiness_ledger_ci.json": {
      "sha256": "c89c2361de164d2abad4d0e19fa751cdfd31c56ecdfd39ff2af00f016a898f85",
      "bytes": 957,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/fault_model_ci.json": {
      "sha256": "57c271f88e9e2f195046728934cea23cf07197f22dccd13c7b319727068388ba",
      "bytes": 1795,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/gate_genus_ci.json": {
      "sha256": "a8c30d7ddfee745afe166be8c527d7b168a295e47dbf623151387990f0879547",
      "bytes": 185,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/hybrid_downgrade_citation.json": {
      "sha256": "54cfdd596e979604216b2746aac4900ab6cce534192bc9abba41bd4df63d2535",
      "bytes": 6907,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/ikev2_rfc9370_downgrade_ci.json": {
      "sha256": "67b4407dba41055dba3473d1e8506fd1f1dfe744001009205dd90576185fe1b3",
      "bytes": 1670,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/interop_3p_ci.json": {
      "sha256": "6feca0be5f16c2754236770c129f84ae60232558ae277e2364457a6c2c87aa8d",
      "bytes": 2388,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/interop_kit_ci.json": {
      "sha256": "8e20b8d04bb5d73b301be79de50ee7e95fd7b008b680364978f205820f26404c",
      "bytes": 537,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/kem_combiner_binding_audit_ci.json": {
      "sha256": "458648980b4f8cabb77dfcfe1ca81d84d764247f44428c357359f8e069487493",
      "bytes": 9006,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/label_floor_ci.json": {
      "sha256": "cf86d38e77da6c2f2a4eaec96bd6452b2ec46622dd0ddea28f7c5d3a32ea4558",
      "bytes": 2300,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/lean_ap_bytes_ci.json": {
      "sha256": "5434634fe6f1a7f75200464d1b87a1ce674d6910cecb74ff8e877b52ad6e86e2",
      "bytes": 3558,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/lean_proof_ci.json": {
      "sha256": "ba82e69dfa5520b596c998100eec99f585b9f0f8d6b5e340497947d922a67fc8",
      "bytes": 5532,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/length_privacy_pareto_ci.json": {
      "sha256": "89784b7db444b54392c3ebecda636b6ac4426a2fcfdb7fbb80fb36b93d780c83",
      "bytes": 1399,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/merkle_beacon_onair_ci.json": {
      "sha256": "6ddb01cefb34f63b49eb2f8e5d0608dad6364b16151094d073ec4f8a3ebf15c4",
      "bytes": 32166,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/native_akm_inband_ci.json": {
      "sha256": "7835ffc23826212ae33f1d2f6b25099038166235f51db2ec5088a3e5a53068f3",
      "bytes": 998,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/optimality_cert_ci.json": {
      "sha256": "887300966344aacb6214c00fa1164bc3708f29b6241f1f13511a779d24db218e",
      "bytes": 7378,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/oss_verifiers_ci.json": {
      "sha256": "44adc20435e880863c1296a37e20921c3f9dc2123dc34e7bf23ba2dff2276f0c",
      "bytes": 4408,
      "visibility": "withheld"
    },
    "wireless-pqc/artifacts/native/outward_provers_ci.json": {
      "sha256": "89d9cf507fdf1f77ed1b3290330c0912cccd735f99249e69866c6e5c93628fb2",
      "bytes": 16793,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/pqc_binding_agreement-check_kat_ci.json": {
      "sha256": "85a1ccbacb3e8f17d81f0f87a8eee43bd36fff5fbfbf3d0fc418ee26c7e7512b",
      "bytes": 1917,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/pqc_handshake_onair_overhead_ci.json": {
      "sha256": "85fcc9962fd2168c1c115b24c5a16c257040e155f0ea0dcf5f311e074bb9410b",
      "bytes": 2713,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/pqc_hybrid_downgrade_family_ci.json": {
      "sha256": "5d65a8f8e9a7543a2411ebe4bc3fa3a34cb8f34d63619702881a14965fed1783",
      "bytes": 5868,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/pqc_keytransport_exploitability_ci.json": {
      "sha256": "eaef75060fdeb7594cf44a7417ef81cdf359d1f864ed7193a6e69df3dc5ae5ca",
      "bytes": 6422,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/pqc_keytransport_spec_evidence_ci.json": {
      "sha256": "a2d96282adc6fc099b6668e01f7ff80bd7174a154054abf48eb2d9a42f7435d5",
      "bytes": 5193,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/pqxdh_ci.json": {
      "sha256": "2afb28c5e88562694a3ebb6b0be6a05441e4bfde43e01bf6ec0aac11f52207f1",
      "bytes": 1927,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/pre-registration_ci.json": {
      "sha256": "e53535661e8bfdf95eac27f37bec99f9648428b67a3b89d147b1c666b655e1fc",
      "bytes": 10432,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/public_surfaces_ci.json": {
      "sha256": "94c0f2ba4260f26f5808a7132551982a779da1df878f95c3c97f56cdde640ef2",
      "bytes": 42342,
      "visibility": "withheld"
    },
    "wireless-pqc/artifacts/native/qmc_starvation_ci.json": {
      "sha256": "6efdafe19a2514b67059378c5b3249cfeaec87cd4779a3d990f0a7e7d1080662",
      "bytes": 1592,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/quota_curve_ci.json": {
      "sha256": "f705b726e88606c1f1b1c1d823fc6b87eea197953989ed283d6d1f44845b4511",
      "bytes": 1776,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/reassembly_crossing_ci.json": {
      "sha256": "014c5c33fef8a8b5100a5577614149818e242dcff45a53aeb2401b4b64345a6e",
      "bytes": 843,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/research_commitments_ci.json": {
      "sha256": "ed0cfecc1644b6b3de27ced1d776c8bd6658f0837c68b360e0dd3cce0b4d2ee4",
      "bytes": 17023,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/selfcheck_boundary.json": {
      "sha256": "97242f12e5b3aaf60a481c57b7c29608517e9508aa58d9e38ca5c7ff6118c78e",
      "bytes": 955,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/tightness_bounds_ci.json": {
      "sha256": "3a97e8186c07fdb087d6a4decf811ef5e09d9cb4b19129b17c9036e823058f32",
      "bytes": 1643,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/tightness_numeric_ci.json": {
      "sha256": "91dea90bceecb0ce50c72e462474d1053bb3941921ded73920ca1e740dc88ba4",
      "bytes": 1348,
      "visibility": "public"
    },
    "wireless-pqc/artifacts/native/xlayer_impossibility_ci.json": {
      "sha256": "282e58a7ce5cadb82e1454bdb86f0dcba8e5202b540e4bf033dbaf67b6f61103",
      "bytes": 1112,
      "visibility": "public"
    },
    "wireless-pqc/claims/netlist-equivalence-422.json": {
      "sha256": "eb32f837e94e8d867b8102d9a2739fe4da86b8db21733ea66482361b52d67318",
      "bytes": 2728,
      "visibility": "public"
    },
    "wireless-pqc/claims/unseeded-hunt-11200.json": {
      "sha256": "562366d77516a63fb8a77b380ca33aa9fb26e0c23eb9daa71fd928ca73de8458",
      "bytes": 2755,
      "visibility": "public"
    },
    "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/oss/OSS_RECONCILIATION.md": {
      "sha256": "017920c47e388031e981950a90bc41cb28cd887f1134416dcb00d5fd5f5248d9",
      "bytes": 16895,
      "visibility": "withheld"
    },
    "wireless-pqc/oss/datasets/pqc-formal-corpus/README.md": {
      "sha256": "9263151c567160b0e05523846eafbac39abd93c468d7da41d03dbbe48ebde9b2",
      "bytes": 10740,
      "visibility": "public"
    },
    "wireless-pqc/oss/outbox/pqc-claim-bom/data/claim_bom.jsonl": {
      "sha256": "d2820a43fb8be8538462b4fc6633f6d7ca657c7ae456d803db5c7e88eeb9f61c",
      "bytes": 22419,
      "visibility": "public"
    },
    "wireless-pqc/oss/outbox/pqc-hybrid-downgrade-family/data/citation.json": {
      "sha256": "34e52c3604235be5c3e712552962d28f45c1287ad9c6e29d4671fd4ef58f78ab",
      "bytes": 6906,
      "visibility": "public"
    },
    "wireless-pqc/oss/outbox/pqc-negative-results/data/negative_results.jsonl": {
      "sha256": "2ae1b99f63fc07e7ef58ec28220a4bb402e2b137b8f1ca41e5cc4cd5314c57b6",
      "bytes": 5513,
      "visibility": "withheld"
    },
    "wireless-pqc/oss/outbox/pqc-state-verifier-bundle/controls.tsv": {
      "sha256": "0ccd20a08e90f4366dcd59ffe9a62b57ddc0941f1b9a801561c26b93f7a9f6bf",
      "bytes": 701,
      "visibility": "public"
    },
    "wireless-pqc/oss/pqc-mfb/README.md": {
      "sha256": "afaa3ed7ab687ce6a04a75a8115a09a1377e2d8faeb4148f6ada5775adb3f754",
      "bytes": 17078,
      "visibility": "public"
    },
    "wireless-pqc/oss/pqc-migration-mcp/src/pqc_migration_mcp/server.py": {
      "sha256": "f632e9e68f260506f33b0e393232ef0edf1b36dd021e5354c5ab39915f0920e4",
      "bytes": 12428,
      "visibility": "public"
    },
    "wireless-pqc/oss/pqc-sizes/README.md": {
      "sha256": "dad4f2c1b0b07b1b2c72d43a039e1475d8231655b897667153ce2b89e32ad38b",
      "bytes": 14658,
      "visibility": "public"
    },
    "wireless-pqc/oss/tools/check_surface.py": {
      "sha256": "3f9083a96b54472566703d81cb1b78a0553c02664687fa2a0025810d10c6c580",
      "bytes": 17401,
      "visibility": "withheld"
    },
    "wireless-pqc/repro/INDEX.json": {
      "sha256": "378fd4a3ce4f44403b7c9ca6a3f19c11895831f892736376c90cf9423037f9eb",
      "bytes": 26512,
      "visibility": "withheld"
    },
    "wireless-pqc/repro/cbmc-bounded-decision-contracts/EXPECTED.md": {
      "sha256": "cf06dbfbadfdf6c4a343c5874e52a2b4d5b82cbdd1119ef3d17e19d93de7f3c0",
      "bytes": 2585,
      "visibility": "withheld"
    },
    "wireless-pqc/repro/claimbom-refuted-third-party/EXPECTED.md": {
      "sha256": "d51dc292dd62e7a2eb778a764278d1e627ded035f45246fa20324252114213db",
      "bytes": 3309,
      "visibility": "withheld"
    },
    "wireless-pqc/repro/kyberslash-fixed-version-ct/EXPECTED.md": {
      "sha256": "b693f47e828d3191118b3dacdc5fbcefeec84233eb54cbd2da94ff60a11e6a32",
      "bytes": 3182,
      "visibility": "withheld"
    },
    "wireless-pqc/repro/sae-proof-kill-matrix/EXPECTED.md": {
      "sha256": "25b20eb42c93f459b0cd9b02b5bfca3e87dd5d3c4093ddd7819efc7a9566c43f",
      "bytes": 2607,
      "visibility": "withheld"
    },
    "wireless-pqc/repro/third-party-mlkem-interop/EXPECTED.md": {
      "sha256": "271f8def04dd7ad9a8a2b360d6bdd88d0e86699a43dbdb14ce677200d34b7908",
      "bytes": 3316,
      "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/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/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/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/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/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/ARCHITECTURE.md": {
      "sha256": "81ed2869740b12e0520f0ab379194a8b771902085c655850abe5b6944eb0b22b",
      "bytes": 209829,
      "visibility": "withheld"
    },
    "wireless-reliability/NEGATIVE_RESULTS.md": {
      "sha256": "6b19a644c2b10e8e8070f9af5f90ca609f5c902f20d2b6600012f999cd9f33ae",
      "bytes": 16360,
      "visibility": "withheld"
    },
    "wireless-reliability/_root/repro/INDEX.json": {
      "sha256": "0bff5030dca36a8e129e242975c67c75d1b983c670458420bee8b943429ac3ee",
      "bytes": 24483,
      "visibility": "withheld"
    },
    "wireless-reliability/_root/repro/capinfer-mcp-disagreements/EXPECTED.md": {
      "sha256": "f98110252e6671314511f50a60debb1c6cea10c43c079eba5ab5ebba2f588a40",
      "bytes": 3941,
      "visibility": "withheld"
    },
    "wireless-reliability/_root/repro/leastpriv-six-axis-synthesis/EXPECTED.md": {
      "sha256": "163265e55019c0853bd9d2c6b5861eab0ddb1e4b1d97103728a312ad7977da21",
      "bytes": 6157,
      "visibility": "withheld"
    },
    "wireless-reliability/_root/repro/monitorgen-five-targets/EXPECTED.md": {
      "sha256": "9ad52601c0cfa111a91c0d9eb9c78e45111ae3aedf141fe12d760bf1ce585869",
      "bytes": 6269,
      "visibility": "withheld"
    },
    "wireless-reliability/_root/repro/txn-crash-recovery/EXPECTED.md": {
      "sha256": "afe01d3443c6322f100c30363d130b01d60f1e4a45eb73dc5fd3bbc62350cad7",
      "bytes": 6513,
      "visibility": "withheld"
    },
    "wireless-reliability/_root/repro/uec-interconnect-essentiality/EXPECTED.md": {
      "sha256": "0b077e895ea344baf1a8a16e91d9f6b5b31aef90a6bb14e0730807c35d2710d6",
      "bytes": 6771,
      "visibility": "withheld"
    },
    "wireless-reliability/artifacts/asic_flow_v38.json": {
      "sha256": "5d34c18b6b3eebc1d4f7afad605d7760e1a07819cbe0920fdf057dd44c0f028f",
      "bytes": 7450,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/attention_io_floor_v99.json": {
      "sha256": "ef3cde4234d34e384cc9f440fbbe7e3e6bfb4eb611535c84ec61ac0c61b03a60",
      "bytes": 6610,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/automata_max_essentiality.json": {
      "sha256": "88aa70a31d00f89c406a9f4dc16eb867690e02dc16d96973884ff94d50cbb446",
      "bytes": 6391,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/backends/hostapd_runs_index.json": {
      "sha256": "3ea393adbcdd5b8e9398c0a6d5788a60ea98f52203562b13f3d2b9da1f62429d",
      "bytes": 11133,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/backends/impossibility.json": {
      "sha256": "22f8d899c1f2a5126038e9b0e26a40979f995db373dc3869a9e5f8c97f6feece",
      "bytes": 188665,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/backends/lean_uncredited.json": {
      "sha256": "45e1b089dc4c8359543ce1986cf0c991e31f4838b1467a599c5bfd145d8c2830",
      "bytes": 8150,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/backends/protocol_bench_model_run.json": {
      "sha256": "ca2f94aef3bdcd1fdb10266038d3a5fe52033b1eff65533753044a5dca59cda8",
      "bytes": 2728,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/backends/scope_defaults_scan.json": {
      "sha256": "a073778153b076b4e83bc0549055e93855eb359af758b29b12d4d3d772bf8bf9",
      "bytes": 2645,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/covert_fbl_v98c.json": {
      "sha256": "bc6a57509dbf7437687519e81b7640062d3b3d5eb40fe019fa4a3f901115e5dc",
      "bytes": 7320,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/distributed_attention_floor_v101.json": {
      "sha256": "42542a7f0ea4e7fd16d3f726254740254e97560e90ba26abb601c6113f60edcb",
      "bytes": 9114,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/energy_wall.json": {
      "sha256": "09bcb8b72d7e41e65370d7c6f21f51924baff9b5ee5bb9ef2e1181706a067eda",
      "bytes": 2945,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/hallucination_floor_v99h.json": {
      "sha256": "6b02b6f94cbe9064435b2a908113b7f2e780464fe7064127d3470fa6641e87b2",
      "bytes": 4635,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/mechanism_family_closure_v90.json": {
      "sha256": "da5d5b0c6e5a0db062df149651a51e09c5bc675eec8f342cf3094aca6494d44e",
      "bytes": 20914,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/pre-registration/asic_live_bar.json": {
      "sha256": "ec5164cb543347182ffc460c05bbc2c6457875ed969ab8ba3b209fb9351563fa",
      "bytes": 2566,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/pre-registration/bpf_kernel_load_bar.json": {
      "sha256": "a61c49b3b768bef3bdac080bd557243bf142335b508415ba4f4db043b93f997d",
      "bytes": 2491,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/pre-registration/protocol_bench_qwen_bar.json": {
      "sha256": "ccc5e38a1ec1b03bb9f351a2447e2287c0d669987501be8bb92595287bad503e",
      "bytes": 3011,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/pre-registration/s08_scope_defaults_estate.json": {
      "sha256": "6488b42e97d388fc685500ee213dc86dc0d0df6a947ef00acfe23bd495184be7",
      "bytes": 3442,
      "visibility": "withheld"
    },
    "wireless-reliability/artifacts/rounds_converse_v54.json": {
      "sha256": "a2428baa4ebcc47fec016e51fab4d21016085ec60fb7b109738b66232d86029e",
      "bytes": 4555,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/semantic_max_essentiality.json": {
      "sha256": "01cfdb7e1ea8a39b80997bb01c4556dcbe1ccdeab635f973ba485de7ed58eac9",
      "bytes": 45044,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/staleness_floor_v93.json": {
      "sha256": "f7425f7babd579ceece3f76cc44cb49d1f6313c607259b881bb4d143697b0cf9",
      "bytes": 11424,
      "visibility": "public"
    },
    "wireless-reliability/artifacts/wall_vs_reliability.json": {
      "sha256": "b34d4478a431299dbf94d43192c84a0cf562b103f846486fdc91a404beda005d",
      "bytes": 45155,
      "visibility": "public"
    },
    "wireless-reliability/claims/composition-certificates.json": {
      "sha256": "542b3c7c77eeaeef451c1596eb8866d2b6a0d38f5e49d7698e29c81f5baa0212",
      "bytes": 1489,
      "visibility": "public"
    },
    "wireless-reliability/claims/leastpriv-six-axis-synthesis.json": {
      "sha256": "a184efa822a01ad297a86c3ddfcd21ecf65005b28b633966644ef2f6d9dd010a",
      "bytes": 1669,
      "visibility": "public"
    },
    "wireless-reliability/claims/monitorgen-five-targets.json": {
      "sha256": "63098c4fe71a09e09ac1336198fd255121f6fe82ef8b95af13fe5cdf4b4d37fa",
      "bytes": 1476,
      "visibility": "public"
    },
    "wireless-reliability/claims/txn-crash-recovery.json": {
      "sha256": "ba9f78e1759cdb36808acbd5c2c804dd9cd7cce782ac8f6483b84cf6458a1121",
      "bytes": 1572,
      "visibility": "public"
    },
    "wireless-reliability/claims/uec-interconnect-essentiality.json": {
      "sha256": "a52231da39b70b23eae4c06bad190fd60d4b09f1fd40ea2458c7b4711d411ddd",
      "bytes": 1746,
      "visibility": "public"
    },
    "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/lean/TTEFrerRecoveryFoils.lean": {
      "sha256": "f27a8ab614ca15c26fb8d01fd3113a547314ddd821d2be275e5ece75ea20083d",
      "bytes": 7643,
      "visibility": "public"
    },
    "wireless-reliability/lean/frer_local_check.json": {
      "sha256": "8ea778fd0c685dd2a32c737a28b9f08117da86654c9d21675a9b1437fcee937a",
      "bytes": 1280,
      "visibility": "public"
    },
    "wireless-reliability/leastpriv/artifacts/leastpriv_gate.json": {
      "visibility": "public",
      "sha256": "c5ecd78ef24322724472bced3c87ef3caa7a7bad0e2fb93e5b01a31b861358d3",
      "bytes": 6593
    },
    "wireless-reliability/monitorgen/artifacts/kernel_load.json": {
      "sha256": "803e94bec7cac2694a0f356f72a9a087f7b5e628a81b36c0a55a609b0a61d5fc",
      "bytes": 1940,
      "visibility": "public"
    },
    "wireless-reliability/oss/OSS_RECONCILIATION.md": {
      "sha256": "6e1418f58dc46ee0a0f7c534307f4578dc6f86de9f7b8e2fdd346a88b4ed7519",
      "bytes": 13133,
      "visibility": "public"
    },
    "wireless-reliability/oss/PUBLISH.md": {
      "sha256": "ed74998a2700ecf8f7c3c4da4a5bbc26d9a32c565fae209d5be2cd043421e95b",
      "bytes": 7386,
      "visibility": "public"
    },
    "wireless-reliability/oss/minicheck/README.md": {
      "sha256": "0b5c2d30841beaaa0274d403ea522d4609e232ba63b814e84ee9a5d849142882",
      "bytes": 31947,
      "visibility": "public"
    },
    "wireless-reliability/oss/protocol-bench/dataset/README.md": {
      "sha256": "2415a3f1ba902109d80be883393a2322499fe75d15f774d2abecca4efb9070b2",
      "bytes": 8652,
      "visibility": "public"
    },
    "wireless-reliability/oss/protocol-bench/src/protocol_bench/cli.py": {
      "sha256": "21d89ed4e385e9c32290f7d57763e87e45f8716caeeb9addc2af7988ad72a2bc",
      "bytes": 4487,
      "visibility": "public"
    },
    "wireless-reliability/oss/specforge/README.md": {
      "sha256": "618926dbf4dfd501e1f33526ba46350f3c28e1bc208b0982367e70c10f191cc1",
      "bytes": 19410,
      "visibility": "public"
    },
    "wireless-reliability/oss/specforge/dataset/README.md": {
      "sha256": "c437220b3bd01b713f5edf6f15c44e7369c37b1ffe945585ca5105bf243eb309",
      "bytes": 8853,
      "visibility": "public"
    },
    "wireless-reliability/out/s03/unreferenced.tsv": {
      "sha256": "db98e7a8f22aafb72b4f25c086fa7d241089950774af0206a0eafc3c7bcec239",
      "bytes": 27683,
      "visibility": "public"
    },
    "wireless-reliability/pcar/vectors/INDEX.json": {
      "sha256": "431036f904fe93b29560e7fb6879ca65350ad2c2bcce61b085d191f837c54c38",
      "bytes": 37299,
      "visibility": "withheld"
    },
    "wireless-reliability/results/automata-maximum-ceiling.json": {
      "sha256": "67e45c3df4ddffb3eb4c1329c8c739b925d67e3732c6b9a70afdeb5f3942039b",
      "bytes": 9090,
      "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/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"
    },
    "wireless-reliability/scripts/verify_closure.py": {
      "sha256": "fa2e420b7d9f27f164e4040c5ac5c1d7345fcf08c34966bbbb1ea5d747fabce2",
      "bytes": 2015,
      "visibility": "public"
    },
    "wireless-reliability/telecom_formal/formal_models/published/__init__.py": {
      "sha256": "7b56f8059889d7f45a9bc09e55f94842eda03b893fab943d3a4fb0ffeb2b8ae5",
      "bytes": 8648,
      "visibility": "public"
    },
    "wireless-reliability/telecom_formal/reports/published/counterexample_ledger.json": {
      "sha256": "1f5b457d250b52eba08d68b5cb5d700479d16a5da4fd26c37f2d320132887671",
      "bytes": 6576,
      "visibility": "public"
    }
  }
}