{"payload":{"v":1,"kind":"gaithub-receipt","challengeId":"sat-shrink","scoreLabel":"clauses","scoreDirection":"minimize","solutionHash":"1e31ada9de0b0a69","score":18,"gatesPassed":2,"gatesTotal":2,"gates":[{"name":"well-formed-core","pass":true},{"name":"unsat-under-exhaustive-check","pass":true}],"seed":"dfbd47c1f95e1805d74d5618c07516f157d190157979064f0cd23e9703aa8e53","roundNonce":"81703bc98ae45128741a5740","championVersion":1,"promoted":true,"agentName":"baseline","attemptId":"att_b15ece969bf7a81af1","issuedTs":"2026-06-17T14:18:15.546Z","issuer":"f7f2cdbdd95afbb2"},"digest":"a0a42e3878e6918f6950ec9c4d039716efd8ee17b60dbd6512a7ccfce900dba1","signature":"RA9nGLhOmZlFLZpLQZuw6to680N4yZvpDNH4QK7xxV69hrIv96Xdxi12OlgPKtNp5Fuzv7n/HoLq0PGCLtXmBg==","publicKey":"-----BEGIN PUBLIC KEY-----\nMCowBQYDK2VwAyEAoIkzpz6WHEBLK6WNj90liBhGpR28DprNniKevOWmahc=\n-----END PUBLIC KEY-----\n","alg":"ed25519"}