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 | 10,902 | c9490ec1f641ebff33b3c0598f082ddc4cd1e6f6849c34251803a0c807e7edc1 |
| assistant-c2.json | 25,509 | dbf38ec7eeb3448cf5ba48e4eeb8ad906ba210a5995b972478b3a8ae7680c61c |
| c1-judge.json | 69,197 | 7bbba26d0581ca241699692759fcc32e641eee952e8fc1932d24de8cd1ebdcc0 |
| 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 | 9,480 | bbf75bab3618ec843f9393f4cc8fc5307122bdb554c4301f91ed6a89ae51ef1b |
| judge-c1.json | 32,319 | 6695757e19ed0299d0a5b78db7b8c08bdbe95e056b46ccc91437a66b0a855513 |
| provenance.json | 15,187 | f26ce98b7fcd5591c7b14f1653379c23a2037291f8e8488ec66b13149f587fbe |
| roster.json | 22,142 | a37ad080f3a7186f5ec0c758acc4af1dcc6a65775f9223dd65f08f381997fdab |
| tools-schemas.json | 10,051 | 63caa4edd086b320b91328e6ae1b535f66dc85bf58925c38391910850a12b150 |
| tools-tasks.json | 31,186 | 593636e04340cb3a4599fdb7ddda8835209b69bc466583e84cc52cbcafd7a585 |
| voice-questions.json | 12,410 | f10a83025d0acdf2fb337a6422baaac6345bcd520a5c5e5ff7de28064dd47a20 |