{
  "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": "0xa04961e8",
          "function_names": [
            "testTransferToZeroAddress"
          ],
          "function_signatures": [
            "testTransferToZeroAddress(uint8,uint256)"
          ],
          "saved_corpus_calls": 70,
          "selector": "0xa04961e8",
          "share": 0.033333333333
        },
        {
          "comparison_key": "0x6a91b27a",
          "function_names": [
            "testRebasingCreditsPerTokenAboveZero"
          ],
          "function_signatures": [
            "testRebasingCreditsPerTokenAboveZero()"
          ],
          "saved_corpus_calls": 69,
          "selector": "0x6a91b27a",
          "share": 0.032857142857
        },
        {
          "comparison_key": "0x26610da8",
          "function_names": [
            "testBurnAllBalanceToZero"
          ],
          "function_signatures": [
            "testBurnAllBalanceToZero(uint8)"
          ],
          "saved_corpus_calls": 68,
          "selector": "0x26610da8",
          "share": 0.032380952381
        },
        {
          "comparison_key": "0x1e7cfc16",
          "function_names": [
            "testTransferSelf"
          ],
          "function_signatures": [
            "testTransferSelf(uint8,uint256)"
          ],
          "saved_corpus_calls": 65,
          "selector": "0x1e7cfc16",
          "share": 0.030952380952
        },
        {
          "comparison_key": "0xe4840d4f",
          "function_names": [
            "testTransferBalanceReceivedMore"
          ],
          "function_signatures": [
            "testTransferBalanceReceivedMore(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 64,
          "selector": "0xe4840d4f",
          "share": 0.030476190476
        },
        {
          "comparison_key": "0x1f3efb39",
          "function_names": [
            "testTotalNonRebasingSupplyLessThanTotalBalance"
          ],
          "function_signatures": [
            "testTotalNonRebasingSupplyLessThanTotalBalance()"
          ],
          "saved_corpus_calls": 61,
          "selector": "0x1f3efb39",
          "share": 0.029047619048
        },
        {
          "comparison_key": "0xbfb72b06",
          "function_names": [
            "testMintBalanceRounding"
          ],
          "function_signatures": [
            "testMintBalanceRounding(uint8,uint256)"
          ],
          "saved_corpus_calls": 61,
          "selector": "0xbfb72b06",
          "share": 0.029047619048
        },
        {
          "comparison_key": "0x324b65f5",
          "function_names": [
            "testApprove"
          ],
          "function_signatures": [
            "testApprove(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 60,
          "selector": "0x324b65f5",
          "share": 0.028571428571
        },
        {
          "comparison_key": "0x6396b18d",
          "function_names": [
            "testAutoConvertBalance"
          ],
          "function_signatures": [
            "testAutoConvertBalance(uint8)"
          ],
          "saved_corpus_calls": 58,
          "selector": "0x6396b18d",
          "share": 0.027619047619
        },
        {
          "comparison_key": "0xdf4d5977",
          "function_names": [
            "getTotalNonRebasingBalance"
          ],
          "function_signatures": [
            "getTotalNonRebasingBalance()"
          ],
          "saved_corpus_calls": 57,
          "selector": "0xdf4d5977",
          "share": 0.027142857143
        },
        {
          "comparison_key": "0x0a1fc5e7",
          "function_names": [
            "testMintBalance"
          ],
          "function_signatures": [
            "testMintBalance(uint8,uint256)"
          ],
          "saved_corpus_calls": 55,
          "selector": "0x0a1fc5e7",
          "share": 0.02619047619
        },
        {
          "comparison_key": "0xa7847496",
          "function_names": [
            "testOptInTotalSupply"
          ],
          "function_signatures": [
            "testOptInTotalSupply(uint8)"
          ],
          "saved_corpus_calls": 52,
          "selector": "0xa7847496",
          "share": 0.024761904762
        },
        {
          "comparison_key": "0x59c4235c",
          "function_names": [
            "burn"
          ],
          "function_signatures": [
            "burn(uint8,uint256)"
          ],
          "saved_corpus_calls": 51,
          "selector": "0x59c4235c",
          "share": 0.024285714286
        },
        {
          "comparison_key": "0x178e5c32",
          "function_names": [
            "testChangeSupply"
          ],
          "function_signatures": [
            "testChangeSupply(uint256)"
          ],
          "saved_corpus_calls": 49,
          "selector": "0x178e5c32",
          "share": 0.023333333333
        },
        {
          "comparison_key": "0xfbf4f900",
          "function_names": [
            "testBurnZeroBalance"
          ],
          "function_signatures": [
            "testBurnZeroBalance(uint8)"
          ],
          "saved_corpus_calls": 49,
          "selector": "0xfbf4f900",
          "share": 0.023333333333
        },
        {
          "comparison_key": "0x50c7ce5d",
          "function_names": [
            "testTransferExceedingBalanceReverts"
          ],
          "function_signatures": [
            "testTransferExceedingBalanceReverts(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 48,
          "selector": "0x50c7ce5d",
          "share": 0.022857142857
        },
        {
          "comparison_key": "0x8dcd3725",
          "function_names": [
            "testTransferBalanceSentLessRounding"
          ],
          "function_signatures": [
            "testTransferBalanceSentLessRounding(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 48,
          "selector": "0x8dcd3725",
          "share": 0.022857142857
        },
        {
          "comparison_key": "0x9de07e5a",
          "function_names": [
            "testOptInBalanceRounding"
          ],
          "function_signatures": [
            "testOptInBalanceRounding(uint8)"
          ],
          "saved_corpus_calls": 47,
          "selector": "0x9de07e5a",
          "share": 0.022380952381
        },
        {
          "comparison_key": "0xd5afe6cd",
          "function_names": [
            "optIn"
          ],
          "function_signatures": [
            "optIn(uint8)"
          ],
          "saved_corpus_calls": 47,
          "selector": "0xd5afe6cd",
          "share": 0.022380952381
        },
        {
          "comparison_key": "0x00a3c5d1",
          "function_names": [
            "testTransferWithinBalanceDoesNotRevert"
          ],
          "function_signatures": [
            "testTransferWithinBalanceDoesNotRevert(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 45,
          "selector": "0x00a3c5d1",
          "share": 0.021428571429
        },
        {
          "comparison_key": "0x13ffd369",
          "function_names": [
            "testBurnBalance"
          ],
          "function_signatures": [
            "testBurnBalance(uint8,uint256)"
          ],
          "saved_corpus_calls": 45,
          "selector": "0x13ffd369",
          "share": 0.021428571429
        },
        {
          "comparison_key": "0x657808a3",
          "function_names": [
            "testBalanceOfShouldNotRevert"
          ],
          "function_signatures": [
            "testBalanceOfShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 45,
          "selector": "0x657808a3",
          "share": 0.021428571429
        },
        {
          "comparison_key": "0xdad9f8f0",
          "function_names": [
            "approve"
          ],
          "function_signatures": [
            "approve(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 45,
          "selector": "0xdad9f8f0",
          "share": 0.021428571429
        },
        {
          "comparison_key": "0xf24a44c9",
          "function_names": [
            "assert_canary_ASSERTION_CANARY"
          ],
          "function_signatures": [
            "assert_canary_ASSERTION_CANARY(uint256)"
          ],
          "saved_corpus_calls": 45,
          "selector": "0xf24a44c9",
          "share": 0.021428571429
        },
        {
          "comparison_key": "0x3e1d09c5",
          "function_names": [
            "testTotalSupplyLessThanTotalBalance"
          ],
          "function_signatures": [
            "testTotalSupplyLessThanTotalBalance()"
          ],
          "saved_corpus_calls": 44,
          "selector": "0x3e1d09c5",
          "share": 0.020952380952
        },
        {
          "comparison_key": "0x43a45e75",
          "function_names": [
            "testTransferBalanceSentLess"
          ],
          "function_signatures": [
            "testTransferBalanceSentLess(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 44,
          "selector": "0x43a45e75",
          "share": 0.020952380952
        },
        {
          "comparison_key": "0xc6c7c2e5",
          "function_names": [
            "testCreditsPerTokenVsBalance"
          ],
          "function_signatures": [
            "testCreditsPerTokenVsBalance(uint8)"
          ],
          "saved_corpus_calls": 44,
          "selector": "0xc6c7c2e5",
          "share": 0.020952380952
        },
        {
          "comparison_key": "0x283775f7",
          "function_names": [
            "testTransferFromShouldRevert"
          ],
          "function_signatures": [
            "testTransferFromShouldRevert(uint8,uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 43,
          "selector": "0x283775f7",
          "share": 0.020476190476
        },
        {
          "comparison_key": "0x6900d46e",
          "function_names": [
            "transfer"
          ],
          "function_signatures": [
            "transfer(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 43,
          "selector": "0x6900d46e",
          "share": 0.020476190476
        },
        {
          "comparison_key": "0xc7df1ada",
          "function_names": [
            "testTransferFromShouldNotRevert"
          ],
          "function_signatures": [
            "testTransferFromShouldNotRevert(uint8,uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 43,
          "selector": "0xc7df1ada",
          "share": 0.020476190476
        },
        {
          "comparison_key": "0xf26748e2",
          "function_names": [
            "mint"
          ],
          "function_signatures": [
            "mint(uint8,uint256)"
          ],
          "saved_corpus_calls": 43,
          "selector": "0xf26748e2",
          "share": 0.020476190476
        },
        {
          "comparison_key": "0xb1327fd9",
          "function_names": [
            "testMintZeroBalance"
          ],
          "function_signatures": [
            "testMintZeroBalance(uint8)"
          ],
          "saved_corpus_calls": 41,
          "selector": "0xb1327fd9",
          "share": 0.019523809524
        },
        {
          "comparison_key": "0x1a042ae7",
          "function_names": [
            "invariant_canary"
          ],
          "function_signatures": [
            "invariant_canary()"
          ],
          "saved_corpus_calls": 40,
          "selector": "0x1a042ae7",
          "share": 0.019047619048
        },
        {
          "comparison_key": "0xd89cecc4",
          "function_names": [
            "testNonRebasingSupplyVsTotalSupply"
          ],
          "function_signatures": [
            "testNonRebasingSupplyVsTotalSupply()"
          ],
          "saved_corpus_calls": 40,
          "selector": "0xd89cecc4",
          "share": 0.019047619048
        },
        {
          "comparison_key": "0x39a7919f",
          "function_names": [
            "changeSupply"
          ],
          "function_signatures": [
            "changeSupply(uint256)"
          ],
          "saved_corpus_calls": 39,
          "selector": "0x39a7919f",
          "share": 0.018571428571
        },
        {
          "comparison_key": "0x8f287234",
          "function_names": [
            "testBurnAllBalanceShouldNotRevert"
          ],
          "function_signatures": [
            "testBurnAllBalanceShouldNotRevert(uint8)"
          ],
          "saved_corpus_calls": 39,
          "selector": "0x8f287234",
          "share": 0.018571428571
        },
        {
          "comparison_key": "0x379db993",
          "function_names": [
            "testTransferBalanceReceivedLessRounding"
          ],
          "function_signatures": [
            "testTransferBalanceReceivedLessRounding(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 38,
          "selector": "0x379db993",
          "share": 0.018095238095
        },
        {
          "comparison_key": "0x6dcc9dcc",
          "function_names": [
            "testRebasingCreditsPerTokenNotIncreased"
          ],
          "function_signatures": [
            "testRebasingCreditsPerTokenNotIncreased()"
          ],
          "saved_corpus_calls": 37,
          "selector": "0x6dcc9dcc",
          "share": 0.017619047619
        },
        {
          "comparison_key": "0x9a92314c",
          "function_names": [
            "testOptInBalance"
          ],
          "function_signatures": [
            "testOptInBalance(uint8)"
          ],
          "saved_corpus_calls": 36,
          "selector": "0x9a92314c",
          "share": 0.017142857143
        },
        {
          "comparison_key": "0x72a96677",
          "function_names": [
            "transferFrom"
          ],
          "function_signatures": [
            "transferFrom(uint8,uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 33,
          "selector": "0x72a96677",
          "share": 0.015714285714
        },
        {
          "comparison_key": "0x866ba8f7",
          "function_names": [
            "optOut"
          ],
          "function_signatures": [
            "optOut(uint8)"
          ],
          "saved_corpus_calls": 33,
          "selector": "0x866ba8f7",
          "share": 0.015714285714
        },
        {
          "comparison_key": "0xcec05c0a",
          "function_names": [
            "testOptOutBalance"
          ],
          "function_signatures": [
            "testOptOutBalance(uint8)"
          ],
          "saved_corpus_calls": 32,
          "selector": "0xcec05c0a",
          "share": 0.015238095238
        },
        {
          "comparison_key": "0xe1bc5773",
          "function_names": [
            "testTransferBalanceReceivedLess"
          ],
          "function_signatures": [
            "testTransferBalanceReceivedLess(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 30,
          "selector": "0xe1bc5773",
          "share": 0.014285714286
        },
        {
          "comparison_key": "0x7fc05f0a",
          "function_names": [
            "testOptOutTotalSupply"
          ],
          "function_signatures": [
            "testOptOutTotalSupply(uint8)"
          ],
          "saved_corpus_calls": 26,
          "selector": "0x7fc05f0a",
          "share": 0.012380952381
        },
        {
          "comparison_key": "0x9164cd26",
          "function_names": [
            "testTransferBalanceSentMore"
          ],
          "function_signatures": [
            "testTransferBalanceSentMore(uint8,uint8,uint256)"
          ],
          "saved_corpus_calls": 25,
          "selector": "0x9164cd26",
          "share": 0.011904761905
        },
        {
          "comparison_key": "0x54113357",
          "function_names": [
            "debugOUSD"
          ],
          "function_signatures": [
            "debugOUSD()"
          ],
          "saved_corpus_calls": 2,
          "selector": "0x54113357",
          "share": 0.000952380952
        },
        {
          "comparison_key": "0x12b58349",
          "function_names": [
            "getTotalBalance"
          ],
          "function_signatures": [
            "getTotalBalance()"
          ],
          "saved_corpus_calls": 1,
          "selector": "0x12b58349",
          "share": 0.000476190476
        }
      ],
      "fuzzer": "echidna",
      "instances": 1,
      "malformed_instances": 0,
      "observed_zero_instances": 0,
      "saved_corpus_calls": 2100,
      "status": "available",
      "unavailable_instances": 0,
      "unique_call_identities": 47,
      "unique_selectors": 47
    }
  ],
  "health_findings": [],
  "health_warnings": [],
  "instances": [
    {
      "artifact_files": 21,
      "duplicate_sequences": 0,
      "engine": "echidna",
      "fuzzer": "echidna",
      "fuzzer_label": "echidna-v2.3.1",
      "ignored_calls": 0,
      "instance_id": "i-0a45e7f0e5442db19",
      "instance_label": "i-0a45e7f0e5442db19-echidna-v2.3.1",
      "limit_violations": 0,
      "malformed_artifacts": 0,
      "missing_expected_selectors": [],
      "parsed_sequences": 21,
      "processed_artifact_bytes": 1224886,
      "saved_corpus_calls": 2100,
      "status": "available",
      "unique_call_identities": 47,
      "unique_selectors": 47,
      "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-29726518626-1",
  "schema_version": 1
}