{
  "expected_set": {
    "kind": "peer-consensus-heuristic",
    "selectors": [
      {
        "function_name": "governance_allocateLQTY_clamped_single_initiative",
        "selector": "0x2cf9b2e4",
        "signature": "governance_allocateLQTY_clamped_single_initiative(uint8,uint96,uint96)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "governance_depositLQTYViaPermit",
        "selector": "0x3cc21b5d",
        "signature": "governance_depositLQTYViaPermit(uint88)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "helper_accrueBold",
        "selector": "0x4c91b4f4",
        "signature": "helper_accrueBold(uint88)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "helper_deployInitiative",
        "selector": "0x5af1f543",
        "signature": "helper_deployInitiative()",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "initiative_depositBribe",
        "selector": "0x69dc493e",
        "signature": "initiative_depositBribe(uint128,uint128,uint16,uint8)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "governance_registerInitiative",
        "selector": "0x76fda467",
        "signature": "governance_registerInitiative(uint8)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "governance_withdrawLQTY",
        "selector": "0x7a6b9c14",
        "signature": "governance_withdrawLQTY(uint88)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "governance_allocateLQTY",
        "selector": "0x88f4edb2",
        "signature": "governance_allocateLQTY(int88[],int88[])",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "governance_depositLQTY",
        "selector": "0x95db52cc",
        "signature": "governance_depositLQTY(uint88)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "governance_snapshotVotesForInitiative",
        "selector": "0xcb594f39",
        "signature": "governance_snapshotVotesForInitiative(address)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "governance_deployUserProxy",
        "selector": "0xccdcad1d",
        "signature": "governance_deployUserProxy()",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "governance_claimForInitiative",
        "selector": "0xddc3e5af",
        "signature": "governance_claimForInitiative(uint8)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "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",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "governance_unregisterInitiative",
        "selector": "0xf8128e4a",
        "signature": "governance_unregisterInitiative(uint8)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "governance_claimFromStakingV1",
        "selector": "0xf840011d",
        "signature": "governance_claimFromStakingV1(uint8)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      },
      {
        "function_name": "initiative_claimBribes",
        "selector": "0xfb0c95d0",
        "signature": "initiative_claimBribes(uint16,uint16,uint16,uint8)",
        "supporting_evidence_families": [
          "crytic-typed-corpus",
          "medusa-calldata"
        ],
        "supporting_fuzzers": [
          "echidna",
          "medusa",
          "recon-fuzzer"
        ]
      }
    ],
    "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": 2,
      "distribution": [
        {
          "comparison_key": "0x2cf9b2e4",
          "function_names": [
            "governance_allocateLQTY_clamped_single_initiative"
          ],
          "function_signatures": [
            "governance_allocateLQTY_clamped_single_initiative(uint8,uint96,uint96)"
          ],
          "saved_corpus_calls": 439,
          "selector": "0x2cf9b2e4",
          "share": 0.051622765757
        },
        {
          "comparison_key": "0x4c91b4f4",
          "function_names": [
            "helper_accrueBold"
          ],
          "function_signatures": [
            "helper_accrueBold(uint88)"
          ],
          "saved_corpus_calls": 409,
          "selector": "0x4c91b4f4",
          "share": 0.048095014111
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 398,
          "selector": "0xf24a44c9",
          "share": 0.046801505174
        },
        {
          "comparison_key": "0x88f4edb2",
          "function_names": [
            "governance_allocateLQTY"
          ],
          "function_signatures": [
            "governance_allocateLQTY(int88[],int88[])"
          ],
          "saved_corpus_calls": 392,
          "selector": "0x88f4edb2",
          "share": 0.046095954845
        },
        {
          "comparison_key": "0x1a042ae7",
          "function_names": [
            "invariant_canary"
          ],
          "function_signatures": [
            "invariant_canary()"
          ],
          "saved_corpus_calls": 389,
          "selector": "0x1a042ae7",
          "share": 0.04574317968
        },
        {
          "comparison_key": "0x269ab1e0",
          "function_names": [
            "invariant_BI04"
          ],
          "function_signatures": [
            "invariant_BI04()"
          ],
          "saved_corpus_calls": 386,
          "selector": "0x269ab1e0",
          "share": 0.045390404516
        },
        {
          "comparison_key": "0x76fda467",
          "function_names": [
            "governance_registerInitiative"
          ],
          "function_signatures": [
            "governance_registerInitiative(uint8)"
          ],
          "saved_corpus_calls": 379,
          "selector": "0x76fda467",
          "share": 0.044567262465
        },
        {
          "comparison_key": "0xccdcad1d",
          "function_names": [
            "governance_deployUserProxy"
          ],
          "function_signatures": [
            "governance_deployUserProxy()"
          ],
          "saved_corpus_calls": 379,
          "selector": "0xccdcad1d",
          "share": 0.044567262465
        },
        {
          "comparison_key": "0x294164ea",
          "function_names": [
            "invariant_BI05"
          ],
          "function_signatures": [
            "invariant_BI05()"
          ],
          "saved_corpus_calls": 378,
          "selector": "0x294164ea",
          "share": 0.044449670743
        },
        {
          "comparison_key": "0x69dc493e",
          "function_names": [
            "initiative_depositBribe"
          ],
          "function_signatures": [
            "initiative_depositBribe(uint128,uint128,uint16,uint8)"
          ],
          "saved_corpus_calls": 377,
          "selector": "0x69dc493e",
          "share": 0.044332079022
        },
        {
          "comparison_key": "0x95db52cc",
          "function_names": [
            "governance_depositLQTY"
          ],
          "function_signatures": [
            "governance_depositLQTY(uint88)"
          ],
          "saved_corpus_calls": 375,
          "selector": "0x95db52cc",
          "share": 0.044096895579
        },
        {
          "comparison_key": "0xddc3e5af",
          "function_names": [
            "governance_claimForInitiative"
          ],
          "function_signatures": [
            "governance_claimForInitiative(uint8)"
          ],
          "saved_corpus_calls": 365,
          "selector": "0xddc3e5af",
          "share": 0.042920978363
        },
        {
          "comparison_key": "0xe36496a6",
          "function_names": [
            "invariant_BI01"
          ],
          "function_signatures": [
            "invariant_BI01()"
          ],
          "saved_corpus_calls": 361,
          "selector": "0xe36496a6",
          "share": 0.042450611477
        },
        {
          "comparison_key": "0x5af1f543",
          "function_names": [
            "helper_deployInitiative"
          ],
          "function_signatures": [
            "helper_deployInitiative()"
          ],
          "saved_corpus_calls": 358,
          "selector": "0x5af1f543",
          "share": 0.042097836312
        },
        {
          "comparison_key": "0x5c171c0c",
          "function_names": [
            "invariant_BI02"
          ],
          "function_signatures": [
            "invariant_BI02()"
          ],
          "saved_corpus_calls": 357,
          "selector": "0x5c171c0c",
          "share": 0.041980244591
        },
        {
          "comparison_key": "0xf8128e4a",
          "function_names": [
            "governance_unregisterInitiative"
          ],
          "function_signatures": [
            "governance_unregisterInitiative(uint8)"
          ],
          "saved_corpus_calls": 357,
          "selector": "0xf8128e4a",
          "share": 0.041980244591
        },
        {
          "comparison_key": "0xf840011d",
          "function_names": [
            "governance_claimFromStakingV1"
          ],
          "function_signatures": [
            "governance_claimFromStakingV1(uint8)"
          ],
          "saved_corpus_calls": 349,
          "selector": "0xf840011d",
          "share": 0.041039510818
        },
        {
          "comparison_key": "0xfb0c95d0",
          "function_names": [
            "initiative_claimBribes"
          ],
          "function_signatures": [
            "initiative_claimBribes(uint16,uint16,uint16,uint8)"
          ],
          "saved_corpus_calls": 349,
          "selector": "0xfb0c95d0",
          "share": 0.041039510818
        },
        {
          "comparison_key": "0x660e6b6e",
          "function_names": [
            "invariant_GV01"
          ],
          "function_signatures": [
            "invariant_GV01()"
          ],
          "saved_corpus_calls": 348,
          "selector": "0x660e6b6e",
          "share": 0.040921919097
        },
        {
          "comparison_key": "0x7a6b9c14",
          "function_names": [
            "governance_withdrawLQTY"
          ],
          "function_signatures": [
            "governance_withdrawLQTY(uint88)"
          ],
          "saved_corpus_calls": 346,
          "selector": "0x7a6b9c14",
          "share": 0.040686735654
        },
        {
          "comparison_key": "0x3cc21b5d",
          "function_names": [
            "governance_depositLQTYViaPermit"
          ],
          "function_signatures": [
            "governance_depositLQTYViaPermit(uint88)"
          ],
          "saved_corpus_calls": 335,
          "selector": "0x3cc21b5d",
          "share": 0.039393226717
        },
        {
          "comparison_key": "0xf6ec13ec",
          "function_names": [
            "invariant_BI03"
          ],
          "function_signatures": [
            "invariant_BI03()"
          ],
          "saved_corpus_calls": 328,
          "selector": "0xf6ec13ec",
          "share": 0.038570084666
        },
        {
          "comparison_key": "0xcb594f39",
          "function_names": [
            "governance_snapshotVotesForInitiative"
          ],
          "function_signatures": [
            "governance_snapshotVotesForInitiative(address)"
          ],
          "saved_corpus_calls": 317,
          "selector": "0xcb594f39",
          "share": 0.037276575729
        },
        {
          "comparison_key": "0x3e5e3c23",
          "function_names": [
            "targetSenders"
          ],
          "function_signatures": [
            "targetSenders()"
          ],
          "saved_corpus_calls": 7,
          "selector": "0x3e5e3c23",
          "share": 0.000823142051
        },
        {
          "comparison_key": "0xfa7626d4",
          "function_names": [
            "IS_TEST"
          ],
          "function_signatures": [
            "IS_TEST()"
          ],
          "saved_corpus_calls": 6,
          "selector": "0xfa7626d4",
          "share": 0.000705550329
        },
        {
          "comparison_key": "0xb5508aa9",
          "function_names": [
            "excludeArtifacts"
          ],
          "function_signatures": [
            "excludeArtifacts()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0xb5508aa9",
          "share": 0.000352775165
        },
        {
          "comparison_key": "0xba414fa6",
          "function_names": [
            "failed"
          ],
          "function_signatures": [
            "failed()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0xba414fa6",
          "share": 0.000352775165
        },
        {
          "comparison_key": "0x1ed7831c",
          "function_names": [
            "excludeSenders"
          ],
          "function_signatures": [
            "excludeSenders()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x1ed7831c",
          "share": 0.000235183443
        },
        {
          "comparison_key": "0x2ade3880",
          "function_names": [
            "targetInterfaces"
          ],
          "function_signatures": [
            "targetInterfaces()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x2ade3880",
          "share": 0.000235183443
        },
        {
          "comparison_key": "0x3f7286f4",
          "function_names": [
            "targetContracts"
          ],
          "function_signatures": [
            "targetContracts()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x3f7286f4",
          "share": 0.000235183443
        },
        {
          "comparison_key": "0x66d9a9a0",
          "function_names": [
            "targetArtifactSelectors"
          ],
          "function_signatures": [
            "targetArtifactSelectors()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x66d9a9a0",
          "share": 0.000235183443
        },
        {
          "comparison_key": "0x85226c81",
          "function_names": [
            "targetArtifacts"
          ],
          "function_signatures": [
            "targetArtifacts()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x85226c81",
          "share": 0.000235183443
        },
        {
          "comparison_key": "0x916a17c6",
          "function_names": [
            "targetSelectors"
          ],
          "function_signatures": [
            "targetSelectors()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x916a17c6",
          "share": 0.000235183443
        },
        {
          "comparison_key": "0xe20c9f71",
          "function_names": [
            "excludeContracts"
          ],
          "function_signatures": [
            "excludeContracts()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0xe20c9f71",
          "share": 0.000235183443
        }
      ],
      "fuzzer": "echidna",
      "instances": 2,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 8504,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 34,
      "unique_selectors": 34
    },
    {
      "available_instances": 0,
      "distribution": [],
      "fuzzer": "foundry",
      "instances": 2,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 0,
      "status": "unavailable",
      "unavailable_instances": 2,
      "unique_call_identities": 0,
      "unique_selectors": 0
    },
    {
      "available_instances": 2,
      "distribution": [
        {
          "comparison_key": "0x2cf9b2e4",
          "function_names": [
            "governance_allocateLQTY_clamped_single_initiative"
          ],
          "function_signatures": [
            "governance_allocateLQTY_clamped_single_initiative(uint8,uint96,uint96)"
          ],
          "saved_corpus_calls": 495,
          "selector": "0x2cf9b2e4",
          "share": 0.079941860465
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 421,
          "selector": "0xf24a44c9",
          "share": 0.067990956072
        },
        {
          "comparison_key": "0x4c91b4f4",
          "function_names": [
            "helper_accrueBold"
          ],
          "function_signatures": [
            "helper_accrueBold(uint88)"
          ],
          "saved_corpus_calls": 413,
          "selector": "0x4c91b4f4",
          "share": 0.066698966408
        },
        {
          "comparison_key": "0x76fda467",
          "function_names": [
            "governance_registerInitiative"
          ],
          "function_signatures": [
            "governance_registerInitiative(uint8)"
          ],
          "saved_corpus_calls": 413,
          "selector": "0x76fda467",
          "share": 0.066698966408
        },
        {
          "comparison_key": "0xddc3e5af",
          "function_names": [
            "governance_claimForInitiative"
          ],
          "function_signatures": [
            "governance_claimForInitiative(uint8)"
          ],
          "saved_corpus_calls": 405,
          "selector": "0xddc3e5af",
          "share": 0.065406976744
        },
        {
          "comparison_key": "0xf8128e4a",
          "function_names": [
            "governance_unregisterInitiative"
          ],
          "function_signatures": [
            "governance_unregisterInitiative(uint8)"
          ],
          "saved_corpus_calls": 385,
          "selector": "0xf8128e4a",
          "share": 0.062177002584
        },
        {
          "comparison_key": "0x88f4edb2",
          "function_names": [
            "governance_allocateLQTY"
          ],
          "function_signatures": [
            "governance_allocateLQTY(int88[],int88[])"
          ],
          "saved_corpus_calls": 383,
          "selector": "0x88f4edb2",
          "share": 0.061854005168
        },
        {
          "comparison_key": "0x69dc493e",
          "function_names": [
            "initiative_depositBribe"
          ],
          "function_signatures": [
            "initiative_depositBribe(uint128,uint128,uint16,uint8)"
          ],
          "saved_corpus_calls": 378,
          "selector": "0x69dc493e",
          "share": 0.061046511628
        },
        {
          "comparison_key": "0x3cc21b5d",
          "function_names": [
            "governance_depositLQTYViaPermit"
          ],
          "function_signatures": [
            "governance_depositLQTYViaPermit(uint88)"
          ],
          "saved_corpus_calls": 377,
          "selector": "0x3cc21b5d",
          "share": 0.06088501292
        },
        {
          "comparison_key": "0xcb594f39",
          "function_names": [
            "governance_snapshotVotesForInitiative"
          ],
          "function_signatures": [
            "governance_snapshotVotesForInitiative(address)"
          ],
          "saved_corpus_calls": 374,
          "selector": "0xcb594f39",
          "share": 0.060400516796
        },
        {
          "comparison_key": "0xccdcad1d",
          "function_names": [
            "governance_deployUserProxy"
          ],
          "function_signatures": [
            "governance_deployUserProxy()"
          ],
          "saved_corpus_calls": 371,
          "selector": "0xccdcad1d",
          "share": 0.059916020672
        },
        {
          "comparison_key": "0xf840011d",
          "function_names": [
            "governance_claimFromStakingV1"
          ],
          "function_signatures": [
            "governance_claimFromStakingV1(uint8)"
          ],
          "saved_corpus_calls": 367,
          "selector": "0xf840011d",
          "share": 0.05927002584
        },
        {
          "comparison_key": "0x7a6b9c14",
          "function_names": [
            "governance_withdrawLQTY"
          ],
          "function_signatures": [
            "governance_withdrawLQTY(uint88)"
          ],
          "saved_corpus_calls": 363,
          "selector": "0x7a6b9c14",
          "share": 0.058624031008
        },
        {
          "comparison_key": "0x95db52cc",
          "function_names": [
            "governance_depositLQTY"
          ],
          "function_signatures": [
            "governance_depositLQTY(uint88)"
          ],
          "saved_corpus_calls": 338,
          "selector": "0x95db52cc",
          "share": 0.054586563307
        },
        {
          "comparison_key": "0x5af1f543",
          "function_names": [
            "helper_deployInitiative"
          ],
          "function_signatures": [
            "helper_deployInitiative()"
          ],
          "saved_corpus_calls": 327,
          "selector": "0x5af1f543",
          "share": 0.052810077519
        },
        {
          "comparison_key": "0xfb0c95d0",
          "function_names": [
            "initiative_claimBribes"
          ],
          "function_signatures": [
            "initiative_claimBribes(uint16,uint16,uint16,uint8)"
          ],
          "saved_corpus_calls": 316,
          "selector": "0xfb0c95d0",
          "share": 0.051033591731
        },
        {
          "comparison_key": "0x05ee8612",
          "function_names": [
            "indexOOBError"
          ],
          "function_signatures": [
            "indexOOBError()"
          ],
          "saved_corpus_calls": 11,
          "selector": "0x05ee8612",
          "share": 0.001776485788
        },
        {
          "comparison_key": "0x986c5f68",
          "function_names": [
            "memOverflowError"
          ],
          "function_signatures": [
            "memOverflowError()"
          ],
          "saved_corpus_calls": 8,
          "selector": "0x986c5f68",
          "share": 0.001291989664
        },
        {
          "comparison_key": "0x3f7286f4",
          "function_names": [
            "targetContracts"
          ],
          "function_signatures": [
            "targetContracts()"
          ],
          "saved_corpus_calls": 4,
          "selector": "0x3f7286f4",
          "share": 0.000645994832
        },
        {
          "comparison_key": "0x8995290f",
          "function_names": [
            "arithmeticError"
          ],
          "function_signatures": [
            "arithmeticError()"
          ],
          "saved_corpus_calls": 4,
          "selector": "0x8995290f",
          "share": 0.000645994832
        },
        {
          "comparison_key": "0xd160e4de",
          "function_names": [
            "encodeStorageError"
          ],
          "function_signatures": [
            "encodeStorageError()"
          ],
          "saved_corpus_calls": 4,
          "selector": "0xd160e4de",
          "share": 0.000645994832
        },
        {
          "comparison_key": "0x1ed7831c",
          "function_names": [
            "excludeSenders"
          ],
          "function_signatures": [
            "excludeSenders()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0x1ed7831c",
          "share": 0.000484496124
        },
        {
          "comparison_key": "0x3e5e3c23",
          "function_names": [
            "targetSenders"
          ],
          "function_signatures": [
            "targetSenders()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0x3e5e3c23",
          "share": 0.000484496124
        },
        {
          "comparison_key": "0x85226c81",
          "function_names": [
            "targetArtifacts"
          ],
          "function_signatures": [
            "targetArtifacts()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0x85226c81",
          "share": 0.000484496124
        },
        {
          "comparison_key": "0xb67689da",
          "function_names": [
            "zeroVarError"
          ],
          "function_signatures": [
            "zeroVarError()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0xb67689da",
          "share": 0.000484496124
        },
        {
          "comparison_key": "0xba414fa6",
          "function_names": [
            "failed"
          ],
          "function_signatures": [
            "failed()"
          ],
          "saved_corpus_calls": 3,
          "selector": "0xba414fa6",
          "share": 0.000484496124
        },
        {
          "comparison_key": "0x10332977",
          "function_names": [
            "assertionError"
          ],
          "function_signatures": [
            "assertionError()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x10332977",
          "share": 0.000322997416
        },
        {
          "comparison_key": "0x1de45560",
          "function_names": [
            "enumConversionError"
          ],
          "function_signatures": [
            "enumConversionError()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x1de45560",
          "share": 0.000322997416
        },
        {
          "comparison_key": "0x2ade3880",
          "function_names": [
            "targetInterfaces"
          ],
          "function_signatures": [
            "targetInterfaces()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x2ade3880",
          "share": 0.000322997416
        },
        {
          "comparison_key": "0x66d9a9a0",
          "function_names": [
            "targetArtifactSelectors"
          ],
          "function_signatures": [
            "targetArtifactSelectors()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x66d9a9a0",
          "share": 0.000322997416
        },
        {
          "comparison_key": "0x916a17c6",
          "function_names": [
            "targetSelectors"
          ],
          "function_signatures": [
            "targetSelectors()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x916a17c6",
          "share": 0.000322997416
        },
        {
          "comparison_key": "0xb22dc54d",
          "function_names": [
            "popError"
          ],
          "function_signatures": [
            "popError()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0xb22dc54d",
          "share": 0.000322997416
        },
        {
          "comparison_key": "0xb5508aa9",
          "function_names": [
            "excludeArtifacts"
          ],
          "function_signatures": [
            "excludeArtifacts()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0xb5508aa9",
          "share": 0.000322997416
        },
        {
          "comparison_key": "0xe20c9f71",
          "function_names": [
            "excludeContracts"
          ],
          "function_signatures": [
            "excludeContracts()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0xe20c9f71",
          "share": 0.000322997416
        },
        {
          "comparison_key": "0xfa7626d4",
          "function_names": [
            "IS_TEST"
          ],
          "function_signatures": [
            "IS_TEST()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0xfa7626d4",
          "share": 0.000322997416
        },
        {
          "comparison_key": "0xfa784a44",
          "function_names": [
            "divisionError"
          ],
          "function_signatures": [
            "divisionError()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0xfa784a44",
          "share": 0.000322997416
        }
      ],
      "fuzzer": "medusa",
      "instances": 2,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 6192,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 36,
      "unique_selectors": 36
    },
    {
      "available_instances": 2,
      "distribution": [
        {
          "comparison_key": "0x69dc493e",
          "function_names": [
            "initiative_depositBribe"
          ],
          "function_signatures": [
            "initiative_depositBribe(uint128,uint128,uint16,uint8)"
          ],
          "saved_corpus_calls": 423,
          "selector": "0x69dc493e",
          "share": 0.056392481003
        },
        {
          "comparison_key": "0x95db52cc",
          "function_names": [
            "governance_depositLQTY"
          ],
          "function_signatures": [
            "governance_depositLQTY(uint88)"
          ],
          "saved_corpus_calls": 390,
          "selector": "0x95db52cc",
          "share": 0.051993067591
        },
        {
          "comparison_key": "0x269ab1e0",
          "function_names": [
            "invariant_BI04"
          ],
          "function_signatures": [
            "invariant_BI04()"
          ],
          "saved_corpus_calls": 356,
          "selector": "0x269ab1e0",
          "share": 0.047460338622
        },
        {
          "comparison_key": "0x88f4edb2",
          "function_names": [
            "governance_allocateLQTY"
          ],
          "function_signatures": [
            "governance_allocateLQTY(int88[],int88[])"
          ],
          "saved_corpus_calls": 352,
          "selector": "0x88f4edb2",
          "share": 0.04692707639
        },
        {
          "comparison_key": "0xddc3e5af",
          "function_names": [
            "governance_claimForInitiative"
          ],
          "function_signatures": [
            "governance_claimForInitiative(uint8)"
          ],
          "saved_corpus_calls": 346,
          "selector": "0xddc3e5af",
          "share": 0.046127183042
        },
        {
          "comparison_key": "0xccdcad1d",
          "function_names": [
            "governance_deployUserProxy"
          ],
          "function_signatures": [
            "governance_deployUserProxy()"
          ],
          "saved_corpus_calls": 332,
          "selector": "0xccdcad1d",
          "share": 0.044260765231
        },
        {
          "comparison_key": "0x660e6b6e",
          "function_names": [
            "invariant_GV01"
          ],
          "function_signatures": [
            "invariant_GV01()"
          ],
          "saved_corpus_calls": 325,
          "selector": "0x660e6b6e",
          "share": 0.043327556326
        },
        {
          "comparison_key": "0x3cc21b5d",
          "function_names": [
            "governance_depositLQTYViaPermit"
          ],
          "function_signatures": [
            "governance_depositLQTYViaPermit(uint88)"
          ],
          "saved_corpus_calls": 323,
          "selector": "0x3cc21b5d",
          "share": 0.04306092521
        },
        {
          "comparison_key": "0xf6ec13ec",
          "function_names": [
            "invariant_BI03"
          ],
          "function_signatures": [
            "invariant_BI03()"
          ],
          "saved_corpus_calls": 322,
          "selector": "0xf6ec13ec",
          "share": 0.042927609652
        },
        {
          "comparison_key": "0x1a042ae7",
          "function_names": [
            "invariant_canary"
          ],
          "function_signatures": [
            "invariant_canary()"
          ],
          "saved_corpus_calls": 316,
          "selector": "0x1a042ae7",
          "share": 0.042127716304
        },
        {
          "comparison_key": "0x66d9a9a0",
          "function_names": [
            "targetArtifactSelectors"
          ],
          "function_signatures": [
            "targetArtifactSelectors()"
          ],
          "saved_corpus_calls": 316,
          "selector": "0x66d9a9a0",
          "share": 0.042127716304
        },
        {
          "comparison_key": "0x2cf9b2e4",
          "function_names": [
            "governance_allocateLQTY_clamped_single_initiative"
          ],
          "function_signatures": [
            "governance_allocateLQTY_clamped_single_initiative(uint8,uint96,uint96)"
          ],
          "saved_corpus_calls": 313,
          "selector": "0x2cf9b2e4",
          "share": 0.041727769631
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 299,
          "selector": "0xf24a44c9",
          "share": 0.03986135182
        },
        {
          "comparison_key": "0xfb0c95d0",
          "function_names": [
            "initiative_claimBribes"
          ],
          "function_signatures": [
            "initiative_claimBribes(uint16,uint16,uint16,uint8)"
          ],
          "saved_corpus_calls": 299,
          "selector": "0xfb0c95d0",
          "share": 0.03986135182
        },
        {
          "comparison_key": "0xe36496a6",
          "function_names": [
            "invariant_BI01"
          ],
          "function_signatures": [
            "invariant_BI01()"
          ],
          "saved_corpus_calls": 294,
          "selector": "0xe36496a6",
          "share": 0.03919477403
        },
        {
          "comparison_key": "0x4c91b4f4",
          "function_names": [
            "helper_accrueBold"
          ],
          "function_signatures": [
            "helper_accrueBold(uint88)"
          ],
          "saved_corpus_calls": 287,
          "selector": "0x4c91b4f4",
          "share": 0.038261565125
        },
        {
          "comparison_key": "0x7a6b9c14",
          "function_names": [
            "governance_withdrawLQTY"
          ],
          "function_signatures": [
            "governance_withdrawLQTY(uint88)"
          ],
          "saved_corpus_calls": 285,
          "selector": "0x7a6b9c14",
          "share": 0.037994934009
        },
        {
          "comparison_key": "0x76fda467",
          "function_names": [
            "governance_registerInitiative"
          ],
          "function_signatures": [
            "governance_registerInitiative(uint8)"
          ],
          "saved_corpus_calls": 279,
          "selector": "0x76fda467",
          "share": 0.037195040661
        },
        {
          "comparison_key": "0xcb594f39",
          "function_names": [
            "governance_snapshotVotesForInitiative"
          ],
          "function_signatures": [
            "governance_snapshotVotesForInitiative(address)"
          ],
          "saved_corpus_calls": 279,
          "selector": "0xcb594f39",
          "share": 0.037195040661
        },
        {
          "comparison_key": "0xf8128e4a",
          "function_names": [
            "governance_unregisterInitiative"
          ],
          "function_signatures": [
            "governance_unregisterInitiative(uint8)"
          ],
          "saved_corpus_calls": 279,
          "selector": "0xf8128e4a",
          "share": 0.037195040661
        },
        {
          "comparison_key": "0x294164ea",
          "function_names": [
            "invariant_BI05"
          ],
          "function_signatures": [
            "invariant_BI05()"
          ],
          "saved_corpus_calls": 277,
          "selector": "0x294164ea",
          "share": 0.036928409545
        },
        {
          "comparison_key": "0xf840011d",
          "function_names": [
            "governance_claimFromStakingV1"
          ],
          "function_signatures": [
            "governance_claimFromStakingV1(uint8)"
          ],
          "saved_corpus_calls": 277,
          "selector": "0xf840011d",
          "share": 0.036928409545
        },
        {
          "comparison_key": "0x5af1f543",
          "function_names": [
            "helper_deployInitiative"
          ],
          "function_signatures": [
            "helper_deployInitiative()"
          ],
          "saved_corpus_calls": 268,
          "selector": "0x5af1f543",
          "share": 0.035728569524
        },
        {
          "comparison_key": "0x5c171c0c",
          "function_names": [
            "invariant_BI02"
          ],
          "function_signatures": [
            "invariant_BI02()"
          ],
          "saved_corpus_calls": 264,
          "selector": "0x5c171c0c",
          "share": 0.035195307292
        }
      ],
      "fuzzer": "recon-fuzzer",
      "instances": 2,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 7501,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 24,
      "unique_selectors": 24
    }
  ],
  "health_findings": [],
  "health_warnings": [],
  "instances": [
    {
      "artifact_files": 42,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna",
      "fuzzer_label": "echidna-v2.3.2",
      "ignored_calls": 0,
      "instance_id": "i-003545b0037183b40",
      "instance_label": "i-003545b0037183b40-echidna-v2.3.2",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 42,
      "processed_artifact_bytes": 2649255,
      "saved_corpus_calls": 4185,
      "status": "available",
      "unique_call_identities": 34,
      "unique_selectors": 34,
      "warnings": []
    },
    {
      "artifact_files": 40,
      "duplicate_sequences": 0,
      "engine": "recon-fuzzer",
      "fuzzer": "recon-fuzzer",
      "fuzzer_label": "recon-v0.4.18",
      "ignored_calls": 1,
      "instance_id": "i-033ae747e89a65162",
      "instance_label": "i-033ae747e89a65162-recon-v0.4.18",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 40,
      "processed_artifact_bytes": 2543513,
      "saved_corpus_calls": 3943,
      "status": "available",
      "unique_call_identities": 24,
      "unique_selectors": 24,
      "warnings": []
    },
    {
      "artifact_files": 0,
      "duplicate_sequences": 0,
      "engine": "foundry",
      "fuzzer": "foundry",
      "fuzzer_label": "foundry-git-02c05d9",
      "ignored_calls": 0,
      "instance_id": "i-0500daeab0d17c867",
      "instance_label": "i-0500daeab0d17c867-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": 0,
      "duplicate_sequences": 0,
      "engine": "foundry",
      "fuzzer": "foundry",
      "fuzzer_label": "foundry-git-02c05d9",
      "ignored_calls": 0,
      "instance_id": "i-07ef2c5a93e46e238",
      "instance_label": "i-07ef2c5a93e46e238-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": 44,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna",
      "fuzzer_label": "echidna-v2.3.2",
      "ignored_calls": 0,
      "instance_id": "i-0827a0e75c5a91d29",
      "instance_label": "i-0827a0e75c5a91d29-echidna-v2.3.2",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 44,
      "processed_artifact_bytes": 2707972,
      "saved_corpus_calls": 4319,
      "status": "available",
      "unique_call_identities": 34,
      "unique_selectors": 34,
      "warnings": []
    },
    {
      "artifact_files": 36,
      "duplicate_sequences": 0,
      "engine": "recon-fuzzer",
      "fuzzer": "recon-fuzzer",
      "fuzzer_label": "recon-v0.4.18",
      "ignored_calls": 3,
      "instance_id": "i-0a43adfab39541891",
      "instance_label": "i-0a43adfab39541891-recon-v0.4.18",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 36,
      "processed_artifact_bytes": 2391722,
      "saved_corpus_calls": 3558,
      "status": "available",
      "unique_call_identities": 24,
      "unique_selectors": 24,
      "warnings": []
    },
    {
      "artifact_files": 86,
      "duplicate_sequences": 0,
      "engine": "medusa",
      "fuzzer": "medusa",
      "fuzzer_label": "medusa-v1.5.1",
      "ignored_calls": 0,
      "instance_id": "i-0ca4fbf4c2093242f",
      "instance_label": "i-0ca4fbf4c2093242f-medusa-v1.5.1",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 86,
      "processed_artifact_bytes": 4199916,
      "saved_corpus_calls": 3240,
      "status": "available",
      "unique_call_identities": 36,
      "unique_selectors": 36,
      "warnings": []
    },
    {
      "artifact_files": 81,
      "duplicate_sequences": 0,
      "engine": "medusa",
      "fuzzer": "medusa",
      "fuzzer_label": "medusa-v1.5.1",
      "ignored_calls": 0,
      "instance_id": "i-0edf8f3e1a6ceecf5",
      "instance_label": "i-0edf8f3e1a6ceecf5-medusa-v1.5.1",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 81,
      "processed_artifact_bytes": 3535627,
      "saved_corpus_calls": 2952,
      "status": "available",
      "unique_call_identities": 36,
      "unique_selectors": 36,
      "warnings": []
    }
  ],
  "limitations": [
    "i-0500daeab0d17c867-foundry-git-02c05d9: Foundry selector distribution is unavailable because no persisted corpus was present; failure-event selectors are intentionally not used as a distribution",
    "i-07ef2c5a93e46e238-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-30029754277-1",
  "schema_version": 1
}