From 6924cb03f32e4861ab996562e8ab1b8609706180 Mon Sep 17 00:00:00 2001 From: openhands Date: Fri, 13 Mar 2026 07:47:35 +0000 Subject: [PATCH] fix: Protocol Mechanics section in agent prompt still exposes ethPerToken formula (#550) --- scripts/harb-evaluator/red-team.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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(). ---