{ "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" ] }, { "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" ] }, { "function_name": "superVaultStrategy_manageYieldSource", "selector": "0x0775f957", "signature": "superVaultStrategy_manageYieldSource(address,address,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superGovernor_proposeFee", "selector": "0x0d568161", "signature": "superGovernor_proposeFee(uint8,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superGovernor_executeUpkeepClaim", "selector": "0x0de1fd4c", "signature": "superGovernor_executeUpkeepClaim(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVault_requestRedeem", "selector": "0x11200cde", "signature": "superVault_requestRedeem(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultAggregator_removeAuthorizedCaller", "selector": "0x11d72d6f", "signature": "superVaultAggregator_removeAuthorizedCaller(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultStrategy_fulfillRedeemRequests_clamped", "selector": "0x12af56c5", "signature": "superVaultStrategy_fulfillRedeemRequests_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_claimCancelRedeemRequest", "selector": "0x135a35ac", "signature": "yieldSource_claimCancelRedeemRequest(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "yieldSource_withdraw", "selector": "0x166d031e", "signature": "yieldSource_withdraw(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superGovernor_executeFeeUpdate_clamped", "selector": "0x16e7198f", "signature": "superGovernor_executeFeeUpdate_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "_getRandomActor", "selector": "0x1b75d706", "signature": "_getRandomActor(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultStrategy_executeVaultFeeConfigUpdate", "selector": "0x1c0ee36b", "signature": "superVaultStrategy_executeVaultFeeConfigUpdate()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superGovernor_proposeUpkeepPaymentsChange", "selector": "0x1c550191", "signature": "superGovernor_proposeUpkeepPaymentsChange(bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultAggregator_executeChangePrimaryManager", "selector": "0x1de49bf9", "signature": "superVaultAggregator_executeChangePrimaryManager(address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superGovernor_executeMinStalenesChange", "selector": "0x2ac9c057", "signature": "superGovernor_executeMinStalenesChange()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "mockERC7540YieldSourceOracle_setValidAsset", "selector": "0x2d9fdcd8", "signature": "mockERC7540YieldSourceOracle_setValidAsset(address,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_setDecimalsOffset", "selector": "0x2e323c85", "signature": "yieldSource_setDecimalsOffset(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "asset_approve", "selector": "0x2fa9dadc", "signature": "asset_approve(address,uint128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superGovernor_executeFeeUpdate", "selector": "0x30ee3a01", "signature": "superGovernor_executeFeeUpdate(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superVaultEscrow_initialize", "selector": "0x33622846", "signature": "superVaultEscrow_initialize(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superGovernor_executeAddIncentiveTokens", "selector": "0x3509d9c1", "signature": "superGovernor_executeAddIncentiveTokens()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultAggregator_removeSecondaryManager", "selector": "0x37f0d09d", "signature": "superVaultAggregator_removeSecondaryManager(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "add_new_vault", "selector": "0x3a32dc68", "signature": "add_new_vault()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVault_invalidateNonce", "selector": "0x3f4d3a0c", "signature": "superVault_invalidateNonce(bytes32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVault_redeem_clamped", "selector": "0x3f614fab", "signature": "superVault_redeem_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "function_name": "yieldSource_requestDeposit", "selector": "0x47801ba1", "signature": "yieldSource_requestDeposit(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "function_name": "superVault_requestRedeem_clamped", "selector": "0x4a06cb2a", "signature": "superVault_requestRedeem_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultAggregator_depositStake", "selector": "0x4a28a715", "signature": "superVaultAggregator_depositStake(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "function_name": "mockERC4626YieldSourceOracle_setValidAsset", "selector": "0x4e9ce11d", "signature": "mockERC4626YieldSourceOracle_setValidAsset(address,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "erc7540_6", "selector": "0x5111e7ca", "signature": "erc7540_6(address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultStrategy_updateMaxPPSSlippage", "selector": "0x51800fa1", "signature": "superVaultStrategy_updateMaxPPSSlippage(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_transferFrom", "selector": "0x53494d09", "signature": "yieldSource_transferFrom(address,address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "function_name": "switch_asset", "selector": "0x55ba98ff", "signature": "switch_asset(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superVaultAggregator_addSecondaryManager", "selector": "0x58deadba", "signature": "superVaultAggregator_addSecondaryManager(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "erc7540_3", "selector": "0x5b4065cc", "signature": "erc7540_3(address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_simulateGain", "selector": "0x5d83e580", "signature": "yieldSource_simulateGain(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "yieldSource_deposit7540", "selector": "0x5efcce37", "signature": "yieldSource_deposit7540(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superGovernor_proposeAddIncentiveTokens", "selector": "0x610b63e4", "signature": "superGovernor_proposeAddIncentiveTokens(address[])", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "MAX_ROUNDING_ERROR", "selector": "0x616fdce4", "signature": "MAX_ROUNDING_ERROR()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultStrategy_moveAccumulatorOnTransfer", "selector": "0x62932228", "signature": "superVaultStrategy_moveAccumulatorOnTransfer(address,address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "_sumStrategyAssets", "selector": "0x64d59d46", "signature": "_sumStrategyAssets()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultAggregator_addAuthorizedCaller", "selector": "0x64dfafca", "signature": "superVaultAggregator_addAuthorizedCaller(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "asset_mint", "selector": "0x652e3935", "signature": "asset_mint(address,uint128)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultAggregator_withdrawUpkeep", "selector": "0x653d736a", "signature": "superVaultAggregator_withdrawUpkeep(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "switchActor", "selector": "0x6801b82e", "signature": "switchActor(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "yieldSource_requestRedeem", "selector": "0x69a21b7a", "signature": "yieldSource_requestRedeem(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultEscrow_escrowShares", "selector": "0x6ab2ab12", "signature": "superVaultEscrow_escrowShares(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "_fulfillRedeemRequestsArgs", "selector": "0x6d8b86e5", "signature": "_fulfillRedeemRequestsArgs(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superVault_redeem", "selector": "0x6f111386", "signature": "superVault_redeem(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVault_withdraw_clamped", "selector": "0x6f1b5a20", "signature": "superVault_withdraw_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVault_withdraw", "selector": "0x72176d00", "signature": "superVault_withdraw(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_cancelDepositRequest", "selector": "0x724ce6ea", "signature": "yieldSource_cancelDepositRequest(uint256,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "yieldSource_redeem", "selector": "0x7674c28d", "signature": "yieldSource_redeem(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "function_name": "yieldSource_simulateLoss", "selector": "0x7ee964d5", "signature": "yieldSource_simulateLoss(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "add_new_asset", "selector": "0x7fbba149", "signature": "add_new_asset(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultStrategy_manageYieldSources", "selector": "0x7fd74a62", "signature": "superVaultStrategy_manageYieldSources(address[],address[],uint8[])", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "erc7540_5", "selector": "0x83778d4b", "signature": "erc7540_5(address,address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "setpreviewAssetsGreater", "selector": "0x8491e3d2", "signature": "setpreviewAssetsGreater(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "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" ] }, { "function_name": "erc7540_1", "selector": "0x8b7a0b44", "signature": "erc7540_1(address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "ECDSAPPSOracle_updatePPS_clamped", "selector": "0x923b5116", "signature": "ECDSAPPSOracle_updatePPS_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superGovernor_proposeMinStaleness", "selector": "0x945a7f7a", "signature": "superGovernor_proposeMinStaleness(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_switchToERC4626", "selector": "0x94ad47e5", "signature": "yieldSource_switchToERC4626()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_transfer", "selector": "0x961cc2a1", "signature": "yieldSource_transfer(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_setLossOnWithdraw", "selector": "0x98bea562", "signature": "yieldSource_setLossOnWithdraw(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_setOperator", "selector": "0x993eb322", "signature": "yieldSource_setOperator(address,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "yieldSource_switchToERC7540", "selector": "0x9b5b4765", "signature": "yieldSource_switchToERC7540()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultAggregator_claimUpkeep", "selector": "0x9b62d72e", "signature": "superVaultAggregator_claimUpkeep(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "function_name": "superGovernor_proposeUpkeepPaymentsChange_clamped", "selector": "0x9da6e005", "signature": "superGovernor_proposeUpkeepPaymentsChange_clamped()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVault_setOperator", "selector": "0x9eb67371", "signature": "superVault_setOperator(uint256,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superVaultAggregator_depositUpkeep", "selector": "0xa08e3d64", "signature": "superVaultAggregator_depositUpkeep(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "function_name": "yieldSource_cancelRedeemRequest", "selector": "0xa97d49d1", "signature": "yieldSource_cancelRedeemRequest(uint256,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_setRevertBehavior4626", "selector": "0xab2c6ce7", "signature": "yieldSource_setRevertBehavior4626(uint8,uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "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" ] }, { "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" ] }, { "function_name": "superVault_approve", "selector": "0xb8ded484", "signature": "superVault_approve(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superGovernor_executeUpkeepPaymentsChange", "selector": "0xba82804f", "signature": "superGovernor_executeUpkeepPaymentsChange()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultStrategy_proposeVaultFeeConfigUpdate", "selector": "0xbaa30e3f", "signature": "superVaultStrategy_proposeVaultFeeConfigUpdate(uint256,uint256,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultAggregator_executeChangePrimaryManager_clamped", "selector": "0xbb8c4131", "signature": "superVaultAggregator_executeChangePrimaryManager_clamped()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "mockERC5115YieldSourceOracle_setValidAsset", "selector": "0xbc0a3bd7", "signature": "mockERC5115YieldSourceOracle_setValidAsset(address,bool)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultStrategy_manageEmergencyWithdraw", "selector": "0xbd3e56b3", "signature": "superVaultStrategy_manageEmergencyWithdraw(uint8,address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superVaultAggregator_withdrawStake", "selector": "0xc0532bec", "signature": "superVaultAggregator_withdrawStake(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "switch_vault", "selector": "0xc15a22de", "signature": "switch_vault(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "function_name": "yieldSource_switchToERC5115", "selector": "0xc8f637e2", "signature": "yieldSource_switchToERC5115()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultAggregator_proposeChangePrimaryManager", "selector": "0xcc39bf79", "signature": "superVaultAggregator_proposeChangePrimaryManager(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_switchRandom", "selector": "0xd03da50e", "signature": "yieldSource_switchRandom(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "yieldSource_claimCancelDepositRequest", "selector": "0xd20d873c", "signature": "yieldSource_claimCancelDepositRequest(uint256,address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultEscrow_returnShares", "selector": "0xd30f03fa", "signature": "superVaultEscrow_returnShares(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "setFulfilledDifference", "selector": "0xd62a2f11", "signature": "setFulfilledDifference()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superGovernor_proposeGlobalHooksRoot_clamped", "selector": "0xde29b51f", "signature": "superGovernor_proposeGlobalHooksRoot_clamped(bytes32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superGovernor_executeRemoveIncentiveTokens", "selector": "0xdeaf00fe", "signature": "superGovernor_executeRemoveIncentiveTokens()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_setRevertBehavior5115", "selector": "0xe121d831", "signature": "yieldSource_setRevertBehavior5115(uint8)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superVaultAggregator_changePrimaryManager", "selector": "0xe63df834", "signature": "superVaultAggregator_changePrimaryManager(address,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultAggregator_proposeChangePrimaryManager_clamped", "selector": "0xe88907e7", "signature": "superVaultAggregator_proposeChangePrimaryManager_clamped()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "erc7540_2", "selector": "0xe94aa8d4", "signature": "erc7540_2(address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "setPreviewSharesGreater", "selector": "0xebc46a2a", "signature": "setPreviewSharesGreater(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superVaultAggregator_slashStake", "selector": "0xed652da1", "signature": "superVaultAggregator_slashStake(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "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" ] }, { "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" ] }, { "function_name": "yieldSource_approve", "selector": "0xf7f335e9", "signature": "yieldSource_approve(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "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" ] }, { "function_name": "superVault_burnShares", "selector": "0xf9534397", "signature": "superVault_burnShares(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultStrategy_handleOperations4626Deposit", "selector": "0xf9e20e1b", "signature": "superVaultStrategy_handleOperations4626Deposit(address,uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superVaultStrategy_manageYieldSource_clamped", "selector": "0xfa912362", "signature": "superVaultStrategy_manageYieldSource_clamped(uint256)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_mint", "selector": "0xfb48798d", "signature": "yieldSource_mint(uint256,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSource_deposit", "selector": "0xfe4574ac", "signature": "yieldSource_deposit(uint256,address)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "yieldSourceOracle_setValidAsset_clamped", "selector": "0xfead5404", "signature": "yieldSourceOracle_setValidAsset_clamped()", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] }, { "function_name": "superGovernor_proposeGlobalHooksRoot", "selector": "0xff06850b", "signature": "superGovernor_proposeGlobalHooksRoot(bytes32)", "supporting_evidence_families": [ "crytic-typed-corpus", "medusa-calldata" ], "supporting_fuzzers": [ "echidna", "medusa" ] } ], "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": 1, "distribution": [ { "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": 378, "selector": "0x4da21e73", "share": 0.007951366247 }, { "comparison_key": "0x0775f957", "function_names": [ "superVaultStrategy_manageYieldSource" ], "function_signatures": [ "superVaultStrategy_manageYieldSource(address,address,uint8)" ], "saved_corpus_calls": 372, "selector": "0x0775f957", "share": 0.007825154084 }, { "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": 370, "selector": "0x4a9f284f", "share": 0.007783083363 }, { "comparison_key": "0x923b5116", "function_names": [ "ECDSAPPSOracle_updatePPS_clamped" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS_clamped(uint256)" ], "saved_corpus_calls": 360, "selector": "0x923b5116", "share": 0.007572729759 }, { "comparison_key": "0x724ce6ea", "function_names": [ "yieldSource_cancelDepositRequest" ], "function_signatures": [ "yieldSource_cancelDepositRequest(uint256,address)" ], "saved_corpus_calls": 356, "selector": "0x724ce6ea", "share": 0.007488588317 }, { "comparison_key": "0xcc39bf79", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager(address,address)" ], "saved_corpus_calls": 353, "selector": "0xcc39bf79", "share": 0.007425482236 }, { "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": 351, "selector": "0xdddfc6cc", "share": 0.007383411515 }, { "comparison_key": "0xb8bfb90d", "function_names": [ "invariant_oraclePPSDoesntChangeOnAddOrRemove" ], "function_signatures": [ "invariant_oraclePPSDoesntChangeOnAddOrRemove()" ], "saved_corpus_calls": 348, "selector": "0xb8bfb90d", "share": 0.007320305433 }, { "comparison_key": "0x3f614fab", "function_names": [ "superVault_redeem_clamped" ], "function_signatures": [ "superVault_redeem_clamped(uint256)" ], "saved_corpus_calls": 337, "selector": "0x3f614fab", "share": 0.007088916469 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 336, "selector": "0xf24a44c9", "share": 0.007067881108 }, { "comparison_key": "0x11d72d6f", "function_names": [ "superVaultAggregator_removeAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_removeAuthorizedCaller(address,address)" ], "saved_corpus_calls": 333, "selector": "0x11d72d6f", "share": 0.007004775027 }, { "comparison_key": "0x6901727f", "function_names": [ "erc7540_7_withdraw" ], "function_signatures": [ "erc7540_7_withdraw(address,uint256)" ], "saved_corpus_calls": 332, "selector": "0x6901727f", "share": 0.006983739666 }, { "comparison_key": "0xecac6242", "function_names": [ "superVaultStrategy_handleOperations7540_clamped" ], "function_signatures": [ "superVaultStrategy_handleOperations7540_clamped(uint256,uint256)" ], "saved_corpus_calls": 332, "selector": "0xecac6242", "share": 0.006983739666 }, { "comparison_key": "0x1c550191", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange(bool)" ], "saved_corpus_calls": 330, "selector": "0x1c550191", "share": 0.006941668945 }, { "comparison_key": "0x82b3bcf6", "function_names": [ "invariant_sumOfAssetsMaxWithdrawable" ], "function_signatures": [ "invariant_sumOfAssetsMaxWithdrawable()" ], "saved_corpus_calls": 329, "selector": "0x82b3bcf6", "share": 0.006920633585 }, { "comparison_key": "0xbaa30e3f", "function_names": [ "superVaultStrategy_proposeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_proposeVaultFeeConfigUpdate(uint256,uint256,address)" ], "saved_corpus_calls": 328, "selector": "0xbaa30e3f", "share": 0.006899598225 }, { "comparison_key": "0x3509d9c1", "function_names": [ "superGovernor_executeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_executeAddIncentiveTokens()" ], "saved_corpus_calls": 327, "selector": "0x3509d9c1", "share": 0.006878562864 }, { "comparison_key": "0xb20b5751", "function_names": [ "superVaultAggregator_createVault" ], "function_signatures": [ "superVaultAggregator_createVault((address,string,string,address,address[],uint256,uint256,(uint256,uint256,address)))" ], "saved_corpus_calls": 327, "selector": "0xb20b5751", "share": 0.006878562864 }, { "comparison_key": "0xde29b51f", "function_names": [ "superGovernor_proposeGlobalHooksRoot_clamped" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot_clamped(bytes32)" ], "saved_corpus_calls": 326, "selector": "0xde29b51f", "share": 0.006857527504 }, { "comparison_key": "0x653d736a", "function_names": [ "superVaultAggregator_withdrawUpkeep" ], "function_signatures": [ "superVaultAggregator_withdrawUpkeep(uint256)" ], "saved_corpus_calls": 324, "selector": "0x653d736a", "share": 0.006815456783 }, { "comparison_key": "0xf9e20e1b", "function_names": [ "superVaultStrategy_handleOperations4626Deposit" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Deposit(address,uint256)" ], "saved_corpus_calls": 323, "selector": "0xf9e20e1b", "share": 0.006794421422 }, { "comparison_key": "0xa08e3d64", "function_names": [ "superVaultAggregator_depositUpkeep" ], "function_signatures": [ "superVaultAggregator_depositUpkeep(uint256)" ], "saved_corpus_calls": 322, "selector": "0xa08e3d64", "share": 0.006773386062 }, { "comparison_key": "0xc15a22de", "function_names": [ "switch_vault" ], "function_signatures": [ "switch_vault(uint256)" ], "saved_corpus_calls": 322, "selector": "0xc15a22de", "share": 0.006773386062 }, { "comparison_key": "0x9cb2de70", "function_names": [ "superVaultStrategy_executeHooks" ], "function_signatures": [ "superVaultStrategy_executeHooks((address[],bytes[],uint256[],bytes32[][],bytes32[][]))" ], "saved_corpus_calls": 321, "selector": "0x9cb2de70", "share": 0.006752350702 }, { "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": 320, "selector": "0x85c3770a", "share": 0.006731315341 }, { "comparison_key": "0x945a7f7a", "function_names": [ "superGovernor_proposeMinStaleness" ], "function_signatures": [ "superGovernor_proposeMinStaleness(uint256)" ], "saved_corpus_calls": 320, "selector": "0x945a7f7a", "share": 0.006731315341 }, { "comparison_key": "0x51800fa1", "function_names": [ "superVaultStrategy_updateMaxPPSSlippage" ], "function_signatures": [ "superVaultStrategy_updateMaxPPSSlippage(uint256)" ], "saved_corpus_calls": 319, "selector": "0x51800fa1", "share": 0.006710279981 }, { "comparison_key": "0xa575357a", "function_names": [ "erc7540_7_deposit" ], "function_signatures": [ "erc7540_7_deposit(address,uint256)" ], "saved_corpus_calls": 319, "selector": "0xa575357a", "share": 0.006710279981 }, { "comparison_key": "0xebc46a2a", "function_names": [ "setPreviewSharesGreater" ], "function_signatures": [ "setPreviewSharesGreater(uint256)" ], "saved_corpus_calls": 319, "selector": "0xebc46a2a", "share": 0.006710279981 }, { "comparison_key": "0x6f111386", "function_names": [ "superVault_redeem" ], "function_signatures": [ "superVault_redeem(uint256)" ], "saved_corpus_calls": 317, "selector": "0x6f111386", "share": 0.00666820926 }, { "comparison_key": "0xfa912362", "function_names": [ "superVaultStrategy_manageYieldSource_clamped" ], "function_signatures": [ "superVaultStrategy_manageYieldSource_clamped(uint256)" ], "saved_corpus_calls": 316, "selector": "0xfa912362", "share": 0.006647173899 }, { "comparison_key": "0x2d9fdcd8", "function_names": [ "mockERC7540YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC7540YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 314, "selector": "0x2d9fdcd8", "share": 0.006605103178 }, { "comparison_key": "0x6f1b5a20", "function_names": [ "superVault_withdraw_clamped" ], "function_signatures": [ "superVault_withdraw_clamped(uint256)" ], "saved_corpus_calls": 314, "selector": "0x6f1b5a20", "share": 0.006605103178 }, { "comparison_key": "0x5c332195", "function_names": [ "invariant_sumOfClaimable" ], "function_signatures": [ "invariant_sumOfClaimable()" ], "saved_corpus_calls": 313, "selector": "0x5c332195", "share": 0.006584067818 }, { "comparison_key": "0x7ee964d5", "function_names": [ "yieldSource_simulateLoss" ], "function_signatures": [ "yieldSource_simulateLoss(uint256)" ], "saved_corpus_calls": 313, "selector": "0x7ee964d5", "share": 0.006584067818 }, { "comparison_key": "0xff06850b", "function_names": [ "superGovernor_proposeGlobalHooksRoot" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot(bytes32)" ], "saved_corpus_calls": 309, "selector": "0xff06850b", "share": 0.006499926376 }, { "comparison_key": "0x1d0cf3ab", "function_names": [ "invariant_accumulatorSharesDecreaseOnFulfill_exact" ], "function_signatures": [ "invariant_accumulatorSharesDecreaseOnFulfill_exact()" ], "saved_corpus_calls": 308, "selector": "0x1d0cf3ab", "share": 0.006478891016 }, { "comparison_key": "0x9da6e005", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange_clamped" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange_clamped()" ], "saved_corpus_calls": 308, "selector": "0x9da6e005", "share": 0.006478891016 }, { "comparison_key": "0xc6f09e40", "function_names": [ "global_erc7540_5_ASSERTION_ERC7540_5" ], "function_signatures": [ "global_erc7540_5_ASSERTION_ERC7540_5(uint256)" ], "saved_corpus_calls": 308, "selector": "0xc6f09e40", "share": 0.006478891016 }, { "comparison_key": "0x03a0d257", "function_names": [ "invariant_accumulatorSharesSolvency" ], "function_signatures": [ "invariant_accumulatorSharesSolvency()" ], "saved_corpus_calls": 307, "selector": "0x03a0d257", "share": 0.006457855655 }, { "comparison_key": "0x99f98474", "function_names": [ "yieldSource_deposit5115" ], "function_signatures": [ "yieldSource_deposit5115(address,address,uint256,uint256,bool)" ], "saved_corpus_calls": 307, "selector": "0x99f98474", "share": 0.006457855655 }, { "comparison_key": "0x11200cde", "function_names": [ "superVault_requestRedeem" ], "function_signatures": [ "superVault_requestRedeem(uint256)" ], "saved_corpus_calls": 306, "selector": "0x11200cde", "share": 0.006436820295 }, { "comparison_key": "0xd03da50e", "function_names": [ "yieldSource_switchRandom" ], "function_signatures": [ "yieldSource_switchRandom(uint256)" ], "saved_corpus_calls": 305, "selector": "0xd03da50e", "share": 0.006415784934 }, { "comparison_key": "0x18395098", "function_names": [ "invariant_assetBacking" ], "function_signatures": [ "invariant_assetBacking()" ], "saved_corpus_calls": 304, "selector": "0x18395098", "share": 0.006394749574 }, { "comparison_key": "0xbc0a3bd7", "function_names": [ "mockERC5115YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC5115YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 304, "selector": "0xbc0a3bd7", "share": 0.006394749574 }, { "comparison_key": "0x45c718d4", "function_names": [ "invariant_accumulatorCostBasisIncrease" ], "function_signatures": [ "invariant_accumulatorCostBasisIncrease()" ], "saved_corpus_calls": 303, "selector": "0x45c718d4", "share": 0.006373714214 }, { "comparison_key": "0xe121d831", "function_names": [ "yieldSource_setRevertBehavior5115" ], "function_signatures": [ "yieldSource_setRevertBehavior5115(uint8)" ], "saved_corpus_calls": 303, "selector": "0xe121d831", "share": 0.006373714214 }, { "comparison_key": "0x12af56c5", "function_names": [ "superVaultStrategy_fulfillRedeemRequests_clamped" ], "function_signatures": [ "superVaultStrategy_fulfillRedeemRequests_clamped(uint256)" ], "saved_corpus_calls": 301, "selector": "0x12af56c5", "share": 0.006331643493 }, { "comparison_key": "0x1de49bf9", "function_names": [ "superVaultAggregator_executeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager(address)" ], "saved_corpus_calls": 301, "selector": "0x1de49bf9", "share": 0.006331643493 }, { "comparison_key": "0x30ee3a01", "function_names": [ "superGovernor_executeFeeUpdate" ], "function_signatures": [ "superGovernor_executeFeeUpdate(uint8)" ], "saved_corpus_calls": 301, "selector": "0x30ee3a01", "share": 0.006331643493 }, { "comparison_key": "0x62932228", "function_names": [ "superVaultStrategy_moveAccumulatorOnTransfer" ], "function_signatures": [ "superVaultStrategy_moveAccumulatorOnTransfer(address,address,uint256)" ], "saved_corpus_calls": 301, "selector": "0x62932228", "share": 0.006331643493 }, { "comparison_key": "0x0012bfca", "function_names": [ "superVaultStrategy_handleOperations4626Mint" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Mint(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 300, "selector": "0x0012bfca", "share": 0.006310608132 }, { "comparison_key": "0x4f79f39c", "function_names": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL" ], "function_signatures": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 300, "selector": "0x4f79f39c", "share": 0.006310608132 }, { "comparison_key": "0x961cc2a1", "function_names": [ "yieldSource_transfer" ], "function_signatures": [ "yieldSource_transfer(address,uint256)" ], "saved_corpus_calls": 300, "selector": "0x961cc2a1", "share": 0.006310608132 }, { "comparison_key": "0x58deadba", "function_names": [ "superVaultAggregator_addSecondaryManager" ], "function_signatures": [ "superVaultAggregator_addSecondaryManager(address,address)" ], "saved_corpus_calls": 299, "selector": "0x58deadba", "share": 0.006289572772 }, { "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": 299, "selector": "0x7c492380", "share": 0.006289572772 }, { "comparison_key": "0x33622846", "function_names": [ "superVaultEscrow_initialize" ], "function_signatures": [ "superVaultEscrow_initialize(address,address)" ], "saved_corpus_calls": 298, "selector": "0x33622846", "share": 0.006268537411 }, { "comparison_key": "0x94ad47e5", "function_names": [ "yieldSource_switchToERC4626" ], "function_signatures": [ "yieldSource_switchToERC4626()" ], "saved_corpus_calls": 298, "selector": "0x94ad47e5", "share": 0.006268537411 }, { "comparison_key": "0xfb4e3345", "function_names": [ "invariant_erc7540_1" ], "function_signatures": [ "invariant_erc7540_1()" ], "saved_corpus_calls": 298, "selector": "0xfb4e3345", "share": 0.006268537411 }, { "comparison_key": "0xc6227243", "function_names": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL" ], "function_signatures": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 297, "selector": "0xc6227243", "share": 0.006247502051 }, { "comparison_key": "0x37f0d09d", "function_names": [ "superVaultAggregator_removeSecondaryManager" ], "function_signatures": [ "superVaultAggregator_removeSecondaryManager(address,address)" ], "saved_corpus_calls": 296, "selector": "0x37f0d09d", "share": 0.006226466691 }, { "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": 296, "selector": "0xa6b7e9a7", "share": 0.006226466691 }, { "comparison_key": "0xe53dc6d6", "function_names": [ "erc7540_7_redeem" ], "function_signatures": [ "erc7540_7_redeem(address,uint256)" ], "saved_corpus_calls": 296, "selector": "0xe53dc6d6", "share": 0.006226466691 }, { "comparison_key": "0x1e78dbc2", "function_names": [ "superVaultAggregator_updatePPSVerificationThresholds" ], "function_signatures": [ "superVaultAggregator_updatePPSVerificationThresholds(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 295, "selector": "0x1e78dbc2", "share": 0.00620543133 }, { "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": 294, "selector": "0x7509cbd9", "share": 0.00618439597 }, { "comparison_key": "0xd30f03fa", "function_names": [ "superVaultEscrow_returnShares" ], "function_signatures": [ "superVaultEscrow_returnShares(address,uint256)" ], "saved_corpus_calls": 294, "selector": "0xd30f03fa", "share": 0.00618439597 }, { "comparison_key": "0x4a28a715", "function_names": [ "superVaultAggregator_depositStake" ], "function_signatures": [ "superVaultAggregator_depositStake(address,uint256)" ], "saved_corpus_calls": 293, "selector": "0x4a28a715", "share": 0.006163360609 }, { "comparison_key": "0x69a21b7a", "function_names": [ "yieldSource_requestRedeem" ], "function_signatures": [ "yieldSource_requestRedeem(uint256,address,address)" ], "saved_corpus_calls": 293, "selector": "0x69a21b7a", "share": 0.006163360609 }, { "comparison_key": "0x367ea3d8", "function_names": [ "invariant_shareSolvency" ], "function_signatures": [ "invariant_shareSolvency()" ], "saved_corpus_calls": 292, "selector": "0x367ea3d8", "share": 0.006142325249 }, { "comparison_key": "0x7674c28d", "function_names": [ "yieldSource_redeem" ], "function_signatures": [ "yieldSource_redeem(uint256,address,address)" ], "saved_corpus_calls": 290, "selector": "0x7674c28d", "share": 0.006100254528 }, { "comparison_key": "0x83778d4b", "function_names": [ "erc7540_5" ], "function_signatures": [ "erc7540_5(address,address,uint256)" ], "saved_corpus_calls": 289, "selector": "0x83778d4b", "share": 0.006079219167 }, { "comparison_key": "0xfb57459d", "function_names": [ "invariant_accumulatorCostBasisSolvency" ], "function_signatures": [ "invariant_accumulatorCostBasisSolvency()" ], "saved_corpus_calls": 289, "selector": "0xfb57459d", "share": 0.006079219167 }, { "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": 287, "selector": "0x16932562", "share": 0.006037148447 }, { "comparison_key": "0x9eb67371", "function_names": [ "superVault_setOperator" ], "function_signatures": [ "superVault_setOperator(uint256,bool)" ], "saved_corpus_calls": 286, "selector": "0x9eb67371", "share": 0.006016113086 }, { "comparison_key": "0x5efcce37", "function_names": [ "yieldSource_deposit7540" ], "function_signatures": [ "yieldSource_deposit7540(uint256,address,address)" ], "saved_corpus_calls": 285, "selector": "0x5efcce37", "share": 0.005995077726 }, { "comparison_key": "0x0d568161", "function_names": [ "superGovernor_proposeFee" ], "function_signatures": [ "superGovernor_proposeFee(uint8,uint256)" ], "saved_corpus_calls": 284, "selector": "0x0d568161", "share": 0.005974042365 }, { "comparison_key": "0xf9534397", "function_names": [ "superVault_burnShares" ], "function_signatures": [ "superVault_burnShares(uint256)" ], "saved_corpus_calls": 284, "selector": "0xf9534397", "share": 0.005974042365 }, { "comparison_key": "0x7a3b3b99", "function_names": [ "invariant_cancelDoesntChangeTotalSupply" ], "function_signatures": [ "invariant_cancelDoesntChangeTotalSupply()" ], "saved_corpus_calls": 283, "selector": "0x7a3b3b99", "share": 0.005953007005 }, { "comparison_key": "0xbb8c4131", "function_names": [ "superVaultAggregator_executeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 282, "selector": "0xbb8c4131", "share": 0.005931971644 }, { "comparison_key": "0x72176d00", "function_names": [ "superVault_withdraw" ], "function_signatures": [ "superVault_withdraw(uint256)" ], "saved_corpus_calls": 281, "selector": "0x72176d00", "share": 0.005910936284 }, { "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": 281, "selector": "0xbed76c2c", "share": 0.005910936284 }, { "comparison_key": "0xfb48798d", "function_names": [ "yieldSource_mint" ], "function_signatures": [ "yieldSource_mint(uint256,address)" ], "saved_corpus_calls": 281, "selector": "0xfb48798d", "share": 0.005910936284 }, { "comparison_key": "0xfe4574ac", "function_names": [ "yieldSource_deposit" ], "function_signatures": [ "yieldSource_deposit(uint256,address)" ], "saved_corpus_calls": 281, "selector": "0xfe4574ac", "share": 0.005910936284 }, { "comparison_key": "0x8491e3d2", "function_names": [ "setpreviewAssetsGreater" ], "function_signatures": [ "setpreviewAssetsGreater(uint256)" ], "saved_corpus_calls": 279, "selector": "0x8491e3d2", "share": 0.005868865563 }, { "comparison_key": "0xed652da1", "function_names": [ "superVaultAggregator_slashStake" ], "function_signatures": [ "superVaultAggregator_slashStake(address,uint256)" ], "saved_corpus_calls": 279, "selector": "0xed652da1", "share": 0.005868865563 }, { "comparison_key": "0x85d88492", "function_names": [ "superGovernor_proposeFee_clamped" ], "function_signatures": [ "superGovernor_proposeFee_clamped(uint256,uint256)" ], "saved_corpus_calls": 278, "selector": "0x85d88492", "share": 0.005847830203 }, { "comparison_key": "0x53494d09", "function_names": [ "yieldSource_transferFrom" ], "function_signatures": [ "yieldSource_transferFrom(address,address,uint256)" ], "saved_corpus_calls": 277, "selector": "0x53494d09", "share": 0.005826794842 }, { "comparison_key": "0x9b62d72e", "function_names": [ "superVaultAggregator_claimUpkeep" ], "function_signatures": [ "superVaultAggregator_claimUpkeep(uint256)" ], "saved_corpus_calls": 277, "selector": "0x9b62d72e", "share": 0.005826794842 }, { "comparison_key": "0x9f9c2957", "function_names": [ "erc7540_4_deposit" ], "function_signatures": [ "erc7540_4_deposit(address,uint256)" ], "saved_corpus_calls": 277, "selector": "0x9f9c2957", "share": 0.005826794842 }, { "comparison_key": "0xc2dc09e3", "function_names": [ "invariant_avgPPSDoesntDecrease" ], "function_signatures": [ "invariant_avgPPSDoesntDecrease()" ], "saved_corpus_calls": 277, "selector": "0xc2dc09e3", "share": 0.005826794842 }, { "comparison_key": "0xd20d873c", "function_names": [ "yieldSource_claimCancelDepositRequest" ], "function_signatures": [ "yieldSource_claimCancelDepositRequest(uint256,address,address)" ], "saved_corpus_calls": 277, "selector": "0xd20d873c", "share": 0.005826794842 }, { "comparison_key": "0xf1f2a8fb", "function_names": [ "superVaultStrategy_executeHooks_clamped" ], "function_signatures": [ "superVaultStrategy_executeHooks_clamped(uint256[],uint256[],bool[])" ], "saved_corpus_calls": 277, "selector": "0xf1f2a8fb", "share": 0.005826794842 }, { "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": 276, "selector": "0x58a818d4", "share": 0.005805759482 }, { "comparison_key": "0x610b63e4", "function_names": [ "superGovernor_proposeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_proposeAddIncentiveTokens(address[])" ], "saved_corpus_calls": 276, "selector": "0x610b63e4", "share": 0.005805759482 }, { "comparison_key": "0xc0532bec", "function_names": [ "superVaultAggregator_withdrawStake" ], "function_signatures": [ "superVaultAggregator_withdrawStake(uint256)" ], "saved_corpus_calls": 276, "selector": "0xc0532bec", "share": 0.005805759482 }, { "comparison_key": "0x59ddd4d4", "function_names": [ "invariant_erc7540_2" ], "function_signatures": [ "invariant_erc7540_2()" ], "saved_corpus_calls": 275, "selector": "0x59ddd4d4", "share": 0.005784724121 }, { "comparison_key": "0xf7f335e9", "function_names": [ "yieldSource_approve" ], "function_signatures": [ "yieldSource_approve(address,uint256)" ], "saved_corpus_calls": 275, "selector": "0xf7f335e9", "share": 0.005784724121 }, { "comparison_key": "0xbd3e56b3", "function_names": [ "superVaultStrategy_manageEmergencyWithdraw" ], "function_signatures": [ "superVaultStrategy_manageEmergencyWithdraw(uint8,address,uint256)" ], "saved_corpus_calls": 274, "selector": "0xbd3e56b3", "share": 0.005763688761 }, { "comparison_key": "0x5d83e580", "function_names": [ "yieldSource_simulateGain" ], "function_signatures": [ "yieldSource_simulateGain(uint256)" ], "saved_corpus_calls": 273, "selector": "0x5d83e580", "share": 0.0057426534 }, { "comparison_key": "0xba82804f", "function_names": [ "superGovernor_executeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_executeUpkeepPaymentsChange()" ], "saved_corpus_calls": 273, "selector": "0xba82804f", "share": 0.0057426534 }, { "comparison_key": "0xf701f996", "function_names": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY" ], "function_signatures": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY()" ], "saved_corpus_calls": 273, "selector": "0xf701f996", "share": 0.0057426534 }, { "comparison_key": "0x3f4d3a0c", "function_names": [ "superVault_invalidateNonce" ], "function_signatures": [ "superVault_invalidateNonce(bytes32)" ], "saved_corpus_calls": 272, "selector": "0x3f4d3a0c", "share": 0.00572161804 }, { "comparison_key": "0x5b1e6f92", "function_names": [ "invariant_accumulatorSharesGtPendingRequests" ], "function_signatures": [ "invariant_accumulatorSharesGtPendingRequests()" ], "saved_corpus_calls": 272, "selector": "0x5b1e6f92", "share": 0.00572161804 }, { "comparison_key": "0x7fd74a62", "function_names": [ "superVaultStrategy_manageYieldSources" ], "function_signatures": [ "superVaultStrategy_manageYieldSources(address[],address[],uint8[])" ], "saved_corpus_calls": 272, "selector": "0x7fd74a62", "share": 0.00572161804 }, { "comparison_key": "0x1c0ee36b", "function_names": [ "superVaultStrategy_executeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_executeVaultFeeConfigUpdate()" ], "saved_corpus_calls": 271, "selector": "0x1c0ee36b", "share": 0.005700582679 }, { "comparison_key": "0x2fa9dadc", "function_names": [ "asset_approve" ], "function_signatures": [ "asset_approve(address,uint128)" ], "saved_corpus_calls": 271, "selector": "0x2fa9dadc", "share": 0.005700582679 }, { "comparison_key": "0x53b95ac1", "function_names": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE" ], "function_signatures": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE()" ], "saved_corpus_calls": 271, "selector": "0x53b95ac1", "share": 0.005700582679 }, { "comparison_key": "0x7fbba149", "function_names": [ "add_new_asset" ], "function_signatures": [ "add_new_asset(uint8)" ], "saved_corpus_calls": 271, "selector": "0x7fbba149", "share": 0.005700582679 }, { "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": 271, "selector": "0xf8ddb1f1", "share": 0.005700582679 }, { "comparison_key": "0x47801ba1", "function_names": [ "yieldSource_requestDeposit" ], "function_signatures": [ "yieldSource_requestDeposit(uint256,address,address)" ], "saved_corpus_calls": 270, "selector": "0x47801ba1", "share": 0.005679547319 }, { "comparison_key": "0x55ee7e47", "function_names": [ "invariant_avgPPSMonotonicity" ], "function_signatures": [ "invariant_avgPPSMonotonicity()" ], "saved_corpus_calls": 270, "selector": "0x55ee7e47", "share": 0.005679547319 }, { "comparison_key": "0x5e79ec62", "function_names": [ "superVaultAggregator_createVault_clamped" ], "function_signatures": [ "superVaultAggregator_createVault_clamped(uint256,uint256,uint256,uint256)" ], "saved_corpus_calls": 269, "selector": "0x5e79ec62", "share": 0.005658511959 }, { "comparison_key": "0xd1fbeeaa", "function_names": [ "invariant_maxMintZeroWhenPaused" ], "function_signatures": [ "invariant_maxMintZeroWhenPaused()" ], "saved_corpus_calls": 269, "selector": "0xd1fbeeaa", "share": 0.005658511959 }, { "comparison_key": "0xfead5404", "function_names": [ "yieldSourceOracle_setValidAsset_clamped" ], "function_signatures": [ "yieldSourceOracle_setValidAsset_clamped()" ], "saved_corpus_calls": 269, "selector": "0xfead5404", "share": 0.005658511959 }, { "comparison_key": "0x2ac9c057", "function_names": [ "superGovernor_executeMinStalenesChange" ], "function_signatures": [ "superGovernor_executeMinStalenesChange()" ], "saved_corpus_calls": 268, "selector": "0x2ac9c057", "share": 0.005637476598 }, { "comparison_key": "0x4a06cb2a", "function_names": [ "superVault_requestRedeem_clamped" ], "function_signatures": [ "superVault_requestRedeem_clamped(uint256)" ], "saved_corpus_calls": 268, "selector": "0x4a06cb2a", "share": 0.005637476598 }, { "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": 267, "selector": "0x0a4821cf", "share": 0.005616441238 }, { "comparison_key": "0x3a435458", "function_names": [ "invariant_accumulatorSharesIncrease" ], "function_signatures": [ "invariant_accumulatorSharesIncrease()" ], "saved_corpus_calls": 267, "selector": "0x3a435458", "share": 0.005616441238 }, { "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": 266, "selector": "0x1a001033", "share": 0.005595405877 }, { "comparison_key": "0x47eb2c05", "function_names": [ "erc7540_4_redeem" ], "function_signatures": [ "erc7540_4_redeem(address,uint256)" ], "saved_corpus_calls": 266, "selector": "0x47eb2c05", "share": 0.005595405877 }, { "comparison_key": "0x4e9ce11d", "function_names": [ "mockERC4626YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC4626YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 265, "selector": "0x4e9ce11d", "share": 0.005574370517 }, { "comparison_key": "0x166d031e", "function_names": [ "yieldSource_withdraw" ], "function_signatures": [ "yieldSource_withdraw(uint256,address,address)" ], "saved_corpus_calls": 264, "selector": "0x166d031e", "share": 0.005553335156 }, { "comparison_key": "0xb6fefb31", "function_names": [ "erc7540_4_withdraw" ], "function_signatures": [ "erc7540_4_withdraw(address,uint256)" ], "saved_corpus_calls": 264, "selector": "0xb6fefb31", "share": 0.005553335156 }, { "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": 262, "selector": "0xadb365f3", "share": 0.005511264436 }, { "comparison_key": "0x0de1fd4c", "function_names": [ "superGovernor_executeUpkeepClaim" ], "function_signatures": [ "superGovernor_executeUpkeepClaim(uint256)" ], "saved_corpus_calls": 259, "selector": "0x0de1fd4c", "share": 0.005448158354 }, { "comparison_key": "0x3a32dc68", "function_names": [ "add_new_vault" ], "function_signatures": [ "add_new_vault()" ], "saved_corpus_calls": 259, "selector": "0x3a32dc68", "share": 0.005448158354 }, { "comparison_key": "0xb8ded484", "function_names": [ "superVault_approve" ], "function_signatures": [ "superVault_approve(address,uint256)" ], "saved_corpus_calls": 258, "selector": "0xb8ded484", "share": 0.005427122994 }, { "comparison_key": "0xf51545d6", "function_names": [ "invariant_maxDepositZeroWhenPaused" ], "function_signatures": [ "invariant_maxDepositZeroWhenPaused()" ], "saved_corpus_calls": 258, "selector": "0xf51545d6", "share": 0.005427122994 }, { "comparison_key": "0xb1505051", "function_names": [ "invariant_totalAssets" ], "function_signatures": [ "invariant_totalAssets()" ], "saved_corpus_calls": 257, "selector": "0xb1505051", "share": 0.005406087633 }, { "comparison_key": "0x1a042ae7", "function_names": [ "invariant_canary" ], "function_signatures": [ "invariant_canary()" ], "saved_corpus_calls": 256, "selector": "0x1a042ae7", "share": 0.005385052273 }, { "comparison_key": "0x8318025e", "function_names": [ "invariant_fulfillOnlyBurnsRequestedAmount" ], "function_signatures": [ "invariant_fulfillOnlyBurnsRequestedAmount()" ], "saved_corpus_calls": 256, "selector": "0x8318025e", "share": 0.005385052273 }, { "comparison_key": "0xab2c6ce7", "function_names": [ "yieldSource_setRevertBehavior4626" ], "function_signatures": [ "yieldSource_setRevertBehavior4626(uint8,uint8)" ], "saved_corpus_calls": 256, "selector": "0xab2c6ce7", "share": 0.005385052273 }, { "comparison_key": "0x6d8b86e5", "function_names": [ "_fulfillRedeemRequestsArgs" ], "function_signatures": [ "_fulfillRedeemRequestsArgs(uint256)" ], "saved_corpus_calls": 255, "selector": "0x6d8b86e5", "share": 0.005364016912 }, { "comparison_key": "0x5b5006a4", "function_names": [ "invariant_erc7540_3" ], "function_signatures": [ "invariant_erc7540_3()" ], "saved_corpus_calls": 254, "selector": "0x5b5006a4", "share": 0.005342981552 }, { "comparison_key": "0x6ab2ab12", "function_names": [ "superVaultEscrow_escrowShares" ], "function_signatures": [ "superVaultEscrow_escrowShares(address,uint256)" ], "saved_corpus_calls": 254, "selector": "0x6ab2ab12", "share": 0.005342981552 }, { "comparison_key": "0x993eb322", "function_names": [ "yieldSource_setOperator" ], "function_signatures": [ "yieldSource_setOperator(address,bool)" ], "saved_corpus_calls": 254, "selector": "0x993eb322", "share": 0.005342981552 }, { "comparison_key": "0x9d5c96d1", "function_names": [ "superVaultStrategy_handleOperations7540" ], "function_signatures": [ "superVaultStrategy_handleOperations7540(uint8,address,address,uint256)" ], "saved_corpus_calls": 254, "selector": "0x9d5c96d1", "share": 0.005342981552 }, { "comparison_key": "0x9b5b4765", "function_names": [ "yieldSource_switchToERC7540" ], "function_signatures": [ "yieldSource_switchToERC7540()" ], "saved_corpus_calls": 253, "selector": "0x9b5b4765", "share": 0.005321946192 }, { "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": 252, "selector": "0x153c0881", "share": 0.005300910831 }, { "comparison_key": "0x652e3935", "function_names": [ "asset_mint" ], "function_signatures": [ "asset_mint(address,uint128)" ], "saved_corpus_calls": 252, "selector": "0x652e3935", "share": 0.005300910831 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 251, "selector": "0x55ba98ff", "share": 0.005279875471 }, { "comparison_key": "0xa97d49d1", "function_names": [ "yieldSource_cancelRedeemRequest" ], "function_signatures": [ "yieldSource_cancelRedeemRequest(uint256,address)" ], "saved_corpus_calls": 251, "selector": "0xa97d49d1", "share": 0.005279875471 }, { "comparison_key": "0x51ecdf5d", "function_names": [ "invariant_maxRedeemMaxWithdrawSymmetry" ], "function_signatures": [ "invariant_maxRedeemMaxWithdrawSymmetry()" ], "saved_corpus_calls": 250, "selector": "0x51ecdf5d", "share": 0.00525884011 }, { "comparison_key": "0x8efa3b2d", "function_names": [ "invariant_totalSharesDontDecreaseOnRedemptionRequest" ], "function_signatures": [ "invariant_totalSharesDontDecreaseOnRedemptionRequest()" ], "saved_corpus_calls": 250, "selector": "0x8efa3b2d", "share": 0.00525884011 }, { "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": 249, "selector": "0x6e2c0de8", "share": 0.00523780475 }, { "comparison_key": "0x84d461f2", "function_names": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 249, "selector": "0x84d461f2", "share": 0.00523780475 }, { "comparison_key": "0xb7208c9f", "function_names": [ "erc7540_7_mint" ], "function_signatures": [ "erc7540_7_mint(address,uint256)" ], "saved_corpus_calls": 248, "selector": "0xb7208c9f", "share": 0.005216769389 }, { "comparison_key": "0x16e7198f", "function_names": [ "superGovernor_executeFeeUpdate_clamped" ], "function_signatures": [ "superGovernor_executeFeeUpdate_clamped(uint256)" ], "saved_corpus_calls": 246, "selector": "0x16e7198f", "share": 0.005174698668 }, { "comparison_key": "0xe88907e7", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 244, "selector": "0xe88907e7", "share": 0.005132627948 }, { "comparison_key": "0xdeaf00fe", "function_names": [ "superGovernor_executeRemoveIncentiveTokens" ], "function_signatures": [ "superGovernor_executeRemoveIncentiveTokens()" ], "saved_corpus_calls": 241, "selector": "0xdeaf00fe", "share": 0.005069521866 }, { "comparison_key": "0xc8f637e2", "function_names": [ "yieldSource_switchToERC5115" ], "function_signatures": [ "yieldSource_switchToERC5115()" ], "saved_corpus_calls": 240, "selector": "0xc8f637e2", "share": 0.005048486506 }, { "comparison_key": "0x135a35ac", "function_names": [ "yieldSource_claimCancelRedeemRequest" ], "function_signatures": [ "yieldSource_claimCancelRedeemRequest(uint256,address,address)" ], "saved_corpus_calls": 239, "selector": "0x135a35ac", "share": 0.005027451145 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 237, "selector": "0x6801b82e", "share": 0.004985380424 }, { "comparison_key": "0x7ed1278a", "function_names": [ "erc7540_4_mint" ], "function_signatures": [ "erc7540_4_mint(address,uint256)" ], "saved_corpus_calls": 237, "selector": "0x7ed1278a", "share": 0.004985380424 }, { "comparison_key": "0x431f4fcf", "function_names": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 236, "selector": "0x431f4fcf", "share": 0.004964345064 }, { "comparison_key": "0xd15446d6", "function_names": [ "yieldSource_redeem5115" ], "function_signatures": [ "yieldSource_redeem5115(address,uint256,address,uint256,bool)" ], "saved_corpus_calls": 236, "selector": "0xd15446d6", "share": 0.004964345064 }, { "comparison_key": "0x31f725a0", "function_names": [ "ECDSAPPSOracle_updatePPS" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS((address[],bytes[][],uint256[],uint256[],uint256[],uint256[],uint256[]))" ], "saved_corpus_calls": 235, "selector": "0x31f725a0", "share": 0.004943309704 }, { "comparison_key": "0xb7166ff0", "function_names": [ "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance" ], "function_signatures": [ "invariant_accumulatorSharesDecreaseOnFulfill_with_tolerance()" ], "saved_corpus_calls": 235, "selector": "0xb7166ff0", "share": 0.004943309704 }, { "comparison_key": "0xe63df834", "function_names": [ "superVaultAggregator_changePrimaryManager" ], "function_signatures": [ "superVaultAggregator_changePrimaryManager(address,address)" ], "saved_corpus_calls": 234, "selector": "0xe63df834", "share": 0.004922274343 }, { "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": 231, "selector": "0x47780112", "share": 0.004859168262 }, { "comparison_key": "0x5e3be3a1", "function_names": [ "invariant_escrowBalance" ], "function_signatures": [ "invariant_escrowBalance()" ], "saved_corpus_calls": 231, "selector": "0x5e3be3a1", "share": 0.004859168262 }, { "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": 230, "selector": "0x05c4dfe6", "share": 0.004838132901 }, { "comparison_key": "0x98bea562", "function_names": [ "yieldSource_setLossOnWithdraw" ], "function_signatures": [ "yieldSource_setLossOnWithdraw(uint256)" ], "saved_corpus_calls": 229, "selector": "0x98bea562", "share": 0.004817097541 }, { "comparison_key": "0x2e323c85", "function_names": [ "yieldSource_setDecimalsOffset" ], "function_signatures": [ "yieldSource_setDecimalsOffset(uint8)" ], "saved_corpus_calls": 228, "selector": "0x2e323c85", "share": 0.004796062181 }, { "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": 227, "selector": "0x49ad59f9", "share": 0.00477502682 }, { "comparison_key": "0x5485b3cb", "function_names": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED" ], "function_signatures": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED(uint256,uint256)" ], "saved_corpus_calls": 225, "selector": "0x5485b3cb", "share": 0.004732956099 }, { "comparison_key": "0x64dfafca", "function_names": [ "superVaultAggregator_addAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_addAuthorizedCaller(address,address)" ], "saved_corpus_calls": 221, "selector": "0x64dfafca", "share": 0.004648814657 }, { "comparison_key": "0x5111e7ca", "function_names": [ "erc7540_6" ], "function_signatures": [ "erc7540_6(address)" ], "saved_corpus_calls": 13, "selector": "0x5111e7ca", "share": 0.000273459686 }, { "comparison_key": "0x8b7a0b44", "function_names": [ "erc7540_1" ], "function_signatures": [ "erc7540_1(address)" ], "saved_corpus_calls": 10, "selector": "0x8b7a0b44", "share": 0.000210353604 }, { "comparison_key": "0xe94aa8d4", "function_names": [ "erc7540_2" ], "function_signatures": [ "erc7540_2(address)" ], "saved_corpus_calls": 7, "selector": "0xe94aa8d4", "share": 0.000147247523 }, { "comparison_key": "0x452ba873", "function_names": [ "optimize_moreClaimableThanHeldDifference" ], "function_signatures": [ "optimize_moreClaimableThanHeldDifference()" ], "saved_corpus_calls": 6, "selector": "0x452ba873", "share": 0.000126212163 }, { "comparison_key": "0x5b4065cc", "function_names": [ "erc7540_3" ], "function_signatures": [ "erc7540_3(address)" ], "saved_corpus_calls": 5, "selector": "0x5b4065cc", "share": 0.000105176802 }, { "comparison_key": "0x6a07236f", "function_names": [ "optimize_burnMoreThanRequestedInRedemption" ], "function_signatures": [ "optimize_burnMoreThanRequestedInRedemption()" ], "saved_corpus_calls": 5, "selector": "0x6a07236f", "share": 0.000105176802 }, { "comparison_key": "0x0a3f0749", "function_names": [ "optimize_burnLessThanRequestedInRedemption" ], "function_signatures": [ "optimize_burnLessThanRequestedInRedemption()" ], "saved_corpus_calls": 3, "selector": "0x0a3f0749", "share": 6.3106081e-05 }, { "comparison_key": "0x64d59d46", "function_names": [ "_sumStrategyAssets" ], "function_signatures": [ "_sumStrategyAssets()" ], "saved_corpus_calls": 3, "selector": "0x64d59d46", "share": 6.3106081e-05 }, { "comparison_key": "0x15d24046", "function_names": [ "optimize_assetBackingDifference" ], "function_signatures": [ "optimize_assetBackingDifference()" ], "saved_corpus_calls": 2, "selector": "0x15d24046", "share": 4.2070721e-05 }, { "comparison_key": "0x1b75d706", "function_names": [ "_getRandomActor" ], "function_signatures": [ "_getRandomActor(uint256)" ], "saved_corpus_calls": 2, "selector": "0x1b75d706", "share": 4.2070721e-05 }, { "comparison_key": "0xd62a2f11", "function_names": [ "setFulfilledDifference" ], "function_signatures": [ "setFulfilledDifference()" ], "saved_corpus_calls": 2, "selector": "0xd62a2f11", "share": 4.2070721e-05 }, { "comparison_key": "0x616fdce4", "function_names": [ "MAX_ROUNDING_ERROR" ], "function_signatures": [ "MAX_ROUNDING_ERROR()" ], "saved_corpus_calls": 1, "selector": "0x616fdce4", "share": 2.103536e-05 }, { "comparison_key": "0x6b3894b9", "function_names": [ "optimize_maxDustAccumulation" ], "function_signatures": [ "optimize_maxDustAccumulation()" ], "saved_corpus_calls": 1, "selector": "0x6b3894b9", "share": 2.103536e-05 } ], "fuzzer": "echidna", "instances": 1, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 47539, "status": "available", "unavailable_instances": 0, "unique_call_identities": 180, "unique_selectors": 180 }, { "available_instances": 0, "distribution": [], "fuzzer": "foundry", "instances": 1, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 0, "status": "unavailable", "unavailable_instances": 1, "unique_call_identities": 0, "unique_selectors": 0 }, { "available_instances": 1, "distribution": [ { "comparison_key": "0x5111e7ca", "function_names": [ "erc7540_6" ], "function_signatures": [ "erc7540_6(address)" ], "saved_corpus_calls": 277, "selector": "0x5111e7ca", "share": 0.009867835132 }, { "comparison_key": "0x98bea562", "function_names": [ "yieldSource_setLossOnWithdraw" ], "function_signatures": [ "yieldSource_setLossOnWithdraw(uint256)" ], "saved_corpus_calls": 272, "selector": "0x98bea562", "share": 0.009689715365 }, { "comparison_key": "0xc6f09e40", "function_names": [ "global_erc7540_5_ASSERTION_ERC7540_5" ], "function_signatures": [ "global_erc7540_5_ASSERTION_ERC7540_5(uint256)" ], "saved_corpus_calls": 270, "selector": "0xc6f09e40", "share": 0.009618467458 }, { "comparison_key": "0xd03da50e", "function_names": [ "yieldSource_switchRandom" ], "function_signatures": [ "yieldSource_switchRandom(uint256)" ], "saved_corpus_calls": 266, "selector": "0xd03da50e", "share": 0.009475971643 }, { "comparison_key": "0x431f4fcf", "function_names": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewMintEquivalence_ASSERTION_PREVIEW_MINT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 255, "selector": "0x431f4fcf", "share": 0.009084108154 }, { "comparison_key": "0x11200cde", "function_names": [ "superVault_requestRedeem" ], "function_signatures": [ "superVault_requestRedeem(uint256)" ], "saved_corpus_calls": 254, "selector": "0x11200cde", "share": 0.009048484201 }, { "comparison_key": "0x9eb67371", "function_names": [ "superVault_setOperator" ], "function_signatures": [ "superVault_setOperator(uint256,bool)" ], "saved_corpus_calls": 244, "selector": "0x9eb67371", "share": 0.008692244665 }, { "comparison_key": "0xbaa30e3f", "function_names": [ "superVaultStrategy_proposeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_proposeVaultFeeConfigUpdate(uint256,uint256,address)" ], "saved_corpus_calls": 244, "selector": "0xbaa30e3f", "share": 0.008692244665 }, { "comparison_key": "0x2ac9c057", "function_names": [ "superGovernor_executeMinStalenesChange" ], "function_signatures": [ "superGovernor_executeMinStalenesChange()" ], "saved_corpus_calls": 243, "selector": "0x2ac9c057", "share": 0.008656620712 }, { "comparison_key": "0x47eb2c05", "function_names": [ "erc7540_4_redeem" ], "function_signatures": [ "erc7540_4_redeem(address,uint256)" ], "saved_corpus_calls": 243, "selector": "0x47eb2c05", "share": 0.008656620712 }, { "comparison_key": "0x69a21b7a", "function_names": [ "yieldSource_requestRedeem" ], "function_signatures": [ "yieldSource_requestRedeem(uint256,address,address)" ], "saved_corpus_calls": 243, "selector": "0x69a21b7a", "share": 0.008656620712 }, { "comparison_key": "0xe88907e7", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 243, "selector": "0xe88907e7", "share": 0.008656620712 }, { "comparison_key": "0x6f111386", "function_names": [ "superVault_redeem" ], "function_signatures": [ "superVault_redeem(uint256)" ], "saved_corpus_calls": 239, "selector": "0x6f111386", "share": 0.008514124898 }, { "comparison_key": "0x1e78dbc2", "function_names": [ "superVaultAggregator_updatePPSVerificationThresholds" ], "function_signatures": [ "superVaultAggregator_updatePPSVerificationThresholds(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 238, "selector": "0x1e78dbc2", "share": 0.008478500944 }, { "comparison_key": "0x4a28a715", "function_names": [ "superVaultAggregator_depositStake" ], "function_signatures": [ "superVaultAggregator_depositStake(address,uint256)" ], "saved_corpus_calls": 238, "selector": "0x4a28a715", "share": 0.008478500944 }, { "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": 238, "selector": "0xf8ddb1f1", "share": 0.008478500944 }, { "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": 237, "selector": "0x58a818d4", "share": 0.00844287699 }, { "comparison_key": "0xbb8c4131", "function_names": [ "superVaultAggregator_executeChangePrimaryManager_clamped" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager_clamped()" ], "saved_corpus_calls": 237, "selector": "0xbb8c4131", "share": 0.00844287699 }, { "comparison_key": "0x610b63e4", "function_names": [ "superGovernor_proposeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_proposeAddIncentiveTokens(address[])" ], "saved_corpus_calls": 236, "selector": "0x610b63e4", "share": 0.008407253037 }, { "comparison_key": "0xc6227243", "function_names": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL" ], "function_signatures": [ "doomsday_mintRedeemSymmetrical_ASSERTION_MINT_REDEEM_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 235, "selector": "0xc6227243", "share": 0.008371629083 }, { "comparison_key": "0x1de49bf9", "function_names": [ "superVaultAggregator_executeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_executeChangePrimaryManager(address)" ], "saved_corpus_calls": 232, "selector": "0x1de49bf9", "share": 0.008264757223 }, { "comparison_key": "0x6801b82e", "function_names": [ "switchActor" ], "function_signatures": [ "switchActor(uint256)" ], "saved_corpus_calls": 231, "selector": "0x6801b82e", "share": 0.008229133269 }, { "comparison_key": "0x85d88492", "function_names": [ "superGovernor_proposeFee_clamped" ], "function_signatures": [ "superGovernor_proposeFee_clamped(uint256,uint256)" ], "saved_corpus_calls": 231, "selector": "0x85d88492", "share": 0.008229133269 }, { "comparison_key": "0x2d9fdcd8", "function_names": [ "mockERC7540YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC7540YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 226, "selector": "0x2d9fdcd8", "share": 0.008051013501 }, { "comparison_key": "0x3f614fab", "function_names": [ "superVault_redeem_clamped" ], "function_signatures": [ "superVault_redeem_clamped(uint256)" ], "saved_corpus_calls": 226, "selector": "0x3f614fab", "share": 0.008051013501 }, { "comparison_key": "0xa575357a", "function_names": [ "erc7540_7_deposit" ], "function_signatures": [ "erc7540_7_deposit(address,uint256)" ], "saved_corpus_calls": 226, "selector": "0xa575357a", "share": 0.008051013501 }, { "comparison_key": "0x1c550191", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange(bool)" ], "saved_corpus_calls": 225, "selector": "0x1c550191", "share": 0.008015389548 }, { "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": 224, "selector": "0x1a001033", "share": 0.007979765594 }, { "comparison_key": "0xe63df834", "function_names": [ "superVaultAggregator_changePrimaryManager" ], "function_signatures": [ "superVaultAggregator_changePrimaryManager(address,address)" ], "saved_corpus_calls": 224, "selector": "0xe63df834", "share": 0.007979765594 }, { "comparison_key": "0x166d031e", "function_names": [ "yieldSource_withdraw" ], "function_signatures": [ "yieldSource_withdraw(uint256,address,address)" ], "saved_corpus_calls": 223, "selector": "0x166d031e", "share": 0.007944141641 }, { "comparison_key": "0xc15a22de", "function_names": [ "switch_vault" ], "function_signatures": [ "switch_vault(uint256)" ], "saved_corpus_calls": 223, "selector": "0xc15a22de", "share": 0.007944141641 }, { "comparison_key": "0xf1f2a8fb", "function_names": [ "superVaultStrategy_executeHooks_clamped" ], "function_signatures": [ "superVaultStrategy_executeHooks_clamped(uint256[],uint256[],bool[])" ], "saved_corpus_calls": 223, "selector": "0xf1f2a8fb", "share": 0.007944141641 }, { "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": 221, "selector": "0x4da21e73", "share": 0.007872893734 }, { "comparison_key": "0x0775f957", "function_names": [ "superVaultStrategy_manageYieldSource" ], "function_signatures": [ "superVaultStrategy_manageYieldSource(address,address,uint8)" ], "saved_corpus_calls": 218, "selector": "0x0775f957", "share": 0.007766021873 }, { "comparison_key": "0x6901727f", "function_names": [ "erc7540_7_withdraw" ], "function_signatures": [ "erc7540_7_withdraw(address,uint256)" ], "saved_corpus_calls": 218, "selector": "0x6901727f", "share": 0.007766021873 }, { "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": 217, "selector": "0x7509cbd9", "share": 0.00773039792 }, { "comparison_key": "0x51800fa1", "function_names": [ "superVaultStrategy_updateMaxPPSSlippage" ], "function_signatures": [ "superVaultStrategy_updateMaxPPSSlippage(uint256)" ], "saved_corpus_calls": 216, "selector": "0x51800fa1", "share": 0.007694773966 }, { "comparison_key": "0x84d461f2", "function_names": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE" ], "function_signatures": [ "doomsday_previewDepositEquivalence_ASSERTION_PREVIEW_DEPOSIT_EQUIVALENCE(uint256)" ], "saved_corpus_calls": 215, "selector": "0x84d461f2", "share": 0.007659150012 }, { "comparison_key": "0xa97d49d1", "function_names": [ "yieldSource_cancelRedeemRequest" ], "function_signatures": [ "yieldSource_cancelRedeemRequest(uint256,address)" ], "saved_corpus_calls": 215, "selector": "0xa97d49d1", "share": 0.007659150012 }, { "comparison_key": "0x3509d9c1", "function_names": [ "superGovernor_executeAddIncentiveTokens" ], "function_signatures": [ "superGovernor_executeAddIncentiveTokens()" ], "saved_corpus_calls": 214, "selector": "0x3509d9c1", "share": 0.007623526059 }, { "comparison_key": "0xd15446d6", "function_names": [ "yieldSource_redeem5115" ], "function_signatures": [ "yieldSource_redeem5115(address,uint256,address,uint256,bool)" ], "saved_corpus_calls": 213, "selector": "0xd15446d6", "share": 0.007587902105 }, { "comparison_key": "0x11d72d6f", "function_names": [ "superVaultAggregator_removeAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_removeAuthorizedCaller(address,address)" ], "saved_corpus_calls": 212, "selector": "0x11d72d6f", "share": 0.007552278152 }, { "comparison_key": "0xfe4574ac", "function_names": [ "yieldSource_deposit" ], "function_signatures": [ "yieldSource_deposit(uint256,address)" ], "saved_corpus_calls": 210, "selector": "0xfe4574ac", "share": 0.007481030245 }, { "comparison_key": "0x1c0ee36b", "function_names": [ "superVaultStrategy_executeVaultFeeConfigUpdate" ], "function_signatures": [ "superVaultStrategy_executeVaultFeeConfigUpdate()" ], "saved_corpus_calls": 209, "selector": "0x1c0ee36b", "share": 0.007445406291 }, { "comparison_key": "0x7ee964d5", "function_names": [ "yieldSource_simulateLoss" ], "function_signatures": [ "yieldSource_simulateLoss(uint256)" ], "saved_corpus_calls": 209, "selector": "0x7ee964d5", "share": 0.007445406291 }, { "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": 208, "selector": "0x47780112", "share": 0.007409782338 }, { "comparison_key": "0x99f98474", "function_names": [ "yieldSource_deposit5115" ], "function_signatures": [ "yieldSource_deposit5115(address,address,uint256,uint256,bool)" ], "saved_corpus_calls": 207, "selector": "0x99f98474", "share": 0.007374158384 }, { "comparison_key": "0xd62a2f11", "function_names": [ "setFulfilledDifference" ], "function_signatures": [ "setFulfilledDifference()" ], "saved_corpus_calls": 205, "selector": "0xd62a2f11", "share": 0.007302910477 }, { "comparison_key": "0x9b5b4765", "function_names": [ "yieldSource_switchToERC7540" ], "function_signatures": [ "yieldSource_switchToERC7540()" ], "saved_corpus_calls": 204, "selector": "0x9b5b4765", "share": 0.007267286523 }, { "comparison_key": "0x9f9c2957", "function_names": [ "erc7540_4_deposit" ], "function_signatures": [ "erc7540_4_deposit(address,uint256)" ], "saved_corpus_calls": 203, "selector": "0x9f9c2957", "share": 0.00723166257 }, { "comparison_key": "0xfead5404", "function_names": [ "yieldSourceOracle_setValidAsset_clamped" ], "function_signatures": [ "yieldSourceOracle_setValidAsset_clamped()" ], "saved_corpus_calls": 203, "selector": "0xfead5404", "share": 0.00723166257 }, { "comparison_key": "0x2e323c85", "function_names": [ "yieldSource_setDecimalsOffset" ], "function_signatures": [ "yieldSource_setDecimalsOffset(uint8)" ], "saved_corpus_calls": 202, "selector": "0x2e323c85", "share": 0.007196038616 }, { "comparison_key": "0x4f79f39c", "function_names": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL" ], "function_signatures": [ "doomsday_depositWithdrawSymmetrical_ASSERTION_DEPOSIT_WITHDRAW_SYMMETRICAL(uint256)" ], "saved_corpus_calls": 202, "selector": "0x4f79f39c", "share": 0.007196038616 }, { "comparison_key": "0xe53dc6d6", "function_names": [ "erc7540_7_redeem" ], "function_signatures": [ "erc7540_7_redeem(address,uint256)" ], "saved_corpus_calls": 202, "selector": "0xe53dc6d6", "share": 0.007196038616 }, { "comparison_key": "0x0d568161", "function_names": [ "superGovernor_proposeFee" ], "function_signatures": [ "superGovernor_proposeFee(uint8,uint256)" ], "saved_corpus_calls": 201, "selector": "0x0d568161", "share": 0.007160414663 }, { "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": 200, "selector": "0x4a9f284f", "share": 0.007124790709 }, { "comparison_key": "0x653d736a", "function_names": [ "superVaultAggregator_withdrawUpkeep" ], "function_signatures": [ "superVaultAggregator_withdrawUpkeep(uint256)" ], "saved_corpus_calls": 199, "selector": "0x653d736a", "share": 0.007089166756 }, { "comparison_key": "0xe121d831", "function_names": [ "yieldSource_setRevertBehavior5115" ], "function_signatures": [ "yieldSource_setRevertBehavior5115(uint8)" ], "saved_corpus_calls": 199, "selector": "0xe121d831", "share": 0.007089166756 }, { "comparison_key": "0x5d83e580", "function_names": [ "yieldSource_simulateGain" ], "function_signatures": [ "yieldSource_simulateGain(uint256)" ], "saved_corpus_calls": 198, "selector": "0x5d83e580", "share": 0.007053542802 }, { "comparison_key": "0x83778d4b", "function_names": [ "erc7540_5" ], "function_signatures": [ "erc7540_5(address,address,uint256)" ], "saved_corpus_calls": 198, "selector": "0x83778d4b", "share": 0.007053542802 }, { "comparison_key": "0xab2c6ce7", "function_names": [ "yieldSource_setRevertBehavior4626" ], "function_signatures": [ "yieldSource_setRevertBehavior4626(uint8,uint8)" ], "saved_corpus_calls": 197, "selector": "0xab2c6ce7", "share": 0.007017918849 }, { "comparison_key": "0xd30f03fa", "function_names": [ "superVaultEscrow_returnShares" ], "function_signatures": [ "superVaultEscrow_returnShares(address,uint256)" ], "saved_corpus_calls": 196, "selector": "0xd30f03fa", "share": 0.006982294895 }, { "comparison_key": "0x0de1fd4c", "function_names": [ "superGovernor_executeUpkeepClaim" ], "function_signatures": [ "superGovernor_executeUpkeepClaim(uint256)" ], "saved_corpus_calls": 194, "selector": "0x0de1fd4c", "share": 0.006911046988 }, { "comparison_key": "0xb6fefb31", "function_names": [ "erc7540_4_withdraw" ], "function_signatures": [ "erc7540_4_withdraw(address,uint256)" ], "saved_corpus_calls": 194, "selector": "0xb6fefb31", "share": 0.006911046988 }, { "comparison_key": "0x0012bfca", "function_names": [ "superVaultStrategy_handleOperations4626Mint" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Mint(address,uint256,uint256,uint256)" ], "saved_corpus_calls": 193, "selector": "0x0012bfca", "share": 0.006875423034 }, { "comparison_key": "0xfa912362", "function_names": [ "superVaultStrategy_manageYieldSource_clamped" ], "function_signatures": [ "superVaultStrategy_manageYieldSource_clamped(uint256)" ], "saved_corpus_calls": 193, "selector": "0xfa912362", "share": 0.006875423034 }, { "comparison_key": "0x923b5116", "function_names": [ "ECDSAPPSOracle_updatePPS_clamped" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS_clamped(uint256)" ], "saved_corpus_calls": 190, "selector": "0x923b5116", "share": 0.006768551174 }, { "comparison_key": "0x9da6e005", "function_names": [ "superGovernor_proposeUpkeepPaymentsChange_clamped" ], "function_signatures": [ "superGovernor_proposeUpkeepPaymentsChange_clamped()" ], "saved_corpus_calls": 190, "selector": "0x9da6e005", "share": 0.006768551174 }, { "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": 189, "selector": "0xbed76c2c", "share": 0.00673292722 }, { "comparison_key": "0x30ee3a01", "function_names": [ "superGovernor_executeFeeUpdate" ], "function_signatures": [ "superGovernor_executeFeeUpdate(uint8)" ], "saved_corpus_calls": 188, "selector": "0x30ee3a01", "share": 0.006697303267 }, { "comparison_key": "0x31f725a0", "function_names": [ "ECDSAPPSOracle_updatePPS" ], "function_signatures": [ "ECDSAPPSOracle_updatePPS((address[],bytes[][],uint256[],uint256[],uint256[],uint256[],uint256[]))" ], "saved_corpus_calls": 188, "selector": "0x31f725a0", "share": 0.006697303267 }, { "comparison_key": "0xa08e3d64", "function_names": [ "superVaultAggregator_depositUpkeep" ], "function_signatures": [ "superVaultAggregator_depositUpkeep(uint256)" ], "saved_corpus_calls": 188, "selector": "0xa08e3d64", "share": 0.006697303267 }, { "comparison_key": "0x33622846", "function_names": [ "superVaultEscrow_initialize" ], "function_signatures": [ "superVaultEscrow_initialize(address,address)" ], "saved_corpus_calls": 187, "selector": "0x33622846", "share": 0.006661679313 }, { "comparison_key": "0xc8f637e2", "function_names": [ "yieldSource_switchToERC5115" ], "function_signatures": [ "yieldSource_switchToERC5115()" ], "saved_corpus_calls": 187, "selector": "0xc8f637e2", "share": 0.006661679313 }, { "comparison_key": "0xd20d873c", "function_names": [ "yieldSource_claimCancelDepositRequest" ], "function_signatures": [ "yieldSource_claimCancelDepositRequest(uint256,address,address)" ], "saved_corpus_calls": 186, "selector": "0xd20d873c", "share": 0.00662605536 }, { "comparison_key": "0xf7f335e9", "function_names": [ "yieldSource_approve" ], "function_signatures": [ "yieldSource_approve(address,uint256)" ], "saved_corpus_calls": 186, "selector": "0xf7f335e9", "share": 0.00662605536 }, { "comparison_key": "0xfb48798d", "function_names": [ "yieldSource_mint" ], "function_signatures": [ "yieldSource_mint(uint256,address)" ], "saved_corpus_calls": 186, "selector": "0xfb48798d", "share": 0.00662605536 }, { "comparison_key": "0x5e79ec62", "function_names": [ "superVaultAggregator_createVault_clamped" ], "function_signatures": [ "superVaultAggregator_createVault_clamped(uint256,uint256,uint256,uint256)" ], "saved_corpus_calls": 185, "selector": "0x5e79ec62", "share": 0.006590431406 }, { "comparison_key": "0x6f1b5a20", "function_names": [ "superVault_withdraw_clamped" ], "function_signatures": [ "superVault_withdraw_clamped(uint256)" ], "saved_corpus_calls": 185, "selector": "0x6f1b5a20", "share": 0.006590431406 }, { "comparison_key": "0xe94aa8d4", "function_names": [ "erc7540_2" ], "function_signatures": [ "erc7540_2(address)" ], "saved_corpus_calls": 185, "selector": "0xe94aa8d4", "share": 0.006590431406 }, { "comparison_key": "0x3a32dc68", "function_names": [ "add_new_vault" ], "function_signatures": [ "add_new_vault()" ], "saved_corpus_calls": 184, "selector": "0x3a32dc68", "share": 0.006554807453 }, { "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": 184, "selector": "0x49ad59f9", "share": 0.006554807453 }, { "comparison_key": "0x652e3935", "function_names": [ "asset_mint" ], "function_signatures": [ "asset_mint(address,uint128)" ], "saved_corpus_calls": 183, "selector": "0x652e3935", "share": 0.006519183499 }, { "comparison_key": "0x3f4d3a0c", "function_names": [ "superVault_invalidateNonce" ], "function_signatures": [ "superVault_invalidateNonce(bytes32)" ], "saved_corpus_calls": 181, "selector": "0x3f4d3a0c", "share": 0.006447935592 }, { "comparison_key": "0x72176d00", "function_names": [ "superVault_withdraw" ], "function_signatures": [ "superVault_withdraw(uint256)" ], "saved_corpus_calls": 181, "selector": "0x72176d00", "share": 0.006447935592 }, { "comparison_key": "0xcc39bf79", "function_names": [ "superVaultAggregator_proposeChangePrimaryManager" ], "function_signatures": [ "superVaultAggregator_proposeChangePrimaryManager(address,address)" ], "saved_corpus_calls": 181, "selector": "0xcc39bf79", "share": 0.006447935592 }, { "comparison_key": "0xb20b5751", "function_names": [ "superVaultAggregator_createVault" ], "function_signatures": [ "superVaultAggregator_createVault((address,string,string,address,address[],uint256,uint256,(uint256,uint256,address)))" ], "saved_corpus_calls": 180, "selector": "0xb20b5751", "share": 0.006412311638 }, { "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": 179, "selector": "0x153c0881", "share": 0.006376687685 }, { "comparison_key": "0x53b95ac1", "function_names": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE" ], "function_signatures": [ "doomsday_primaryManagerAlwaysChangeable_ASSERTION_PRIMARY_MANAGER_ALWAYS_CHANGEABLE()" ], "saved_corpus_calls": 179, "selector": "0x53b95ac1", "share": 0.006376687685 }, { "comparison_key": "0x945a7f7a", "function_names": [ "superGovernor_proposeMinStaleness" ], "function_signatures": [ "superGovernor_proposeMinStaleness(uint256)" ], "saved_corpus_calls": 179, "selector": "0x945a7f7a", "share": 0.006376687685 }, { "comparison_key": "0x53494d09", "function_names": [ "yieldSource_transferFrom" ], "function_signatures": [ "yieldSource_transferFrom(address,address,uint256)" ], "saved_corpus_calls": 177, "selector": "0x53494d09", "share": 0.006305439778 }, { "comparison_key": "0x724ce6ea", "function_names": [ "yieldSource_cancelDepositRequest" ], "function_signatures": [ "yieldSource_cancelDepositRequest(uint256,address)" ], "saved_corpus_calls": 177, "selector": "0x724ce6ea", "share": 0.006305439778 }, { "comparison_key": "0xbd3e56b3", "function_names": [ "superVaultStrategy_manageEmergencyWithdraw" ], "function_signatures": [ "superVaultStrategy_manageEmergencyWithdraw(uint8,address,uint256)" ], "saved_corpus_calls": 176, "selector": "0xbd3e56b3", "share": 0.006269815824 }, { "comparison_key": "0x37f0d09d", "function_names": [ "superVaultAggregator_removeSecondaryManager" ], "function_signatures": [ "superVaultAggregator_removeSecondaryManager(address,address)" ], "saved_corpus_calls": 175, "selector": "0x37f0d09d", "share": 0.006234191871 }, { "comparison_key": "0xba82804f", "function_names": [ "superGovernor_executeUpkeepPaymentsChange" ], "function_signatures": [ "superGovernor_executeUpkeepPaymentsChange()" ], "saved_corpus_calls": 175, "selector": "0xba82804f", "share": 0.006234191871 }, { "comparison_key": "0x6ab2ab12", "function_names": [ "superVaultEscrow_escrowShares" ], "function_signatures": [ "superVaultEscrow_escrowShares(address,uint256)" ], "saved_corpus_calls": 174, "selector": "0x6ab2ab12", "share": 0.006198567917 }, { "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": 174, "selector": "0x6e2c0de8", "share": 0.006198567917 }, { "comparison_key": "0x7fbba149", "function_names": [ "add_new_asset" ], "function_signatures": [ "add_new_asset(uint8)" ], "saved_corpus_calls": 174, "selector": "0x7fbba149", "share": 0.006198567917 }, { "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": 174, "selector": "0xadb365f3", "share": 0.006198567917 }, { "comparison_key": "0xbc0a3bd7", "function_names": [ "mockERC5115YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC5115YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 174, "selector": "0xbc0a3bd7", "share": 0.006198567917 }, { "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": 172, "selector": "0xa6b7e9a7", "share": 0.00612732001 }, { "comparison_key": "0xf701f996", "function_names": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY" ], "function_signatures": [ "superVault_cancelRedeem_ASSERTION_CANCEL_REDEEM_NO_OVERPAY()" ], "saved_corpus_calls": 172, "selector": "0xf701f996", "share": 0.00612732001 }, { "comparison_key": "0xed652da1", "function_names": [ "superVaultAggregator_slashStake" ], "function_signatures": [ "superVaultAggregator_slashStake(address,uint256)" ], "saved_corpus_calls": 171, "selector": "0xed652da1", "share": 0.006091696056 }, { "comparison_key": "0x16e7198f", "function_names": [ "superGovernor_executeFeeUpdate_clamped" ], "function_signatures": [ "superGovernor_executeFeeUpdate_clamped(uint256)" ], "saved_corpus_calls": 170, "selector": "0x16e7198f", "share": 0.006056072103 }, { "comparison_key": "0x4e9ce11d", "function_names": [ "mockERC4626YieldSourceOracle_setValidAsset" ], "function_signatures": [ "mockERC4626YieldSourceOracle_setValidAsset(address,bool)" ], "saved_corpus_calls": 169, "selector": "0x4e9ce11d", "share": 0.006020448149 }, { "comparison_key": "0x5485b3cb", "function_names": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED" ], "function_signatures": [ "superVault_transfer_ASSERTION_TRANSFER_SHARES_CONSERVED(uint256,uint256)" ], "saved_corpus_calls": 168, "selector": "0x5485b3cb", "share": 0.005984824196 }, { "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": 168, "selector": "0x85c3770a", "share": 0.005984824196 }, { "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": 167, "selector": "0x7c492380", "share": 0.005949200242 }, { "comparison_key": "0x8b7a0b44", "function_names": [ "erc7540_1" ], "function_signatures": [ "erc7540_1(address)" ], "saved_corpus_calls": 166, "selector": "0x8b7a0b44", "share": 0.005913576289 }, { "comparison_key": "0xf9e20e1b", "function_names": [ "superVaultStrategy_handleOperations4626Deposit" ], "function_signatures": [ "superVaultStrategy_handleOperations4626Deposit(address,uint256)" ], "saved_corpus_calls": 166, "selector": "0xf9e20e1b", "share": 0.005913576289 }, { "comparison_key": "0x47801ba1", "function_names": [ "yieldSource_requestDeposit" ], "function_signatures": [ "yieldSource_requestDeposit(uint256,address,address)" ], "saved_corpus_calls": 165, "selector": "0x47801ba1", "share": 0.005877952335 }, { "comparison_key": "0x7ed1278a", "function_names": [ "erc7540_4_mint" ], "function_signatures": [ "erc7540_4_mint(address,uint256)" ], "saved_corpus_calls": 165, "selector": "0x7ed1278a", "share": 0.005877952335 }, { "comparison_key": "0xb8ded484", "function_names": [ "superVault_approve" ], "function_signatures": [ "superVault_approve(address,uint256)" ], "saved_corpus_calls": 165, "selector": "0xb8ded484", "share": 0.005877952335 }, { "comparison_key": "0xdeaf00fe", "function_names": [ "superGovernor_executeRemoveIncentiveTokens" ], "function_signatures": [ "superGovernor_executeRemoveIncentiveTokens()" ], "saved_corpus_calls": 165, "selector": "0xdeaf00fe", "share": 0.005877952335 }, { "comparison_key": "0xf24a44c9", "function_names": [ "assert_canary_ASSERTION_CANARY" ], "function_signatures": [ "assert_canary_ASSERTION_CANARY(uint256)" ], "saved_corpus_calls": 165, "selector": "0xf24a44c9", "share": 0.005877952335 }, { "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": 164, "selector": "0x0a4821cf", "share": 0.005842328382 }, { "comparison_key": "0x55ba98ff", "function_names": [ "switch_asset" ], "function_signatures": [ "switch_asset(uint256)" ], "saved_corpus_calls": 164, "selector": "0x55ba98ff", "share": 0.005842328382 }, { "comparison_key": "0x58deadba", "function_names": [ "superVaultAggregator_addSecondaryManager" ], "function_signatures": [ "superVaultAggregator_addSecondaryManager(address,address)" ], "saved_corpus_calls": 164, "selector": "0x58deadba", "share": 0.005842328382 }, { "comparison_key": "0x7fd74a62", "function_names": [ "superVaultStrategy_manageYieldSources" ], "function_signatures": [ "superVaultStrategy_manageYieldSources(address[],address[],uint8[])" ], "saved_corpus_calls": 164, "selector": "0x7fd74a62", "share": 0.005842328382 }, { "comparison_key": "0xb7208c9f", "function_names": [ "erc7540_7_mint" ], "function_signatures": [ "erc7540_7_mint(address,uint256)" ], "saved_corpus_calls": 163, "selector": "0xb7208c9f", "share": 0.005806704428 }, { "comparison_key": "0xde29b51f", "function_names": [ "superGovernor_proposeGlobalHooksRoot_clamped" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot_clamped(bytes32)" ], "saved_corpus_calls": 162, "selector": "0xde29b51f", "share": 0.005771080475 }, { "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": 161, "selector": "0x16932562", "share": 0.005735456521 }, { "comparison_key": "0x62932228", "function_names": [ "superVaultStrategy_moveAccumulatorOnTransfer" ], "function_signatures": [ "superVaultStrategy_moveAccumulatorOnTransfer(address,address,uint256)" ], "saved_corpus_calls": 161, "selector": "0x62932228", "share": 0.005735456521 }, { "comparison_key": "0x961cc2a1", "function_names": [ "yieldSource_transfer" ], "function_signatures": [ "yieldSource_transfer(address,uint256)" ], "saved_corpus_calls": 161, "selector": "0x961cc2a1", "share": 0.005735456521 }, { "comparison_key": "0xf9534397", "function_names": [ "superVault_burnShares" ], "function_signatures": [ "superVault_burnShares(uint256)" ], "saved_corpus_calls": 161, "selector": "0xf9534397", "share": 0.005735456521 }, { "comparison_key": "0x135a35ac", "function_names": [ "yieldSource_claimCancelRedeemRequest" ], "function_signatures": [ "yieldSource_claimCancelRedeemRequest(uint256,address,address)" ], "saved_corpus_calls": 160, "selector": "0x135a35ac", "share": 0.005699832567 }, { "comparison_key": "0x5efcce37", "function_names": [ "yieldSource_deposit7540" ], "function_signatures": [ "yieldSource_deposit7540(uint256,address,address)" ], "saved_corpus_calls": 159, "selector": "0x5efcce37", "share": 0.005664208614 }, { "comparison_key": "0x94ad47e5", "function_names": [ "yieldSource_switchToERC4626" ], "function_signatures": [ "yieldSource_switchToERC4626()" ], "saved_corpus_calls": 159, "selector": "0x94ad47e5", "share": 0.005664208614 }, { "comparison_key": "0x9cb2de70", "function_names": [ "superVaultStrategy_executeHooks" ], "function_signatures": [ "superVaultStrategy_executeHooks((address[],bytes[],uint256[],bytes32[][],bytes32[][]))" ], "saved_corpus_calls": 159, "selector": "0x9cb2de70", "share": 0.005664208614 }, { "comparison_key": "0xc0532bec", "function_names": [ "superVaultAggregator_withdrawStake" ], "function_signatures": [ "superVaultAggregator_withdrawStake(uint256)" ], "saved_corpus_calls": 155, "selector": "0xc0532bec", "share": 0.0055217128 }, { "comparison_key": "0x12af56c5", "function_names": [ "superVaultStrategy_fulfillRedeemRequests_clamped" ], "function_signatures": [ "superVaultStrategy_fulfillRedeemRequests_clamped(uint256)" ], "saved_corpus_calls": 154, "selector": "0x12af56c5", "share": 0.005486088846 }, { "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": 154, "selector": "0xdddfc6cc", "share": 0.005486088846 }, { "comparison_key": "0x64dfafca", "function_names": [ "superVaultAggregator_addAuthorizedCaller" ], "function_signatures": [ "superVaultAggregator_addAuthorizedCaller(address,address)" ], "saved_corpus_calls": 153, "selector": "0x64dfafca", "share": 0.005450464893 }, { "comparison_key": "0xebc46a2a", "function_names": [ "setPreviewSharesGreater" ], "function_signatures": [ "setPreviewSharesGreater(uint256)" ], "saved_corpus_calls": 151, "selector": "0xebc46a2a", "share": 0.005379216986 }, { "comparison_key": "0x5b4065cc", "function_names": [ "erc7540_3" ], "function_signatures": [ "erc7540_3(address)" ], "saved_corpus_calls": 150, "selector": "0x5b4065cc", "share": 0.005343593032 }, { "comparison_key": "0xff06850b", "function_names": [ "superGovernor_proposeGlobalHooksRoot" ], "function_signatures": [ "superGovernor_proposeGlobalHooksRoot(bytes32)" ], "saved_corpus_calls": 150, "selector": "0xff06850b", "share": 0.005343593032 }, { "comparison_key": "0x6d8b86e5", "function_names": [ "_fulfillRedeemRequestsArgs" ], "function_signatures": [ "_fulfillRedeemRequestsArgs(uint256)" ], "saved_corpus_calls": 145, "selector": "0x6d8b86e5", "share": 0.005165473264 }, { "comparison_key": "0x9d5c96d1", "function_names": [ "superVaultStrategy_handleOperations7540" ], "function_signatures": [ "superVaultStrategy_handleOperations7540(uint8,address,address,uint256)" ], "saved_corpus_calls": 144, "selector": "0x9d5c96d1", "share": 0.005129849311 }, { "comparison_key": "0x7674c28d", "function_names": [ "yieldSource_redeem" ], "function_signatures": [ "yieldSource_redeem(uint256,address,address)" ], "saved_corpus_calls": 141, "selector": "0x7674c28d", "share": 0.00502297745 }, { "comparison_key": "0x993eb322", "function_names": [ "yieldSource_setOperator" ], "function_signatures": [ "yieldSource_setOperator(address,bool)" ], "saved_corpus_calls": 139, "selector": "0x993eb322", "share": 0.004951729543 }, { "comparison_key": "0x4a06cb2a", "function_names": [ "superVault_requestRedeem_clamped" ], "function_signatures": [ "superVault_requestRedeem_clamped(uint256)" ], "saved_corpus_calls": 136, "selector": "0x4a06cb2a", "share": 0.004844857682 }, { "comparison_key": "0x2fa9dadc", "function_names": [ "asset_approve" ], "function_signatures": [ "asset_approve(address,uint128)" ], "saved_corpus_calls": 132, "selector": "0x2fa9dadc", "share": 0.004702361868 }, { "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": 131, "selector": "0x05c4dfe6", "share": 0.004666737915 }, { "comparison_key": "0x8491e3d2", "function_names": [ "setpreviewAssetsGreater" ], "function_signatures": [ "setpreviewAssetsGreater(uint256)" ], "saved_corpus_calls": 131, "selector": "0x8491e3d2", "share": 0.004666737915 }, { "comparison_key": "0xecac6242", "function_names": [ "superVaultStrategy_handleOperations7540_clamped" ], "function_signatures": [ "superVaultStrategy_handleOperations7540_clamped(uint256,uint256)" ], "saved_corpus_calls": 128, "selector": "0xecac6242", "share": 0.004559866054 }, { "comparison_key": "0x9b62d72e", "function_names": [ "superVaultAggregator_claimUpkeep" ], "function_signatures": [ "superVaultAggregator_claimUpkeep(uint256)" ], "saved_corpus_calls": 124, "selector": "0x9b62d72e", "share": 0.00441737024 }, { "comparison_key": "0x3575139f", "function_names": [ "CLAIM_CANCEL_DEPOSIT_REQUEST" ], "function_signatures": [ "CLAIM_CANCEL_DEPOSIT_REQUEST()" ], "saved_corpus_calls": 5, "selector": "0x3575139f", "share": 0.000178119768 }, { "comparison_key": "0x78e54f37", "function_names": [ "CANCEL_REDEEM_REQUEST" ], "function_signatures": [ "CANCEL_REDEEM_REQUEST()" ], "saved_corpus_calls": 5, "selector": "0x78e54f37", "share": 0.000178119768 }, { "comparison_key": "0x616fdce4", "function_names": [ "MAX_ROUNDING_ERROR" ], "function_signatures": [ "MAX_ROUNDING_ERROR()" ], "saved_corpus_calls": 4, "selector": "0x616fdce4", "share": 0.000142495814 }, { "comparison_key": "0x1b75d706", "function_names": [ "_getRandomActor" ], "function_signatures": [ "_getRandomActor(uint256)" ], "saved_corpus_calls": 3, "selector": "0x1b75d706", "share": 0.000106871861 }, { "comparison_key": "0xf1b4fbab", "function_names": [ "LOAN" ], "function_signatures": [ "LOAN()" ], "saved_corpus_calls": 3, "selector": "0xf1b4fbab", "share": 0.000106871861 }, { "comparison_key": "0x57955948", "function_names": [ "ETHENA" ], "function_signatures": [ "ETHENA()" ], "saved_corpus_calls": 2, "selector": "0x57955948", "share": 7.1247907e-05 }, { "comparison_key": "0x6ef5ee7e", "function_names": [ "PTYT" ], "function_signatures": [ "PTYT()" ], "saved_corpus_calls": 2, "selector": "0x6ef5ee7e", "share": 7.1247907e-05 }, { "comparison_key": "0xd03e9532", "function_names": [ "ERC7540" ], "function_signatures": [ "ERC7540()" ], "saved_corpus_calls": 2, "selector": "0xd03e9532", "share": 7.1247907e-05 }, { "comparison_key": "0xee629b29", "function_names": [ "CANCEL_DEPOSIT_REQUEST" ], "function_signatures": [ "CANCEL_DEPOSIT_REQUEST()" ], "saved_corpus_calls": 2, "selector": "0xee629b29", "share": 7.1247907e-05 }, { "comparison_key": "0xee9a31a2", "function_names": [ "BRIDGE" ], "function_signatures": [ "BRIDGE()" ], "saved_corpus_calls": 2, "selector": "0xee9a31a2", "share": 7.1247907e-05 }, { "comparison_key": "0x04d84108", "function_names": [ "SWAP" ], "function_signatures": [ "SWAP()" ], "saved_corpus_calls": 1, "selector": "0x04d84108", "share": 3.5623954e-05 }, { "comparison_key": "0x125fdbbc", "function_names": [ "STAKE" ], "function_signatures": [ "STAKE()" ], "saved_corpus_calls": 1, "selector": "0x125fdbbc", "share": 3.5623954e-05 }, { "comparison_key": "0x39e0739e", "function_names": [ "VAULT_BANK" ], "function_signatures": [ "VAULT_BANK()" ], "saved_corpus_calls": 1, "selector": "0x39e0739e", "share": 3.5623954e-05 }, { "comparison_key": "0x3a3c542b", "function_names": [ "MISC" ], "function_signatures": [ "MISC()" ], "saved_corpus_calls": 1, "selector": "0x3a3c542b", "share": 3.5623954e-05 }, { "comparison_key": "0x454804ef", "function_names": [ "CANCEL_REDEEM" ], "function_signatures": [ "CANCEL_REDEEM()" ], "saved_corpus_calls": 1, "selector": "0x454804ef", "share": 3.5623954e-05 }, { "comparison_key": "0x64d59d46", "function_names": [ "_sumStrategyAssets" ], "function_signatures": [ "_sumStrategyAssets()" ], "saved_corpus_calls": 1, "selector": "0x64d59d46", "share": 3.5623954e-05 }, { "comparison_key": "0x67bb3f0f", "function_names": [ "LOAN_REPAY" ], "function_signatures": [ "LOAN_REPAY()" ], "saved_corpus_calls": 1, "selector": "0x67bb3f0f", "share": 3.5623954e-05 }, { "comparison_key": "0x73d74876", "function_names": [ "CLAIM" ], "function_signatures": [ "CLAIM()" ], "saved_corpus_calls": 1, "selector": "0x73d74876", "share": 3.5623954e-05 }, { "comparison_key": "0x82bfefc8", "function_names": [ "TOKEN" ], "function_signatures": [ "TOKEN()" ], "saved_corpus_calls": 1, "selector": "0x82bfefc8", "share": 3.5623954e-05 }, { "comparison_key": "0x958ab595", "function_names": [ "CANCEL_DEPOSIT" ], "function_signatures": [ "CANCEL_DEPOSIT()" ], "saved_corpus_calls": 1, "selector": "0x958ab595", "share": 3.5623954e-05 }, { "comparison_key": "0xa2724a4d", "function_names": [ "COOLDOWN" ], "function_signatures": [ "COOLDOWN()" ], "saved_corpus_calls": 1, "selector": "0xa2724a4d", "share": 3.5623954e-05 }, { "comparison_key": "0xb8651e1c", "function_names": [ "ERC5115" ], "function_signatures": [ "ERC5115()" ], "saved_corpus_calls": 1, "selector": "0xb8651e1c", "share": 3.5623954e-05 }, { "comparison_key": "0xdc8df387", "function_names": [ "UNSTAKE" ], "function_signatures": [ "UNSTAKE()" ], "saved_corpus_calls": 1, "selector": "0xdc8df387", "share": 3.5623954e-05 }, { "comparison_key": "0xe1f8f303", "function_names": [ "ERC4626" ], "function_signatures": [ "ERC4626()" ], "saved_corpus_calls": 1, "selector": "0xe1f8f303", "share": 3.5623954e-05 }, { "comparison_key": "0xf7ca0316", "function_names": [ "CLAIM_CANCEL_REDEEM_REQUEST" ], "function_signatures": [ "CLAIM_CANCEL_REDEEM_REQUEST()" ], "saved_corpus_calls": 1, "selector": "0xf7ca0316", "share": 3.5623954e-05 } ], "fuzzer": "medusa", "instances": 1, "malformed_instances": 0, "observed_zero_instances": 0, "saved_corpus_calls": 28071, "status": "available", "unavailable_instances": 0, "unique_call_identities": 171, "unique_selectors": 171 } ], "health_findings": [], "health_warnings": [], "instances": [ { "artifact_files": 483, "duplicate_sequences": 0, "engine": "echidna", "fuzzer": "echidna", "fuzzer_label": "echidna-v2.3.3", "ignored_calls": 0, "instance_id": "i-05b4483b0e38ac1c1", "instance_label": "i-05b4483b0e38ac1c1-echidna-v2.3.3", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 483, "processed_artifact_bytes": 104679022, "saved_corpus_calls": 47539, "status": "available", "unique_call_identities": 180, "unique_selectors": 180, "warnings": [] }, { "artifact_files": 678, "duplicate_sequences": 0, "engine": "medusa", "fuzzer": "medusa", "fuzzer_label": "medusa-v1.5.1", "ignored_calls": 0, "instance_id": "i-090372fcadf71920d", "instance_label": "i-090372fcadf71920d-medusa-v1.5.1", "limit_violations": 0, "malformed_artifacts": 0, "missing_expected_selectors": [], "parsed_sequences": 678, "processed_artifact_bytes": 409152347, "saved_corpus_calls": 28071, "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-0b2710753389f77a0", "instance_label": "i-0b2710753389f77a0-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": [] } ], "limitations": [ "i-0b2710753389f77a0-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-30312984036-1", "schema_version": 1 }