chore: address rebase issues

test: increase burnable shares

chore: add tests

feat: simplify escrow delay

chore: format

chore: clarify natspec

chore: fix typos

feat: add convenience view functions (#1407)

chore: remove commented code

chore: format

chore: format

chore: add regression

chore: naming

chore: naming

fix: build

fix: slaky test

chore: format

chore: push

chore: push

test: passing redistribution upgrade test

Author: ypatil12

script/configs/mainnet/mainnet-addresses.config.json

@@ -1,31 +1,35 @@
 {
-    "lastUpdated": "v0.4.3-mainnet-foundation-incentives",
+    "lastUpdated": "v1.4.1-mainnet-prooftra",
     "addresses": {
+        "allocationManager": "0x948a420b8CC1d6BFd0B6087C2E7c344a2CD0bc39",
+        "allocationManagerImplementation": "0x740058839A1668Af5700e5d7B062007275e77D25",
         "avsDirectory": "0x135dda560e946695d6f155dacafc6f1f25c1f5af",
-        "avsDirectoryImplementation": "0xdabdb3cd346b7d5f5779b0b614ede1cc9dcba5b7",
+        "avsDirectoryImplementation": "0xA396D855D70e1A1ec1A0199ADB9845096683B6A2",
         "beaconOracle": "0x343907185b71aDF0eBa9567538314396aa985442",
         "baseStrategyImplementation": "0xdfdA04f980bE6A64E3607c95Ca26012Ab9aA46d3",
         "delayedWithdrawalRouter": "0x7Fe7E9CC0F274d2435AD5d56D5fa73E47F6A23D8",
         "delayedWithdrawalRouterImplementation": "0x4bb6731b02314d40abbffbc4540f508874014226",
         "delegationManager": "0x39053D51B77DC0d36036Fc1fCc8Cb819df8Ef37A",
-        "delegationManagerImplementation": "0x1784be6401339fc0fedf7e9379409f5c1bfe9dda",
+        "delegationManagerImplementation": "0xA75112d1df37FA53a431525CD47A7d7faCEA7E73",
         "eigenLayerPauserReg": "0x0c431C66F4dE941d089625E5B423D00707977060",
         "eigenLayerProxyAdmin": "0x8b9566AdA63B64d1E1dcF1418b43fd1433b72444",
         "eigenPodBeacon": "0x5a2a4F2F3C18f09179B6703e63D9eDD165909073",
-        "eigenPodImplementation": "0x6D225e974Fa404D25Ffb84eD6E242Ffa18eF6430",
+        "eigenPodImplementation": "0xe2E2dB234b0FFB9AFe41e52dB7d3c2B8585646c3",
         "eigenPodManager": "0x91E677b07F7AF907ec9a428aafA9fc14a0d3A338",
-        "eigenPodManagerImplementation": "0x731A0aD160e407393Ff662231Add6Dd145AD3FEa",
+        "eigenPodManagerImplementation": "0x8dB49233e3b7691D68745A31e4A0Cd9Cf924B7E9",
         "emptyContract": "0x1f96861fEFa1065a5A96F20Deb6D8DC3ff48F7f9",
+        "permissionController": "0x25E5F8B1E7aDf44518d35D5B2271f114e081f0E5",
+        "permissionControllerImplementation": "0xe7f3705c9Addf2DE14e03C345fA982CAb2c1C6B1",
         "rewardsCoordinator": "0x7750d328b314EfFa365A0402CcfD489B80B0adda",
-        "rewardsCoordinatorImplementation": "0xb6738A8E7793D44c5895B6A6F2a62F6bF86Ba8d2",
+        "rewardsCoordinatorImplementation": "0xa505c0116aD65071F0130061F94745b7853220aB",
         "slasher": "0xD92145c07f8Ed1D392c1B88017934E301CC1c3Cd",
         "slasherImplementation": "0xf3234220163a757edf1e11a8a085638d9b236614",
         "strategyManager": "0x858646372CC42E1A627fcE94aa7A7033e7CF075A",
-        "strategyManagerImplementation": "0x70f44c13944d49a236e3cd7a94f48f5dab6c619b",
+        "strategyManagerImplementation": "0xba4b2b8A076851A3044882493C2e36503d50b925",
         "strategyFactory": "0x5e4C39Ad7A3E881585e383dB9827EB4811f6F647",
-        "strategyFactoryImplementation": "0x3e07cc2D34C8E0965f5BA45Ac1E960e535155c74",
+        "strategyFactoryImplementation": "0x1b97d8F963179C0e17E5F3d85cdfd9a31A49bc66",
         "strategyFactoryBeacon": "0x0ed6703C298d28aE0878d1b28e88cA87F9662fE9",
-        "strategyFactoryBeaconImplementation": "0xe9FA8F904d97854C7389b68923262ADCC6C27827",
+        "strategyFactoryBeaconImplementation": "0x0EC17ef9c00F360DB28CA8008684a4796b11E456",
         "numStrategiesDeployed": 12,
         "strategies": {
             "stETH": "0x93c4b944D05dfe6df7645A86cd2206016c51564D",
@@ -62,20 +66,20 @@
             "EIGENImpl": "0x17f56E911C279bad67eDC08acbC9cf3DC4eF26A0",
             "bEIGENImpl": "0xF2b225815F70c9b327DC9db758A36c92A4279b17",
             "eigenStrategy": "0xaCB55C530Acdb2849e6d4f36992Cd8c9D50ED8F7",
-            "eigenStrategyImpl": "0x27e7a3a81741b9fcc5ad7edcbf9f8a72a5c00428"
+            "eigenStrategyImpl": "0x90B074DDD680bD06C72e28b09231A0F848205729"
         }
     },
     "numStrategies": 12,
     "chainInfo": {
         "chainId": 1,
-        "deploymentBlock": 20571838
+        "deploymentBlock": 22434239
     },
     "parameters": {
         "communityMultisig": "0xFEA47018D632A77bA579846c840d5706705Dc598",
         "executorMultisig": "0x369e6F597e22EaB55fFb173C6d9cD234BD699111",
         "operationsMultisig": "0xBE1685C81aA44FF9FB319dD389addd9374383e90",
         "pauserMultisig": "0x5050389572f2d220ad927CcbeA0D406831012390",
         "timelock": "0xA6Db1A8C5a981d1536266D2a393c5F8dDb210EAF",
-        "semver": "v0.5.4"
+        "semver": "v1.4.1"
     }
 }

script/utils/ExistingDeploymentParser.sol

@@ -229,25 +229,9 @@ contract ExistingDeploymentParser is Script, Logger {
             )
         );
 
