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.

101 files are served, every one of them with its bytes. 49 are listed by hash only; their bytes are not published.

This site: every file this page’s figures are measured from9 files

Every file this page’s figures are measured from: the machine-checked certificates, the Lean sources they name, and the re-measurements this site publishes in place of a raw file it may not republish. Open this group

(root)1 files
  • REDACTIONS.json
    sha256
    d5964983ecaa6f88cf463244f9dbe8553885de60e6a3e368b1cfeca420023f2f
    bytes
    15267
    bytes served
    yes
comparators2 files
  • semianalysis-weka-hit-rate.json
    sha256
    827b066af21265707f137084c982d1c8a33d973e96fa28fbee6d899c25063332
    bytes
    1524
    bytes served
    yes
  • strack.json
    sha256
    c0e2edecfc983a027c742aca085505dd2543e9a457ad73f4b1df5b95ed00cdf4
    bytes
    1191
    bytes served
    yes
inference-limits44 files
Serving limits21 files

The scale-out serving work this company came out of: bounds, certificates and the runs behind them, as the earlier build published them. Open this group

  • NEGATIVE_RESULTS.md
    sha256
    9b9fd09802af88c478e59834fc6b37115343af292ed808c362e2693503d40900
    bytes
    8800
    bytes served
    no, hash only

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

  • oss/COLD_INSTALL_2026-09-04.json
    sha256
    61e513838977e75a30de80b04c9204157ea9f8628a8f982bdbe06b510421de88
    bytes
    6895
    bytes served
    yes
  • oss/OUTBOX_MANIFEST.json
    sha256
    9414af89718bbef7828672008088a5181fde63c7cc01fa0f46c6a927c0152137
    bytes
    16791
    bytes served
    yes
  • oss/PRIVATE_SET.json
    sha256
    77a41d75d5311d9030c7a5aef156b73a04863dec130ddfaf7b0a62f09429eb42
    bytes
    5460
    bytes served
    no, hash only

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

  • oss/PUBLISH_GATE.md
    sha256
    c9c17f39a934fb00af489313787b034dc03eef703a3699dab2c0055e2c1cbddb
    bytes
    3600
    bytes served
    no, hash only

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

  • oss/reconciliation/2026-09/REMOTE_VERIFICATION.json
    sha256
    152994e7be3279e1d82b1512fc878ec276b5eeb3c763d01cc4d7a038ba032ddd
    bytes
    6597
    bytes served
    no, hash only

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

  • oss/SURFACE_STATE_2026-09-04.json
    sha256
    9a24641e3c0c68a3b042e0bb4ef81520be301ab8ee3b22c2f1f8efadd736030d
    bytes
    26704
    bytes served
    yes
  • reports/cross_subject_ownership_2026-09.json
    sha256
    97b2107a0131b5015973efee8c7bee60a77db2dfdfa9e0948bd7ac1d702f6d55
    bytes
    8813
    bytes served
    no, hash only

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

  • reports/kv_serving_acceptance.md
    sha256
    8a7d9c01afe020cad2554911371b330672c5ca6fffc27317af95fd4507c3b705
    bytes
    245384
    bytes served
    no, hash only

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

  • reports/peer_review_2026-09.json
    sha256
    0f74c663be9a21adf79dbf0dbee58889c87997747136510d0d5a491ccf9e9cf2
    bytes
    128594
    bytes served
    no, hash only

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

  • reports/peer_review_2026-09/drift_gate_path_hazard.json
    sha256
    bc6958eb67b5dff659b8e327319461e28aa8c474f4a3f998fb8a71c5a6ba1333
    bytes
    3851
    bytes served
    no, hash only

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

  • reports/peer_review_2026-09/pre-registration_controls.json
    sha256
    698f7b672beb38260c3f523ec3944fa1ebb78ae29519d219d3cc05655bc23a9d
    bytes
    4764
    bytes served
    no, hash only

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

  • reports/peer_review_2026-09/proof_axioms_marquee_final.txt
    sha256
    fac2d6e484279a37f835cc3dfa0a25355649d2938213ffc12f302d5b9dfbfba1
    bytes
    46812
    bytes served
    yes
  • reports/top40.json
    sha256
    28587b8627cf8caba83ca18fea2c1ec236896362536b286687d6c441a3cca105
    bytes
    95907
    bytes served
    no, hash only

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

  • results/data/kv-serving/entropy_ceiling_cert.json
    sha256
    9ba43c035ce00a1358a39aa321491858e40bfbd93e79139f29c5140ca4bca01d
    bytes
    4476
    bytes served
    yes
  • results/data/kv-serving/essential_bits_cert.json
    sha256
    afb6cd375d2f439c6223d01474358cbe055bf75350fe0b5566f3ab26a20ec52c
    bytes
    5736
    bytes served
    yes
  • results/data/kv-serving/fleet_optimality_cert.json
    sha256
    51d9a5314785dcf8af3ea25900689671d7f406365836a28cb0f1c30c349a07bb
    bytes
    2438
    bytes served
    yes
  • results/data/kv-serving/gpu/designaround_price.json
    sha256
    b5e6bd60df6131fe9f08afc0005250e44c6a5eb7d6ccae00c0bf4d563ef7be1e
    bytes
    3424
    bytes served
    yes
  • results/data/kv-serving/injectivity_floor_meta_cert.json
    sha256
    243971a8b642814f3f5c5542b8626903bd8a51235bbd44833c62911315e8b142
    bytes
    19675
    bytes served
    no, hash only

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

  • results/data/kv-serving/wall_per_trace.json
    sha256
    044f8299fcda54b4d07a4b66825065c81559c5b2877b8c4f75323271c1d97f59
    bytes
    2571
    bytes served
    no, hash only

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

  • results/data/serving_limits_measured/leaky_rate_cert.json
    sha256
    19ef969aa39bb7bbc0e4be07f4e80fb064a3a4c6a1e05e72bb583547f0c06ebb
    bytes
    36328
    bytes served
    yes
