{
  "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": 0,
      "distribution": [],
      "fuzzer": "foundry",
      "instances": 1,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 0,
      "status": "unavailable",
      "unavailable_instances": 1,
      "unique_call_identities": 0,
      "unique_selectors": 0
    },
    {
      "available_instances": 1,
      "distribution": [
        {
          "comparison_key": "0xdfbe4d80",
          "function_names": [
            "iSpoke_repay_ASSERTION_REPAY_DOS"
          ],
          "function_signatures": [
            "iSpoke_repay_ASSERTION_REPAY_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 476,
          "selector": "0xdfbe4d80",
          "share": 0.053321384564
        },
        {
          "comparison_key": "0xca2664f9",
          "function_names": [
            "iSpoke_setUsingAsCollateral"
          ],
          "function_signatures": [
            "iSpoke_setUsingAsCollateral(uint256,bool)"
          ],
          "saved_corpus_calls": 361,
          "selector": "0xca2664f9",
          "share": 0.040439117285
        },
        {
          "comparison_key": "0xae22f4b8",
          "function_names": [
            "iAaveOracle_setPrice"
          ],
          "function_signatures": [
            "iAaveOracle_setPrice(uint256,uint256)"
          ],
          "saved_corpus_calls": 355,
          "selector": "0xae22f4b8",
          "share": 0.039766998992
        },
        {
          "comparison_key": "0xb722c6ed",
          "function_names": [
            "iHub_updateAssetConfig"
          ],
          "function_signatures": [
            "iHub_updateAssetConfig(uint256,(address,uint16,address,address),(uint16,uint32,uint32,uint32))"
          ],
          "saved_corpus_calls": 354,
          "selector": "0xb722c6ed",
          "share": 0.039654979276
        },
        {
          "comparison_key": "0x4896f9c3",
          "function_names": [
            "iHub_updateSpokeConfig"
          ],
          "function_signatures": [
            "iHub_updateSpokeConfig(uint256,uint256,(uint40,uint40,uint24,bool,bool))"
          ],
          "saved_corpus_calls": 350,
          "selector": "0x4896f9c3",
          "share": 0.039206900414
        },
        {
          "comparison_key": "0x5c9d5cb7",
          "function_names": [
            "iSpoke_supply_ASSERTION_SUPPLY_DOS"
          ],
          "function_signatures": [
            "iSpoke_supply_ASSERTION_SUPPLY_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 335,
          "selector": "0x5c9d5cb7",
          "share": 0.037526604682
        },
        {
          "comparison_key": "0xf9f2ec54",
          "function_names": [
            "iSpoke_borrow"
          ],
          "function_signatures": [
            "iSpoke_borrow(uint256,uint256)"
          ],
          "saved_corpus_calls": 306,
          "selector": "0xf9f2ec54",
          "share": 0.034278032934
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 299,
          "selector": "0xf24a44c9",
          "share": 0.033493894926
        },
        {
          "comparison_key": "0x77494a8e",
          "function_names": [
            "invariant_hubAddedSharesMatchesSpokeSum"
          ],
          "function_signatures": [
            "invariant_hubAddedSharesMatchesSpokeSum()"
          ],
          "saved_corpus_calls": 296,
          "selector": "0x77494a8e",
          "share": 0.033157835779
        },
        {
          "comparison_key": "0x50fb9ec5",
          "function_names": [
            "invariant_totalBorrowedSharesMatchesSpokeSum"
          ],
          "function_signatures": [
            "invariant_totalBorrowedSharesMatchesSpokeSum()"
          ],
          "saved_corpus_calls": 292,
          "selector": "0x50fb9ec5",
          "share": 0.032709756917
        },
        {
          "comparison_key": "0x25a00713",
          "function_names": [
            "invariant_shouldNotBecomeLiquidatable"
          ],
          "function_signatures": [
            "invariant_shouldNotBecomeLiquidatable()"
          ],
          "saved_corpus_calls": 288,
          "selector": "0x25a00713",
          "share": 0.032261678055
        },
        {
          "comparison_key": "0x5b00e9f0",
          "function_names": [
            "iSpoke_updateUserRiskPremium"
          ],
          "function_signatures": [
            "iSpoke_updateUserRiskPremium()"
          ],
          "saved_corpus_calls": 282,
          "selector": "0x5b00e9f0",
          "share": 0.031589559763
        },
        {
          "comparison_key": "0xe6fb1960",
          "function_names": [
            "iSpoke_updateReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_updateReserveConfig(uint256,(uint24,bool,bool,bool,bool,bool))"
          ],
          "saved_corpus_calls": 277,
          "selector": "0xe6fb1960",
          "share": 0.031029461185
        },
        {
          "comparison_key": "0x4b43b035",
          "function_names": [
            "invariant_totalBorrowedLessThanSupplied_v0"
          ],
          "function_signatures": [
            "invariant_totalBorrowedLessThanSupplied_v0()"
          ],
          "saved_corpus_calls": 272,
          "selector": "0x4b43b035",
          "share": 0.030469362608
        },
        {
          "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": 269,
          "selector": "0x20bea9dd",
          "share": 0.030133303461
        },
        {
          "comparison_key": "0xbb1b32f0",
          "function_names": [
            "invariant_totalBorrowedLessThanSupplied_v1"
          ],
          "function_signatures": [
            "invariant_totalBorrowedLessThanSupplied_v1()"
          ],
          "saved_corpus_calls": 266,
          "selector": "0xbb1b32f0",
          "share": 0.029797244315
        },
        {
          "comparison_key": "0x1a042ae7",
          "function_names": [
            "invariant_canary"
          ],
          "function_signatures": [
            "invariant_canary()"
          ],
          "saved_corpus_calls": 264,
          "selector": "0x1a042ae7",
          "share": 0.029573204884
        },
        {
          "comparison_key": "0x66d9a9a0",
          "function_names": [
            "targetArtifactSelectors"
          ],
          "function_signatures": [
            "targetArtifactSelectors()"
          ],
          "saved_corpus_calls": 262,
          "selector": "0x66d9a9a0",
          "share": 0.029349165453
        },
        {
          "comparison_key": "0x4b430dd2",
          "function_names": [
            "iSpoke_updateDynamicReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_updateDynamicReserveConfig(uint256,uint24,(uint16,uint32,uint16))"
          ],
          "saved_corpus_calls": 259,
          "selector": "0x4b430dd2",
          "share": 0.029013106307
        },
        {
          "comparison_key": "0x7aca1cb2",
          "function_names": [
            "invariant_supplySharePriceAndDrawnIndexMonotonic"
          ],
          "function_signatures": [
            "invariant_supplySharePriceAndDrawnIndexMonotonic()"
          ],
          "saved_corpus_calls": 254,
          "selector": "0x7aca1cb2",
          "share": 0.028453007729
        },
        {
          "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": 249,
          "selector": "0x27dd847c",
          "share": 0.027892909152
        },
        {
          "comparison_key": "0x55ba98ff",
          "function_names": [
            "switch_asset"
          ],
          "function_signatures": [
            "switch_asset(uint256)"
          ],
          "saved_corpus_calls": 249,
          "selector": "0x55ba98ff",
          "share": 0.027892909152
        },
        {
          "comparison_key": "0x8aa3bc37",
          "function_names": [
            "switch_oracle"
          ],
          "function_signatures": [
            "switch_oracle(uint256)"
          ],
          "saved_corpus_calls": 249,
          "selector": "0x8aa3bc37",
          "share": 0.027892909152
        },
        {
          "comparison_key": "0xf7d31edc",
          "function_names": [
            "invariant_hubAddedAssetsGreaterThanSpokeSum"
          ],
          "function_signatures": [
            "invariant_hubAddedAssetsGreaterThanSpokeSum()"
          ],
          "saved_corpus_calls": 248,
          "selector": "0xf7d31edc",
          "share": 0.027780889437
        },
        {
          "comparison_key": "0x1be3427b",
          "function_names": [
            "switch_spoke"
          ],
          "function_signatures": [
            "switch_spoke(uint256)"
          ],
          "saved_corpus_calls": 245,
          "selector": "0x1be3427b",
          "share": 0.02744483029
        },
        {
          "comparison_key": "0xd3fabfac",
          "function_names": [
            "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS"
          ],
          "function_signatures": [
            "iSpoke_withdraw_ASSERTION_WITHDRAW_DOS(uint256,uint256)"
          ],
          "saved_corpus_calls": 240,
          "selector": "0xd3fabfac",
          "share": 0.026884731713
        },
        {
          "comparison_key": "0x6801b82e",
          "function_names": [
            "switchActor"
          ],
          "function_signatures": [
            "switchActor(uint256)"
          ],
          "saved_corpus_calls": 237,
          "selector": "0x6801b82e",
          "share": 0.026548672566
        },
        {
          "comparison_key": "0x5d55852e",
          "function_names": [
            "iSpoke_addDynamicReserveConfig"
          ],
          "function_signatures": [
            "iSpoke_addDynamicReserveConfig(uint256,(uint16,uint32,uint16))"
          ],
          "saved_corpus_calls": 229,
          "selector": "0x5d55852e",
          "share": 0.025652514843
        },
        {
          "comparison_key": "0x7b0155cc",
          "function_names": [
            "invariant_totalBorrowedLessThanSupplied_v2"
          ],
          "function_signatures": [
            "invariant_totalBorrowedLessThanSupplied_v2()"
          ],
          "saved_corpus_calls": 226,
          "selector": "0x7b0155cc",
          "share": 0.025316455696
        },
        {
          "comparison_key": "0x256aeede",
          "function_names": [
            "iSpoke_updateLiquidationConfig"
          ],
          "function_signatures": [
            "iSpoke_updateLiquidationConfig((uint128,uint64,uint16))"
          ],
          "saved_corpus_calls": 214,
          "selector": "0x256aeede",
          "share": 0.023972219111
        },
        {
          "comparison_key": "0x44a0611b",
          "function_names": [
            "iHub_setInterestRateData"
          ],
          "function_signatures": [
            "iHub_setInterestRateData(uint256,(uint16,uint32,uint32,uint32))"
          ],
          "saved_corpus_calls": 214,
          "selector": "0x44a0611b",
          "share": 0.023972219111
        },
        {
          "comparison_key": "0xa89ef612",
          "function_names": [
            "iSpoke_updateUserDynamicConfig"
          ],
          "function_signatures": [
            "iSpoke_updateUserDynamicConfig()"
          ],
          "saved_corpus_calls": 210,
          "selector": "0xa89ef612",
          "share": 0.023524140249
        }
      ],
      "fuzzer": "recon-fuzzer",
      "instances": 1,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 8927,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 32,
      "unique_selectors": 32
    }
  ],
  "health_findings": [],
  "health_warnings": [],
  "instances": [
    {
      "artifact_files": 0,
      "duplicate_sequences": 0,
      "engine": "foundry",
      "fuzzer": "foundry",
      "fuzzer_label": "foundry-git-02c05d9",
      "ignored_calls": 0,
      "instance_id": "i-0b7b9247f741264e6",
      "instance_label": "i-0b7b9247f741264e6-foundry-git-02c05d9",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 0,
      "processed_artifact_bytes": 0,
      "saved_corpus_calls": 0,
      "status": "unavailable",
      "unique_call_identities": 0,
      "unique_selectors": 0,
      "warnings": []
    },
    {
      "artifact_files": 91,
      "duplicate_sequences": 0,
      "engine": "recon-fuzzer",
      "fuzzer": "recon-fuzzer",
      "fuzzer_label": "recon-v0.4.18",
      "ignored_calls": 0,
      "instance_id": "i-0b9e7f080e2499a17",
      "instance_label": "i-0b9e7f080e2499a17-recon-v0.4.18",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 91,
      "processed_artifact_bytes": 5522090,
      "saved_corpus_calls": 8927,
      "status": "available",
      "unique_call_identities": 32,
      "unique_selectors": 32,
      "warnings": []
    }
  ],
  "limitations": [
    "No expected selector set was available: the peer heuristic requires corroboration from every available instance in at least two fuzzer families",
    "i-0b7b9247f741264e6-foundry-git-02c05d9: Foundry selector distribution is unavailable because no persisted corpus was present; failure-event selectors are intentionally not used as a distribution"
  ],
  "measurement": "Counts are occurrences in unique saved corpus sequences, not runtime execution frequencies",
  "run_id": "gh-30319440655-1",
  "schema_version": 1
}