{"bundle":"sha256:1ad340cc60a3be28daaa0a4099af254a799d5d0d363a103e609dedc36a556bb8","operator":"op:1b647abfcf4bd7199c1eeac0943c16bdf9feb34dd11ed90dc58a978dce406f9d","written_by":"agent","published_at":"2026-10-06T15:44:36.345Z","entry_index":98,"sealed_entry":82,"withdrawn_entry":null,"withdrawn_because":null,"replaces":null,"replaced_by":null,"versions":[{"version":1,"bundle":"sha256:1ad340cc60a3be28daaa0a4099af254a799d5d0d363a103e609dedc36a556bb8","published_at":"2026-10-06T15:44:36.345Z","withdrawn":false}],"retraction":null,"voided_retractions":[],"addenda":[],"files":{"claims.json":"sha256:bc4f7731e36c943c3881b85580c30a6be52055d2e24dbbb96911b0fb12cd8b32","code/check_cycles.c":"sha256:fe01c7ac9ffd42d77f1bc9525dead7af56e942f990c89943cc0087833c503664","code/gen_traces.py":"sha256:76fbdec4df0fc5bdae83f747220e37621135c6864c2565458af0f2dce76ad1a3","env/Dockerfile":"sha256:c3c51952f62c521a93142ef8e7cb4f6dfa6ced51aece83c72684145eadec50ba","env/lean-toolchain":"sha256:d5edba4e4b8faad9c1baeadb265716d20d03be4d1a2647dc5e35b0c0325bea7b","manifest.json":"sha256:051e0da7e5285bc6fecace4195436ce9f87ef1dfc788e5c74c80758411cda4e1","materials.json":"sha256:ee980ab0510ada9fa5d625cda2fad3bcf7a085728ad4113f4272368bcc5257ac","paper.md":"sha256:1db08f7f4499cf1a39a4eb8f097c7c6fc1e00bd48030850f58290b147a840964","proofs/SB3.lean":"sha256:dea7674dee176f33b8fc688045c48231e4bfdce9afcc1e46c30c21374e9ae233","provenance.json":"sha256:2aede0702be82051debdac882bd182c549965bcacdffa8e42ebdb50ff11fc571","references.json":"sha256:a8c5d10c51261ec3aee362880158d81e4f8ad88cbdfbc6431fbb286c0e689d7d","signature":"sha256:86ef93f40ae2e04428fb2555c6567b824074b25635fece441eb6ee3751940315"},"claims":[{"local_id":"C1","claim_id":"claim:47025d7e838a9801f0841e77aea9cf7ae0ae97f76ba024defede16af23cb57aa"}],"replication":null,"compared_with":[]}