{ "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": "0x3509d9c1", "function_names": [ "superGovernor_executeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_executeAddIncentiveTokens()" ], "saved_corpus_calls": 448, "selector": "0x3509d9c1", "share": 0.007485505188 }, { "comparison_key": "0xf8ddb1f1", "function_names": [ "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT" ], "function_signatures": [ "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT(uint256)" ], "saved_corpus_calls": 448, "selector": "0xf8ddb1f1", "share": 0.007485505188 }, { "comparison_key": "0x11d72d6f", "function_names": [ "superVaultAggregator_removeAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_removeAuthorizedCaller(address,address)" ], "saved_corpus_calls": 447, "selector": "0x11d72d6f", "share": 0.007468796471 }, { "comparison_key": "0xb7208c9f", "function_names": [ "erc7540_7_mint" ], "function_signatures": [ "erc7540_7_mint(address,uint256)" ], "saved_corpus_calls": 438, "selector": "0xb7208c9f", "share": 0.007318418019 }, { "comparison_key": "0xb20b5751", "function_names": [ "superVaultAggregator_createVault" ], "function_signatures": [ "superVaultAggregator_createVault((address,string,string,address,address[],uint256,uint256,(uint256,uint256,address)))" ], "saved_corpus_calls": 425, "selector": "0xb20b5751", "share": 0.007101204698 }, { "comparison_key": "0xfa912362", "function_names": [ "superVaultStrategy_manageYieldSource_clamped" ], "function_signatures": [ "superVaultStrategy_manageYieldSource_clamped(uint256)" ], "saved_corpus_calls": 424, "selector": "0xfa912362", "share": 0.007084495982 }, { "comparison_key": "0x47eb2c05", "function_names": [ "erc7540_4_redeem" ], "function_signatures": [ "erc7540_4_redeem(address,uint256)" ], "saved_corpus_calls": 423, "selector": "0x47eb2c05", "share": 0.007067787265 }, { "comparison_key": "0x03a0d257", "function_names": [ "invariant_accumulatorSharesSolvency" ], "function_signatures": [ "invariant_accumulatorSharesSolvency()" ], "saved_corpus_calls": 414, "selector": "0x03a0d257", "share": 0.006917408812 }, { "comparison_key": "0x99f98474", "function_names": [ "yieldSource_deposit5115" ], "function_signatures": [ "yieldSource_deposit5115(address,address,uint256,uint256,bool)" ], "saved_corpus_calls": 409, "selector": "0x99f98474", "share": 0.006833865227 }, { "comparison_key": "0x7674c28d", "function_names": [ "yieldSource_redeem" ], "function_signatures": [ "yieldSource_redeem(uint256,address,address)" ], "saved_corpus_calls": 408, "selector": "0x7674c28d", "share": 0.006817156511 }, { "comparison_key": "0x1d0cf3ab", "function_names": [ "invariant_accumulatorSharesDecreaseOnFulfill_exact" ], "function_signatures": [ "invariant_accumulatorSharesDecreaseOnFulfill_exact()" ], "saved_corpus_calls": 403, "selector": "0x1d0cf3ab", "share": 0.006733612926 }, { "comparison_key": "0x51800fa1", "function_names": [ "superVaultStrategy_updateMaxPPSSlippage" ], "function_signatures": [ "superVaultStrategy_updateMaxPPSSlippage(uint256)" ], "saved_corpus_calls": 403, "selector": "0x51800fa1", "share": 0.006733612926 }, { "comparison_key": "0xfb48798d", "function_names": [ "yieldSource_mint" ], "function_signatures": [ "yieldSource_mint(uint256,address)" ], "saved_corpus_calls": 403, "selector": "0xfb48798d", "share": 0.006733612926 }, { "comparison_key": "0x55ee7e47", "function_names": [ "invariant_avgPPSMonotonicity" ], "function_signatures": [ "invariant_avgPPSMonotonicity()" ], "saved_corpus_calls": 400, "selector": "0x55ee7e47", "share": 0.006683486775 }, { "comparison_key": "0x2e323c85", "function_names": [ "yieldSource_setDecimalsOffset" ], "function_signatures": [ "yieldSource_setDecimalsOffset(uint8)" ], "saved_corpus_calls": 398, "selector": "0x2e323c85", "share": 0.006650069341 }, { "comparison_key": "0xd20d873c", "function_names": [ "yieldSource_claimCancelDepositRequest" ], "function_signatures": [ "yieldSource_claimCancelDepositRequest(uint256,address,address)" ], "saved_corpus_calls": 397, "selector": "0xd20d873c", "share": 0.006633360624 }, { "comparison_key": "0x12af56c5", "function_names": [ "superVaultStrategy_fulfillRedeemRequests_clamped" ], "function_signatures": [ "superVaultStrategy_fulfillRedeemRequests_clamped(uint256)" ], "saved_corpus_calls": 396, "selector": "0x12af56c5", "share": 0.006616651907 }, { "comparison_key": "0x4a28a715", "function_names": [ "superVaultAggregator_depositStake" ], "function_signatures": [ "superVaultAggregator_depositStake(address,uint256)" ], "saved_corpus_calls": 395, "selector": "0x4a28a715", "share": 0.00659994319 }, { "comparison_key": "0xab2c6ce7", "function_names": [ "yieldSource_setRevertBehavior4626" ], "function_signatures": [ "yieldSource_setRevertBehavior4626(uint8,uint8)" ], "saved_corpus_calls": 394, "selector": "0xab2c6ce7", "share": 0.006583234473 }, { "comparison_key": "0x0775f957", "function_names": [ "superVaultStrategy_manageYieldSource" ], "function_signatures": [ "superVaultStrategy_manageYieldSource(address,address,uint8)" ], "saved_corpus_calls": 390, "selector": "0x0775f957", "share": 0.006516399606 }, { "comparison_key": "0x0a4821cf", "function_names": [ "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM" ], "function_signatures": [ "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM(uint256)" ], "saved_corpus_calls": 389, "selector": "0x0a4821cf", "share": 0.006499690889 }, { "comparison_key": "0x3a32dc68", "function_names": [ "add_new_vault" ], "function_signatures": [ "add_new_vault()" ], "saved_corpus_calls": 388, "selector": "0x3a32dc68", "share": 0.006482982172 }, { "comparison_key": "0x16e7198f", "function_names": [ "superGovernor_executeFeeUpdate_clamped" ], "function_signatures": [ "superGovernor_executeFeeUpdate_clamped(uint256)" ], "saved_corpus_calls": 376, "selector": "0x16e7198f", "share": 0.006282477569 }, { "comparison_key": "0x84d461f2", "function_names": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 376, "selector": "0x84d461f2", "share": 0.006282477569 }, { "comparison_key": "0x961cc2a1", "function_names": [ "yieldSource_transfer" ], "function_signatures": [ "yieldSource_transfer(address,uint256)" ], "saved_corpus_calls": 376, "selector": "0x961cc2a1", "share": 0.006282477569 }, { "comparison_key": "0xfe4574ac", "function_names": [ "yieldSource_deposit" ], "function_signatures": [ "yieldSource_deposit(uint256,address)" ], "saved_corpus_calls": 376, "selector": "0xfe4574ac", "share": 0.006282477569 }, { "comparison_key": "0x47780112", "function_names": [ "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS" ], "function_signatures": [ "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS(uint256)" ], "saved_corpus_calls": 375, "selector": "0x47780112", "share": 0.006265768852 }, { "comparison_key": "0x1a001033", "function_names": [ "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION" ], "function_signatures": [ "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION(uint256)" ], "saved_corpus_calls": 373, "selector": "0x1a001033", "share": 0.006232351418 }, { "comparison_key": "0x53494d09", "function_names": [ "yieldSource_transferFrom" ], "function_signatures": [ "yieldSource_transferFrom(address,address,uint256)" ], "saved_corpus_calls": 373, "selector": "0x53494d09", "share": 0.006232351418 }, { "comparison_key": "0x62932228", "function_names": [ "superVaultStrategy_moveAccumulatorOnTransfer" ], "function_signatures": [ "superVaultStrategy_moveAccumulatorOnTransfer(address,address,uint256)" ], "saved_corpus_calls": 373, "selector": "0x62932228", "share": 0.006232351418 }, { "comparison_key": "0x5485b3cb", "function_names": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED" ], "function_signatures": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED(uint256,uint256)" ], "saved_corpus_calls": 372, "selector": "0x5485b3cb", "share": 0.006215642701 }, { "comparison_key": "0xe121d831", "function_names": [ "yieldSource_setRevertBehavior5115" ], "function_signatures": [ "yieldSource_setRevertBehavior5115(uint8)" ], "saved_corpus_calls": 367, "selector": "0xe121d831", "share": 0.006132099116 }, { "comparison_key": "0xe53dc6d6", "function_names": [ "erc7540_7_redeem" ], "function_signatures": [ "erc7540_7_redeem(address,uint256)" ], "saved_corpus_calls": 367, "selector": "0xe53dc6d6", "share": 0.006132099116 }, { "comparison_key": "0xe94aa8d4", "function_names": [ "erc7540_2" ], "function_signatures": [ "erc7540_2(address)" ], "saved_corpus_calls": 365, "selector": "0xe94aa8d4", "share": 0.006098681682 }, { "comparison_key": "0xa6b7e9a7", "function_names": [ "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT" ], "function_signatures": [ "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT(uint256)" ], "saved_corpus_calls": 362, "selector": "0xa6b7e9a7", "share": 0.006048555531 }, { "comparison_key": "0xde29b51f", "function_names": [ "superGovernor_proposeGlobalHooksRoot_clamped" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot_clamped(bytes32)" ], "saved_corpus_calls": 362, "selector": "0xde29b51f", "share": 0.006048555531 }, { "comparison_key": "0xed652da1", "function_names": [ "superVaultAggregator_slashStake" ], "function_signatures": [ "superVaultAggregator_slashStake(address,uint256)" ], "saved_corpus_calls": 361, "selector": "0xed652da1", "share": 0.006031846814 }, { "comparison_key": "0xdddfc6cc", "function_names": [ "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW" ], "function_signatures": [ "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW(uint256)" ], "saved_corpus_calls": 360, "selector": "0xdddfc6cc", "share": 0.006015138098 }, { "comparison_key": "0x1c0ee36b", "function_names": [ "superVaultStrategy_executeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_executeVaultFeeConfigUpdate()" ], "saved_corpus_calls": 359, "selector": "0x1c0ee36b", "share": 0.005998429381 }, { "comparison_key": "0x2fa9dadc", "function_names": [ "asset_approve" ], "function_signatures": [ "asset_approve(address,uint128)" ], "saved_corpus_calls": 359, "selector": "0x2fa9dadc", "share": 0.005998429381 }, { "comparison_key": "0x6ab2ab12", "function_names": [ "superVaultEscrow_escrowShares" ], "function_signatures": [ "superVaultEscrow_escrowShares(address,uint256)" ], "saved_corpus_calls": 358, "selector": "0x6ab2ab12", "share": 0.005981720664 }, { "comparison_key": "0xd15446d6", "function_names": [ "yieldSource_redeem5115" ], "function_signatures": [ "yieldSource_redeem5115(address,uint256,address,uint256,bool)" ], "saved_corpus_calls": 357, "selector": "0xd15446d6", "share": 0.005965011947 }, { "comparison_key": "0xfb57459d", "function_names": [ "invariant_accumulatorCostBasisSolvency" ], "function_signatures": [ "invariant_accumulatorCostBasisSolvency()" ], "saved_corpus_calls": 356, "selector": "0xfb57459d", "share": 0.00594830323 }, { "comparison_key": "0xb1505051", "function_names": [ "invariant_totalAssets" ], "function_signatures": [ "invariant_totalAssets()" ], "saved_corpus_calls": 355, "selector": "0xb1505051", "share": 0.005931594513 }, { "comparison_key": "0xbb8c4131", "function_names": [ "superVaultAggregator_executeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 355, "selector": "0xbb8c4131", "share": 0.005931594513 }, { "comparison_key": "0x653d736a", "function_names": [ "superVaultAggregator_withdrawUpkeep" ], "function_signatures": [ "superVaultAggregator_withdrawUpkeep(uint256)" ], "saved_corpus_calls": 354, "selector": "0x653d736a", "share": 0.005914885796 }, { "comparison_key": "0x85d88492", "function_names": [ "superGovernor_proposeFee_clamped" ], "function_signatures": [ "superGovernor_proposeFee_clamped(uint256,uint256)" ], "saved_corpus_calls": 354, "selector": "0x85d88492", "share": 0.005914885796 }, { "comparison_key": "0x47801ba1", "function_names": [ "yieldSource_requestDeposit" ], "function_signatures": [ "yieldSource_requestDeposit(uint256,address,address)" ], "saved_corpus_calls": 353, "selector": "0x47801ba1", "share": 0.005898177079 }, { "comparison_key": "0x7509cbd9", "function_names": [ "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW" ], "function_signatures": [ "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW(uint256)" ], "saved_corpus_calls": 353, "selector": "0x7509cbd9", "share": 0.005898177079 }, { "comparison_key": "0xf9e20e1b", "function_names": [ "superVaultStrategy_handleOperations4626Deposit" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Deposit(address,uint256)" ], "saved_corpus_calls": 353, "selector": "0xf9e20e1b", "share": 0.005898177079 }, { "comparison_key": "0x5efcce37", "function_names": [ "yieldSource_deposit7540" ], "function_signatures": [ "yieldSource_deposit7540(uint256,address,address)" ], "saved_corpus_calls": 352, "selector": "0x5efcce37", "share": 0.005881468362 }, { "comparison_key": "0xfb4e3345", "function_names": [ "invariant_erc7540_1" ], "function_signatures": [ "invariant_erc7540_1()" ], "saved_corpus_calls": 352, "selector": "0xfb4e3345", "share": 0.005881468362 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 351, "selector": "0x1a042ae7", "share": 0.005864759645 }, { "comparison_key": "0x923b5116", "function_names": [ "ECDSAPPSOracle_updatePPS_clamped" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS_clamped(uint256)" ], "saved_corpus_calls": 351, "selector": "0x923b5116", "share": 0.005864759645 }, { "comparison_key": "0x6b3894b9", "function_names": [ "optimize_maxDustAccumulation" ], "function_signatures": [ "optimize_maxDustAccumulation()" ], "saved_corpus_calls": 350, "selector": "0x6b3894b9", "share": 0.005848050928 }, { "comparison_key": "0x9b62d72e", "function_names": [ "superVaultAggregator_claimUpkeep" ], "function_signatures": [ "superVaultAggregator_claimUpkeep(uint256)" ], "saved_corpus_calls": 350, "selector": "0x9b62d72e", "share": 0.005848050928 }, { "comparison_key": "0xf9534397", "function_names": [ "superVault_burnShares" ], "function_signatures": [ "superVault_burnShares(uint256)" ], "saved_corpus_calls": 349, "selector": "0xf9534397", "share": 0.005831342211 }, { "comparison_key": "0x37f0d09d", "function_names": [ "superVaultAggregator_removeSecondaryManager" ], "function_signatures": [ "superVaultAggregator_removeSecondaryManager(address,address)" ], "saved_corpus_calls": 348, "selector": "0x37f0d09d", "share": 0.005814633494 }, { "comparison_key": "0xbed76c2c", "function_names": [ "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION" ], "function_signatures": [ "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION(uint256)" ], "saved_corpus_calls": 348, "selector": "0xbed76c2c", "share": 0.005814633494 }, { "comparison_key": "0x1b75d706", "function_names": [ "_getRandomActor" ], "function_signatures": [ "_getRandomActor(uint256)" ], "saved_corpus_calls": 347, "selector": "0x1b75d706", "share": 0.005797924777 }, { "comparison_key": "0x31f725a0", "function_names": [ "ECDSAPPSOracle_updatePPS" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS((address[],bytes[][],uint256[],uint256[],uint256[],uint256[],uint256[]))" ], "saved_corpus_calls": 347, "selector": "0x31f725a0", "share": 0.005797924777 }, { "comparison_key": "0xcc39bf79", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager(address,address)" ], "saved_corpus_calls": 347, "selector": "0xcc39bf79", "share": 0.005797924777 }, { "comparison_key": "0x16932562", "function_names": [ "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION" ], "function_signatures": [ "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION(uint256)" ], "saved_corpus_calls": 346, "selector": "0x16932562", "share": 0.00578121606 }, { "comparison_key": "0x69a21b7a", "function_names": [ "yieldSource_requestRedeem" ], "function_signatures": [ "yieldSource_requestRedeem(uint256,address,address)" ], "saved_corpus_calls": 346, "selector": "0x69a21b7a", "share": 0.00578121606 }, { "comparison_key": "0x0012bfca", "function_names": [ "superVaultStrategy_handleOperations4626Mint" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Mint(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 345, "selector": "0x0012bfca", "share": 0.005764507343 }, { "comparison_key": "0xb6fefb31", "function_names": [ "erc7540_4_withdraw" ], "function_signatures": [ "erc7540_4_withdraw(address,uint256)" ], "saved_corpus_calls": 345, "selector": "0xb6fefb31", "share": 0.005764507343 }, { "comparison_key": "0xc15a22de", "function_names": [ "switch_vault" ], "function_signatures": [ "switch_vault(uint256)" ], "saved_corpus_calls": 345, "selector": "0xc15a22de", "share": 0.005764507343 }, { "comparison_key": "0x15d24046", "function_names": [ "optimize_assetBackingDifference" ], "function_signatures": [ "optimize_assetBackingDifference()" ], "saved_corpus_calls": 344, "selector": "0x15d24046", "share": 0.005747798627 }, { "comparison_key": "0xff06850b", "function_names": [ "superGovernor_proposeGlobalHooksRoot" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot(bytes32)" ], "saved_corpus_calls": 344, "selector": "0xff06850b", "share": 0.005747798627 }, { "comparison_key": "0x53b95ac1", "function_names": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE" ], "function_signatures": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE()" ], "saved_corpus_calls": 340, "selector": "0x53b95ac1", "share": 0.005680963759 }, { "comparison_key": "0x135a35ac", "function_names": [ "yieldSource_claimCancelRedeemRequest" ], "function_signatures": [ "yieldSource_claimCancelRedeemRequest(uint256,address,address)" ], "saved_corpus_calls": 339, "selector": "0x135a35ac", "share": 0.005664255042 }, { "comparison_key": "0x5d83e580", "function_names": [ "yieldSource_simulateGain" ], "function_signatures": [ "yieldSource_simulateGain(uint256)" ], "saved_corpus_calls": 338, "selector": "0x5d83e580", "share": 0.005647546325 }, { "comparison_key": "0x724ce6ea", "function_names": [ "yieldSource_cancelDepositRequest" ], "function_signatures": [ "yieldSource_cancelDepositRequest(uint256,address)" ], "saved_corpus_calls": 338, "selector": "0x724ce6ea", "share": 0.005647546325 }, { "comparison_key": "0x49ad59f9", "function_names": [ "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM" ], "function_signatures": [ "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM(uint256)" ], "saved_corpus_calls": 337, "selector": "0x49ad59f9", "share": 0.005630837608 }, { "comparison_key": "0x5e79ec62", "function_names": [ "superVaultAggregator_createVault_clamped" ], "function_signatures": [ "superVaultAggregator_createVault_clamped(uint256,uint256,uint256,uint256)" ], "saved_corpus_calls": 337, "selector": "0x5e79ec62", "share": 0.005630837608 }, { "comparison_key": "0x6a07236f", "function_names": [ "optimize_burnMoreThanRequestedInRedemption" ], "function_signatures": [ "optimize_burnMoreThanRequestedInRedemption()" ], "saved_corpus_calls": 337, "selector": "0x6a07236f", "share": 0.005630837608 }, { "comparison_key": "0x72176d00", "function_names": [ "superVault_withdraw" ], "function_signatures": [ "superVault_withdraw(uint256)" ], "saved_corpus_calls": 337, "selector": "0x72176d00", "share": 0.005630837608 }, { "comparison_key": "0xadb365f3", "function_names": [ "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM" ], "function_signatures": [ "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM(uint256,uint256,uint256)" ], "saved_corpus_calls": 337, "selector": "0xadb365f3", "share": 0.005630837608 }, { "comparison_key": "0xe63df834", "function_names": [ "superVaultAggregator_changePrimaryManager" ], "function_signatures": [ "superVaultAggregator_changePrimaryManager(address,address)" ], "saved_corpus_calls": 337, "selector": "0xe63df834", "share": 0.005630837608 }, { "comparison_key": "0xb7166ff0", "function_names": [ "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance" ], "function_signatures": [ "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance()" ], "saved_corpus_calls": 336, "selector": "0xb7166ff0", "share": 0.005614128891 }, { "comparison_key": "0x0a3f0749", "function_names": [ "optimize_burnLessThanRequestedInRedemption" ], "function_signatures": [ "optimize_burnLessThanRequestedInRedemption()" ], "saved_corpus_calls": 335, "selector": "0x0a3f0749", "share": 0.005597420174 }, { "comparison_key": "0x0d568161", "function_names": [ "superGovernor_proposeFee" ], "function_signatures": [ "superGovernor_proposeFee(uint8,uint256)" ], "saved_corpus_calls": 335, "selector": "0x0d568161", "share": 0.005597420174 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 335, "selector": "0x6801b82e", "share": 0.005597420174 }, { "comparison_key": "0x9f9c2957", "function_names": [ "erc7540_4_deposit" ], "function_signatures": [ "erc7540_4_deposit(address,uint256)" ], "saved_corpus_calls": 335, "selector": "0x9f9c2957", "share": 0.005597420174 }, { "comparison_key": "0x367ea3d8", "function_names": [ "invariant_shareSolvency" ], "function_signatures": [ "invariant_shareSolvency()" ], "saved_corpus_calls": 332, "selector": "0x367ea3d8", "share": 0.005547294023 }, { "comparison_key": "0x5b5006a4", "function_names": [ "invariant_erc7540_3" ], "function_signatures": [ "invariant_erc7540_3()" ], "saved_corpus_calls": 332, "selector": "0x5b5006a4", "share": 0.005547294023 }, { "comparison_key": "0xf701f996", "function_names": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY" ], "function_signatures": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY()" ], "saved_corpus_calls": 331, "selector": "0xf701f996", "share": 0.005530585306 }, { "comparison_key": "0x9b5b4765", "function_names": [ "yieldSource_switchToERC7540" ], "function_signatures": [ "yieldSource_switchToERC7540()" ], "saved_corpus_calls": 330, "selector": "0x9b5b4765", "share": 0.005513876589 }, { "comparison_key": "0xd62a2f11", "function_names": [ "setFulfilledDifference" ], "function_signatures": [ "setFulfilledDifference()" ], "saved_corpus_calls": 330, "selector": "0xd62a2f11", "share": 0.005513876589 }, { "comparison_key": "0x452ba873", "function_names": [ "optimize_moreClaimableThanHeldDifference" ], "function_signatures": [ "optimize_moreClaimableThanHeldDifference()" ], "saved_corpus_calls": 329, "selector": "0x452ba873", "share": 0.005497167872 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 329, "selector": "0x55ba98ff", "share": 0.005497167872 }, { "comparison_key": "0xb8ded484", "function_names": [ "superVault_approve" ], "function_signatures": [ "superVault_approve(address,uint256)" ], "saved_corpus_calls": 329, "selector": "0xb8ded484", "share": 0.005497167872 }, { "comparison_key": "0x11200cde", "function_names": [ "superVault_requestRedeem" ], "function_signatures": [ "superVault_requestRedeem(uint256)" ], "saved_corpus_calls": 327, "selector": "0x11200cde", "share": 0.005463750439 }, { "comparison_key": "0x33622846", "function_names": [ "superVaultEscrow_initialize" ], "function_signatures": [ "superVaultEscrow_initialize(address,address)" ], "saved_corpus_calls": 327, "selector": "0x33622846", "share": 0.005463750439 }, { "comparison_key": "0x94ad47e5", "function_names": [ "yieldSource_switchToERC4626" ], "function_signatures": [ "yieldSource_switchToERC4626()" ], "saved_corpus_calls": 327, "selector": "0x94ad47e5", "share": 0.005463750439 }, { "comparison_key": "0x9eb67371", "function_names": [ "superVault_setOperator" ], "function_signatures": [ "superVault_setOperator(uint256,bool)" ], "saved_corpus_calls": 327, "selector": "0x9eb67371", "share": 0.005463750439 }, { "comparison_key": "0x7ee964d5", "function_names": [ "yieldSource_simulateLoss" ], "function_signatures": [ "yieldSource_simulateLoss(uint256)" ], "saved_corpus_calls": 326, "selector": "0x7ee964d5", "share": 0.005447041722 }, { "comparison_key": "0xebc46a2a", "function_names": [ "setPreviewSharesGreater" ], "function_signatures": [ "setPreviewSharesGreater(uint256)" ], "saved_corpus_calls": 326, "selector": "0xebc46a2a", "share": 0.005447041722 }, { "comparison_key": "0xf1f2a8fb", "function_names": [ "superVaultStrategy_executeHooks_clamped" ], "function_signatures": [ "superVaultStrategy_executeHooks_clamped(uint256[],uint256[],bool[])" ], "saved_corpus_calls": 326, "selector": "0xf1f2a8fb", "share": 0.005447041722 }, { "comparison_key": "0x9da6e005", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange_clamped" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange_clamped()" ], "saved_corpus_calls": 325, "selector": "0x9da6e005", "share": 0.005430333005 }, { "comparison_key": "0xbc0a3bd7", "function_names": [ "mockERC5115YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC5115YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 324, "selector": "0xbc0a3bd7", "share": 0.005413624288 }, { "comparison_key": "0x166d031e", "function_names": [ "yieldSource_withdraw" ], "function_signatures": [ "yieldSource_withdraw(uint256,address,address)" ], "saved_corpus_calls": 322, "selector": "0x166d031e", "share": 0.005380206854 }, { "comparison_key": "0x652e3935", "function_names": [ "asset_mint" ], "function_signatures": [ "asset_mint(address,uint128)" ], "saved_corpus_calls": 322, "selector": "0x652e3935", "share": 0.005380206854 }, { "comparison_key": "0xa97d49d1", "function_names": [ "yieldSource_cancelRedeemRequest" ], "function_signatures": [ "yieldSource_cancelRedeemRequest(uint256,address)" ], "saved_corpus_calls": 322, "selector": "0xa97d49d1", "share": 0.005380206854 }, { "comparison_key": "0xd30f03fa", "function_names": [ "superVaultEscrow_returnShares" ], "function_signatures": [ "superVaultEscrow_returnShares(address,uint256)" ], "saved_corpus_calls": 322, "selector": "0xd30f03fa", "share": 0.005380206854 }, { "comparison_key": "0x4a9f284f", "function_names": [ "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL" ], "function_signatures": [ "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL(uint256)" ], "saved_corpus_calls": 321, "selector": "0x4a9f284f", "share": 0.005363498137 }, { "comparison_key": "0x5b4065cc", "function_names": [ "erc7540_3" ], "function_signatures": [ "erc7540_3(address)" ], "saved_corpus_calls": 321, "selector": "0x5b4065cc", "share": 0.005363498137 }, { "comparison_key": "0x8318025e", "function_names": [ "invariant_fulfillOnlyBurnsRequestedAmount" ], "function_signatures": [ "invariant_fulfillOnlyBurnsRequestedAmount()" ], "saved_corpus_calls": 321, "selector": "0x8318025e", "share": 0.005363498137 }, { "comparison_key": "0xc2dc09e3", "function_names": [ "invariant_avgPPSDoesntDecrease" ], "function_signatures": [ "invariant_avgPPSDoesntDecrease()" ], "saved_corpus_calls": 320, "selector": "0xc2dc09e3", "share": 0.00534678942 }, { "comparison_key": "0xc6f09e40", "function_names": [ "global_erc7540_5_ASSERTION_ERC7540_5" ], "function_signatures": [ "global_erc7540_5_ASSERTION_ERC7540_5(uint256)" ], "saved_corpus_calls": 320, "selector": "0xc6f09e40", "share": 0.00534678942 }, { "comparison_key": "0x153c0881", "function_names": [ "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT" ], "function_signatures": [ "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT(uint256)" ], "saved_corpus_calls": 319, "selector": "0x153c0881", "share": 0.005330080703 }, { "comparison_key": "0x5e3be3a1", "function_names": [ "invariant_escrowBalance" ], "function_signatures": [ "invariant_escrowBalance()" ], "saved_corpus_calls": 319, "selector": "0x5e3be3a1", "share": 0.005330080703 }, { "comparison_key": "0x9d5c96d1", "function_names": [ "superVaultStrategy_handleOperations7540" ], "function_signatures": [ "superVaultStrategy_handleOperations7540(uint8,address,address,uint256)" ], "saved_corpus_calls": 319, "selector": "0x9d5c96d1", "share": 0.005330080703 }, { "comparison_key": "0xbaa30e3f", "function_names": [ "superVaultStrategy_proposeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_proposeVaultFeeConfigUpdate(uint256,uint256,address)" ], "saved_corpus_calls": 319, "selector": "0xbaa30e3f", "share": 0.005330080703 }, { "comparison_key": "0x6e2c0de8", "function_names": [ "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES" ], "function_signatures": [ "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES(uint256)" ], "saved_corpus_calls": 318, "selector": "0x6e2c0de8", "share": 0.005313371986 }, { "comparison_key": "0xb8bfb90d", "function_names": [ "invariant_oraclePPSDoesntChangeOnAddOrRemove" ], "function_signatures": [ "invariant_oraclePPSDoesntChangeOnAddOrRemove()" ], "saved_corpus_calls": 318, "selector": "0xb8bfb90d", "share": 0.005313371986 }, { "comparison_key": "0x6d8b86e5", "function_names": [ "_fulfillRedeemRequestsArgs" ], "function_signatures": [ "_fulfillRedeemRequestsArgs(uint256)" ], "saved_corpus_calls": 317, "selector": "0x6d8b86e5", "share": 0.005296663269 }, { "comparison_key": "0xba82804f", "function_names": [ "superGovernor_executeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_executeUpkeepPaymentsChange()" ], "saved_corpus_calls": 317, "selector": "0xba82804f", "share": 0.005296663269 }, { "comparison_key": "0x6f111386", "function_names": [ "superVault_redeem" ], "function_signatures": [ "superVault_redeem(uint256)" ], "saved_corpus_calls": 316, "selector": "0x6f111386", "share": 0.005279954552 }, { "comparison_key": "0xf7f335e9", "function_names": [ "yieldSource_approve" ], "function_signatures": [ "yieldSource_approve(address,uint256)" ], "saved_corpus_calls": 315, "selector": "0xf7f335e9", "share": 0.005263245835 }, { "comparison_key": "0x6901727f", "function_names": [ "erc7540_7_withdraw" ], "function_signatures": [ "erc7540_7_withdraw(address,uint256)" ], "saved_corpus_calls": 313, "selector": "0x6901727f", "share": 0.005229828401 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 312, "selector": "0xf24a44c9", "share": 0.005213119685 }, { "comparison_key": "0xe88907e7", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 311, "selector": "0xe88907e7", "share": 0.005196410968 }, { "comparison_key": "0xf51545d6", "function_names": [ "invariant_maxDepositZeroWhenPaused" ], "function_signatures": [ "invariant_maxDepositZeroWhenPaused()" ], "saved_corpus_calls": 311, "selector": "0xf51545d6", "share": 0.005196410968 }, { "comparison_key": "0x05c4dfe6", "function_names": [ "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM" ], "function_signatures": [ "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM(uint256)" ], "saved_corpus_calls": 310, "selector": "0x05c4dfe6", "share": 0.005179702251 }, { "comparison_key": "0x9cb2de70", "function_names": [ "superVaultStrategy_executeHooks" ], "function_signatures": [ "superVaultStrategy_executeHooks((address[],bytes[],uint256[],bytes32[][],bytes32[][]))" ], "saved_corpus_calls": 310, "selector": "0x9cb2de70", "share": 0.005179702251 }, { "comparison_key": "0xd1fbeeaa", "function_names": [ "invariant_maxMintZeroWhenPaused" ], "function_signatures": [ "invariant_maxMintZeroWhenPaused()" ], "saved_corpus_calls": 310, "selector": "0xd1fbeeaa", "share": 0.005179702251 }, { "comparison_key": "0x3f614fab", "function_names": [ "superVault_redeem_clamped" ], "function_signatures": [ "superVault_redeem_clamped(uint256)" ], "saved_corpus_calls": 309, "selector": "0x3f614fab", "share": 0.005162993534 }, { "comparison_key": "0x616fdce4", "function_names": [ "MAX_ROUNDING_ERROR" ], "function_signatures": [ "MAX_ROUNDING_ERROR()" ], "saved_corpus_calls": 309, "selector": "0x616fdce4", "share": 0.005162993534 }, { "comparison_key": "0x7a3b3b99", "function_names": [ "invariant_cancelDoesntChangeTotalSupply" ], "function_signatures": [ "invariant_cancelDoesntChangeTotalSupply()" ], "saved_corpus_calls": 309, "selector": "0x7a3b3b99", "share": 0.005162993534 }, { "comparison_key": "0x8491e3d2", "function_names": [ "setpreviewAssetsGreater" ], "function_signatures": [ "setpreviewAssetsGreater(uint256)" ], "saved_corpus_calls": 308, "selector": "0x8491e3d2", "share": 0.005146284817 }, { "comparison_key": "0x6f1b5a20", "function_names": [ "superVault_withdraw_clamped" ], "function_signatures": [ "superVault_withdraw_clamped(uint256)" ], "saved_corpus_calls": 307, "selector": "0x6f1b5a20", "share": 0.0051295761 }, { "comparison_key": "0x7ed1278a", "function_names": [ "erc7540_4_mint" ], "function_signatures": [ "erc7540_4_mint(address,uint256)" ], "saved_corpus_calls": 307, "selector": "0x7ed1278a", "share": 0.0051295761 }, { "comparison_key": "0xc0532bec", "function_names": [ "superVaultAggregator_withdrawStake" ], "function_signatures": [ "superVaultAggregator_withdrawStake(uint256)" ], "saved_corpus_calls": 307, "selector": "0xc0532bec", "share": 0.0051295761 }, { "comparison_key": "0x85c3770a", "function_names": [ "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS" ], "function_signatures": [ "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS(uint256)" ], "saved_corpus_calls": 306, "selector": "0x85c3770a", "share": 0.005112867383 }, { "comparison_key": "0x993eb322", "function_names": [ "yieldSource_setOperator" ], "function_signatures": [ "yieldSource_setOperator(address,bool)" ], "saved_corpus_calls": 306, "selector": "0x993eb322", "share": 0.005112867383 }, { "comparison_key": "0x4e9ce11d", "function_names": [ "mockERC4626YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC4626YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 305, "selector": "0x4e9ce11d", "share": 0.005096158666 }, { "comparison_key": "0x18395098", "function_names": [ "invariant_assetBacking" ], "function_signatures": [ "invariant_assetBacking()" ], "saved_corpus_calls": 304, "selector": "0x18395098", "share": 0.005079449949 }, { "comparison_key": "0x4da21e73", "function_names": [ "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED" ], "function_signatures": [ "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED()" ], "saved_corpus_calls": 303, "selector": "0x4da21e73", "share": 0.005062741232 }, { "comparison_key": "0x8b7a0b44", "function_names": [ "erc7540_1" ], "function_signatures": [ "erc7540_1(address)" ], "saved_corpus_calls": 303, "selector": "0x8b7a0b44", "share": 0.005062741232 }, { "comparison_key": "0x0de1fd4c", "function_names": [ "superGovernor_executeUpkeepClaim" ], "function_signatures": [ "superGovernor_executeUpkeepClaim(uint256)" ], "saved_corpus_calls": 302, "selector": "0x0de1fd4c", "share": 0.005046032515 }, { "comparison_key": "0x3f4d3a0c", "function_names": [ "superVault_invalidateNonce" ], "function_signatures": [ "superVault_invalidateNonce(bytes32)" ], "saved_corpus_calls": 302, "selector": "0x3f4d3a0c", "share": 0.005046032515 }, { "comparison_key": "0x610b63e4", "function_names": [ "superGovernor_proposeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_proposeAddIncentiveTokens(address[])" ], "saved_corpus_calls": 302, "selector": "0x610b63e4", "share": 0.005046032515 }, { "comparison_key": "0x3a435458", "function_names": [ "invariant_accumulatorSharesIncrease" ], "function_signatures": [ "invariant_accumulatorSharesIncrease()" ], "saved_corpus_calls": 299, "selector": "0x3a435458", "share": 0.004995906364 }, { "comparison_key": "0x59ddd4d4", "function_names": [ "invariant_erc7540_2" ], "function_signatures": [ "invariant_erc7540_2()" ], "saved_corpus_calls": 299, "selector": "0x59ddd4d4", "share": 0.004995906364 }, { "comparison_key": "0x8efa3b2d", "function_names": [ "invariant_totalSharesDontDecreaseOnRedemptionRequest" ], "function_signatures": [ "invariant_totalSharesDontDecreaseOnRedemptionRequest()" ], "saved_corpus_calls": 299, "selector": "0x8efa3b2d", "share": 0.004995906364 }, { "comparison_key": "0x64dfafca", "function_names": [ "superVaultAggregator_addAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_addAuthorizedCaller(address,address)" ], "saved_corpus_calls": 296, "selector": "0x64dfafca", "share": 0.004945780214 }, { "comparison_key": "0xc6227243", "function_names": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL" ], "function_signatures": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 296, "selector": "0xc6227243", "share": 0.004945780214 }, { "comparison_key": "0x431f4fcf", "function_names": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 293, "selector": "0x431f4fcf", "share": 0.004895654063 }, { "comparison_key": "0x4a06cb2a", "function_names": [ "superVault_requestRedeem_clamped" ], "function_signatures": [ "superVault_requestRedeem_clamped(uint256)" ], "saved_corpus_calls": 293, "selector": "0x4a06cb2a", "share": 0.004895654063 }, { "comparison_key": "0xfead5404", "function_names": [ "yieldSourceOracle_setValidAsset_clamped" ], "function_signatures": [ "yieldSourceOracle_setValidAsset_clamped()" ], "saved_corpus_calls": 291, "selector": "0xfead5404", "share": 0.004862236629 }, { "comparison_key": "0x1e78dbc2", "function_names": [ "superVaultAggregator_updatePPSVerificationThresholds" ], "function_signatures": [ "superVaultAggregator_updatePPSVerificationThresholds(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 290, "selector": "0x1e78dbc2", "share": 0.004845527912 }, { "comparison_key": "0x5c332195", "function_names": [ "invariant_sumOfClaimable" ], "function_signatures": [ "invariant_sumOfClaimable()" ], "saved_corpus_calls": 288, "selector": "0x5c332195", "share": 0.004812110478 }, { "comparison_key": "0x30ee3a01", "function_names": [ "superGovernor_executeFeeUpdate" ], "function_signatures": [ "superGovernor_executeFeeUpdate(uint8)" ], "saved_corpus_calls": 287, "selector": "0x30ee3a01", "share": 0.004795401761 }, { "comparison_key": "0x83778d4b", "function_names": [ "erc7540_5" ], "function_signatures": [ "erc7540_5(address,address,uint256)" ], "saved_corpus_calls": 287, "selector": "0x83778d4b", "share": 0.004795401761 }, { "comparison_key": "0x98bea562", "function_names": [ "yieldSource_setLossOnWithdraw" ], "function_signatures": [ "yieldSource_setLossOnWithdraw(uint256)" ], "saved_corpus_calls": 285, "selector": "0x98bea562", "share": 0.004761984327 }, { "comparison_key": "0x2d9fdcd8", "function_names": [ "mockERC7540YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC7540YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 283, "selector": "0x2d9fdcd8", "share": 0.004728566893 }, { "comparison_key": "0x5111e7ca", "function_names": [ "erc7540_6" ], "function_signatures": [ "erc7540_6(address)" ], "saved_corpus_calls": 283, "selector": "0x5111e7ca", "share": 0.004728566893 }, { "comparison_key": "0x58a818d4", "function_names": [ "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS" ], "function_signatures": [ "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS(uint256[3],uint256[3])" ], "saved_corpus_calls": 283, "selector": "0x58a818d4", "share": 0.004728566893 }, { "comparison_key": "0x58deadba", "function_names": [ "superVaultAggregator_addSecondaryManager" ], "function_signatures": [ "superVaultAggregator_addSecondaryManager(address,address)" ], "saved_corpus_calls": 282, "selector": "0x58deadba", "share": 0.004711858176 }, { "comparison_key": "0x7fbba149", "function_names": [ "add_new_asset" ], "function_signatures": [ "add_new_asset(uint8)" ], "saved_corpus_calls": 282, "selector": "0x7fbba149", "share": 0.004711858176 }, { "comparison_key": "0x7fd74a62", "function_names": [ "superVaultStrategy_manageYieldSources" ], "function_signatures": [ "superVaultStrategy_manageYieldSources(address[],address[],uint8[])" ], "saved_corpus_calls": 282, "selector": "0x7fd74a62", "share": 0.004711858176 }, { "comparison_key": "0x82b3bcf6", "function_names": [ "invariant_sumOfAssetsMaxWithdrawable" ], "function_signatures": [ "invariant_sumOfAssetsMaxWithdrawable()" ], "saved_corpus_calls": 282, "selector": "0x82b3bcf6", "share": 0.004711858176 }, { "comparison_key": "0xd03da50e", "function_names": [ "yieldSource_switchRandom" ], "function_signatures": [ "yieldSource_switchRandom(uint256)" ], "saved_corpus_calls": 281, "selector": "0xd03da50e", "share": 0.004695149459 }, { "comparison_key": "0x1de49bf9", "function_names": [ "superVaultAggregator_executeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager(address)" ], "saved_corpus_calls": 280, "selector": "0x1de49bf9", "share": 0.004678440743 }, { "comparison_key": "0x2ac9c057", "function_names": [ "superGovernor_executeMinStalenesChange" ], "function_signatures": [ "superGovernor_executeMinStalenesChange()" ], "saved_corpus_calls": 276, "selector": "0x2ac9c057", "share": 0.004611605875 }, { "comparison_key": "0xdeaf00fe", "function_names": [ "superGovernor_executeRemoveIncentiveTokens" ], "function_signatures": [ "superGovernor_executeRemoveIncentiveTokens()" ], "saved_corpus_calls": 275, "selector": "0xdeaf00fe", "share": 0.004594897158 }, { "comparison_key": "0xc8f637e2", "function_names": [ "yieldSource_switchToERC5115" ], "function_signatures": [ "yieldSource_switchToERC5115()" ], "saved_corpus_calls": 271, "selector": "0xc8f637e2", "share": 0.00452806229 }, { "comparison_key": "0x1c550191", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange(bool)" ], "saved_corpus_calls": 270, "selector": "0x1c550191", "share": 0.004511353573 }, { "comparison_key": "0x64d59d46", "function_names": [ "_sumStrategyAssets" ], "function_signatures": [ "_sumStrategyAssets()" ], "saved_corpus_calls": 270, "selector": "0x64d59d46", "share": 0.004511353573 }, { "comparison_key": "0x4f79f39c", "function_names": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL" ], "function_signatures": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 269, "selector": "0x4f79f39c", "share": 0.004494644856 }, { "comparison_key": "0x945a7f7a", "function_names": [ "superGovernor_proposeMinStaleness" ], "function_signatures": [ "superGovernor_proposeMinStaleness(uint256)" ], "saved_corpus_calls": 267, "selector": "0x945a7f7a", "share": 0.004461227422 }, { "comparison_key": "0x7c492380", "function_names": [ "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT" ], "function_signatures": [ "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT((address[],address[],bytes[],uint256[],bytes32[][],bytes32[][]))" ], "saved_corpus_calls": 264, "selector": "0x7c492380", "share": 0.004411101272 }, { "comparison_key": "0xa08e3d64", "function_names": [ "superVaultAggregator_depositUpkeep" ], "function_signatures": [ "superVaultAggregator_depositUpkeep(uint256)" ], "saved_corpus_calls": 264, "selector": "0xa08e3d64", "share": 0.004411101272 }, { "comparison_key": "0x45c718d4", "function_names": [ "invariant_accumulatorCostBasisIncrease" ], "function_signatures": [ "invariant_accumulatorCostBasisIncrease()" ], "saved_corpus_calls": 262, "selector": "0x45c718d4", "share": 0.004377683838 }, { "comparison_key": "0x51ecdf5d", "function_names": [ "invariant_maxRedeemMaxWithdrawSymmetry" ], "function_signatures": [ "invariant_maxRedeemMaxWithdrawSymmetry()" ], "saved_corpus_calls": 256, "selector": "0x51ecdf5d", "share": 0.004277431536 }, { "comparison_key": "0xbd3e56b3", "function_names": [ "superVaultStrategy_manageEmergencyWithdraw" ], "function_signatures": [ "superVaultStrategy_manageEmergencyWithdraw(uint8,address,uint256)" ], "saved_corpus_calls": 251, "selector": "0xbd3e56b3", "share": 0.004193887951 }, { "comparison_key": "0xecac6242", "function_names": [ "superVaultStrategy_handleOperations7540_clamped" ], "function_signatures": [ "superVaultStrategy_handleOperations7540_clamped(uint256,uint256)" ], "saved_corpus_calls": 251, "selector": "0xecac6242", "share": 0.004193887951 }, { "comparison_key": "0xa575357a", "function_names": [ "erc7540_7_deposit" ], "function_signatures": [ "erc7540_7_deposit(address,uint256)" ], "saved_corpus_calls": 246, "selector": "0xa575357a", "share": 0.004110344367 }, { "comparison_key": "0x5b1e6f92", "function_names": [ "invariant_accumulatorSharesGtPendingRequests" ], "function_signatures": [ "invariant_accumulatorSharesGtPendingRequests()" ], "saved_corpus_calls": 225, "selector": "0x5b1e6f92", "share": 0.003759461311 } ], "fuzzer": "recon-fuzzer", "instances": 1, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 59849, "status": "available", "unavailable_instances": 0, "unique_call_identities": 180, "unique_selectors": 180 } ], "health_findings": [], "health_warnings": [], "instances": [ { "artifact_files": 611, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.18", "ignored_calls": 13, "instance_id": "i-0198ed5566c3af50e", "instance_label": "i-0198ed5566c3af50e-recon-v0.4.18", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 611, "processed_artifact_bytes": 217829074, "saved_corpus_calls": 59849, "status": "available", "unique_call_identities": 180, "unique_selectors": 180, "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-30316192002-1", "schema_version": 1 }