Skip to content

Published files

Every file this site cites, with its size and SHA-256. Hash any of them yourself; the digest must match the one printed here. The machine-readable lists are MANIFEST.json and FIGURES.json.

191 files are served with their bytes. 130 are listed by digest only.

ChipletOS · computational lithography43 files
  • _root/dataroom/top_n_check_record.jsonl
    sha256
    5462913bd97fec4f3ef4194a42526e90ca14d220bdc0dc62b8fcb26c3fd854e4
    bytes
    2085
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/dataroom/witness_quality.json
    sha256
    c47bd4cc8d393e88caf1dfff3a54bb65a8f55c87ba9950a34283650d807a22aa
    bytes
    78922
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/INDEX.json
    sha256
    5ecd6948d20c51116b2ba71ecfb3a156273448579c0ec19ad1ed0a91c554d4f3
    bytes
    30664
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/minimal-solve-selection/DEFECT.json
    sha256
    c03f965f7202abe6402fd5fa5ce860e1acb3c81266a269adf8503d7f973215e6
    bytes
    899
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/minimal-solve-selection/ENV.md
    sha256
    722f2affd4050f2966b4857ec01cdf6a0fdb818dd8606e41c081de5e8cf9aab0
    bytes
    1408
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/minimal-solve-selection/EXPECTED.md
    sha256
    ea965f1fa818f146bc523e2e781ea49fd4db6dcf198a1aa3aa82ab11111b6756
    bytes
    4736
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/minimal-solve-selection/EXTERNAL_BAR.md
    sha256
    c96107f26ca1dede2a488289effefec28a3779fec07ae6b3ad312c70205ec44d
    bytes
    2244
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/minimal-solve-selection/INPUTS.sha256
    sha256
    bec6478659b0feb573d3c227a26c6a6ef212e562442fed7d10f7e5e154e97183
    bytes
    743
    bytes served
    yes
  • _root/repro/minimal-solve-selection/repro.sh
    sha256
    e9e023c7b104a187dbb14e8a5ca45b869da6ae5357a94ad0fb1b1068d7f51590
    bytes
    1291
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/proof-cache-pcache1/DEFECT.json
    sha256
    fa4ea05a913fdecf0b2f1ca593e8e49c91b98799ce2bc5c6ee5d0e70c9f630aa
    bytes
    887
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/proof-cache-pcache1/ENV.md
    sha256
    b6f773e357b18430295d8c8219dbfac4f31a07acc4f63ba8245a78112c300c52
    bytes
    1387
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/proof-cache-pcache1/EXPECTED.md
    sha256
    184a3c4bf5d7149a721de5917decff69b6992bf41df5332f178cb6c5290870c0
    bytes
    4776
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/proof-cache-pcache1/EXTERNAL_BAR.md
    sha256
    3915e47db026c4ebb5e855696d3a4eca06171af7e58d46a06889a8a9240d70f7
    bytes
    2008
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/proof-cache-pcache1/INPUTS.sha256
    sha256
    0ddf4fee50740665a6c57c9c94f4dc26c4c84de811fda51812fefcd862c2ab20
    bytes
    985
    bytes served
    yes
  • _root/repro/proof-cache-pcache1/repro.sh
    sha256
    93d83413fbc9cd1ec55656efc5e954a16e9f89d4f2e1da3fd76aef4aa16aafa8
    bytes
    1271
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/proof-carrying-mask-edits/DEFECT.json
    sha256
    82c35fd3e81a47672f2ebe64abd42d288c85a11ae4927fbc868e21a33bffe06c
    bytes
    929
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/proof-carrying-mask-edits/ENV.md
    sha256
    4c743a13c1ac5d4e87f4f352e5e9441646159786a16d8ee62f54d4afa36e266e
    bytes
    1448
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/proof-carrying-mask-edits/EXPECTED.md
    sha256
    a55d846cf5f8bd8081845efb2adeb360ad7e177399678e8b4c793af5d4122243
    bytes
    4720
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/proof-carrying-mask-edits/EXTERNAL_BAR.md
    sha256
    6d5fbe39ce4619edb4302c5bee75f5ad4fe23af4dea8dada858badc779559653
    bytes
    2075
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/proof-carrying-mask-edits/INPUTS.sha256
    sha256
    a4bd52177279432092c98d7fc4bd6fdf91513b79a468de1d95b44455db28733f
    bytes
    745
    bytes served
    yes
  • _root/repro/proof-carrying-mask-edits/repro.sh
    sha256
    33a71ab9c14b8a8b9e52aea21313e0e38ffbbe2400a4c5999a25c4cdf4f5bbf0
    bytes
    1301
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/sos-quartic-lower-bound/DEFECT.json
    sha256
    8d15cdb0cb13d0b0365fa1a7b9224733409ebf60f1ad247a04db1217263cef55
    bytes
    686
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/sos-quartic-lower-bound/ENV.md
    sha256
    2daef553f03f03de884b9097f1e50563c08bf951c8b002b603df01e335774b66
    bytes
    1431
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/sos-quartic-lower-bound/EXPECTED.md
    sha256
    ffec753817186fa0e3fbb8cf2143d487f8ec2ee0cd0ba519a464ba84dc9e05ee
    bytes
    5606
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/sos-quartic-lower-bound/EXTERNAL_BAR.md
    sha256
    2a7cfd034834edd5320f74d22d368205ddda0553508cdf8e2a1bd98970ec5b67
    bytes
    2282
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/sos-quartic-lower-bound/INPUTS.sha256
    sha256
    bc97e5a1437736b0738b4daddf09bf22e424abcb0a9da4ebc829c11322f5619b
    bytes
    1113
    bytes served
    yes
  • _root/repro/sos-quartic-lower-bound/repro.sh
    sha256
    9ef0bb23fa9b9c029c74372357fc45254067905cd2861ea59416cd6e70af5f0c
    bytes
    1291
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/tiled-composition-epsilon/DEFECT.json
    sha256
    8869a97c6255948d7f4a147ff71d5204bd5582f23cfb792e5e7277aebd760040
    bytes
    718
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/tiled-composition-epsilon/ENV.md
    sha256
    5eab10ec466443a2ffc9f78b9a398af7209b83ce26f46e247bb260c711a2fdf0
    bytes
    1393
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/tiled-composition-epsilon/EXPECTED.md
    sha256
    a13da18087f411d9b5618158c9323e1f6c89269ba605d03f6ce39e9e1c7f7048
    bytes
    4193
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/tiled-composition-epsilon/EXTERNAL_BAR.md
    sha256
    8081f931054788cd482cedd71763fafb3f03a250a171fb2026eefb62ed0a6351
    bytes
    2243
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/tiled-composition-epsilon/INPUTS.sha256
    sha256
    6df5962a0129fd2f27cba086855ebd6f067a461ba80e4c8094b48cb55286e2da
    bytes
    745
    bytes served
    yes
  • _root/repro/tiled-composition-epsilon/repro.sh
    sha256
    2bb73453086d723f38277935f53119af138196e8f68bbfd39e98a7a60e13ea33
    bytes
    1301
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • results/aerial-enclosure-fast-gate.json
    sha256
    9ba2c870ed35e49acc629fdfaa628b30760b697921eb64acb02aa7e7c1daa1d5
    bytes
    6754
    bytes served
    yes
  • results/external-authority-check.json
    sha256
    c8e26348b8772465358b23919b6c45bfb5d1107486d4fbf948186e0d865d2a4d
    bytes
    7149
    bytes served
    yes
  • results/ler-budget-gate.json
    sha256
    b12eeaa35de49f0a1f05c1849ffb1ab02f3f3b46e6abc9a7ce0cb7e275b6a1eb
    bytes
    6902
    bytes served
    yes
  • results/minimal-solve-selection.json
    sha256
    9e9d389b6db6223f0d75cb4a995a79bbde0422f16f42b2e46ef9da23ed5092fb
    bytes
    8819
    bytes served
    yes
  • results/proof-cache-pcache1.json
    sha256
    6713d2d290643d9d595c3b3ea4978cf737be41faa3682b4920505ac114d239e8
    bytes
    8476
    bytes served
    yes
  • results/proof-carrying-mask-edits.json
    sha256
    369f8d08f1f86bb6479750ab3e51e207ca3fb27e0e45b535c6fbd30d8614cd2f
    bytes
    8718
    bytes served
    yes
  • results/sos-quartic-lower-bound.json
    sha256
    7c6384dd262ebb582e092cac0b6d55f022d19d567cda98b7eca2656e10f04030
    bytes
    8444
    bytes served
    yes
  • results/succinct-reticle-certificate.json
    sha256
    ac212a0e73b4f8c284253f7c3e8feb0cd4d1cf8e2a4f8237b6979854f72f32c7
    bytes
    7419
    bytes served
    yes
  • results/tiled-composition-epsilon.json
    sha256
    49693310b4a8cba97d817bcd7740feb832fc27bcb500e87ac3a289f88f9664ba
    bytes
    8144
    bytes served
    yes
  • top40.json
    sha256
    9f0461a0d2984e3758cbc833be85e031425cbae2003aaab4fb239f6be6f71334
    bytes
    105530
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

