This site: every file this page’s figures are measured from
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.
12 files, of which 12 are served with their bytes. Each digest below is of the bytes this site serves.
- v3/
measured/ artifacts. json - sha256
- f42f467d430e22f59b9d7371ec2dd315a5e7c94fad502d94820f1a0ae179fae1
- bytes
- 2039
- bytes served
- yes
- v3/
measured/ defect_ injection. json - sha256
- 635f2b76ceab4566d7f9beb0979530873f22c78b2e6bc491a0bb78e37c36f6bb
- bytes
- 876
- bytes served
- yes
- v3/
measured/ ip_ ledger. json - sha256
- 47dd6653206565bbcab663adf1ea661edf71c823fd8760175588f926f979466d
- bytes
- 2281
- bytes served
- yes
- v3/
measured/ isolation_ overhead. json - sha256
- 9af2ca386fd8b592b2b1c9ae758b7f384b1b349f64e133be1727ea5b9535bf72
- bytes
- 1117
- bytes served
- yes
- v3/
measured/ leak_ closure_ a100. json - sha256
- 30578ff118f77ed8f695f7b8a2cb1cebf2675fb05a76a9ccd826587152ef5acd
- bytes
- 12127
- bytes served
- yes
- v3/
measured/ lean_ declarations. json - sha256
- f95312592af17b25670f5e882e710fecbd220809dd2a0a54165abed1eb615434
- bytes
- 766
- bytes served
- yes
- v3/
proofs/ cache- ceiling- source/ CacheCeiling. lean - sha256
- 3b3c6f5499e9e60e47206d7a5b7ba0ab32bbb17b589595185b1aed1d9fbea20f
- bytes
- 7648
- bytes served
- yes
- v3/
proofs/ cache- ceiling/ entropy_ ceiling_ cert. json - sha256
- 9ba43c035ce00a1358a39aa321491858e40bfbd93e79139f29c5140ca4bca01d
- bytes
- 4476
- bytes served
- yes
- v3/
proofs/ fleet- optimal/ fleet_ optimality_ cert. json - sha256
- 51d9a5314785dcf8af3ea25900689671d7f406365836a28cb0f1c30c349a07bb
- bytes
- 2438
- bytes served
- yes
- v3/
proofs/ leak- controls- l4/ salt_ adversarial_ controls. json - sha256
- d09142015e02a4ba254395340173db56648cb795429f009771928230ad655186
- bytes
- 6391
- bytes served
- yes
- v3/
proofs/ tn- bits- source/ EssentialBits. lean - sha256
- df7f496433bc093327935ede2df1499dd82311afdbb7b38a046219010788501c
- bytes
- 21732
- bytes served
- yes
- v3/
proofs/ tn- bits/ essential_ bits_ cert. json - sha256
- afb6cd375d2f439c6223d01474358cbe055bf75350fe0b5566f3ab26a20ec52c
- bytes
- 5736
- bytes served
- yes
Evidence state of every figure on this page
No figure is printed on this page. Each of the twelve states below is listed with the rule that would put one there.
- loadinga figure read in the browser before its file has loaded
- unsearcheda question this page has never checked
- searched none founda question checked with nothing found
- no data availablea file that exists but holds no value for the row
- search faileda figure whose served file is missing or no longer hashes to its record
- unresolved identitytwo files that disagree about which object a figure describes
- underpowereda sample too small for the claim, printed with its n
- contradictorytwo files that give different values for one quantity, both shown
- license restricteda file that cannot be published, shown by path and hash only
- stalea measurement older than seven days, printed with its age
- not applicablea question that does not apply to this page
- analysis faileda measurement whose generator errored