@etherisc/gif-next 3.0.0-c867220-635 → 3.0.0-d1d737a-546

package/artifacts/contracts/examples/flight/FlightLib.sol/FlightLib.json

@@ -0,0 +1,500 @@
+{
+  "_format": "hh-sol-artifact-1",
+  "contractName": "FlightLib",
+  "sourceName": "contracts/examples/flight/FlightLib.sol",
+  "abi": [
+    {
+      "inputs": [
+        {
+          "internalType": "address",
+          "name": "expectedSigner",
+          "type": "address"
+        },
+        {
+          "internalType": "address",
+          "name": "actualSigner",
+          "type": "address"
+        }
+      ],
+      "name": "ErrorApplicationDataSignatureMismatch",
+      "type": "error"
+    },
+    {
+      "anonymous": false,
+      "inputs": [
+        {
+          "indexed": false,
+          "internalType": "RequestId",
+          "name": "requestId",
+          "type": "uint64"
+        },
+        {
+          "indexed": false,
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        },
+        {
+          "indexed": false,
+          "internalType": "bytes1",
+          "name": "status",
+          "type": "bytes1"
+        },
+        {
+          "indexed": false,
+          "internalType": "int256",
+          "name": "delayMinutes",
+          "type": "int256"
+        }
+      ],
+      "name": "LogErrorUnexpectedStatus",
+      "type": "event"
+    },
+    {
+      "anonymous": false,
+      "inputs": [
+        {
+          "indexed": false,
+          "internalType": "RequestId",
+          "name": "requestId",
+          "type": "uint64"
+        },
+        {
+          "indexed": false,
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        },
+        {
+          "indexed": false,
+          "internalType": "bytes1",
+          "name": "status",
+          "type": "bytes1"
+        }
+      ],
+      "name": "LogErrorUnprocessableStatus",
+      "type": "event"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "contract FlightProduct",
+          "name": "flightProduct",
+          "type": "FlightProduct"
+        },
+        {
+          "internalType": "Amount",
+          "name": "premium",
+          "type": "uint96"
+        },
+        {
+          "internalType": "uint256[6]",
+          "name": "statistics",
+          "type": "uint256[6]"
+        }
+      ],
+      "name": "calculatePayoutAmounts",
+      "outputs": [
+        {
+          "internalType": "uint256",
+          "name": "weight",
+          "type": "uint256"
+        },
+        {
+          "internalType": "Amount[5]",
+          "name": "payoutAmounts",
+          "type": "uint96[5]"
+        },
+        {
+          "internalType": "Amount",
+          "name": "sumInsuredAmount",
+          "type": "uint96"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "contract FlightProduct",
+          "name": "flightProduct",
+          "type": "FlightProduct"
+        },
+        {
+          "internalType": "uint256[6]",
+          "name": "statistics",
+          "type": "uint256[6]"
+        }
+      ],
+      "name": "calculateWeight",
+      "outputs": [
+        {
+          "internalType": "uint256",
+          "name": "weight",
+          "type": "uint256"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "contract FlightProduct",
+          "name": "flightProduct",
+          "type": "FlightProduct"
+        },
+        {
+          "internalType": "Str",
+          "name": "flightData",
+          "type": "bytes32"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "departureTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "arrivalTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Amount",
+          "name": "premiumAmount",
+          "type": "uint96"
+        },
+        {
+          "internalType": "uint256[6]",
+          "name": "statistics",
+          "type": "uint256[6]"
+        },
+        {
+          "internalType": "uint8",
+          "name": "v",
+          "type": "uint8"
+        },
+        {
+          "internalType": "bytes32",
+          "name": "r",
+          "type": "bytes32"
+        },
+        {
+          "internalType": "bytes32",
+          "name": "s",
+          "type": "bytes32"
+        }
+      ],
+      "name": "checkApplicationDataAndSignature",
+      "outputs": [],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "contract InstanceReader",
+          "name": "reader",
+          "type": "InstanceReader"
+        },
+        {
+          "internalType": "NftId",
+          "name": "productNftId",
+          "type": "uint96"
+        },
+        {
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        }
+      ],
+      "name": "getFlightRisk",
+      "outputs": [
+        {
+          "internalType": "bool",
+          "name": "exists",
+          "type": "bool"
+        },
+        {
+          "components": [
+            {
+              "internalType": "Str",
+              "name": "flightData",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "Timestamp",
+              "name": "departureTime",
+              "type": "uint40"
+            },
+            {
+              "internalType": "Timestamp",
+              "name": "arrivalTime",
+              "type": "uint40"
+            },
+            {
+              "internalType": "Amount",
+              "name": "sumOfSumInsuredAmounts",
+              "type": "uint96"
+            },
+            {
+              "internalType": "bytes1",
+              "name": "status",
+              "type": "bytes1"
+            },
+            {
+              "internalType": "int256",
+              "name": "delayMinutes",
+              "type": "int256"
+            }
+          ],
+          "internalType": "struct FlightProduct.FlightRisk",
+          "name": "flightRisk",
+          "type": "tuple"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "contract InstanceReader",
+          "name": "reader",
+          "type": "InstanceReader"
+        },
+        {
+          "internalType": "NftId",
+          "name": "productNftId",
+          "type": "uint96"
+        },
+        {
+          "internalType": "Str",
+          "name": "flightData",
+          "type": "bytes32"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "departureTime",
+          "type": "uint40"
+        },
+        {
+          "internalType": "Timestamp",
+          "name": "arrivalTime",
+          "type": "uint40"
+        }
+      ],
+      "name": "getFlightRisk",
+      "outputs": [
+        {
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        },
+        {
+          "internalType": "bool",
+          "name": "exists",
+          "type": "bool"
+        },
+        {
+          "components": [
+            {
+              "internalType": "Str",
+              "name": "flightData",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "Timestamp",
+              "name": "departureTime",
+              "type": "uint40"
+            },
+            {
+              "internalType": "Timestamp",
+              "name": "arrivalTime",
+              "type": "uint40"
+            },
+            {
+              "internalType": "Amount",
+              "name": "sumOfSumInsuredAmounts",
+              "type": "uint96"
+            },
+            {
+              "internalType": "bytes1",
+              "name": "status",
+              "type": "bytes1"
+            },
+            {
+              "internalType": "int256",
+              "name": "delayMinutes",
+              "type": "int256"
+            }
+          ],
+          "internalType": "struct FlightProduct.FlightRisk",
+          "name": "flightRisk",
+          "type": "tuple"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "NftId",
+          "name": "productNftId",
+          "type": "uint96"
+        },
+        {
+          "internalType": "Str",
+          "name": "flightData",
+          "type": "bytes32"
+        }
+      ],
+      "name": "getRiskId",
+      "outputs": [
+        {
+          "internalType": "RiskId",
+          "name": "riskId",
+          "type": "bytes8"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    }
+  ],
+  "bytecode": "0x611ffc610034600b8282823980515f1a607314602857634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe7300000000000000000000000000000000000000003014608060405260043610610090575f3560e01c806381def9491161006357806381def9491461013d5780638a37ab631461015f5780639c399bf514610196578063bb2d4851146101ab575f80fd5b806319b9d5ba1461009457806355d166e1146100be57806358032400146100e05780637c93ab1114610111575b5f80fd5b6100a76100a2366004611713565b6101cc565b6040516100b59291906117b2565b60405180910390f35b6100d16100cc366004611885565b610317565b6040516100b5939291906118cb565b8180156100eb575f80fd5b506100ff6100fa366004611930565b6107c4565b60405160ff90911681526020016100b5565b61012461011f36600461198a565b610993565b6040516001600160c01b031990911681526020016100b5565b61015061014b3660046119c6565b6109aa565b6040516100b593929190611a2a565b81801561016a575f80fd5b5061017e610179366004611a86565b610aba565b6040516001600160601b0390911681526020016100b5565b6101a96101a4366004611b15565b610af5565b005b6101be6101b9366004611bb2565b610cde565b6040519081526020016100b5565b6040805160c0810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260405163028106fd60e01b81526001600160601b03851660048201526001600160c01b0319841660248201526001600160a01b0386169063028106fd90604401602060405180830381865afa158015610257573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061027b9190611bfa565b9150811561030f5760405163887b1fa960e01b81526001600160c01b0319841660048201526001600160a01b0386169063887b1fa9906024015f60405180830381865afa1580156102ce573d5f803e3d5ffd5b505050506040513d5f823e601f3d908101601f191682016040526102f59190810190611c13565b6040015180602001905181019061030c9190611cee565b90505b935093915050565b5f6103206116b5565b5f61038a85876001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610361573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103859190611d87565b610ef6565b6103db5760405162461bcd60e51b815260206004820152601d60248201527f4552524f523a4644442d3030393a494e56414c49445f5052454d49554d00000060448201526064015b60405180910390fd5b61044485876001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa15801561041b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061043f9190611d87565b610f81565b6104905760405162461bcd60e51b815260206004820152601d60248201527f4552524f523a4644442d3031303a494e56414c49445f5052454d49554d00000060448201526064016103d2565b73__$3bac17678db7ae928afa209f2f44deec9c$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af41580156104d7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104fb9190611d87565b90506105078685610cde565b92505f5b60058110156107ba575f73__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd96866001600160a01b038b16631e6239c661054a876001611db6565b6040518263ffffffff1660e01b815260040161056891815260200190565b602060405180830381865afa158015610583573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105a79190611dc9565b60405163046e44af60e11b81526001600160601b038c16600482015260ff919091169073__$3bac17678db7ae928afa209f2f44deec9c$__906308dc895e90602401602060405180830381865af4158015610604573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106289190611de4565b6106329190611dfb565b61063e90612710611dfb565b6106489190611e12565b6040518263ffffffff1660e01b815260040161066691815260200190565b602060405180830381865af4158015610681573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106a59190611d87565b905061071081896001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106e7573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061070b9190611d87565b610fcb565b1561077857876001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610751573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107759190611d87565b90505b6107828184610fcb565b1561078b578092505b8084836005811061079e5761079e611e31565b6001600160601b0390921660209290920201525060010161050b565b5093509350939050565b60ff601360fa1b6001600160f81b03198416148015906107f25750604160f81b6001600160f81b0319841614155b801561080c5750604360f81b6001600160f81b0319841614155b80156108265750601160fa1b6001600160f81b0319841614155b15610891576040805167ffffffffffffffff871681526001600160c01b0319861660208201526001600160f81b03198516918101919091527f10a71fc00c647daac16f739c85fb09cb0693bf51f97ce89bffc03ae1c68dc29d906060015b60405180910390a161098b565b6001600160f81b03198316604160f81b0361090a576040805167ffffffffffffffff871681526001600160c01b0319861660208201526001600160f81b0319851691810191909152606081018390527f92cc6b14897b8416df8afd6ed7b6b0bf7c98f549f3ed1ff260803dee0d504b3490608001610884565b6001600160f81b03198316604360f81b036109275750600361098b565b6001600160f81b03198316601160fa1b036109445750600461098b565b600f82121580156109555750601e82125b1561096157505f61098b565b601e82121580156109725750602d82125b1561097f5750600161098b565b602d821261098b575060025b949350505050565b5f8061099e83611015565b905061098b8482611046565b6040805160c0810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905281906109e68787610993565b92506109f38888856101cc565b909250905081610aaf576040805160c08101825287815264ffffffffff80881660208301528616818301529051632620eecb60e11b81525f6004820152606082019073__$3bac17678db7ae928afa209f2f44deec9c$__90634c41dd9690602401602060405180830381865af4158015610a6f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a939190611d87565b6001600160601b031681525f6020820181905260409091015290505b955095509592505050565b5f8083806020019051810190610ad09190611e45565b915050808360ff1660058110610ae857610ae8611e31565b6020020151949350505050565b610b018986888a6110c9565b5f808a6001600160a01b0316630b9e66c56040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b3f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b639190611ebf565b6001600160a01b0316631534ba5e8b8b8b8b8b8b8b8b6040518963ffffffff1660e01b8152600401610b9c989796959493929190611eda565b606060405180830381865afa158015610bb7573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bdb9190611f51565b925050915080610cd1578a6001600160a01b0316630b9e66c56040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c21573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c459190611ebf565b6001600160a01b031663f885d9226040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c80573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ca49190611ebf565b60405163a5a8a11160e01b81526001600160a01b03918216600482015290831660248201526044016103d2565b5050505050505050505050565b5f826001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d1b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d3f9190611de4565b82511015610d8f5760405162461bcd60e51b815260206004820152601e60248201527f4552524f523a4644442d3031313a4c4f575f4f42534552564154494f4e53000060448201526064016103d2565b505f60015b6006811015610e54578251838260068110610db157610db1611e31565b6020020151604051630f311ce360e11b8152600481018490526001600160a01b03871690631e6239c690602401602060405180830381865afa158015610df9573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e1d9190611dc9565b60ff16610e2a9190611dfb565b610e3690612710611dfb565b610e409190611e12565b610e4a9083611db6565b9150600101610d94565b50805f03610e6e578151610e6b90620186a0611e12565b90505b6064836001600160a01b0316632f15ce0d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610eac573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ed09190611de4565b610edb906064611db6565b610ee59083611dfb565b610eef9190611e12565b9392505050565b604051631315996960e11b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__9063262b32d2906044015b602060405180830381865af4158015610f57573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610eef9190611bfa565b92915050565b6040516304d40eb160e11b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906309a81d6290604401610f3c565b604051632601631360e21b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906398058c4c90604401610f3c565b5f8160405160200161102991815260200190565b604051602081830303815290604052805190602001209050919050565b604051638a3065c160e01b81526001600160601b0383166004820152602481018290525f9073__$32e9ecefef68cb354d118e0496fdd3f4bc$__90638a3065c190604401602060405180830381865af41580156110a5573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610eef9190611f90565b61110983856001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610361573d5f803e3d5ffd5b6111555760405162461bcd60e51b815260206004820152601d60248201527f4552524f523a4644442d3030313a494e56414c49445f5052454d49554d00000060448201526064016103d2565b61119583856001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa15801561041b573d5f803e3d5ffd5b6111e15760405162461bcd60e51b815260206004820152601d60248201527f4552524f523a4644442d3030323a494e56414c49445f5052454d49554d00000060448201526064016103d2565b64ffffffffff8082169083161161124e5760405162461bcd60e51b815260206004820152602b60248201527f4552524f523a4644442d3030333a4152524956414c5f4245464f52455f44455060448201526a4152545552455f54494d4560a81b60648201526084016103d2565b611351828264ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091886001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156112b2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112d69190611fab565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af415801561131d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113419190611fab565b64ffffffffff9081169116111590565b6113b25760405162461bcd60e51b815260206004820152602c60248201527f4552524f523a4644442d3030343a494e56414c49445f4152524956414c2f444560448201526b504152545552455f54494d4560a01b60648201526084016103d2565b61151f73__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af41580156113fc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114209190611fab565b8264ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__6337cb29fe9091886001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611480573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114a49190611fab565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af41580156114eb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061150f9190611fab565b64ffffffffff9081169116101590565b6115805760405162461bcd60e51b815260206004820152602c60248201527f4552524f523a4644442d3030353a494e56414c49445f4152524956414c2f444560448201526b504152545552455f54494d4560a01b60648201526084016103d2565b61164e73__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af41580156115ca573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115ee9190611fab565b8264ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__6337cb29fe9091886001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156112b2573d5f803e3d5ffd5b6116af5760405162461bcd60e51b815260206004820152602c60248201527f4552524f523a4644442d3031323a494e56414c49445f4152524956414c2f444560448201526b504152545552455f54494d4560a01b60648201526084016103d2565b50505050565b6040518060a001604052806005906020820280368337509192915050565b6001600160a01b03811681146116e7575f80fd5b50565b6001600160601b03811681146116e7575f80fd5b6001600160c01b0319811681146116e7575f80fd5b5f805f60608486031215611725575f80fd5b8335611730816116d3565b92506020840135611740816116ea565b91506040840135611750816116fe565b809150509250925092565b8051825264ffffffffff602082015116602083015264ffffffffff60408201511660408301526001600160601b03606082015116606083015260ff60f81b608082015116608083015260a081015160a08301525050565b821515815260e08101610eef602083018461175b565b634e487b7160e01b5f52604160045260245ffd5b6040516060810167ffffffffffffffff811182821017156117ff576117ff6117c8565b60405290565b604051601f8201601f1916810167ffffffffffffffff8111828210171561182e5761182e6117c8565b604052919050565b5f82601f830112611845575f80fd5b61184f60c0611805565b8060c0840185811115611860575f80fd5b845b8181101561187a578035845260209384019301611862565b509095945050505050565b5f805f6101008486031215611898575f80fd5b83356118a3816116d3565b925060208401356118b3816116ea565b91506118c28560408601611836565b90509250925092565b83815260e0810160208201845f5b60058110156119015781516001600160601b03168352602092830192909101906001016118d9565b5050506001600160601b03831660c0830152949350505050565b6001600160f81b0319811681146116e7575f80fd5b5f805f8060808587031215611943575f80fd5b843567ffffffffffffffff8116811461195a575f80fd5b9350602085013561196a816116fe565b9250604085013561197a8161191b565b9396929550929360600135925050565b5f806040838503121561199b575f80fd5b82356119a6816116ea565b946020939093013593505050565b64ffffffffff811681146116e7575f80fd5b5f805f805f60a086880312156119da575f80fd5b85356119e5816116d3565b945060208601356119f5816116ea565b9350604086013592506060860135611a0c816119b4565b91506080860135611a1c816119b4565b809150509295509295909350565b6001600160c01b0319841681528215156020820152610100810161098b604083018461175b565b5f67ffffffffffffffff821115611a6a57611a6a6117c8565b50601f01601f191660200190565b60ff811681146116e7575f80fd5b5f8060408385031215611a97575f80fd5b823567ffffffffffffffff811115611aad575f80fd5b8301601f81018513611abd575f80fd5b8035611ad0611acb82611a51565b611805565b818152866020838501011115611ae4575f80fd5b816020840160208301375f602083830101528094505050506020830135611b0a81611a78565b809150509250929050565b5f805f805f805f805f6101c08a8c031215611b2e575f80fd5b8935611b39816116d3565b985060208a0135975060408a0135611b50816119b4565b965060608a0135611b60816119b4565b955060808a0135611b70816116ea565b9450611b7f8b60a08c01611836565b93506101608a0135611b9081611a78565b989b979a50959894979396929550929361018081013593506101a00135919050565b5f8060e08385031215611bc3575f80fd5b8235611bce816116d3565b9150611bdd8460208501611836565b90509250929050565b80518015158114611bf5575f80fd5b919050565b5f60208284031215611c0a575f80fd5b610eef82611be6565b5f60208284031215611c23575f80fd5b815167ffffffffffffffff811115611c39575f80fd5b820160608185031215611c4a575f80fd5b611c526117dc565b8151611c5d816116ea565b81526020820151611c6d816119b4565b6020820152604082015167ffffffffffffffff811115611c8b575f80fd5b80830192505084601f830112611c9f575f80fd5b8151611cad611acb82611a51565b818152866020838601011115611cc1575f80fd5b8160208501602083015e5f918101602001919091526040820152949350505050565b8051611bf58161191b565b5f60c0828403128015611cff575f80fd5b5060405160c0810167ffffffffffffffff81118282101715611d2357611d236117c8565b604052825181526020830151611d38816119b4565b60208201526040830151611d4b816119b4565b60408201526060830151611d5e816116ea565b6060820152611d6f60808401611ce3565b608082015260a0928301519281019290925250919050565b5f60208284031215611d97575f80fd5b8151610eef816116ea565b634e487b7160e01b5f52601160045260245ffd5b80820180821115610f7b57610f7b611da2565b5f60208284031215611dd9575f80fd5b8151610eef81611a78565b5f60208284031215611df4575f80fd5b5051919050565b8082028115828204841417610f7b57610f7b611da2565b5f82611e2c57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f8060c08385031215611e56575f80fd5b8251611e61816116ea565b9150603f83018413611e71575f80fd5b611e7b60a0611805565b8060c0850186811115611e8c575f80fd5b602086015b81811015611eb2578051611ea4816116ea565b845260209384019301611e91565b5093969095509350505050565b5f60208284031215611ecf575f80fd5b8151610eef816116d3565b88815264ffffffffff8881166020830152871660408201526001600160601b03861660608201526101a0810160808201865f5b6006811015611f2c578151835260209283019290910190600101611f0d565b50505060ff851661014083015261016082019390935261018001529695505050505050565b5f805f60608486031215611f63575f80fd5b8351611f6e816116d3565b602085015190935060048110611f82575f80fd5b91506118c260408501611be6565b5f60208284031215611fa0575f80fd5b8151610eef816116fe565b5f60208284031215611fbb575f80fd5b8151610eef816119b456fea26469706673582212205ebc8b68e9d0eaff9c886088b7b69e33a620e94b9604410c710c66b2a1fa0ca064736f6c634300081a0033",
+  "deployedBytecode": "0x7300000000000000000000000000000000000000003014608060405260043610610090575f3560e01c806381def9491161006357806381def9491461013d5780638a37ab631461015f5780639c399bf514610196578063bb2d4851146101ab575f80fd5b806319b9d5ba1461009457806355d166e1146100be57806358032400146100e05780637c93ab1114610111575b5f80fd5b6100a76100a2366004611713565b6101cc565b6040516100b59291906117b2565b60405180910390f35b6100d16100cc366004611885565b610317565b6040516100b5939291906118cb565b8180156100eb575f80fd5b506100ff6100fa366004611930565b6107c4565b60405160ff90911681526020016100b5565b61012461011f36600461198a565b610993565b6040516001600160c01b031990911681526020016100b5565b61015061014b3660046119c6565b6109aa565b6040516100b593929190611a2a565b81801561016a575f80fd5b5061017e610179366004611a86565b610aba565b6040516001600160601b0390911681526020016100b5565b6101a96101a4366004611b15565b610af5565b005b6101be6101b9366004611bb2565b610cde565b6040519081526020016100b5565b6040805160c0810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260405163028106fd60e01b81526001600160601b03851660048201526001600160c01b0319841660248201526001600160a01b0386169063028106fd90604401602060405180830381865afa158015610257573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061027b9190611bfa565b9150811561030f5760405163887b1fa960e01b81526001600160c01b0319841660048201526001600160a01b0386169063887b1fa9906024015f60405180830381865afa1580156102ce573d5f803e3d5ffd5b505050506040513d5f823e601f3d908101601f191682016040526102f59190810190611c13565b6040015180602001905181019061030c9190611cee565b90505b935093915050565b5f6103206116b5565b5f61038a85876001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610361573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103859190611d87565b610ef6565b6103db5760405162461bcd60e51b815260206004820152601d60248201527f4552524f523a4644442d3030393a494e56414c49445f5052454d49554d00000060448201526064015b60405180910390fd5b61044485876001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa15801561041b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061043f9190611d87565b610f81565b6104905760405162461bcd60e51b815260206004820152601d60248201527f4552524f523a4644442d3031303a494e56414c49445f5052454d49554d00000060448201526064016103d2565b73__$3bac17678db7ae928afa209f2f44deec9c$__63bc1b392d6040518163ffffffff1660e01b8152600401602060405180830381865af41580156104d7573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104fb9190611d87565b90506105078685610cde565b92505f5b60058110156107ba575f73__$3bac17678db7ae928afa209f2f44deec9c$__634c41dd96866001600160a01b038b16631e6239c661054a876001611db6565b6040518263ffffffff1660e01b815260040161056891815260200190565b602060405180830381865afa158015610583573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105a79190611dc9565b60405163046e44af60e11b81526001600160601b038c16600482015260ff919091169073__$3bac17678db7ae928afa209f2f44deec9c$__906308dc895e90602401602060405180830381865af4158015610604573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106289190611de4565b6106329190611dfb565b61063e90612710611dfb565b6106489190611e12565b6040518263ffffffff1660e01b815260040161066691815260200190565b602060405180830381865af4158015610681573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106a59190611d87565b905061071081896001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106e7573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061070b9190611d87565b610fcb565b1561077857876001600160a01b0316634b9ddafe6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610751573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906107759190611d87565b90505b6107828184610fcb565b1561078b578092505b8084836005811061079e5761079e611e31565b6001600160601b0390921660209290920201525060010161050b565b5093509350939050565b60ff601360fa1b6001600160f81b03198416148015906107f25750604160f81b6001600160f81b0319841614155b801561080c5750604360f81b6001600160f81b0319841614155b80156108265750601160fa1b6001600160f81b0319841614155b15610891576040805167ffffffffffffffff871681526001600160c01b0319861660208201526001600160f81b03198516918101919091527f10a71fc00c647daac16f739c85fb09cb0693bf51f97ce89bffc03ae1c68dc29d906060015b60405180910390a161098b565b6001600160f81b03198316604160f81b0361090a576040805167ffffffffffffffff871681526001600160c01b0319861660208201526001600160f81b0319851691810191909152606081018390527f92cc6b14897b8416df8afd6ed7b6b0bf7c98f549f3ed1ff260803dee0d504b3490608001610884565b6001600160f81b03198316604360f81b036109275750600361098b565b6001600160f81b03198316601160fa1b036109445750600461098b565b600f82121580156109555750601e82125b1561096157505f61098b565b601e82121580156109725750602d82125b1561097f5750600161098b565b602d821261098b575060025b949350505050565b5f8061099e83611015565b905061098b8482611046565b6040805160c0810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905281906109e68787610993565b92506109f38888856101cc565b909250905081610aaf576040805160c08101825287815264ffffffffff80881660208301528616818301529051632620eecb60e11b81525f6004820152606082019073__$3bac17678db7ae928afa209f2f44deec9c$__90634c41dd9690602401602060405180830381865af4158015610a6f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610a939190611d87565b6001600160601b031681525f6020820181905260409091015290505b955095509592505050565b5f8083806020019051810190610ad09190611e45565b915050808360ff1660058110610ae857610ae8611e31565b6020020151949350505050565b610b018986888a6110c9565b5f808a6001600160a01b0316630b9e66c56040518163ffffffff1660e01b8152600401602060405180830381865afa158015610b3f573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610b639190611ebf565b6001600160a01b0316631534ba5e8b8b8b8b8b8b8b8b6040518963ffffffff1660e01b8152600401610b9c989796959493929190611eda565b606060405180830381865afa158015610bb7573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610bdb9190611f51565b925050915080610cd1578a6001600160a01b0316630b9e66c56040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c21573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610c459190611ebf565b6001600160a01b031663f885d9226040518163ffffffff1660e01b8152600401602060405180830381865afa158015610c80573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ca49190611ebf565b60405163a5a8a11160e01b81526001600160a01b03918216600482015290831660248201526044016103d2565b5050505050505050505050565b5f826001600160a01b03166339cee4076040518163ffffffff1660e01b8152600401602060405180830381865afa158015610d1b573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610d3f9190611de4565b82511015610d8f5760405162461bcd60e51b815260206004820152601e60248201527f4552524f523a4644442d3031313a4c4f575f4f42534552564154494f4e53000060448201526064016103d2565b505f60015b6006811015610e54578251838260068110610db157610db1611e31565b6020020151604051630f311ce360e11b8152600481018490526001600160a01b03871690631e6239c690602401602060405180830381865afa158015610df9573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e1d9190611dc9565b60ff16610e2a9190611dfb565b610e3690612710611dfb565b610e409190611e12565b610e4a9083611db6565b9150600101610d94565b50805f03610e6e578151610e6b90620186a0611e12565b90505b6064836001600160a01b0316632f15ce0d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015610eac573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610ed09190611de4565b610edb906064611db6565b610ee59083611dfb565b610eef9190611e12565b9392505050565b604051631315996960e11b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__9063262b32d2906044015b602060405180830381865af4158015610f57573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610eef9190611bfa565b92915050565b6040516304d40eb160e11b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906309a81d6290604401610f3c565b604051632601631360e21b81526001600160601b038084166004830152821660248201525f9073__$3bac17678db7ae928afa209f2f44deec9c$__906398058c4c90604401610f3c565b5f8160405160200161102991815260200190565b604051602081830303815290604052805190602001209050919050565b604051638a3065c160e01b81526001600160601b0383166004820152602481018290525f9073__$32e9ecefef68cb354d118e0496fdd3f4bc$__90638a3065c190604401602060405180830381865af41580156110a5573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610eef9190611f90565b61110983856001600160a01b031663be5c8f446040518163ffffffff1660e01b8152600401602060405180830381865afa158015610361573d5f803e3d5ffd5b6111555760405162461bcd60e51b815260206004820152601d60248201527f4552524f523a4644442d3030313a494e56414c49445f5052454d49554d00000060448201526064016103d2565b61119583856001600160a01b0316634cdabb166040518163ffffffff1660e01b8152600401602060405180830381865afa15801561041b573d5f803e3d5ffd5b6111e15760405162461bcd60e51b815260206004820152601d60248201527f4552524f523a4644442d3030323a494e56414c49445f5052454d49554d00000060448201526064016103d2565b64ffffffffff8082169083161161124e5760405162461bcd60e51b815260206004820152602b60248201527f4552524f523a4644442d3030333a4152524956414c5f4245464f52455f44455060448201526a4152545552455f54494d4560a81b60648201526084016103d2565b611351828264ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__63a5798b4e9091886001600160a01b031663972e22eb6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156112b2573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112d69190611fab565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af415801561131d573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113419190611fab565b64ffffffffff9081169116111590565b6113b25760405162461bcd60e51b815260206004820152602c60248201527f4552524f523a4644442d3030343a494e56414c49445f4152524956414c2f444560448201526b504152545552455f54494d4560a01b60648201526084016103d2565b61151f73__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af41580156113fc573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114209190611fab565b8264ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__6337cb29fe9091886001600160a01b031663608a5f8d6040518163ffffffff1660e01b8152600401602060405180830381865afa158015611480573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114a49190611fab565b6040516001600160e01b031960e085901b16815264ffffffffff928316600482015291166024820152604401602060405180830381865af41580156114eb573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061150f9190611fab565b64ffffffffff9081169116101590565b6115805760405162461bcd60e51b815260206004820152602c60248201527f4552524f523a4644442d3030353a494e56414c49445f4152524956414c2f444560448201526b504152545552455f54494d4560a01b60648201526084016103d2565b61164e73__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__639fa6a6e36040518163ffffffff1660e01b8152600401602060405180830381865af41580156115ca573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906115ee9190611fab565b8264ffffffffff1673__$91d01b1eccbca8d6f94a5eb2a0acb040e9$__6337cb29fe9091886001600160a01b031663b7b357ac6040518163ffffffff1660e01b8152600401602060405180830381865afa1580156112b2573d5f803e3d5ffd5b6116af5760405162461bcd60e51b815260206004820152602c60248201527f4552524f523a4644442d3031323a494e56414c49445f4152524956414c2f444560448201526b504152545552455f54494d4560a01b60648201526084016103d2565b50505050565b6040518060a001604052806005906020820280368337509192915050565b6001600160a01b03811681146116e7575f80fd5b50565b6001600160601b03811681146116e7575f80fd5b6001600160c01b0319811681146116e7575f80fd5b5f805f60608486031215611725575f80fd5b8335611730816116d3565b92506020840135611740816116ea565b91506040840135611750816116fe565b809150509250925092565b8051825264ffffffffff602082015116602083015264ffffffffff60408201511660408301526001600160601b03606082015116606083015260ff60f81b608082015116608083015260a081015160a08301525050565b821515815260e08101610eef602083018461175b565b634e487b7160e01b5f52604160045260245ffd5b6040516060810167ffffffffffffffff811182821017156117ff576117ff6117c8565b60405290565b604051601f8201601f1916810167ffffffffffffffff8111828210171561182e5761182e6117c8565b604052919050565b5f82601f830112611845575f80fd5b61184f60c0611805565b8060c0840185811115611860575f80fd5b845b8181101561187a578035845260209384019301611862565b509095945050505050565b5f805f6101008486031215611898575f80fd5b83356118a3816116d3565b925060208401356118b3816116ea565b91506118c28560408601611836565b90509250925092565b83815260e0810160208201845f5b60058110156119015781516001600160601b03168352602092830192909101906001016118d9565b5050506001600160601b03831660c0830152949350505050565b6001600160f81b0319811681146116e7575f80fd5b5f805f8060808587031215611943575f80fd5b843567ffffffffffffffff8116811461195a575f80fd5b9350602085013561196a816116fe565b9250604085013561197a8161191b565b9396929550929360600135925050565b5f806040838503121561199b575f80fd5b82356119a6816116ea565b946020939093013593505050565b64ffffffffff811681146116e7575f80fd5b5f805f805f60a086880312156119da575f80fd5b85356119e5816116d3565b945060208601356119f5816116ea565b9350604086013592506060860135611a0c816119b4565b91506080860135611a1c816119b4565b809150509295509295909350565b6001600160c01b0319841681528215156020820152610100810161098b604083018461175b565b5f67ffffffffffffffff821115611a6a57611a6a6117c8565b50601f01601f191660200190565b60ff811681146116e7575f80fd5b5f8060408385031215611a97575f80fd5b823567ffffffffffffffff811115611aad575f80fd5b8301601f81018513611abd575f80fd5b8035611ad0611acb82611a51565b611805565b818152866020838501011115611ae4575f80fd5b816020840160208301375f602083830101528094505050506020830135611b0a81611a78565b809150509250929050565b5f805f805f805f805f6101c08a8c031215611b2e575f80fd5b8935611b39816116d3565b985060208a0135975060408a0135611b50816119b4565b965060608a0135611b60816119b4565b955060808a0135611b70816116ea565b9450611b7f8b60a08c01611836565b93506101608a0135611b9081611a78565b989b979a50959894979396929550929361018081013593506101a00135919050565b5f8060e08385031215611bc3575f80fd5b8235611bce816116d3565b9150611bdd8460208501611836565b90509250929050565b80518015158114611bf5575f80fd5b919050565b5f60208284031215611c0a575f80fd5b610eef82611be6565b5f60208284031215611c23575f80fd5b815167ffffffffffffffff811115611c39575f80fd5b820160608185031215611c4a575f80fd5b611c526117dc565b8151611c5d816116ea565b81526020820151611c6d816119b4565b6020820152604082015167ffffffffffffffff811115611c8b575f80fd5b80830192505084601f830112611c9f575f80fd5b8151611cad611acb82611a51565b818152866020838601011115611cc1575f80fd5b8160208501602083015e5f918101602001919091526040820152949350505050565b8051611bf58161191b565b5f60c0828403128015611cff575f80fd5b5060405160c0810167ffffffffffffffff81118282101715611d2357611d236117c8565b604052825181526020830151611d38816119b4565b60208201526040830151611d4b816119b4565b60408201526060830151611d5e816116ea565b6060820152611d6f60808401611ce3565b608082015260a0928301519281019290925250919050565b5f60208284031215611d97575f80fd5b8151610eef816116ea565b634e487b7160e01b5f52601160045260245ffd5b80820180821115610f7b57610f7b611da2565b5f60208284031215611dd9575f80fd5b8151610eef81611a78565b5f60208284031215611df4575f80fd5b5051919050565b8082028115828204841417610f7b57610f7b611da2565b5f82611e2c57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f8060c08385031215611e56575f80fd5b8251611e61816116ea565b9150603f83018413611e71575f80fd5b611e7b60a0611805565b8060c0850186811115611e8c575f80fd5b602086015b81811015611eb2578051611ea4816116ea565b845260209384019301611e91565b5093969095509350505050565b5f60208284031215611ecf575f80fd5b8151610eef816116d3565b88815264ffffffffff8881166020830152871660408201526001600160601b03861660608201526101a0810160808201865f5b6006811015611f2c578151835260209283019290910190600101611f0d565b50505060ff851661014083015261016082019390935261018001529695505050505050565b5f805f60608486031215611f63575f80fd5b8351611f6e816116d3565b602085015190935060048110611f82575f80fd5b91506118c260408501611be6565b5f60208284031215611fa0575f80fd5b8151610eef816116fe565b5f60208284031215611fbb575f80fd5b8151610eef816119b456fea26469706673582212205ebc8b68e9d0eaff9c886088b7b69e33a620e94b9604410c710c66b2a1fa0ca064736f6c634300081a0033",
+  "linkReferences": {
+    "contracts/type/Amount.sol": {
+      "AmountLib": [
+        {
+          "length": 20,
+          "start": 1222
+        },
+        {
+          "length": 20,
+          "start": 1355
+        },
+        {
+          "length": 20,
+          "start": 1536
+        },
+        {
+          "length": 20,
+          "start": 2667
+        },
+        {
+          "length": 20,
+          "start": 3922
+        },
+        {
+          "length": 20,
+          "start": 4061
+        },
+        {
+          "length": 20,
+          "start": 4135
+        }
+      ]
+    },
+    "contracts/type/RiskId.sol": {
+      "RiskIdLib": [
+        {
+          "length": 20,
+          "start": 4257
+        }
+      ]
+    },
+    "contracts/type/Timestamp.sol": {
+      "TimestampLib": [
+        {
+          "length": 20,
+          "start": 4752
+        },
+        {
+          "length": 20,
+          "start": 5099
+        },
+        {
+          "length": 20,
+          "start": 5214
+        },
+        {
+          "length": 20,
+          "start": 5561
+        },
+        {
+          "length": 20,
+          "start": 5676
+        }
+      ]
+    }
+  },
+  "deployedLinkReferences": {
+    "contracts/type/Amount.sol": {
+      "AmountLib": [
+        {
+          "length": 20,
+          "start": 1170
+        },
+        {
+          "length": 20,
+          "start": 1303
+        },
+        {
+          "length": 20,
+          "start": 1484
+        },
+        {
+          "length": 20,
+          "start": 2615
+        },
+        {
+          "length": 20,
+          "start": 3870
+        },
+        {
+          "length": 20,
+          "start": 4009
+        },
+        {
+          "length": 20,
+          "start": 4083
+        }
+      ]
+    },
+    "contracts/type/RiskId.sol": {
+      "RiskIdLib": [
+        {
+          "length": 20,
+          "start": 4205
+        }
+      ]
+    },
+    "contracts/type/Timestamp.sol": {
+      "TimestampLib": [
+        {
+          "length": 20,
+          "start": 4700
+        },
+        {
+          "length": 20,
+          "start": 5047
+        },
+        {
+          "length": 20,
+          "start": 5162
+        },
+        {
+          "length": 20,
+          "start": 5509
+        },
+        {
+          "length": 20,
+          "start": 5624
+        }
+      ]
+    }
+  }
+}

package/artifacts/contracts/examples/flight/FlightMessageVerifier.sol/FlightMessageVerifier.dbg.json

@@ -0,0 +1,4 @@
+{
+  "_format": "hh-sol-dbg-1",
+  "buildInfo": "../../../../build-info/26a09a2e6a020629b87fbfa92113b9ac.json"
+}