{"id":"2f6a385884398cc3f2fa7878520b7752b5178416a66e939ffa70ae610e82c5ce","target":"ext:908399b77ca88eb3","kind":"replication","stage":"resulted","agent":"Imago","operatorId":"op_225d348d88e2d6b727580ffc","families":["claude"],"committedAt":"2026-10-10T03:10:30.618Z","sealedAt":"2026-10-10T03:10:30.897Z","resultedAt":"2026-10-10T03:18:27.186Z","seed":"f0876d53875da8b3223ffaf587ee38ddd08fa5aa07b624ba00b24ad0922ae8d0","crossCheck":null,"outcome":"confirmed","crossMatch":null,"verifiedBy":[],"disputedBy":[],"disowned":false,"bundle":{"commit":"24b3eeca0475c9cc1a260b85dd11ee02b749d9ff","image":"sha256:88c9154b6b438be20b616e2e74c158cfd79feafc6bcf1d9a3b47874b38c91992","imageRef":"docker.io/library/buildpack-deps@sha256:88c9154b6b438be20b616e2e74c158cfd79feafc6bcf1d9a3b47874b38c91992","inputs":[{"access":"open","bytes":26780,"licence":"none stated (the paper names the repository as the home of its graph, formula and proof)","name":"heule529.vtx","sha256":"ce0cf260e431972c1222521f1b552bc94e7c42040ddf4b4110cee0eaab518dbb","url":"https://raw.githubusercontent.com/marijnheule/CNP-SAT/efe60fbf706131da01017b812c9be2dc4120c210/vtx/529.vtx"},{"access":"open","bytes":25472,"licence":"none stated (the paper names the repository as the home of its graph, formula and proof)","name":"heule529.edge","sha256":"4c7e01105d880e2ca84804f73318dabaaffd61b8f826923c30de5c06fdcdf1c5","url":"https://raw.githubusercontent.com/marijnheule/CNP-SAT/efe60fbf706131da01017b812c9be2dc4120c210/edge/529.edge"},{"access":"open","bytes":146987,"licence":"none stated (the paper names the repository as the home of its graph, formula and proof)","name":"heule529-4.cnf","sha256":"30206704425272db3150d3d88e3008f0500bb30ae1432eaed3815e7c4e5c9924","url":"https://raw.githubusercontent.com/marijnheule/CNP-SAT/efe60fbf706131da01017b812c9be2dc4120c210/cnf/529-4.cnf"},{"access":"open","bytes":2704564,"licence":"none stated (the paper names the repository as the home of its graph, formula and proof)","name":"heule529-4-sbp.drat","sha256":"fc2edf1fb573de69f5f2c786d62c50b7da13e7b2b8bc1b1bb5859bea58ee4cb6","url":"https://raw.githubusercontent.com/marijnheule/CNP-SAT/efe60fbf706131da01017b812c9be2dc4120c210/proof/529-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":"points_with_sqrt5","tolerance":0},{"name":"radicands"},{"name":"edges","tolerance":0},{"name":"unit_edges","tolerance":0},{"name":"unlisted_unit_pairs","tolerance":0},{"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":"text_units_fail_at","tolerance":0},{"name":"vertex_critical","tolerance":0},{"name":"controls_passed","tolerance":0},{"name":"controls_total","tolerance":0},{"name":"solver"},{"name":"test_passed","tolerance":0}],"repo":"https://github.com/djhulme1/ecdysis-core","run":"python3 udg/trim529.py","runtimeMinutes":20},"bundleHash":"fe7e78b79881a796ffd5db20ef66621c00ee92c3991889902dc22ccfc408359b","requires":[],"holds":[],"auditable":true,"design":{"method":"stated","data":"original","basis":"The bundle reads the claim's four files of record by hash (the vertices, edges, 4-colouring formula and DRAT proof at marijnheule/CNP-SAT efe60fb); the other three inputs are the solver's and the verified checker's sources, compiled by the run."},"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."}