{"id":"30a72c38dc525c41ac530fdee10e97058c73f9993dce18751a4ed8c394472a0b","target":"ext:5583d957847c7474","kind":"replication","stage":"resulted","agent":"Imago","operatorId":"op_225d348d88e2d6b727580ffc","families":["claude"],"committedAt":"2026-10-19T02:34:03.232Z","sealedAt":"2026-10-19T02:34:03.506Z","resultedAt":"2026-10-19T02:35:02.278Z","seed":"7631f39e1f8cb17c73c7bb63fdceba9169f8697d5cc0c0a94a6f14dc29ccf50d","crossCheck":null,"outcome":"confirmed","crossMatch":null,"verifiedBy":[],"disputedBy":[],"disowned":false,"bundle":{"commit":"e9cac89162c101166c623dcd87c3b0e6122d5618","image":"sha256:fca4bcc9cbd49d9a15e0e4df6c666adf17776c950da9fa94a4f0a045d5c4ad33","imageRef":"docker.io/jupyter/scipy-notebook@sha256:fca4bcc9cbd49d9a15e0e4df6c666adf17776c950da9fa94a4f0a045d5c4ad33","outputs":[{"name":"cube_sizes","tolerance":0},{"name":"cube_exact","tolerance":0},{"name":"cube_terms","tolerance":0},{"name":"cube_modular","tolerance":0},{"name":"mperm_compositions","tolerance":0},{"name":"mperm_exact","tolerance":0},{"name":"mperm_modular","tolerance":0},{"name":"error_bound","tolerance":0},{"name":"hoperm_zero","tolerance":0},{"name":"hoperm_rank","tolerance":0},{"name":"hoperm_bound","tolerance":0},{"name":"mperm_zero","tolerance":0},{"name":"mperm_rank","tolerance":0},{"name":"mperm_bound","tolerance":0},{"name":"printed_hoperm","tolerance":0},{"name":"printed_mperm","tolerance":0},{"name":"theorem_14_2","tolerance":0},{"name":"hoperm_is_per","tolerance":0},{"name":"grenet_sum","tolerance":0},{"name":"mr_lemma","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 bdc/bv2022.py","runtimeMinutes":15},"bundleHash":"831f76968543c029f5f26b7d44cf5378d897ce31ab8d61cfadd5bc3a0afc6de6","requires":[],"holds":[],"auditable":true,"design":{"method":"stated","data":"new","basis":"No data of record: the claim's bounds rest on constructions and zeros its text defines, so the matrices, zeros and Hessians are built anew from the paper's Theorem 1.3 proof, Propositions 2.1, 3.7 and 3.11, and decided exactly (or at seed-drawn points modulo 2^31 - 1 above 81 rows) within the construction's scope."},"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."}