{
  "expected_set": {
    "kind": "peer-consensus-heuristic",
    "selectors": [],
    "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": "unavailable"
  },
  "fuzzers": [
    {
      "available_instances": 1,
      "distribution": [
        {
          "comparison_key": "0xca2664f9",
          "function_names": [
            "iSpoke_setUsingAsCollateral"
          ],
          "function_signatures": [
            "iSpoke_setUsingAsCollateral(uint256,bool)"
          ],
          "saved_corpus_calls": 307,
          "selector": "0xca2664f9",
          "share": 0.041666666667
        },
        {
          "comparison_key": "0x1be3427b",
          "function_names": [
            "switch_spoke"
          ],
          "function_signatures": [
            "switch_spoke(uint256)"
          ],
          "saved_corpus_calls": 291,
          "selector": "0x1be3427b",
          "share": 0.039495114007
        },
        {
          "comparison_key": "0x5b00e9f0",
          "function_names": [
            "iSpoke_updateUserRiskPremium"
          ],
          "function_signatures": [
            "iSpoke_updateUserRiskPremium()"
          ],
          "saved_corpus_calls": 267,
          "selector": "0x5b00e9f0",
          "share": 0.036237785016
        },
        {
          "comparison_key": "0xbb1b32f0",
          "function_names": [
            "invariant_totalBorrowedLessThanSupplied_v1"
          ],
          "function_signatures": [
            "invariant_totalBorrowedLessThanSupplied_v1()"
          ],
          "saved_corpus_calls": 267,
          "selector": "0xbb1b32f0",
          "share": 0.036237785016
        },
        {
          "comparison_key": "0x4b43b035",
          "function_names": [
            "invariant_totalBorrowedLessThanSupplied_v0"
          ],
          "function_signatures": [
            "invariant_totalBorrowedLessThanSupplied_v0()"
          ],
          "saved_corpus_calls": 265,
          "selector": "0x4b43b035",
          "share": 0.035966340934
        },
        {
          "comparison_key": "0x44a0611b",
          "function_names": [
            "iHub_setInterestRateData"
          ],
          "function_signatures": [
            "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))"
          ],
          "saved_corpus_calls": 250,
          "selector": "0x44a0611b",
          "share": 0.033930510315
        },
        {
          "comparison_key": "0x1a042ae7",
          "function_names": [
            "invariant_canary"
          ],
          "function_signatures": [
            "invariant_canary()"
          ],
          "saved_corpus_calls": 249,
          "selector": "0x1a042ae7",
          "share": 0.033794788274
        },
        {
          "comparison_key": "0x4896f9c3",
          "function_names": [
            "iHub_updateSpokeConfig"
          ],
          "function_signatures": [
            "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))"
          ],
          "saved_corpus_calls": 249,
          "selector": "0x4896f9c3",
          "share": 0.033794788274
        },
        {
          "comparison_key": "0x25a00713",
          "function_names": [
            "invariant_shouldNotBecomeLiquidatable"
          ],
          "function_signatures": [
            "invariant_shouldNotBecomeLiquidatable()"
          ],
          "saved_corpus_calls": 244,
          "selector": "0x25a00713",
          "share": 0.033116178067
        },
        {
          "comparison_key": "0x5c9d5cb7",
          "function_names": [
            "iSpoke_supply_ASSERTION_SUPPLY_DOS"
          ],
          "function_signatures": [
            "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 244,
          "selector": "0x5c9d5cb7",
          "share": 0.033116178067
        },
        {
          "comparison_key": "0xf9f2ec54",
          "function_names": [
            "iSpoke_borrow"
          ],
          "function_signatures": [
            "iSpoke_borrow(uint256,uint256)"
          ],
          "saved_corpus_calls": 242,
          "selector": "0xf9f2ec54",
          "share": 0.032844733985
        },
        {
          "comparison_key": "0x55ba98ff",
          "function_names": [
            "switch_asset"
          ],
          "function_signatures": [
            "switch_asset(uint256)"
          ],
          "saved_corpus_calls": 241,
          "selector": "0x55ba98ff",
          "share": 0.032709011944
        },
        {
          "comparison_key": "0x256aeede",
          "function_names": [
            "iSpoke_updateLiquidationConfig"
          ],
          "function_signatures": [
            "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))"
          ],
          "saved_corpus_calls": 240,
          "selector": "0x256aeede",
          "share": 0.032573289902
        },
        {
          "comparison_key": "0xdfbe4d80",
          "function_names": [
            "iSpoke_repay_ASSERTION_REPAY_DOS"
          ],
          "function_signatures": [
            "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 239,
          "selector": "0xdfbe4d80",
          "share": 0.032437567861
        },
        {
          "comparison_key": "0x8aa3bc37",
          "function_names": [
            "switch_oracle"
          ],
          "function_signatures": [
            "switch_oracle(uint256)"
          ],
          "saved_corpus_calls": 236,
          "selector": "0x8aa3bc37",
          "share": 0.032030401737
        },
        {
          "comparison_key": "0x6801b82e",
          "function_names": [
            "switchActor"
          ],
          "function_signatures": [
            "switchActor(uint256)"
          ],
          "saved_corpus_calls": 235,
          "selector": "0x6801b82e",
          "share": 0.031894679696
        },
        {
          "comparison_key": "0x7b0155cc",
          "function_names": [
            "invariant_totalBorrowedLessThanSupplied_v2"
          ],
          "function_signatures": [
            "invariant_totalBorrowedLessThanSupplied_v2()"
          ],
          "saved_corpus_calls": 228,
          "selector": "0x7b0155cc",
          "share": 0.030944625407
        },
        {
          "comparison_key": "0xb722c6ed",
          "function_names": [
            "iHub_updateAssetConfig"
          ],
          "function_signatures": [
            "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))"
          ],
          "saved_corpus_calls": 227,
          "selector": "0xb722c6ed",
          "share": 0.030808903366
        },
        {
          "comparison_key": "0x50fb9ec5",
          "function_names": [
            "invariant_totalBorrowedSharesMatchesSpokeSum"
          ],
          "function_signatures": [
            "invariant_totalBorrowedSharesMatchesSpokeSum()"
          ],
          "saved_corpus_calls": 225,
          "selector": "0x50fb9ec5",
          "share": 0.030537459283
        },
        {
          "comparison_key": "0x77494a8e",
          "function_names": [
            "invariant_hubAddedSharesMatchesSpokeSum"
          ],
          "function_signatures": [
            "invariant_hubAddedSharesMatchesSpokeSum()"
          ],
          "saved_corpus_calls": 219,
          "selector": "0x77494a8e",
          "share": 0.029723127036
        },
        {
          "comparison_key": "0xd3fabfac",
          "function_names": [
            "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS"
          ],
          "function_signatures": [
            "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 216,
          "selector": "0xd3fabfac",
          "share": 0.029315960912
        },
        {
          "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": 210,
          "selector": "0x20bea9dd",
          "share": 0.028501628664
        },
        {
          "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": 206,
          "selector": "0x27dd847c",
          "share": 0.027958740499
        },
        {
          "comparison_key": "0xae22f4b8",
          "function_names": [
            "iAaveOracle_setPrice"
          ],
          "function_signatures": [
            "iAaveOracle_setPrice(uint256,uint256)"
          ],
          "saved_corpus_calls": 205,
          "selector": "0xae22f4b8",
          "share": 0.027823018458
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 202,
          "selector": "0xf24a44c9",
          "share": 0.027415852334
        },
        {
          "comparison_key": "0xa89ef612",
          "function_names": [
            "iSpoke_updateUserDynamicConfig"
          ],
          "function_signatures": [
            "iSpoke_updateUserDynamicConfig()"
          ],
          "saved_corpus_calls": 201,
          "selector": "0xa89ef612",
          "share": 0.027280130293
        },
        {
          "comparison_key": "0x5d55852e",
          "function_names": [
            "iSpoke_addDynamicReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))"
          ],
          "saved_corpus_calls": 200,
          "selector": "0x5d55852e",
          "share": 0.027144408252
        },
        {
          "comparison_key": "0x7aca1cb2",
          "function_names": [
            "invariant_supplySharePriceAndDrawnIndexMonotonic"
          ],
          "function_signatures": [
            "invariant_supplySharePriceAndDrawnIndexMonotonic()"
          ],
          "saved_corpus_calls": 200,
          "selector": "0x7aca1cb2",
          "share": 0.027144408252
        },
        {
          "comparison_key": "0x0a9254e4",
          "function_names": [
            "setUp"
          ],
          "function_signatures": [
            "setUp()"
          ],
          "saved_corpus_calls": 198,
          "selector": "0x0a9254e4",
          "share": 0.026872964169
        },
        {
          "comparison_key": "0xf7d31edc",
          "function_names": [
            "invariant_hubAddedAssetsGreaterThanSpokeSum"
          ],
          "function_signatures": [
            "invariant_hubAddedAssetsGreaterThanSpokeSum()"
          ],
          "saved_corpus_calls": 194,
          "selector": "0xf7d31edc",
          "share": 0.026330076004
        },
        {
          "comparison_key": "0xe6fb1960",
          "function_names": [
            "iSpoke_updateReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))"
          ],
          "saved_corpus_calls": 186,
          "selector": "0xe6fb1960",
          "share": 0.025244299674
        },
        {
          "comparison_key": "0x4b430dd2",
          "function_names": [
            "iSpoke_updateDynamicReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))"
          ],
          "saved_corpus_calls": 168,
          "selector": "0x4b430dd2",
          "share": 0.022801302932
        },
        {
          "comparison_key": "0x1ed7831c",
          "function_names": [
            "excludeSenders"
          ],
          "function_signatures": [
            "excludeSenders()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x1ed7831c",
          "share": 0.000271444083
        },
        {
          "comparison_key": "0x3f7286f4",
          "function_names": [
            "targetContracts"
          ],
          "function_signatures": [
            "targetContracts()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x3f7286f4",
          "share": 0.000271444083
        },
        {
          "comparison_key": "0x66d9a9a0",
          "function_names": [
            "targetArtifactSelectors"
          ],
          "function_signatures": [
            "targetArtifactSelectors()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x66d9a9a0",
          "share": 0.000271444083
        },
        {
          "comparison_key": "0xb0464fdc",
          "function_names": [
            "excludeSelectors"
          ],
          "function_signatures": [
            "excludeSelectors()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0xb0464fdc",
          "share": 0.000271444083
        },
        {
          "comparison_key": "0xb5508aa9",
          "function_names": [
            "excludeArtifacts"
          ],
          "function_signatures": [
            "excludeArtifacts()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0xb5508aa9",
          "share": 0.000271444083
        },
        {
          "comparison_key": "0x2ade3880",
          "function_names": [
            "targetInterfaces"
          ],
          "function_signatures": [
            "targetInterfaces()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x2ade3880",
          "share": 0.000135722041
        },
        {
          "comparison_key": "0x3e5e3c23",
          "function_names": [
            "targetSenders"
          ],
          "function_signatures": [
            "targetSenders()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x3e5e3c23",
          "share": 0.000135722041
        },
        {
          "comparison_key": "0x85226c81",
          "function_names": [
            "targetArtifacts"
          ],
          "function_signatures": [
            "targetArtifacts()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x85226c81",
          "share": 0.000135722041
        },
        {
          "comparison_key": "0x916a17c6",
          "function_names": [
            "targetSelectors"
          ],
          "function_signatures": [
            "targetSelectors()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x916a17c6",
          "share": 0.000135722041
        },
        {
          "comparison_key": "0xba414fa6",
          "function_names": [
            "failed"
          ],
          "function_signatures": [
            "failed()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xba414fa6",
          "share": 0.000135722041
        },
        {
          "comparison_key": "0xe20c9f71",
          "function_names": [
            "excludeContracts"
          ],
          "function_signatures": [
            "excludeContracts()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xe20c9f71",
          "share": 0.000135722041
        },
        {
          "comparison_key": "0xfa7626d4",
          "function_names": [
            "IS_TEST"
          ],
          "function_signatures": [
            "IS_TEST()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0xfa7626d4",
          "share": 0.000135722041
        }
      ],
      "fuzzer": "echidna",
      "instances": 1,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 7368,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 44,
      "unique_selectors": 44
    }
  ],
  "health_findings": [],
  "health_warnings": [],
  "instances": [
    {
      "artifact_files": 74,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna",
      "fuzzer_label": "echidna-v2.3.1",
      "ignored_calls": 1,
      "instance_id": "i-0c17d2c076015c45c",
      "instance_label": "i-0c17d2c076015c45c-echidna-v2.3.1",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 74,
      "processed_artifact_bytes": 4668914,
      "saved_corpus_calls": 7368,
      "status": "available",
      "unique_call_identities": 44,
      "unique_selectors": 44,
      "warnings": []
    }
  ],
  "limitations": [
    "No expected selector set was available: the peer heuristic requires corroboration from every available instance in at least two fuzzer families"
  ],
  "measurement": "Counts are occurrences in unique saved corpus sequences, not runtime execution frequencies",
  "run_id": "gh-29726343680-1",
  "schema_version": 1
}