Module math 

Pure math functions for the PerpCity protocol.

These operate directly on Alloy primitives (U256, I256) and f64 — no structs, no state, just math. Each submodule corresponds to a domain:

Module	Purpose
tick	Tick ↔ price conversions, tick alignment, getSqrtRatioAtTick
liquidity	Liquidity estimation for maker positions
position	Entry price, size, value, leverage, liquidation price

Modules

liquidity

Liquidity estimation for PerpCity maker positions.

position

Position-level math: entry price, size, value, leverage, liquidation price.

tick

Tick ↔ price conversions and the Uniswap V4 getSqrtRatioAtTick algorithm.