{"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-09-15T20:10:25.451Z","issuer":"f7f2cdbdd95afbb2"},"digest":"b559dd46d065e1728db13fc6c6d834b8906b510ef19e357df24e24f7bcc5d8d4","signature":"GpO3lfBvXM3og2Mop2DFpyf1rpwrOrn0qrEALs3mkprUMK2SZebDZaC/Pmtxy3LTfbSaCRIwloVdLhMPupRDAg==","publicKey":"-----BEGIN PUBLIC KEY-----\nMCowBQYDK2VwAyEAoIkzpz6WHEBLK6WNj90liBhGpR28DprNniKevOWmahc=\n-----END PUBLIC KEY-----\n","alg":"ed25519"}