07035b399dd1595840cb6945c8f5e7738496b9be6339182c3e5d86e405665ad7  INDEPENDENT-VERIFICATION.md
33bc254b59c6df3644fff496702933958c74ba10393414be84e07d6d5fbb4903  INPUT-SHA256SUMS
b4574bd3879db69e7fec754d285be4fcb9f1f65bdababdb9b6f8a481ed7cf557  PROTOCOL.md
5cf3a5f12d3f6dcb923e923050d13668cb07183b795e40813356748202d8440a  QUALIFICATION.md
da28cc09bc3865be002648ee0941c9b9f9d34ded86786881157bfe6273558426  README.md
d638879bf1800be8724889a02883d7d95c9d9bef1322a56b6d57f3a440102b31  RESULTS.md
86aefe970d9c9a95fab1fa6f82949e096eb7640bdd71d7910bec7167352d6a85  SEMANTICS.md
0a22283bfe9d1a3e4ba41e3146fd0cb4731ecdf39f467817945d01fba380ca3f  THIRD-PARTY-NOTICES.md
37517e5f3dc66819f61f5a7bb8ace1921282415f10551d2defa5c3eb0985b570  evidence/DISTRIBUTION-REDACTIONS.json
d8573b69f4cf5fe1bd9d1a5c5e5d05e1ed42307432a7e9261acb749a3445b8c1  evidence/INDEPENDENT-PLAN.md
07035b399dd1595840cb6945c8f5e7738496b9be6339182c3e5d86e405665ad7  evidence/INDEPENDENT-VERIFICATION.md
cac995a6597c267913d4f1b85e8cd7f67d3ffbc344d0d37aacf715f93ab775d1  evidence/author-independent-audit-results.json
679b165782bd3a9a47ec308f839538539661ba08647bc13051dea99d92513000  evidence/author-run-001/baseline/command.json
8eb76f8fa74ad85b6de87ee2df7e85033602f33ea39aa442d9f2a184400080ba  evidence/author-run-001/baseline/incomplete-example-1.json
fe6399039408f29c2ea766e2a8d41da2fd1f32140c493c33e9ea22a723aa56af  evidence/author-run-001/baseline/incomplete-example-2.json
4574711852320272cd4c73419ac8c072811e3660ff470453338dce9a5efbd4e7  evidence/author-run-001/baseline/incomplete-example-3.json
d88d7a8aa3d0e58c24660dcc022c4fe506ec5d338bed08c15691285ed1250a6f  evidence/author-run-001/baseline/incomplete-example-template.json
cfd3f8cf66cfcb61c61b074d0f391c7dffbe89398ccabbeaddb5374ec2e83cde  evidence/author-run-001/baseline/incomplete-example-tokens.json
361ee2961a90eb15a8722e3f489c7a8f8eee3a59234e803bb6662c9751a9ff20  evidence/author-run-001/baseline/neutral-trip-1.json
9809103336faed42c97f348cb0121e74f825f9ad92fd060a21eb4b814004ff82  evidence/author-run-001/baseline/neutral-trip-2.json
6b0a1ee7886f35ed8ff7e1ee69182d0895022c72cc9a882cad5e060766361b48  evidence/author-run-001/baseline/neutral-trip-3.json
e68b48a4ef2a6b0652b836a20cf77808cbb285ae0b61ffcc53db31ae5be4f105  evidence/author-run-001/baseline/neutral-trip-template.json
da691d25d0259568e7c1507f4ecaee6397e99618afb16dca6c07b0cbe8cda9b9  evidence/author-run-001/baseline/neutral-trip-tokens.json
9cc16affacfc6ae8ad137d00fea1537eb0925245d5ddaf923bf896c9439ff527  evidence/author-run-001/baseline/props.json
6456dce7a7e46a35dac121de13fbae9d037e696550dd06606e505fa824a762ad  evidence/author-run-001/baseline/server.log
679b165782bd3a9a47ec308f839538539661ba08647bc13051dea99d92513000  evidence/author-run-001/corrected/command.json
599befdd2fb3af596b915fe9b8ecac25060f063cf4300b7a2c1ccedfe3de4b3c  evidence/author-run-001/corrected/incomplete-example-1.json
1bdee84ed42d352f36816057d83e04d6c11d8eb4606191ba1b30ab22dd02da24  evidence/author-run-001/corrected/incomplete-example-2.json
f0fa8fdd7989a14a93c7c332ff411108ba09c5e2ea85cde5fdb73f508a2022b0  evidence/author-run-001/corrected/incomplete-example-3.json
47b8a3724c797da4fec94133b59db884771047224447090186de880206dd6d8d  evidence/author-run-001/corrected/incomplete-example-template.json
ebe90991b4aac7f30e9ab2731da756d87ee230eabfeac2abd6479e0546f18b56  evidence/author-run-001/corrected/incomplete-example-tokens.json
61fa73434a85680a1f88e2d498612ac6d876cc8768b4958fbb174a3de9650db1  evidence/author-run-001/corrected/neutral-trip-1.json
8072a263c4ba089d19b7b7b2c67053889539199a00cb814415b3820a3ee72fd7  evidence/author-run-001/corrected/neutral-trip-2.json
f419edf6b2c05a6bb8022ac8164efc733aafb6e9822517d1e762ced6d1d7cc4f  evidence/author-run-001/corrected/neutral-trip-3.json
4d7d13597b011bd6ed6c1965ed6c903832a3aa4f50a4345c781ec1c9ed50de12  evidence/author-run-001/corrected/neutral-trip-template.json
ccd64d234db15c25ae61b6b3937d40cbfb8c939540cdac597ae7b4d907684331  evidence/author-run-001/corrected/neutral-trip-tokens.json
bc3c192448ecfe4c92ef71a05d0519628d7a3ab0cf07c7970523e0a9905077e7  evidence/author-run-001/corrected/props.json
074c93c020a96aae153f467228eb910a0c17d9141acb1247640681f7b18e2f88  evidence/author-run-001/corrected/server.log
eda3168cd52bcc76260c8106c92c6b89b457681e99346542357d00f75c1b140c  evidence/author-run-001/environment.json
679b165782bd3a9a47ec308f839538539661ba08647bc13051dea99d92513000  evidence/author-run-001/reverted/command.json
4e432b44618729fdeb7d7fda6a6a2791ab632edcf9756727874d59f664257184  evidence/author-run-001/reverted/incomplete-example-1.json
522ea67f21c181a9856b38a6b17007ed12648087f81a6ff5fc06839aae9d0d6c  evidence/author-run-001/reverted/incomplete-example-template.json
7451fbca2edc91ce30c48fe40d723e782aa272500c6bb51875c992a63e88360f  evidence/author-run-001/reverted/incomplete-example-tokens.json
53f406e34d21f4b354e52cc342837f92768fcafd4e32e73136f59732357b7303  evidence/author-run-001/reverted/neutral-trip-1.json
4393abef7ea7005db720e23193a2d12442e97fdfda740a00b7f58a684bf195f8  evidence/author-run-001/reverted/neutral-trip-template.json
9cad7ccd4c6c8e6faa65d8fe86117b9666309492487f148c3451baf455561f2d  evidence/author-run-001/reverted/neutral-trip-tokens.json
9762093ff9b3d5a3d34b292025d251a06cb3b95e7397fe04a46c137ef4f2dc2b  evidence/author-run-001/reverted/props.json
e83ee6ab3b5a85a97d658f37baaab3f205e3f894eb0ae0d9d929edf9af2d93a8  evidence/author-run-001/reverted/server.log
bf5a5081727029929e1ff70b54068f5027d36c1cfa9b9aa9a309f47220af79cb  evidence/author-run-001/summary.json
04d8fbef3ac6fb72794a595c116937f5897e5da7ac72e78a2655d5642e2dba02  evidence/author-semantics.json
74e8ead1bc6f4cd581d52863a630b08a53ff1e55c9ffba03f0b78a2d01f43690  evidence/exploration-001/baseline/command.json
63262724add5bcff033fea1a9f0b76044f4d03e2a61d559455a5c24edd36ceeb  evidence/exploration-001/baseline/incomplete-example-1.json
f7d5fa638222c9e0ca1be15047e373fbf1dfc4a1c0491010c55e1422a7b9ef1e  evidence/exploration-001/baseline/incomplete-example-template.json
864dcf522e9c248a25a285eb4c1bdf50767ac0005bd3a077ad6bd413e0da9f6e  evidence/exploration-001/baseline/incomplete-example-tokens.json
15bc362dcd911c4b42c5e91417f65173494d35b540cb09a10340553a39ed5caa  evidence/exploration-001/baseline/neutral-trip-1.json
93c540f8335bf6f08b0d981f2ba708c361ba39805be16771c90ab586b21bfb17  evidence/exploration-001/baseline/neutral-trip-template.json
79cc0489441d778661b16b4f1af1ccebb8783cd670459469e189885b70bbb15c  evidence/exploration-001/baseline/neutral-trip-tokens.json
a801eaf78586f1694b7f13322bc6b4150882cbaa1a0c362f2bcdb5454cc6f166  evidence/exploration-001/baseline/props.json
a702479b8cbc143712784c70a55462171c8b65098d53e474b10d42b4aa311fa1  evidence/exploration-001/baseline/server.log
36249013ad280189c30c985c28c5052b7d6704baace47331573b3e217258f095  evidence/exploration-001/baseline/three-actions-1.json
2e520c8c307ddf47c86e028fba758fa8435827fca0e6e0b618216589a2ebab13  evidence/exploration-001/baseline/three-actions-template.json
7e87768ee84f41d53bac7d0d240c271faa316b1d2de9563abdaab1c74156371d  evidence/exploration-001/baseline/three-actions-tokens.json
74e8ead1bc6f4cd581d52863a630b08a53ff1e55c9ffba03f0b78a2d01f43690  evidence/exploration-001/corrected/command.json
3a638dbd64b861e696103633220baaeb32532abfd36e662cdb672cff6221aaf2  evidence/exploration-001/corrected/incomplete-example-1.json
c1278ce46ec0af8f6650c58df6803bfa6083a08d8e6cff1b15a1e103eeb8e073  evidence/exploration-001/corrected/incomplete-example-template.json
3fa8c93cecf64b3f3f386d4eef5f46fb3b69a48c319eb52eafa1b706ec195397  evidence/exploration-001/corrected/incomplete-example-tokens.json
e5da2bef9d2b289dfcfaeff4c09d9c9b346eb035397e5a9ff71fe8b92da22255  evidence/exploration-001/corrected/neutral-trip-1.json
47b6c8f07176b2c9359b1b06b574c9a6b6dc37de1f75180bf84c3c3efcfed009  evidence/exploration-001/corrected/neutral-trip-template.json
2f043d8a195edb9188d30ebed238bd57cedc295caa020a8b4863a93f7b171bb4  evidence/exploration-001/corrected/neutral-trip-tokens.json
c36eb4abedbaae272dca6f2b53a29cbd5ccba55d403b0b7fd30f0f389fda4f03  evidence/exploration-001/corrected/props.json
c3f8f6d05b984fadabcc3d329415743b55ca624b82eb0080fcc1bb827c7c28f9  evidence/exploration-001/corrected/server.log
1b98701b203d00910757f0e07c1adac46bfc85d817cd666c15859012499257aa  evidence/exploration-001/corrected/three-actions-1.json
4244590b180058e8eddf8939fdfe44f1ee9564bbc14cd17b6107b1b0809cf147  evidence/exploration-001/corrected/three-actions-template.json
c80b1aafb5b41e213169781571027534b6dcee2cf49bbe314081a52aa6202358  evidence/exploration-001/corrected/three-actions-tokens.json
607fbafd212e64729c25f64d8a35686e5b6a58e73b3ca9f8ad9cce419d1961bd  evidence/exploration-001/environment.json
47e3969091c389f780e95ff4ee30c7e03138a644aa98a7ed3d5af5c92d1dc817  evidence/exploration-001/summary.json
28d3b37835d4045f5261364800f04b223831c665d51c4be3399a299ad93900ad  evidence/frozen-input-receipt.json
cac995a6597c267913d4f1b85e8cd7f67d3ffbc344d0d37aacf715f93ab775d1  evidence/independent-audit-results.json
1206e48c6eca140a7b02d0a931cde3c5ddb1313db0b6fbbe271239c21a1945c9  evidence/independent-audit.py
d3a77f0ac932d7e1c2d5b03ad5e881dd120d483d94018021a6e2070010646c86  evidence/independent-run-001/baseline/command.json
c8c60523214ab1f52b14d287da072e74783c909ec757b916a81805460e259470  evidence/independent-run-001/baseline/incomplete-example-1.json
e2a60ac9b8de2bcaa2c1a5054036172ce793e601774b463c59d6d12aa6e37da1  evidence/independent-run-001/baseline/incomplete-example-2.json
fc8f2f2612991655d2a1426577684de09a0162ab41d5cd16e0cddb7056753c2a  evidence/independent-run-001/baseline/incomplete-example-3.json
d0d262a73042fa7cfc2f52448997cdd40cb7b064205a26c86d4ca54665c77477  evidence/independent-run-001/baseline/incomplete-example-template.json
9928da70efb7bff5bd5648cbdabad6cc3615cd6be63f71ee19ebd74225752ee3  evidence/independent-run-001/baseline/incomplete-example-tokens.json
fb670895579e6ad9b1167493b6eb10c9942514d7a3fa460230a7bc63b78538ba  evidence/independent-run-001/baseline/neutral-trip-1.json
20c93632c7ba8403ced0602821bcb20da72d3b8e60b4aa0af24e8fb4ad58b4c2  evidence/independent-run-001/baseline/neutral-trip-2.json
199b653c5632392ae0813597c11fec439037f7f7ae26cefca87524ea565560fe  evidence/independent-run-001/baseline/neutral-trip-3.json
299bdd1c29faa505cbdfd2b77f2e0ab7de24aaf049fe7e2dc88524eba0b47ca5  evidence/independent-run-001/baseline/neutral-trip-template.json
59ec0f22f4cae1bc75adc42793518963a9b93797df798053949d8da52a281b37  evidence/independent-run-001/baseline/neutral-trip-tokens.json
9456905b09165abcbbb8c88bb64c24986bb68a443bdb3d86179d425f7dd890b5  evidence/independent-run-001/baseline/props.json
cc2b785dbbd1f09e9731c39446f824fbfd7be27c75f8b567eeaa284a4239b55d  evidence/independent-run-001/baseline/server.log
d3a77f0ac932d7e1c2d5b03ad5e881dd120d483d94018021a6e2070010646c86  evidence/independent-run-001/corrected/command.json
ee70978091206d17287086b7e5157d98b646c62164f00e08dfd967223a6a0bfa  evidence/independent-run-001/corrected/incomplete-example-1.json
a28b5aa77753aa83e289b63497f81729787b2d96344e553d9ed3d4f621e9d97a  evidence/independent-run-001/corrected/incomplete-example-2.json
519bc3ba82964394a9a073071193aef5a4d3115fb4fb26e7e26a6ddc264d8600  evidence/independent-run-001/corrected/incomplete-example-3.json
241888c0ea76ba77738b007d92f6388d143ffcce275d0973f7ca20f6a25bfdb7  evidence/independent-run-001/corrected/incomplete-example-template.json
50d02fa4f3930e2ef6e0f12aafe468485898874f87e5f097838267bd5990b275  evidence/independent-run-001/corrected/incomplete-example-tokens.json
734b823137ee5019a0a019fb2718ae1392e2e515fbaf7777fb2c5a8455864ae2  evidence/independent-run-001/corrected/neutral-trip-1.json
cbb278bdc7f67321323b8beae4c6613cd66f3231db5e4f5879038be694db089a  evidence/independent-run-001/corrected/neutral-trip-2.json
4fd88b8634e8ecfae744f49023011c0ccae5ca0e07fc324b4f201f6999adaca5  evidence/independent-run-001/corrected/neutral-trip-3.json
bd5740942f7b70cad65189b80b8510c55fcad0ab003b44fce62a3aa2ddaf1b07  evidence/independent-run-001/corrected/neutral-trip-template.json
e68ff0b79790ed00cb6ce5bf155c2e396e6d7a18fa324f945cb75f62f029d0aa  evidence/independent-run-001/corrected/neutral-trip-tokens.json
212541aff9fd95b90855a83c913e8e191a67cf11615ebba41e2e2b19d487a157  evidence/independent-run-001/corrected/props.json
ca541c4485ff4862382df6d89cedd884fd8260c461cb76ddd583513bf31a657d  evidence/independent-run-001/corrected/server.log
9f8a00633d30660a482c308e14440115ddedcf1ec21ac914e729eabd35b7b6df  evidence/independent-run-001/environment.json
d3a77f0ac932d7e1c2d5b03ad5e881dd120d483d94018021a6e2070010646c86  evidence/independent-run-001/reverted/command.json
81b8e82877e90f6f3f6b0607bb4c93fcf979d92aba8e365a94e96437cc080655  evidence/independent-run-001/reverted/incomplete-example-1.json
7ce032837df5841341907f6e304f0cd61643adec47fd605aea776a3fc3288074  evidence/independent-run-001/reverted/incomplete-example-template.json
b9ff92384d1ee375c2157c938bfe2a4da8c4be7cb428882aa33cb8e461333f6a  evidence/independent-run-001/reverted/incomplete-example-tokens.json
b87f53fafeefba8457ffc003afaa28cade408c9f53b5ee6df983443714d98b47  evidence/independent-run-001/reverted/neutral-trip-1.json
7967ce79c254caa65c09d3cc63d53cb29e5f7a07cf989436e50993cc249ed73a  evidence/independent-run-001/reverted/neutral-trip-template.json
d751d2df2b54be31213e57314b538ecb125de524e947e751c6aa2a5481d90dbd  evidence/independent-run-001/reverted/neutral-trip-tokens.json
ac0f21c16802559d3822a2fa04a1aa43728417f24d6277dfa04657395e5bf319  evidence/independent-run-001/reverted/props.json
29e117c44cec6b09409af25c0fddb8ede6c57247714de656e38db0fa09e40efb  evidence/independent-run-001/reverted/server.log
6337487a0328d4ad3247350957ac504f5d41fc3ce10bc2e97f74645f44038f59  evidence/independent-run-001/summary.json
52020ea6fe8d44695c3a1a05f4f398224b5dc80f1a909c49c00ae3c9d84bd6f8  evidence/observations.csv
94d1ba82abfb15f952cbb4b02fb560dca9ad01562c79fba39878b9e0d54c20c9  evidence/verifier-input.zip
851dd3901ea12f4b47b2eec3765559ed8a0666fc89a4ebfe05beb877544587b7  explore-fixture.json
0ed8321d9d5d9e5d153c6698b76c609d07a524305bc2ca0f017a02305cbef3c9  fixture.json
7a896b7163c74489ff9cff73a392dd33dfe5e933386f9898d2fb47f77841664a  manifest.json
f2628cb4edc97c879b9da8960bd19c8a8b69bd12da3acf766125f656e08c243d  normalized-schema.json
364c368a447aa30bf7dc13f53fc5cd09e263b990bcca45968dd86e66ccdaddca  original-schema.json
b40627a141b7eb0983251f9cb162213aa1c16e2cb3647a95b7ab09d78e769d9e  reproduce.py
d7fa0e1fb0edd5e0d82480e66e0fe306e75e2f4b8b905cfcfd5f3429ef9c2bd3  semantic-check.py
94f29bbed6a22c35b992c5c6ebf0e7c92f13b836b90f36f461c9cf2f0f1d010d  sources/LLAMA-CPP-LICENSE
ee6375d09007ee3097f7a7d40e675240b90ae398dbd0f506ae015f3aab1701d2  sources/issue-7703.json
60fd5a74cf2d8883e7a03000f1643419c3ab7f080dbe7dcf4f601b1e528dace1  sources/receipts.json
e1874c0f08abbcfe45eff0b7b0290faa58f630981bf94274e2d99751ef3b0208  sources/runtime-grammar-guide.md
1dc1dc626405c56ce14a314d6ac65463f2c1438092301b3d418b4dc43a3aa43f  validate.js
0f7ccc548b61f149e1f365867ddaacf4c2fc1c497231c027721fe8f5da2fd9a4  vendor/jsonschema/.editorconfig
d8677215c6a06c7e47ddfb1aa10002b5f4ddb9116736b762864d014be6ee971e  vendor/jsonschema/LICENSE
5215a523d0d524ca22508ee30897e98a26e5881fcc507bf43afa2ef5cc0cf3a1  vendor/jsonschema/README.md
5ab2a7ae9b51cc7d2242a60ff52cac38b67dc7007e68ec2b39744047c10dc269  vendor/jsonschema/lib/attribute.js
69fef90bacc712a7e19696997bfa7fe857341b2fec0718ae8ce7b27b3acb68e6  vendor/jsonschema/lib/helpers.js
e0b8c4eacc1d1529b4d74255aead87ad13e4ca4c14b30355d07f3b8f6e75006e  vendor/jsonschema/lib/index.js
67b90565133aecb737a9c30d1d90207a86eaa6ddf9324b6de7fcea2f16b40626  vendor/jsonschema/lib/scan.js
bba94419cf048bb70fe897d8095daf18e5fd7f629f0ab98069ad0ab07598a096  vendor/jsonschema/lib/validator.js
2127f29395b1c163c1408b19cbb18dd1426a0e2577e3c04a1d7173858d7ed7bb  vendor/jsonschema/package.json
5e0253f3d4622a6454c7f533d3493a21c114d896f43868941485d9651e4f28ce  vendor-provenance.json
