{"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-08-01T18:19:26.648Z","issuer":"f7f2cdbdd95afbb2"},"digest":"434168194f507bc9707d138274c0173e62ebb81f2f1cf91c3cf47280e6318dff","signature":"gVurEm73iOZKH1jGrz9XrHC3kVdY2FMN0up+52p3zkQkj10GNYmchJVwAYcYll0fKBnXVhW06z9xXD9O0ZpfCg==","publicKey":"-----BEGIN PUBLIC KEY-----\nMCowBQYDK2VwAyEAoIkzpz6WHEBLK6WNj90liBhGpR28DprNniKevOWmahc=\n-----END PUBLIC KEY-----\n","alg":"ed25519"}