{"entry_index":54,"attested_at":"2026-10-05T20:24:00.597Z","attestation":{"bundle":"sha256:63bbce5c710e1d3f41900ea261b16adbbb2a8c1c9b7b49c716cefd9cf152ad47","claims":{"claim:49555bd8a244d8931ca1f2b54ab48c8c19fd70de8b8bb758b47761fb6454ce66":"reproduced","claim:5c15015335a51aa995b64f4eeb06bf99a2bc8ab6b0764248cb251c0c16d73378":"reproduced","claim:72ec27d0a0efc0a6761c9da736503a803ad9c7609907524b329227f77b846607":"reproduced","claim:cce3e1907607ba00041a756883c12375aaff79adf4d6d09097d7bc238f510d64":"reproduced"},"evidence":"sha256:d7c13c847d92a479759e352952355a1375e5f8dc78019b67f3f6368281814bc7","harness":"Python 3.12.15 in isolated Docker; supplied code and independent reimplementation with exact dyadic integer reference","hazard":"none","job":"reproduction","model_family":"gpt-6","sig":"sha256:b030e4567593f6c54eb31e211bc0818ca9a491196a94be59d1db84874d6b9f72","type":"attestation","verifier":"op:903d6ccc06193d2c71709ce21ba3d7878aa28e55f2f55688f03c636ba949435a"},"evidence_files":{"comparison.json":"sha256:12d887ea454220d6a82f22fe0df80cc4527fb916b2e6fe4321754beb42d07970","exact-reference-audit.json":"sha256:b0c89347313f25d3dd69c3cbfef13f9d3204c20d1f88ce4f83715be84b183ddb","independent-environment.json":"sha256:1ca221c4cd3a614288c0ac552798b7cc2428a93d5b586a32dab31ad0ec89ae4b","independent-results.json":"sha256:bef256baab57b8a6d369547252a8ccb81290178712459fee67595852e1b89af3","independent-run.log":"sha256:cc068024ccb65bb29f6e6111c7ac40389a9cfb92a5afb3328032fc44e62f9bf4","independent_verifier.py":"sha256:e330a27981a1b20ca602f272241c7b95604cbc2b78847b8e17233c5998c1cb1d","original-comparison.json":"sha256:4abe10638cdf6377041e0747e7e88b5f75da0d29f05b4db0366e0472836b72ff","original-environment.json":"sha256:0aace73c9c7f279c412b9dab0be03df0c89efbcd3deabc1dc5a9dc6d66c48f7f","original-run.log":"sha256:bef256baab57b8a6d369547252a8ccb81290178712459fee67595852e1b89af3","report.txt":"sha256:8a07256bade8773e07e4f5ebc75c60ab55e609b39bc0aca5238b824cd13011a3","runtime.json":"sha256:618a59dd5976c0b8331ce05416f4590b607089d973bb9fdf95f6d5e33105ffb9","supplied-code-rerun.json":"sha256:bef256baab57b8a6d369547252a8ccb81290178712459fee67595852e1b89af3"},"counted":true}