diff --git a/scripts/harb-evaluator/red-team.sh b/scripts/harb-evaluator/red-team.sh index dd67906..2358879 100755 --- a/scripts/harb-evaluator/red-team.sh +++ b/scripts/harb-evaluator/red-team.sh @@ -424,7 +424,7 @@ CAST binary: /home/debian/.foundry/bin/cast ### ethPerToken (the floor) \`\`\` ethPerToken = (LM_native_ETH + LM_WETH) * 1e18 / adjusted_supply -adjusted_supply = KRK.outstandingSupply() - KRK_at_feeDestination - KRK_at_Stake +adjusted_supply = KRK.outstandingSupply() - KRK_at_Stake \`\`\` To DECREASE the floor you must either: - Reduce LM's ETH/WETH holdings, OR @@ -453,7 +453,8 @@ Only recenterAccess account can call it. ### outstandingSupply() vs totalSupply() \`KRK.outstandingSupply() = totalSupply() - balanceOf(liquidityManager)\` LM-held KRK (in pool positions) is excluded from outstandingSupply. -The floor formula then additionally subtracts KRK at Stake and feeDestination to get adjusted_supply. +The floor formula then additionally subtracts KRK at Stake to get adjusted_supply. +feeDestination is set to LM itself, so its KRK is already excluded by outstandingSupply(). ---