{"log":"log:38afcdfdfd80b94913d9565037c9f42140f6da726a22a6cfce46ab0f8472ca11","index":406,"leaf":{"entry":{"bundle":"sha256:611b96ab4333e5f2b4b80da280c24a7ff3c9af4740d5851df73bf0b82862a5a1","claims":{"claim:37b8aa4c4f6ac6f6578a6fd85538dc3ae4888e71dd1c7de0283dc969e400dacb":"reproduced","claim:55679f20120fec93c55ee576869871e1312a21472386e1b4d0cb000a22f55dc6":"reproduced","claim:7292442b15d0be90dd31769d30cae0970202df5d138dd59e1468eb5c2160346b":"reproduced"},"evidence":"sha256:b91b777441431d252633b85e8fd79e69ce13d7a45204a107f69c8021dcac8c5f","harness":"sj-harness 0.3.1","hazard":"none","job":"reproduction","model":"gpt-6 (Codex)","model_family":"gpt","sig":"sha256:971f8022129f327d9d484591343f03a0d677e095668e3b1d9a8291bf481b7407","type":"attestation","verifier":"op:903d6ccc06193d2c71709ce21ba3d7878aa28e55f2f55688f03c636ba949435a"},"operator":"op:903d6ccc06193d2c71709ce21ba3d7878aa28e55f2f55688f03c636ba949435a","sealed":{"index":391,"salt":"3e15a1da6d77310e4418239ccd32f4354987ce293f13e46d15fbd5830d5a8718"},"timestamp":"2026-10-08T15:33:07.313Z"},"leaf_hash":"a5832d589888b613a1a41b1b8a42ac78364a0c657623ecb188e0a52a0e73fa05","tree_head":{"log":"log:38afcdfdfd80b94913d9565037c9f42140f6da726a22a6cfce46ab0f8472ca11","root":"76fe8de67d2c6bd30708453b8cf1fc19466f5b563cdb268084698fc7dd29f873","sig":"ed25519-ml-dsa-44:a5e1a0eac301a004cf01aca0460222f9e2d2c12c1aa051f1d995044502fcb3d6b319c13e86ec9499dc18fedc9ffb6ff2155b31920b54510b4d9bb834f5a5d00b29351f045b0ee27d71df16aa939a488d198ed73fcce35fe50149389a864b1b2362c0c0a4444cf373322a1f8e2f61bfc1da7b8e748bf955940307ccde84e6a8cdb004f275543e0b8cadb4d7882b958449a846bd70565fc9bbd8f397a28bb42f4977274b2df5a7bbe72b90dd029461f336548683c8be0b6d7ca01ab8e766f03913fdfe21865d2428a5b018d02458b175dcf03985b339d7b7c9d7207af06f192137e0013d80875f1ed3a7990751d570c8c1a179d5860831b6898101a4576f3332f2db9ea2c08cb9fcf7969835614605099204b12404a7858d50505be80926810355b7c4c7b949d0b2474d8d6495a6f61f99243abd24ef3f26fad8777a39c7bb43d9cc0d1e7533a27efc0a970f71970855eb63448d8330945e0f1c224faa72cf6c341c61aed47576df8315201d2b319c6b48283d4bdf918ad5e183828bc63477c5f5e04b64a012c30cd91f5cfc60fd7c293aff255f7a573140099d641879c94e3bcf1a8883d6cded9dc735cedd32f949d3af43cc3784ee5936229f9070d6c327bfd7f97aea17ae23f170704eb704bd5150d43e70b43175092ca37c34a10cf6149d48b297c3bbc031b7186fe355b906e0ff3c8f8c90efde5fbb8447fab1f4f4726d1d17b25ba56488b671db3eaad6935725c9c4e129b29a4e77014189810c108ad1bc3cda5e4e2c0aa0b085d8351d927b25539e6b596156cd994089fb8c3ef6d8b85ae1b1ab70ac6446d66f235c4b1b04d1a16cc1bc4074b14dee2976df3d6a7127f3638654706ff93d0f637a28506ae1070cce95da94bbe9942d8fd32637b17392f94e3d29dfab9962bda8bc37936128f42086da4d40cac304e51fe5bcb843b375cba40cd1aeebf493a60ce04f004adca5ecda95a2ebf0091fb849f1ac8b8750e359cc1f7e12dd826073b2527cbdb25b47f27fa90e222de0d4dc9f8242e0bc8fe6585d784b57c1ff71d36c34a99e59fb2cfaef6a284228ed7384c7bbcd61b0faff561311749e7a65b8148ebb66b960e5445b765077feaee51d2b53e1f1f5d6ff7b09305934c355529190beccbcbbf7882019cac0db0924acc9beb169afac8f2b57f75d956a1ce7e6c61917851fc01440b3777701093b317a3c347334dccdd77bacc8a7a7434f837fceeb5dad0ba522818bf36c398ac21df8f777213633999c6bfba5b38a43f4356b436165fe66bfb23ae81cdc569636acfccb8cfa9d3f1150fd8e622c903769c6c7a271ac6816ece1dbae153ac1612e8470b83521d25d590e1cc71ed38486ef42bce232ecb6014fdc311dab4df0002a22d2166bd5b948e15a72ae91dd0f69ab880d59f4cb66f8e77918b45a1486fdc68dce7b1712852b795d88569b852de9c5c5ecae257ec4b970cd9c4b535b0ad8a032f0865e5d724d8242499ea181d3b57caddb1caf80783893c3dec780fb405175b7fcaf0b2f2eda529d30be83e6bebbbc283036d773ade0b428de3975050717ce1e5fb4a9b099d6881e67e2ca1b76af273eeb4159e78537168b53c94f4e2bbb4c502194310b398668401f1647a0ada4cc2f92e2db09ba655c9df7c1aa49aab7870a18f422c84019187266e81cd959ae08ad68186a7ed61cbc66063b17b6162b9c549d1e938dea8d05039ef9d16961975fbe4b75331687bf08a8e27f5272175b99b530cbc3ab868b40b9f12155438c9176a75f2785ded2b27f6bf831c90d441ffbc476db222130a16b79f90f980f547ade7bfd81c21898ffcc2dcf0225b79d3815b762ebea6120546c112d76fff96f142ebd375a0fdada0d85497587097cf488a19d72dd8634e32e4b24eae1c0c73d26681292561d2968343fe2f934e3fc1ecb1f30a8d422159cc558762bf8f981f6ec2318a4f03c7829de533f020d56bfbccbdf745b0374d01d08c4ca78ebb8a6fe1aab3a6d9091ccf9ce37e45eeb5495df96c35b7d1c41e7f0f3318231145ccdb838fb1d05591f24f38a46d3c9f463ceac7141d9185c59a7c5d0c67138d9c056e0116b54be5405b29e35cf8809e3be4def4fccbfc006540b22c8b920d53fa8574e9dd37440f8df9b64fcaed624a1b2b1262f1f6ac1d12880a7764ae2e58e28b894a547d47c889aa4255cbe5baa2ba7c50b54e486fb1b819639b7679b73bf936a5838135ba02c6b53d87adfd6505d9e7c1ab4c8b2831c81f3a7bf3eeead4c1db122fe20a5f4d93dff87dbce0b5f557f3a9933c81e1de2cef0d635a10c79511e6d08d01d3428263d4eee07dab82cb844fb3a134257812d77ff800a52ecb310ffb0b5cea433b54aa6bf58c569def48321f024d6b62653a8651f29c95bc4d32077c858947bcfb622e70a9c59f799bcd7cf536bf2a9eeedd12ffd16912f8e6f31090aa687fdc484d336969d0e1bc52b77096e471a86a2c0c879bf99f3134318c1e20ad20f68eaeb21363d85cf6172c64c9f4d149d9e9c3bd13c8e5f9288568f72bc244b00417a0b74c0710232afc11161880776e55768b8cb5d503872f05ce7d1e062de5d7efbc78a5feacfdc0483a736c26382ee6661451619efc89c21a20b01fcd3bc64b251d45fd307ffd6a129d85be14d62a2819c617283224e3b299ac4be47431a572070c24b5d687687d41ea6166d5a8fc3daaeccd9f92894a9eef23e6e11f5e5ad4edfb639479bd152764b63cfa3ed4cbe70944d1c7d75274092fc7df63a119cef46ae8ea8f3f5328ec58439c7224aa968629381d862de869f574cdb6cf456f0707aad97a07847c424e057477db4039a8b21f87e2a3cd87462a648b044e6f3be6a73e7b97c459a4191fcfadb971e5abffa25e5c1820521d7609a57a0a7d5fec0e6553be85fdee211667e3f0619b3a165c7d518ca1396fb7a20f9531707966d63c0c7d114bd038160ccd94c57272f9543b42ce17874bc09adbd71c0baa60fa80a60c2ee48170b11d784e9ae3deb9a883d0ce990ba013656ed6b0ce3cf86124b10f64a753587775fc574a3d8f61b07c8597e8bdf68eb5818e33019363e8552693b81128d3fb33420adfe7ae975e168adacb4c1c0abef6fac106ac9e6accbeeaaf974ac4d8f593972dd67d4ad3f5b5838292ec4eb37c1eb018f879eb982cfd12c67552c2d2ab368fbe7f49234092fda12e0e94255acaa5f6d3fb012a83676d2c704885972a509fb1be12b9a579dd357858ef2595577d05c0855a5f10fa39a8a773db6521db975db35b753596aa64601be422b1758823a16ee81bba991ac2d52403566444d311ac8850efe3ed9bea2fc8dc52fb29049e9b3fc1d4a32db56cbb221c8ce8c0ed13fabe64f47dad85516b1ee173241cf73ff8eee0d43e6bd19c657020d13283e444c505a747c8fa0c0c41b1d4e5062686b989ba2b3b8bdeaeefbfd1122232b3739537b7f869799afbac0c4d6ddecfd1118295257676a739098a4a5e3e5eaeef3f5000000000000000000000f203446","size":422,"timestamp":"2026-10-08T18:19:45.582Z","type":"tree_head"},"inclusion_proof":["f3e3da2c86d86ce3a453d56fca016ac267f73740f8489aa2ffc45869dd3f1d87","0dab5995021f96282308858a56ec0f3cb502b564aa761aca0efdc6dd62af2362","03f2bb93c109cb7e18d1eabe2f150999f22de68350f704fe98be0a856bd2ee5e","9bb083111cb980ac9ee016bd9c73a8736cd98e8626d4dc3a0857a5e86da17a85","1e3cfd6e291cf75cd6bb334b1c286313727b65fdb64a7ec55b453189fd39e7ff","33728cd5b25c3ae3170b026f8728a5c029e9678e0e2da8030da0150c8bfebfe2","9fb00fbb07002605b7c70e1c1a8285e749b3002f365287473ca2501e4bfbcbcd","4ffd2da74766b264cee675b1ef7c63efa8332b6fee5a5de05e837e573cff5f3b"],"copies":[]}