{
  "expected_set": {
    "kind": "peer-consensus-heuristic",
    "selectors": [
      {
        "function_name": "switch_spoke",
        "selector": "0x1be3427b",
        "signature": "switch_spoke(uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE",
        "selector": "0x20bea9dd",
        "signature": "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE(uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_updateLiquidationConfig",
        "selector": "0x256aeede",
        "signature": "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS",
        "selector": "0x27dd847c",
        "signature": "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS(uint256,uint256,uint256,uint256,bool)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iHub_setInterestRateData",
        "selector": "0x44a0611b",
        "signature": "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iHub_updateSpokeConfig",
        "selector": "0x4896f9c3",
        "signature": "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_updateDynamicReserveConfig",
        "selector": "0x4b430dd2",
        "signature": "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "switch_asset",
        "selector": "0x55ba98ff",
        "signature": "switch_asset(uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_updateUserRiskPremium",
        "selector": "0x5b00e9f0",
        "signature": "iSpoke_updateUserRiskPremium()",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_supply_ASSERTION_SUPPLY_DOS",
        "selector": "0x5c9d5cb7",
        "signature": "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_addDynamicReserveConfig",
        "selector": "0x5d55852e",
        "signature": "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "switchActor",
        "selector": "0x6801b82e",
        "signature": "switchActor(uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "switch_oracle",
        "selector": "0x8aa3bc37",
        "signature": "switch_oracle(uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_updateUserDynamicConfig",
        "selector": "0xa89ef612",
        "signature": "iSpoke_updateUserDynamicConfig()",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iAaveOracle_setPrice",
        "selector": "0xae22f4b8",
        "signature": "iAaveOracle_setPrice(uint256,uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "excludeSelectors",
        "selector": "0xb0464fdc",
        "signature": "excludeSelectors()",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iHub_updateAssetConfig",
        "selector": "0xb722c6ed",
        "signature": "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_setUsingAsCollateral",
        "selector": "0xca2664f9",
        "signature": "iSpoke_setUsingAsCollateral(uint256,bool)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS",
        "selector": "0xd3fabfac",
        "signature": "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_repay_ASSERTION_REPAY_DOS",
        "selector": "0xdfbe4d80",
        "signature": "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_updateReserveConfig",
        "selector": "0xe6fb1960",
        "signature": "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "assert_canary_ASSERTION_CANARY",
        "selector": "0xf24a44c9",
        "signature": "assert_canary_ASSERTION_CANARY(uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      },
      {
        "function_name": "iSpoke_borrow",
        "selector": "0xf9f2ec54",
        "signature": "iSpoke_borrow(uint256,uint256)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa"
        ]
      }
    ],
    "source": "peer-consensus heuristic: observed in every available corpus for at least two independent evidence families (Echidna and Recon count as one related typed-corpus family); not benchmark ground truth",
    "status": "available"
  },
  "fuzzers": [
    {
      "available_instances": 1,
      "distribution": [
        {
          "comparison_key": "0x27dd847c",
          "function_names": [
            "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS"
          ],
          "function_signatures": [
            "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS(uint256,uint256,uint256,uint256,bool)"
          ],
          "saved_corpus_calls": 408,
          "selector": "0x27dd847c",
          "share": 0.044146288682
        },
        {
          "comparison_key": "0x50fb9ec5",
          "function_names": [
            "invariant_totalBorrowedSharesMatchesSpokeSum"
          ],
          "function_signatures": [
            "invariant_totalBorrowedSharesMatchesSpokeSum()"
          ],
          "saved_corpus_calls": 371,
          "selector": "0x50fb9ec5",
          "share": 0.040142826228
        },
        {
          "comparison_key": "0x4b430dd2",
          "function_names": [
            "iSpoke_updateDynamicReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))"
          ],
          "saved_corpus_calls": 364,
          "selector": "0x4b430dd2",
          "share": 0.039385414412
        },
        {
          "comparison_key": "0x4896f9c3",
          "function_names": [
            "iHub_updateSpokeConfig"
          ],
          "function_signatures": [
            "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))"
          ],
          "saved_corpus_calls": 358,
          "selector": "0x4896f9c3",
          "share": 0.038736204285
        },
        {
          "comparison_key": "0x44a0611b",
          "function_names": [
            "iHub_setInterestRateData"
          ],
          "function_signatures": [
            "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))"
          ],
          "saved_corpus_calls": 350,
          "selector": "0x44a0611b",
          "share": 0.037870590781
        },
        {
          "comparison_key": "0x0a9254e4",
          "function_names": [
            "setUp"
          ],
          "function_signatures": [
            "setUp()"
          ],
          "saved_corpus_calls": 340,
          "selector": "0x0a9254e4",
          "share": 0.036788573902
        },
        {
          "comparison_key": "0xe6fb1960",
          "function_names": [
            "iSpoke_updateReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))"
          ],
          "saved_corpus_calls": 332,
          "selector": "0xe6fb1960",
          "share": 0.035922960398
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 332,
          "selector": "0xf24a44c9",
          "share": 0.035922960398
        },
        {
          "comparison_key": "0xb722c6ed",
          "function_names": [
            "iHub_updateAssetConfig"
          ],
          "function_signatures": [
            "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))"
          ],
          "saved_corpus_calls": 330,
          "selector": "0xb722c6ed",
          "share": 0.035706557022
        },
        {
          "comparison_key": "0x5c9d5cb7",
          "function_names": [
            "iSpoke_supply_ASSERTION_SUPPLY_DOS"
          ],
          "function_signatures": [
            "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 328,
          "selector": "0x5c9d5cb7",
          "share": 0.035490153646
        },
        {
          "comparison_key": "0xf9f2ec54",
          "function_names": [
            "iSpoke_borrow"
          ],
          "function_signatures": [
            "iSpoke_borrow(uint256,uint256)"
          ],
          "saved_corpus_calls": 314,
          "selector": "0xf9f2ec54",
          "share": 0.033975330015
        },
        {
          "comparison_key": "0xbb1b32f0",
          "function_names": [
            "invariant_totalBorrowedLessThanSupplied_v1"
          ],
          "function_signatures": [
            "invariant_totalBorrowedLessThanSupplied_v1()"
          ],
          "saved_corpus_calls": 309,
          "selector": "0xbb1b32f0",
          "share": 0.033434321575
        },
        {
          "comparison_key": "0xdfbe4d80",
          "function_names": [
            "iSpoke_repay_ASSERTION_REPAY_DOS"
          ],
          "function_signatures": [
            "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 282,
          "selector": "0xdfbe4d80",
          "share": 0.030512876001
        },
        {
          "comparison_key": "0x7aca1cb2",
          "function_names": [
            "invariant_supplySharePriceAndDrawnIndexMonotonic"
          ],
          "function_signatures": [
            "invariant_supplySharePriceAndDrawnIndexMonotonic()"
          ],
          "saved_corpus_calls": 275,
          "selector": "0x7aca1cb2",
          "share": 0.029755464185
        },
        {
          "comparison_key": "0xae22f4b8",
          "function_names": [
            "iAaveOracle_setPrice"
          ],
          "function_signatures": [
            "iAaveOracle_setPrice(uint256,uint256)"
          ],
          "saved_corpus_calls": 274,
          "selector": "0xae22f4b8",
          "share": 0.029647262497
        },
        {
          "comparison_key": "0x25a00713",
          "function_names": [
            "invariant_shouldNotBecomeLiquidatable"
          ],
          "function_signatures": [
            "invariant_shouldNotBecomeLiquidatable()"
          ],
          "saved_corpus_calls": 273,
          "selector": "0x25a00713",
          "share": 0.029539060809
        },
        {
          "comparison_key": "0x77494a8e",
          "function_names": [
            "invariant_hubAddedSharesMatchesSpokeSum"
          ],
          "function_signatures": [
            "invariant_hubAddedSharesMatchesSpokeSum()"
          ],
          "saved_corpus_calls": 262,
          "selector": "0x77494a8e",
          "share": 0.028348842242
        },
        {
          "comparison_key": "0xd3fabfac",
          "function_names": [
            "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS"
          ],
          "function_signatures": [
            "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 261,
          "selector": "0xd3fabfac",
          "share": 0.028240640554
        },
        {
          "comparison_key": "0x1a042ae7",
          "function_names": [
            "invariant_canary"
          ],
          "function_signatures": [
            "invariant_canary()"
          ],
          "saved_corpus_calls": 259,
          "selector": "0x1a042ae7",
          "share": 0.028024237178
        },
        {
          "comparison_key": "0xa89ef612",
          "function_names": [
            "iSpoke_updateUserDynamicConfig"
          ],
          "function_signatures": [
            "iSpoke_updateUserDynamicConfig()"
          ],
          "saved_corpus_calls": 258,
          "selector": "0xa89ef612",
          "share": 0.02791603549
        },
        {
          "comparison_key": "0x5d55852e",
          "function_names": [
            "iSpoke_addDynamicReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))"
          ],
          "saved_corpus_calls": 256,
          "selector": "0x5d55852e",
          "share": 0.027699632114
        },
        {
          "comparison_key": "0x7b0155cc",
          "function_names": [
            "invariant_totalBorrowedLessThanSupplied_v2"
          ],
          "function_signatures": [
            "invariant_totalBorrowedLessThanSupplied_v2()"
          ],
          "saved_corpus_calls": 255,
          "selector": "0x7b0155cc",
          "share": 0.027591430426
        },
        {
          "comparison_key": "0xca2664f9",
          "function_names": [
            "iSpoke_setUsingAsCollateral"
          ],
          "function_signatures": [
            "iSpoke_setUsingAsCollateral(uint256,bool)"
          ],
          "saved_corpus_calls": 255,
          "selector": "0xca2664f9",
          "share": 0.027591430426
        },
        {
          "comparison_key": "0x5b00e9f0",
          "function_names": [
            "iSpoke_updateUserRiskPremium"
          ],
          "function_signatures": [
            "iSpoke_updateUserRiskPremium()"
          ],
          "saved_corpus_calls": 253,
          "selector": "0x5b00e9f0",
          "share": 0.02737502705
        },
        {
          "comparison_key": "0x256aeede",
          "function_names": [
            "iSpoke_updateLiquidationConfig"
          ],
          "function_signatures": [
            "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))"
          ],
          "saved_corpus_calls": 252,
          "selector": "0x256aeede",
          "share": 0.027266825362
        },
        {
          "comparison_key": "0x1be3427b",
          "function_names": [
            "switch_spoke"
          ],
          "function_signatures": [
            "switch_spoke(uint256)"
          ],
          "saved_corpus_calls": 250,
          "selector": "0x1be3427b",
          "share": 0.027050421987
        },
        {
          "comparison_key": "0x4b43b035",
          "function_names": [
            "invariant_totalBorrowedLessThanSupplied_v0"
          ],
          "function_signatures": [
            "invariant_totalBorrowedLessThanSupplied_v0()"
          ],
          "saved_corpus_calls": 250,
          "selector": "0x4b43b035",
          "share": 0.027050421987
        },
        {
          "comparison_key": "0x6801b82e",
          "function_names": [
            "switchActor"
          ],
          "function_signatures": [
            "switchActor(uint256)"
          ],
          "saved_corpus_calls": 248,
          "selector": "0x6801b82e",
          "share": 0.026834018611
        },
        {
          "comparison_key": "0x20bea9dd",
          "function_names": [
            "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE"
          ],
          "function_signatures": [
            "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE(uint256)"
          ],
          "saved_corpus_calls": 237,
          "selector": "0x20bea9dd",
          "share": 0.025643800043
        },
        {
          "comparison_key": "0x8aa3bc37",
          "function_names": [
            "switch_oracle"
          ],
          "function_signatures": [
            "switch_oracle(uint256)"
          ],
          "saved_corpus_calls": 231,
          "selector": "0x8aa3bc37",
          "share": 0.024994589916
        },
        {
          "comparison_key": "0xf7d31edc",
          "function_names": [
            "invariant_hubAddedAssetsGreaterThanSpokeSum"
          ],
          "function_signatures": [
            "invariant_hubAddedAssetsGreaterThanSpokeSum()"
          ],
          "saved_corpus_calls": 230,
          "selector": "0xf7d31edc",
          "share": 0.024886388228
        },
        {
          "comparison_key": "0x55ba98ff",
          "function_names": [
            "switch_asset"
          ],
          "function_signatures": [
            "switch_asset(uint256)"
          ],
          "saved_corpus_calls": 229,
          "selector": "0x55ba98ff",
          "share": 0.02477818654
        },
        {
          "comparison_key": "0x1ed7831c",
          "function_names": [
            "excludeSenders"
          ],
          "function_signatures": [
            "excludeSenders()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x1ed7831c",
          "share": 0.000216403376
        },
        {
          "comparison_key": "0x3f7286f4",
          "function_names": [
            "targetContracts"
          ],
          "function_signatures": [
            "targetContracts()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x3f7286f4",
          "share": 0.000216403376
        },
        {
          "comparison_key": "0x85226c81",
          "function_names": [
            "targetArtifacts"
          ],
          "function_signatures": [
            "targetArtifacts()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x85226c81",
          "share": 0.000216403376
        },
        {
          "comparison_key": "0x916a17c6",
          "function_names": [
            "targetSelectors"
          ],
          "function_signatures": [
            "targetSelectors()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x916a17c6",
          "share": 0.000216403376
        },
        {
          "comparison_key": "0x2ade3880",
          "function_names": [
            "targetInterfaces"
          ],
          "function_signatures": [
            "targetInterfaces()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x2ade3880",
          "share": 0.000108201688
        },
        {
          "comparison_key": "0x3e5e3c23",
          "function_names": [
            "targetSenders"
          ],
          "function_signatures": [
            "targetSenders()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x3e5e3c23",
          "share": 0.000108201688
        },
        {
          "comparison_key": "0x66d9a9a0",
          "function_names": [
            "targetArtifactSelectors"
          ],
          "function_signatures": [
            "targetArtifactSelectors()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x66d9a9a0",
          "share": 0.000108201688
        },
        {
          "comparison_key": "0xb0464fdc",
          "function_names": [
            "excludeSelectors"
          ],
          "function_signatures": [
            "excludeSelectors()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xb0464fdc",
          "share": 0.000108201688
        },
        {
          "comparison_key": "0xb5508aa9",
          "function_names": [
            "excludeArtifacts"
          ],
          "function_signatures": [
            "excludeArtifacts()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xb5508aa9",
          "share": 0.000108201688
        },
        {
          "comparison_key": "0xba414fa6",
          "function_names": [
            "failed"
          ],
          "function_signatures": [
            "failed()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xba414fa6",
          "share": 0.000108201688
        },
        {
          "comparison_key": "0xe20c9f71",
          "function_names": [
            "excludeContracts"
          ],
          "function_signatures": [
            "excludeContracts()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xe20c9f71",
          "share": 0.000108201688
        },
        {
          "comparison_key": "0xfa7626d4",
          "function_names": [
            "IS_TEST"
          ],
          "function_signatures": [
            "IS_TEST()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xfa7626d4",
          "share": 0.000108201688
        }
      ],
      "fuzzer": "echidna",
      "instances": 1,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 9242,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 44,
      "unique_selectors": 44
    },
    {
      "available_instances": 1,
      "distribution": [
        {
          "comparison_key": "0xb722c6ed",
          "function_names": [
            "iHub_updateAssetConfig"
          ],
          "function_signatures": [
            "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))"
          ],
          "saved_corpus_calls": 569,
          "selector": "0xb722c6ed",
          "share": 0.051104724268
        },
        {
          "comparison_key": "0x5c9d5cb7",
          "function_names": [
            "iSpoke_supply_ASSERTION_SUPPLY_DOS"
          ],
          "function_signatures": [
            "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 555,
          "selector": "0x5c9d5cb7",
          "share": 0.049847314532
        },
        {
          "comparison_key": "0xf9f2ec54",
          "function_names": [
            "iSpoke_borrow"
          ],
          "function_signatures": [
            "iSpoke_borrow(uint256,uint256)"
          ],
          "saved_corpus_calls": 527,
          "selector": "0xf9f2ec54",
          "share": 0.04733249506
        },
        {
          "comparison_key": "0x4b430dd2",
          "function_names": [
            "iSpoke_updateDynamicReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))"
          ],
          "saved_corpus_calls": 525,
          "selector": "0x4b430dd2",
          "share": 0.047152865098
        },
        {
          "comparison_key": "0x55ba98ff",
          "function_names": [
            "switch_asset"
          ],
          "function_signatures": [
            "switch_asset(uint256)"
          ],
          "saved_corpus_calls": 514,
          "selector": "0x55ba98ff",
          "share": 0.046164900305
        },
        {
          "comparison_key": "0x20bea9dd",
          "function_names": [
            "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE"
          ],
          "function_signatures": [
            "iHub_mintFeeShares_ASSERTION_MINT_FEE_SHARES_PPS_CHANGE(uint256)"
          ],
          "saved_corpus_calls": 505,
          "selector": "0x20bea9dd",
          "share": 0.045356565475
        },
        {
          "comparison_key": "0x4896f9c3",
          "function_names": [
            "iHub_updateSpokeConfig"
          ],
          "function_signatures": [
            "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))"
          ],
          "saved_corpus_calls": 500,
          "selector": "0x4896f9c3",
          "share": 0.044907490569
        },
        {
          "comparison_key": "0x6801b82e",
          "function_names": [
            "switchActor"
          ],
          "function_signatures": [
            "switchActor(uint256)"
          ],
          "saved_corpus_calls": 498,
          "selector": "0x6801b82e",
          "share": 0.044727860607
        },
        {
          "comparison_key": "0xa89ef612",
          "function_names": [
            "iSpoke_updateUserDynamicConfig"
          ],
          "function_signatures": [
            "iSpoke_updateUserDynamicConfig()"
          ],
          "saved_corpus_calls": 497,
          "selector": "0xa89ef612",
          "share": 0.044638045626
        },
        {
          "comparison_key": "0xca2664f9",
          "function_names": [
            "iSpoke_setUsingAsCollateral"
          ],
          "function_signatures": [
            "iSpoke_setUsingAsCollateral(uint256,bool)"
          ],
          "saved_corpus_calls": 496,
          "selector": "0xca2664f9",
          "share": 0.044548230645
        },
        {
          "comparison_key": "0x27dd847c",
          "function_names": [
            "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS"
          ],
          "function_signatures": [
            "iSpoke_liquidationCall_ASSERTION_LIQUIDATION_CALL_DOS(uint256,uint256,uint256,uint256,bool)"
          ],
          "saved_corpus_calls": 484,
          "selector": "0x27dd847c",
          "share": 0.043470450871
        },
        {
          "comparison_key": "0xae22f4b8",
          "function_names": [
            "iAaveOracle_setPrice"
          ],
          "function_signatures": [
            "iAaveOracle_setPrice(uint256,uint256)"
          ],
          "saved_corpus_calls": 484,
          "selector": "0xae22f4b8",
          "share": 0.043470450871
        },
        {
          "comparison_key": "0x5d55852e",
          "function_names": [
            "iSpoke_addDynamicReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))"
          ],
          "saved_corpus_calls": 483,
          "selector": "0x5d55852e",
          "share": 0.04338063589
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 475,
          "selector": "0xf24a44c9",
          "share": 0.042662116041
        },
        {
          "comparison_key": "0x256aeede",
          "function_names": [
            "iSpoke_updateLiquidationConfig"
          ],
          "function_signatures": [
            "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))"
          ],
          "saved_corpus_calls": 470,
          "selector": "0x256aeede",
          "share": 0.042213041135
        },
        {
          "comparison_key": "0xe6fb1960",
          "function_names": [
            "iSpoke_updateReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))"
          ],
          "saved_corpus_calls": 467,
          "selector": "0xe6fb1960",
          "share": 0.041943596192
        },
        {
          "comparison_key": "0x0a9254e4",
          "function_names": [
            "setUp"
          ],
          "function_signatures": [
            "setUp()"
          ],
          "saved_corpus_calls": 457,
          "selector": "0x0a9254e4",
          "share": 0.04104544638
        },
        {
          "comparison_key": "0x44a0611b",
          "function_names": [
            "iHub_setInterestRateData"
          ],
          "function_signatures": [
            "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))"
          ],
          "saved_corpus_calls": 442,
          "selector": "0x44a0611b",
          "share": 0.039698221663
        },
        {
          "comparison_key": "0x8aa3bc37",
          "function_names": [
            "switch_oracle"
          ],
          "function_signatures": [
            "switch_oracle(uint256)"
          ],
          "saved_corpus_calls": 442,
          "selector": "0x8aa3bc37",
          "share": 0.039698221663
        },
        {
          "comparison_key": "0x1be3427b",
          "function_names": [
            "switch_spoke"
          ],
          "function_signatures": [
            "switch_spoke(uint256)"
          ],
          "saved_corpus_calls": 431,
          "selector": "0x1be3427b",
          "share": 0.038710256871
        },
        {
          "comparison_key": "0xdfbe4d80",
          "function_names": [
            "iSpoke_repay_ASSERTION_REPAY_DOS"
          ],
          "function_signatures": [
            "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 426,
          "selector": "0xdfbe4d80",
          "share": 0.038261181965
        },
        {
          "comparison_key": "0x5b00e9f0",
          "function_names": [
            "iSpoke_updateUserRiskPremium"
          ],
          "function_signatures": [
            "iSpoke_updateUserRiskPremium()"
          ],
          "saved_corpus_calls": 415,
          "selector": "0x5b00e9f0",
          "share": 0.037273217173
        },
        {
          "comparison_key": "0xd3fabfac",
          "function_names": [
            "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS"
          ],
          "function_signatures": [
            "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 404,
          "selector": "0xd3fabfac",
          "share": 0.03628525238
        },
        {
          "comparison_key": "0xf8998605",
          "function_names": [
            "MAX_ALLOWED_UNDERLYING_DECIMALS"
          ],
          "function_signatures": [
            "MAX_ALLOWED_UNDERLYING_DECIMALS()"
          ],
          "saved_corpus_calls": 7,
          "selector": "0xf8998605",
          "share": 0.000628704868
        },
        {
          "comparison_key": "0xd173fe75",
          "function_names": [
            "DUST_LIQUIDATION_THRESHOLD"
          ],
          "function_signatures": [
            "DUST_LIQUIDATION_THRESHOLD()"
          ],
          "saved_corpus_calls": 4,
          "selector": "0xd173fe75",
          "share": 0.000359259925
        },
        {
          "comparison_key": "0xe20c9f71",
          "function_names": [
            "excludeContracts"
          ],
          "function_signatures": [
            "excludeContracts()"
          ],
          "saved_corpus_calls": 4,
          "selector": "0xe20c9f71",
          "share": 0.000359259925
        },
        {
          "comparison_key": "0x98c8ccb8",
          "function_names": [
            "BORROW_TYPEHASH"
          ],
          "function_signatures": [
            "BORROW_TYPEHASH()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0x98c8ccb8",
          "share": 0.000269444943
        },
        {
          "comparison_key": "0xb5508aa9",
          "function_names": [
            "excludeArtifacts"
          ],
          "function_signatures": [
            "excludeArtifacts()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0xb5508aa9",
          "share": 0.000269444943
        },
        {
          "comparison_key": "0xc3525c28",
          "function_names": [
            "HEALTH_FACTOR_LIQUIDATION_THRESHOLD"
          ],
          "function_signatures": [
            "HEALTH_FACTOR_LIQUIDATION_THRESHOLD()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0xc3525c28",
          "share": 0.000269444943
        },
        {
          "comparison_key": "0xf91ebd52",
          "function_names": [
            "MIN_ALLOWED_UNDERLYING_DECIMALS"
          ],
          "function_signatures": [
            "MIN_ALLOWED_UNDERLYING_DECIMALS()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0xf91ebd52",
          "share": 0.000269444943
        },
        {
          "comparison_key": "0x02deadd4",
          "function_names": [
            "SET_USER_POSITION_MANAGER_TYPEHASH"
          ],
          "function_signatures": [
            "SET_USER_POSITION_MANAGER_TYPEHASH()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x02deadd4",
          "share": 0.000179629962
        },
        {
          "comparison_key": "0x1ed5cbeb",
          "function_names": [
            "SPOKE_ADMIN_ROLE"
          ],
          "function_signatures": [
            "SPOKE_ADMIN_ROLE()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x1ed5cbeb",
          "share": 0.000179629962
        },
        {
          "comparison_key": "0x2ade3880",
          "function_names": [
            "targetInterfaces"
          ],
          "function_signatures": [
            "targetInterfaces()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x2ade3880",
          "share": 0.000179629962
        },
        {
          "comparison_key": "0xa0b3d9d8",
          "function_names": [
            "MAX_ALLOWED_SPOKE_CAP"
          ],
          "function_signatures": [
            "MAX_ALLOWED_SPOKE_CAP()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0xa0b3d9d8",
          "share": 0.000179629962
        },
        {
          "comparison_key": "0xb67689da",
          "function_names": [
            "zeroVarError"
          ],
          "function_signatures": [
            "zeroVarError()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0xb67689da",
          "share": 0.000179629962
        },
        {
          "comparison_key": "0x039cc723",
          "function_names": [
            "HUB_ADMIN_ROLE"
          ],
          "function_signatures": [
            "HUB_ADMIN_ROLE()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x039cc723",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x05ee8612",
          "function_names": [
            "indexOOBError"
          ],
          "function_signatures": [
            "indexOOBError()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x05ee8612",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x0bf9c2d6",
          "function_names": [
            "SUPPLY_TYPEHASH"
          ],
          "function_signatures": [
            "SUPPLY_TYPEHASH()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x0bf9c2d6",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x10332977",
          "function_names": [
            "assertionError"
          ],
          "function_signatures": [
            "assertionError()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x10332977",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x1de45560",
          "function_names": [
            "enumConversionError"
          ],
          "function_signatures": [
            "enumConversionError()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x1de45560",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x1ea15502",
          "function_names": [
            "ORACLE_DECIMALS"
          ],
          "function_signatures": [
            "ORACLE_DECIMALS()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x1ea15502",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x1ed7831c",
          "function_names": [
            "excludeSenders"
          ],
          "function_signatures": [
            "excludeSenders()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x1ed7831c",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x33697066",
          "function_names": [
            "MAX_RISK_PREMIUM_THRESHOLD"
          ],
          "function_signatures": [
            "MAX_RISK_PREMIUM_THRESHOLD()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x33697066",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x39190b35",
          "function_names": [
            "SET_USING_AS_COLLATERAL_TYPEHASH"
          ],
          "function_signatures": [
            "SET_USING_AS_COLLATERAL_TYPEHASH()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x39190b35",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x3e5e3c23",
          "function_names": [
            "targetSenders"
          ],
          "function_signatures": [
            "targetSenders()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x3e5e3c23",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x3f7286f4",
          "function_names": [
            "targetContracts"
          ],
          "function_signatures": [
            "targetContracts()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x3f7286f4",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x66d9a9a0",
          "function_names": [
            "targetArtifactSelectors"
          ],
          "function_signatures": [
            "targetArtifactSelectors()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x66d9a9a0",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x71810a15",
          "function_names": [
            "MAX_ALLOWED_COLLATERAL_RISK"
          ],
          "function_signatures": [
            "MAX_ALLOWED_COLLATERAL_RISK()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x71810a15",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x76c5d758",
          "function_names": [
            "WITHDRAW_TYPEHASH"
          ],
          "function_signatures": [
            "WITHDRAW_TYPEHASH()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x76c5d758",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x7ae9f6a3",
          "function_names": [
            "UPDATE_USER_DYNAMIC_CONFIG_TYPEHASH"
          ],
          "function_signatures": [
            "UPDATE_USER_DYNAMIC_CONFIG_TYPEHASH()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x7ae9f6a3",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x85226c81",
          "function_names": [
            "targetArtifacts"
          ],
          "function_signatures": [
            "targetArtifacts()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x85226c81",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x8719a4ed",
          "function_names": [
            "MAX_ALLOWED_DYNAMIC_CONFIG_KEY"
          ],
          "function_signatures": [
            "MAX_ALLOWED_DYNAMIC_CONFIG_KEY()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x8719a4ed",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x8995290f",
          "function_names": [
            "arithmeticError"
          ],
          "function_signatures": [
            "arithmeticError()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x8995290f",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x916a17c6",
          "function_names": [
            "targetSelectors"
          ],
          "function_signatures": [
            "targetSelectors()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x916a17c6",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0x986c5f68",
          "function_names": [
            "memOverflowError"
          ],
          "function_signatures": [
            "memOverflowError()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x986c5f68",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xa217fddf",
          "function_names": [
            "DEFAULT_ADMIN_ROLE"
          ],
          "function_signatures": [
            "DEFAULT_ADMIN_ROLE()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xa217fddf",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xb0464fdc",
          "function_names": [
            "excludeSelectors"
          ],
          "function_signatures": [
            "excludeSelectors()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xb0464fdc",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xb22dc54d",
          "function_names": [
            "popError"
          ],
          "function_signatures": [
            "popError()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xb22dc54d",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xb6fdb629",
          "function_names": [
            "MAX_ALLOWED_ASSET_ID"
          ],
          "function_signatures": [
            "MAX_ALLOWED_ASSET_ID()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xb6fdb629",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xba414fa6",
          "function_names": [
            "failed"
          ],
          "function_signatures": [
            "failed()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xba414fa6",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xbe9c7c1f",
          "function_names": [
            "UPDATE_USER_RISK_PREMIUM_TYPEHASH"
          ],
          "function_signatures": [
            "UPDATE_USER_RISK_PREMIUM_TYPEHASH()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xbe9c7c1f",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xcaa139ee",
          "function_names": [
            "USER_POSITION_UPDATER_ROLE"
          ],
          "function_signatures": [
            "USER_POSITION_UPDATER_ROLE()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xcaa139ee",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xd160e4de",
          "function_names": [
            "encodeStorageError"
          ],
          "function_signatures": [
            "encodeStorageError()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xd160e4de",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xd4afeb4c",
          "function_names": [
            "REPAY_TYPEHASH"
          ],
          "function_signatures": [
            "REPAY_TYPEHASH()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xd4afeb4c",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xfa7626d4",
          "function_names": [
            "IS_TEST"
          ],
          "function_signatures": [
            "IS_TEST()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xfa7626d4",
          "share": 8.9814981e-05
        },
        {
          "comparison_key": "0xfa784a44",
          "function_names": [
            "divisionError"
          ],
          "function_signatures": [
            "divisionError()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xfa784a44",
          "share": 8.9814981e-05
        }
      ],
      "fuzzer": "medusa",
      "instances": 1,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 11134,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 66,
      "unique_selectors": 66
    }
  ],
  "health_findings": [],
  "health_warnings": [],
  "instances": [
    {
      "artifact_files": 226,
      "duplicate_sequences": 0,
      "engine": "medusa",
      "fuzzer": "medusa",
      "fuzzer_label": "medusa-v1.5.1",
      "ignored_calls": 0,
      "instance_id": "i-00206d91e8f69c004",
      "instance_label": "i-00206d91e8f69c004-medusa-v1.5.1",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 226,
      "processed_artifact_bytes": 9850959,
      "saved_corpus_calls": 11134,
      "status": "available",
      "unique_call_identities": 66,
      "unique_selectors": 66,
      "warnings": []
    },
    {
      "artifact_files": 94,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna",
      "fuzzer_label": "echidna-v2.3.3",
      "ignored_calls": 0,
      "instance_id": "i-08651eea8b0663884",
      "instance_label": "i-08651eea8b0663884-echidna-v2.3.3",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 94,
      "processed_artifact_bytes": 6030694,
      "saved_corpus_calls": 9242,
      "status": "available",
      "unique_call_identities": 44,
      "unique_selectors": 44,
      "warnings": []
    }
  ],
  "limitations": [],
  "measurement": "Counts are occurrences in unique saved corpus sequences, not runtime execution frequencies",
  "run_id": "gh-30404285801-1",
  "schema_version": 1
}