{ "expected_set": { "kind": "peer-consensus-heuristic", "selectors": [ { "function_name": "superVaultStrategy_handleOperations4626Mint", "selector": "0x0012bfca", "signature": "superVaultStrategy_handleOperations4626Mint(address,uint256,uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM", "selector": "0x05c4dfe6", "signature": "doomsday_redemptionsNeverReverts_ASSERTION_REDEEM_SHOULD_NOT_REVERT_INVALID_REDEEM_CLAIM(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_manageYieldSource", "selector": "0x0775f957", "signature": "superVaultStrategy_manageYieldSource(address,address,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM", "selector": "0x0a4821cf", "signature": "global_erc7540_7_redeem_ASSERTION_ERC7540_7_REDEEM(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_proposeFee", "selector": "0x0d568161", "signature": "superGovernor_proposeFee(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_executeUpkeepClaim", "selector": "0x0de1fd4c", "signature": "superGovernor_executeUpkeepClaim(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_requestRedeem", "selector": "0x11200cde", "signature": "superVault_requestRedeem(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_removeAuthorizedCaller", "selector": "0x11d72d6f", "signature": "superVaultAggregator_removeAuthorizedCaller(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_fulfillRedeemRequests_clamped", "selector": "0x12af56c5", "signature": "superVaultStrategy_fulfillRedeemRequests_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_claimCancelRedeemRequest", "selector": "0x135a35ac", "signature": "yieldSource_claimCancelRedeemRequest(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT", "selector": "0x153c0881", "signature": "global_erc7540_4_mint_ASSERTION_ERC7540_4_MINT(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_withdraw", "selector": "0x166d031e", "signature": "yieldSource_withdraw(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION", "selector": "0x16932562", "signature": "doomsday_maxRedeemResetsAfterFullRedemption_ASSERTION_MAX_REDEEM_RESETS_AFTER_FULL_REDEMPTION(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_executeFeeUpdate_clamped", "selector": "0x16e7198f", "signature": "superGovernor_executeFeeUpdate_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION", "selector": "0x1a001033", "signature": "superVault_deposit_ASSERTION_PREVIEW_DEPOSIT_MATCHES_EXECUTION(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "_getRandomActor", "selector": "0x1b75d706", "signature": "_getRandomActor(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_executeVaultFeeConfigUpdate", "selector": "0x1c0ee36b", "signature": "superVaultStrategy_executeVaultFeeConfigUpdate()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_proposeUpkeepPaymentsChange", "selector": "0x1c550191", "signature": "superGovernor_proposeUpkeepPaymentsChange(bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_executeChangePrimaryManager", "selector": "0x1de49bf9", "signature": "superVaultAggregator_executeChangePrimaryManager(address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_updatePPSVerificationThresholds", "selector": "0x1e78dbc2", "signature": "superVaultAggregator_updatePPSVerificationThresholds(address,uint256,uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_executeMinStalenesChange", "selector": "0x2ac9c057", "signature": "superGovernor_executeMinStalenesChange()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "mockERC7540YieldSourceOracle_setValidAsset", "selector": "0x2d9fdcd8", "signature": "mockERC7540YieldSourceOracle_setValidAsset(address,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_setDecimalsOffset", "selector": "0x2e323c85", "signature": "yieldSource_setDecimalsOffset(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "asset_approve", "selector": "0x2fa9dadc", "signature": "asset_approve(address,uint128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_executeFeeUpdate", "selector": "0x30ee3a01", "signature": "superGovernor_executeFeeUpdate(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "ECDSAPPSOracle_updatePPS", "selector": "0x31f725a0", "signature": "ECDSAPPSOracle_updatePPS((address[],bytes[][],uint256[],uint256[],uint256[],uint256[],uint256[]))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultEscrow_initialize", "selector": "0x33622846", "signature": "superVaultEscrow_initialize(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_executeAddIncentiveTokens", "selector": "0x3509d9c1", "signature": "superGovernor_executeAddIncentiveTokens()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_removeSecondaryManager", "selector": "0x37f0d09d", "signature": "superVaultAggregator_removeSecondaryManager(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "add_new_vault", "selector": "0x3a32dc68", "signature": "add_new_vault()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_invalidateNonce", "selector": "0x3f4d3a0c", "signature": "superVault_invalidateNonce(bytes32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_redeem_clamped", "selector": "0x3f614fab", "signature": "superVault_redeem_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE", "selector": "0x431f4fcf", "signature": "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS", "selector": "0x47780112", "signature": "global_previewEquivalenceFromAssets_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_ASSETS(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_requestDeposit", "selector": "0x47801ba1", "signature": "yieldSource_requestDeposit(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_4_redeem", "selector": "0x47eb2c05", "signature": "erc7540_4_redeem(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM", "selector": "0x49ad59f9", "signature": "global_erc7540_4_redeem_ASSERTION_ERC7540_4_REDEEM(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_requestRedeem_clamped", "selector": "0x4a06cb2a", "signature": "superVault_requestRedeem_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_depositStake", "selector": "0x4a28a715", "signature": "superVaultAggregator_depositStake(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL", "selector": "0x4a9f284f", "signature": "doomsday_maxWithdrawResetsAfterFullWithdrawal_ASSERTION_MAX_WITHDRAW_RESETS_AFTER_FULL_WITHDRAWAL(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED", "selector": "0x4da21e73", "signature": "doomsday_allUsersCanWithdraw_ASSERTION_ALL_USERS_CAN_WITHDRAW_WHEN_UNPAUSED()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "mockERC4626YieldSourceOracle_setValidAsset", "selector": "0x4e9ce11d", "signature": "mockERC4626YieldSourceOracle_setValidAsset(address,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL", "selector": "0x4f79f39c", "signature": "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_6", "selector": "0x5111e7ca", "signature": "erc7540_6(address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_updateMaxPPSSlippage", "selector": "0x51800fa1", "signature": "superVaultStrategy_updateMaxPPSSlippage(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_transferFrom", "selector": "0x53494d09", "signature": "yieldSource_transferFrom(address,address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE", "selector": "0x53b95ac1", "signature": "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED", "selector": "0x5485b3cb", "signature": "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED(uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "switch_asset", "selector": "0x55ba98ff", "signature": "switch_asset(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS", "selector": "0x58a818d4", "signature": "doomsday_fulfillDoesntOverRedeemMultipleActors_ASSERTION_FULFILL_DOESNT_OVER_REDEEM_MULTIPLE_ACTORS(uint256[3],uint256[3])", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_addSecondaryManager", "selector": "0x58deadba", "signature": "superVaultAggregator_addSecondaryManager(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_3", "selector": "0x5b4065cc", "signature": "erc7540_3(address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_simulateGain", "selector": "0x5d83e580", "signature": "yieldSource_simulateGain(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_createVault_clamped", "selector": "0x5e79ec62", "signature": "superVaultAggregator_createVault_clamped(uint256,uint256,uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_deposit7540", "selector": "0x5efcce37", "signature": "yieldSource_deposit7540(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_proposeAddIncentiveTokens", "selector": "0x610b63e4", "signature": "superGovernor_proposeAddIncentiveTokens(address[])", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "MAX_ROUNDING_ERROR", "selector": "0x616fdce4", "signature": "MAX_ROUNDING_ERROR()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_moveAccumulatorOnTransfer", "selector": "0x62932228", "signature": "superVaultStrategy_moveAccumulatorOnTransfer(address,address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "_sumStrategyAssets", "selector": "0x64d59d46", "signature": "_sumStrategyAssets()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_addAuthorizedCaller", "selector": "0x64dfafca", "signature": "superVaultAggregator_addAuthorizedCaller(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "asset_mint", "selector": "0x652e3935", "signature": "asset_mint(address,uint128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_withdrawUpkeep", "selector": "0x653d736a", "signature": "superVaultAggregator_withdrawUpkeep(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "switchActor", "selector": "0x6801b82e", "signature": "switchActor(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_7_withdraw", "selector": "0x6901727f", "signature": "erc7540_7_withdraw(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_requestRedeem", "selector": "0x69a21b7a", "signature": "yieldSource_requestRedeem(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultEscrow_escrowShares", "selector": "0x6ab2ab12", "signature": "superVaultEscrow_escrowShares(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "_fulfillRedeemRequestsArgs", "selector": "0x6d8b86e5", "signature": "_fulfillRedeemRequestsArgs(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES", "selector": "0x6e2c0de8", "signature": "global_previewEquivalenceFromShares_ASSERTION_GLOBAL_PREVIEW_EQUIVALENCE_FROM_SHARES(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_redeem", "selector": "0x6f111386", "signature": "superVault_redeem(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_withdraw_clamped", "selector": "0x6f1b5a20", "signature": "superVault_withdraw_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_withdraw", "selector": "0x72176d00", "signature": "superVault_withdraw(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_cancelDepositRequest", "selector": "0x724ce6ea", "signature": "yieldSource_cancelDepositRequest(uint256,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW", "selector": "0x7509cbd9", "signature": "global_erc7540_4_withdraw_ASSERTION_ERC7540_4_WITHDRAW(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_redeem", "selector": "0x7674c28d", "signature": "yieldSource_redeem(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT", "selector": "0x7c492380", "signature": "superVaultStrategy_fulfillRedeemRequests_ASSERTION_STRATEGY_NO_LOSS_ON_FULFILLMENT((address[],address[],bytes[],uint256[],bytes32[][],bytes32[][]))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_4_mint", "selector": "0x7ed1278a", "signature": "erc7540_4_mint(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_simulateLoss", "selector": "0x7ee964d5", "signature": "yieldSource_simulateLoss(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "add_new_asset", "selector": "0x7fbba149", "signature": "add_new_asset(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_manageYieldSources", "selector": "0x7fd74a62", "signature": "superVaultStrategy_manageYieldSources(address[],address[],uint8[])", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_5", "selector": "0x83778d4b", "signature": "erc7540_5(address,address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setpreviewAssetsGreater", "selector": "0x8491e3d2", "signature": "setpreviewAssetsGreater(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE", "selector": "0x84d461f2", "signature": "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS", "selector": "0x85c3770a", "signature": "global_comparePreviewMintAndConvertToAssets_ASSERTION_GLOBAL_PREVIEW_MINT_GTE_CONVERT_TO_ASSETS(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_proposeFee_clamped", "selector": "0x85d88492", "signature": "superGovernor_proposeFee_clamped(uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_1", "selector": "0x8b7a0b44", "signature": "erc7540_1(address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "ECDSAPPSOracle_updatePPS_clamped", "selector": "0x923b5116", "signature": "ECDSAPPSOracle_updatePPS_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_proposeMinStaleness", "selector": "0x945a7f7a", "signature": "superGovernor_proposeMinStaleness(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_switchToERC4626", "selector": "0x94ad47e5", "signature": "yieldSource_switchToERC4626()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_transfer", "selector": "0x961cc2a1", "signature": "yieldSource_transfer(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_setLossOnWithdraw", "selector": "0x98bea562", "signature": "yieldSource_setLossOnWithdraw(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_setOperator", "selector": "0x993eb322", "signature": "yieldSource_setOperator(address,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_deposit5115", "selector": "0x99f98474", "signature": "yieldSource_deposit5115(address,address,uint256,uint256,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_switchToERC7540", "selector": "0x9b5b4765", "signature": "yieldSource_switchToERC7540()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_claimUpkeep", "selector": "0x9b62d72e", "signature": "superVaultAggregator_claimUpkeep(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_executeHooks", "selector": "0x9cb2de70", "signature": "superVaultStrategy_executeHooks((address[],bytes[],uint256[],bytes32[][],bytes32[][]))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_handleOperations7540", "selector": "0x9d5c96d1", "signature": "superVaultStrategy_handleOperations7540(uint8,address,address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_proposeUpkeepPaymentsChange_clamped", "selector": "0x9da6e005", "signature": "superGovernor_proposeUpkeepPaymentsChange_clamped()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_setOperator", "selector": "0x9eb67371", "signature": "superVault_setOperator(uint256,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_4_deposit", "selector": "0x9f9c2957", "signature": "erc7540_4_deposit(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_depositUpkeep", "selector": "0xa08e3d64", "signature": "superVaultAggregator_depositUpkeep(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_7_deposit", "selector": "0xa575357a", "signature": "erc7540_7_deposit(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT", "selector": "0xa6b7e9a7", "signature": "global_comparePreviewDepositAndConvertToShares_ASSERTION_GLOBAL_CONVERT_TO_SHARES_GTE_PREVIEW_DEPOSIT(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_cancelRedeemRequest", "selector": "0xa97d49d1", "signature": "yieldSource_cancelRedeemRequest(uint256,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_setRevertBehavior4626", "selector": "0xab2c6ce7", "signature": "yieldSource_setRevertBehavior4626(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM", "selector": "0xadb365f3", "signature": "superVault_transferFrom_ASSERTION_UPDATE_SHOULD_NOT_REVERT_TRANSFER_FROM(uint256,uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_createVault", "selector": "0xb20b5751", "signature": "superVaultAggregator_createVault((address,string,string,address,address[],uint256,uint256,(uint256,uint256,address)))", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_4_withdraw", "selector": "0xb6fefb31", "signature": "erc7540_4_withdraw(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_7_mint", "selector": "0xb7208c9f", "signature": "erc7540_7_mint(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_approve", "selector": "0xb8ded484", "signature": "superVault_approve(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_executeUpkeepPaymentsChange", "selector": "0xba82804f", "signature": "superGovernor_executeUpkeepPaymentsChange()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_proposeVaultFeeConfigUpdate", "selector": "0xbaa30e3f", "signature": "superVaultStrategy_proposeVaultFeeConfigUpdate(uint256,uint256,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_executeChangePrimaryManager_clamped", "selector": "0xbb8c4131", "signature": "superVaultAggregator_executeChangePrimaryManager_clamped()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "mockERC5115YieldSourceOracle_setValidAsset", "selector": "0xbc0a3bd7", "signature": "mockERC5115YieldSourceOracle_setValidAsset(address,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_manageEmergencyWithdraw", "selector": "0xbd3e56b3", "signature": "superVaultStrategy_manageEmergencyWithdraw(uint8,address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION", "selector": "0xbed76c2c", "signature": "superVault_mint_ASSERTION_PREVIEW_MINT_MATCHES_EXECUTION(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_withdrawStake", "selector": "0xc0532bec", "signature": "superVaultAggregator_withdrawStake(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "switch_vault", "selector": "0xc15a22de", "signature": "switch_vault(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL", "selector": "0xc6227243", "signature": "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_erc7540_5_ASSERTION_ERC7540_5", "selector": "0xc6f09e40", "signature": "global_erc7540_5_ASSERTION_ERC7540_5(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_switchToERC5115", "selector": "0xc8f637e2", "signature": "yieldSource_switchToERC5115()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_proposeChangePrimaryManager", "selector": "0xcc39bf79", "signature": "superVaultAggregator_proposeChangePrimaryManager(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_switchRandom", "selector": "0xd03da50e", "signature": "yieldSource_switchRandom(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_redeem5115", "selector": "0xd15446d6", "signature": "yieldSource_redeem5115(address,uint256,address,uint256,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_claimCancelDepositRequest", "selector": "0xd20d873c", "signature": "yieldSource_claimCancelDepositRequest(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultEscrow_returnShares", "selector": "0xd30f03fa", "signature": "superVaultEscrow_returnShares(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setFulfilledDifference", "selector": "0xd62a2f11", "signature": "setFulfilledDifference()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW", "selector": "0xdddfc6cc", "signature": "global_erc7540_7_withdraw_ASSERTION_ERC7540_7_WITHDRAW(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_proposeGlobalHooksRoot_clamped", "selector": "0xde29b51f", "signature": "superGovernor_proposeGlobalHooksRoot_clamped(bytes32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_executeRemoveIncentiveTokens", "selector": "0xdeaf00fe", "signature": "superGovernor_executeRemoveIncentiveTokens()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_setRevertBehavior5115", "selector": "0xe121d831", "signature": "yieldSource_setRevertBehavior5115(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_7_redeem", "selector": "0xe53dc6d6", "signature": "erc7540_7_redeem(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_changePrimaryManager", "selector": "0xe63df834", "signature": "superVaultAggregator_changePrimaryManager(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_proposeChangePrimaryManager_clamped", "selector": "0xe88907e7", "signature": "superVaultAggregator_proposeChangePrimaryManager_clamped()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "erc7540_2", "selector": "0xe94aa8d4", "signature": "erc7540_2(address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "setPreviewSharesGreater", "selector": "0xebc46a2a", "signature": "setPreviewSharesGreater(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_handleOperations7540_clamped", "selector": "0xecac6242", "signature": "superVaultStrategy_handleOperations7540_clamped(uint256,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultAggregator_slashStake", "selector": "0xed652da1", "signature": "superVaultAggregator_slashStake(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_executeHooks_clamped", "selector": "0xf1f2a8fb", "signature": "superVaultStrategy_executeHooks_clamped(uint256[],uint256[],bool[])", "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": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY", "selector": "0xf701f996", "signature": "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_approve", "selector": "0xf7f335e9", "signature": "yieldSource_approve(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT", "selector": "0xf8ddb1f1", "signature": "global_erc7540_4_deposit_ASSERTION_ERC7540_4_DEPOSIT(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVault_burnShares", "selector": "0xf9534397", "signature": "superVault_burnShares(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_handleOperations4626Deposit", "selector": "0xf9e20e1b", "signature": "superVaultStrategy_handleOperations4626Deposit(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superVaultStrategy_manageYieldSource_clamped", "selector": "0xfa912362", "signature": "superVaultStrategy_manageYieldSource_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_mint", "selector": "0xfb48798d", "signature": "yieldSource_mint(uint256,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSource_deposit", "selector": "0xfe4574ac", "signature": "yieldSource_deposit(uint256,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "yieldSourceOracle_setValidAsset_clamped", "selector": "0xfead5404", "signature": "yieldSourceOracle_setValidAsset_clamped()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa", "recon-fuzzer" ] }, { "function_name": "superGovernor_proposeGlobalHooksRoot", "selector": "0xff06850b", "signature": "superGovernor_proposeGlobalHooksRoot(bytes32)", "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": "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": 399, "selector": "0x4a9f284f", "share": 0.007464641173 }, { "comparison_key": "0x923b5116", "function_names": [ "ECDSAPPSOracle_updatePPS_clamped" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS_clamped(uint256)" ], "saved_corpus_calls": 391, "selector": "0x923b5116", "share": 0.007314974182 }, { "comparison_key": "0x5e79ec62", "function_names": [ "superVaultAggregator_createVault_clamped" ], "function_signatures": [ "superVaultAggregator_createVault_clamped(uint256,uint256,uint256,uint256)" ], "saved_corpus_calls": 389, "selector": "0x5e79ec62", "share": 0.007277557435 }, { "comparison_key": "0xab2c6ce7", "function_names": [ "yieldSource_setRevertBehavior4626" ], "function_signatures": [ "yieldSource_setRevertBehavior4626(uint8,uint8)" ], "saved_corpus_calls": 386, "selector": "0xab2c6ce7", "share": 0.007221432313 }, { "comparison_key": "0xdeaf00fe", "function_names": [ "superGovernor_executeRemoveIncentiveTokens" ], "function_signatures": [ "superGovernor_executeRemoveIncentiveTokens()" ], "saved_corpus_calls": 386, "selector": "0xdeaf00fe", "share": 0.007221432313 }, { "comparison_key": "0x5b5006a4", "function_names": [ "invariant_erc7540_3" ], "function_signatures": [ "invariant_erc7540_3()" ], "saved_corpus_calls": 380, "selector": "0x5b5006a4", "share": 0.00710918207 }, { "comparison_key": "0xf1f2a8fb", "function_names": [ "superVaultStrategy_executeHooks_clamped" ], "function_signatures": [ "superVaultStrategy_executeHooks_clamped(uint256[],uint256[],bool[])" ], "saved_corpus_calls": 379, "selector": "0xf1f2a8fb", "share": 0.007090473696 }, { "comparison_key": "0xecac6242", "function_names": [ "superVaultStrategy_handleOperations7540_clamped" ], "function_signatures": [ "superVaultStrategy_handleOperations7540_clamped(uint256,uint256)" ], "saved_corpus_calls": 374, "selector": "0xecac6242", "share": 0.006996931827 }, { "comparison_key": "0x8efa3b2d", "function_names": [ "invariant_totalSharesDontDecreaseOnRedemptionRequest" ], "function_signatures": [ "invariant_totalSharesDontDecreaseOnRedemptionRequest()" ], "saved_corpus_calls": 371, "selector": "0x8efa3b2d", "share": 0.006940806705 }, { "comparison_key": "0xfa912362", "function_names": [ "superVaultStrategy_manageYieldSource_clamped" ], "function_signatures": [ "superVaultStrategy_manageYieldSource_clamped(uint256)" ], "saved_corpus_calls": 371, "selector": "0xfa912362", "share": 0.006940806705 }, { "comparison_key": "0x83778d4b", "function_names": [ "erc7540_5" ], "function_signatures": [ "erc7540_5(address,address,uint256)" ], "saved_corpus_calls": 370, "selector": "0x83778d4b", "share": 0.006922098331 }, { "comparison_key": "0xf7f335e9", "function_names": [ "yieldSource_approve" ], "function_signatures": [ "yieldSource_approve(address,uint256)" ], "saved_corpus_calls": 370, "selector": "0xf7f335e9", "share": 0.006922098331 }, { "comparison_key": "0xd03da50e", "function_names": [ "yieldSource_switchRandom" ], "function_signatures": [ "yieldSource_switchRandom(uint256)" ], "saved_corpus_calls": 368, "selector": "0xd03da50e", "share": 0.006884681583 }, { "comparison_key": "0xe63df834", "function_names": [ "superVaultAggregator_changePrimaryManager" ], "function_signatures": [ "superVaultAggregator_changePrimaryManager(address,address)" ], "saved_corpus_calls": 366, "selector": "0xe63df834", "share": 0.006847264836 }, { "comparison_key": "0x6ab2ab12", "function_names": [ "superVaultEscrow_escrowShares" ], "function_signatures": [ "superVaultEscrow_escrowShares(address,uint256)" ], "saved_corpus_calls": 365, "selector": "0x6ab2ab12", "share": 0.006828556462 }, { "comparison_key": "0xb7166ff0", "function_names": [ "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance" ], "function_signatures": [ "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance()" ], "saved_corpus_calls": 365, "selector": "0xb7166ff0", "share": 0.006828556462 }, { "comparison_key": "0x12af56c5", "function_names": [ "superVaultStrategy_fulfillRedeemRequests_clamped" ], "function_signatures": [ "superVaultStrategy_fulfillRedeemRequests_clamped(uint256)" ], "saved_corpus_calls": 363, "selector": "0x12af56c5", "share": 0.006791139714 }, { "comparison_key": "0xb20b5751", "function_names": [ "superVaultAggregator_createVault" ], "function_signatures": [ "superVaultAggregator_createVault((address,string,string,address,address[],uint256,uint256,(uint256,uint256,address)))" ], "saved_corpus_calls": 363, "selector": "0xb20b5751", "share": 0.006791139714 }, { "comparison_key": "0x11200cde", "function_names": [ "superVault_requestRedeem" ], "function_signatures": [ "superVault_requestRedeem(uint256)" ], "saved_corpus_calls": 361, "selector": "0x11200cde", "share": 0.006753722966 }, { "comparison_key": "0x3f4d3a0c", "function_names": [ "superVault_invalidateNonce" ], "function_signatures": [ "superVault_invalidateNonce(bytes32)" ], "saved_corpus_calls": 360, "selector": "0x3f4d3a0c", "share": 0.006735014593 }, { "comparison_key": "0x16e7198f", "function_names": [ "superGovernor_executeFeeUpdate_clamped" ], "function_signatures": [ "superGovernor_executeFeeUpdate_clamped(uint256)" ], "saved_corpus_calls": 359, "selector": "0x16e7198f", "share": 0.006716306219 }, { "comparison_key": "0xd1fbeeaa", "function_names": [ "invariant_maxMintZeroWhenPaused" ], "function_signatures": [ "invariant_maxMintZeroWhenPaused()" ], "saved_corpus_calls": 359, "selector": "0xd1fbeeaa", "share": 0.006716306219 }, { "comparison_key": "0x7ee964d5", "function_names": [ "yieldSource_simulateLoss" ], "function_signatures": [ "yieldSource_simulateLoss(uint256)" ], "saved_corpus_calls": 358, "selector": "0x7ee964d5", "share": 0.006697597845 }, { "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": 357, "selector": "0x49ad59f9", "share": 0.006678889471 }, { "comparison_key": "0x724ce6ea", "function_names": [ "yieldSource_cancelDepositRequest" ], "function_signatures": [ "yieldSource_cancelDepositRequest(uint256,address)" ], "saved_corpus_calls": 357, "selector": "0x724ce6ea", "share": 0.006678889471 }, { "comparison_key": "0x9da6e005", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange_clamped" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange_clamped()" ], "saved_corpus_calls": 357, "selector": "0x9da6e005", "share": 0.006678889471 }, { "comparison_key": "0x9f9c2957", "function_names": [ "erc7540_4_deposit" ], "function_signatures": [ "erc7540_4_deposit(address,uint256)" ], "saved_corpus_calls": 357, "selector": "0x9f9c2957", "share": 0.006678889471 }, { "comparison_key": "0x0d568161", "function_names": [ "superGovernor_proposeFee" ], "function_signatures": [ "superGovernor_proposeFee(uint8,uint256)" ], "saved_corpus_calls": 355, "selector": "0x0d568161", "share": 0.006641472723 }, { "comparison_key": "0x431f4fcf", "function_names": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 355, "selector": "0x431f4fcf", "share": 0.006641472723 }, { "comparison_key": "0x85d88492", "function_names": [ "superGovernor_proposeFee_clamped" ], "function_signatures": [ "superGovernor_proposeFee_clamped(uint256,uint256)" ], "saved_corpus_calls": 355, "selector": "0x85d88492", "share": 0.006641472723 }, { "comparison_key": "0xba82804f", "function_names": [ "superGovernor_executeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_executeUpkeepPaymentsChange()" ], "saved_corpus_calls": 355, "selector": "0xba82804f", "share": 0.006641472723 }, { "comparison_key": "0x1c0ee36b", "function_names": [ "superVaultStrategy_executeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_executeVaultFeeConfigUpdate()" ], "saved_corpus_calls": 353, "selector": "0x1c0ee36b", "share": 0.006604055975 }, { "comparison_key": "0x6f111386", "function_names": [ "superVault_redeem" ], "function_signatures": [ "superVault_redeem(uint256)" ], "saved_corpus_calls": 352, "selector": "0x6f111386", "share": 0.006585347602 }, { "comparison_key": "0x62932228", "function_names": [ "superVaultStrategy_moveAccumulatorOnTransfer" ], "function_signatures": [ "superVaultStrategy_moveAccumulatorOnTransfer(address,address,uint256)" ], "saved_corpus_calls": 351, "selector": "0x62932228", "share": 0.006566639228 }, { "comparison_key": "0x2e323c85", "function_names": [ "yieldSource_setDecimalsOffset" ], "function_signatures": [ "yieldSource_setDecimalsOffset(uint8)" ], "saved_corpus_calls": 350, "selector": "0x2e323c85", "share": 0.006547930854 }, { "comparison_key": "0x99f98474", "function_names": [ "yieldSource_deposit5115" ], "function_signatures": [ "yieldSource_deposit5115(address,address,uint256,uint256,bool)" ], "saved_corpus_calls": 350, "selector": "0x99f98474", "share": 0.006547930854 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 349, "selector": "0xf24a44c9", "share": 0.00652922248 }, { "comparison_key": "0x47eb2c05", "function_names": [ "erc7540_4_redeem" ], "function_signatures": [ "erc7540_4_redeem(address,uint256)" ], "saved_corpus_calls": 348, "selector": "0x47eb2c05", "share": 0.006510514106 }, { "comparison_key": "0x4a06cb2a", "function_names": [ "superVault_requestRedeem_clamped" ], "function_signatures": [ "superVault_requestRedeem_clamped(uint256)" ], "saved_corpus_calls": 347, "selector": "0x4a06cb2a", "share": 0.006491805732 }, { "comparison_key": "0xe121d831", "function_names": [ "yieldSource_setRevertBehavior5115" ], "function_signatures": [ "yieldSource_setRevertBehavior5115(uint8)" ], "saved_corpus_calls": 347, "selector": "0xe121d831", "share": 0.006491805732 }, { "comparison_key": "0x0012bfca", "function_names": [ "superVaultStrategy_handleOperations4626Mint" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Mint(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 346, "selector": "0x0012bfca", "share": 0.006473097358 }, { "comparison_key": "0xc15a22de", "function_names": [ "switch_vault" ], "function_signatures": [ "switch_vault(uint256)" ], "saved_corpus_calls": 344, "selector": "0xc15a22de", "share": 0.006435680611 }, { "comparison_key": "0xe88907e7", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 344, "selector": "0xe88907e7", "share": 0.006435680611 }, { "comparison_key": "0x53b95ac1", "function_names": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE" ], "function_signatures": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE()" ], "saved_corpus_calls": 343, "selector": "0x53b95ac1", "share": 0.006416972237 }, { "comparison_key": "0x31f725a0", "function_names": [ "ECDSAPPSOracle_updatePPS" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS((address[],bytes[][],uint256[],uint256[],uint256[],uint256[],uint256[]))" ], "saved_corpus_calls": 342, "selector": "0x31f725a0", "share": 0.006398263863 }, { "comparison_key": "0x5d83e580", "function_names": [ "yieldSource_simulateGain" ], "function_signatures": [ "yieldSource_simulateGain(uint256)" ], "saved_corpus_calls": 341, "selector": "0x5d83e580", "share": 0.006379555489 }, { "comparison_key": "0xc6227243", "function_names": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL" ], "function_signatures": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 340, "selector": "0xc6227243", "share": 0.006360847115 }, { "comparison_key": "0xfead5404", "function_names": [ "yieldSourceOracle_setValidAsset_clamped" ], "function_signatures": [ "yieldSourceOracle_setValidAsset_clamped()" ], "saved_corpus_calls": 339, "selector": "0xfead5404", "share": 0.006342138741 }, { "comparison_key": "0x18395098", "function_names": [ "invariant_assetBacking" ], "function_signatures": [ "invariant_assetBacking()" ], "saved_corpus_calls": 338, "selector": "0x18395098", "share": 0.006323430367 }, { "comparison_key": "0x610b63e4", "function_names": [ "superGovernor_proposeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_proposeAddIncentiveTokens(address[])" ], "saved_corpus_calls": 338, "selector": "0x610b63e4", "share": 0.006323430367 }, { "comparison_key": "0x7fd74a62", "function_names": [ "superVaultStrategy_manageYieldSources" ], "function_signatures": [ "superVaultStrategy_manageYieldSources(address[],address[],uint8[])" ], "saved_corpus_calls": 337, "selector": "0x7fd74a62", "share": 0.006304721994 }, { "comparison_key": "0x7ed1278a", "function_names": [ "erc7540_4_mint" ], "function_signatures": [ "erc7540_4_mint(address,uint256)" ], "saved_corpus_calls": 336, "selector": "0x7ed1278a", "share": 0.00628601362 }, { "comparison_key": "0xed652da1", "function_names": [ "superVaultAggregator_slashStake" ], "function_signatures": [ "superVaultAggregator_slashStake(address,uint256)" ], "saved_corpus_calls": 336, "selector": "0xed652da1", "share": 0.00628601362 }, { "comparison_key": "0xd15446d6", "function_names": [ "yieldSource_redeem5115" ], "function_signatures": [ "yieldSource_redeem5115(address,uint256,address,uint256,bool)" ], "saved_corpus_calls": 335, "selector": "0xd15446d6", "share": 0.006267305246 }, { "comparison_key": "0x166d031e", "function_names": [ "yieldSource_withdraw" ], "function_signatures": [ "yieldSource_withdraw(uint256,address,address)" ], "saved_corpus_calls": 333, "selector": "0x166d031e", "share": 0.006229888498 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 333, "selector": "0x1a042ae7", "share": 0.006229888498 }, { "comparison_key": "0x3a435458", "function_names": [ "invariant_accumulatorSharesIncrease" ], "function_signatures": [ "invariant_accumulatorSharesIncrease()" ], "saved_corpus_calls": 333, "selector": "0x3a435458", "share": 0.006229888498 }, { "comparison_key": "0x652e3935", "function_names": [ "asset_mint" ], "function_signatures": [ "asset_mint(address,uint128)" ], "saved_corpus_calls": 333, "selector": "0x652e3935", "share": 0.006229888498 }, { "comparison_key": "0x0775f957", "function_names": [ "superVaultStrategy_manageYieldSource" ], "function_signatures": [ "superVaultStrategy_manageYieldSource(address,address,uint8)" ], "saved_corpus_calls": 332, "selector": "0x0775f957", "share": 0.006211180124 }, { "comparison_key": "0xa97d49d1", "function_names": [ "yieldSource_cancelRedeemRequest" ], "function_signatures": [ "yieldSource_cancelRedeemRequest(uint256,address)" ], "saved_corpus_calls": 332, "selector": "0xa97d49d1", "share": 0.006211180124 }, { "comparison_key": "0x653d736a", "function_names": [ "superVaultAggregator_withdrawUpkeep" ], "function_signatures": [ "superVaultAggregator_withdrawUpkeep(uint256)" ], "saved_corpus_calls": 331, "selector": "0x653d736a", "share": 0.00619247175 }, { "comparison_key": "0x8491e3d2", "function_names": [ "setpreviewAssetsGreater" ], "function_signatures": [ "setpreviewAssetsGreater(uint256)" ], "saved_corpus_calls": 331, "selector": "0x8491e3d2", "share": 0.00619247175 }, { "comparison_key": "0x993eb322", "function_names": [ "yieldSource_setOperator" ], "function_signatures": [ "yieldSource_setOperator(address,bool)" ], "saved_corpus_calls": 328, "selector": "0x993eb322", "share": 0.006136346629 }, { "comparison_key": "0xd30f03fa", "function_names": [ "superVaultEscrow_returnShares" ], "function_signatures": [ "superVaultEscrow_returnShares(address,uint256)" ], "saved_corpus_calls": 328, "selector": "0xd30f03fa", "share": 0.006136346629 }, { "comparison_key": "0xe53dc6d6", "function_names": [ "erc7540_7_redeem" ], "function_signatures": [ "erc7540_7_redeem(address,uint256)" ], "saved_corpus_calls": 328, "selector": "0xe53dc6d6", "share": 0.006136346629 }, { "comparison_key": "0x33622846", "function_names": [ "superVaultEscrow_initialize" ], "function_signatures": [ "superVaultEscrow_initialize(address,address)" ], "saved_corpus_calls": 327, "selector": "0x33622846", "share": 0.006117638255 }, { "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": 327, "selector": "0x58a818d4", "share": 0.006117638255 }, { "comparison_key": "0xbd3e56b3", "function_names": [ "superVaultStrategy_manageEmergencyWithdraw" ], "function_signatures": [ "superVaultStrategy_manageEmergencyWithdraw(uint8,address,uint256)" ], "saved_corpus_calls": 327, "selector": "0xbd3e56b3", "share": 0.006117638255 }, { "comparison_key": "0x3a32dc68", "function_names": [ "add_new_vault" ], "function_signatures": [ "add_new_vault()" ], "saved_corpus_calls": 326, "selector": "0x3a32dc68", "share": 0.006098929881 }, { "comparison_key": "0x84d461f2", "function_names": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 325, "selector": "0x84d461f2", "share": 0.006080221507 }, { "comparison_key": "0xbaa30e3f", "function_names": [ "superVaultStrategy_proposeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_proposeVaultFeeConfigUpdate(uint256,uint256,address)" ], "saved_corpus_calls": 325, "selector": "0xbaa30e3f", "share": 0.006080221507 }, { "comparison_key": "0xfe4574ac", "function_names": [ "yieldSource_deposit" ], "function_signatures": [ "yieldSource_deposit(uint256,address)" ], "saved_corpus_calls": 325, "selector": "0xfe4574ac", "share": 0.006080221507 }, { "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": 324, "selector": "0x153c0881", "share": 0.006061513133 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 324, "selector": "0x6801b82e", "share": 0.006061513133 }, { "comparison_key": "0x94ad47e5", "function_names": [ "yieldSource_switchToERC4626" ], "function_signatures": [ "yieldSource_switchToERC4626()" ], "saved_corpus_calls": 324, "selector": "0x94ad47e5", "share": 0.006061513133 }, { "comparison_key": "0xb8ded484", "function_names": [ "superVault_approve" ], "function_signatures": [ "superVault_approve(address,uint256)" ], "saved_corpus_calls": 323, "selector": "0xb8ded484", "share": 0.006042804759 }, { "comparison_key": "0x1de49bf9", "function_names": [ "superVaultAggregator_executeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager(address)" ], "saved_corpus_calls": 320, "selector": "0x1de49bf9", "share": 0.005986679638 }, { "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": 320, "selector": "0x7c492380", "share": 0.005986679638 }, { "comparison_key": "0x3f614fab", "function_names": [ "superVault_redeem_clamped" ], "function_signatures": [ "superVault_redeem_clamped(uint256)" ], "saved_corpus_calls": 318, "selector": "0x3f614fab", "share": 0.00594926289 }, { "comparison_key": "0x7a3b3b99", "function_names": [ "invariant_cancelDoesntChangeTotalSupply" ], "function_signatures": [ "invariant_cancelDoesntChangeTotalSupply()" ], "saved_corpus_calls": 318, "selector": "0x7a3b3b99", "share": 0.00594926289 }, { "comparison_key": "0x9d5c96d1", "function_names": [ "superVaultStrategy_handleOperations7540" ], "function_signatures": [ "superVaultStrategy_handleOperations7540(uint8,address,address,uint256)" ], "saved_corpus_calls": 317, "selector": "0x9d5c96d1", "share": 0.005930554516 }, { "comparison_key": "0x4f79f39c", "function_names": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL" ], "function_signatures": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 316, "selector": "0x4f79f39c", "share": 0.005911846142 }, { "comparison_key": "0x98bea562", "function_names": [ "yieldSource_setLossOnWithdraw" ], "function_signatures": [ "yieldSource_setLossOnWithdraw(uint256)" ], "saved_corpus_calls": 316, "selector": "0x98bea562", "share": 0.005911846142 }, { "comparison_key": "0x51ecdf5d", "function_names": [ "invariant_maxRedeemMaxWithdrawSymmetry" ], "function_signatures": [ "invariant_maxRedeemMaxWithdrawSymmetry()" ], "saved_corpus_calls": 315, "selector": "0x51ecdf5d", "share": 0.005893137768 }, { "comparison_key": "0x5b1e6f92", "function_names": [ "invariant_accumulatorSharesGtPendingRequests" ], "function_signatures": [ "invariant_accumulatorSharesGtPendingRequests()" ], "saved_corpus_calls": 315, "selector": "0x5b1e6f92", "share": 0.005893137768 }, { "comparison_key": "0x9eb67371", "function_names": [ "superVault_setOperator" ], "function_signatures": [ "superVault_setOperator(uint256,bool)" ], "saved_corpus_calls": 315, "selector": "0x9eb67371", "share": 0.005893137768 }, { "comparison_key": "0x30ee3a01", "function_names": [ "superGovernor_executeFeeUpdate" ], "function_signatures": [ "superGovernor_executeFeeUpdate(uint8)" ], "saved_corpus_calls": 314, "selector": "0x30ee3a01", "share": 0.005874429395 }, { "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": 314, "selector": "0x85c3770a", "share": 0.005874429395 }, { "comparison_key": "0xff06850b", "function_names": [ "superGovernor_proposeGlobalHooksRoot" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot(bytes32)" ], "saved_corpus_calls": 314, "selector": "0xff06850b", "share": 0.005874429395 }, { "comparison_key": "0x1e78dbc2", "function_names": [ "superVaultAggregator_updatePPSVerificationThresholds" ], "function_signatures": [ "superVaultAggregator_updatePPSVerificationThresholds(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 313, "selector": "0x1e78dbc2", "share": 0.005855721021 }, { "comparison_key": "0x64dfafca", "function_names": [ "superVaultAggregator_addAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_addAuthorizedCaller(address,address)" ], "saved_corpus_calls": 313, "selector": "0x64dfafca", "share": 0.005855721021 }, { "comparison_key": "0x4e9ce11d", "function_names": [ "mockERC4626YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC4626YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 312, "selector": "0x4e9ce11d", "share": 0.005837012647 }, { "comparison_key": "0x59ddd4d4", "function_names": [ "invariant_erc7540_2" ], "function_signatures": [ "invariant_erc7540_2()" ], "saved_corpus_calls": 312, "selector": "0x59ddd4d4", "share": 0.005837012647 }, { "comparison_key": "0x6d8b86e5", "function_names": [ "_fulfillRedeemRequestsArgs" ], "function_signatures": [ "_fulfillRedeemRequestsArgs(uint256)" ], "saved_corpus_calls": 312, "selector": "0x6d8b86e5", "share": 0.005837012647 }, { "comparison_key": "0xd20d873c", "function_names": [ "yieldSource_claimCancelDepositRequest" ], "function_signatures": [ "yieldSource_claimCancelDepositRequest(uint256,address,address)" ], "saved_corpus_calls": 312, "selector": "0xd20d873c", "share": 0.005837012647 }, { "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": 311, "selector": "0x1a001033", "share": 0.005818304273 }, { "comparison_key": "0x3509d9c1", "function_names": [ "superGovernor_executeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_executeAddIncentiveTokens()" ], "saved_corpus_calls": 311, "selector": "0x3509d9c1", "share": 0.005818304273 }, { "comparison_key": "0x7fbba149", "function_names": [ "add_new_asset" ], "function_signatures": [ "add_new_asset(uint8)" ], "saved_corpus_calls": 310, "selector": "0x7fbba149", "share": 0.005799595899 }, { "comparison_key": "0xfb4e3345", "function_names": [ "invariant_erc7540_1" ], "function_signatures": [ "invariant_erc7540_1()" ], "saved_corpus_calls": 310, "selector": "0xfb4e3345", "share": 0.005799595899 }, { "comparison_key": "0xb1505051", "function_names": [ "invariant_totalAssets" ], "function_signatures": [ "invariant_totalAssets()" ], "saved_corpus_calls": 309, "selector": "0xb1505051", "share": 0.005780887525 }, { "comparison_key": "0xa575357a", "function_names": [ "erc7540_7_deposit" ], "function_signatures": [ "erc7540_7_deposit(address,uint256)" ], "saved_corpus_calls": 308, "selector": "0xa575357a", "share": 0.005762179151 }, { "comparison_key": "0x2ac9c057", "function_names": [ "superGovernor_executeMinStalenesChange" ], "function_signatures": [ "superGovernor_executeMinStalenesChange()" ], "saved_corpus_calls": 307, "selector": "0x2ac9c057", "share": 0.005743470778 }, { "comparison_key": "0x2fa9dadc", "function_names": [ "asset_approve" ], "function_signatures": [ "asset_approve(address,uint128)" ], "saved_corpus_calls": 307, "selector": "0x2fa9dadc", "share": 0.005743470778 }, { "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": 307, "selector": "0xa6b7e9a7", "share": 0.005743470778 }, { "comparison_key": "0xb7208c9f", "function_names": [ "erc7540_7_mint" ], "function_signatures": [ "erc7540_7_mint(address,uint256)" ], "saved_corpus_calls": 307, "selector": "0xb7208c9f", "share": 0.005743470778 }, { "comparison_key": "0xbc0a3bd7", "function_names": [ "mockERC5115YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC5115YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 306, "selector": "0xbc0a3bd7", "share": 0.005724762404 }, { "comparison_key": "0x5c332195", "function_names": [ "invariant_sumOfClaimable" ], "function_signatures": [ "invariant_sumOfClaimable()" ], "saved_corpus_calls": 305, "selector": "0x5c332195", "share": 0.00570605403 }, { "comparison_key": "0x45c718d4", "function_names": [ "invariant_accumulatorCostBasisIncrease" ], "function_signatures": [ "invariant_accumulatorCostBasisIncrease()" ], "saved_corpus_calls": 303, "selector": "0x45c718d4", "share": 0.005668637282 }, { "comparison_key": "0xcc39bf79", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager(address,address)" ], "saved_corpus_calls": 303, "selector": "0xcc39bf79", "share": 0.005668637282 }, { "comparison_key": "0xf701f996", "function_names": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY" ], "function_signatures": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY()" ], "saved_corpus_calls": 302, "selector": "0xf701f996", "share": 0.005649928908 }, { "comparison_key": "0x37f0d09d", "function_names": [ "superVaultAggregator_removeSecondaryManager" ], "function_signatures": [ "superVaultAggregator_removeSecondaryManager(address,address)" ], "saved_corpus_calls": 301, "selector": "0x37f0d09d", "share": 0.005631220534 }, { "comparison_key": "0x945a7f7a", "function_names": [ "superGovernor_proposeMinStaleness" ], "function_signatures": [ "superGovernor_proposeMinStaleness(uint256)" ], "saved_corpus_calls": 301, "selector": "0x945a7f7a", "share": 0.005631220534 }, { "comparison_key": "0x961cc2a1", "function_names": [ "yieldSource_transfer" ], "function_signatures": [ "yieldSource_transfer(address,uint256)" ], "saved_corpus_calls": 301, "selector": "0x961cc2a1", "share": 0.005631220534 }, { "comparison_key": "0x5485b3cb", "function_names": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED" ], "function_signatures": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED(uint256,uint256)" ], "saved_corpus_calls": 300, "selector": "0x5485b3cb", "share": 0.00561251216 }, { "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": 300, "selector": "0x6e2c0de8", "share": 0.00561251216 }, { "comparison_key": "0xbb8c4131", "function_names": [ "superVaultAggregator_executeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 300, "selector": "0xbb8c4131", "share": 0.00561251216 }, { "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": 300, "selector": "0xdddfc6cc", "share": 0.00561251216 }, { "comparison_key": "0x5efcce37", "function_names": [ "yieldSource_deposit7540" ], "function_signatures": [ "yieldSource_deposit7540(uint256,address,address)" ], "saved_corpus_calls": 299, "selector": "0x5efcce37", "share": 0.005593803787 }, { "comparison_key": "0x55ee7e47", "function_names": [ "invariant_avgPPSMonotonicity" ], "function_signatures": [ "invariant_avgPPSMonotonicity()" ], "saved_corpus_calls": 298, "selector": "0x55ee7e47", "share": 0.005575095413 }, { "comparison_key": "0x6901727f", "function_names": [ "erc7540_7_withdraw" ], "function_signatures": [ "erc7540_7_withdraw(address,uint256)" ], "saved_corpus_calls": 298, "selector": "0x6901727f", "share": 0.005575095413 }, { "comparison_key": "0x9cb2de70", "function_names": [ "superVaultStrategy_executeHooks" ], "function_signatures": [ "superVaultStrategy_executeHooks((address[],bytes[],uint256[],bytes32[][],bytes32[][]))" ], "saved_corpus_calls": 298, "selector": "0x9cb2de70", "share": 0.005575095413 }, { "comparison_key": "0x51800fa1", "function_names": [ "superVaultStrategy_updateMaxPPSSlippage" ], "function_signatures": [ "superVaultStrategy_updateMaxPPSSlippage(uint256)" ], "saved_corpus_calls": 297, "selector": "0x51800fa1", "share": 0.005556387039 }, { "comparison_key": "0x72176d00", "function_names": [ "superVault_withdraw" ], "function_signatures": [ "superVault_withdraw(uint256)" ], "saved_corpus_calls": 297, "selector": "0x72176d00", "share": 0.005556387039 }, { "comparison_key": "0x7674c28d", "function_names": [ "yieldSource_redeem" ], "function_signatures": [ "yieldSource_redeem(uint256,address,address)" ], "saved_corpus_calls": 296, "selector": "0x7674c28d", "share": 0.005537678665 }, { "comparison_key": "0xc0532bec", "function_names": [ "superVaultAggregator_withdrawStake" ], "function_signatures": [ "superVaultAggregator_withdrawStake(uint256)" ], "saved_corpus_calls": 296, "selector": "0xc0532bec", "share": 0.005537678665 }, { "comparison_key": "0x03a0d257", "function_names": [ "invariant_accumulatorSharesSolvency" ], "function_signatures": [ "invariant_accumulatorSharesSolvency()" ], "saved_corpus_calls": 295, "selector": "0x03a0d257", "share": 0.005518970291 }, { "comparison_key": "0xb6fefb31", "function_names": [ "erc7540_4_withdraw" ], "function_signatures": [ "erc7540_4_withdraw(address,uint256)" ], "saved_corpus_calls": 295, "selector": "0xb6fefb31", "share": 0.005518970291 }, { "comparison_key": "0xf9e20e1b", "function_names": [ "superVaultStrategy_handleOperations4626Deposit" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Deposit(address,uint256)" ], "saved_corpus_calls": 295, "selector": "0xf9e20e1b", "share": 0.005518970291 }, { "comparison_key": "0xa08e3d64", "function_names": [ "superVaultAggregator_depositUpkeep" ], "function_signatures": [ "superVaultAggregator_depositUpkeep(uint256)" ], "saved_corpus_calls": 294, "selector": "0xa08e3d64", "share": 0.005500261917 }, { "comparison_key": "0xc2dc09e3", "function_names": [ "invariant_avgPPSDoesntDecrease" ], "function_signatures": [ "invariant_avgPPSDoesntDecrease()" ], "saved_corpus_calls": 294, "selector": "0xc2dc09e3", "share": 0.005500261917 }, { "comparison_key": "0xc8f637e2", "function_names": [ "yieldSource_switchToERC5115" ], "function_signatures": [ "yieldSource_switchToERC5115()" ], "saved_corpus_calls": 294, "selector": "0xc8f637e2", "share": 0.005500261917 }, { "comparison_key": "0xc6f09e40", "function_names": [ "global_erc7540_5_ASSERTION_ERC7540_5" ], "function_signatures": [ "global_erc7540_5_ASSERTION_ERC7540_5(uint256)" ], "saved_corpus_calls": 293, "selector": "0xc6f09e40", "share": 0.005481553543 }, { "comparison_key": "0x0de1fd4c", "function_names": [ "superGovernor_executeUpkeepClaim" ], "function_signatures": [ "superGovernor_executeUpkeepClaim(uint256)" ], "saved_corpus_calls": 292, "selector": "0x0de1fd4c", "share": 0.005462845169 }, { "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": 292, "selector": "0xadb365f3", "share": 0.005462845169 }, { "comparison_key": "0x1d0cf3ab", "function_names": [ "invariant_accumulatorSharesDecreaseOnFulfill_exact" ], "function_signatures": [ "invariant_accumulatorSharesDecreaseOnFulfill_exact()" ], "saved_corpus_calls": 291, "selector": "0x1d0cf3ab", "share": 0.005444136796 }, { "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": 290, "selector": "0x16932562", "share": 0.005425428422 }, { "comparison_key": "0x367ea3d8", "function_names": [ "invariant_shareSolvency" ], "function_signatures": [ "invariant_shareSolvency()" ], "saved_corpus_calls": 290, "selector": "0x367ea3d8", "share": 0.005425428422 }, { "comparison_key": "0xf9534397", "function_names": [ "superVault_burnShares" ], "function_signatures": [ "superVault_burnShares(uint256)" ], "saved_corpus_calls": 290, "selector": "0xf9534397", "share": 0.005425428422 }, { "comparison_key": "0x135a35ac", "function_names": [ "yieldSource_claimCancelRedeemRequest" ], "function_signatures": [ "yieldSource_claimCancelRedeemRequest(uint256,address,address)" ], "saved_corpus_calls": 289, "selector": "0x135a35ac", "share": 0.005406720048 }, { "comparison_key": "0x5e3be3a1", "function_names": [ "invariant_escrowBalance" ], "function_signatures": [ "invariant_escrowBalance()" ], "saved_corpus_calls": 289, "selector": "0x5e3be3a1", "share": 0.005406720048 }, { "comparison_key": "0x6f1b5a20", "function_names": [ "superVault_withdraw_clamped" ], "function_signatures": [ "superVault_withdraw_clamped(uint256)" ], "saved_corpus_calls": 289, "selector": "0x6f1b5a20", "share": 0.005406720048 }, { "comparison_key": "0xf51545d6", "function_names": [ "invariant_maxDepositZeroWhenPaused" ], "function_signatures": [ "invariant_maxDepositZeroWhenPaused()" ], "saved_corpus_calls": 289, "selector": "0xf51545d6", "share": 0.005406720048 }, { "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": 288, "selector": "0x4da21e73", "share": 0.005388011674 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 288, "selector": "0x55ba98ff", "share": 0.005388011674 }, { "comparison_key": "0xebc46a2a", "function_names": [ "setPreviewSharesGreater" ], "function_signatures": [ "setPreviewSharesGreater(uint256)" ], "saved_corpus_calls": 288, "selector": "0xebc46a2a", "share": 0.005388011674 }, { "comparison_key": "0xfb48798d", "function_names": [ "yieldSource_mint" ], "function_signatures": [ "yieldSource_mint(uint256,address)" ], "saved_corpus_calls": 288, "selector": "0xfb48798d", "share": 0.005388011674 }, { "comparison_key": "0xfb57459d", "function_names": [ "invariant_accumulatorCostBasisSolvency" ], "function_signatures": [ "invariant_accumulatorCostBasisSolvency()" ], "saved_corpus_calls": 288, "selector": "0xfb57459d", "share": 0.005388011674 }, { "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": 287, "selector": "0x47780112", "share": 0.0053693033 }, { "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": 284, "selector": "0x05c4dfe6", "share": 0.005313178179 }, { "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": 284, "selector": "0x7509cbd9", "share": 0.005313178179 }, { "comparison_key": "0x47801ba1", "function_names": [ "yieldSource_requestDeposit" ], "function_signatures": [ "yieldSource_requestDeposit(uint256,address,address)" ], "saved_corpus_calls": 282, "selector": "0x47801ba1", "share": 0.005275761431 }, { "comparison_key": "0x58deadba", "function_names": [ "superVaultAggregator_addSecondaryManager" ], "function_signatures": [ "superVaultAggregator_addSecondaryManager(address,address)" ], "saved_corpus_calls": 280, "selector": "0x58deadba", "share": 0.005238344683 }, { "comparison_key": "0x4a28a715", "function_names": [ "superVaultAggregator_depositStake" ], "function_signatures": [ "superVaultAggregator_depositStake(address,uint256)" ], "saved_corpus_calls": 279, "selector": "0x4a28a715", "share": 0.005219636309 }, { "comparison_key": "0x1c550191", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange(bool)" ], "saved_corpus_calls": 276, "selector": "0x1c550191", "share": 0.005163511188 }, { "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": 273, "selector": "0xf8ddb1f1", "share": 0.005107386066 }, { "comparison_key": "0x9b62d72e", "function_names": [ "superVaultAggregator_claimUpkeep" ], "function_signatures": [ "superVaultAggregator_claimUpkeep(uint256)" ], "saved_corpus_calls": 272, "selector": "0x9b62d72e", "share": 0.005088677692 }, { "comparison_key": "0x53494d09", "function_names": [ "yieldSource_transferFrom" ], "function_signatures": [ "yieldSource_transferFrom(address,address,uint256)" ], "saved_corpus_calls": 271, "selector": "0x53494d09", "share": 0.005069969318 }, { "comparison_key": "0xde29b51f", "function_names": [ "superGovernor_proposeGlobalHooksRoot_clamped" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot_clamped(bytes32)" ], "saved_corpus_calls": 270, "selector": "0xde29b51f", "share": 0.005051260944 }, { "comparison_key": "0x82b3bcf6", "function_names": [ "invariant_sumOfAssetsMaxWithdrawable" ], "function_signatures": [ "invariant_sumOfAssetsMaxWithdrawable()" ], "saved_corpus_calls": 265, "selector": "0x82b3bcf6", "share": 0.004957719075 }, { "comparison_key": "0x8318025e", "function_names": [ "invariant_fulfillOnlyBurnsRequestedAmount" ], "function_signatures": [ "invariant_fulfillOnlyBurnsRequestedAmount()" ], "saved_corpus_calls": 264, "selector": "0x8318025e", "share": 0.004939010701 }, { "comparison_key": "0x11d72d6f", "function_names": [ "superVaultAggregator_removeAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_removeAuthorizedCaller(address,address)" ], "saved_corpus_calls": 263, "selector": "0x11d72d6f", "share": 0.004920302327 }, { "comparison_key": "0x9b5b4765", "function_names": [ "yieldSource_switchToERC7540" ], "function_signatures": [ "yieldSource_switchToERC7540()" ], "saved_corpus_calls": 262, "selector": "0x9b5b4765", "share": 0.004901593953 }, { "comparison_key": "0x2d9fdcd8", "function_names": [ "mockERC7540YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC7540YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 260, "selector": "0x2d9fdcd8", "share": 0.004864177206 }, { "comparison_key": "0x69a21b7a", "function_names": [ "yieldSource_requestRedeem" ], "function_signatures": [ "yieldSource_requestRedeem(uint256,address,address)" ], "saved_corpus_calls": 257, "selector": "0x69a21b7a", "share": 0.004808052084 }, { "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": 250, "selector": "0xbed76c2c", "share": 0.004677093467 }, { "comparison_key": "0xb8bfb90d", "function_names": [ "invariant_oraclePPSDoesntChangeOnAddOrRemove" ], "function_signatures": [ "invariant_oraclePPSDoesntChangeOnAddOrRemove()" ], "saved_corpus_calls": 247, "selector": "0xb8bfb90d", "share": 0.004620968345 }, { "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": 230, "selector": "0x0a4821cf", "share": 0.00430292599 }, { "comparison_key": "0x8b7a0b44", "function_names": [ "erc7540_1" ], "function_signatures": [ "erc7540_1(address)" ], "saved_corpus_calls": 23, "selector": "0x8b7a0b44", "share": 0.000430292599 }, { "comparison_key": "0x5111e7ca", "function_names": [ "erc7540_6" ], "function_signatures": [ "erc7540_6(address)" ], "saved_corpus_calls": 13, "selector": "0x5111e7ca", "share": 0.00024320886 }, { "comparison_key": "0x64d59d46", "function_names": [ "_sumStrategyAssets" ], "function_signatures": [ "_sumStrategyAssets()" ], "saved_corpus_calls": 13, "selector": "0x64d59d46", "share": 0.00024320886 }, { "comparison_key": "0x616fdce4", "function_names": [ "MAX_ROUNDING_ERROR" ], "function_signatures": [ "MAX_ROUNDING_ERROR()" ], "saved_corpus_calls": 8, "selector": "0x616fdce4", "share": 0.000149666991 }, { "comparison_key": "0x0a3f0749", "function_names": [ "optimize_burnLessThanRequestedInRedemption" ], "function_signatures": [ "optimize_burnLessThanRequestedInRedemption()" ], "saved_corpus_calls": 7, "selector": "0x0a3f0749", "share": 0.000130958617 }, { "comparison_key": "0xd62a2f11", "function_names": [ "setFulfilledDifference" ], "function_signatures": [ "setFulfilledDifference()" ], "saved_corpus_calls": 6, "selector": "0xd62a2f11", "share": 0.000112250243 }, { "comparison_key": "0x6a07236f", "function_names": [ "optimize_burnMoreThanRequestedInRedemption" ], "function_signatures": [ "optimize_burnMoreThanRequestedInRedemption()" ], "saved_corpus_calls": 5, "selector": "0x6a07236f", "share": 9.3541869e-05 }, { "comparison_key": "0x6b3894b9", "function_names": [ "optimize_maxDustAccumulation" ], "function_signatures": [ "optimize_maxDustAccumulation()" ], "saved_corpus_calls": 4, "selector": "0x6b3894b9", "share": 7.4833495e-05 }, { "comparison_key": "0xe94aa8d4", "function_names": [ "erc7540_2" ], "function_signatures": [ "erc7540_2(address)" ], "saved_corpus_calls": 4, "selector": "0xe94aa8d4", "share": 7.4833495e-05 }, { "comparison_key": "0x15d24046", "function_names": [ "optimize_assetBackingDifference" ], "function_signatures": [ "optimize_assetBackingDifference()" ], "saved_corpus_calls": 3, "selector": "0x15d24046", "share": 5.6125122e-05 }, { "comparison_key": "0x1b75d706", "function_names": [ "_getRandomActor" ], "function_signatures": [ "_getRandomActor(uint256)" ], "saved_corpus_calls": 3, "selector": "0x1b75d706", "share": 5.6125122e-05 }, { "comparison_key": "0x452ba873", "function_names": [ "optimize_moreClaimableThanHeldDifference" ], "function_signatures": [ "optimize_moreClaimableThanHeldDifference()" ], "saved_corpus_calls": 3, "selector": "0x452ba873", "share": 5.6125122e-05 }, { "comparison_key": "0x5b4065cc", "function_names": [ "erc7540_3" ], "function_signatures": [ "erc7540_3(address)" ], "saved_corpus_calls": 3, "selector": "0x5b4065cc", "share": 5.6125122e-05 } ], "fuzzer": "echidna", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 53452, "status": "available", "unavailable_instances": 0, "unique_call_identities": 180, "unique_selectors": 180 }, { "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": "0xe121d831", "function_names": [ "yieldSource_setRevertBehavior5115" ], "function_signatures": [ "yieldSource_setRevertBehavior5115(uint8)" ], "saved_corpus_calls": 712, "selector": "0xe121d831", "share": 0.010019278668 }, { "comparison_key": "0x69a21b7a", "function_names": [ "yieldSource_requestRedeem" ], "function_signatures": [ "yieldSource_requestRedeem(uint256,address,address)" ], "saved_corpus_calls": 644, "selector": "0x69a21b7a", "share": 0.009062381267 }, { "comparison_key": "0xed652da1", "function_names": [ "superVaultAggregator_slashStake" ], "function_signatures": [ "superVaultAggregator_slashStake(address,uint256)" ], "saved_corpus_calls": 631, "selector": "0xed652da1", "share": 0.008879445 }, { "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": 620, "selector": "0x16932562", "share": 0.008724652773 }, { "comparison_key": "0xf7f335e9", "function_names": [ "yieldSource_approve" ], "function_signatures": [ "yieldSource_approve(address,uint256)" ], "saved_corpus_calls": 614, "selector": "0xf7f335e9", "share": 0.008640220649 }, { "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": 608, "selector": "0xbed76c2c", "share": 0.008555788526 }, { "comparison_key": "0x64dfafca", "function_names": [ "superVaultAggregator_addAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_addAuthorizedCaller(address,address)" ], "saved_corpus_calls": 607, "selector": "0x64dfafca", "share": 0.008541716505 }, { "comparison_key": "0xf9e20e1b", "function_names": [ "superVaultStrategy_handleOperations4626Deposit" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Deposit(address,uint256)" ], "saved_corpus_calls": 603, "selector": "0xf9e20e1b", "share": 0.008485428423 }, { "comparison_key": "0x53b95ac1", "function_names": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE" ], "function_signatures": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE()" ], "saved_corpus_calls": 596, "selector": "0x53b95ac1", "share": 0.008386924278 }, { "comparison_key": "0xfb48798d", "function_names": [ "yieldSource_mint" ], "function_signatures": [ "yieldSource_mint(uint256,address)" ], "saved_corpus_calls": 595, "selector": "0xfb48798d", "share": 0.008372852258 }, { "comparison_key": "0x653d736a", "function_names": [ "superVaultAggregator_withdrawUpkeep" ], "function_signatures": [ "superVaultAggregator_withdrawUpkeep(uint256)" ], "saved_corpus_calls": 589, "selector": "0x653d736a", "share": 0.008288420134 }, { "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": 581, "selector": "0x47780112", "share": 0.008175843969 }, { "comparison_key": "0x5485b3cb", "function_names": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED" ], "function_signatures": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED(uint256,uint256)" ], "saved_corpus_calls": 580, "selector": "0x5485b3cb", "share": 0.008161771949 }, { "comparison_key": "0xfe4574ac", "function_names": [ "yieldSource_deposit" ], "function_signatures": [ "yieldSource_deposit(uint256,address)" ], "saved_corpus_calls": 578, "selector": "0xfe4574ac", "share": 0.008133627908 }, { "comparison_key": "0xab2c6ce7", "function_names": [ "yieldSource_setRevertBehavior4626" ], "function_signatures": [ "yieldSource_setRevertBehavior4626(uint8,uint8)" ], "saved_corpus_calls": 576, "selector": "0xab2c6ce7", "share": 0.008105483866 }, { "comparison_key": "0x3a32dc68", "function_names": [ "add_new_vault" ], "function_signatures": [ "add_new_vault()" ], "saved_corpus_calls": 575, "selector": "0x3a32dc68", "share": 0.008091411846 }, { "comparison_key": "0x993eb322", "function_names": [ "yieldSource_setOperator" ], "function_signatures": [ "yieldSource_setOperator(address,bool)" ], "saved_corpus_calls": 568, "selector": "0x993eb322", "share": 0.007992907702 }, { "comparison_key": "0xc0532bec", "function_names": [ "superVaultAggregator_withdrawStake" ], "function_signatures": [ "superVaultAggregator_withdrawStake(uint256)" ], "saved_corpus_calls": 566, "selector": "0xc0532bec", "share": 0.00796476366 }, { "comparison_key": "0xfa912362", "function_names": [ "superVaultStrategy_manageYieldSource_clamped" ], "function_signatures": [ "superVaultStrategy_manageYieldSource_clamped(uint256)" ], "saved_corpus_calls": 566, "selector": "0xfa912362", "share": 0.00796476366 }, { "comparison_key": "0xd30f03fa", "function_names": [ "superVaultEscrow_returnShares" ], "function_signatures": [ "superVaultEscrow_returnShares(address,uint256)" ], "saved_corpus_calls": 565, "selector": "0xd30f03fa", "share": 0.00795069164 }, { "comparison_key": "0x652e3935", "function_names": [ "asset_mint" ], "function_signatures": [ "asset_mint(address,uint128)" ], "saved_corpus_calls": 563, "selector": "0x652e3935", "share": 0.007922547599 }, { "comparison_key": "0xe88907e7", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 562, "selector": "0xe88907e7", "share": 0.007908475578 }, { "comparison_key": "0x12af56c5", "function_names": [ "superVaultStrategy_fulfillRedeemRequests_clamped" ], "function_signatures": [ "superVaultStrategy_fulfillRedeemRequests_clamped(uint256)" ], "saved_corpus_calls": 561, "selector": "0x12af56c5", "share": 0.007894403557 }, { "comparison_key": "0xcc39bf79", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager(address,address)" ], "saved_corpus_calls": 560, "selector": "0xcc39bf79", "share": 0.007880331537 }, { "comparison_key": "0xb20b5751", "function_names": [ "superVaultAggregator_createVault" ], "function_signatures": [ "superVaultAggregator_createVault((address,string,string,address,address[],uint256,uint256,(uint256,uint256,address)))" ], "saved_corpus_calls": 558, "selector": "0xb20b5751", "share": 0.007852187496 }, { "comparison_key": "0xb8ded484", "function_names": [ "superVault_approve" ], "function_signatures": [ "superVault_approve(address,uint256)" ], "saved_corpus_calls": 553, "selector": "0xb8ded484", "share": 0.007781827393 }, { "comparison_key": "0xd62a2f11", "function_names": [ "setFulfilledDifference" ], "function_signatures": [ "setFulfilledDifference()" ], "saved_corpus_calls": 549, "selector": "0xd62a2f11", "share": 0.00772553931 }, { "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": 546, "selector": "0x7c492380", "share": 0.007683323248 }, { "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": 545, "selector": "0x4da21e73", "share": 0.007669251228 }, { "comparison_key": "0x5d83e580", "function_names": [ "yieldSource_simulateGain" ], "function_signatures": [ "yieldSource_simulateGain(uint256)" ], "saved_corpus_calls": 540, "selector": "0x5d83e580", "share": 0.007598891125 }, { "comparison_key": "0x94ad47e5", "function_names": [ "yieldSource_switchToERC4626" ], "function_signatures": [ "yieldSource_switchToERC4626()" ], "saved_corpus_calls": 538, "selector": "0x94ad47e5", "share": 0.007570747084 }, { "comparison_key": "0x0d568161", "function_names": [ "superGovernor_proposeFee" ], "function_signatures": [ "superGovernor_proposeFee(uint8,uint256)" ], "saved_corpus_calls": 536, "selector": "0x0d568161", "share": 0.007542603042 }, { "comparison_key": "0x83778d4b", "function_names": [ "erc7540_5" ], "function_signatures": [ "erc7540_5(address,address,uint256)" ], "saved_corpus_calls": 535, "selector": "0x83778d4b", "share": 0.007528531022 }, { "comparison_key": "0x724ce6ea", "function_names": [ "yieldSource_cancelDepositRequest" ], "function_signatures": [ "yieldSource_cancelDepositRequest(uint256,address)" ], "saved_corpus_calls": 532, "selector": "0x724ce6ea", "share": 0.00748631496 }, { "comparison_key": "0xbb8c4131", "function_names": [ "superVaultAggregator_executeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 532, "selector": "0xbb8c4131", "share": 0.00748631496 }, { "comparison_key": "0x16e7198f", "function_names": [ "superGovernor_executeFeeUpdate_clamped" ], "function_signatures": [ "superGovernor_executeFeeUpdate_clamped(uint256)" ], "saved_corpus_calls": 531, "selector": "0x16e7198f", "share": 0.007472242939 }, { "comparison_key": "0x2e323c85", "function_names": [ "yieldSource_setDecimalsOffset" ], "function_signatures": [ "yieldSource_setDecimalsOffset(uint8)" ], "saved_corpus_calls": 531, "selector": "0x2e323c85", "share": 0.007472242939 }, { "comparison_key": "0x2ac9c057", "function_names": [ "superGovernor_executeMinStalenesChange" ], "function_signatures": [ "superGovernor_executeMinStalenesChange()" ], "saved_corpus_calls": 529, "selector": "0x2ac9c057", "share": 0.007444098898 }, { "comparison_key": "0xb6fefb31", "function_names": [ "erc7540_4_withdraw" ], "function_signatures": [ "erc7540_4_withdraw(address,uint256)" ], "saved_corpus_calls": 529, "selector": "0xb6fefb31", "share": 0.007444098898 }, { "comparison_key": "0x5111e7ca", "function_names": [ "erc7540_6" ], "function_signatures": [ "erc7540_6(address)" ], "saved_corpus_calls": 526, "selector": "0x5111e7ca", "share": 0.007401882836 }, { "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": 526, "selector": "0x6e2c0de8", "share": 0.007401882836 }, { "comparison_key": "0x0012bfca", "function_names": [ "superVaultStrategy_handleOperations4626Mint" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Mint(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 523, "selector": "0x0012bfca", "share": 0.007359666775 }, { "comparison_key": "0x58deadba", "function_names": [ "superVaultAggregator_addSecondaryManager" ], "function_signatures": [ "superVaultAggregator_addSecondaryManager(address,address)" ], "saved_corpus_calls": 523, "selector": "0x58deadba", "share": 0.007359666775 }, { "comparison_key": "0xc6f09e40", "function_names": [ "global_erc7540_5_ASSERTION_ERC7540_5" ], "function_signatures": [ "global_erc7540_5_ASSERTION_ERC7540_5(uint256)" ], "saved_corpus_calls": 523, "selector": "0xc6f09e40", "share": 0.007359666775 }, { "comparison_key": "0xc6227243", "function_names": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL" ], "function_signatures": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 522, "selector": "0xc6227243", "share": 0.007345594754 }, { "comparison_key": "0x945a7f7a", "function_names": [ "superGovernor_proposeMinStaleness" ], "function_signatures": [ "superGovernor_proposeMinStaleness(uint256)" ], "saved_corpus_calls": 521, "selector": "0x945a7f7a", "share": 0.007331522733 }, { "comparison_key": "0xd20d873c", "function_names": [ "yieldSource_claimCancelDepositRequest" ], "function_signatures": [ "yieldSource_claimCancelDepositRequest(uint256,address,address)" ], "saved_corpus_calls": 521, "selector": "0xd20d873c", "share": 0.007331522733 }, { "comparison_key": "0xf701f996", "function_names": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY" ], "function_signatures": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY()" ], "saved_corpus_calls": 520, "selector": "0xf701f996", "share": 0.007317450713 }, { "comparison_key": "0x1c550191", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange(bool)" ], "saved_corpus_calls": 519, "selector": "0x1c550191", "share": 0.007303378692 }, { "comparison_key": "0x47eb2c05", "function_names": [ "erc7540_4_redeem" ], "function_signatures": [ "erc7540_4_redeem(address,uint256)" ], "saved_corpus_calls": 519, "selector": "0x47eb2c05", "share": 0.007303378692 }, { "comparison_key": "0x85d88492", "function_names": [ "superGovernor_proposeFee_clamped" ], "function_signatures": [ "superGovernor_proposeFee_clamped(uint256,uint256)" ], "saved_corpus_calls": 518, "selector": "0x85d88492", "share": 0.007289306672 }, { "comparison_key": "0x923b5116", "function_names": [ "ECDSAPPSOracle_updatePPS_clamped" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS_clamped(uint256)" ], "saved_corpus_calls": 517, "selector": "0x923b5116", "share": 0.007275234651 }, { "comparison_key": "0x6d8b86e5", "function_names": [ "_fulfillRedeemRequestsArgs" ], "function_signatures": [ "_fulfillRedeemRequestsArgs(uint256)" ], "saved_corpus_calls": 516, "selector": "0x6d8b86e5", "share": 0.00726116263 }, { "comparison_key": "0x0775f957", "function_names": [ "superVaultStrategy_manageYieldSource" ], "function_signatures": [ "superVaultStrategy_manageYieldSource(address,address,uint8)" ], "saved_corpus_calls": 515, "selector": "0x0775f957", "share": 0.00724709061 }, { "comparison_key": "0x5b4065cc", "function_names": [ "erc7540_3" ], "function_signatures": [ "erc7540_3(address)" ], "saved_corpus_calls": 515, "selector": "0x5b4065cc", "share": 0.00724709061 }, { "comparison_key": "0x7ed1278a", "function_names": [ "erc7540_4_mint" ], "function_signatures": [ "erc7540_4_mint(address,uint256)" ], "saved_corpus_calls": 512, "selector": "0x7ed1278a", "share": 0.007204874548 }, { "comparison_key": "0xf1f2a8fb", "function_names": [ "superVaultStrategy_executeHooks_clamped" ], "function_signatures": [ "superVaultStrategy_executeHooks_clamped(uint256[],uint256[],bool[])" ], "saved_corpus_calls": 512, "selector": "0xf1f2a8fb", "share": 0.007204874548 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 506, "selector": "0xf24a44c9", "share": 0.007120442424 }, { "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": 503, "selector": "0x1a001033", "share": 0.007078226363 }, { "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": 502, "selector": "0x58a818d4", "share": 0.007064154342 }, { "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": 501, "selector": "0x153c0881", "share": 0.007050082321 }, { "comparison_key": "0x9f9c2957", "function_names": [ "erc7540_4_deposit" ], "function_signatures": [ "erc7540_4_deposit(address,uint256)" ], "saved_corpus_calls": 501, "selector": "0x9f9c2957", "share": 0.007050082321 }, { "comparison_key": "0xbd3e56b3", "function_names": [ "superVaultStrategy_manageEmergencyWithdraw" ], "function_signatures": [ "superVaultStrategy_manageEmergencyWithdraw(uint8,address,uint256)" ], "saved_corpus_calls": 501, "selector": "0xbd3e56b3", "share": 0.007050082321 }, { "comparison_key": "0x961cc2a1", "function_names": [ "yieldSource_transfer" ], "function_signatures": [ "yieldSource_transfer(address,uint256)" ], "saved_corpus_calls": 498, "selector": "0x961cc2a1", "share": 0.00700786626 }, { "comparison_key": "0x431f4fcf", "function_names": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 497, "selector": "0x431f4fcf", "share": 0.006993794239 }, { "comparison_key": "0xe94aa8d4", "function_names": [ "erc7540_2" ], "function_signatures": [ "erc7540_2(address)" ], "saved_corpus_calls": 496, "selector": "0xe94aa8d4", "share": 0.006979722218 }, { "comparison_key": "0xe63df834", "function_names": [ "superVaultAggregator_changePrimaryManager" ], "function_signatures": [ "superVaultAggregator_changePrimaryManager(address,address)" ], "saved_corpus_calls": 495, "selector": "0xe63df834", "share": 0.006965650198 }, { "comparison_key": "0x610b63e4", "function_names": [ "superGovernor_proposeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_proposeAddIncentiveTokens(address[])" ], "saved_corpus_calls": 493, "selector": "0x610b63e4", "share": 0.006937506157 }, { "comparison_key": "0xbaa30e3f", "function_names": [ "superVaultStrategy_proposeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_proposeVaultFeeConfigUpdate(uint256,uint256,address)" ], "saved_corpus_calls": 493, "selector": "0xbaa30e3f", "share": 0.006937506157 }, { "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": 492, "selector": "0x05c4dfe6", "share": 0.006923434136 }, { "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": 491, "selector": "0xa6b7e9a7", "share": 0.006909362115 }, { "comparison_key": "0x72176d00", "function_names": [ "superVault_withdraw" ], "function_signatures": [ "superVault_withdraw(uint256)" ], "saved_corpus_calls": 488, "selector": "0x72176d00", "share": 0.006867146054 }, { "comparison_key": "0xde29b51f", "function_names": [ "superGovernor_proposeGlobalHooksRoot_clamped" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot_clamped(bytes32)" ], "saved_corpus_calls": 488, "selector": "0xde29b51f", "share": 0.006867146054 }, { "comparison_key": "0x4a28a715", "function_names": [ "superVaultAggregator_depositStake" ], "function_signatures": [ "superVaultAggregator_depositStake(address,uint256)" ], "saved_corpus_calls": 486, "selector": "0x4a28a715", "share": 0.006839002012 }, { "comparison_key": "0x7ee964d5", "function_names": [ "yieldSource_simulateLoss" ], "function_signatures": [ "yieldSource_simulateLoss(uint256)" ], "saved_corpus_calls": 486, "selector": "0x7ee964d5", "share": 0.006839002012 }, { "comparison_key": "0x9b5b4765", "function_names": [ "yieldSource_switchToERC7540" ], "function_signatures": [ "yieldSource_switchToERC7540()" ], "saved_corpus_calls": 485, "selector": "0x9b5b4765", "share": 0.006824929992 }, { "comparison_key": "0xa97d49d1", "function_names": [ "yieldSource_cancelRedeemRequest" ], "function_signatures": [ "yieldSource_cancelRedeemRequest(uint256,address)" ], "saved_corpus_calls": 483, "selector": "0xa97d49d1", "share": 0.00679678595 }, { "comparison_key": "0x7674c28d", "function_names": [ "yieldSource_redeem" ], "function_signatures": [ "yieldSource_redeem(uint256,address,address)" ], "saved_corpus_calls": 482, "selector": "0x7674c28d", "share": 0.00678271393 }, { "comparison_key": "0x9cb2de70", "function_names": [ "superVaultStrategy_executeHooks" ], "function_signatures": [ "superVaultStrategy_executeHooks((address[],bytes[],uint256[],bytes32[][],bytes32[][]))" ], "saved_corpus_calls": 481, "selector": "0x9cb2de70", "share": 0.006768641909 }, { "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": 475, "selector": "0x85c3770a", "share": 0.006684209786 }, { "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": 475, "selector": "0xdddfc6cc", "share": 0.006684209786 }, { "comparison_key": "0x5efcce37", "function_names": [ "yieldSource_deposit7540" ], "function_signatures": [ "yieldSource_deposit7540(uint256,address,address)" ], "saved_corpus_calls": 472, "selector": "0x5efcce37", "share": 0.006641993724 }, { "comparison_key": "0x62932228", "function_names": [ "superVaultStrategy_moveAccumulatorOnTransfer" ], "function_signatures": [ "superVaultStrategy_moveAccumulatorOnTransfer(address,address,uint256)" ], "saved_corpus_calls": 471, "selector": "0x62932228", "share": 0.006627921703 }, { "comparison_key": "0xbc0a3bd7", "function_names": [ "mockERC5115YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC5115YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 471, "selector": "0xbc0a3bd7", "share": 0.006627921703 }, { "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": 471, "selector": "0xf8ddb1f1", "share": 0.006627921703 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 470, "selector": "0x6801b82e", "share": 0.006613849683 }, { "comparison_key": "0x8491e3d2", "function_names": [ "setpreviewAssetsGreater" ], "function_signatures": [ "setpreviewAssetsGreater(uint256)" ], "saved_corpus_calls": 469, "selector": "0x8491e3d2", "share": 0.006599777662 }, { "comparison_key": "0x135a35ac", "function_names": [ "yieldSource_claimCancelRedeemRequest" ], "function_signatures": [ "yieldSource_claimCancelRedeemRequest(uint256,address,address)" ], "saved_corpus_calls": 466, "selector": "0x135a35ac", "share": 0.0065575616 }, { "comparison_key": "0xb7208c9f", "function_names": [ "erc7540_7_mint" ], "function_signatures": [ "erc7540_7_mint(address,uint256)" ], "saved_corpus_calls": 465, "selector": "0xb7208c9f", "share": 0.00654348958 }, { "comparison_key": "0x51800fa1", "function_names": [ "superVaultStrategy_updateMaxPPSSlippage" ], "function_signatures": [ "superVaultStrategy_updateMaxPPSSlippage(uint256)" ], "saved_corpus_calls": 454, "selector": "0x51800fa1", "share": 0.006388697353 }, { "comparison_key": "0x4a06cb2a", "function_names": [ "superVault_requestRedeem_clamped" ], "function_signatures": [ "superVault_requestRedeem_clamped(uint256)" ], "saved_corpus_calls": 453, "selector": "0x4a06cb2a", "share": 0.006374625332 }, { "comparison_key": "0xecac6242", "function_names": [ "superVaultStrategy_handleOperations7540_clamped" ], "function_signatures": [ "superVaultStrategy_handleOperations7540_clamped(uint256,uint256)" ], "saved_corpus_calls": 453, "selector": "0xecac6242", "share": 0.006374625332 }, { "comparison_key": "0xc15a22de", "function_names": [ "switch_vault" ], "function_signatures": [ "switch_vault(uint256)" ], "saved_corpus_calls": 452, "selector": "0xc15a22de", "share": 0.006360553312 }, { "comparison_key": "0xa08e3d64", "function_names": [ "superVaultAggregator_depositUpkeep" ], "function_signatures": [ "superVaultAggregator_depositUpkeep(uint256)" ], "saved_corpus_calls": 451, "selector": "0xa08e3d64", "share": 0.006346481291 }, { "comparison_key": "0xebc46a2a", "function_names": [ "setPreviewSharesGreater" ], "function_signatures": [ "setPreviewSharesGreater(uint256)" ], "saved_corpus_calls": 451, "selector": "0xebc46a2a", "share": 0.006346481291 }, { "comparison_key": "0x1c0ee36b", "function_names": [ "superVaultStrategy_executeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_executeVaultFeeConfigUpdate()" ], "saved_corpus_calls": 450, "selector": "0x1c0ee36b", "share": 0.006332409271 }, { "comparison_key": "0x2d9fdcd8", "function_names": [ "mockERC7540YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC7540YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 447, "selector": "0x2d9fdcd8", "share": 0.006290193209 }, { "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": 447, "selector": "0x49ad59f9", "share": 0.006290193209 }, { "comparison_key": "0x30ee3a01", "function_names": [ "superGovernor_executeFeeUpdate" ], "function_signatures": [ "superGovernor_executeFeeUpdate(uint8)" ], "saved_corpus_calls": 443, "selector": "0x30ee3a01", "share": 0.006233905126 }, { "comparison_key": "0x4f79f39c", "function_names": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL" ], "function_signatures": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 443, "selector": "0x4f79f39c", "share": 0.006233905126 }, { "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": 443, "selector": "0x7509cbd9", "share": 0.006233905126 }, { "comparison_key": "0x2fa9dadc", "function_names": [ "asset_approve" ], "function_signatures": [ "asset_approve(address,uint128)" ], "saved_corpus_calls": 441, "selector": "0x2fa9dadc", "share": 0.006205761085 }, { "comparison_key": "0x9da6e005", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange_clamped" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange_clamped()" ], "saved_corpus_calls": 441, "selector": "0x9da6e005", "share": 0.006205761085 }, { "comparison_key": "0xff06850b", "function_names": [ "superGovernor_proposeGlobalHooksRoot" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot(bytes32)" ], "saved_corpus_calls": 440, "selector": "0xff06850b", "share": 0.006191689065 }, { "comparison_key": "0x8b7a0b44", "function_names": [ "erc7540_1" ], "function_signatures": [ "erc7540_1(address)" ], "saved_corpus_calls": 438, "selector": "0x8b7a0b44", "share": 0.006163545023 }, { "comparison_key": "0x53494d09", "function_names": [ "yieldSource_transferFrom" ], "function_signatures": [ "yieldSource_transferFrom(address,address,uint256)" ], "saved_corpus_calls": 434, "selector": "0x53494d09", "share": 0.006107256941 }, { "comparison_key": "0xc8f637e2", "function_names": [ "yieldSource_switchToERC5115" ], "function_signatures": [ "yieldSource_switchToERC5115()" ], "saved_corpus_calls": 434, "selector": "0xc8f637e2", "share": 0.006107256941 }, { "comparison_key": "0x11200cde", "function_names": [ "superVault_requestRedeem" ], "function_signatures": [ "superVault_requestRedeem(uint256)" ], "saved_corpus_calls": 433, "selector": "0x11200cde", "share": 0.00609318492 }, { "comparison_key": "0x1e78dbc2", "function_names": [ "superVaultAggregator_updatePPSVerificationThresholds" ], "function_signatures": [ "superVaultAggregator_updatePPSVerificationThresholds(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 432, "selector": "0x1e78dbc2", "share": 0.0060791129 }, { "comparison_key": "0x33622846", "function_names": [ "superVaultEscrow_initialize" ], "function_signatures": [ "superVaultEscrow_initialize(address,address)" ], "saved_corpus_calls": 432, "selector": "0x33622846", "share": 0.0060791129 }, { "comparison_key": "0x99f98474", "function_names": [ "yieldSource_deposit5115" ], "function_signatures": [ "yieldSource_deposit5115(address,address,uint256,uint256,bool)" ], "saved_corpus_calls": 432, "selector": "0x99f98474", "share": 0.0060791129 }, { "comparison_key": "0x6f111386", "function_names": [ "superVault_redeem" ], "function_signatures": [ "superVault_redeem(uint256)" ], "saved_corpus_calls": 431, "selector": "0x6f111386", "share": 0.006065040879 }, { "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": 430, "selector": "0x4a9f284f", "share": 0.006050968859 }, { "comparison_key": "0xe53dc6d6", "function_names": [ "erc7540_7_redeem" ], "function_signatures": [ "erc7540_7_redeem(address,uint256)" ], "saved_corpus_calls": 430, "selector": "0xe53dc6d6", "share": 0.006050968859 }, { "comparison_key": "0x4e9ce11d", "function_names": [ "mockERC4626YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC4626YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 429, "selector": "0x4e9ce11d", "share": 0.006036896838 }, { "comparison_key": "0x6f1b5a20", "function_names": [ "superVault_withdraw_clamped" ], "function_signatures": [ "superVault_withdraw_clamped(uint256)" ], "saved_corpus_calls": 428, "selector": "0x6f1b5a20", "share": 0.006022824817 }, { "comparison_key": "0x9d5c96d1", "function_names": [ "superVaultStrategy_handleOperations7540" ], "function_signatures": [ "superVaultStrategy_handleOperations7540(uint8,address,address,uint256)" ], "saved_corpus_calls": 428, "selector": "0x9d5c96d1", "share": 0.006022824817 }, { "comparison_key": "0x9eb67371", "function_names": [ "superVault_setOperator" ], "function_signatures": [ "superVault_setOperator(uint256,bool)" ], "saved_corpus_calls": 424, "selector": "0x9eb67371", "share": 0.005966536735 }, { "comparison_key": "0x6901727f", "function_names": [ "erc7540_7_withdraw" ], "function_signatures": [ "erc7540_7_withdraw(address,uint256)" ], "saved_corpus_calls": 423, "selector": "0x6901727f", "share": 0.005952464714 }, { "comparison_key": "0xd15446d6", "function_names": [ "yieldSource_redeem5115" ], "function_signatures": [ "yieldSource_redeem5115(address,uint256,address,uint256,bool)" ], "saved_corpus_calls": 423, "selector": "0xd15446d6", "share": 0.005952464714 }, { "comparison_key": "0x9b62d72e", "function_names": [ "superVaultAggregator_claimUpkeep" ], "function_signatures": [ "superVaultAggregator_claimUpkeep(uint256)" ], "saved_corpus_calls": 422, "selector": "0x9b62d72e", "share": 0.005938392694 }, { "comparison_key": "0xdeaf00fe", "function_names": [ "superGovernor_executeRemoveIncentiveTokens" ], "function_signatures": [ "superGovernor_executeRemoveIncentiveTokens()" ], "saved_corpus_calls": 419, "selector": "0xdeaf00fe", "share": 0.005896176632 }, { "comparison_key": "0x47801ba1", "function_names": [ "yieldSource_requestDeposit" ], "function_signatures": [ "yieldSource_requestDeposit(uint256,address,address)" ], "saved_corpus_calls": 418, "selector": "0x47801ba1", "share": 0.005882104611 }, { "comparison_key": "0x0de1fd4c", "function_names": [ "superGovernor_executeUpkeepClaim" ], "function_signatures": [ "superGovernor_executeUpkeepClaim(uint256)" ], "saved_corpus_calls": 415, "selector": "0x0de1fd4c", "share": 0.00583988855 }, { "comparison_key": "0x31f725a0", "function_names": [ "ECDSAPPSOracle_updatePPS" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS((address[],bytes[][],uint256[],uint256[],uint256[],uint256[],uint256[]))" ], "saved_corpus_calls": 411, "selector": "0x31f725a0", "share": 0.005783600467 }, { "comparison_key": "0x6ab2ab12", "function_names": [ "superVaultEscrow_escrowShares" ], "function_signatures": [ "superVaultEscrow_escrowShares(address,uint256)" ], "saved_corpus_calls": 411, "selector": "0x6ab2ab12", "share": 0.005783600467 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 410, "selector": "0x55ba98ff", "share": 0.005769528447 }, { "comparison_key": "0x37f0d09d", "function_names": [ "superVaultAggregator_removeSecondaryManager" ], "function_signatures": [ "superVaultAggregator_removeSecondaryManager(address,address)" ], "saved_corpus_calls": 409, "selector": "0x37f0d09d", "share": 0.005755456426 }, { "comparison_key": "0x11d72d6f", "function_names": [ "superVaultAggregator_removeAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_removeAuthorizedCaller(address,address)" ], "saved_corpus_calls": 408, "selector": "0x11d72d6f", "share": 0.005741384405 }, { "comparison_key": "0xba82804f", "function_names": [ "superGovernor_executeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_executeUpkeepPaymentsChange()" ], "saved_corpus_calls": 406, "selector": "0xba82804f", "share": 0.005713240364 }, { "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": 404, "selector": "0x0a4821cf", "share": 0.005685096323 }, { "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": 403, "selector": "0xadb365f3", "share": 0.005671024302 }, { "comparison_key": "0x3f4d3a0c", "function_names": [ "superVault_invalidateNonce" ], "function_signatures": [ "superVault_invalidateNonce(bytes32)" ], "saved_corpus_calls": 401, "selector": "0x3f4d3a0c", "share": 0.005642880261 }, { "comparison_key": "0x3f614fab", "function_names": [ "superVault_redeem_clamped" ], "function_signatures": [ "superVault_redeem_clamped(uint256)" ], "saved_corpus_calls": 391, "selector": "0x3f614fab", "share": 0.005502160055 }, { "comparison_key": "0xa575357a", "function_names": [ "erc7540_7_deposit" ], "function_signatures": [ "erc7540_7_deposit(address,uint256)" ], "saved_corpus_calls": 391, "selector": "0xa575357a", "share": 0.005502160055 }, { "comparison_key": "0x3509d9c1", "function_names": [ "superGovernor_executeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_executeAddIncentiveTokens()" ], "saved_corpus_calls": 389, "selector": "0x3509d9c1", "share": 0.005474016014 }, { "comparison_key": "0x98bea562", "function_names": [ "yieldSource_setLossOnWithdraw" ], "function_signatures": [ "yieldSource_setLossOnWithdraw(uint256)" ], "saved_corpus_calls": 382, "selector": "0x98bea562", "share": 0.00537551187 }, { "comparison_key": "0xd03da50e", "function_names": [ "yieldSource_switchRandom" ], "function_signatures": [ "yieldSource_switchRandom(uint256)" ], "saved_corpus_calls": 381, "selector": "0xd03da50e", "share": 0.005361439849 }, { "comparison_key": "0xf9534397", "function_names": [ "superVault_burnShares" ], "function_signatures": [ "superVault_burnShares(uint256)" ], "saved_corpus_calls": 376, "selector": "0xf9534397", "share": 0.005291079746 }, { "comparison_key": "0x7fbba149", "function_names": [ "add_new_asset" ], "function_signatures": [ "add_new_asset(uint8)" ], "saved_corpus_calls": 375, "selector": "0x7fbba149", "share": 0.005277007726 }, { "comparison_key": "0x1de49bf9", "function_names": [ "superVaultAggregator_executeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager(address)" ], "saved_corpus_calls": 372, "selector": "0x1de49bf9", "share": 0.005234791664 }, { "comparison_key": "0x84d461f2", "function_names": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 369, "selector": "0x84d461f2", "share": 0.005192575602 }, { "comparison_key": "0xfead5404", "function_names": [ "yieldSourceOracle_setValidAsset_clamped" ], "function_signatures": [ "yieldSourceOracle_setValidAsset_clamped()" ], "saved_corpus_calls": 367, "selector": "0xfead5404", "share": 0.005164431561 }, { "comparison_key": "0x166d031e", "function_names": [ "yieldSource_withdraw" ], "function_signatures": [ "yieldSource_withdraw(uint256,address,address)" ], "saved_corpus_calls": 355, "selector": "0x166d031e", "share": 0.004995567314 }, { "comparison_key": "0x7fd74a62", "function_names": [ "superVaultStrategy_manageYieldSources" ], "function_signatures": [ "superVaultStrategy_manageYieldSources(address[],address[],uint8[])" ], "saved_corpus_calls": 350, "selector": "0x7fd74a62", "share": 0.004925207211 }, { "comparison_key": "0x5e79ec62", "function_names": [ "superVaultAggregator_createVault_clamped" ], "function_signatures": [ "superVaultAggregator_createVault_clamped(uint256,uint256,uint256,uint256)" ], "saved_corpus_calls": 336, "selector": "0x5e79ec62", "share": 0.004728198922 }, { "comparison_key": "0x616fdce4", "function_names": [ "MAX_ROUNDING_ERROR" ], "function_signatures": [ "MAX_ROUNDING_ERROR()" ], "saved_corpus_calls": 8, "selector": "0x616fdce4", "share": 0.000112576165 }, { "comparison_key": "0x57955948", "function_names": [ "ETHENA" ], "function_signatures": [ "ETHENA()" ], "saved_corpus_calls": 7, "selector": "0x57955948", "share": 9.8504144e-05 }, { "comparison_key": "0x6ef5ee7e", "function_names": [ "PTYT" ], "function_signatures": [ "PTYT()" ], "saved_corpus_calls": 7, "selector": "0x6ef5ee7e", "share": 9.8504144e-05 }, { "comparison_key": "0x1b75d706", "function_names": [ "_getRandomActor" ], "function_signatures": [ "_getRandomActor(uint256)" ], "saved_corpus_calls": 6, "selector": "0x1b75d706", "share": 8.4432124e-05 }, { "comparison_key": "0xdc8df387", "function_names": [ "UNSTAKE" ], "function_signatures": [ "UNSTAKE()" ], "saved_corpus_calls": 6, "selector": "0xdc8df387", "share": 8.4432124e-05 }, { "comparison_key": "0xb8651e1c", "function_names": [ "ERC5115" ], "function_signatures": [ "ERC5115()" ], "saved_corpus_calls": 5, "selector": "0xb8651e1c", "share": 7.0360103e-05 }, { "comparison_key": "0xd03e9532", "function_names": [ "ERC7540" ], "function_signatures": [ "ERC7540()" ], "saved_corpus_calls": 5, "selector": "0xd03e9532", "share": 7.0360103e-05 }, { "comparison_key": "0x3575139f", "function_names": [ "CLAIM_CANCEL_DEPOSIT_REQUEST" ], "function_signatures": [ "CLAIM_CANCEL_DEPOSIT_REQUEST()" ], "saved_corpus_calls": 4, "selector": "0x3575139f", "share": 5.6288082e-05 }, { "comparison_key": "0x78e54f37", "function_names": [ "CANCEL_REDEEM_REQUEST" ], "function_signatures": [ "CANCEL_REDEEM_REQUEST()" ], "saved_corpus_calls": 4, "selector": "0x78e54f37", "share": 5.6288082e-05 }, { "comparison_key": "0x958ab595", "function_names": [ "CANCEL_DEPOSIT" ], "function_signatures": [ "CANCEL_DEPOSIT()" ], "saved_corpus_calls": 4, "selector": "0x958ab595", "share": 5.6288082e-05 }, { "comparison_key": "0xa2724a4d", "function_names": [ "COOLDOWN" ], "function_signatures": [ "COOLDOWN()" ], "saved_corpus_calls": 4, "selector": "0xa2724a4d", "share": 5.6288082e-05 }, { "comparison_key": "0xee629b29", "function_names": [ "CANCEL_DEPOSIT_REQUEST" ], "function_signatures": [ "CANCEL_DEPOSIT_REQUEST()" ], "saved_corpus_calls": 4, "selector": "0xee629b29", "share": 5.6288082e-05 }, { "comparison_key": "0x125fdbbc", "function_names": [ "STAKE" ], "function_signatures": [ "STAKE()" ], "saved_corpus_calls": 3, "selector": "0x125fdbbc", "share": 4.2216062e-05 }, { "comparison_key": "0x39e0739e", "function_names": [ "VAULT_BANK" ], "function_signatures": [ "VAULT_BANK()" ], "saved_corpus_calls": 3, "selector": "0x39e0739e", "share": 4.2216062e-05 }, { "comparison_key": "0x3a3c542b", "function_names": [ "MISC" ], "function_signatures": [ "MISC()" ], "saved_corpus_calls": 3, "selector": "0x3a3c542b", "share": 4.2216062e-05 }, { "comparison_key": "0x73d74876", "function_names": [ "CLAIM" ], "function_signatures": [ "CLAIM()" ], "saved_corpus_calls": 3, "selector": "0x73d74876", "share": 4.2216062e-05 }, { "comparison_key": "0x82bfefc8", "function_names": [ "TOKEN" ], "function_signatures": [ "TOKEN()" ], "saved_corpus_calls": 3, "selector": "0x82bfefc8", "share": 4.2216062e-05 }, { "comparison_key": "0xf1b4fbab", "function_names": [ "LOAN" ], "function_signatures": [ "LOAN()" ], "saved_corpus_calls": 3, "selector": "0xf1b4fbab", "share": 4.2216062e-05 }, { "comparison_key": "0xf7ca0316", "function_names": [ "CLAIM_CANCEL_REDEEM_REQUEST" ], "function_signatures": [ "CLAIM_CANCEL_REDEEM_REQUEST()" ], "saved_corpus_calls": 3, "selector": "0xf7ca0316", "share": 4.2216062e-05 }, { "comparison_key": "0x04d84108", "function_names": [ "SWAP" ], "function_signatures": [ "SWAP()" ], "saved_corpus_calls": 2, "selector": "0x04d84108", "share": 2.8144041e-05 }, { "comparison_key": "0x454804ef", "function_names": [ "CANCEL_REDEEM" ], "function_signatures": [ "CANCEL_REDEEM()" ], "saved_corpus_calls": 2, "selector": "0x454804ef", "share": 2.8144041e-05 }, { "comparison_key": "0x64d59d46", "function_names": [ "_sumStrategyAssets" ], "function_signatures": [ "_sumStrategyAssets()" ], "saved_corpus_calls": 2, "selector": "0x64d59d46", "share": 2.8144041e-05 }, { "comparison_key": "0x67bb3f0f", "function_names": [ "LOAN_REPAY" ], "function_signatures": [ "LOAN_REPAY()" ], "saved_corpus_calls": 2, "selector": "0x67bb3f0f", "share": 2.8144041e-05 }, { "comparison_key": "0xe1f8f303", "function_names": [ "ERC4626" ], "function_signatures": [ "ERC4626()" ], "saved_corpus_calls": 2, "selector": "0xe1f8f303", "share": 2.8144041e-05 }, { "comparison_key": "0xee9a31a2", "function_names": [ "BRIDGE" ], "function_signatures": [ "BRIDGE()" ], "saved_corpus_calls": 2, "selector": "0xee9a31a2", "share": 2.8144041e-05 } ], "fuzzer": "medusa", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 71063, "status": "available", "unavailable_instances": 0, "unique_call_identities": 171, "unique_selectors": 171 }, { "available_instances": 2, "distribution": [ { "comparison_key": "0xfa912362", "function_names": [ "superVaultStrategy_manageYieldSource_clamped" ], "function_signatures": [ "superVaultStrategy_manageYieldSource_clamped(uint256)" ], "saved_corpus_calls": 982, "selector": "0xfa912362", "share": 0.007762416309 }, { "comparison_key": "0x1e78dbc2", "function_names": [ "superVaultAggregator_updatePPSVerificationThresholds" ], "function_signatures": [ "superVaultAggregator_updatePPSVerificationThresholds(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 890, "selector": "0x1e78dbc2", "share": 0.007035183824 }, { "comparison_key": "0xf1f2a8fb", "function_names": [ "superVaultStrategy_executeHooks_clamped" ], "function_signatures": [ "superVaultStrategy_executeHooks_clamped(uint256[],uint256[],bool[])" ], "saved_corpus_calls": 867, "selector": "0xf1f2a8fb", "share": 0.006853375703 }, { "comparison_key": "0xfb48798d", "function_names": [ "yieldSource_mint" ], "function_signatures": [ "yieldSource_mint(uint256,address)" ], "saved_corpus_calls": 858, "selector": "0xfb48798d", "share": 0.006782233394 }, { "comparison_key": "0x98bea562", "function_names": [ "yieldSource_setLossOnWithdraw" ], "function_signatures": [ "yieldSource_setLossOnWithdraw(uint256)" ], "saved_corpus_calls": 850, "selector": "0x98bea562", "share": 0.006718995787 }, { "comparison_key": "0x0012bfca", "function_names": [ "superVaultStrategy_handleOperations4626Mint" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Mint(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 842, "selector": "0x0012bfca", "share": 0.006655758179 }, { "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": 841, "selector": "0x1a001033", "share": 0.006647853478 }, { "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": 835, "selector": "0xa6b7e9a7", "share": 0.006600425273 }, { "comparison_key": "0xfe4574ac", "function_names": [ "yieldSource_deposit" ], "function_signatures": [ "yieldSource_deposit(uint256,address)" ], "saved_corpus_calls": 823, "selector": "0xfe4574ac", "share": 0.006505568862 }, { "comparison_key": "0x5d83e580", "function_names": [ "yieldSource_simulateGain" ], "function_signatures": [ "yieldSource_simulateGain(uint256)" ], "saved_corpus_calls": 821, "selector": "0x5d83e580", "share": 0.00648975946 }, { "comparison_key": "0x1c0ee36b", "function_names": [ "superVaultStrategy_executeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_executeVaultFeeConfigUpdate()" ], "saved_corpus_calls": 810, "selector": "0x1c0ee36b", "share": 0.00640280775 }, { "comparison_key": "0x2e323c85", "function_names": [ "yieldSource_setDecimalsOffset" ], "function_signatures": [ "yieldSource_setDecimalsOffset(uint8)" ], "saved_corpus_calls": 810, "selector": "0x2e323c85", "share": 0.00640280775 }, { "comparison_key": "0xf51545d6", "function_names": [ "invariant_maxDepositZeroWhenPaused" ], "function_signatures": [ "invariant_maxDepositZeroWhenPaused()" ], "saved_corpus_calls": 807, "selector": "0xf51545d6", "share": 0.006379093647 }, { "comparison_key": "0xed652da1", "function_names": [ "superVaultAggregator_slashStake" ], "function_signatures": [ "superVaultAggregator_slashStake(address,uint256)" ], "saved_corpus_calls": 804, "selector": "0xed652da1", "share": 0.006355379544 }, { "comparison_key": "0xb20b5751", "function_names": [ "superVaultAggregator_createVault" ], "function_signatures": [ "superVaultAggregator_createVault((address,string,string,address,address[],uint256,uint256,(uint256,uint256,address)))" ], "saved_corpus_calls": 802, "selector": "0xb20b5751", "share": 0.006339570142 }, { "comparison_key": "0x452ba873", "function_names": [ "optimize_moreClaimableThanHeldDifference" ], "function_signatures": [ "optimize_moreClaimableThanHeldDifference()" ], "saved_corpus_calls": 799, "selector": "0x452ba873", "share": 0.00631585604 }, { "comparison_key": "0x961cc2a1", "function_names": [ "yieldSource_transfer" ], "function_signatures": [ "yieldSource_transfer(address,uint256)" ], "saved_corpus_calls": 799, "selector": "0x961cc2a1", "share": 0.00631585604 }, { "comparison_key": "0x12af56c5", "function_names": [ "superVaultStrategy_fulfillRedeemRequests_clamped" ], "function_signatures": [ "superVaultStrategy_fulfillRedeemRequests_clamped(uint256)" ], "saved_corpus_calls": 798, "selector": "0x12af56c5", "share": 0.006307951339 }, { "comparison_key": "0x51800fa1", "function_names": [ "superVaultStrategy_updateMaxPPSSlippage" ], "function_signatures": [ "superVaultStrategy_updateMaxPPSSlippage(uint256)" ], "saved_corpus_calls": 798, "selector": "0x51800fa1", "share": 0.006307951339 }, { "comparison_key": "0xe88907e7", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 797, "selector": "0xe88907e7", "share": 0.006300046638 }, { "comparison_key": "0x85d88492", "function_names": [ "superGovernor_proposeFee_clamped" ], "function_signatures": [ "superGovernor_proposeFee_clamped(uint256,uint256)" ], "saved_corpus_calls": 796, "selector": "0x85d88492", "share": 0.006292141937 }, { "comparison_key": "0x03a0d257", "function_names": [ "invariant_accumulatorSharesSolvency" ], "function_signatures": [ "invariant_accumulatorSharesSolvency()" ], "saved_corpus_calls": 789, "selector": "0x03a0d257", "share": 0.00623680903 }, { "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": 789, "selector": "0xbed76c2c", "share": 0.00623680903 }, { "comparison_key": "0xde29b51f", "function_names": [ "superGovernor_proposeGlobalHooksRoot_clamped" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot_clamped(bytes32)" ], "saved_corpus_calls": 789, "selector": "0xde29b51f", "share": 0.00623680903 }, { "comparison_key": "0x0a3f0749", "function_names": [ "optimize_burnLessThanRequestedInRedemption" ], "function_signatures": [ "optimize_burnLessThanRequestedInRedemption()" ], "saved_corpus_calls": 786, "selector": "0x0a3f0749", "share": 0.006213094928 }, { "comparison_key": "0x72176d00", "function_names": [ "superVault_withdraw" ], "function_signatures": [ "superVault_withdraw(uint256)" ], "saved_corpus_calls": 785, "selector": "0x72176d00", "share": 0.006205190227 }, { "comparison_key": "0x5485b3cb", "function_names": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED" ], "function_signatures": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED(uint256,uint256)" ], "saved_corpus_calls": 784, "selector": "0x5485b3cb", "share": 0.006197285526 }, { "comparison_key": "0xbaa30e3f", "function_names": [ "superVaultStrategy_proposeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_proposeVaultFeeConfigUpdate(uint256,uint256,address)" ], "saved_corpus_calls": 783, "selector": "0xbaa30e3f", "share": 0.006189380825 }, { "comparison_key": "0xbd3e56b3", "function_names": [ "superVaultStrategy_manageEmergencyWithdraw" ], "function_signatures": [ "superVaultStrategy_manageEmergencyWithdraw(uint8,address,uint256)" ], "saved_corpus_calls": 782, "selector": "0xbd3e56b3", "share": 0.006181476124 }, { "comparison_key": "0xd15446d6", "function_names": [ "yieldSource_redeem5115" ], "function_signatures": [ "yieldSource_redeem5115(address,uint256,address,uint256,bool)" ], "saved_corpus_calls": 781, "selector": "0xd15446d6", "share": 0.006173571423 }, { "comparison_key": "0xa97d49d1", "function_names": [ "yieldSource_cancelRedeemRequest" ], "function_signatures": [ "yieldSource_cancelRedeemRequest(uint256,address)" ], "saved_corpus_calls": 779, "selector": "0xa97d49d1", "share": 0.006157762021 }, { "comparison_key": "0x5b4065cc", "function_names": [ "erc7540_3" ], "function_signatures": [ "erc7540_3(address)" ], "saved_corpus_calls": 765, "selector": "0x5b4065cc", "share": 0.006047096208 }, { "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": 763, "selector": "0x49ad59f9", "share": 0.006031286806 }, { "comparison_key": "0x11200cde", "function_names": [ "superVault_requestRedeem" ], "function_signatures": [ "superVault_requestRedeem(uint256)" ], "saved_corpus_calls": 762, "selector": "0x11200cde", "share": 0.006023382105 }, { "comparison_key": "0xa08e3d64", "function_names": [ "superVaultAggregator_depositUpkeep" ], "function_signatures": [ "superVaultAggregator_depositUpkeep(uint256)" ], "saved_corpus_calls": 762, "selector": "0xa08e3d64", "share": 0.006023382105 }, { "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": 761, "selector": "0xf8ddb1f1", "share": 0.006015477404 }, { "comparison_key": "0x7fd74a62", "function_names": [ "superVaultStrategy_manageYieldSources" ], "function_signatures": [ "superVaultStrategy_manageYieldSources(address[],address[],uint8[])" ], "saved_corpus_calls": 754, "selector": "0x7fd74a62", "share": 0.005960144498 }, { "comparison_key": "0xb6fefb31", "function_names": [ "erc7540_4_withdraw" ], "function_signatures": [ "erc7540_4_withdraw(address,uint256)" ], "saved_corpus_calls": 754, "selector": "0xb6fefb31", "share": 0.005960144498 }, { "comparison_key": "0x18395098", "function_names": [ "invariant_assetBacking" ], "function_signatures": [ "invariant_assetBacking()" ], "saved_corpus_calls": 753, "selector": "0x18395098", "share": 0.005952239797 }, { "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": 752, "selector": "0x0a4821cf", "share": 0.005944335096 }, { "comparison_key": "0x1b75d706", "function_names": [ "_getRandomActor" ], "function_signatures": [ "_getRandomActor(uint256)" ], "saved_corpus_calls": 752, "selector": "0x1b75d706", "share": 0.005944335096 }, { "comparison_key": "0x11d72d6f", "function_names": [ "superVaultAggregator_removeAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_removeAuthorizedCaller(address,address)" ], "saved_corpus_calls": 751, "selector": "0x11d72d6f", "share": 0.005936430395 }, { "comparison_key": "0x8318025e", "function_names": [ "invariant_fulfillOnlyBurnsRequestedAmount" ], "function_signatures": [ "invariant_fulfillOnlyBurnsRequestedAmount()" ], "saved_corpus_calls": 747, "selector": "0x8318025e", "share": 0.005904811591 }, { "comparison_key": "0xb8bfb90d", "function_names": [ "invariant_oraclePPSDoesntChangeOnAddOrRemove" ], "function_signatures": [ "invariant_oraclePPSDoesntChangeOnAddOrRemove()" ], "saved_corpus_calls": 747, "selector": "0xb8bfb90d", "share": 0.005904811591 }, { "comparison_key": "0xb7208c9f", "function_names": [ "erc7540_7_mint" ], "function_signatures": [ "erc7540_7_mint(address,uint256)" ], "saved_corpus_calls": 746, "selector": "0xb7208c9f", "share": 0.005896906891 }, { "comparison_key": "0x3f614fab", "function_names": [ "superVault_redeem_clamped" ], "function_signatures": [ "superVault_redeem_clamped(uint256)" ], "saved_corpus_calls": 745, "selector": "0x3f614fab", "share": 0.00588900219 }, { "comparison_key": "0xb7166ff0", "function_names": [ "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance" ], "function_signatures": [ "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance()" ], "saved_corpus_calls": 745, "selector": "0xb7166ff0", "share": 0.00588900219 }, { "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": 742, "selector": "0x58a818d4", "share": 0.005865288087 }, { "comparison_key": "0x84d461f2", "function_names": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 741, "selector": "0x84d461f2", "share": 0.005857383386 }, { "comparison_key": "0xc6f09e40", "function_names": [ "global_erc7540_5_ASSERTION_ERC7540_5" ], "function_signatures": [ "global_erc7540_5_ASSERTION_ERC7540_5(uint256)" ], "saved_corpus_calls": 738, "selector": "0xc6f09e40", "share": 0.005833669283 }, { "comparison_key": "0x55ee7e47", "function_names": [ "invariant_avgPPSMonotonicity" ], "function_signatures": [ "invariant_avgPPSMonotonicity()" ], "saved_corpus_calls": 735, "selector": "0x55ee7e47", "share": 0.00580995518 }, { "comparison_key": "0x724ce6ea", "function_names": [ "yieldSource_cancelDepositRequest" ], "function_signatures": [ "yieldSource_cancelDepositRequest(uint256,address)" ], "saved_corpus_calls": 732, "selector": "0x724ce6ea", "share": 0.005786241078 }, { "comparison_key": "0x7674c28d", "function_names": [ "yieldSource_redeem" ], "function_signatures": [ "yieldSource_redeem(uint256,address,address)" ], "saved_corpus_calls": 731, "selector": "0x7674c28d", "share": 0.005778336377 }, { "comparison_key": "0x9b5b4765", "function_names": [ "yieldSource_switchToERC7540" ], "function_signatures": [ "yieldSource_switchToERC7540()" ], "saved_corpus_calls": 729, "selector": "0x9b5b4765", "share": 0.005762526975 }, { "comparison_key": "0xbc0a3bd7", "function_names": [ "mockERC5115YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC5115YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 729, "selector": "0xbc0a3bd7", "share": 0.005762526975 }, { "comparison_key": "0x610b63e4", "function_names": [ "superGovernor_proposeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_proposeAddIncentiveTokens(address[])" ], "saved_corpus_calls": 727, "selector": "0x610b63e4", "share": 0.005746717573 }, { "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": 726, "selector": "0xdddfc6cc", "share": 0.005738812872 }, { "comparison_key": "0x135a35ac", "function_names": [ "yieldSource_claimCancelRedeemRequest" ], "function_signatures": [ "yieldSource_claimCancelRedeemRequest(uint256,address,address)" ], "saved_corpus_calls": 725, "selector": "0x135a35ac", "share": 0.005730908171 }, { "comparison_key": "0x166d031e", "function_names": [ "yieldSource_withdraw" ], "function_signatures": [ "yieldSource_withdraw(uint256,address,address)" ], "saved_corpus_calls": 724, "selector": "0x166d031e", "share": 0.00572300347 }, { "comparison_key": "0xc2dc09e3", "function_names": [ "invariant_avgPPSDoesntDecrease" ], "function_signatures": [ "invariant_avgPPSDoesntDecrease()" ], "saved_corpus_calls": 724, "selector": "0xc2dc09e3", "share": 0.00572300347 }, { "comparison_key": "0x47eb2c05", "function_names": [ "erc7540_4_redeem" ], "function_signatures": [ "erc7540_4_redeem(address,uint256)" ], "saved_corpus_calls": 723, "selector": "0x47eb2c05", "share": 0.005715098769 }, { "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": 723, "selector": "0x4da21e73", "share": 0.005715098769 }, { "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": 722, "selector": "0x4a9f284f", "share": 0.005707194068 }, { "comparison_key": "0x47801ba1", "function_names": [ "yieldSource_requestDeposit" ], "function_signatures": [ "yieldSource_requestDeposit(uint256,address,address)" ], "saved_corpus_calls": 721, "selector": "0x47801ba1", "share": 0.005699289367 }, { "comparison_key": "0x16e7198f", "function_names": [ "superGovernor_executeFeeUpdate_clamped" ], "function_signatures": [ "superGovernor_executeFeeUpdate_clamped(uint256)" ], "saved_corpus_calls": 718, "selector": "0x16e7198f", "share": 0.005675575265 }, { "comparison_key": "0x923b5116", "function_names": [ "ECDSAPPSOracle_updatePPS_clamped" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS_clamped(uint256)" ], "saved_corpus_calls": 718, "selector": "0x923b5116", "share": 0.005675575265 }, { "comparison_key": "0xd1fbeeaa", "function_names": [ "invariant_maxMintZeroWhenPaused" ], "function_signatures": [ "invariant_maxMintZeroWhenPaused()" ], "saved_corpus_calls": 717, "selector": "0xd1fbeeaa", "share": 0.005667670564 }, { "comparison_key": "0x4a06cb2a", "function_names": [ "superVault_requestRedeem_clamped" ], "function_signatures": [ "superVault_requestRedeem_clamped(uint256)" ], "saved_corpus_calls": 714, "selector": "0x4a06cb2a", "share": 0.005643956461 }, { "comparison_key": "0x6f1b5a20", "function_names": [ "superVault_withdraw_clamped" ], "function_signatures": [ "superVault_withdraw_clamped(uint256)" ], "saved_corpus_calls": 713, "selector": "0x6f1b5a20", "share": 0.00563605176 }, { "comparison_key": "0x9da6e005", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange_clamped" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange_clamped()" ], "saved_corpus_calls": 713, "selector": "0x9da6e005", "share": 0.00563605176 }, { "comparison_key": "0xf701f996", "function_names": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY" ], "function_signatures": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY()" ], "saved_corpus_calls": 713, "selector": "0xf701f996", "share": 0.00563605176 }, { "comparison_key": "0x0d568161", "function_names": [ "superGovernor_proposeFee" ], "function_signatures": [ "superGovernor_proposeFee(uint8,uint256)" ], "saved_corpus_calls": 712, "selector": "0x0d568161", "share": 0.005628147059 }, { "comparison_key": "0xbb8c4131", "function_names": [ "superVaultAggregator_executeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 712, "selector": "0xbb8c4131", "share": 0.005628147059 }, { "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": 711, "selector": "0x7c492380", "share": 0.005620242358 }, { "comparison_key": "0x31f725a0", "function_names": [ "ECDSAPPSOracle_updatePPS" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS((address[],bytes[][],uint256[],uint256[],uint256[],uint256[],uint256[]))" ], "saved_corpus_calls": 710, "selector": "0x31f725a0", "share": 0.005612337657 }, { "comparison_key": "0x1de49bf9", "function_names": [ "superVaultAggregator_executeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager(address)" ], "saved_corpus_calls": 706, "selector": "0x1de49bf9", "share": 0.005580718854 }, { "comparison_key": "0x5111e7ca", "function_names": [ "erc7540_6" ], "function_signatures": [ "erc7540_6(address)" ], "saved_corpus_calls": 706, "selector": "0x5111e7ca", "share": 0.005580718854 }, { "comparison_key": "0x15d24046", "function_names": [ "optimize_assetBackingDifference" ], "function_signatures": [ "optimize_assetBackingDifference()" ], "saved_corpus_calls": 705, "selector": "0x15d24046", "share": 0.005572814153 }, { "comparison_key": "0xd30f03fa", "function_names": [ "superVaultEscrow_returnShares" ], "function_signatures": [ "superVaultEscrow_returnShares(address,uint256)" ], "saved_corpus_calls": 704, "selector": "0xd30f03fa", "share": 0.005564909452 }, { "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": 702, "selector": "0x16932562", "share": 0.00554910005 }, { "comparison_key": "0x2fa9dadc", "function_names": [ "asset_approve" ], "function_signatures": [ "asset_approve(address,uint128)" ], "saved_corpus_calls": 702, "selector": "0x2fa9dadc", "share": 0.00554910005 }, { "comparison_key": "0x59ddd4d4", "function_names": [ "invariant_erc7540_2" ], "function_signatures": [ "invariant_erc7540_2()" ], "saved_corpus_calls": 702, "selector": "0x59ddd4d4", "share": 0.00554910005 }, { "comparison_key": "0x0775f957", "function_names": [ "superVaultStrategy_manageYieldSource" ], "function_signatures": [ "superVaultStrategy_manageYieldSource(address,address,uint8)" ], "saved_corpus_calls": 701, "selector": "0x0775f957", "share": 0.005541195349 }, { "comparison_key": "0x2ac9c057", "function_names": [ "superGovernor_executeMinStalenesChange" ], "function_signatures": [ "superGovernor_executeMinStalenesChange()" ], "saved_corpus_calls": 700, "selector": "0x2ac9c057", "share": 0.005533290648 }, { "comparison_key": "0x53494d09", "function_names": [ "yieldSource_transferFrom" ], "function_signatures": [ "yieldSource_transferFrom(address,address,uint256)" ], "saved_corpus_calls": 700, "selector": "0x53494d09", "share": 0.005533290648 }, { "comparison_key": "0x83778d4b", "function_names": [ "erc7540_5" ], "function_signatures": [ "erc7540_5(address,address,uint256)" ], "saved_corpus_calls": 700, "selector": "0x83778d4b", "share": 0.005533290648 }, { "comparison_key": "0xab2c6ce7", "function_names": [ "yieldSource_setRevertBehavior4626" ], "function_signatures": [ "yieldSource_setRevertBehavior4626(uint8,uint8)" ], "saved_corpus_calls": 700, "selector": "0xab2c6ce7", "share": 0.005533290648 }, { "comparison_key": "0x3a435458", "function_names": [ "invariant_accumulatorSharesIncrease" ], "function_signatures": [ "invariant_accumulatorSharesIncrease()" ], "saved_corpus_calls": 698, "selector": "0x3a435458", "share": 0.005517481246 }, { "comparison_key": "0x7a3b3b99", "function_names": [ "invariant_cancelDoesntChangeTotalSupply" ], "function_signatures": [ "invariant_cancelDoesntChangeTotalSupply()" ], "saved_corpus_calls": 698, "selector": "0x7a3b3b99", "share": 0.005517481246 }, { "comparison_key": "0xf7f335e9", "function_names": [ "yieldSource_approve" ], "function_signatures": [ "yieldSource_approve(address,uint256)" ], "saved_corpus_calls": 698, "selector": "0xf7f335e9", "share": 0.005517481246 }, { "comparison_key": "0xc6227243", "function_names": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL" ], "function_signatures": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 694, "selector": "0xc6227243", "share": 0.005485862442 }, { "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": 692, "selector": "0x47780112", "share": 0.005470053041 }, { "comparison_key": "0x431f4fcf", "function_names": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 691, "selector": "0x431f4fcf", "share": 0.00546214834 }, { "comparison_key": "0xa575357a", "function_names": [ "erc7540_7_deposit" ], "function_signatures": [ "erc7540_7_deposit(address,uint256)" ], "saved_corpus_calls": 690, "selector": "0xa575357a", "share": 0.005454243639 }, { "comparison_key": "0x1d0cf3ab", "function_names": [ "invariant_accumulatorSharesDecreaseOnFulfill_exact" ], "function_signatures": [ "invariant_accumulatorSharesDecreaseOnFulfill_exact()" ], "saved_corpus_calls": 689, "selector": "0x1d0cf3ab", "share": 0.005446338938 }, { "comparison_key": "0xb1505051", "function_names": [ "invariant_totalAssets" ], "function_signatures": [ "invariant_totalAssets()" ], "saved_corpus_calls": 689, "selector": "0xb1505051", "share": 0.005446338938 }, { "comparison_key": "0xfb4e3345", "function_names": [ "invariant_erc7540_1" ], "function_signatures": [ "invariant_erc7540_1()" ], "saved_corpus_calls": 689, "selector": "0xfb4e3345", "share": 0.005446338938 }, { "comparison_key": "0x6f111386", "function_names": [ "superVault_redeem" ], "function_signatures": [ "superVault_redeem(uint256)" ], "saved_corpus_calls": 688, "selector": "0x6f111386", "share": 0.005438434237 }, { "comparison_key": "0x9d5c96d1", "function_names": [ "superVaultStrategy_handleOperations7540" ], "function_signatures": [ "superVaultStrategy_handleOperations7540(uint8,address,address,uint256)" ], "saved_corpus_calls": 688, "selector": "0x9d5c96d1", "share": 0.005438434237 }, { "comparison_key": "0x9f9c2957", "function_names": [ "erc7540_4_deposit" ], "function_signatures": [ "erc7540_4_deposit(address,uint256)" ], "saved_corpus_calls": 688, "selector": "0x9f9c2957", "share": 0.005438434237 }, { "comparison_key": "0x30ee3a01", "function_names": [ "superGovernor_executeFeeUpdate" ], "function_signatures": [ "superGovernor_executeFeeUpdate(uint8)" ], "saved_corpus_calls": 686, "selector": "0x30ee3a01", "share": 0.005422624835 }, { "comparison_key": "0x3a32dc68", "function_names": [ "add_new_vault" ], "function_signatures": [ "add_new_vault()" ], "saved_corpus_calls": 686, "selector": "0x3a32dc68", "share": 0.005422624835 }, { "comparison_key": "0x8491e3d2", "function_names": [ "setpreviewAssetsGreater" ], "function_signatures": [ "setpreviewAssetsGreater(uint256)" ], "saved_corpus_calls": 686, "selector": "0x8491e3d2", "share": 0.005422624835 }, { "comparison_key": "0x1c550191", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange(bool)" ], "saved_corpus_calls": 685, "selector": "0x1c550191", "share": 0.005414720134 }, { "comparison_key": "0xdeaf00fe", "function_names": [ "superGovernor_executeRemoveIncentiveTokens" ], "function_signatures": [ "superGovernor_executeRemoveIncentiveTokens()" ], "saved_corpus_calls": 685, "selector": "0xdeaf00fe", "share": 0.005414720134 }, { "comparison_key": "0xd20d873c", "function_names": [ "yieldSource_claimCancelDepositRequest" ], "function_signatures": [ "yieldSource_claimCancelDepositRequest(uint256,address,address)" ], "saved_corpus_calls": 684, "selector": "0xd20d873c", "share": 0.005406815433 }, { "comparison_key": "0x5c332195", "function_names": [ "invariant_sumOfClaimable" ], "function_signatures": [ "invariant_sumOfClaimable()" ], "saved_corpus_calls": 683, "selector": "0x5c332195", "share": 0.005398910732 }, { "comparison_key": "0x945a7f7a", "function_names": [ "superGovernor_proposeMinStaleness" ], "function_signatures": [ "superGovernor_proposeMinStaleness(uint256)" ], "saved_corpus_calls": 683, "selector": "0x945a7f7a", "share": 0.005398910732 }, { "comparison_key": "0x3509d9c1", "function_names": [ "superGovernor_executeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_executeAddIncentiveTokens()" ], "saved_corpus_calls": 682, "selector": "0x3509d9c1", "share": 0.005391006031 }, { "comparison_key": "0x4f79f39c", "function_names": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL" ], "function_signatures": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 682, "selector": "0x4f79f39c", "share": 0.005391006031 }, { "comparison_key": "0x367ea3d8", "function_names": [ "invariant_shareSolvency" ], "function_signatures": [ "invariant_shareSolvency()" ], "saved_corpus_calls": 680, "selector": "0x367ea3d8", "share": 0.005375196629 }, { "comparison_key": "0x5efcce37", "function_names": [ "yieldSource_deposit7540" ], "function_signatures": [ "yieldSource_deposit7540(uint256,address,address)" ], "saved_corpus_calls": 679, "selector": "0x5efcce37", "share": 0.005367291929 }, { "comparison_key": "0x6b3894b9", "function_names": [ "optimize_maxDustAccumulation" ], "function_signatures": [ "optimize_maxDustAccumulation()" ], "saved_corpus_calls": 679, "selector": "0x6b3894b9", "share": 0.005367291929 }, { "comparison_key": "0x37f0d09d", "function_names": [ "superVaultAggregator_removeSecondaryManager" ], "function_signatures": [ "superVaultAggregator_removeSecondaryManager(address,address)" ], "saved_corpus_calls": 678, "selector": "0x37f0d09d", "share": 0.005359387228 }, { "comparison_key": "0x99f98474", "function_names": [ "yieldSource_deposit5115" ], "function_signatures": [ "yieldSource_deposit5115(address,address,uint256,uint256,bool)" ], "saved_corpus_calls": 678, "selector": "0x99f98474", "share": 0.005359387228 }, { "comparison_key": "0x6a07236f", "function_names": [ "optimize_burnMoreThanRequestedInRedemption" ], "function_signatures": [ "optimize_burnMoreThanRequestedInRedemption()" ], "saved_corpus_calls": 676, "selector": "0x6a07236f", "share": 0.005343577826 }, { "comparison_key": "0x6d8b86e5", "function_names": [ "_fulfillRedeemRequestsArgs" ], "function_signatures": [ "_fulfillRedeemRequestsArgs(uint256)" ], "saved_corpus_calls": 675, "selector": "0x6d8b86e5", "share": 0.005335673125 }, { "comparison_key": "0x45c718d4", "function_names": [ "invariant_accumulatorCostBasisIncrease" ], "function_signatures": [ "invariant_accumulatorCostBasisIncrease()" ], "saved_corpus_calls": 674, "selector": "0x45c718d4", "share": 0.005327768424 }, { "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": 673, "selector": "0x6e2c0de8", "share": 0.005319863723 }, { "comparison_key": "0x7ee964d5", "function_names": [ "yieldSource_simulateLoss" ], "function_signatures": [ "yieldSource_simulateLoss(uint256)" ], "saved_corpus_calls": 673, "selector": "0x7ee964d5", "share": 0.005319863723 }, { "comparison_key": "0x7fbba149", "function_names": [ "add_new_asset" ], "function_signatures": [ "add_new_asset(uint8)" ], "saved_corpus_calls": 672, "selector": "0x7fbba149", "share": 0.005311959022 }, { "comparison_key": "0xd03da50e", "function_names": [ "yieldSource_switchRandom" ], "function_signatures": [ "yieldSource_switchRandom(uint256)" ], "saved_corpus_calls": 671, "selector": "0xd03da50e", "share": 0.005304054321 }, { "comparison_key": "0xebc46a2a", "function_names": [ "setPreviewSharesGreater" ], "function_signatures": [ "setPreviewSharesGreater(uint256)" ], "saved_corpus_calls": 671, "selector": "0xebc46a2a", "share": 0.005304054321 }, { "comparison_key": "0x2d9fdcd8", "function_names": [ "mockERC7540YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC7540YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 668, "selector": "0x2d9fdcd8", "share": 0.005280340218 }, { "comparison_key": "0xf9534397", "function_names": [ "superVault_burnShares" ], "function_signatures": [ "superVault_burnShares(uint256)" ], "saved_corpus_calls": 667, "selector": "0xf9534397", "share": 0.005272435517 }, { "comparison_key": "0x6901727f", "function_names": [ "erc7540_7_withdraw" ], "function_signatures": [ "erc7540_7_withdraw(address,uint256)" ], "saved_corpus_calls": 665, "selector": "0x6901727f", "share": 0.005256626116 }, { "comparison_key": "0x5b5006a4", "function_names": [ "invariant_erc7540_3" ], "function_signatures": [ "invariant_erc7540_3()" ], "saved_corpus_calls": 664, "selector": "0x5b5006a4", "share": 0.005248721415 }, { "comparison_key": "0xba82804f", "function_names": [ "superGovernor_executeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_executeUpkeepPaymentsChange()" ], "saved_corpus_calls": 662, "selector": "0xba82804f", "share": 0.005232912013 }, { "comparison_key": "0x8b7a0b44", "function_names": [ "erc7540_1" ], "function_signatures": [ "erc7540_1(address)" ], "saved_corpus_calls": 661, "selector": "0x8b7a0b44", "share": 0.005225007312 }, { "comparison_key": "0x616fdce4", "function_names": [ "MAX_ROUNDING_ERROR" ], "function_signatures": [ "MAX_ROUNDING_ERROR()" ], "saved_corpus_calls": 660, "selector": "0x616fdce4", "share": 0.005217102611 }, { "comparison_key": "0xff06850b", "function_names": [ "superGovernor_proposeGlobalHooksRoot" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot(bytes32)" ], "saved_corpus_calls": 660, "selector": "0xff06850b", "share": 0.005217102611 }, { "comparison_key": "0x4a28a715", "function_names": [ "superVaultAggregator_depositStake" ], "function_signatures": [ "superVaultAggregator_depositStake(address,uint256)" ], "saved_corpus_calls": 659, "selector": "0x4a28a715", "share": 0.00520919791 }, { "comparison_key": "0x8efa3b2d", "function_names": [ "invariant_totalSharesDontDecreaseOnRedemptionRequest" ], "function_signatures": [ "invariant_totalSharesDontDecreaseOnRedemptionRequest()" ], "saved_corpus_calls": 659, "selector": "0x8efa3b2d", "share": 0.00520919791 }, { "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": 658, "selector": "0xadb365f3", "share": 0.005201293209 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 656, "selector": "0x55ba98ff", "share": 0.005185483807 }, { "comparison_key": "0x5b1e6f92", "function_names": [ "invariant_accumulatorSharesGtPendingRequests" ], "function_signatures": [ "invariant_accumulatorSharesGtPendingRequests()" ], "saved_corpus_calls": 656, "selector": "0x5b1e6f92", "share": 0.005185483807 }, { "comparison_key": "0x993eb322", "function_names": [ "yieldSource_setOperator" ], "function_signatures": [ "yieldSource_setOperator(address,bool)" ], "saved_corpus_calls": 654, "selector": "0x993eb322", "share": 0.005169674405 }, { "comparison_key": "0xcc39bf79", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager(address,address)" ], "saved_corpus_calls": 653, "selector": "0xcc39bf79", "share": 0.005161769704 }, { "comparison_key": "0xc8f637e2", "function_names": [ "yieldSource_switchToERC5115" ], "function_signatures": [ "yieldSource_switchToERC5115()" ], "saved_corpus_calls": 652, "selector": "0xc8f637e2", "share": 0.005153865004 }, { "comparison_key": "0x9b62d72e", "function_names": [ "superVaultAggregator_claimUpkeep" ], "function_signatures": [ "superVaultAggregator_claimUpkeep(uint256)" ], "saved_corpus_calls": 651, "selector": "0x9b62d72e", "share": 0.005145960303 }, { "comparison_key": "0x62932228", "function_names": [ "superVaultStrategy_moveAccumulatorOnTransfer" ], "function_signatures": [ "superVaultStrategy_moveAccumulatorOnTransfer(address,address,uint256)" ], "saved_corpus_calls": 650, "selector": "0x62932228", "share": 0.005138055602 }, { "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": 650, "selector": "0x7509cbd9", "share": 0.005138055602 }, { "comparison_key": "0x0de1fd4c", "function_names": [ "superGovernor_executeUpkeepClaim" ], "function_signatures": [ "superGovernor_executeUpkeepClaim(uint256)" ], "saved_corpus_calls": 649, "selector": "0x0de1fd4c", "share": 0.005130150901 }, { "comparison_key": "0x3f4d3a0c", "function_names": [ "superVault_invalidateNonce" ], "function_signatures": [ "superVault_invalidateNonce(bytes32)" ], "saved_corpus_calls": 649, "selector": "0x3f4d3a0c", "share": 0.005130150901 }, { "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": 647, "selector": "0x85c3770a", "share": 0.005114341499 }, { "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": 646, "selector": "0x05c4dfe6", "share": 0.005106436798 }, { "comparison_key": "0xfb57459d", "function_names": [ "invariant_accumulatorCostBasisSolvency" ], "function_signatures": [ "invariant_accumulatorCostBasisSolvency()" ], "saved_corpus_calls": 645, "selector": "0xfb57459d", "share": 0.005098532097 }, { "comparison_key": "0xe94aa8d4", "function_names": [ "erc7540_2" ], "function_signatures": [ "erc7540_2(address)" ], "saved_corpus_calls": 643, "selector": "0xe94aa8d4", "share": 0.005082722695 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 642, "selector": "0xf24a44c9", "share": 0.005074817994 }, { "comparison_key": "0x53b95ac1", "function_names": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE" ], "function_signatures": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE()" ], "saved_corpus_calls": 641, "selector": "0x53b95ac1", "share": 0.005066913293 }, { "comparison_key": "0x6ab2ab12", "function_names": [ "superVaultEscrow_escrowShares" ], "function_signatures": [ "superVaultEscrow_escrowShares(address,uint256)" ], "saved_corpus_calls": 640, "selector": "0x6ab2ab12", "share": 0.005059008592 }, { "comparison_key": "0xe53dc6d6", "function_names": [ "erc7540_7_redeem" ], "function_signatures": [ "erc7540_7_redeem(address,uint256)" ], "saved_corpus_calls": 640, "selector": "0xe53dc6d6", "share": 0.005059008592 }, { "comparison_key": "0x9cb2de70", "function_names": [ "superVaultStrategy_executeHooks" ], "function_signatures": [ "superVaultStrategy_executeHooks((address[],bytes[],uint256[],bytes32[][],bytes32[][]))" ], "saved_corpus_calls": 639, "selector": "0x9cb2de70", "share": 0.005051103891 }, { "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": 636, "selector": "0x153c0881", "share": 0.005027389789 }, { "comparison_key": "0xc15a22de", "function_names": [ "switch_vault" ], "function_signatures": [ "switch_vault(uint256)" ], "saved_corpus_calls": 635, "selector": "0xc15a22de", "share": 0.005019485088 }, { "comparison_key": "0xb8ded484", "function_names": [ "superVault_approve" ], "function_signatures": [ "superVault_approve(address,uint256)" ], "saved_corpus_calls": 630, "selector": "0xb8ded484", "share": 0.004979961583 }, { "comparison_key": "0xe63df834", "function_names": [ "superVaultAggregator_changePrimaryManager" ], "function_signatures": [ "superVaultAggregator_changePrimaryManager(address,address)" ], "saved_corpus_calls": 629, "selector": "0xe63df834", "share": 0.004972056882 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 628, "selector": "0x1a042ae7", "share": 0.004964152181 }, { "comparison_key": "0x7ed1278a", "function_names": [ "erc7540_4_mint" ], "function_signatures": [ "erc7540_4_mint(address,uint256)" ], "saved_corpus_calls": 628, "selector": "0x7ed1278a", "share": 0.004964152181 }, { "comparison_key": "0x64d59d46", "function_names": [ "_sumStrategyAssets" ], "function_signatures": [ "_sumStrategyAssets()" ], "saved_corpus_calls": 627, "selector": "0x64d59d46", "share": 0.00495624748 }, { "comparison_key": "0x5e3be3a1", "function_names": [ "invariant_escrowBalance" ], "function_signatures": [ "invariant_escrowBalance()" ], "saved_corpus_calls": 623, "selector": "0x5e3be3a1", "share": 0.004924628677 }, { "comparison_key": "0xd62a2f11", "function_names": [ "setFulfilledDifference" ], "function_signatures": [ "setFulfilledDifference()" ], "saved_corpus_calls": 621, "selector": "0xd62a2f11", "share": 0.004908819275 }, { "comparison_key": "0x33622846", "function_names": [ "superVaultEscrow_initialize" ], "function_signatures": [ "superVaultEscrow_initialize(address,address)" ], "saved_corpus_calls": 620, "selector": "0x33622846", "share": 0.004900914574 }, { "comparison_key": "0x82b3bcf6", "function_names": [ "invariant_sumOfAssetsMaxWithdrawable" ], "function_signatures": [ "invariant_sumOfAssetsMaxWithdrawable()" ], "saved_corpus_calls": 619, "selector": "0x82b3bcf6", "share": 0.004893009873 }, { "comparison_key": "0x4e9ce11d", "function_names": [ "mockERC4626YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC4626YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 617, "selector": "0x4e9ce11d", "share": 0.004877200471 }, { "comparison_key": "0x652e3935", "function_names": [ "asset_mint" ], "function_signatures": [ "asset_mint(address,uint128)" ], "saved_corpus_calls": 616, "selector": "0x652e3935", "share": 0.00486929577 }, { "comparison_key": "0xecac6242", "function_names": [ "superVaultStrategy_handleOperations7540_clamped" ], "function_signatures": [ "superVaultStrategy_handleOperations7540_clamped(uint256,uint256)" ], "saved_corpus_calls": 615, "selector": "0xecac6242", "share": 0.004861391069 }, { "comparison_key": "0x51ecdf5d", "function_names": [ "invariant_maxRedeemMaxWithdrawSymmetry" ], "function_signatures": [ "invariant_maxRedeemMaxWithdrawSymmetry()" ], "saved_corpus_calls": 609, "selector": "0x51ecdf5d", "share": 0.004813962864 }, { "comparison_key": "0xf9e20e1b", "function_names": [ "superVaultStrategy_handleOperations4626Deposit" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Deposit(address,uint256)" ], "saved_corpus_calls": 609, "selector": "0xf9e20e1b", "share": 0.004813962864 }, { "comparison_key": "0x9eb67371", "function_names": [ "superVault_setOperator" ], "function_signatures": [ "superVault_setOperator(uint256,bool)" ], "saved_corpus_calls": 602, "selector": "0x9eb67371", "share": 0.004758629957 }, { "comparison_key": "0x5e79ec62", "function_names": [ "superVaultAggregator_createVault_clamped" ], "function_signatures": [ "superVaultAggregator_createVault_clamped(uint256,uint256,uint256,uint256)" ], "saved_corpus_calls": 594, "selector": "0x5e79ec62", "share": 0.00469539235 }, { "comparison_key": "0xe121d831", "function_names": [ "yieldSource_setRevertBehavior5115" ], "function_signatures": [ "yieldSource_setRevertBehavior5115(uint8)" ], "saved_corpus_calls": 591, "selector": "0xe121d831", "share": 0.004671678247 }, { "comparison_key": "0x58deadba", "function_names": [ "superVaultAggregator_addSecondaryManager" ], "function_signatures": [ "superVaultAggregator_addSecondaryManager(address,address)" ], "saved_corpus_calls": 589, "selector": "0x58deadba", "share": 0.004655868845 }, { "comparison_key": "0x64dfafca", "function_names": [ "superVaultAggregator_addAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_addAuthorizedCaller(address,address)" ], "saved_corpus_calls": 585, "selector": "0x64dfafca", "share": 0.004624250041 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 580, "selector": "0x6801b82e", "share": 0.004584726537 }, { "comparison_key": "0xfead5404", "function_names": [ "yieldSourceOracle_setValidAsset_clamped" ], "function_signatures": [ "yieldSourceOracle_setValidAsset_clamped()" ], "saved_corpus_calls": 578, "selector": "0xfead5404", "share": 0.004568917135 }, { "comparison_key": "0xc0532bec", "function_names": [ "superVaultAggregator_withdrawStake" ], "function_signatures": [ "superVaultAggregator_withdrawStake(uint256)" ], "saved_corpus_calls": 570, "selector": "0xc0532bec", "share": 0.004505679528 }, { "comparison_key": "0x94ad47e5", "function_names": [ "yieldSource_switchToERC4626" ], "function_signatures": [ "yieldSource_switchToERC4626()" ], "saved_corpus_calls": 567, "selector": "0x94ad47e5", "share": 0.004481965425 }, { "comparison_key": "0x69a21b7a", "function_names": [ "yieldSource_requestRedeem" ], "function_signatures": [ "yieldSource_requestRedeem(uint256,address,address)" ], "saved_corpus_calls": 548, "selector": "0x69a21b7a", "share": 0.004331776107 }, { "comparison_key": "0x653d736a", "function_names": [ "superVaultAggregator_withdrawUpkeep" ], "function_signatures": [ "superVaultAggregator_withdrawUpkeep(uint256)" ], "saved_corpus_calls": 536, "selector": "0x653d736a", "share": 0.004236919696 } ], "fuzzer": "recon-fuzzer", "instances": 2, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 126507, "status": "available", "unavailable_instances": 0, "unique_call_identities": 180, "unique_selectors": 180 } ], "health_findings": [], "health_warnings": [], "instances": [ { "artifact_files": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-004bdfd0d17dc687a", "instance_label": "i-004bdfd0d17dc687a-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": 659, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.18", "ignored_calls": 28, "instance_id": "i-024892c856245b58f", "instance_label": "i-024892c856245b58f-recon-v0.4.18", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 659, "processed_artifact_bytes": 222102943, "saved_corpus_calls": 64683, "status": "available", "unique_call_identities": 180, "unique_selectors": 180, "warnings": [] }, { "artifact_files": 277, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.2", "ignored_calls": 0, "instance_id": "i-026e15969fbd760d9", "instance_label": "i-026e15969fbd760d9-echidna-v2.3.2", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 277, "processed_artifact_bytes": 58459404, "saved_corpus_calls": 26846, "status": "available", "unique_call_identities": 180, "unique_selectors": 180, "warnings": [] }, { "artifact_files": 741, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.5.1", "ignored_calls": 0, "instance_id": "i-05a8a88d7d521aabd", "instance_label": "i-05a8a88d7d521aabd-medusa-v1.5.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 741, "processed_artifact_bytes": 579961334, "saved_corpus_calls": 36482, "status": "available", "unique_call_identities": 171, "unique_selectors": 171, "warnings": [] }, { "artifact_files": 0, "duplicate_sequences": 0, "engine": "foundry", "fuzzer": "foundry", "fuzzer_label": "foundry-git-02c05d9", "ignored_calls": 0, "instance_id": "i-07fee1e9a2fddd68f", "instance_label": "i-07fee1e9a2fddd68f-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": 731, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.5.1", "ignored_calls": 0, "instance_id": "i-08ebb34134490c698", "instance_label": "i-08ebb34134490c698-medusa-v1.5.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 731, "processed_artifact_bytes": 565859757, "saved_corpus_calls": 34581, "status": "available", "unique_call_identities": 171, "unique_selectors": 171, "warnings": [] }, { "artifact_files": 271, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.2", "ignored_calls": 2, "instance_id": "i-0aad8404a01667ef5", "instance_label": "i-0aad8404a01667ef5-echidna-v2.3.2", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 271, "processed_artifact_bytes": 52479288, "saved_corpus_calls": 26606, "status": "available", "unique_call_identities": 180, "unique_selectors": 180, "warnings": [] }, { "artifact_files": 628, "duplicate_sequences": 0, "engine": "recon-fuzzer", "fuzzer": "recon-fuzzer", "fuzzer_label": "recon-v0.4.18", "ignored_calls": 6, "instance_id": "i-0b938d62f045d4abf", "instance_label": "i-0b938d62f045d4abf-recon-v0.4.18", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 628, "processed_artifact_bytes": 274340472, "saved_corpus_calls": 61824, "status": "available", "unique_call_identities": 180, "unique_selectors": 180, "warnings": [] } ], "limitations": [ "i-004bdfd0d17dc687a-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-07fee1e9a2fddd68f-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-30002647594-1", "schema_version": 1 }