-        allocationManagerImplementation = new AllocationManager(
-            delegationManager,
-            eigenLayerPauserReg,
-            permissionController,
-            DEALLOCATION_DELAY,
-            ALLOCATION_CONFIGURATION_DELAY,
-            SEMVER
-        );
-        allocationManager = AllocationManager(
-            address(
-                new TransparentUpgradeableProxy(
-                    address(allocationManagerImplementation), address(eigenLayerProxyAdmin), ""
-                )
-            )
-        );
-
-        // // AllocationManager
-        // allocationManager = AllocationManager(json.readAddress(".addresses.allocationManager"));
-        // allocationManagerImplementation = json.readAddress(".addresses.allocationManagerImplementation");
+        // AllocationManager
+        allocationManager = AllocationManager(json.readAddress(".addresses.allocationManager"));
+        allocationManagerImplementation = AllocationManager(json.readAddress(".addresses.allocationManagerImplementation"));
 
         // AVSDirectory
         avsDirectory = AVSDirectory(json.readAddress(".addresses.avsDirectory"));
@@ -258,9 +242,9 @@ contract ExistingDeploymentParser is Script, Logger {
         delegationManagerImplementation =
             DelegationManager(json.readAddress(".addresses.delegationManagerImplementation"));
 
-        // // PermissionController
-        // permissionController = PermissionController(json.readAddress(".addresses.permissionController"));
-        // permissionControllerImplementation = json.readAddress(".addresses.permissionControllerImplementation");
+        // PermissionController
+        permissionController = PermissionController(json.readAddress(".addresses.permissionController"));
+        permissionControllerImplementation = PermissionController(json.readAddress(".addresses.permissionControllerImplementation"));
 
         // RewardsCoordinator
         rewardsCoordinator = RewardsCoordinator(json.readAddress(".addresses.rewardsCoordinator"));

src/contracts/core/SlashEscrow.sol

@@ -11,7 +11,7 @@ contract SlashEscrow is ISlashEscrow {
     using SafeERC20 for IERC20;
 
     /// @inheritdoc ISlashEscrow
-    function burnOrRedistributeUnderlyingTokens(
+    function releaseTokens(
         ISlashEscrowFactory slashEscrowFactory,
         ISlashEscrow slashEscrowImplementation,
         OperatorSet calldata operatorSet,