[Story][CL]: Invariant testing for concentrated liquidity

[mattverse]

Background

As an engineer, I want to have the certainty that different traits of Concentrated Liquidity always remain true, in other words, have invariants testings to assure safeness

Acceptance Criteria

Investigate and implement the following invariants testings for concentrated liquidity

• (CL test): Add tests for inverse relationship testing between TickToSqrtPrice and PriceToTick #4060
• (CL Test): Add inverse relationship testing between CreatePosition and WithdrawPosition #4057
• (CL test): Add SwapOutGivenIn Inverse tests and tests refactoring #4076
• (CL Test): Add SwapInGivenOut Inverse tests #4164
• (CL test): Add test for ensuring writeCtx from calc methods correctly overwrites Context #3992

---

• Swap fee accumulator should never decrease by design

[p0mvn]

I would like to also think more about invariants related to swaps and collecting fees.

I don't have any specific suggestions at the moment. However, the general idea is to have some invariants to make sure that it is impossible to overclaim fees

[mattverse]

Cool! Thanks for the suggestion! Would think about how to make a good testing from the fees!

[p0mvn]

Hi @mattverse . Seeing that there are 2 remaining items on the list here. I'm assuming these are blocked on swap fee PRs?

If so, is it possible to break down the remaining work into issues please to have a sense of what's remaining on the sprint board?