johba/harb
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix: Protocol Mechanics section in agent prompt still exposes ethPerToken formula (#550)

Browse source
This commit is contained in:
openhands 2026-03-13 07:47:35 +00:00
parent bdea40f314
commit 6924cb03f3
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
scripts/harb-evaluator/red-team.sh
View file

@ -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().
---