| { |
| "_format": "hh-sol-artifact-1", |
| "contractName": "SafetyKernel", |
| "sourceName": "contracts/SafetyKernel.sol", |
| "abi": [ |
| { |
| "inputs": [ |
| { |
| "internalType": "address", |
| "name": "_authorizedActor", |
| "type": "address" |
| }, |
| { |
| "internalType": "address", |
| "name": "_scorer", |
| "type": "address" |
| } |
| ], |
| "stateMutability": "nonpayable", |
| "type": "constructor" |
| }, |
| { |
| "anonymous": false, |
| "inputs": [ |
| { |
| "indexed": false, |
| "internalType": "address", |
| "name": "actor", |
| "type": "address" |
| } |
| ], |
| "name": "ResetInitiated", |
| "type": "event" |
| }, |
| { |
| "anonymous": false, |
| "inputs": [ |
| { |
| "indexed": false, |
| "internalType": "enum SafetyKernel.State", |
| "name": "newState", |
| "type": "uint8" |
| } |
| ], |
| "name": "StateChanged", |
| "type": "event" |
| }, |
| { |
| "inputs": [], |
| "name": "FLOOR_80", |
| "outputs": [ |
| { |
| "internalType": "uint256", |
| "name": "", |
| "type": "uint256" |
| } |
| ], |
| "stateMutability": "view", |
| "type": "function" |
| }, |
| { |
| "inputs": [], |
| "name": "assertOpen", |
| "outputs": [], |
| "stateMutability": "view", |
| "type": "function" |
| }, |
| { |
| "inputs": [], |
| "name": "authorizedActor", |
| "outputs": [ |
| { |
| "internalType": "address", |
| "name": "", |
| "type": "address" |
| } |
| ], |
| "stateMutability": "view", |
| "type": "function" |
| }, |
| { |
| "inputs": [ |
| { |
| "internalType": "uint256", |
| "name": "posteriorScaled", |
| "type": "uint256" |
| }, |
| { |
| "internalType": "uint256", |
| "name": "threshold", |
| "type": "uint256" |
| } |
| ], |
| "name": "check", |
| "outputs": [], |
| "stateMutability": "nonpayable", |
| "type": "function" |
| }, |
| { |
| "inputs": [], |
| "name": "reset", |
| "outputs": [], |
| "stateMutability": "nonpayable", |
| "type": "function" |
| }, |
| { |
| "inputs": [], |
| "name": "scorer", |
| "outputs": [ |
| { |
| "internalType": "contract BayesianScorer", |
| "name": "", |
| "type": "address" |
| } |
| ], |
| "stateMutability": "view", |
| "type": "function" |
| }, |
| { |
| "inputs": [], |
| "name": "state", |
| "outputs": [ |
| { |
| "internalType": "enum SafetyKernel.State", |
| "name": "", |
| "type": "uint8" |
| } |
| ], |
| "stateMutability": "view", |
| "type": "function" |
| } |
| ], |
| "bytecode": "0x608060405260008060006101000a81548160ff02191690836001811115610029576100286100e5565b5b021790555034801561003a57600080fd5b5060405161096d38038061096d833981810160405281019061005c9190610177565b81600060016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050506101b7565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061014482610119565b9050919050565b61015481610139565b811461015f57600080fd5b50565b6000815190506101718161014b565b92915050565b6000806040838503121561018e5761018d610114565b5b600061019c85828601610162565b92505060206101ad85828601610162565b9150509250929050565b6107a7806101c66000396000f3fe608060405234801561001057600080fd5b506004361061007d5760003560e01c80639142417f1161005b5780639142417f146100da578063ae0adc21146100e4578063c19d93fb14610102578063d826f88f146101205761007d565b80630ddb92df1461008257806385c758f7146100a05780638fefd8ea146100be575b600080fd5b61008a61012a565b6040516100979190610450565b60405180910390f35b6100a8610150565b6040516100b591906104ca565b60405180910390f35b6100d860048036038101906100d39190610520565b610176565b005b6100e26101e5565b005b6100ec61025b565b6040516100f9919061056f565b60405180910390f35b61010a610260565b6040516101179190610601565b60405180910390f35b610128610271565b005b600060019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b808210156101e15760016000806101000a81548160ff021916908360018111156101a3576101a261058a565b5b02179055507f551dc40198cc79684bb69e4931dba4ac16e4598792ee1c0a5000aeea366d7bb660016040516101d89190610601565b60405180910390a15b5050565b600060018111156101f9576101f861058a565b5b60008054906101000a900460ff1660018111156102195761021861058a565b5b14610259576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161025090610679565b60405180910390fd5b565b605081565b60008054906101000a900460ff1681565b600060019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610301576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102f8906106e5565b60405180910390fd5b6001808111156103145761031361058a565b5b60008054906101000a900460ff1660018111156103345761033361058a565b5b14610374576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161036b90610751565b60405180910390fd5b60008060006101000a81548160ff021916908360018111156103995761039861058a565b5b02179055507f551dc40198cc79684bb69e4931dba4ac16e4598792ee1c0a5000aeea366d7bb660006040516103ce9190610601565b60405180910390a17f9b704c9be666a37a4f6f990fe2a6d808665d6810a27822b28badb13c7fc11680336040516104059190610450565b60405180910390a1565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061043a8261040f565b9050919050565b61044a8161042f565b82525050565b60006020820190506104656000830184610441565b92915050565b6000819050919050565b600061049061048b6104868461040f565b61046b565b61040f565b9050919050565b60006104a282610475565b9050919050565b60006104b482610497565b9050919050565b6104c4816104a9565b82525050565b60006020820190506104df60008301846104bb565b92915050565b600080fd5b6000819050919050565b6104fd816104ea565b811461050857600080fd5b50565b60008135905061051a816104f4565b92915050565b60008060408385031215610537576105366104e5565b5b60006105458582860161050b565b92505060206105568582860161050b565b9150509250929050565b610569816104ea565b82525050565b60006020820190506105846000830184610560565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b600281106105ca576105c961058a565b5b50565b60008190506105db826105b9565b919050565b60006105eb826105cd565b9050919050565b6105fb816105e0565b82525050565b600060208201905061061660008301846105f2565b92915050565b600082825260208201905092915050565b7f4b65726e656c2069732068616c74656400000000000000000000000000000000600082015250565b600061066360108361061c565b915061066e8261062d565b602082019050919050565b6000602082019050818103600083015261069281610656565b9050919050565b7f556e617574686f72697a65640000000000000000000000000000000000000000600082015250565b60006106cf600c8361061c565b91506106da82610699565b602082019050919050565b600060208201905081810360008301526106fe816106c2565b9050919050565b7f4e6f742068616c74656400000000000000000000000000000000000000000000600082015250565b600061073b600a8361061c565b915061074682610705565b602082019050919050565b6000602082019050818103600083015261076a8161072e565b905091905056fea26469706673582212206f02fe11f235a828ed29625d752b057ec2c9509690f7f894c934d3884cfabfe064736f6c63430008140033", |
| "deployedBytecode": "0x608060405234801561001057600080fd5b506004361061007d5760003560e01c80639142417f1161005b5780639142417f146100da578063ae0adc21146100e4578063c19d93fb14610102578063d826f88f146101205761007d565b80630ddb92df1461008257806385c758f7146100a05780638fefd8ea146100be575b600080fd5b61008a61012a565b6040516100979190610450565b60405180910390f35b6100a8610150565b6040516100b591906104ca565b60405180910390f35b6100d860048036038101906100d39190610520565b610176565b005b6100e26101e5565b005b6100ec61025b565b6040516100f9919061056f565b60405180910390f35b61010a610260565b6040516101179190610601565b60405180910390f35b610128610271565b005b600060019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b808210156101e15760016000806101000a81548160ff021916908360018111156101a3576101a261058a565b5b02179055507f551dc40198cc79684bb69e4931dba4ac16e4598792ee1c0a5000aeea366d7bb660016040516101d89190610601565b60405180910390a15b5050565b600060018111156101f9576101f861058a565b5b60008054906101000a900460ff1660018111156102195761021861058a565b5b14610259576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161025090610679565b60405180910390fd5b565b605081565b60008054906101000a900460ff1681565b600060019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610301576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016102f8906106e5565b60405180910390fd5b6001808111156103145761031361058a565b5b60008054906101000a900460ff1660018111156103345761033361058a565b5b14610374576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161036b90610751565b60405180910390fd5b60008060006101000a81548160ff021916908360018111156103995761039861058a565b5b02179055507f551dc40198cc79684bb69e4931dba4ac16e4598792ee1c0a5000aeea366d7bb660006040516103ce9190610601565b60405180910390a17f9b704c9be666a37a4f6f990fe2a6d808665d6810a27822b28badb13c7fc11680336040516104059190610450565b60405180910390a1565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061043a8261040f565b9050919050565b61044a8161042f565b82525050565b60006020820190506104656000830184610441565b92915050565b6000819050919050565b600061049061048b6104868461040f565b61046b565b61040f565b9050919050565b60006104a282610475565b9050919050565b60006104b482610497565b9050919050565b6104c4816104a9565b82525050565b60006020820190506104df60008301846104bb565b92915050565b600080fd5b6000819050919050565b6104fd816104ea565b811461050857600080fd5b50565b60008135905061051a816104f4565b92915050565b60008060408385031215610537576105366104e5565b5b60006105458582860161050b565b92505060206105568582860161050b565b9150509250929050565b610569816104ea565b82525050565b60006020820190506105846000830184610560565b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b600281106105ca576105c961058a565b5b50565b60008190506105db826105b9565b919050565b60006105eb826105cd565b9050919050565b6105fb816105e0565b82525050565b600060208201905061061660008301846105f2565b92915050565b600082825260208201905092915050565b7f4b65726e656c2069732068616c74656400000000000000000000000000000000600082015250565b600061066360108361061c565b915061066e8261062d565b602082019050919050565b6000602082019050818103600083015261069281610656565b9050919050565b7f556e617574686f72697a65640000000000000000000000000000000000000000600082015250565b60006106cf600c8361061c565b91506106da82610699565b602082019050919050565b600060208201905081810360008301526106fe816106c2565b9050919050565b7f4e6f742068616c74656400000000000000000000000000000000000000000000600082015250565b600061073b600a8361061c565b915061074682610705565b602082019050919050565b6000602082019050818103600083015261076a8161072e565b905091905056fea26469706673582212206f02fe11f235a828ed29625d752b057ec2c9509690f7f894c934d3884cfabfe064736f6c63430008140033", |
| "linkReferences": {}, |
| "deployedLinkReferences": {} |
| } |
|
|