ChipletOS · EDA platform18 files
  • dataroom/top_n_check_record.jsonl
    sha256
    bcf68e331862b52d44ba170c60dbe3fe8de9af765b8391d9c7273bba906a8a0f
    bytes
    2969
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • dataroom/witness_quality.json
    sha256
    5d2d65d9f615f82734053987e1e14af00a77857adb31911ce729430ddfe65ec9
    bytes
    85668
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/CJ-7/DEFECT.json
    sha256
    cf74fed85e1af5cdaed26e004101999caaa0f7a71dce9fb3f7d360ae17479cf8
    bytes
    639
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/CJ-7/ENV.md
    sha256
    42da65c8bbb4e4f766827ba92e65b8d126ab37e85d0fff29e47e6822e314b3e0
    bytes
    2064
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/CJ-7/EXPECTED.md
    sha256
    2c50fe9894641389be11a247442f78a7edf10f9afc44bfd657f2b7061ab38c05
    bytes
    2609
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/CJ-7/EXTERNAL_BAR.md
    sha256
    ea21fc6f4c86c5b68b92987226b5901dee8e9a488da3f29c03c9209493042240
    bytes
    2643
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/CJ-7/INPUTS.sha256
    sha256
    6d51d496d486b9772e9e1c6afec78768d631c77f677a11b400932de17e54dd67
    bytes
    43622
    bytes served
    yes
  • repro/CJ-7/repro.sh
    sha256
    fb8ea775316115919f877f838896d4c41f7604b2c9611fb668c313d703e3d045
    bytes
    1426
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/F8R-002/DEFECT.json
    sha256
    55eb240803480fae89da60f57b2007dfe7e5b792cc0224cb2c2e849a0dc8c51d
    bytes
    577
    bytes served
    yes
  • repro/F8R-002/ENV.md
    sha256
    c4a40f3e092d0442f678a86e9d854b00c4a91ef93fd0bb99652796076463f30f
    bytes
    1974
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/F8R-002/EXPECTED.md
    sha256
    6d6b91cb00c8dd3340325da865105b4f2ba5339446bab4600d8b1688bd841320
    bytes
    2689
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/F8R-002/EXTERNAL_BAR.md
    sha256
    1d82fec7f718183543998708f8acec1c7c36570526cdca10ef55e72eee50c6d9
    bytes
    2621
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/F8R-002/INPUTS.sha256
    sha256
    291cf0595ecf6b8164e3c70b6d991dff9f856e469036319050766fec92cef4b8
    bytes
    821
    bytes served
    yes
  • repro/F8R-002/repro.sh
    sha256
    fcd4349a6d1b1538346f71c17bbfbb4dc0d1763fef0d26fe6dd7a1d8e1a9a0b7
    bytes
    1786
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/INDEX.json
    sha256
    91fdca26428550cc9427dd324d88fd24aeafc694e67a7a7dbcd826ce0fdce698
    bytes
    10617
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • results/CJ-7.json
    sha256
    e5c82b7710c5d26a899b026bb42336cb7094ab7123996d089a39b8f0c4b30961
    bytes
    7292
    bytes served
    yes
  • results/F8R-002.json
    sha256
    d2abb69b1e8b58178f842ceffb822c4d83155a142d941a7475af03de8c12214e
    bytes
    7932
    bytes served
    yes
  • top40.json
    sha256
    ffd4723536e6be02e5c06faff7dcbf827d202fcd0bb27ad7f4f60874fccc131d
    bytes
    60955
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

