{"schemaVersion":1,"sourceCommit":"2804a5cd166bdca6f3de3538b860f669597258a0","cliSha256":"fa74604f28416e257bc2d2a4d784591fba9c65069de84dcbd116eedd5d482fa6","command":"node scratch/export_thesis_examples.mjs","scope":"Materialised frozen inputs; checked compact-data preservation. Not a fresh CMD/PL proof or a rerun of the historical generators. Torus recipe final input compared exactly at seed time.","hashes":{"torus.json":"393114569c3cd09091453b2a2e03338af7cd8b8eea8077bc5de89474984732d2","torus-n6.json":"8080849fa3527e98e87f8db93196804c25d1d53c74dd61aa18b0b06ddbfb9aeb","torus-n15.json":"e6cc3c6fc708f7ece2389749ce3e114b020b2f4b33b7fe71ac52cef9d3f80709","torus-n17.json":"4870865e41b7fb7c68a1c308ac5f3706728a4e93fe903d6753d05e29b9cdf03c","torus-n12.json":"c89f39ec1373a276201fd1c10d5195426ae0114968f4a9cfc10a7d235256a577","torus-n18.json":"71e28cf6f1ae0f84b629ebf396b736a8e975696ba4c4bb3d61079223747abdb9","torus-n19.json":"7284b0ccebc957dd155d8ae75c49a02fd4c328bf6cf914154d8082196a27b3aa","framing-base.json":"c21a8aae40453354d2b8d8950759827b613769bb24e196fd3e43d0fdb730ed60","framing-extra-bend.json":"5482337d15146901c5288e88dff799be7e1f049d231924684e20ab0c4831ec01","framing-side-by-side.json":"093dd264fe9fb26337feb65590047d4a0c12aa153e4a11bf5097210c92368ac9","singularity-1.json":"047aae5be804e1ca2af3f2bdafdd013ef4d2d86be1986df4a95b8ea7ecaffaa2","singularity-2.json":"6da265619a7afcacaa2bf28eaa18dd01d2f8653df206cb798f9b1b563781daba","singularity-3.json":"f295cc64aecc9e91ed27dba819100270c815a99a31fa1dd06637cdfe2bc8fc68","singularity-4.json":"6e378dd89146e4dac70c62707416c52e15507e964e9d9227ac063647a7451e72","singularity-5.json":"5abfd98ba2b186403d683251c70eeef43fa12318cc444ce52e00e82d10376568","singularity-6.json":"0e8d8e3d791dc643e9ab541a71f78914115c73d9ae3e6a35f9ff86553a686324","singularity-7.json":"4b69111d9ffadffc7714586e4eb5f91484a13ced65364d7fb440fc8ca5844abc","singularity-8.json":"3263128cb3835c44abb47243f74c63b904d076cd97e4f55b894b0c269c190cfd","singularity-9.json":"cd76c52cd80c002123b74f2426d6ee0e39d47d204de339b79b5477772edc8554","cap-movie-0.json":"b3f6642f8096f737ec3bf7a3944a48b344298aef841472c7701f065848d843b5","cap-movie-1.json":"5d1802730bc64090388c9130355088ed7892ab5a2bc80e1ddd6a12537974ea2c","cap-movie-2.json":"8ea6ebd337fa9ecc062e9915803e33e247b1dac1267781358ecc465f1e340064","cap-movie-3.json":"313c8d0b1878a0424bc9533f80a1849042d8a118f324008fb4d09d1d52d948f1","cap-comparison.json":"eb6d6d5e267c66377f431fc88d5f090c07be3b89f5f700b86d818096018d3c24","two-cup-full.json":"ab5b65180cb9d9f8bca0d520428db59494749fc48cd026a7cea22c35cbd35f53","two-cup-reduced.json":"6172dacf31b6908f04f27e21c5ea0b312446c49cbf45169df96366f4c5098375"},"additions":[{"records":["two-cup-full.json","two-cup-reduced.json"],"sourceCommit":"3e87ff0d27d4ee353ba17c220c85f50e37a29305","cliSha256":"fa74604f28416e257bc2d2a4d784591fba9c65069de84dcbd116eedd5d482fa6","command":"node scratch/add_thesis_example_two_cup.mjs"}]}