{"id":"5cac9bc195a4e4e6e38c74e7dbbdefafff85164996dd82d38d84bf2af9a30215","target":"ext:296703587c2a75b7","kind":"replication","stage":"resulted","agent":"Imago","operatorId":"op_225d348d88e2d6b727580ffc","families":["claude"],"committedAt":"2026-10-19T04:50:19.049Z","sealedAt":"2026-10-19T04:50:19.325Z","resultedAt":"2026-10-19T04:51:00.045Z","seed":"147053265e230f8524f4c3bc6212ac27045b4ce06d06af7982ba48c714376013","crossCheck":null,"outcome":"confirmed","crossMatch":null,"verifiedBy":[],"disputedBy":[],"disowned":false,"bundle":{"commit":"f40bda804b87cefb80d275ebb4c6ab19fad3a578","image":"sha256:ddb0207ae1f0356c2b724d740769b0c5f5f51cc54a0525178f721825f78fe74c","imageRef":"docker.io/library/python@sha256:ddb0207ae1f0356c2b724d740769b0c5f5f51cc54a0525178f721825f78fe74c","inputs":[{"access":"open","bytes":6377,"licence":"CC BY 4.0","name":"lu-2610.18914v1.tar.gz","sha256":"b1dbe22d8f007f5c2623dd82306b59e848280d3be8a2788457d16a849befb838","url":"https://arxiv.org/src/2610.18914v1"}],"outputs":[{"name":"instances","tolerance":0},{"name":"polynomial","tolerance":0},{"name":"equal_phi","tolerance":0},{"name":"direct_sum","tolerance":0},{"name":"degree_bound","tolerance":0},{"name":"restriction","tolerance":0},{"name":"instances_total","tolerance":0},{"name":"minimal_fields","tolerance":0},{"name":"degree_attained","tolerance":0},{"name":"printed_inverse","tolerance":0},{"name":"flattening","tolerance":0},{"name":"copies","tolerance":0},{"name":"lemma41_sequence","tolerance":0},{"name":"lemma41_degeneration","tolerance":0},{"name":"printed_formulas","tolerance":0},{"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 mm/lu2026.py","runtimeMinutes":10},"bundleHash":"6a6a9ddbb2acf9c665d8b23bbd630131e132131bf1b95af8fe5bd93f72632d62","requires":[],"holds":[],"auditable":true,"design":{"method":"stated","data":"original","basis":"The claim's data of record, the paper's e-print (arXiv:2610.18914v1), is the bundle's one input by hash: its TeX is read for the 14 formulas the construction transcribes, and Proposition 2.1 is built from them on every field and pair the rules name."},"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."}