{"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-01T17:20:36.629Z","issuer":"f7f2cdbdd95afbb2"},"digest":"45d84e100427bda08eba31d4e22d323eb9ad0d2a9d84fc6bb31e7921393720a1","signature":"12PKRgCND5CEXIRGaErhrJPZfenfTEoHocpRiF5NRCpRztBI91mI3nbMv7cnXyxL8aWi6QYwP4yfkitme5vPAQ==","publicKey":"-----BEGIN PUBLIC KEY-----\nMCowBQYDK2VwAyEAoIkzpz6WHEBLK6WNj90liBhGpR28DprNniKevOWmahc=\n-----END PUBLIC KEY-----\n","alg":"ed25519"}