Serving engine73 files

The serving-engine work: cache behaviour, admission, and the record of each run. Open this group

  • bench/audit.py
    sha256
    ec51597bdfe392b95154a30074a210106dbd5cb96fb452027c1f65d358a8017b
    bytes
    202849
    bytes served
    no, hash only

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

  • configs/d3_determinism_2x2.yaml
    sha256
    8853612c224fb972d0da3d6914542d21da0725ba67b7610ecdc540118864f5bc
    bytes
    3690
    bytes served
    yes
  • configs/s46c_apc_fixed_bridge_n8.yaml
    sha256
    37a737e727c5029bd64f268c146cc1aef10a8536a5e79fc7cb692eebc3375199
    bytes
    4257
    bytes served
    yes
  • CROSS_SUBJECT_CITATIONS_2026-09.md
    sha256
    776120c8266886da14060c6a28aae28935342a8f9fe9502a8ca7771dc1789d98
    bytes
    10252
    bytes served
    no, hash only

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

  • extracts/mooncake-reconciliation.json
    sha256
    7df46ae2fdad259d5a007dfffeb34ee84035924cc264c6bd3e7cac10cab15607
    bytes
    3182
    bytes served
    yes
  • extracts/multimodel-demand-concentration.json
    sha256
    51fc1e4ba22fb6ac3b995507847cfc220e31c467dfbbc68896fd1fc6920b3f09
    bytes
    2792
    bytes served
    yes
  • extracts/multimodel-demand-concentration.result.json
    sha256
    1e34d5b8a9e3c169ff95125b25fe1e73255efaddbd534e565e286072a5162924
    bytes
    4285
    bytes served
    yes
  • extracts/offload-ceiling-trace-dependence.json
    sha256
    02159b1b0f5284390d658294368a3e8e58d28fac2c9e2684f94fa59fdc892b9e
    bytes
    3286
    bytes served
    yes
  • formal/lean/CacheCeiling.lean
    sha256
    3b3c6f5499e9e60e47206d7a5b7ba0ab32bbb17b589595185b1aed1d9fbea20f
    bytes
    7648
    bytes served
    no, hash only

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

  • formal/lean/PROVENANCE.md
    sha256
    ecffe55e5573511957cfaf92ba4635a31d51a71f9b940c942c760e07d445c7e2
    bytes
    2554
    bytes served
    no, hash only

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

  • HYPOTHESES/027-heterogeneous.md
    sha256
    45ea8c8ed307d387a9b0b89d95312198266b33bbea3b02bf8811a41244af52d0
    bytes
    5576
    bytes served
    yes
  • HYPOTHESES/035-d1-engine-hit-rate.md
    sha256
    6fba977fe9e552365e0c722340b0e3be49a15d74c19c0a996bb0ef0231718549
    bytes
    7325
    bytes served
    yes
  • HYPOTHESES/037-determinism-2x2.md
    sha256
    cdedf9000082695399a1b1093115d9dc64d8d22f11a50cded41c552e29893dd3
    bytes
    4255
    bytes served
    yes
  • HYPOTHESES/038-positions-per-pass.md
    sha256
    0801bce9591814d34d6fa7d2f5eec6def1d5eb05f7635193a733a7afe5c4dee9
    bytes
    4664
    bytes served
    yes
  • HYPOTHESES/README.md
    sha256
    b4afcc1f5f155d4959f42dcacd2bd8612d244dbf38fdb6ce82f246fc28776131
    bytes
    18646
    bytes served
    no, hash only

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

  • Makefile
    sha256
    ddbe27c46e931afa46249e596df422bd2e52571bfdba1de88ad7aed6c305d1a0
    bytes
    3609
    bytes served
    no, hash only

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

  • NEGATIVE_RESULTS.md
    sha256
    462c83abafbf0130409bce92226713bbf1b55645eec0b73c659e3ec65bd9c571
    bytes
    42226
    bytes served
    no, hash only

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

  • oss/outbox/bailian/README.md
    sha256
    7d250c7b3e1a4d40493ed3f43bda3abcd21290923b5032a5bdae0c13abe2ec27
    bytes
    2638
    bytes served
    no, hash only

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

  • oss/outbox/inference-certificates/README.md
    sha256
    0eed20d0e568827ba975d18034d4c0b0c0d97bc9cfb6d65bbfc296332b659919
    bytes
    2860
    bytes served
    no, hash only

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

  • oss/outbox/kv-fleet-report/MANIFEST.json
    sha256
    2d0f27caad906c888397cf5d375681d6d04d294cd73740398b8ffe645ef6e26e
    bytes
    1590
    bytes served
    no, hash only

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

  • oss/outbox/kv-pre-registration/HOLD.md
    sha256
    1546130a417d7e76c62b0c11e059a4230c0ccc61f125e031d0229d4b9bab4e02
    bytes
    134
    bytes served
    no, hash only

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

  • oss/outbox/mooncake-timed-slices/README.md
    sha256
    400bcda3e3afed9a4850ce591dab3b5cb449ce7a30f060fe1ac249cb247e51ad
    bytes
    1758
    bytes served
    no, hash only

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

  • oss/outbox/verifier/NOT_BUILT.md
    sha256
    354e4dbf4bae61da4b2de92ac9a4d89b486844f22871e2a22f391d0fa4cb8fa5
    bytes
    1704
    bytes served
    no, hash only

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

  • PROVENANCE_GAP.md
    sha256
    284a2898f80e42ba29c8d9663cdee21c86af62f6557e0e766e9c867e111cf0b2
    bytes
    2743
    bytes served
    no, hash only

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

  • PROVENANCE.md
    sha256
    1fb8dac804bcc032bf649e5103a6f9da84abc6a61f9e7ad6cf973b46367f442c
    bytes
    4492
    bytes served
    no, hash only

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

  • README.md
    sha256
    a60403580e6e91aa07b487da113e3e5087505c959a54bdbdb27b905dc0ebf81f
    bytes
    17192
    bytes served
    no, hash only

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

  • results/active_expert_ceiling.json
    sha256
    9b21cbc25ca9d7b9f21f1e45172003bf64ebf836e258bf535d3a4f4e4229f8f5
    bytes
    3866
    bytes served
    yes
  • results/d1_engine_hit_rate.attempt2_timestamp_as_counter.json
    sha256
    3948888f932d957ee8771cb0a049b71a99123c93cadd46572741cabb14c37be3
    bytes
    139109
    bytes served
    no, hash only

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

  • results/d1_engine_hit_rate.json
    sha256
    cc62cb8a4a12f4432fea518fcd46cf6b5fb7528fe55927a0bafb4eb99fbc2b82
    bytes
    6709
    bytes served
    yes
  • results/d1_engine_hit_rate.pre-registration.json
    sha256
    33708ae9a5264b58bd596f7b70537fe7b3078acb6dbf4298d624a1a90d29b7d8
    bytes
    5017
    bytes served
    yes
  • results/d2_positions_per_pass.json
    sha256
    503c641c799ac5691b21801cc476259056e03919bcdf9cb9a45df163a778f653
    bytes
    5124
    bytes served
    yes
  • results/d8_expert_rank.json
    sha256
    0e23b8d15ad8deee4605bd0ac35e03ff27905d7f344da8260b1af19c28b5a6f6
    bytes
    10755
    bytes served
    yes
  • results/estate_axiom_coverage.json
    sha256
    abf485d2a0ea8f4063db867a43a9f9c0ad803ad57eaad59c38df823b26d7136a
    bytes
    32841
    bytes served
    yes
  • results/estate_negatives_and_required-disclosures.json
    sha256
    7b31824fea0705eb707c606b1b1c257c9fda69c0b73e79759547101c830d4633
    bytes
    7035
    bytes served
    no, hash only

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

  • results/estate_release_readiness.json
    sha256
    d09726d63fa961f0166b0697188320a7b722a5f6a23c57d87e093a4dabfd9bcd
    bytes
    6208
    bytes served
    yes
  • results/fleet_report_091494c4.md
    sha256
    6a9a8991f221d0d17b481a1e15a1e6fe06ccd732fd5b47e0d5bd12421a301f93
    bytes
    2555
    bytes served
    yes
  • results/mooncake_reconciliation.json
    sha256
    f8053846c0cdb51d9db3992ab32a3923ebdac374df113901c07ffd8fa3cc5fb4
    bytes
    6763
    bytes served
    yes
  • results/offload_ceiling_generalization.json
    sha256
    a2488027d42be234f649ad67e0f94f8e1b13aeae1755c7813bcbd07e9b086784
    bytes
    6422
    bytes served
    yes
  • results/order_effect.json
    sha256
    d6f08be7c28d7741836ab1da77152d4e5b06937bbda812609eeb3f9593cc42c5
    bytes
    7888
    bytes served
    yes
  • results/run13_delta_census.json
    sha256
    3280fd922ec2c5f984211f8b0e0b088b5224a0a094655fe563b0f051f8182808
    bytes
    51011
    bytes served
    yes
  • results/run19_expert_oracle_topk.json
    sha256
    e389f05c6851616a4eaa5e64db3a94ef55e86066a5c5d9e3216863067d829a31
    bytes
    8936
    bytes served
    yes
  • results/run22_speculation.json
    sha256
    add6154584c3faaa359638adc0b8915f1925c5550cb55dd25b9be78649d11c49
    bytes
    11086
    bytes served
    no, hash only

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

  • results/run44_knee_binding.json
    sha256
    30a46b427872044197831fb85803b9f02584e961d496e1477d4f55713dcb0249
    bytes
    7880
    bytes served
    yes
  • results/run44_knee_claim_path.json
    sha256
    0d49e58e0f2f1da44907ba8bdd62f67a94628fa21c775c11e7bd1bcfc62840bc
    bytes
    12390
    bytes served
    no, hash only

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

  • results/run45_trace_bridge.json
    sha256
    7b20bd5a94a67b88f21e4c7e92f57d9b1e2c764458859185dcf556ba32d53d50
    bytes
    6773
    bytes served
    no, hash only

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

  • results/run46_report.json
    sha256
    ecb0ea6462ee7f9bd05519ea08f0b5fb379985f276486bec20833fa523a45d2b
    bytes
    5912
    bytes served
    yes
  • results/s06_bailian_fleet_audit.json
    sha256
    accf27996ff4d349342a09e502844352e45075cd8b60b8f6951552639a543ffd
    bytes
    10192
    bytes served
    yes
  • results/s06_bailian_fleet_audit.pre-registration.json
    sha256
    57f07c571bc061f8af83ed0a7220f251db206fb19407d4e8b3117c79663fb366
    bytes
    2755
    bytes served
    yes
  • results/s06_c1_fixed_bridge_n8.json
    sha256
    b46a1ac4534f2cce55a6b84a62bc8a022bd72f2eb2040584b8f6bffb7847bebd
    bytes
    6048
    bytes served
    yes
  • results/s06_verifier_parity.json
    sha256
    ce3d87868d82beec9b83205b2cab1903d4a02f037f1c44cf512ee3a6d26f8fb7
    bytes
    27654
    bytes served
    yes
  • results/s06_weka_prefix_hit_rate.json
    sha256
    a2e0dfc513fa4ffc70436cea91537edc93d3f8b24cca3e5813cd962a79dd7eb1
    bytes
    2785
    bytes served
    yes
  • results/s06_weka_prefix_hit_rate.pre-registration.json
    sha256
    8558e05482b44fcca27185e2553ea83bad782627e583c1f71e3f211cdcc4b608
    bytes
    2422
    bytes served
    yes
  • results/s06_weka_residency.json
    sha256
    cf174cb475e7f7cc68f2c3d7eef28a9ac04dd5c974bc8f663c527718043d47d6
    bytes
    19133
    bytes served
    yes
  • results/s06_weka_residency.pre-registration.json
    sha256
    a26ec0e38a967f255be05b8459fb5dad1eeaaed69ebbc3c9930d5371c5ef9e82
    bytes
    1732
    bytes served
    yes
  • results/s08_o14_engine_rows.json
    sha256
    fcc52b029e8e4004610acb33d328f9acd95ef3ce82514e5e24c66219e6dcd8d8
    bytes
    6809
    bytes served
    yes
  • results/s08_parity_bar.json
    sha256
    083a61ecdffaa7c663cbc966156491c30a96a747074b2259f11b6a6ac21c17f9
    bytes
    16279
    bytes served
    yes
  • results/s08_verifier_contract.json
    sha256
    532f68528751571a3b93f292ed9fc85350614742b93f557e3a0b07b11c87030e
    bytes
    4175
    bytes served
    yes
  • results/s46c_apc_fixed_bridge_n8.pre-registration.json
    sha256
    047f216d7f2560056d5257811aa7e5d08e810135d389473edd60f3b3d5babe7f
    bytes
    3364
    bytes served
    yes
  • results/s47b_aa_fixed_bridge_n8.pre-registration.json
    sha256
    8b43a4cb28bf7dcb11af6b827d2f4d83802aa488fb33d13fbddadcbfb9b353c1
    bytes
    3002
    bytes served
    yes
  • results/spend_ledger.json
    sha256
    4e35ea81c757f89303bd90a788d57ce44a240aed2685f62dd23ea7f67ea91c52
    bytes
    10505
    bytes served
    yes
  • RUNS.md
    sha256
    042a13a02ae313e1ae883b135b6a33fb1a483b7a60d6202750797d264c098429
    bytes
    327361
    bytes served
    no, hash only

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

  • tools/fleet_report.py
    sha256
    57eaa4e9a0f8cafd858b7968423424765bd6353f012812dea7df8de5eb9c372e
    bytes
    23401
    bytes served
    no, hash only

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

  • top40.json
    sha256
    947137c78d041f4aa9901d50c5a86985915700a4b999b64fe8341a69c9d25653
    bytes
    299758
    bytes served
    no, hash only

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

  • TRANSCRIPT_FINAL.md
    sha256
    533dfe9afdbfce04b12230dea3b10e9e2e4c1d1079ceb811eebe1c272e53481c
    bytes
    74014
    bytes served
    no, hash only

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

  • verification/gate_check_top40_paths.log
    sha256
    6838f15fc26985e9895686e32e7a9a96e66d2bb41e71af83d7906ada990d223a
    bytes
    1662
    bytes served
    no, hash only

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

  • verification/interrogation.log
    sha256
    61c6e5dac8b101937635d58ed10f32ba31c2138cfe469d6a160face061b71f9a
    bytes
    145
    bytes served
    yes
  • verification/lake_axioms_attained.log
    sha256
    abe8cf1b405a9a5ec50bf69e217b607b101ab7d194ffb95332712a7e49874403
    bytes
    355
    bytes served
    yes
  • verification/required-disclosure_sweep.json
    sha256
    0fd7ced8ec2d662e0187b31412c303dd8a0282b05c94c8db492afc81b7aee7ac
    bytes
    56307
    bytes served
    yes
  • verification/s08_verifier_contract_before.log
    sha256
    0fd128ed63f456d04be4dbc9097ca79b7a7bf948318dba50c954e3d7babe2373
    bytes
    795
    bytes served
    yes
  • verification/s12b_push_line1.json
    sha256
    0cf7b79d84cee28144ad2bff9d07f7ec4d4a84575c42209542bf41c2fce9159c
    bytes
    4384
    bytes served
    no, hash only

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

  • verification/verify_f83e340.log
    sha256
    b5537b5f97bcec696077cf8d8f63b9b93f50c6d261d271a722105f74222cd50b
    bytes
    1946
    bytes served
    yes
  • verification/verify_s08.log
    sha256
    d46550b3999c907b9c667600df1eb152016a0f8ce6d0e01872483ff594ee9e61
    bytes
    70323
    bytes served
    yes
  • verifier/verify_core.py
    sha256
    3f6ba1d52589eb15890e23f147e59234ba1a18aa6ac4312670c4ee404e11d050
    bytes
    7172
    bytes served
    no, hash only

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

How the file check on the home page works

  • It reads the exact bytes of the file you hand it, in your browser tab, and computes their SHA-256 with WebAssembly in that tab.
  • It compares that digest with the list of files on this page, which the home page already carries.
  • It reads the theorem names the file mentions and checks each one against the same list.

Green only if the file is exactly one we published and every theorem it names is one we published; anything else is red. It does not re-check the proof or the result inside the file, and nothing is sent anywhere.

How the numbers on this page are checked

This page prints no measured number. All published files.

  • Loadingshown only once its file has loaded in your browser
  • Not checkeda question we have not checked would say so, with no number
  • Checked, nothing founda search that found nothing would say so, with no number
  • No valuea file that holds no value for the question would say so
  • File missinga number whose file is missing or altered would be hidden
  • Unclear subjecttwo files that disagree about what a number describes would both be shown
  • Small samplea number from a small sample would carry its sample size
  • Conflicting filestwo files giving different values would both be shown
  • Not publishablea file we may not publish would be named by its fingerprint only
  • Out of datea measurement older than a week would carry its age
  • Does not applya question that does not apply to this page would say so
  • Run faileda measurement whose program failed would say so, with no number