licaomeng
deploy: main@8970ffb → HF Spaces (2026-05-27T05:19Z)
88d2f2a
{"abi":[{"type":"constructor","inputs":[{"name":"_usdc","type":"address","internalType":"address"}],"stateMutability":"nonpayable"},{"type":"function","name":"JUDGE_TYPE_STYLE","inputs":[],"outputs":[{"name":"","type":"string","internalType":"string"}],"stateMutability":"view"},{"type":"function","name":"JUDGE_TYPE_TRANSLATION","inputs":[],"outputs":[{"name":"","type":"string","internalType":"string"}],"stateMutability":"view"},{"type":"function","name":"STYLE_JUDGE_STAKE","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"type":"function","name":"TRANSLATION_JUDGE_STAKE","inputs":[],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"type":"function","name":"attestationCount","inputs":[{"name":"","type":"address","internalType":"address"}],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"type":"function","name":"getJudgeInfo","inputs":[{"name":"judge","type":"address","internalType":"address"}],"outputs":[{"name":"stake","type":"uint256","internalType":"uint256"},{"name":"translation","type":"bool","internalType":"bool"},{"name":"style","type":"bool","internalType":"bool"},{"name":"attestations","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"type":"function","name":"isStyleJudge","inputs":[{"name":"","type":"address","internalType":"address"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"isTranslationJudge","inputs":[{"name":"","type":"address","internalType":"address"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"function","name":"judgeStakes","inputs":[{"name":"","type":"address","internalType":"address"}],"outputs":[{"name":"","type":"uint256","internalType":"uint256"}],"stateMutability":"view"},{"type":"function","name":"operator","inputs":[],"outputs":[{"name":"","type":"address","internalType":"address"}],"stateMutability":"view"},{"type":"function","name":"recordAttestation","inputs":[{"name":"eventId","type":"bytes32","internalType":"bytes32"},{"name":"judge","type":"address","internalType":"address"},{"name":"score","type":"uint256","internalType":"uint256"},{"name":"attestationHash","type":"bytes32","internalType":"bytes32"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"registerStyleJudge","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"registerTranslationJudge","inputs":[],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"slashJudge","inputs":[{"name":"judge","type":"address","internalType":"address"},{"name":"amount","type":"uint256","internalType":"uint256"},{"name":"reason","type":"string","internalType":"string"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"transferOperator","inputs":[{"name":"newOperator","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"function","name":"usdc","inputs":[],"outputs":[{"name":"","type":"address","internalType":"contract IERC20"}],"stateMutability":"view"},{"type":"function","name":"withdrawJudge","inputs":[{"name":"judge","type":"address","internalType":"address"}],"outputs":[],"stateMutability":"nonpayable"},{"type":"event","name":"AttestationRecorded","inputs":[{"name":"eventId","type":"bytes32","indexed":true,"internalType":"bytes32"},{"name":"judge","type":"address","indexed":true,"internalType":"address"},{"name":"score","type":"uint256","indexed":false,"internalType":"uint256"},{"name":"attestationHash","type":"bytes32","indexed":false,"internalType":"bytes32"}],"anonymous":false},{"type":"event","name":"JudgeRegistered","inputs":[{"name":"judge","type":"address","indexed":true,"internalType":"address"},{"name":"judgeType","type":"string","indexed":false,"internalType":"string"},{"name":"stake","type":"uint256","indexed":false,"internalType":"uint256"}],"anonymous":false},{"type":"event","name":"JudgeSlashed","inputs":[{"name":"judge","type":"address","indexed":true,"internalType":"address"},{"name":"amount","type":"uint256","indexed":false,"internalType":"uint256"},{"name":"reason","type":"string","indexed":false,"internalType":"string"}],"anonymous":false},{"type":"event","name":"JudgeWithdrew","inputs":[{"name":"judge","type":"address","indexed":true,"internalType":"address"},{"name":"amount","type":"uint256","indexed":false,"internalType":"uint256"}],"anonymous":false},{"type":"error","name":"ReentrancyGuardReentrantCall","inputs":[]}],"bytecode":{"object":"0x60a060405234801561000f575f5ffd5b50604051612077380380612077833981810160405281019061003191906101cc565b600161004f61004461013c60201b60201c565b61016560201b60201c565b5f01819055505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036100c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016100ba90610251565b60405180910390fd5b335f5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff1660808173ffffffffffffffffffffffffffffffffffffffff16815250505061026f565b5f7f9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f005f1b905090565b5f819050919050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61019b82610172565b9050919050565b6101ab81610191565b81146101b5575f5ffd5b50565b5f815190506101c6816101a2565b92915050565b5f602082840312156101e1576101e061016e565b5b5f6101ee848285016101b8565b91505092915050565b5f82825260208201905092915050565b7f75736463207a65726f00000000000000000000000000000000000000000000005f82015250565b5f61023b6009836101f7565b915061024682610207565b602082019050919050565b5f6020820190508181035f8301526102688161022f565b9050919050565b608051611ddb61029c5f395f81816105b60152818161077901528181610e8e01526111ff0152611ddb5ff3fe608060405234801561000f575f5ffd5b5060043610610109575f3560e01c80636789a2be116100a0578063ba04c7e71161006f578063ba04c7e714610293578063d119d82e146102c6578063e8343598146102f6578063ed70e59114610312578063f95737b11461031c57610109565b80636789a2be146102095780636dd2a25914610227578063acdfba9314610245578063b71b8c431461027557610109565b80633e413bee116100dc5780633e413bee1461018157806344bb1cbf1461019f578063460b3236146101cf578063570ca735146101eb57610109565b806329605e771461010d5780632d645e19146101295780632d81f2cf14610133578063383ff02914610151575b5f5ffd5b6101276004803603810190610122919061145a565b610338565b005b610131610476565b005b61013b610729565b60405161014891906114f5565b60405180910390f35b61016b6004803603810190610166919061145a565b610762565b604051610178919061152d565b60405180910390f35b610189610777565b60405161019691906115a1565b60405180910390f35b6101b960048036038101906101b4919061145a565b61079b565b6040516101c6919061152d565b60405180910390f35b6101e960048036038101906101e49190611645565b6107b0565b005b6101f3610973565b60405161020091906116c5565b60405180910390f35b610211610997565b60405161021e919061152d565b60405180910390f35b61022f61099e565b60405161023c91906114f5565b60405180910390f35b61025f600480360381019061025a919061145a565b6109d7565b60405161026c91906116f8565b60405180910390f35b61027d6109f4565b60405161028a919061152d565b60405180910390f35b6102ad60048036038101906102a8919061145a565b6109fb565b6040516102bd9493929190611711565b60405180910390f35b6102e060048036038101906102db919061145a565b610b1e565b6040516102ed91906116f8565b60405180910390f35b610310600480360381019061030b9190611787565b610b3b565b005b61031a610d4e565b005b6103366004803603810190610331919061145a565b611001565b005b5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103c6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103bd90611835565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610434576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042b9061189d565b60405180910390fd5b805f5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b61047e61132d565b60035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610508576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104ff90611905565b60405180910390fd5b620f424060015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105579190611950565b92505081905550600160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330620f42406040518463ffffffff1660e01b815260040161061493929190611983565b6020604051808303815f875af1158015610630573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061065491906119e2565b905080610696576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161068d90611a57565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f985cf908467605a35ba80b49d65db63988891884d6c8cff8a233d190d1ba8d956040518060400160405280600581526020017f7374796c65000000000000000000000000000000000000000000000000000000815250620f4240604051610716929190611a75565b60405180910390a25061072761134f565b565b6040518060400160405280600b81526020017f7472616e736c6174696f6e00000000000000000000000000000000000000000081525081565b6001602052805f5260405f205f915090505481565b7f000000000000000000000000000000000000000000000000000000000000000081565b6004602052805f5260405f205f915090505481565b5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461083e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083590611835565b60405180910390fd5b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f8411801561088e5750808411155b6108cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108c490611aed565b60405180910390fd5b83816108d99190611b0b565b60015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508473ffffffffffffffffffffffffffffffffffffffff167f09efceaa07cf64b1ca092fbc0ac25e347f17ff67d5e8d130ed8cf608f70508a185858560405161096493929190611b78565b60405180910390a25050505050565b5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b621e848081565b6040518060400160405280600581526020017f7374796c6500000000000000000000000000000000000000000000000000000081525081565b6003602052805f5260405f205f915054906101000a900460ff1681565b620f424081565b5f5f5f5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460025f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1660035f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1660045f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205493509350935093509193509193565b6002602052805f5260405f205f915054906101000a900460ff1681565b5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610bc9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bc090611835565b60405180910390fd5b60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1680610c64575060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b610ca3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9a90611bf2565b60405180910390fd5b600160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610cf09190611950565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16847f1ef435a452a6ea16f75367f8d0db466f2a6634b3f822f43a67c4345908f44c688484604051610d40929190611c1f565b60405180910390a350505050565b610d5661132d565b60025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610de0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dd790611c90565b60405180910390fd5b621e848060015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610e2f9190611950565b92505081905550600160025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330621e84806040518463ffffffff1660e01b8152600401610eec93929190611983565b6020604051808303815f875af1158015610f08573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f2c91906119e2565b905080610f6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6590611a57565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f985cf908467605a35ba80b49d65db63988891884d6c8cff8a233d190d1ba8d956040518060400160405280600b81526020017f7472616e736c6174696f6e000000000000000000000000000000000000000000815250621e8480604051610fee929190611a75565b60405180910390a250610fff61134f565b565b5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461108f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161108690611835565b60405180910390fd5b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f8111611112576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110990611cf8565b60405180910390fd5b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505f60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663a9059cbb84846040518363ffffffff1660e01b8152600401611258929190611d16565b6020604051808303815f875af1158015611274573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061129891906119e2565b9050806112da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112d190611d87565b60405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff167f6ff919a987a0f838f27b922cbc3c72013eb35157bb1b0590cb1969c39ef369f883604051611320919061152d565b60405180910390a2505050565b611335611369565b60026113476113426113aa565b6113d3565b5f0181905550565b600161136161135c6113aa565b6113d3565b5f0181905550565b6113716113dc565b156113a8576040517f3ee5aeb500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b565b5f7f9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f005f1b905090565b5f819050919050565b5f60026113ef6113ea6113aa565b6113d3565b5f015414905090565b5f5ffd5b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61142982611400565b9050919050565b6114398161141f565b8114611443575f5ffd5b50565b5f8135905061145481611430565b92915050565b5f6020828403121561146f5761146e6113f8565b5b5f61147c84828501611446565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f6114c782611485565b6114d1818561148f565b93506114e181856020860161149f565b6114ea816114ad565b840191505092915050565b5f6020820190508181035f83015261150d81846114bd565b905092915050565b5f819050919050565b61152781611515565b82525050565b5f6020820190506115405f83018461151e565b92915050565b5f819050919050565b5f61156961156461155f84611400565b611546565b611400565b9050919050565b5f61157a8261154f565b9050919050565b5f61158b82611570565b9050919050565b61159b81611581565b82525050565b5f6020820190506115b45f830184611592565b92915050565b6115c381611515565b81146115cd575f5ffd5b50565b5f813590506115de816115ba565b92915050565b5f5ffd5b5f5ffd5b5f5ffd5b5f5f83601f840112611605576116046115e4565b5b8235905067ffffffffffffffff811115611622576116216115e8565b5b60208301915083600182028301111561163e5761163d6115ec565b5b9250929050565b5f5f5f5f6060858703121561165d5761165c6113f8565b5b5f61166a87828801611446565b945050602061167b878288016115d0565b935050604085013567ffffffffffffffff81111561169c5761169b6113fc565b5b6116a8878288016115f0565b925092505092959194509250565b6116bf8161141f565b82525050565b5f6020820190506116d85f8301846116b6565b92915050565b5f8115159050919050565b6116f2816116de565b82525050565b5f60208201905061170b5f8301846116e9565b92915050565b5f6080820190506117245f83018761151e565b61173160208301866116e9565b61173e60408301856116e9565b61174b606083018461151e565b95945050505050565b5f819050919050565b61176681611754565b8114611770575f5ffd5b50565b5f813590506117818161175d565b92915050565b5f5f5f5f6080858703121561179f5761179e6113f8565b5b5f6117ac87828801611773565b94505060206117bd87828801611446565b93505060406117ce878288016115d0565b92505060606117df87828801611773565b91505092959194509250565b7f6e6f74206f70657261746f7200000000000000000000000000000000000000005f82015250565b5f61181f600c8361148f565b915061182a826117eb565b602082019050919050565b5f6020820190508181035f83015261184c81611813565b9050919050565b7f7a65726f206f70000000000000000000000000000000000000000000000000005f82015250565b5f61188760078361148f565b915061189282611853565b602082019050919050565b5f6020820190508181035f8301526118b48161187b565b9050919050565b7f616c7265616479207374796c65206a75646765000000000000000000000000005f82015250565b5f6118ef60138361148f565b91506118fa826118bb565b602082019050919050565b5f6020820190508181035f83015261191c816118e3565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61195a82611515565b915061196583611515565b925082820190508082111561197d5761197c611923565b5b92915050565b5f6060820190506119965f8301866116b6565b6119a360208301856116b6565b6119b0604083018461151e565b949350505050565b6119c1816116de565b81146119cb575f5ffd5b50565b5f815190506119dc816119b8565b92915050565b5f602082840312156119f7576119f66113f8565b5b5f611a04848285016119ce565b91505092915050565b7f75736463207472616e7366657246726f6d206661696c656400000000000000005f82015250565b5f611a4160188361148f565b9150611a4c82611a0d565b602082019050919050565b5f6020820190508181035f830152611a6e81611a35565b9050919050565b5f6040820190508181035f830152611a8d81856114bd565b9050611a9c602083018461151e565b9392505050565b7f62616420736c61736820616d6f756e74000000000000000000000000000000005f82015250565b5f611ad760108361148f565b9150611ae282611aa3565b602082019050919050565b5f6020820190508181035f830152611b0481611acb565b9050919050565b5f611b1582611515565b9150611b2083611515565b9250828203905081811115611b3857611b37611923565b5b92915050565b828183375f83830152505050565b5f611b57838561148f565b9350611b64838584611b3e565b611b6d836114ad565b840190509392505050565b5f604082019050611b8b5f83018661151e565b8181036020830152611b9e818486611b4c565b9050949350505050565b7f6e6f7420612072656769737465726564206a75646765000000000000000000005f82015250565b5f611bdc60168361148f565b9150611be782611ba8565b602082019050919050565b5f6020820190508181035f830152611c0981611bd0565b9050919050565b611c1981611754565b82525050565b5f604082019050611c325f83018561151e565b611c3f6020830184611c10565b9392505050565b7f616c7265616479207472616e736c6174696f6e206a75646765000000000000005f82015250565b5f611c7a60198361148f565b9150611c8582611c46565b602082019050919050565b5f6020820190508181035f830152611ca781611c6e565b9050919050565b7f6e6f207374616b650000000000000000000000000000000000000000000000005f82015250565b5f611ce260088361148f565b9150611ced82611cae565b602082019050919050565b5f6020820190508181035f830152611d0f81611cd6565b9050919050565b5f604082019050611d295f8301856116b6565b611d36602083018461151e565b9392505050565b7f75736463207472616e73666572206661696c65640000000000000000000000005f82015250565b5f611d7160148361148f565b9150611d7c82611d3d565b602082019050919050565b5f6020820190508181035f830152611d9e81611d65565b905091905056fea264697066735822122060ba06a5dc3fdfed6bbf2c3180361fd6adae3fc5aa8664e467af1ad113738ee264736f6c63430008230033","sourceMap":"1205:7175:25:-:0;;;3512:146;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;2365:1:20;2539:46;:29;:27;;;:29;;:::i;:::-;:44;;;:46;;:::i;:::-;:52;;:66;;;;3574:1:25;3557:19;;:5;:19;;;3549:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;3611:10;3600:8;;:21;;;;;;;;;;;;;;;;;;3645:5;3631:20;;;;;;;;;;3512:146;1205:7175;;4636:127:20;4706:7;1505:66;4732:24;;4725:31;;4636:127;:::o;2679:163:21:-;2740:21;2822:4;2812:14;;2679:163;;;:::o;88:117:33:-;197:1;194;187:12;334:126;371:7;411:42;404:5;400:54;389:65;;334:126;;;:::o;466:96::-;503:7;532:24;550:5;532:24;:::i;:::-;521:35;;466:96;;;:::o;568:122::-;641:24;659:5;641:24;:::i;:::-;634:5;631:35;621:63;;680:1;677;670:12;621:63;568:122;:::o;696:143::-;753:5;784:6;778:13;769:22;;800:33;827:5;800:33;:::i;:::-;696:143;;;;:::o;845:351::-;915:6;964:2;952:9;943:7;939:23;935:32;932:119;;;970:79;;:::i;:::-;932:119;1090:1;1115:64;1171:7;1162:6;1151:9;1147:22;1115:64;:::i;:::-;1105:74;;1061:128;845:351;;;;:::o;1202:169::-;1286:11;1320:6;1315:3;1308:19;1360:4;1355:3;1351:14;1336:29;;1202:169;;;;:::o;1377:159::-;1517:11;1513:1;1505:6;1501:14;1494:35;1377:159;:::o;1542:365::-;1684:3;1705:66;1769:1;1764:3;1705:66;:::i;:::-;1698:73;;1780:93;1869:3;1780:93;:::i;:::-;1898:2;1893:3;1889:12;1882:19;;1542:365;;;:::o;1913:419::-;2079:4;2117:2;2106:9;2102:18;2094:26;;2166:9;2160:4;2156:20;2152:1;2141:9;2137:17;2130:47;2194:131;2320:4;2194:131;:::i;:::-;2186:139;;1913:419;;;:::o;1205:7175:25:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x608060405234801561000f575f5ffd5b5060043610610109575f3560e01c80636789a2be116100a0578063ba04c7e71161006f578063ba04c7e714610293578063d119d82e146102c6578063e8343598146102f6578063ed70e59114610312578063f95737b11461031c57610109565b80636789a2be146102095780636dd2a25914610227578063acdfba9314610245578063b71b8c431461027557610109565b80633e413bee116100dc5780633e413bee1461018157806344bb1cbf1461019f578063460b3236146101cf578063570ca735146101eb57610109565b806329605e771461010d5780632d645e19146101295780632d81f2cf14610133578063383ff02914610151575b5f5ffd5b6101276004803603810190610122919061145a565b610338565b005b610131610476565b005b61013b610729565b60405161014891906114f5565b60405180910390f35b61016b6004803603810190610166919061145a565b610762565b604051610178919061152d565b60405180910390f35b610189610777565b60405161019691906115a1565b60405180910390f35b6101b960048036038101906101b4919061145a565b61079b565b6040516101c6919061152d565b60405180910390f35b6101e960048036038101906101e49190611645565b6107b0565b005b6101f3610973565b60405161020091906116c5565b60405180910390f35b610211610997565b60405161021e919061152d565b60405180910390f35b61022f61099e565b60405161023c91906114f5565b60405180910390f35b61025f600480360381019061025a919061145a565b6109d7565b60405161026c91906116f8565b60405180910390f35b61027d6109f4565b60405161028a919061152d565b60405180910390f35b6102ad60048036038101906102a8919061145a565b6109fb565b6040516102bd9493929190611711565b60405180910390f35b6102e060048036038101906102db919061145a565b610b1e565b6040516102ed91906116f8565b60405180910390f35b610310600480360381019061030b9190611787565b610b3b565b005b61031a610d4e565b005b6103366004803603810190610331919061145a565b611001565b005b5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146103c6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103bd90611835565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610434576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161042b9061189d565b60405180910390fd5b805f5f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b61047e61132d565b60035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610508576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104ff90611905565b60405180910390fd5b620f424060015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546105579190611950565b92505081905550600160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330620f42406040518463ffffffff1660e01b815260040161061493929190611983565b6020604051808303815f875af1158015610630573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061065491906119e2565b905080610696576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161068d90611a57565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f985cf908467605a35ba80b49d65db63988891884d6c8cff8a233d190d1ba8d956040518060400160405280600581526020017f7374796c65000000000000000000000000000000000000000000000000000000815250620f4240604051610716929190611a75565b60405180910390a25061072761134f565b565b6040518060400160405280600b81526020017f7472616e736c6174696f6e00000000000000000000000000000000000000000081525081565b6001602052805f5260405f205f915090505481565b7f000000000000000000000000000000000000000000000000000000000000000081565b6004602052805f5260405f205f915090505481565b5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461083e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083590611835565b60405180910390fd5b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f8411801561088e5750808411155b6108cd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108c490611aed565b60405180910390fd5b83816108d99190611b0b565b60015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508473ffffffffffffffffffffffffffffffffffffffff167f09efceaa07cf64b1ca092fbc0ac25e347f17ff67d5e8d130ed8cf608f70508a185858560405161096493929190611b78565b60405180910390a25050505050565b5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b621e848081565b6040518060400160405280600581526020017f7374796c6500000000000000000000000000000000000000000000000000000081525081565b6003602052805f5260405f205f915054906101000a900460ff1681565b620f424081565b5f5f5f5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460025f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1660035f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1660045f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205493509350935093509193509193565b6002602052805f5260405f205f915054906101000a900460ff1681565b5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610bc9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bc090611835565b60405180910390fd5b60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1680610c64575060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff165b610ca3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c9a90611bf2565b60405180910390fd5b600160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610cf09190611950565b925050819055508273ffffffffffffffffffffffffffffffffffffffff16847f1ef435a452a6ea16f75367f8d0db466f2a6634b3f822f43a67c4345908f44c688484604051610d40929190611c1f565b60405180910390a350505050565b610d5661132d565b60025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff1615610de0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dd790611c90565b60405180910390fd5b621e848060015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610e2f9190611950565b92505081905550600160025f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff166323b872dd3330621e84806040518463ffffffff1660e01b8152600401610eec93929190611983565b6020604051808303815f875af1158015610f08573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610f2c91906119e2565b905080610f6e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6590611a57565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f985cf908467605a35ba80b49d65db63988891884d6c8cff8a233d190d1ba8d956040518060400160405280600b81526020017f7472616e736c6174696f6e000000000000000000000000000000000000000000815250621e8480604051610fee929190611a75565b60405180910390a250610fff61134f565b565b5f5f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161461108f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161108690611835565b60405180910390fd5b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490505f8111611112576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110990611cf8565b60405180910390fd5b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505f60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505f7f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663a9059cbb84846040518363ffffffff1660e01b8152600401611258929190611d16565b6020604051808303815f875af1158015611274573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061129891906119e2565b9050806112da576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112d190611d87565b60405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff167f6ff919a987a0f838f27b922cbc3c72013eb35157bb1b0590cb1969c39ef369f883604051611320919061152d565b60405180910390a2505050565b611335611369565b60026113476113426113aa565b6113d3565b5f0181905550565b600161136161135c6113aa565b6113d3565b5f0181905550565b6113716113dc565b156113a8576040517f3ee5aeb500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b565b5f7f9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f005f1b905090565b5f819050919050565b5f60026113ef6113ea6113aa565b6113d3565b5f015414905090565b5f5ffd5b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61142982611400565b9050919050565b6114398161141f565b8114611443575f5ffd5b50565b5f8135905061145481611430565b92915050565b5f6020828403121561146f5761146e6113f8565b5b5f61147c84828501611446565b91505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f6114c782611485565b6114d1818561148f565b93506114e181856020860161149f565b6114ea816114ad565b840191505092915050565b5f6020820190508181035f83015261150d81846114bd565b905092915050565b5f819050919050565b61152781611515565b82525050565b5f6020820190506115405f83018461151e565b92915050565b5f819050919050565b5f61156961156461155f84611400565b611546565b611400565b9050919050565b5f61157a8261154f565b9050919050565b5f61158b82611570565b9050919050565b61159b81611581565b82525050565b5f6020820190506115b45f830184611592565b92915050565b6115c381611515565b81146115cd575f5ffd5b50565b5f813590506115de816115ba565b92915050565b5f5ffd5b5f5ffd5b5f5ffd5b5f5f83601f840112611605576116046115e4565b5b8235905067ffffffffffffffff811115611622576116216115e8565b5b60208301915083600182028301111561163e5761163d6115ec565b5b9250929050565b5f5f5f5f6060858703121561165d5761165c6113f8565b5b5f61166a87828801611446565b945050602061167b878288016115d0565b935050604085013567ffffffffffffffff81111561169c5761169b6113fc565b5b6116a8878288016115f0565b925092505092959194509250565b6116bf8161141f565b82525050565b5f6020820190506116d85f8301846116b6565b92915050565b5f8115159050919050565b6116f2816116de565b82525050565b5f60208201905061170b5f8301846116e9565b92915050565b5f6080820190506117245f83018761151e565b61173160208301866116e9565b61173e60408301856116e9565b61174b606083018461151e565b95945050505050565b5f819050919050565b61176681611754565b8114611770575f5ffd5b50565b5f813590506117818161175d565b92915050565b5f5f5f5f6080858703121561179f5761179e6113f8565b5b5f6117ac87828801611773565b94505060206117bd87828801611446565b93505060406117ce878288016115d0565b92505060606117df87828801611773565b91505092959194509250565b7f6e6f74206f70657261746f7200000000000000000000000000000000000000005f82015250565b5f61181f600c8361148f565b915061182a826117eb565b602082019050919050565b5f6020820190508181035f83015261184c81611813565b9050919050565b7f7a65726f206f70000000000000000000000000000000000000000000000000005f82015250565b5f61188760078361148f565b915061189282611853565b602082019050919050565b5f6020820190508181035f8301526118b48161187b565b9050919050565b7f616c7265616479207374796c65206a75646765000000000000000000000000005f82015250565b5f6118ef60138361148f565b91506118fa826118bb565b602082019050919050565b5f6020820190508181035f83015261191c816118e3565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61195a82611515565b915061196583611515565b925082820190508082111561197d5761197c611923565b5b92915050565b5f6060820190506119965f8301866116b6565b6119a360208301856116b6565b6119b0604083018461151e565b949350505050565b6119c1816116de565b81146119cb575f5ffd5b50565b5f815190506119dc816119b8565b92915050565b5f602082840312156119f7576119f66113f8565b5b5f611a04848285016119ce565b91505092915050565b7f75736463207472616e7366657246726f6d206661696c656400000000000000005f82015250565b5f611a4160188361148f565b9150611a4c82611a0d565b602082019050919050565b5f6020820190508181035f830152611a6e81611a35565b9050919050565b5f6040820190508181035f830152611a8d81856114bd565b9050611a9c602083018461151e565b9392505050565b7f62616420736c61736820616d6f756e74000000000000000000000000000000005f82015250565b5f611ad760108361148f565b9150611ae282611aa3565b602082019050919050565b5f6020820190508181035f830152611b0481611acb565b9050919050565b5f611b1582611515565b9150611b2083611515565b9250828203905081811115611b3857611b37611923565b5b92915050565b828183375f83830152505050565b5f611b57838561148f565b9350611b64838584611b3e565b611b6d836114ad565b840190509392505050565b5f604082019050611b8b5f83018661151e565b8181036020830152611b9e818486611b4c565b9050949350505050565b7f6e6f7420612072656769737465726564206a75646765000000000000000000005f82015250565b5f611bdc60168361148f565b9150611be782611ba8565b602082019050919050565b5f6020820190508181035f830152611c0981611bd0565b9050919050565b611c1981611754565b82525050565b5f604082019050611c325f83018561151e565b611c3f6020830184611c10565b9392505050565b7f616c7265616479207472616e736c6174696f6e206a75646765000000000000005f82015250565b5f611c7a60198361148f565b9150611c8582611c46565b602082019050919050565b5f6020820190508181035f830152611ca781611c6e565b9050919050565b7f6e6f207374616b650000000000000000000000000000000000000000000000005f82015250565b5f611ce260088361148f565b9150611ced82611cae565b602082019050919050565b5f6020820190508181035f830152611d0f81611cd6565b9050919050565b5f604082019050611d295f8301856116b6565b611d36602083018461151e565b9392505050565b7f75736463207472616e73666572206661696c65640000000000000000000000005f82015250565b5f611d7160148361148f565b9150611d7c82611d3d565b602082019050919050565b5f6020820190508181035f830152611d9e81611d65565b905091905056fea264697066735822122060ba06a5dc3fdfed6bbf2c3180361fd6adae3fc5aa8664e467af1ad113738ee264736f6c63430008230033","sourceMap":"1205:7175:25:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3664:163;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5026:508;;;:::i;:::-;;1724:61;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2130:46;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2034:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2487:51;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6930:337;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2005:23;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1516:59;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1791:49;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2238:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1664:53;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7990:388;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;;;:::i;:::-;;;;;;;;2182:50;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6196:405;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4155:712;;;:::i;:::-;;7427:401;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3664:163;3301:8;;;;;;;;;;;3287:22;;:10;:22;;;3279:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;3774:1:::1;3751:25;;:11;:25;;::::0;3743:45:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;3809:11;3798:8;;:22;;;;;;;;;;;;;;;;;;3664:163:::0;:::o;5026:508::-;3023:21:20;:19;:21::i;:::-;5097:12:25::1;:24;5110:10;5097:24;;;;;;;;;;;;;;;;;;;;;;;;;5096:25;5088:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;1708:9;5231:11;:23;5243:10;5231:23;;;;;;;;;;;;;;;;:44;;;;;;;:::i;:::-;;;;;;;;5312:4;5285:12;:24;5298:10;5285:24;;;;;;;;;;;;;;;;:31;;;;;;;;;;;;;;;;;;5326:7;5336:4;:17;;;5354:10;5374:4;1708:9;5336:63;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5326:73;;5417:2;5409:39;;;;;;;;;;;;:::i;:::-;;;;;;;;;5479:10;5463:64;;;5491:16;;;;;;;;;;;;;;;;::::0;1708:9:::1;5463:64;;;;;;;:::i;:::-;;;;;;;;5078:456;3065:20:20::0;:18;:20::i;:::-;5026:508:25:o;1724:61::-;;;;;;;;;;;;;;;;;;;:::o;2130:46::-;;;;;;;;;;;;;;;;;:::o;2034:28::-;;;:::o;2487:51::-;;;;;;;;;;;;;;;;;:::o;6930:337::-;3301:8;;;;;;;;;;;3287:22;;:10;:22;;;3279:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;7057:15:::1;7075:11;:18;7087:5;7075:18;;;;;;;;;;;;;;;;7057:36;;7120:1;7111:6;:10;:31;;;;;7135:7;7125:6;:17;;7111:31;7103:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;7204:6;7194:7;:16;;;;:::i;:::-;7173:11;:18;7185:5;7173:18;;;;;;;;;;;;;;;:37;;;;7238:5;7225:35;;;7245:6;7253;;7225:35;;;;;;;;:::i;:::-;;;;;;;;7047:220;6930:337:::0;;;;:::o;2005:23::-;;;;;;;;;;;;;:::o;1516:59::-;1566:9;1516:59;:::o;1791:49::-;;;;;;;;;;;;;;;;;;;:::o;2238:44::-;;;;;;;;;;;;;;;;;;;;;;:::o;1664:53::-;1708:9;1664:53;:::o;7990:388::-;8087:13;8114:16;8144:10;8168:20;8234:11;:18;8246:5;8234:18;;;;;;;;;;;;;;;;8266;:25;8285:5;8266:25;;;;;;;;;;;;;;;;;;;;;;;;;8305:12;:19;8318:5;8305:19;;;;;;;;;;;;;;;;;;;;;;;;;8338:16;:23;8355:5;8338:23;;;;;;;;;;;;;;;;8213:158;;;;;;;;7990:388;;;;;:::o;2182:50::-;;;;;;;;;;;;;;;;;;;;;;:::o;6196:405::-;3301:8;;;;;;;;;;;3287:22;;:10;:22;;;3279:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;6386:18:::1;:25;6405:5;6386:25;;;;;;;;;;;;;;;;;;;;;;;;;:48;;;;6415:12;:19;6428:5;6415:19;;;;;;;;;;;;;;;;;;;;;;;;;6386:48;6365:117;;;;;;;;;;;;:::i;:::-;;;;;;;;;6519:1;6492:16;:23;6509:5;6492:23;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;6564:5;6535:59;;6555:7;6535:59;6571:5;6578:15;6535:59;;;;;;;:::i;:::-;;;;;;;;6196:405:::0;;;;:::o;4155:712::-;3023:21:20;:19;:21::i;:::-;4232:18:25::1;:30;4251:10;4232:30;;;;;;;;;;;;;;;;;;;;;;;;;4231:31;4223:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;1566:9;4534:11;:23;4546:10;4534:23;;;;;;;;;;;;;;;;:50;;;;;;;:::i;:::-;;;;;;;;4627:4;4594:18;:30;4613:10;4594:30;;;;;;;;;;;;;;;;:37;;;;;;;;;;;;;;;;;;4641:7;4651:4;:17;;;4669:10;4689:4;1566:9;4651:69;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;4641:79;;4738:2;4730:39;;;;;;;;;;;;:::i;:::-;;;;;;;;;4800:10;4784:76;;;4812:22;;;;;;;;;;;;;;;;::::0;1566:9:::1;4784:76;;;;;;;:::i;:::-;;;;;;;;4213:654;3065:20:20::0;:18;:20::i;:::-;4155:712:25:o;7427:401::-;3301:8;;;;;;;;;;;3287:22;;:10;:22;;;3279:47;;;;;;;;;;;;:::i;:::-;;;;;;;;;7497:14:::1;7514:11;:18;7526:5;7514:18;;;;;;;;;;;;;;;;7497:35;;7559:1;7550:6;:10;7542:31;;;;;;;;;;;;:::i;:::-;;;;;;;;;7604:1;7583:11;:18;7595:5;7583:18;;;;;;;;;;;;;;;:22;;;;7643:5;7615:18;:25;7634:5;7615:25;;;;;;;;;;;;;;;;:33;;;;;;;;;;;;;;;;;;7680:5;7658:12;:19;7671:5;7658:19;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;7695:7;7705:4;:13;;;7719:5;7726:6;7705:28;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;7695:38;;7751:2;7743:35;;;;;;;;;;;;:::i;:::-;;;;;;;;;7807:5;7793:28;;;7814:6;7793:28;;;;;;:::i;:::-;;;;;;;;7487:341;;7427:401:::0;:::o;3749:292:20:-;3872:25;:23;:25::i;:::-;2407:1;3972:46;:29;:27;:29::i;:::-;:44;:46::i;:::-;:52;;:62;;;;3749:292::o;4047:253::-;2365:1;4227:46;:29;:27;:29::i;:::-;:44;:46::i;:::-;:52;;:66;;;;4047:253::o;3586:157::-;3648:25;:23;:25::i;:::-;3644:93;;;3696:30;;;;;;;;;;;;;;3644:93;3586:157::o;4636:127::-;4706:7;1505:66;4732:24;;4725:31;;4636:127;:::o;2679:163:21:-;2740:21;2822:4;2812:14;;2679:163;;;:::o;4479:151:20:-;4537:4;2407:1;4560:46;:29;:27;:29::i;:::-;:44;:46::i;:::-;:52;;;:63;4553:70;;4479:151;:::o;88:117:33:-;197:1;194;187:12;211:117;320:1;317;310:12;334:126;371:7;411:42;404:5;400:54;389:65;;334:126;;;:::o;466:96::-;503:7;532:24;550:5;532:24;:::i;:::-;521:35;;466:96;;;:::o;568:122::-;641:24;659:5;641:24;:::i;:::-;634:5;631:35;621:63;;680:1;677;670:12;621:63;568:122;:::o;696:139::-;742:5;780:6;767:20;758:29;;796:33;823:5;796:33;:::i;:::-;696:139;;;;:::o;841:329::-;900:6;949:2;937:9;928:7;924:23;920:32;917:119;;;955:79;;:::i;:::-;917:119;1075:1;1100:53;1145:7;1136:6;1125:9;1121:22;1100:53;:::i;:::-;1090:63;;1046:117;841:329;;;;:::o;1176:99::-;1228:6;1262:5;1256:12;1246:22;;1176:99;;;:::o;1281:169::-;1365:11;1399:6;1394:3;1387:19;1439:4;1434:3;1430:14;1415:29;;1281:169;;;;:::o;1456:139::-;1545:6;1540:3;1535;1529:23;1586:1;1577:6;1572:3;1568:16;1561:27;1456:139;;;:::o;1601:102::-;1642:6;1693:2;1689:7;1684:2;1677:5;1673:14;1669:28;1659:38;;1601:102;;;:::o;1709:377::-;1797:3;1825:39;1858:5;1825:39;:::i;:::-;1880:71;1944:6;1939:3;1880:71;:::i;:::-;1873:78;;1960:65;2018:6;2013:3;2006:4;1999:5;1995:16;1960:65;:::i;:::-;2050:29;2072:6;2050:29;:::i;:::-;2045:3;2041:39;2034:46;;1801:285;1709:377;;;;:::o;2092:313::-;2205:4;2243:2;2232:9;2228:18;2220:26;;2292:9;2286:4;2282:20;2278:1;2267:9;2263:17;2256:47;2320:78;2393:4;2384:6;2320:78;:::i;:::-;2312:86;;2092:313;;;;:::o;2411:77::-;2448:7;2477:5;2466:16;;2411:77;;;:::o;2494:118::-;2581:24;2599:5;2581:24;:::i;:::-;2576:3;2569:37;2494:118;;:::o;2618:222::-;2711:4;2749:2;2738:9;2734:18;2726:26;;2762:71;2830:1;2819:9;2815:17;2806:6;2762:71;:::i;:::-;2618:222;;;;:::o;2846:60::-;2874:3;2895:5;2888:12;;2846:60;;;:::o;2912:142::-;2962:9;2995:53;3013:34;3022:24;3040:5;3022:24;:::i;:::-;3013:34;:::i;:::-;2995:53;:::i;:::-;2982:66;;2912:142;;;:::o;3060:126::-;3110:9;3143:37;3174:5;3143:37;:::i;:::-;3130:50;;3060:126;;;:::o;3192:142::-;3258:9;3291:37;3322:5;3291:37;:::i;:::-;3278:50;;3192:142;;;:::o;3340:163::-;3443:53;3490:5;3443:53;:::i;:::-;3438:3;3431:66;3340:163;;:::o;3509:254::-;3618:4;3656:2;3645:9;3641:18;3633:26;;3669:87;3753:1;3742:9;3738:17;3729:6;3669:87;:::i;:::-;3509:254;;;;:::o;3769:122::-;3842:24;3860:5;3842:24;:::i;:::-;3835:5;3832:35;3822:63;;3881:1;3878;3871:12;3822:63;3769:122;:::o;3897:139::-;3943:5;3981:6;3968:20;3959:29;;3997:33;4024:5;3997:33;:::i;:::-;3897:139;;;;:::o;4042:117::-;4151:1;4148;4141:12;4165:117;4274:1;4271;4264:12;4288:117;4397:1;4394;4387:12;4425:553;4483:8;4493:6;4543:3;4536:4;4528:6;4524:17;4520:27;4510:122;;4551:79;;:::i;:::-;4510:122;4664:6;4651:20;4641:30;;4694:18;4686:6;4683:30;4680:117;;;4716:79;;:::i;:::-;4680:117;4830:4;4822:6;4818:17;4806:29;;4884:3;4876:4;4868:6;4864:17;4854:8;4850:32;4847:41;4844:128;;;4891:79;;:::i;:::-;4844:128;4425:553;;;;;:::o;4984:819::-;5073:6;5081;5089;5097;5146:2;5134:9;5125:7;5121:23;5117:32;5114:119;;;5152:79;;:::i;:::-;5114:119;5272:1;5297:53;5342:7;5333:6;5322:9;5318:22;5297:53;:::i;:::-;5287:63;;5243:117;5399:2;5425:53;5470:7;5461:6;5450:9;5446:22;5425:53;:::i;:::-;5415:63;;5370:118;5555:2;5544:9;5540:18;5527:32;5586:18;5578:6;5575:30;5572:117;;;5608:79;;:::i;:::-;5572:117;5721:65;5778:7;5769:6;5758:9;5754:22;5721:65;:::i;:::-;5703:83;;;;5498:298;4984:819;;;;;;;:::o;5809:118::-;5896:24;5914:5;5896:24;:::i;:::-;5891:3;5884:37;5809:118;;:::o;5933:222::-;6026:4;6064:2;6053:9;6049:18;6041:26;;6077:71;6145:1;6134:9;6130:17;6121:6;6077:71;:::i;:::-;5933:222;;;;:::o;6161:90::-;6195:7;6238:5;6231:13;6224:21;6213:32;;6161:90;;;:::o;6257:109::-;6338:21;6353:5;6338:21;:::i;:::-;6333:3;6326:34;6257:109;;:::o;6372:210::-;6459:4;6497:2;6486:9;6482:18;6474:26;;6510:65;6572:1;6561:9;6557:17;6548:6;6510:65;:::i;:::-;6372:210;;;;:::o;6588:529::-;6753:4;6791:3;6780:9;6776:19;6768:27;;6805:71;6873:1;6862:9;6858:17;6849:6;6805:71;:::i;:::-;6886:66;6948:2;6937:9;6933:18;6924:6;6886:66;:::i;:::-;6962;7024:2;7013:9;7009:18;7000:6;6962:66;:::i;:::-;7038:72;7106:2;7095:9;7091:18;7082:6;7038:72;:::i;:::-;6588:529;;;;;;;:::o;7123:77::-;7160:7;7189:5;7178:16;;7123:77;;;:::o;7206:122::-;7279:24;7297:5;7279:24;:::i;:::-;7272:5;7269:35;7259:63;;7318:1;7315;7308:12;7259:63;7206:122;:::o;7334:139::-;7380:5;7418:6;7405:20;7396:29;;7434:33;7461:5;7434:33;:::i;:::-;7334:139;;;;:::o;7479:765::-;7565:6;7573;7581;7589;7638:3;7626:9;7617:7;7613:23;7609:33;7606:120;;;7645:79;;:::i;:::-;7606:120;7765:1;7790:53;7835:7;7826:6;7815:9;7811:22;7790:53;:::i;:::-;7780:63;;7736:117;7892:2;7918:53;7963:7;7954:6;7943:9;7939:22;7918:53;:::i;:::-;7908:63;;7863:118;8020:2;8046:53;8091:7;8082:6;8071:9;8067:22;8046:53;:::i;:::-;8036:63;;7991:118;8148:2;8174:53;8219:7;8210:6;8199:9;8195:22;8174:53;:::i;:::-;8164:63;;8119:118;7479:765;;;;;;;:::o;8250:162::-;8390:14;8386:1;8378:6;8374:14;8367:38;8250:162;:::o;8418:366::-;8560:3;8581:67;8645:2;8640:3;8581:67;:::i;:::-;8574:74;;8657:93;8746:3;8657:93;:::i;:::-;8775:2;8770:3;8766:12;8759:19;;8418:366;;;:::o;8790:419::-;8956:4;8994:2;8983:9;8979:18;8971:26;;9043:9;9037:4;9033:20;9029:1;9018:9;9014:17;9007:47;9071:131;9197:4;9071:131;:::i;:::-;9063:139;;8790:419;;;:::o;9215:157::-;9355:9;9351:1;9343:6;9339:14;9332:33;9215:157;:::o;9378:365::-;9520:3;9541:66;9605:1;9600:3;9541:66;:::i;:::-;9534:73;;9616:93;9705:3;9616:93;:::i;:::-;9734:2;9729:3;9725:12;9718:19;;9378:365;;;:::o;9749:419::-;9915:4;9953:2;9942:9;9938:18;9930:26;;10002:9;9996:4;9992:20;9988:1;9977:9;9973:17;9966:47;10030:131;10156:4;10030:131;:::i;:::-;10022:139;;9749:419;;;:::o;10174:169::-;10314:21;10310:1;10302:6;10298:14;10291:45;10174:169;:::o;10349:366::-;10491:3;10512:67;10576:2;10571:3;10512:67;:::i;:::-;10505:74;;10588:93;10677:3;10588:93;:::i;:::-;10706:2;10701:3;10697:12;10690:19;;10349:366;;;:::o;10721:419::-;10887:4;10925:2;10914:9;10910:18;10902:26;;10974:9;10968:4;10964:20;10960:1;10949:9;10945:17;10938:47;11002:131;11128:4;11002:131;:::i;:::-;10994:139;;10721:419;;;:::o;11146:180::-;11194:77;11191:1;11184:88;11291:4;11288:1;11281:15;11315:4;11312:1;11305:15;11332:191;11372:3;11391:20;11409:1;11391:20;:::i;:::-;11386:25;;11425:20;11443:1;11425:20;:::i;:::-;11420:25;;11468:1;11465;11461:9;11454:16;;11489:3;11486:1;11483:10;11480:36;;;11496:18;;:::i;:::-;11480:36;11332:191;;;;:::o;11529:442::-;11678:4;11716:2;11705:9;11701:18;11693:26;;11729:71;11797:1;11786:9;11782:17;11773:6;11729:71;:::i;:::-;11810:72;11878:2;11867:9;11863:18;11854:6;11810:72;:::i;:::-;11892;11960:2;11949:9;11945:18;11936:6;11892:72;:::i;:::-;11529:442;;;;;;:::o;11977:116::-;12047:21;12062:5;12047:21;:::i;:::-;12040:5;12037:32;12027:60;;12083:1;12080;12073:12;12027:60;11977:116;:::o;12099:137::-;12153:5;12184:6;12178:13;12169:22;;12200:30;12224:5;12200:30;:::i;:::-;12099:137;;;;:::o;12242:345::-;12309:6;12358:2;12346:9;12337:7;12333:23;12329:32;12326:119;;;12364:79;;:::i;:::-;12326:119;12484:1;12509:61;12562:7;12553:6;12542:9;12538:22;12509:61;:::i;:::-;12499:71;;12455:125;12242:345;;;;:::o;12593:174::-;12733:26;12729:1;12721:6;12717:14;12710:50;12593:174;:::o;12773:366::-;12915:3;12936:67;13000:2;12995:3;12936:67;:::i;:::-;12929:74;;13012:93;13101:3;13012:93;:::i;:::-;13130:2;13125:3;13121:12;13114:19;;12773:366;;;:::o;13145:419::-;13311:4;13349:2;13338:9;13334:18;13326:26;;13398:9;13392:4;13388:20;13384:1;13373:9;13369:17;13362:47;13426:131;13552:4;13426:131;:::i;:::-;13418:139;;13145:419;;;:::o;13570:423::-;13711:4;13749:2;13738:9;13734:18;13726:26;;13798:9;13792:4;13788:20;13784:1;13773:9;13769:17;13762:47;13826:78;13899:4;13890:6;13826:78;:::i;:::-;13818:86;;13914:72;13982:2;13971:9;13967:18;13958:6;13914:72;:::i;:::-;13570:423;;;;;:::o;13999:166::-;14139:18;14135:1;14127:6;14123:14;14116:42;13999:166;:::o;14171:366::-;14313:3;14334:67;14398:2;14393:3;14334:67;:::i;:::-;14327:74;;14410:93;14499:3;14410:93;:::i;:::-;14528:2;14523:3;14519:12;14512:19;;14171:366;;;:::o;14543:419::-;14709:4;14747:2;14736:9;14732:18;14724:26;;14796:9;14790:4;14786:20;14782:1;14771:9;14767:17;14760:47;14824:131;14950:4;14824:131;:::i;:::-;14816:139;;14543:419;;;:::o;14968:194::-;15008:4;15028:20;15046:1;15028:20;:::i;:::-;15023:25;;15062:20;15080:1;15062:20;:::i;:::-;15057:25;;15106:1;15103;15099:9;15091:17;;15130:1;15124:4;15121:11;15118:37;;;15135:18;;:::i;:::-;15118:37;14968:194;;;;:::o;15168:148::-;15266:6;15261:3;15256;15243:30;15307:1;15298:6;15293:3;15289:16;15282:27;15168:148;;;:::o;15346:317::-;15444:3;15465:71;15529:6;15524:3;15465:71;:::i;:::-;15458:78;;15546:56;15595:6;15590:3;15583:5;15546:56;:::i;:::-;15627:29;15649:6;15627:29;:::i;:::-;15622:3;15618:39;15611:46;;15346:317;;;;;:::o;15669:443::-;15820:4;15858:2;15847:9;15843:18;15835:26;;15871:71;15939:1;15928:9;15924:17;15915:6;15871:71;:::i;:::-;15989:9;15983:4;15979:20;15974:2;15963:9;15959:18;15952:48;16017:88;16100:4;16091:6;16083;16017:88;:::i;:::-;16009:96;;15669:443;;;;;;:::o;16118:172::-;16258:24;16254:1;16246:6;16242:14;16235:48;16118:172;:::o;16296:366::-;16438:3;16459:67;16523:2;16518:3;16459:67;:::i;:::-;16452:74;;16535:93;16624:3;16535:93;:::i;:::-;16653:2;16648:3;16644:12;16637:19;;16296:366;;;:::o;16668:419::-;16834:4;16872:2;16861:9;16857:18;16849:26;;16921:9;16915:4;16911:20;16907:1;16896:9;16892:17;16885:47;16949:131;17075:4;16949:131;:::i;:::-;16941:139;;16668:419;;;:::o;17093:118::-;17180:24;17198:5;17180:24;:::i;:::-;17175:3;17168:37;17093:118;;:::o;17217:332::-;17338:4;17376:2;17365:9;17361:18;17353:26;;17389:71;17457:1;17446:9;17442:17;17433:6;17389:71;:::i;:::-;17470:72;17538:2;17527:9;17523:18;17514:6;17470:72;:::i;:::-;17217:332;;;;;:::o;17555:175::-;17695:27;17691:1;17683:6;17679:14;17672:51;17555:175;:::o;17736:366::-;17878:3;17899:67;17963:2;17958:3;17899:67;:::i;:::-;17892:74;;17975:93;18064:3;17975:93;:::i;:::-;18093:2;18088:3;18084:12;18077:19;;17736:366;;;:::o;18108:419::-;18274:4;18312:2;18301:9;18297:18;18289:26;;18361:9;18355:4;18351:20;18347:1;18336:9;18332:17;18325:47;18389:131;18515:4;18389:131;:::i;:::-;18381:139;;18108:419;;;:::o;18533:158::-;18673:10;18669:1;18661:6;18657:14;18650:34;18533:158;:::o;18697:365::-;18839:3;18860:66;18924:1;18919:3;18860:66;:::i;:::-;18853:73;;18935:93;19024:3;18935:93;:::i;:::-;19053:2;19048:3;19044:12;19037:19;;18697:365;;;:::o;19068:419::-;19234:4;19272:2;19261:9;19257:18;19249:26;;19321:9;19315:4;19311:20;19307:1;19296:9;19292:17;19285:47;19349:131;19475:4;19349:131;:::i;:::-;19341:139;;19068:419;;;:::o;19493:332::-;19614:4;19652:2;19641:9;19637:18;19629:26;;19665:71;19733:1;19722:9;19718:17;19709:6;19665:71;:::i;:::-;19746:72;19814:2;19803:9;19799:18;19790:6;19746:72;:::i;:::-;19493:332;;;;;:::o;19831:170::-;19971:22;19967:1;19959:6;19955:14;19948:46;19831:170;:::o;20007:366::-;20149:3;20170:67;20234:2;20229:3;20170:67;:::i;:::-;20163:74;;20246:93;20335:3;20246:93;:::i;:::-;20364:2;20359:3;20355:12;20348:19;;20007:366;;;:::o;20379:419::-;20545:4;20583:2;20572:9;20568:18;20560:26;;20632:9;20626:4;20622:20;20618:1;20607:9;20603:17;20596:47;20660:131;20786:4;20660:131;:::i;:::-;20652:139;;20379:419;;;:::o","linkReferences":{},"immutableReferences":{"45116":[{"start":1462,"length":32},{"start":1913,"length":32},{"start":3726,"length":32},{"start":4607,"length":32}]}},"methodIdentifiers":{"JUDGE_TYPE_STYLE()":"6dd2a259","JUDGE_TYPE_TRANSLATION()":"2d81f2cf","STYLE_JUDGE_STAKE()":"b71b8c43","TRANSLATION_JUDGE_STAKE()":"6789a2be","attestationCount(address)":"44bb1cbf","getJudgeInfo(address)":"ba04c7e7","isStyleJudge(address)":"acdfba93","isTranslationJudge(address)":"d119d82e","judgeStakes(address)":"383ff029","operator()":"570ca735","recordAttestation(bytes32,address,uint256,bytes32)":"e8343598","registerStyleJudge()":"2d645e19","registerTranslationJudge()":"ed70e591","slashJudge(address,uint256,string)":"460b3236","transferOperator(address)":"29605e77","usdc()":"3e413bee","withdrawJudge(address)":"f95737b1"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.35+commit.47b9dedd\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"address\",\"name\":\"_usdc\",\"type\":\"address\"}],\"stateMutability\":\"nonpayable\",\"type\":\"constructor\"},{\"inputs\":[],\"name\":\"ReentrancyGuardReentrantCall\",\"type\":\"error\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"bytes32\",\"name\":\"eventId\",\"type\":\"bytes32\"},{\"indexed\":true,\"internalType\":\"address\",\"name\":\"judge\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"score\",\"type\":\"uint256\"},{\"indexed\":false,\"internalType\":\"bytes32\",\"name\":\"attestationHash\",\"type\":\"bytes32\"}],\"name\":\"AttestationRecorded\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"judge\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"string\",\"name\":\"judgeType\",\"type\":\"string\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"stake\",\"type\":\"uint256\"}],\"name\":\"JudgeRegistered\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"judge\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"amount\",\"type\":\"uint256\"},{\"indexed\":false,\"internalType\":\"string\",\"name\":\"reason\",\"type\":\"string\"}],\"name\":\"JudgeSlashed\",\"type\":\"event\"},{\"anonymous\":false,\"inputs\":[{\"indexed\":true,\"internalType\":\"address\",\"name\":\"judge\",\"type\":\"address\"},{\"indexed\":false,\"internalType\":\"uint256\",\"name\":\"amount\",\"type\":\"uint256\"}],\"name\":\"JudgeWithdrew\",\"type\":\"event\"},{\"inputs\":[],\"name\":\"JUDGE_TYPE_STYLE\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"JUDGE_TYPE_TRANSLATION\",\"outputs\":[{\"internalType\":\"string\",\"name\":\"\",\"type\":\"string\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"STYLE_JUDGE_STAKE\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"TRANSLATION_JUDGE_STAKE\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"name\":\"attestationCount\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"judge\",\"type\":\"address\"}],\"name\":\"getJudgeInfo\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"stake\",\"type\":\"uint256\"},{\"internalType\":\"bool\",\"name\":\"translation\",\"type\":\"bool\"},{\"internalType\":\"bool\",\"name\":\"style\",\"type\":\"bool\"},{\"internalType\":\"uint256\",\"name\":\"attestations\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"name\":\"isStyleJudge\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"name\":\"isTranslationJudge\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"name\":\"judgeStakes\",\"outputs\":[{\"internalType\":\"uint256\",\"name\":\"\",\"type\":\"uint256\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"operator\",\"outputs\":[{\"internalType\":\"address\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"bytes32\",\"name\":\"eventId\",\"type\":\"bytes32\"},{\"internalType\":\"address\",\"name\":\"judge\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"score\",\"type\":\"uint256\"},{\"internalType\":\"bytes32\",\"name\":\"attestationHash\",\"type\":\"bytes32\"}],\"name\":\"recordAttestation\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"registerStyleJudge\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"registerTranslationJudge\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"judge\",\"type\":\"address\"},{\"internalType\":\"uint256\",\"name\":\"amount\",\"type\":\"uint256\"},{\"internalType\":\"string\",\"name\":\"reason\",\"type\":\"string\"}],\"name\":\"slashJudge\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"newOperator\",\"type\":\"address\"}],\"name\":\"transferOperator\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"},{\"inputs\":[],\"name\":\"usdc\",\"outputs\":[{\"internalType\":\"contract IERC20\",\"name\":\"\",\"type\":\"address\"}],\"stateMutability\":\"view\",\"type\":\"function\"},{\"inputs\":[{\"internalType\":\"address\",\"name\":\"judge\",\"type\":\"address\"}],\"name\":\"withdrawJudge\",\"outputs\":[],\"stateMutability\":\"nonpayable\",\"type\":\"function\"}],\"devdoc\":{\"details\":\"Two judge classes: - Translation judge: 2 USDC stake (BLEU/COMET/MQM scoring). - Style-alignment judge: 1 USDC stake (D1-D8 dimensions). Stake constants assume the live USDC token uses 6 decimals (Arc-testnet MockUSDC). If the deploy target uses 18-dec USDC, redeploy with adjusted constants.\",\"errors\":{\"ReentrancyGuardReentrantCall()\":[{\"details\":\"Unauthorized reentrant call.\"}]},\"kind\":\"dev\",\"methods\":{\"recordAttestation(bytes32,address,uint256,bytes32)\":{\"params\":{\"attestationHash\":\"keccak256 of the off-chain JSON attestation.\",\"eventId\":\"The auction / event identifier.\",\"judge\":\"Judge wallet (must be registered).\",\"score\":\"Score in the judge's natural units (e.g. MQM 0-100).\"}}},\"title\":\"JudgePanel\",\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{\"STYLE_JUDGE_STAKE()\":{\"notice\":\"Style-alignment-judge USDC stake (1 USDC at 6-decimal precision).\"},\"TRANSLATION_JUDGE_STAKE()\":{\"notice\":\"Translation-judge USDC stake (2 USDC at 6-decimal precision).\"},\"attestationCount(address)\":{\"notice\":\"Number of attestations recorded for a judge (for collusion analysis off-chain \\u2014 the on-chain stake-slash decision still requires an operator call).\"},\"judgeStakes(address)\":{\"notice\":\"Currently held USDC stake per judge address.\"},\"recordAttestation(bytes32,address,uint256,bytes32)\":{\"notice\":\"Record an attestation produced by a judge for a specific event.\"},\"registerStyleJudge()\":{\"notice\":\"Stake 1 USDC and join the style-alignment sub-panel. Caller must have approved this contract for the stake amount first.\"},\"registerTranslationJudge()\":{\"notice\":\"Stake 2 USDC and join the translation-MQM sub-panel. Caller must have approved this contract for the stake amount first.\"},\"slashJudge(address,uint256,string)\":{\"notice\":\"Operator slashes a judge's stake for systemic bias or collusion. Slashed USDC stays in the contract treasury (operator-controlled).\"},\"withdrawJudge(address)\":{\"notice\":\"Operator-triggered exit: refund a judge's remaining stake and remove them from the panel. Useful for graceful retirement.\"}},\"notice\":\"On-chain registry + attestation store for the 11-judge ensemble described in README \\u00a75.6 / \\u00a75.22 (3 translation MQM judges + 8 style-alignment judges). Each judge stakes USDC; bias / collusion is punished by `slashJudge`. Verdicts are stamped to chain via `recordAttestation` so any party can audit \\\"who judged what.\\\"\",\"version\":1}},\"settings\":{\"compilationTarget\":{\"src/JudgePanel.sol\":\"JudgePanel\"},\"evmVersion\":\"osaka\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":false,\"runs\":200},\"remappings\":[\":@openzeppelin/=lib/openzeppelin-contracts/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"]},\"sources\":{\"lib/openzeppelin-contracts/contracts/utils/ReentrancyGuard.sol\":{\"keccak256\":\"0xa516cbf1c7d15d3517c2d668601ce016c54395bf5171918a14e2686977465f53\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://1e1d079e8edfb58efd23a311e315a4807b01b5d1cf153f8fa2d0608b9dec3e99\",\"dweb:/ipfs/QmTBExeX2SDTkn5xbk5ssbYSx7VqRp9H4Ux1CY4uQM4b9N\"]},\"lib/openzeppelin-contracts/contracts/utils/StorageSlot.sol\":{\"keccak256\":\"0xcf74f855663ce2ae00ed8352666b7935f6cddea2932fdf2c3ecd30a9b1cd0e97\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://9f660b1f351b757dfe01438e59888f31f33ded3afcf5cb5b0d9bf9aa6f320a8b\",\"dweb:/ipfs/QmarDJ5hZEgBtCmmrVzEZWjub9769eD686jmzb2XpSU1cM\"]},\"src/JudgePanel.sol\":{\"keccak256\":\"0x3e529fef31d37d1a7836c25d881d8667682c45e6db87eb31be21b3368c13d737\",\"license\":\"MIT\",\"urls\":[\"bzz-raw://e76ca3d0dbb3a0977f875b30339d9046362ba7b711744609f1c64c52d49bcbd9\",\"dweb:/ipfs/QmUuMkujLQg7LCejaVc69opf2TANKJANRUGXxnWwNjwFUN\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.35+commit.47b9dedd"},"language":"Solidity","output":{"abi":[{"inputs":[{"internalType":"address","name":"_usdc","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"type":"error","name":"ReentrancyGuardReentrantCall"},{"inputs":[{"internalType":"bytes32","name":"eventId","type":"bytes32","indexed":true},{"internalType":"address","name":"judge","type":"address","indexed":true},{"internalType":"uint256","name":"score","type":"uint256","indexed":false},{"internalType":"bytes32","name":"attestationHash","type":"bytes32","indexed":false}],"type":"event","name":"AttestationRecorded","anonymous":false},{"inputs":[{"internalType":"address","name":"judge","type":"address","indexed":true},{"internalType":"string","name":"judgeType","type":"string","indexed":false},{"internalType":"uint256","name":"stake","type":"uint256","indexed":false}],"type":"event","name":"JudgeRegistered","anonymous":false},{"inputs":[{"internalType":"address","name":"judge","type":"address","indexed":true},{"internalType":"uint256","name":"amount","type":"uint256","indexed":false},{"internalType":"string","name":"reason","type":"string","indexed":false}],"type":"event","name":"JudgeSlashed","anonymous":false},{"inputs":[{"internalType":"address","name":"judge","type":"address","indexed":true},{"internalType":"uint256","name":"amount","type":"uint256","indexed":false}],"type":"event","name":"JudgeWithdrew","anonymous":false},{"inputs":[],"stateMutability":"view","type":"function","name":"JUDGE_TYPE_STYLE","outputs":[{"internalType":"string","name":"","type":"string"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"JUDGE_TYPE_TRANSLATION","outputs":[{"internalType":"string","name":"","type":"string"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"STYLE_JUDGE_STAKE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"TRANSLATION_JUDGE_STAKE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}]},{"inputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function","name":"attestationCount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}]},{"inputs":[{"internalType":"address","name":"judge","type":"address"}],"stateMutability":"view","type":"function","name":"getJudgeInfo","outputs":[{"internalType":"uint256","name":"stake","type":"uint256"},{"internalType":"bool","name":"translation","type":"bool"},{"internalType":"bool","name":"style","type":"bool"},{"internalType":"uint256","name":"attestations","type":"uint256"}]},{"inputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function","name":"isStyleJudge","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function","name":"isTranslationJudge","outputs":[{"internalType":"bool","name":"","type":"bool"}]},{"inputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function","name":"judgeStakes","outputs":[{"internalType":"uint256","name":"","type":"uint256"}]},{"inputs":[],"stateMutability":"view","type":"function","name":"operator","outputs":[{"internalType":"address","name":"","type":"address"}]},{"inputs":[{"internalType":"bytes32","name":"eventId","type":"bytes32"},{"internalType":"address","name":"judge","type":"address"},{"internalType":"uint256","name":"score","type":"uint256"},{"internalType":"bytes32","name":"attestationHash","type":"bytes32"}],"stateMutability":"nonpayable","type":"function","name":"recordAttestation"},{"inputs":[],"stateMutability":"nonpayable","type":"function","name":"registerStyleJudge"},{"inputs":[],"stateMutability":"nonpayable","type":"function","name":"registerTranslationJudge"},{"inputs":[{"internalType":"address","name":"judge","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"string","name":"reason","type":"string"}],"stateMutability":"nonpayable","type":"function","name":"slashJudge"},{"inputs":[{"internalType":"address","name":"newOperator","type":"address"}],"stateMutability":"nonpayable","type":"function","name":"transferOperator"},{"inputs":[],"stateMutability":"view","type":"function","name":"usdc","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}]},{"inputs":[{"internalType":"address","name":"judge","type":"address"}],"stateMutability":"nonpayable","type":"function","name":"withdrawJudge"}],"devdoc":{"kind":"dev","methods":{"recordAttestation(bytes32,address,uint256,bytes32)":{"params":{"attestationHash":"keccak256 of the off-chain JSON attestation.","eventId":"The auction / event identifier.","judge":"Judge wallet (must be registered).","score":"Score in the judge's natural units (e.g. MQM 0-100)."}}},"version":1},"userdoc":{"kind":"user","methods":{"STYLE_JUDGE_STAKE()":{"notice":"Style-alignment-judge USDC stake (1 USDC at 6-decimal precision)."},"TRANSLATION_JUDGE_STAKE()":{"notice":"Translation-judge USDC stake (2 USDC at 6-decimal precision)."},"attestationCount(address)":{"notice":"Number of attestations recorded for a judge (for collusion analysis off-chain — the on-chain stake-slash decision still requires an operator call)."},"judgeStakes(address)":{"notice":"Currently held USDC stake per judge address."},"recordAttestation(bytes32,address,uint256,bytes32)":{"notice":"Record an attestation produced by a judge for a specific event."},"registerStyleJudge()":{"notice":"Stake 1 USDC and join the style-alignment sub-panel. Caller must have approved this contract for the stake amount first."},"registerTranslationJudge()":{"notice":"Stake 2 USDC and join the translation-MQM sub-panel. Caller must have approved this contract for the stake amount first."},"slashJudge(address,uint256,string)":{"notice":"Operator slashes a judge's stake for systemic bias or collusion. Slashed USDC stays in the contract treasury (operator-controlled)."},"withdrawJudge(address)":{"notice":"Operator-triggered exit: refund a judge's remaining stake and remove them from the panel. Useful for graceful retirement."}},"version":1}},"settings":{"remappings":["@openzeppelin/=lib/openzeppelin-contracts/","erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts/=lib/openzeppelin-contracts/"],"optimizer":{"enabled":false,"runs":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"src/JudgePanel.sol":"JudgePanel"},"evmVersion":"osaka","libraries":{}},"sources":{"lib/openzeppelin-contracts/contracts/utils/ReentrancyGuard.sol":{"keccak256":"0xa516cbf1c7d15d3517c2d668601ce016c54395bf5171918a14e2686977465f53","urls":["bzz-raw://1e1d079e8edfb58efd23a311e315a4807b01b5d1cf153f8fa2d0608b9dec3e99","dweb:/ipfs/QmTBExeX2SDTkn5xbk5ssbYSx7VqRp9H4Ux1CY4uQM4b9N"],"license":"MIT"},"lib/openzeppelin-contracts/contracts/utils/StorageSlot.sol":{"keccak256":"0xcf74f855663ce2ae00ed8352666b7935f6cddea2932fdf2c3ecd30a9b1cd0e97","urls":["bzz-raw://9f660b1f351b757dfe01438e59888f31f33ded3afcf5cb5b0d9bf9aa6f320a8b","dweb:/ipfs/QmarDJ5hZEgBtCmmrVzEZWjub9769eD686jmzb2XpSU1cM"],"license":"MIT"},"src/JudgePanel.sol":{"keccak256":"0x3e529fef31d37d1a7836c25d881d8667682c45e6db87eb31be21b3368c13d737","urls":["bzz-raw://e76ca3d0dbb3a0977f875b30339d9046362ba7b711744609f1c64c52d49bcbd9","dweb:/ipfs/QmUuMkujLQg7LCejaVc69opf2TANKJANRUGXxnWwNjwFUN"],"license":"MIT"}},"version":1},"id":25}