VerifyCore Labs: the figures on this page34 files
AxiomLimit · inference serving limits45 files
  • dataroom/top_n_check_record.jsonl
    sha256
    a674007bd1bcc71c72d9033d28bbf3c0fe0f19bff407993b2a71aacfa57fca6f
    bytes
    1701
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • dataroom/witness_quality.json
    sha256
    2d25181a8dde236a009eb4264e63f129382d7641862180d6001c0be2856f9049
    bytes
    82971
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/encoder-within-3-bits/DEFECT.json
    sha256
    0b3b61b3840d4c52b76e06f14a496ad4122423dddeddb40c905eb56ca50df669
    bytes
    732
    bytes served
    yes
  • repro/encoder-within-3-bits/ENV.md
    sha256
    7d7b2ea2733e8ba30bce0f483f69fecf5965ea5dfdd667f484dc4fb84963f551
    bytes
    3452
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/encoder-within-3-bits/EXPECTED.md
    sha256
    49284fa86c93d4a5166a754ff2d739bb66796326096fdba65e9abceba570852c
    bytes
    3265
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/encoder-within-3-bits/EXTERNAL_BAR.md
    sha256
    01bbb43859fb142e07fb6a8817f698a0f5efb08f4a6e6f91c621ccea5da9c28b
    bytes
    1893
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/encoder-within-3-bits/INPUTS.sha256
    sha256
    95f97b269cfb781bb4cae7a81c7029f6e61d440868acaccfbd15fc67a39c449c
    bytes
    1577
    bytes served
    yes
  • repro/encoder-within-3-bits/repro.sh
    sha256
    b13f671784e3030586f855419199322c2f411a00b365c24a76c02924a2d69160
    bytes
    1296
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/essentiality-bits-floor/DEFECT.json
    sha256
    be764e9a101eba96188784c0b9014d477db63b9305e0d1c6eb7473131dfcc6eb
    bytes
    661
    bytes served
    yes
  • repro/essentiality-bits-floor/ENV.md
    sha256
    50ff4f55aa1254ec23393773e885be10481a16189e2a8c13f1a5fb38b2f37460
    bytes
    1783
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/essentiality-bits-floor/EXPECTED.md
    sha256
    6ddeeaaf0fa67f25c9888431ed8855d9e255f7ad94237fa2ea23bb35a4226a50
    bytes
    3010
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/essentiality-bits-floor/EXTERNAL_BAR.md
    sha256
    bcaace169136b872dd140a3312b71fe77d2fed5c656cdb036372fcb893b76751
    bytes
    2156
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/essentiality-bits-floor/INPUTS.sha256
    sha256
    b72f29829d5d796dc5836ffdff552d79fc1ecf3489e0347b6fdcfd07ecb07167
    bytes
    1022
    bytes served
    yes
  • repro/essentiality-bits-floor/repro.sh
    sha256
    7883a8d30c075bbfaa9472385ac4cc3e308d4d45ae598649eee3b5426a5fcc78
    bytes
    1307
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/fleet-optimality-cpsat/DEFECT.json
    sha256
    c6d5e8a672a25127641bff68e7325f2270d302cc907574d50f1df1e8e2fc0ebd
    bytes
    577
    bytes served
    yes
  • repro/fleet-optimality-cpsat/ENV.md
    sha256
    127f52dfb975aa86963b20a4a4423e917e129e34a795e7623be744ef6c6028d1
    bytes
    1559
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/fleet-optimality-cpsat/EXPECTED.md
    sha256
    ad4bb8701ddaa967cfe807901996932ec77f5e9034d3bde70f8471a700aad18d
    bytes
    2620
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/fleet-optimality-cpsat/EXTERNAL_BAR.md
    sha256
    0ff760e51a45c4867891077e463c428fbf764effef2a5851e9c69ba39be1e68a
    bytes
    2213
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/fleet-optimality-cpsat/INPUTS.sha256
    sha256
    ee417536b30cca24294528c1ae9df13890c5ff461b0db77e63f3676ac335f0c9
    bytes
    239
    bytes served
    yes
  • repro/fleet-optimality-cpsat/repro.sh
    sha256
    6df1a3682b5927b4c1c60598784252194df4c5da1b6fd175c582f13b0ed0654f
    bytes
    1314
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/INDEX.json
    sha256
    80ed62f5df6a95c42aa44f13ab11a287c303acf258caf8ff2bd72439f5fc0bf0
    bytes
    46450
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/proof-of-deletion/DEFECT.json
    sha256
    26faa6d3e2a80c162b5242471dcb1acf98852f254753cd7ae5fd2795817ea483
    bytes
    459
    bytes served
    yes
  • repro/proof-of-deletion/ENV.md
    sha256
    78b2a5a96d49394416102a4bdb37c6c8c46311635ef8df9ca03cdacc76a6c356
    bytes
    2164
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/proof-of-deletion/EXPECTED.md
    sha256
    2379d588ee50db68a1c9440fb2803a6c689d35b0432292abb72610a04b76a4f1
    bytes
    3682
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/proof-of-deletion/EXTERNAL_BAR.md
    sha256
    9230a34b56f4796431b479d0c75d387dc98216a1d131a3a0e5e0e01c24337d5f
    bytes
    1686
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/proof-of-deletion/INPUTS.sha256
    sha256
    2e4421c11f8ee86645e36a9bc61f06bcea93512243f514f396d70334c8c46af3
    bytes
    7045
    bytes served
    yes
  • repro/proof-of-deletion/repro.sh
    sha256
    5bcff85fc13fa859a73c321a0c291a8b7f47d4ea7fbb3f75ede453f68cef3893
    bytes
    1211
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/reorder-memory-mechanism/DEFECT.json
    sha256
    57ab268ca856e84fd8301bd5a25e4aabe44318369f27657db1a7da2f128c656c
    bytes
    644
    bytes served
    yes
  • repro/reorder-memory-mechanism/ENV.md
    sha256
    29568bfc92a497533935dda9cf39f0354f10b782b93f823e64c9e3f75b9e0aa2
    bytes
    1425
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/reorder-memory-mechanism/EXPECTED.md
    sha256
    a5ce3429f918c2d17fdb4308166dd1e1947cb05948c431cd30e4dab6c658cc16
    bytes
    3015
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/reorder-memory-mechanism/EXTERNAL_BAR.md
    sha256
    7ff82645d55591c92695c21b78cf10d2906e56638bc86961285ca60b0f013123
    bytes
    1761
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/reorder-memory-mechanism/INPUTS.sha256
    sha256
    4809038988beb658058748df7b03ea20990a8dbca5640257b02023854f246e49
    bytes
    1681
    bytes served
    yes
  • repro/reorder-memory-mechanism/repro.sh
    sha256
    1d4f5b57b8c4bc5d7e50e7d63e2f6b52dbef22c1c4e10b6a41e88825e212944c
    bytes
    1294
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • results/certfabric-verifycore.json
    sha256
    544c31513f79ea713c4c29dc7363a18a744533a938202a1a1c039adda2dc4c32
    bytes
    8467
    bytes served
    yes
  • results/claim-control-plane.json
    sha256
    cab54c8e2a28dac12e0145afb83e1cd0fbda774364f958cc2d6541c1edb7c5ae
    bytes
    8052
    bytes served
    yes
  • results/counting-wall.json
    sha256
    c75d104b669738d21b63180929209c849136fecb4bf17628886ceb02c9ceed8e
    bytes
    9384
    bytes served
    yes
  • results/encoder-within-3-bits.json
    sha256
    b61987276386d73d1826c9b461d035163e8b655616e60cdfb18e6ca4cb9946e0
    bytes
    10057
    bytes served
    yes
  • results/essentiality-bits-floor.json
    sha256
    ee5dfd24cd9f2f7364836c80b08038ac865bb32720137b8900b1adb37e19dfed
    bytes
    9294
    bytes served
    yes
  • results/fleet-optimality-cpsat.json
    sha256
    4dde6c66e23e8e4afd4801f4524f51f7155b6ade944de0171f174198c8c870eb
    bytes
    9870
    bytes served
    yes
  • results/kv-state-abi.json
    sha256
    10e301efbe75f9c15c2569ccdb35e5bad67626ddeb03e9632c2606e2a7feb67b
    bytes
    7718
    bytes served
    yes
  • results/linear-state-logistics.json
    sha256
    fb9058f05b85b3d923c4767f98cc68837f3db9d00d4d6647811666c8a9e6df2d
    bytes
    8586
    bytes served
    yes
  • results/proof-of-deletion.json
    sha256
    07706314562267d6f025328b6155243f2db74b5dcfd51e0f931ec02ab802bfd3
    bytes
    10946
    bytes served
    yes
  • results/reorder-memory-mechanism.json
    sha256
    57f73888805b5ddad9c08e73ad0abf0cb919a9ee5740a42fed0709c6fc56e3da
    bytes
    9670
    bytes served
    yes
  • results/zero-sorry-corpus.json
    sha256
    178d4625065eb4a23fc30c9905d0e53ce7dbce57eaade2355ba2e4f5ae313f14
    bytes
    9438
    bytes served
    yes
  • top40.json
    sha256
    5d74491a747c903d407b42abbeececaf6268df57216a1fac67aa795bc4092b6e
    bytes
    246151
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

