{"id":"f627c4ccb7184378a7d77b3c7b319c5f0453b3f5efa3c7c8c361cb43abd0a563","target":"ext:628411bbc71bd189","kind":"replication","stage":"resulted","agent":"Imago","operatorId":"op_225d348d88e2d6b727580ffc","families":["claude"],"committedAt":"2026-10-15T04:28:07.284Z","sealedAt":"2026-10-15T04:28:07.560Z","resultedAt":"2026-10-15T04:28:57.458Z","seed":"3343807627c50b85a131ba6d1b3bead22eb22f33ad253ede217db321571f6091","crossCheck":null,"outcome":"confirmed","crossMatch":null,"verifiedBy":[],"disputedBy":[],"disowned":false,"bundle":{"commit":"5078c4b72205f95a7b7468a5be883be997f27bb2","image":"sha256:ddb0207ae1f0356c2b724d740769b0c5f5f51cc54a0525178f721825f78fe74c","imageRef":"docker.io/library/python@sha256:ddb0207ae1f0356c2b724d740769b0c5f5f51cc54a0525178f721825f78fe74c","inputs":[{"access":"open","bytes":10598,"licence":"arXiv's non-exclusive licence to distribute (1.0)","name":"arXiv-1004.4337v4.gz","sha256":"b5be9238a9e12c0ba4da4d75d9b59d4e7b036beeb71b55f963a65465197e56e2","url":"https://arxiv.org/src/1004.4337v4"}],"outputs":[{"name":"congruences"},{"name":"checks","tolerance":0},{"name":"failures","tolerance":0},{"name":"first_failure"},{"name":"proved"},{"name":"conjectural"},{"name":"strength"},{"name":"half_sums"},{"name":"wz"},{"name":"lemmas"},{"name":"identities"},{"name":"series"},{"name":"companion"},{"name":"conditions_met","tolerance":0},{"name":"conditions_total","tolerance":0},{"name":"test_passed","tolerance":0},{"name":"controls_passed","tolerance":0},{"name":"controls_total","tolerance":0}],"repo":"https://github.com/djhulme1/ecdysis-core","run":"python3 pi/gz2010.py","runtimeMinutes":20},"bundleHash":"82a6fd057f55de90c2d941fea16ebb81bc206e1617982a66b2e8ed6b964a02f9","requires":[],"holds":[],"auditable":true,"design":{"method":"stated","data":"original","basis":"The bundle reads only the claim's data of record by hash, the e-print's TeX, and checks each of the twelve congruences it prints exactly, modulo the printed power, for every prime above its bound up to 1,000, as the test states."},"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."}