Every file this exhibit's figures draw from, with its size and sha256 — so what you download is provably what the page cites. Machine readers start at index.json; the licence terms are stated on the exhibit page.
| file | bytes | sha256 |
|---|---|---|
| CHECKERS.md | 8,572 | 95255bcbf04fae6764e1634d8b8c53f8c80966c90997483c1cfacb3c51e19d19 |
| README.md | 12,723 | d14925243e2e670e6ea4638f8c49e927d4211bb6431924d683b0db51e1276e59 |
| assistant-c2.json | 25,509 | dbf38ec7eeb3448cf5ba48e4eeb8ad906ba210a5995b972478b3a8ae7680c61c |
| c1-judge.json | 69,062 | 9805afa7d820786d780cfecacac6a25116170b2096d57730f2173eeca6aa6dfc |
| c2-assistant.json | 358,812 | 0ffee8f453cfbc838cebdc51e05f2ef38a22b24b14e003ae3a41ca96db729e4d |
| c3-example-trace.json | 8,495 | c07cda701ff63f1c9b49aa86fc6a394cde6f4d649df59e374084f7e6cdf723e2 |
| c3-toolbench.json | 570,948 | 75098737f370310b288f9bdcfba46e5120fd8ce0fcfb31caa306f2f2ef1ae847 |
| c4-narrator.json | 131,602 | 8de910fb384032990e446f008b69045d641d7f120da664b4204fe8e76cd9460e |
| c5-stopwatch.json | 231,155 | 3a9d8e5a4585f1abc5d5a276471aac1b9d3b719c4e525e02fef12ea419fa3c79 |
| c6-asks.json | 10,220 | 09e6d04821528672e633bb4010e106dff9504e594894453583621b83d4daa736 |
| c6-serving.json | 231,039 | 41183bd4fea2b362a67e30862c957c83403496da1b8f3cad12056226050805d8 |
| counting-rules.json | 24,759 | 8a74239ac354760f94aeae40448548716b51fa07eb01793eca0d31d755e28ce4 |
| index.json | 10,202 | 954e74d8cef5ca0d382529c3c5571134695a7e863c6bd3a90fd617834ae5ac21 |
| judge-c1.json | 32,274 | d10acee818c4507c17790d89785019e14f8650a0bea94e5873df9519f9126217 |
| provenance.json | 15,052 | 111110f6479e4aa09a7cbecadf57fa3b4645e6605c2e1e52acb634d77f5f1062 |
| roster.json | 22,142 | a37ad080f3a7186f5ec0c758acc4af1dcc6a65775f9223dd65f08f381997fdab |
| tools-schemas.json | 10,051 | 63caa4edd086b320b91328e6ae1b535f66dc85bf58925c38391910850a12b150 |
| tools-tasks.json | 31,186 | 593636e04340cb3a4599fdb7ddda8835209b69bc466583e84cc52cbcafd7a585 |
| voice-questions.json | 12,410 | f10a83025d0acdf2fb337a6422baaac6345bcd520a5c5e5ff7de28064dd47a20 |