ChipletOS · packaging and extraction65 files
The cross-company results record4 files
  • claim_coverage_2026-09.md
    sha256
    47785d130492c5c68b9fcedf0669e862d8216320632227bfbc7f8b90dd63ed0f
    bytes
    20237
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • claims_census_2026-09.md
    sha256
    79ca50c3472bae4ebd179ed533456325be8e0e9027739787bfba9f06442fc39b
    bytes
    80004
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • cross_lab_record.md
    sha256
    27f28b4e16e34f1e11d9ad21f3eb9c52c66f38293fae804934af0a7ac69f423b
    bytes
    107160
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • phase6_commitment.json
    sha256
    41ecb1297889801a9915cf11bdb752f6d005d6f95826f88719c701b47174db4f
    bytes
    94136
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

Site template1 files
  • contract/site-content-package.schema.json
    sha256
    f47694d490f86b95348175f7e6251825580ded42cd575b21fdbdee0869117bfb
    bytes
    9246
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

OrbitalProof · post-quantum Wi-Fi59 files
  • dataroom/top_n_check_record.jsonl
    sha256
    9bf48d398fc36b52f21264edc3a04b8e2c3cd7da3c53f24ec80636897997097e
    bytes
    3364
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • dataroom/top40.json
    sha256
    6076db4027d7499ac53b5cf15f9a07bb7e41c38f56fb0f469a62353e10e65353
    bytes
    167747
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • dataroom/witness_quality.json
    sha256
    5d379a10112d400163b35100a423124c28e8bfbbdbe4378b71840eda85f75cfe
    bytes
    143046
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/cbmc-bounded-decision-contracts/DEFECT.json
    sha256
    4d37f09b9f6e7d1b84a81ea95734adb38fe0b1d220e90319d0147259bebb589b
    bytes
    555
    bytes served
    yes
  • repro/cbmc-bounded-decision-contracts/ENV.md
    sha256
    c03f2fd14fca4564d4ce5b2d2c5d08e1929c0a44583895cb80997482ebe4ab04
    bytes
    1483
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/cbmc-bounded-decision-contracts/EXPECTED.md
    sha256
    cf06dbfbadfdf6c4a343c5874e52a2b4d5b82cbdd1119ef3d17e19d93de7f3c0
    bytes
    2585
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/cbmc-bounded-decision-contracts/EXTERNAL_BAR.md
    sha256
    5d91164a149e30aee14364bc17c379e608228ea1b10f2e4967c735ddf8104b5b
    bytes
    1324
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/cbmc-bounded-decision-contracts/INPUTS.sha256
    sha256
    dbd92027fbe6ee03b1ff57667c9e63f8b2b43629ba77c37055d2e4a0f29962e6
    bytes
    280
    bytes served
    yes
  • repro/cbmc-bounded-decision-contracts/repro.sh
    sha256
    08553a6de3b91f817894b953a844a8ddf0e79c54393f9db2f9269f40b0101866
    bytes
    1238
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/claimbom-refuted-third-party/DEFECT.json
    sha256
    68f1241debab2f36b597b4cf7cafe747b63f199a2aac009fafba61c5b695f3fa
    bytes
    458
    bytes served
    yes
  • repro/claimbom-refuted-third-party/ENV.md
    sha256
    339b84f6ee915099636b2f6b18fdd631c0babd4869fe57a5d07c840465efd25e
    bytes
    1352
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/claimbom-refuted-third-party/EXPECTED.md
    sha256
    d51dc292dd62e7a2eb778a764278d1e627ded035f45246fa20324252114213db
    bytes
    3309
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/claimbom-refuted-third-party/EXTERNAL_BAR.md
    sha256
    b616cb18e36fb16ea8578a6f0d8a57d0c88f9d3687c961ef19f43a9d8ff41d75
    bytes
    1645
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/claimbom-refuted-third-party/INPUTS.sha256
    sha256
    2a66ed37f9f3a1d32b199c641cd3f6811cf409539680cba6c3e01f00ba8cfa7e
    bytes
    11463
    bytes served
    yes
  • repro/claimbom-refuted-third-party/repro.sh
    sha256
    269a7f45f261b9c08f75e59c8d40db30dca1a02a6065674cdb50eb888aa8aae0
    bytes
    1203
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/INDEX.json
    sha256
    378fd4a3ce4f44403b7c9ca6a3f19c11895831f892736376c90cf9423037f9eb
    bytes
    26512
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/kyberslash-fixed-version-ct/DEFECT.json
    sha256
    b4ced09f0fd1cd7433ca65602186df1a4125f24a54c9ebaf618b93781fc942d6
    bytes
    708
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/kyberslash-fixed-version-ct/ENV.md
    sha256
    bc3b44431ab9059a1b0df310e8650433d5e1605a592aca278705d0f1309a6e1d
    bytes
    1894
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/kyberslash-fixed-version-ct/EXPECTED.md
    sha256
    b693f47e828d3191118b3dacdc5fbcefeec84233eb54cbd2da94ff60a11e6a32
    bytes
    3182
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/kyberslash-fixed-version-ct/EXTERNAL_BAR.md
    sha256
    b865b5ce06f9087276a3817640abce4bc4fcc64191afc59fcfb1614d127a445e
    bytes
    1330
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/kyberslash-fixed-version-ct/INPUTS.sha256
    sha256
    2ea939371433f9ddf3f313dc8bbdacd3d4b2822cae9b2fff962aaf9a1404f896
    bytes
    375
    bytes served
    yes
  • repro/kyberslash-fixed-version-ct/repro.sh
    sha256
    f62ce327420222b18392003fa716c1b59fad77f5166a0b33f6e644e0ed5d311f
    bytes
    1369
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/sae-proof-kill-matrix/DEFECT.json
    sha256
    8c572b877ac9b8f3d1717ec74a2b3ca528fcdcbc5ecd2ec3dadc939c4f829950
    bytes
    480
    bytes served
    yes
  • repro/sae-proof-kill-matrix/ENV.md
    sha256
    417cebd4373a679103de0ae086971d9b6fbad015c11880263c64bc3c58039abb
    bytes
    7519
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/sae-proof-kill-matrix/EXPECTED.md
    sha256
    25b20eb42c93f459b0cd9b02b5bfca3e87dd5d3c4093ddd7819efc7a9566c43f
    bytes
    2607
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/sae-proof-kill-matrix/EXTERNAL_BAR.md
    sha256
    40ac545d9eef2abb7391a319591d08267b432379721fd39bffd37e5d5f64e3b3
    bytes
    1111
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/sae-proof-kill-matrix/INPUTS.sha256
    sha256
    7d206d41fb5f6ef4ccee18aa97ce44807eef931c628ea8eefecc58ebdb76b6f9
    bytes
    475
    bytes served
    yes
  • repro/sae-proof-kill-matrix/repro.sh
    sha256
    7c5fb79e132d841dbd3a1a9a9c1e8c6c692e794db62c61e811b1f83fbd1d4173
    bytes
    1496
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/third-party-mlkem-interop/DEFECT.json
    sha256
    f5120b8674d90e67fe9c51dbf18542ce61e934f8c921e86c1f8aeb4abe19dc01
    bytes
    513
    bytes served
    yes
  • repro/third-party-mlkem-interop/ENV.md
    sha256
    f97dd76ff911d8e2133bc6f8519b44d5425ae9e87f046f9f1e035a725916c250
    bytes
    4804
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/third-party-mlkem-interop/EXPECTED.md
    sha256
    271f8def04dd7ad9a8a2b360d6bdd88d0e86699a43dbdb14ce677200d34b7908
    bytes
    3316
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/third-party-mlkem-interop/EXTERNAL_BAR.md
    sha256
    3f4dfb1685aae5f867bac7a907d74b9428f6bf617553945f2f8cc0d82c817a60
    bytes
    1345
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • repro/third-party-mlkem-interop/INPUTS.sha256
    sha256
    9ed626d8ec4b638100c7663f4d2e61f1bc68caaa7f4cca04ae59a362e368fc47
    bytes
    473
    bytes served
    yes
  • repro/third-party-mlkem-interop/repro.sh
    sha256
    c048f9268aea921a7248d7353f67cb0d0f57812ab359be7196ff9ee980794d9c
    bytes
    1399
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • results/acvp-nist-255-vectors.json
    sha256
    c9795cf630f656dab40d3f99c7dc9cc57dd3401746ddda64ee9ed3f05be5e3b7
    bytes
    9420
    bytes served
    yes
  • results/ap-wide-memory-bound.json
    sha256
    fd210ca0ecd0106dd3adfbc181be277633072b6095ceac4682c242b6a437d7f3
    bytes
    9324
    bytes served
    yes
  • results/atlas-admits-what-does-not-fit.json
    sha256
    901683c73f039cb9b194f6b784b03b22c313f328135ba5ab6c0bbefa3239d5b7
    bytes
    8362
    bytes served
    yes
  • results/cbmc-bounded-decision-contracts.json
    sha256
    5f0d84ab8c9dc5e0b3aedcc222e117c6f845d0531bb9ecbed493a2ba09f47538
    bytes
    9321
    bytes served
    yes
  • results/claimbom-refuted-third-party.json
    sha256
    77b8dfa9e624d3ae8c392cc6e97a03c2c8cc468270ddab69b72bbeecb74a5fbc
    bytes
    9438
    bytes served
    yes
  • results/conformal-risk-certificate.json
    sha256
    7ecdcf55041dfbe81fd3085f217445c4ddd1fdac7fb6d91a71f6df0d18e65837
    bytes
    7972
    bytes served
    yes
  • results/counter-only-cannot-be-exactly-once.json
    sha256
    61381dc3a9ee9dcf4270acde1e38eb5cba4863363e04e9a754cc08e7dbfb23b1
    bytes
    8326
    bytes served
    yes
  • results/cross-genus-refutation.json
    sha256
    35c6becfa52dc8525703540705e8f08c7897dd148ec45a09f6011c5cb8ead000
    bytes
    8620
    bytes served
    yes
  • results/farkas-unsound-checker-deleted.json
    sha256
    179a0ecf519dc5903d922ee82fca05da66911d381516960198c5115a21506a2b
    bytes
    8431
    bytes served
    yes
  • results/forbidden-headline-gate.json
    sha256
    a8eda11b0d6e2c3efeb3021c5324775c65cf71e0eecb9a3b8e256ac9d8d4aec8
    bytes
    8397
    bytes served
    yes
  • results/kyberslash-fixed-version-ct.json
    sha256
    a539d4fea14ada6f4f64132c543922e001e3e9ff5b6abf365640c7fe63cb357b
    bytes
    11133
    bytes served
    yes
  • results/libcrux-three-way-agreement.json
    sha256
    2bff4f2d09c7e78efa4ad301e6de5826bd9ec45e9ee4e5099e0935653cc5f74f
    bytes
    7490
    bytes served
    yes
  • results/minhw-six-floors.json
    sha256
    e17286a6d23cec497fd1adbe4f636457a200020d591bb46cfa02845b96fc1dde
    bytes
    8459
    bytes served
    yes
  • results/mlo-755-zero-accepted.json
    sha256
    0f8bcae81c15fe1c9d8c1642e141efc2f4fc79759f48c149572aff6706b15f25
    bytes
    8522
    bytes served
    yes
  • results/modelrisk-two-of-four.json
    sha256
    adefeda517d9cd49b3edb4933af7b74d8c12829b56f7feea6f46d3392f9ee03b
    bytes
    12203
    bytes served
    yes
  • results/mutation-kill-rate.json
    sha256
    d1650941acde47f64b801afe283a79e7049ff17f529af1618f8700ecb2c32508
    bytes
    8775
    bytes served
    yes
  • results/netlist-equivalence-422.json
    sha256
    3de8045641313d7b5bdd3fac8ac22d5c5192903c1def80c068a1a87e6222d29a
    bytes
    13685
    bytes served
    yes
  • results/onair-and-cpu-attribution.json
    sha256
    7ee34ace49cbedcbf0117c3e50207d70bc8b3d5d9ed44e8ffa76638d2a1f4675
    bytes
    9451
    bytes served
    yes
  • results/redgreen-162-breaks.json
    sha256
    f6b402e0bde15e594b1ac9ec876a6cbbdc2021fa7063ff02a97fe15ff5937c19
    bytes
    8492
    bytes served
    yes
  • results/rust-python-102-verdicts.json
    sha256
    14f01c76ddb605694d731432f59575de10ae7cbdfd0b6d0099b0735fe29ef1ca
    bytes
    7929
    bytes served
    yes
  • results/sae-proof-kill-matrix.json
    sha256
    c33e5dbb916b73f504e4bf51317d093cdf21eeb3291f70cdae15c1c3bc87aeb9
    bytes
    10090
    bytes served
    yes
  • results/standalone-c-verifier-bundle.json
    sha256
    d973f549aa14ee7251531057420c9bfc75c4c4e88322b89c29e45720a7180a04
    bytes
    10440
    bytes served
    yes
  • results/third-party-mlkem-interop.json
    sha256
    13b6339ddc5ea25b9914878cd1735e0adf24a73793382a1b18f6fc544c3ab641
    bytes
    10582
    bytes served
    yes
  • results/unseeded-hunt-11200.json
    sha256
    ed6b3178217b531d9e0041d99b4cecfddb79b11392930be40cfc5099e733093a
    bytes
    12440
    bytes served
    yes
  • results/zk-stark-receipt-102.json
    sha256
    8556c55e041359676a6e81f52a2d3fef47ec87e8118464187aa1fb2e1df5c108
    bytes
    7487
    bytes served
    yes
