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.
9 files, of which 9 are served with their bytes. Each digest below is of the bytes this site serves.
- v3/
measured/ artifacts. json - sha256
- cb825be661fd5e1f5b8459b2a85a0dd751bcdb16fe4ea7a58664e6fe4b797c9f
- bytes
- 2566
- bytes served
- yes
- v3/
measured/ defect_ injection. json - sha256
- 476dea78ffeabdfbe4f96003cbc255ff10b0adc8cebbc8b10c7d3bcfb917c66e
- bytes
- 898
- bytes served
- yes
- v3/
measured/ ip_ ledger. json - sha256
- a4feac97d0af3c534f1854f986d8087e6de0f8ff3926166ebc2e882eeab87c74
- bytes
- 2070
- bytes served
- yes
- v3/
measured/ lean_ declarations. json - sha256
- 557b691126526b6c727d3256b3e9ac554bd23694a1af6846e88875105322b0fe
- bytes
- 812
- 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/ 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
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