[Epic] Lower Min Spot Price in CL to 10^-30

[p0mvn]

Background

Design doc owner: @p0mvn

Prior to the concentrated liquidity launch, we made a decision to increase the minimum spot price to 10^-12 to account for technical constraints in our design.

This has led to a lack of support for token pairs that have a low real spot price, especially where the base asset has a precision of 18 while the quote asset precision of 6. A pair with such precisions scales the real spot price down by 10^12.

To support all token pairs possible, we argue for lowering the minimum spot price from 10^-12 to 10^-30 and maintaining two pool versions:
V1: supported price range 10^-12, 10^38
V2: supported price range 10^-30, 10^38

Decision

Increase min spot price as per TDD: https://app.clickup.com/37420681/v/dc/13nzm9-22453/13nzm9-45853

Tasks

Preview Give feedback

1. refactor(CL): change tick API from sdk.Dec to osmomath.BigDec #6032
   F: concentrated-liquidity +1
   
2. feat/test: MonotonicSqrt function defined on osmomath.BigDec and benchmark against sdk.Dec #6045
   F: concentrated-liquidity +1
   
3. refactor: tick conversion infrastructure and precompute logic to support [10^-30, 10^38] price range #6046
   F: concentrated-liquidity +1
   
4. refactor(CL): convert CalculatePriceToTickDec to operate on BigDec conversions in a state-compatible way #6246
   F: concentrated-liquidity +1
   
5. refactor(CL): remove CalculatePriceToTickDecV1 function #6247
   F: concentrated-liquidity +1
   
6. test(CL): LP logic to LP in the extended price range #6060
   F: concentrated-liquidity +1
   
7. test(CL): swap logic to work on the extended price range #6061
   F: concentrated-liquidity +1
   
8. feat: CL superfluid position migration onto the new full range of [10^-30, 10^38] #6322
   F: concentrated-liquidity +1
9. test(CL): rewards logic to work on the extended price range #6320
   F: concentrated-liquidity +1
   
10. feat(CL): query for spot price with 36 decimals #6064
    F: concentrated-liquidity +1
    
11. test(CL): functional test for increased spot price range pool #6065
    F: concentrated-liquidity T:tests +2
12. test(CL): extend V2 support to fuzz suite #6066
    F: concentrated-liquidity T:tests +2
    
13. test(CL): test V2 price range pools on localosmosis #6067
    F: concentrated-liquidity T:tests +2
14. docs(CL): update x/concentrated-liquidity README with the outcome of the price range refactor #6068
    C:docs F: concentrated-liquidity +2
15. refactor(CL): ensure that V2 min tick and min spot price are renamed to be the canonical. Rename the old canonical to be the "upgrade threshold". For example, SpotPriceUpgradeThreshold and TickUpgradeThreshold. #6318
    F: concentrated-liquidity +1
16. test(CL): switch DefaultMinCurrentTick and DefaultMinTick in tests to lower values and make sure all tests pass
17. refactor/test(CL): change CreateFullRangePosition to operate on the new full range
18. refactor/test(CL): change CreateFullRangePositionLocked to operate on the new full range
19. refactor/test(CL): change CreateFullRangePositionUnlocking to operate on the new full range
20. bug(CL): error blow up in CalcAmount0Delta causes OverChargeSwapOutGivenInError when swapping zero for one #6351
    F: concentrated-liquidity T:bug 🐛 +2
    
21. test(CL): math package tests at low price level #6353
    C:x/concentrated-liquidity F: concentrated-liquidity T:tests +3
    
22. test(CL): swapstrategy package tests at low price level #6354
    C:x/concentrated-liquidity F: concentrated-liquidity T:tests +3
23. refactor(CL): convert priceLimit from Dec to BigDec #6355
    C:x/concentrated-liquidity F: concentrated-liquidity +2
    
24. refactor(CL): upgrade handler superfluid position migration to the new price range #6382
    F: concentrated-liquidity +1
25. refactor: use NewBigDec instead of MustBigDec in cwpool spot price #6406
    F: concentrated-liquidity +1
    

Obsolete Tasks

Tasks

Preview Give feedback

1. feat: v18 upgrade handler logic to store the ID of the last V1 price range pool #6058
   F: concentrated-liquidity +1
2. feat: generalized selector for configuration betwen V1 and V2 price range based on pool ID #6059
   F: concentrated-liquidity +1
3. refactor:CL): integrated remaining flows to utilize pool configuration loader for supporting 2 price ranges #6062
   F: concentrated-liquidity +1
4. feat(CL): query for pool configuration based on ID #6063
   F: concentrated-liquidity +1
5. test(CL): superfluid CL messages on the extended spot price range #6321
   F: concentrated-liquidity T:tests +2

Acceptance Criteria

• Design doc
• Implementation

[p0mvn]

ref:

• test: monotonicity maintained with high precision #6020
• test: proof non-monotonicity with low precision #6019

[p0mvn]

Latest PRs on this feature:

• refactor(CL): rounding edge case in zfo strategy and tests #6379
• refactor(CL): change full range definition #6380