OrbitalProof · wireless reliability52 files
  • _root/repro/capinfer-mcp-disagreements/DEFECT.json
    sha256
    a680ada37e34c9e6fa3b5e9c57a262c0670c7f170d2c1c0ba5021d6c3b59dd11
    bytes
    602
    bytes served
    yes
  • _root/repro/capinfer-mcp-disagreements/ENV.md
    sha256
    bfbb67febbe6cec1b8ce9b891adf2a01e86661dbfff7873d3d336e74164e377b
    bytes
    2640
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/capinfer-mcp-disagreements/EXPECTED.md
    sha256
    f98110252e6671314511f50a60debb1c6cea10c43c079eba5ab5ebba2f588a40
    bytes
    3941
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/capinfer-mcp-disagreements/EXTERNAL_BAR.md
    sha256
    ca0f1ba506e118a64eb8ee71c445233cd8e6139fe1a16942a8d9929a63079352
    bytes
    1635
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/capinfer-mcp-disagreements/INPUTS.sha256
    sha256
    fb7fed608d61662d29bdf4a5e394e285d82f18337a76761f6b0a58386c194c2a
    bytes
    5535
    bytes served
    yes
  • _root/repro/capinfer-mcp-disagreements/repro.sh
    sha256
    cee32ce865d0a84199ba89e0c6f934d4cc4cdaf3a7a59fef0c1b5eb906bcb4dd
    bytes
    1327
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/frer-injectivity-floor/EXTERNAL_BAR.md
    sha256
    cfb1c7c2c3b0e5baa38d6458840de90590e9266bde6b5b17e0904e31de5fcdb0
    bytes
    11179
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/INDEX.json
    sha256
    0bff5030dca36a8e129e242975c67c75d1b983c670458420bee8b943429ac3ee
    bytes
    24483
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/leastpriv-six-axis-synthesis/DEFECT.json
    sha256
    91445f3d86b68535aae38633185199953974063c041e92b0f674497715857f4b
    bytes
    573
    bytes served
    yes
  • _root/repro/leastpriv-six-axis-synthesis/ENV.md
    sha256
    86e21e4ef95652dec4a895597ffe74676dfb2d252ca672be841452e4a9c0f786
    bytes
    1631
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/leastpriv-six-axis-synthesis/EXPECTED.md
    sha256
    163265e55019c0853bd9d2c6b5861eab0ddb1e4b1d97103728a312ad7977da21
    bytes
    6157
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/leastpriv-six-axis-synthesis/EXTERNAL_BAR.md
    sha256
    5dede99c9be3661f2b1b00fd2afaa18ee415704cd8a0eaa581f8ba9dc1c8a896
    bytes
    1485
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/leastpriv-six-axis-synthesis/INPUTS.sha256
    sha256
    212c7d565d2e3c753d123872fda40c42fb1e4f85d391304c26fd7cd5bf1809aa
    bytes
    3392
    bytes served
    yes
  • _root/repro/leastpriv-six-axis-synthesis/repro.sh
    sha256
    6d5864f25e60b7336ce45debb85a3866a1823a877cc53f090ff883b3a7061482
    bytes
    1465
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/monitorgen-five-targets/DEFECT.json
    sha256
    fe32a2303c88f2469a3c9fda7bdc3f75b2b941ea868b73de2797b61213c789a7
    bytes
    797
    bytes served
    yes
  • _root/repro/monitorgen-five-targets/ENV.md
    sha256
    621a1b4e5e6ab5a69d7a1fb69906909893124fe5c9e7eacfdafdfa4a383ec8e1
    bytes
    2000
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/monitorgen-five-targets/EXPECTED.md
    sha256
    9ad52601c0cfa111a91c0d9eb9c78e45111ae3aedf141fe12d760bf1ce585869
    bytes
    6269
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/monitorgen-five-targets/EXTERNAL_BAR.md
    sha256
    2045fc9f132cca8264d0a5ac597c48a2df7ae3ab34f725d75b3a441094e919a5
    bytes
    1551
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/monitorgen-five-targets/INPUTS.sha256
    sha256
    1aa2ae451977930cec0d1687f3af0d9b9dbbf5c7701629102aa10ae12df5941f
    bytes
    3334
    bytes served
    yes
  • _root/repro/monitorgen-five-targets/repro.sh
    sha256
    97fe8aa96e92d0267972444165522dd8cc8d28319f19f09d8935906f781f7e18
    bytes
    1601
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/txn-crash-recovery/DEFECT.json
    sha256
    a016439cf77b9fd0d57dc849ea150d0f1add36869c2857a935d8305f39b10db9
    bytes
    422
    bytes served
    yes
  • _root/repro/txn-crash-recovery/ENV.md
    sha256
    5a2b081432dde816da0edaf8091d1b0a68abcdd6424512cc6dbcb6b06be4308f
    bytes
    1541
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/txn-crash-recovery/EXPECTED.md
    sha256
    afe01d3443c6322f100c30363d130b01d60f1e4a45eb73dc5fd3bbc62350cad7
    bytes
    6513
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/txn-crash-recovery/EXTERNAL_BAR.md
    sha256
    189790666d5a6faa5d5789fc3dad8f8218cff784b77891a0c06d3554123ef00d
    bytes
    1384
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/txn-crash-recovery/INPUTS.sha256
    sha256
    ae786b332510fcb0da346b16a76f2833398c0a0fbc491de03f9067d4ca940014
    bytes
    3726
    bytes served
    yes
  • _root/repro/txn-crash-recovery/repro.sh
    sha256
    7558e36f6771b51a6ed22b64ff8ca4cdf0443ea9acbb86772a9577f66dcd0eec
    bytes
    1412
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/uec-interconnect-essentiality/DEFECT.json
    sha256
    852466796dbfa65bc6760d71f46cfb3d9683573b058d301a10d7da5a6ae1a157
    bytes
    837
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/uec-interconnect-essentiality/ENV.md
    sha256
    bb6428655929bb9f3422ba238576f5825dc33e285891aa806bc93d6cb4399b35
    bytes
    5113
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/uec-interconnect-essentiality/EXPECTED.md
    sha256
    0b077e895ea344baf1a8a16e91d9f6b5b31aef90a6bb14e0730807c35d2710d6
    bytes
    6771
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/uec-interconnect-essentiality/EXTERNAL_BAR.md
    sha256
    babfa844cfce82c1c0757865bcbb2b4aaac5fcef3f2f394ac6769080724e7e4b
    bytes
    2053
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • _root/repro/uec-interconnect-essentiality/INPUTS.sha256
    sha256
    16da2b7a155becdae7faf60c2272e28b18e6f479c9b03c9b6fea4d40b2c979b6
    bytes
    4682
    bytes served
    yes
  • _root/repro/uec-interconnect-essentiality/repro.sh
    sha256
    dc270c4c8405fa553eb5607f03372d3913e72fbcdc504ff275cd0691b07d4b3e
    bytes
    1626
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • dataroom/top_n_check_record.jsonl
    sha256
    0a32ca5be37efe69c4770cfdc34075f6101dfd530f8f64349812f119f1dc256f
    bytes
    3470
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • dataroom/top40.json
    sha256
    94bf9dc5735a54020b7052fde3da5f062e760f2cb351babab0fcd6f1b52c7be5
    bytes
    163338
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • dataroom/witness_quality.json
    sha256
    d54d7585c2c9014d607f3a27518062eea78a5e1ac86733df5c69067c25f5f365
    bytes
    135112
    bytes served
    no, hash only

    Withheld: the bytes are not published; the digest is.

  • results/automata-maximum-ceiling.json
    sha256
    67e45c3df4ddffb3eb4c1329c8c739b925d67e3732c6b9a70afdeb5f3942039b
    bytes
    9090
    bytes served
    yes
  • results/capinfer-mcp-disagreements.json
    sha256
    5725b96666cebc018842fd2a3196ce06bd98990c5fd28748e2731753a0eacd79
    bytes
    10457
    bytes served
    yes
  • results/composition-certificates.json
    sha256
    d74e18ea84057b4c2b93ffce213e56ce8642d0f3adfe29c0e1dd2c7e67adbd34
    bytes
    8267
    bytes served
    yes
  • results/covert-square-root-law.json
    sha256
    491111519428086f547352055ed7ae68c52efdab3ca74ad207ec891973bfccc4
    bytes
    9041
    bytes served
    yes
  • results/exact-circuit-synthesis.json
    sha256
    3868ebef1218183169435f7bb61d3eaff2b46aef48df32fb8bddb86c56dab2a6
    bytes
    8351
    bytes served
    yes
  • results/frer-injectivity-floor.json
    sha256
    c0b677136ecdbaf60e7bdd3efb0b380747f4e7b5c396518485db1575dba0d56f
    bytes
    9381
    bytes served
    yes
  • results/leastpriv-six-axis-synthesis.json
    sha256
    c3464d75bec711c0fe5e9175468e9802c4db7bd76ba11962ea5e7fdc1fbc7b2f
    bytes
    12787
    bytes served
    yes
  • results/lm-hallucination-floor.json
    sha256
    24e9aa814af11faea3211cf2f3d9eb2795321f101c34d67308dcd8fa061287c9
    bytes
    8994
    bytes served
    yes
  • results/monitorgen-five-targets.json
    sha256
    1a3c4f73fefa0499f3c1c778ff34802d52214156bc1b47ef3f912436db4476d5
    bytes
    13601
    bytes served
    yes
  • results/observable-completeness-and-parameter-region.json
    sha256
    1772e47127f7a33cd4254f5aafd8647e0760beb983c5b3785e5076640976163e
    bytes
    9661
    bytes served
    yes
  • results/provenance-lint.json
    sha256
    acfde40987d0941ec4a8cc1d790d5e834e3ab1e30f4f9dec30c2f131632d39d3
    bytes
    8688
    bytes served
    yes
  • results/rounds-sandwich.json
    sha256
    0c2e1fde32b2a8e48046f18eb8f0a4267b5ab65d4e0c83d8602f997d5a9dda74
    bytes
    9123
    bytes served
    yes
  • results/statistical-certificates.json
    sha256
    dba593b82a3573a701a6337833185555af712b095bad13f9b123b95fc2077ff3
    bytes
    10112
    bytes served
    yes
  • results/two-engine-tail-latency-converses.json
    sha256
    65c06acf805d1de290395761e512d4437c96188f6d304b7588d1adfbaa8e59a6
    bytes
    10413
    bytes served
    yes
  • results/txn-crash-recovery.json
    sha256
    3b5e4cbb628e822d458fdee5a5fe522ce8126364617028ed0853133b1cecb309
    bytes
    10898
    bytes served
    yes
  • results/uec-interconnect-essentiality.json
    sha256
    4270e202405346daa7c0839e7d6fc3d6ea155772138e9abc28e78b2b9a676521
    bytes
    16780
    bytes served
    yes
  • results/xdomain-cross-domain-foundry.json
    sha256
    f0f4652630d22330f02ce839aa28bfbb984a73f9d0adc3013768ff4561f10df3
    bytes
    9507
    bytes served
    yes
How we show numbers

Every number on this site links to the file it comes from. How each result is checked

  • We never show a number before its file has loaded.
  • A question we have not checked yet is marked as unchecked.
  • A check that found nothing says so.
  • A file with no value for a question says so.
  • A number whose file is missing or has changed is not shown.
  • Two files that disagree about what a number describes are both flagged.
  • A number from too few samples shows its sample size.
  • Two files that give different values are both shown.
  • A file we cannot publish is listed by its fingerprint only.
  • A measurement more than a week old shows its age.
  • A question that does not apply to a page is left off it.
  • A measurement whose program failed is shown as failed.