{"log":"log:38afcdfdfd80b94913d9565037c9f42140f6da726a22a6cfce46ab0f8472ca11","index":417,"leaf":{"entry":{"bundle":"sha256:93dfe41114a7c06e6dbbbfae2aac2152fd937279b8d13275a8e834e078dc8c6a","claims":{"claim:2171b398e32995f98e35c18716c380973536a616a646db28cfc71d45b5299d2a":"reproduced","claim:33b8f1f44dc5cf8706e7eaa1e8122aedf35560967d9a50443f9ef152b4423501":"reproduced","claim:36b075eec41dec2b309493696431c7f7f454e563ce99a18ad555ebee37cfb9b9":"reproduced","claim:49ec89925c82b7a678f78b18a7d96a205347c815f3b71fb6b5782805eb624751":"reproduced","claim:51e4c33237fd47ffb8ebd2e392e2abd7a8abc5540fd6450fb960ef24a186e94f":"reproduced","claim:7f19b9ec790ef1c5842c93e273f27fac34e613a28fc9954a99c729a22803188d":"reproduced","claim:85d73bab9defe16aa51e1fc368975b892f5e1a409899a5a772d15b0bf143e0f5":"reproduced","claim:b020066adbdfe8700de569a388554537cb6f8cf3a0fc33422af4a4ddd81c7a45":"reproduced","claim:b3c9e00027f8c0bdabf63be2e3d0bb48489506766aca6922b5d16d7fd7c32bd0":"reproduced","claim:bbabe3f0e7dfb6b5b04ce18aa944c68cc9c8fb4a2db93be8454e2f290865bddf":"reproduced","claim:cda8ddb5d4896d160b3a4bd8ff94c7a5725db44c3f6f59b19e3e03859351856f":"reproduced","claim:db2d4d097b0aca56d255c34b82513acab4b3a5bedbb48ee7ccd01bee6981d52f":"reproduced","claim:f79d940b44d110d6b7501abe25dc967bf529fb5095a0230c43fc4a4206b28461":"reproduced"},"evidence":"sha256:f9de48f0c517ce908d4168115ad865d2bd813e47706919dae7917d2a8844576c","harness":"sj-harness 0.3.1","hazard":"none","job":"reproduction","model":"gpt-6 (Codex)","model_family":"gpt","sig":"sha256:b601bedf0e023107ea21ac25fad0dce5a12d517ff8a69c1cd72a0718d9fc3fd0","type":"attestation","verifier":"op:903d6ccc06193d2c71709ce21ba3d7878aa28e55f2f55688f03c636ba949435a"},"operator":"op:903d6ccc06193d2c71709ce21ba3d7878aa28e55f2f55688f03c636ba949435a","sealed":{"index":394,"salt":"0d25402d716937bd2177e8d7527a7c851a11cf40fd7f27fffc5ffed2daca296e"},"timestamp":"2026-10-08T18:19:45.409Z"},"leaf_hash":"738944d62975a11a2a344af736e982d6b261f1511807f04789ef6f1cbe1d03ca","tree_head":{"log":"log:38afcdfdfd80b94913d9565037c9f42140f6da726a22a6cfce46ab0f8472ca11","root":"7c5416615fb6ff3511b0c114a95aa0f0ea6e1adadb8e6343d84595aaa544ab10","sig":"ed25519-ml-dsa-44:073168a23f866eed0efb9c58c8ca23c727fc3a262232fb5f52f047b050e14d991b5113600d58039734dca73b3119c9f36b762f2f142416e7980d9887ddc73801fc415829cb6d1a3cb400401476346b536c5f5e090ba637282adecf43f62ebcc5df71e2e6e3f659919661674821dcca4c684d6691d17aa6c562af4c7871b86ab0109c35701e1b670686898dcc7d470a7543afb87630a72d181310ff8980d24befdbeb6c459e77ec3cd854fb5e3f3ce37ac9aed0567d66e84f2abbdbf6f91d53497c3ba9ed1599287e1fec3b5423ede4e3c9f1d23a6880d88ca09657111fc9ccb08632244fb5d107a7ad8ad5e3f75c1e718deac65665cc822110e0e6f86e1074e9202b57123542db5ae412795cf03b8358347beb2450fafc083f78dba066c0920173a136930640c8e7f1f87ca3922ef2f668347e786c99af01830baca106330f051d69f17a34191ded78173b3775ce490890585b4536779ddfa4f389e5a27fb209ff20fc1bd77bf3dd24bba62f9acbd23c64dbca6ae33eb1827d3cdf54d7c4fa62b73b7778d87ffe9cea5cbc91859b97703beb181cc697d68a1a82c53c1da77c9eb34757997d087d51d0876f7e37cf5a000d137808f70b8d85414b2c4554049f8111cc33d4fde2001dd37f31a4fb534b935161bd7a669a1f2401756e50a47192611fdb8fbbed5fb02d643d78d82afd4600045c801d714667b33b26f96704a455c0d78075e1ac380cda6fdc566fc957e8cd9f234714af23d068b9d563b3cf79980f889d6ef4d41e8a9ffeb595018f8171ffb3542728781f5712f53570d9cfed0d2a66a063e675e851029a077d1ada73e28ed4e11ae3023058c3475ee06c43e697e77e2abc2411629a9a5467bce3e6b6ad3f55943461dd42e1f72f640598dc5df6de4f411b30d1b96c9f2f256f0cc6bc20497f903385738aa28e97b5d9bc8b7d1d864648127a322e11b8fbff585f2bf9f7f127d289e0b157128306996c1041d5003e20a0c7d5d6d2952efba18c914d9a528fb87f61d050ceda070b5d5bcd97c5772eb38ad3341c7efe9ee3e89ebf574a9ca7cc2f0b0874bbac99213928544eafc76662206a0fcc4998a00366b0a8473b6acc921c192b72744b6a6a1e0c173c684aa8fef72a6ddd242ac5ed50391ba7749ea85520fb50f9e07339e1b995d6c962495722cf8c8c46c5b2ee69e2998fdb61ad931fd6f89f022b65058378951e2082195582a15b69112d04f962c20b4532efbf84ef81b0b63490924c2224d9638fd5416e361ca7feadc6bc10182866815a1ea9f5c9ae810f11f52f61bffc710b53bfd33c9e5a7565de5ec9ec355b177f2cd297634ae86696cad7b272a2b84987db1e0dd983b287d2fa0839b101438506c71d13efa51f392f9a80434da04dab21196fa5b9798456246eb8ea4615c3d8b21429522891bdfc5c5eef7fefb19d91a636ed4c62f548981b35d19fd2f2a77e568b23a39d8bf94890ea3cef9e35c8922574cfa3dfbaacb0dc565d467c4d1260fec8ec4c7019094717c1604362667687359f803a472612f3ee9c75dde19261dc7141385cc5da34dc8214689f3e4b2a3c89c147c53765c69708cd1489baa98ada7be53a152bd6ae033896c58c186c7d19e0a65d38be163cd98e1bed105ae69af620aef12d6614e0653db119b9723e64f83cf40cf4299abf531e84fba7a522af45a5645f47741ce81ec73f754940951a299bdd1fe748ac1bad3dc9ab5a1c3c6f941d2e150a3989d0ddef49fac18c34df3e982feb4ddebac263ede42299144b2c069b3190e5fce0edd796a02038e2e45214c79c4fb2c8fc1dfef2fee718a6f8ee7c0f2e89ec4de7cc0d5553fdf5c74d674cdedf6319ecac49c2ab5b664fcf6b58098117a6c6eef2ba74f983fb54257b860604873c77f09844ed204cc6a2edf3016408d17f0056d277446e45ea2df32d72e51a8831d504c9781c6d547dffeb47402fa3ab85a38a37ecc67634c02b7ce05d6bb61e780ccc7478ada43881bb1511d63dca31120ae6c5e37cf94a4e55c12efb68147d6ab39b898488e747c76248b0c2f9ce662d0d1a82b659ccdbbc6b127f6dc44b63fc903534be466102adc5dc3eef64810491bded97d155f392961143911654ff87a9820fe40a085c7b7b0ec75f9c84384c487a6c3b6b8a38db926c2a6c96cb1084ebb5574bb99cfd2c6e42d746f3151234bd301005d28e1a44bed9867b2b165eec18c6120170388e3b7140c0f0f7a5c6632dd004b8bbc5810f32ac55600bb3c8aca077d7a7400bfbbde1284039053b6d5db9950c6fda6b2e9c779c4fa448e44a39e4555dc44475f0f2e3c26db8e5a8c7b79c36009a776fc70c6ee96302a9c7d9f572568b0af12f5c7817a3a446298d2910c32232c5c49e6eb43e125891620af0e0fb8f4a67308b826bba5d089137a3b9d2dedc6651dec118d959c17618be04ecd3f8c224dba2fefbf40cf5e4f93d8f1f4dd8736d81ab6f7bbc71c3d3e568da6bcbd717738cee543b754bac1091fd94223ff8275d636f7f6f498e424024760240c1025104ad5e970ac8d8e873405a32a9432c65ba8e9a8844ed35d1afa7f21a786cdf80331ea69770f51c8dee9fb6f6e54d320a791bfb0fda441fd795693c8edc5bdf087144e7786a5db8ea99c016b9f72a754d1975784393f4c879289a6b8059d0f426d327f5bce0d1dd494e36431942f5240b128d5e7934a1586dac09570974864ac699757a90060e2496c18fcfaebc5cc240aa8a42954c213989791233fa8f555941b6fbbd942d438861e254ecd580fd4c1e57b43a868a44891ae7c60960617ac740e11c1b0f60d0634b216a8540fcfaf45944f3ee978424e25b21fc16c715a1db2cbbcfb463252a03ea12a84d39135724e7196f0013354a6212c55714eaa2bdb5afad845f157cb796f9d27c198cfa54b7915c7092c6388af705ed296e96618afea3c5707ff8e43fc4b6c64bf08813c7e2dd0fb60baa14860432604972d989234023e9f85a76e43ffa3962b0e1818dffce949708f60bf7ff0e5164ace289faff49601bbcae8f17e58452710de62855b1f61f4ca5bf728642241beb886e974c39fe98fa07a380e6baf7802d63880932bae99a5965f0feb0066457097bf8fa475b51c63876a4adb1887b7ae8eae4c8c6a045b9deac9facea278d5dab026d2546102bdf25a54e96844e1f8edfaab9b29b87a1a6886e6e04f7c15548cef31087627c2e4bfbe509c9a84e0d6c27db0ac12370996909f4743fd29bb0fa062b7ee28fcd71f093b9e7ef3da1cca0fd18c85e96e87b8ab87da870f2265105c513ea298d09b17ef067aaf1d300fa4e9c4fc571de54ef2f273df265d7c3bfa91b6cb98b100dcbe8694aa659be4a4da0af7b23eeec715e338c93c05b2a3a0da28b8c5a279cbde3c1450108091821383c607388b0c1dfe40811163c434a57585a7879898a999ab4d3e50d25314e6f747e939cb2b9e7edfa0c0f122131485c616f768e90a5abe6f0fcfd000000000000000000000000000000000e202e40","size":425,"timestamp":"2026-10-08T19:56:36.685Z","type":"tree_head"},"inclusion_proof":["55298a586b80f5a471981b47a1049208a0c757afc0d46eb505a7e1f298263b6b","7656449bb88ea51c815b1684cbad4e31106359592f46e055d7830426759a1031","64c083619d0f5b20e9397002f1338a671cb3946e06edf25476effc955404dfcc","650b4af4f54249d67824bea54deac982b6aed30d195266a6034e5a37a97e4fc2","922f4ce18053d50ff1dddd240e6f8ad91363baa13255278b8f1a90299a4ca9d9","9fb00fbb07002605b7c70e1c1a8285e749b3002f365287473ca2501e4bfbcbcd","4ffd2da74766b264cee675b1ef7c63efa8332b6fee5a5de05e837e573cff5f3b"],"copies":[]}