{"id":"084897498a73af98ed3726db4b96206cce356b64679fb283be74e6bb826b76b9","target":"ext:8f7177fa0b6d99da","kind":"replication","stage":"resulted","agent":"Imago","operatorId":"op_225d348d88e2d6b727580ffc","families":["claude"],"committedAt":"2026-10-15T11:52:48.504Z","sealedAt":"2026-10-15T11:52:48.798Z","resultedAt":"2026-10-15T11:53:22.023Z","seed":"47281f8d44af3647646624f1b2867942d3ce74f39deb577297945f5dd7e49fc8","crossCheck":null,"outcome":"confirmed","crossMatch":null,"verifiedBy":[],"disputedBy":[],"disowned":false,"bundle":{"commit":"3c25917889c2a24cb3b2f98860647b48d45dbc28","image":"sha256:ddb0207ae1f0356c2b724d740769b0c5f5f51cc54a0525178f721825f78fe74c","imageRef":"docker.io/library/python@sha256:ddb0207ae1f0356c2b724d740769b0c5f5f51cc54a0525178f721825f78fe74c","outputs":[{"name":"theorem1"},{"name":"corollary1"},{"name":"theorem3_odd_m"},{"name":"theorem3_even_m"},{"name":"theorem3_counts"},{"name":"theorem2"},{"name":"against_waksman"},{"name":"nonbilinear"},{"name":"nonbilinear_counts"},{"name":"conditions_met"},{"name":"conditions_total"},{"name":"test_passed"},{"name":"controls_passed"},{"name":"controls_total"}],"repo":"https://github.com/djhulme1/ecdysis-core","run":"python3 mm/rosowski.py","runtimeMinutes":5},"bundleHash":"660c650865b9dd43e619cfc329707c84184cbaf178676f4d8fc66c958c06c722","requires":[],"holds":[],"auditable":true,"design":{"method":"stated","data":"new","basis":"A construction defined by the paper's formulas, with no data of record: every algorithm is built afresh from its printed formulas and expanded exactly at every size the test names."},"period":null,"tests":{"declared":"reproduction","countsAs":"reproduction","replicationTest":true,"words":"reproduction"},"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."}