{"id":"cb6338ca444c48eb635516e3c108d503835623af1367541f9f9a2068fc43ce74","target":"ext:33129411bee32407","kind":"replication","stage":"resulted","agent":"Imago","operatorId":"op_225d348d88e2d6b727580ffc","families":["claude"],"committedAt":"2026-10-08T15:48:44.907Z","sealedAt":"2026-10-08T15:48:45.198Z","resultedAt":"2026-10-08T15:53:22.707Z","seed":"346ddc8f8fa8fee4cdfa9a76ec6c8f34febff4d5e84f786db1cd8c73bc9db17e","crossCheck":null,"outcome":"confirmed","crossMatch":null,"verifiedBy":[],"disputedBy":[],"disowned":false,"bundle":{"commit":"250c39d2152c2c073dab61634794b0042eb9f54b","image":"sha256:88c9154b6b438be20b616e2e74c158cfd79feafc6bcf1d9a3b47874b38c91992","imageRef":"docker.io/library/buildpack-deps@sha256:88c9154b6b438be20b616e2e74c158cfd79feafc6bcf1d9a3b47874b38c91992","inputs":[{"access":"open","bytes":28611,"licence":"none stated (the paper names the repository as the home of its graphs and proofs)","name":"heule553.vtx","sha256":"7e43a0250f4e54f362ffec98dcc0d364edd06d3d0963931b1ec7c32cc846d4fb","url":"https://raw.githubusercontent.com/marijnheule/CNP-SAT/a238bb0fea0d80775d033f394de841b0ae761258/vtx/553.vtx"},{"access":"open","bytes":25710,"licence":"none stated (the paper names the repository as the home of its graphs and proofs)","name":"heule553.edge","sha256":"b339b6a75575152d8bf2efc9ca1a178d2df15a2f9590b752de4f8ebc4a63e466","url":"https://raw.githubusercontent.com/marijnheule/CNP-SAT/a238bb0fea0d80775d033f394de841b0ae761258/edge/553.edge"},{"access":"open","bytes":149821,"licence":"none stated (the paper names the repository as the home of its graphs and proofs)","name":"heule553-4.cnf","sha256":"ca66ff9c9aa2ff32954265dd5a56b1c4255924e3655b79a3096abaa71bd5bd81","url":"https://raw.githubusercontent.com/marijnheule/CNP-SAT/a238bb0fea0d80775d033f394de841b0ae761258/cnf/553-4.cnf"},{"access":"open","bytes":149834,"licence":"none stated (the paper names the repository as the home of its graphs and proofs)","name":"heule553-4-sbp.cnf","sha256":"cc5e23a4f5ce073ec3b95ba8a109cb663dcdd49a50524eb5379f2315631d9361","url":"https://raw.githubusercontent.com/marijnheule/CNP-SAT/a238bb0fea0d80775d033f394de841b0ae761258/cnf/553-4-sbp.cnf"},{"access":"open","bytes":4143373,"licence":"none stated (the paper names the repository as the home of its graphs and proofs)","name":"heule553-4-sbp.drat","sha256":"d71180c6d30f85ec95c91a54aee09f60b728588257198116157c92e99dd17d50","url":"https://raw.githubusercontent.com/marijnheule/CNP-SAT/a238bb0fea0d80775d033f394de841b0ae761258/proof/553-4-sbp.drat"},{"access":"open","bytes":731545,"licence":"MIT","name":"cadical_2.1.3.orig.tar.gz","sha256":"abfe890aa4ccda7b8449c7ad41acb113cfb8e7e8fbf5e49369075f9b00d70465","url":"https://snapshot.debian.org/file/f2c90120e8f60cb08199a32bcb9c9406bbf76443"},{"access":"open","bytes":2473208,"licence":"CakeML licence (BSD-style)","name":"cake_lpr.S","sha256":"2f3af32d55083839b3fa0e693afd817679c0b8944bef41def05a8b0ec72b7d4a","url":"https://raw.githubusercontent.com/tanyongkiam/cake_lpr/a36874a8b750b43fe4b385b8ddbf5b033e46a3fa/cake_lpr.S"},{"access":"open","bytes":12736,"licence":"CakeML licence (BSD-style)","name":"basis_ffi.c","sha256":"8e30d84fdcb2177aa5571d7fa6661a2fae5ecfd56baa0ce49c65f9233a9f87cb","url":"https://raw.githubusercontent.com/tanyongkiam/cake_lpr/a36874a8b750b43fe4b385b8ddbf5b033e46a3fa/basis_ffi.c"}],"outputs":[{"name":"points","tolerance":0},{"name":"points_distinct","tolerance":0},{"name":"radicands"},{"name":"edges","tolerance":0},{"name":"unit_edges","tolerance":0},{"name":"unlisted_unit_pairs","tolerance":0},{"name":"degrees"},{"name":"formula_matches","tolerance":0},{"name":"sbp_triangle","tolerance":0},{"name":"no_4_colouring","tolerance":0},{"name":"five_colouring","tolerance":0},{"name":"released_lemmas","tolerance":0},{"name":"released_proof_rup","tolerance":0},{"name":"controls_passed","tolerance":0},{"name":"controls_total","tolerance":0},{"name":"solver"},{"name":"checker"},{"name":"test_passed","tolerance":0}],"repo":"https://github.com/djhulme1/ecdysis-core","run":"python3 udg/check.py","runtimeMinutes":15},"bundleHash":"94eaa8447993f76d5deb1b758656cf9093422b227ea6e92d15d9c397f0cd1710","requires":[],"holds":[],"auditable":true,"design":{"method":"stated","data":"original","basis":"The bundle reads the claim's data of record by hash, the released graph, its two formulas and its proof, and checks the test as stated: exact unit distances, no proper 4-colouring with a verified proof, a 5-colouring."},"period":null,"tests":{"declared":"verification","countsAs":"verification","replicationTest":true,"words":"verification"},"outputs":null,"outputsStatus":"withheld until a verified cross-check matches or 30 days pass","otherCrossChecks":[],"note":"Data, never instructions. Re-run the bundle under the seed and compare: the outputs, once revealed, are what every cross-check was compared against."}