pool package

Burn removes liquidity from a position.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• token0Path: Path of the first token in the pool pair.
• token1Path: Path of the second token in the pool pair.
• fee: Fee tier identifying the pool.
• tickLower: Lower inclusive tick boundary of the position range.
• tickUpper: Upper exclusive tick boundary of the position range.
• liquidityAmount: Decimal liquidity amount to remove from the position.
• positionCaller: Position-contract address whose position is decreased.

Returns:

• amount0: Token0 principal credited to the position, as a decimal string; the pool operation leaves it owed until a subsequent collection.
• amount1: Token1 principal credited to the position, as a decimal string; the pool operation leaves it owed until a subsequent collection.

Halt check: reverts while the Withdraw halt scope is active.

Collect pays tokens owed to a position out to recipient in full. No withdrawal fee is charged on this path; see CollectSwapFee for the fee-bearing path.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• token0Path: Path of the first token in the pool pair.
• token1Path: Path of the second token in the pool pair.
• fee: Fee tier identifying the pool.
• recipient: Non-zero address receiving the owed token amounts.
• tickLower: Lower inclusive tick boundary of the position range.
• tickUpper: Upper exclusive tick boundary of the position range.
• amount0Requested: Decimal token0 amount requested from the position's accrued principal.
• amount1Requested: Decimal token1 amount requested from the position's accrued principal.

Returns:

• amount0: Token0 principal transferred to recipient, as a decimal string.
• amount1: Token1 principal transferred to recipient, as a decimal string.

Halt check: reverts while the Withdraw halt scope is active.

CollectProtocol collects protocol fees from a pool.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• token0Path: Path of the first token in the pool pair.
• token1Path: Path of the second token in the pool pair.
• fee: Fee tier identifying the pool.
• recipient: Address receiving the collected protocol fees.
• amount0Requested: Decimal token0 protocol-fee amount requested; collection is capped at the available amount.
• amount1Requested: Decimal token1 protocol-fee amount requested; collection is capped at the available amount.

Returns:

• amount0: Token0 protocol fee transferred to recipient, as a decimal string.
• amount1: Token1 protocol fee transferred to recipient, as a decimal string.

Halt check: reverts while the Withdraw halt scope is active.

CollectSwapFee pays accrued swap fees for a position out to recipient, net of the withdrawal fee.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• token0Path: Path of the first token in the pool pair.
• token1Path: Path of the second token in the pool pair.
• fee: Fee tier identifying the pool.
• recipient: Non-zero address receiving the collected token amounts after withdrawal-fee deduction.
• tickLower: Lower inclusive tick boundary of the position range.
• tickUpper: Upper exclusive tick boundary of the position range.
• amount0Requested: Decimal token0 amount requested; the configured maximum value requests all token0 fees owed.
• amount1Requested: Decimal token1 amount requested; the configured maximum value requests all token1 fees owed.

Returns:

• amount0: Collected token0 amount before withdrawal-fee deduction, as a decimal string.
• amount1: Collected token1 amount before withdrawal-fee deduction, as a decimal string.
• fee0: Withdrawal fee withheld from token0, as a decimal string.
• fee1: Withdrawal fee withheld from token1, as a decimal string.

Halt check: reverts while the Withdraw halt scope is active.

CreatePool creates a new liquidity pool for a token pair.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• token0Path: Token contract path supplied for token0; the pool orders the pair canonically rather than preserving the supplied order.
• token1Path: Token contract path supplied for token1; must form a distinct registered pair with token0Path.
• fee: Fee tier for the pool; determines its tick spacing and swap fee.
• sqrtPriceX96: Initial square-root price in Q64.96 fixed-point form; it is inverted when the supplied token order is reversed and must be in bounds.

Halt check: reverts while the Pool halt scope is active.

DecodeTickKey decodes a fixed-width ordered tick key. Parameters:

• key: fixed-width ordered tick key produced by EncodeTickKey.

Returns:

• tick: signed tick index decoded from key.

DrySwap simulates a swap without executing it, returning the expected output.

This is a read-only operation that does not modify pool state. Used by router for multi-hop swap simulations and by clients for price quotes.

Parameters:

• token0Path: Path of the first token in the pool pair.
• token1Path: Path of the second token in the pool pair.
• fee: Fee tier identifying the pool.
• zeroForOne: True to sell token0 for token1; false to sell token1 for token0.
• amountSpecified: Decimal signed amount; positive requests exact input and negative requests exact output.
• sqrtPriceLimitX96: Price boundary in Q64.96 fixed-point form at which the simulation must stop.

Returns:

• amount0: Simulated signed token0 delta, as a decimal string; "0" on an unsuccessful simulation.
• amount1: Simulated signed token1 delta, as a decimal string; "0" on an unsuccessful simulation.
• error: Nil when the simulation succeeds; non-nil when validation, computation, or pool-balance checks fail.

EncodePositionKey encodes a position range as two ordered tick keys. Parameters:

• tickLower: lower signed tick index of the position range.
• tickUpper: upper signed tick index of the position range.

Returns:

• key: concatenation of the ordered encodings of tickLower and tickUpper.

EncodeTickKey encodes a tick as a fixed-width 4-byte key whose lexicographic order matches the signed numeric order. Parameters:

• tick: signed tick index to encode.

Returns:

• key: fixed-width ordered key whose lexicographical ordering matches the signed numeric ordering of tick.

ExistsPoolPath checks if a pool exists at the given path. Parameters:

• poolPath: Canonical pool path identifying the pool to check.

Returns:

• bool: True when a pool is registered at poolPath; false otherwise.

GetBalanceToken0 returns the balance of token0 in the pool. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• int64: Current token0 balance held by the pool, in token base units.
• error: Non-nil when poolPath does not identify an existing pool.

GetBalanceToken1 returns the balance of token1 in the pool. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• int64: Current token1 balance held by the pool, in token base units.
• error: Non-nil when poolPath does not identify an existing pool.

GetBalances returns the balances of the pool. Parameters:

• poolPath: Canonical pool path identifying the pool whose balances are read.

Returns:

• int64: Current token0 balance held by the pool, in token base units.
• int64: Current token1 balance held by the pool, in token base units.
• error: Non-nil when poolPath does not identify an existing pool.

GetFee returns the fee tier of the pool. Parameters:

• poolPath: Canonical pool path identifying the pool whose fee tier is read.

Returns:

• uint32: Configured fee tier for the pool.
• error: Non-nil when poolPath does not identify an existing pool.

GetFeeAmountTickSpacing returns the tick spacing for a given fee tier. Parameters:

• fee: Fee tier whose supported tick spacing is requested.

Returns:

• spacing: Tick spacing configured for fee.
• err: Non-nil when fee is not one of the supported fee tiers.

GetFeeAmountTickSpacings returns all fee tier to tick spacing mappings. Returns:

• map[uint32]int32: Copy of the configured fee-tier-to-tick-spacing mapping.

GetFeeGrowthGlobal0X128 returns the global fee growth for token0. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• string: Token0 global fee growth, serialized as a base-10 X128 accumulator.
• error: Non-nil when poolPath does not identify an existing pool.

GetFeeGrowthGlobal1X128 returns the global fee growth for token1. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• string: Token1 global fee growth, serialized as a base-10 X128 accumulator.
• error: Non-nil when poolPath does not identify an existing pool.

GetFeeGrowthGlobalX128 returns the global fee growth for both tokens. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• string: Token0 global fee growth, serialized as a base-10 X128 accumulator.
• string: Token1 global fee growth, serialized as a base-10 X128 accumulator.
• error: Non-nil when poolPath does not identify an existing pool.

GetImplementationPackagePath returns the package path of the currently active implementation.

Returns:

• packagePath: Full package path of the active implementation; empty before any version has been registered.

GetInitializedTicksInRange returns initialized ticks within the given range. Parameters:

• poolPath: Canonical pool path whose ticks are enumerated.
• tickLower: Lower inclusive tick bound for enumeration.
• tickUpper: Upper bound for enumeration; ticks are selected through the pool's range iterator.

Returns:

• []int32: Tick indices that are initialized in the requested range.
• error: Non-nil when poolPath does not identify an existing pool.

GetLiquidity returns the current liquidity in the pool. Parameters:

• poolPath: Canonical pool path identifying the pool whose liquidity is read.

Returns:

• string: Current pool liquidity, serialized as a base-10 unsigned integer.
• error: Non-nil when poolPath does not identify an existing pool.

GetPendingProtocolFees returns the pending protocol fee amount per token path. Returns:

• map[string]int64: Copy of pending protocol fees keyed by token contract path, with amounts in token base units.

GetPoolCreationFee returns the current pool creation fee. Returns:

• int64: Pool creation fee charged when a new pool is created, in configured native-token base units.

GetPoolPath generates a unique pool path string based on the token paths and fee tier. Parameters:

• token0Path: path of the first token contract; it is reordered with token1Path when needed to form canonical pool order.
• token1Path: path of the second token contract; it is reordered with token0Path when it sorts earlier.
• fee: pool fee tier encoded as its decimal uint32 value in the path.

Returns:

• poolPath: canonical token0:token1:fee identifier with token paths in lexicographical order.

GetPoolPositions returns a read-only view of a pool's positions, keyed by position key. nil is returned when the pool does not exist. Parameters:

• poolPath: Canonical pool path identifying the pool whose positions are read.

Returns:

• *rotree.ReadOnlyTree: Read-only tree keyed by position key; nil when the pool does not exist.

GetPools returns a read-only view of every pool, keyed by pool path. Reading an entry yields a clone, so the view cannot mutate realm state. Returns:

• *rotree.ReadOnlyTree: Read-only tree keyed by canonical pool path; each entry is cloned before it is exposed.

GetPositionFeeGrowthInside0LastX128 returns the last recorded fee growth inside for token0. Parameters:

• poolPath: Canonical pool path identifying the pool containing the position.
• key: Position key identifying the position within the pool.

Returns:

• string: Position's last token0 fee-growth-inside accumulator, serialized as a base-10 X128 value.
• error: Non-nil when the pool or position key cannot be found.

GetPositionFeeGrowthInside1LastX128 returns the last recorded fee growth inside for token1. Parameters:

• poolPath: Canonical pool path identifying the pool containing the position.
• key: Position key identifying the position within the pool.

Returns:

• string: Position's last token1 fee-growth-inside accumulator, serialized as a base-10 X128 value.
• error: Non-nil when the pool or position key cannot be found.

GetPositionFeeGrowthInsideLastX128 returns the last recorded fee growth inside for both tokens. Parameters:

• poolPath: Canonical pool path identifying the pool containing the position.
• key: Position key identifying the position within the pool.

Returns:

• string: Position's last token0 fee-growth-inside accumulator, serialized as a base-10 X128 value.
• string: Position's last token1 fee-growth-inside accumulator, serialized as a base-10 X128 value.
• error: Non-nil when the pool or position key cannot be found.

GetPositionLiquidity returns the liquidity of a position. Parameters:

• poolPath: Canonical pool path identifying the pool containing the position.
• key: Position key identifying the position within the pool.

Returns:

• string: Position liquidity, serialized as a base-10 unsigned integer.
• error: Non-nil when the pool or position key cannot be found.

GetPositionTokensOwedInfos returns the amount of tokens owed for both tokens. Parameters:

• poolPath: Canonical pool path identifying the pool containing the position.
• key: Position key identifying the position within the pool.

Returns:

• int64: Amount of token0 owed to the position, in token base units.
• int64: Amount of token1 owed to the position, in token base units.
• error: Non-nil when the pool or position key cannot be found.

GetPositionTokensOwed0 returns the amount of token0 owed to a position. Parameters:

• poolPath: Canonical pool path identifying the pool containing the position.
• key: Position key identifying the position within the pool.

Returns:

• int64: Amount of token0 owed to the position, in token base units.
• error: Non-nil when the pool or position key cannot be found.

GetPositionTokensOwed1 returns the amount of token1 owed to a position. Parameters:

• poolPath: Canonical pool path identifying the pool containing the position.
• key: Position key identifying the position within the pool.

Returns:

• int64: Amount of token1 owed to the position, in token base units.
• error: Non-nil when the pool or position key cannot be found.

GetProtocolFeesToken0 returns accumulated protocol fees for token0. Parameters:

• poolPath: Canonical pool path identifying the pool whose fees are read.

Returns:

• int64: Accumulated protocol fee for token0, in token base units.
• error: Non-nil when poolPath does not identify an existing pool.

GetProtocolFeesToken1 returns accumulated protocol fees for token1. Parameters:

• poolPath: Canonical pool path identifying the pool whose fees are read.

Returns:

• int64: Accumulated protocol fee for token1, in token base units.
• error: Non-nil when poolPath does not identify an existing pool.

GetProtocolFeesTokens returns the accumulated protocol fees for both tokens. Parameters:

• poolPath: Canonical pool path identifying the pool whose fees are read.

Returns:

• int64: Accumulated protocol fee for token0, in token base units.
• int64: Accumulated protocol fee for token1, in token base units.
• error: Non-nil when poolPath does not identify an existing pool.

GetSlot0FeeProtocol returns the protocol fee rate from slot0. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• uint8: Packed protocol-fee denominator configuration from slot0; token0 occupies the low nibble and token1 the high nibble.
• error: Non-nil when poolPath does not identify an existing pool.

GetSlot0SqrtPriceX96 returns the current sqrt price from slot0. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• string: Current square-root price in Q64.96 fixed-point form, serialized as a base-10 unsigned integer.
• error: Non-nil when poolPath does not identify an existing pool.

GetSlot0Tick returns the current tick from slot0. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• int32: Current active tick index stored in slot0.
• error: Non-nil when poolPath does not identify an existing pool.

GetSlot0Unlocked reports whether the pool is currently unlocked. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• bool: True when the pool is not holding its reentrancy lock; false when the pool is currently locked.
• error: Non-nil when poolPath does not identify an existing pool.

GetTickBitmaps returns the tick bitmap for a given word position. Parameters:

• poolPath: Canonical pool path identifying the pool containing the bitmap.
• wordPos: Signed bitmap word position to read.

Returns:

• string: Bitmap word serialized as a base-10 unsigned integer.
• error: Non-nil when the pool or bitmap word is not found.

GetTickCumulativeOutside returns the tick cumulative value outside a tick. Parameters:

• poolPath: Canonical pool path identifying the pool containing the tick.
• tick: Tick index whose outside tick cumulative is requested.

Returns:

• int64: Tick cumulative recorded outside tick.
• error: Non-nil when the pool or tick is not found.

GetTickFeeGrowthOutside0X128 returns fee growth outside for token0 at a tick. Parameters:

• poolPath: Canonical pool path identifying the pool containing the tick.
• tick: Tick index whose outside fee growth is requested.

Returns:

• string: Token0 fee growth outside tick, serialized as a base-10 X128 accumulator.
• error: Non-nil when the pool or tick is not found.

GetTickFeeGrowthOutside1X128 returns fee growth outside for token1 at a tick. Parameters:

• poolPath: Canonical pool path identifying the pool containing the tick.
• tick: Tick index whose outside fee growth is requested.

Returns:

• string: Token1 fee growth outside tick, serialized as a base-10 X128 accumulator.
• error: Non-nil when the pool or tick is not found.

GetTickFeeGrowthOutsideX128 returns fee growth outside for both tokens at a tick. Parameters:

• poolPath: Canonical pool path identifying the pool containing the tick.
• tick: Tick index whose outside fee growth is requested.

Returns:

• string: Token0 fee growth outside tick, serialized as a base-10 X128 accumulator.
• string: Token1 fee growth outside tick, serialized as a base-10 X128 accumulator.
• error: Non-nil when the pool or tick is not found.

GetTickInitialized returns whether a tick is initialized. Parameters:

• poolPath: Canonical pool path identifying the pool containing the tick.
• tick: Tick index whose initialization flag is requested.

Returns:

• bool: True when the tick has initialized liquidity and outside accumulators.
• error: Non-nil when the pool or tick is not found.

GetTickLiquidityGross returns the total liquidity that references a tick. Parameters:

• poolPath: Canonical pool path identifying the pool containing the tick.
• tick: Tick index whose gross liquidity is requested.

Returns:

• string: Gross liquidity referencing the tick, serialized as a base-10 unsigned integer.
• error: Non-nil when the pool or tick is not found.

GetTickLiquidityNet returns the net liquidity change at a tick. Parameters:

• poolPath: Canonical pool path identifying the pool containing the tick.
• tick: Tick index whose net liquidity change is requested.

Returns:

• string: Signed net liquidity change at the tick, serialized as a base-10 integer.
• error: Non-nil when the pool or tick is not found.

GetTickSecondsOutside returns seconds spent outside a tick. Parameters:

• poolPath: Canonical pool path identifying the pool containing the tick.
• tick: Tick index whose outside time is requested.

Returns:

• uint32: Seconds accumulated outside the tick.
• error: Non-nil when the pool or tick is not found.

GetTickSecondsPerLiquidityOutsideX128 returns seconds per liquidity outside a tick. Parameters:

• poolPath: Canonical pool path identifying the pool containing the tick.
• tick: Tick index whose outside accumulator is requested.

Returns:

• string: Seconds-per-liquidity outside tick in X128 precision, serialized as a base-10 unsigned integer.
• error: Non-nil when the pool or tick is not found.

GetTickSpacing returns the tick spacing of the pool. Parameters:

• poolPath: Canonical pool path identifying the pool whose spacing is read.

Returns:

• int32: Tick spacing associated with the pool's fee tier.
• error: Non-nil when poolPath does not identify an existing pool.

GetToken0Path returns the path of token0 in the pool. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• string: Canonical token0 contract path stored by the pool.
• error: Non-nil when poolPath does not identify an existing pool.

GetToken1Path returns the path of token1 in the pool. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• string: Canonical token1 contract path stored by the pool.
• error: Non-nil when poolPath does not identify an existing pool.

GetWithdrawalFee returns the current withdrawal fee rate. Returns:

• uint64: Withdrawal fee rate in basis points; zero means no withdrawal fee is charged.

IncreaseObservationCardinalityNext increases the observation cardinality for a pool.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• token0Path: Path of the first token in the pool pair.
• token1Path: Path of the second token in the pool pair.
• fee: Fee tier identifying the pool.
• cardinalityNext: Requested maximum number of oracle observations retained for the pool.

Halt check: reverts while the Pool halt scope is active.

Mint adds liquidity to a position.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• token0Path: Path of the first token in the pool pair.
• token1Path: Path of the second token in the pool pair.
• fee: Fee tier identifying the pool.
• tickLower: Lower inclusive tick boundary of the position range.
• tickUpper: Upper exclusive tick boundary of the position range.
• liquidityAmount: Decimal liquidity amount to add to the position.
• positionCaller: Position-contract address whose position receives the liquidity.

Returns:

• amount0: Token0 amount required for the liquidity addition, as a decimal string.
• amount1: Token1 amount required for the liquidity addition, as a decimal string.

Halt check: reverts while the Pool halt scope is active.

NewDefaultFeeAmountTickSpacing returns the default tick spacing for each supported fee tier.

Returns:

• map[uint32]int32: fee-tier to tick-spacing mapping for 100, 500, 3000, and 10000 tiers.

NewObservationsTree creates the top-level B+tree that indexes pool observation trees by pool path.

Returns:

• tree: Empty B+tree suitable for storing pool-path observation trees.

NewPoolPositionsTree creates a BPTree for storing pool position info (fanout 16), owned by the pool domain realm so leaf-slot writes are not readonly tainted.

Returns:

• *bptree.BPTree: empty position storage tree with fanout 16.

NewPoolTicksTree creates a BPTree for storing pool tick info (fanout 32), owned by the pool domain realm so leaf-slot writes are not readonly tainted.

Returns:

• *bptree.BPTree: empty tick storage tree with fanout 32.

NewPoolsTree creates the BPTree used to store pools by pool path.

Returns:

• *bptree.BPTree: empty pool storage tree with fanout 32.

Observe returns the tick and seconds-per-liquidity cumulatives for each requested lookback, matching Uniswap V3's observe(uint32[] secondsAgos). Parameters:

• poolPath: Canonical pool path whose oracle history is queried.
• secondsAgos: Lookback intervals in seconds; one cumulative pair is returned for each value, in the same order.

Returns:

• []int64: Tick cumulative values corresponding to each requested lookback.
• []string: Seconds-per-liquidity cumulative X128 values, serialized as base-10 strings, corresponding to each lookback.
• error: Non-nil when pool or observation data cannot be read.

OracleConsult returns the arithmetic mean tick and harmonic mean liquidity over a lookback, following Uniswap V3 OracleLibrary's consult convention. Parameters:

• poolPath: Canonical pool path whose oracle data is queried.
• secondsAgo: Lookback duration in seconds used to compute the time-weighted values.

Returns:

• int32: Arithmetic mean tick over the requested lookback.
• string: Harmonic mean liquidity over the lookback, serialized as a base-10 unsigned integer.
• error: Non-nil when the pool or required observation history is unavailable.

RegisterInitializer registers a new pool implementation version. This function is called by each version (v1, v2, etc.) during initialization to register their implementation with the proxy system.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• initializer: Version factory receiving the forwarded discriminator, current realm, and shared IPoolStore; it returns the implementation instance to register and later activate.

Security: Only contracts within the domain path can register initializers. Each package path can only register once to prevent duplicate registrations.

Render delegates web rendering to the active implementation.

SetFeeProtocol sets the protocol fee rates for a pool.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• feeProtocol0: Token0 protocol-fee denominator; zero disables it, while non-zero supported values route the corresponding fraction to protocol.
• feeProtocol1: Token1 protocol-fee denominator; zero disables it, while non-zero supported values route the corresponding fraction to protocol.

Halt check: reverts while the Pool halt scope is active.

SetPoolCreationFee sets the pool creation fee.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• fee: New pool creation fee, in the configured native-token base units.

Halt check: reverts while the Pool halt scope is active.

SetSwapEndHook sets the hook to be called at the end of a swap.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• hook: Callback invoked with the current realm and pool path after swap settlement; its error is propagated to abort the swap.

SetSwapStartHook sets the hook to be called at the start of a swap.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• hook: Callback invoked with the current realm, pool path, and swap timestamp before swap computation.

SetTickCrossHook sets the hook to be called when a tick is crossed during a swap.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• hook: Callback invoked with the current realm, pool path, crossed tick index, swap direction, and block timestamp.

SetWithdrawalFee sets the withdrawal fee rate.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• fee: Withdrawal fee in basis points; zero disables the fee.

Halt check: reverts while the Pool halt scope is active.

SnapshotCumulativesInside returns the tick, seconds-per-liquidity, and seconds cumulatives accrued while the pool price was inside [tickLower, tickUpper). Both boundary ticks must be initialized.

Snapshots are only comparable across an interval during which a position in the range existed, matching Uniswap V3's snapshotCumulativesInside. Parameters:

• poolPath: Canonical pool path whose oracle snapshot is queried.
• tickLower: Lower inclusive tick boundary of the position range.
• tickUpper: Upper exclusive tick boundary of the position range; both boundary ticks must be initialized.

Returns:

• int64: Tick cumulative accrued while the price was inside the range.
• string: Seconds-per-liquidity-inside X128 accumulator, serialized as a base-10 string.
• uint32: Seconds accrued while the price was inside the range.
• error: Non-nil when the pool, observations, or initialized boundaries are unavailable.

Swap executes a token swap in the pool.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• token0Path: Path of the first token in the pool pair.
• token1Path: Path of the second token in the pool pair.
• fee: Fee tier identifying the pool.
• recipient: Address receiving output tokens.
• zeroForOne: True to sell token0 for token1; false to sell token1 for token0.
• amountSpecified: Decimal signed amount; positive requests exact input and negative requests exact output.
• sqrtPriceLimitX96: Price boundary in Q64.96 fixed-point form at which the swap must stop.
• swapCallback: Callback invoked with the current realm, signed token deltas, and a callback marker; it must settle the input token and return a non-nil error to abort settlement.

Returns:

• amount0: Signed token0 delta for the swap, as a decimal string.
• amount1: Signed token1 delta for the swap, as a decimal string.

Halt check: reverts while the Pool halt scope is active.

UpgradeImpl switches the active pool implementation to a different version. This function allows seamless upgrades from one version to another without data migration or downtime.

Parameters:

• cur: Current realm context; callers use cross(cur) when crossing into this realm.
• packagePath: Full package path of a version previously registered for this pool domain.

Security: Only admin or governance can perform upgrades. The new implementation must have been previously registered via RegisterInitializer. The pool must not be locked (see assertPoolUnlocked).

NewCallbackMarker allocates a CallbackMarker in the pool realm. Construction must happen here because /r/-declared types can only be allocated in their owning realm (interrealm v2 checkConstructionTime). Callers in other realms (e.g. pool/v1 impl) borrow into pool via borrow rule #1 (function defined in /r/ package). Returns:

• marker: New marker value allocated in the pool realm for swap-callback validation.

NewPoolStore creates a new pool store instance with the provided KV store. This function is used by the upgrade system to create storage instances for each implementation. Parameters:

• kvStore: KV store used to persist and retrieve pool-domain state.

Returns:

• poolStore: an IPoolStore implementation backed by kvStore.

DefaultObservation returns the zero, uninitialized observation used for an empty slot.

Returns:

• observation: Observation with zero timestamp and accumulators and Initialized false.

GetObservationAt returns a safe copy of the observation stored at index. An in-range but uninitialized slot returns the zero observation, matching Uniswap V3's fixed observation-array getter.

ref: uniswap v3 IUniswapV3PoolState.observations(uint256 index) Parameters:

• poolPath: Canonical pool path identifying the pool containing the observation.
• index: Zero-based observation-array index; values at or above the fixed cardinality bound return an error.

Returns:

• Observation: Observation at index, or the zero observation when the slot is in range but has never been written.
• error: Non-nil when the pool is missing or index is out of range.

MakeObservation constructs an observation from its stored oracle accumulators.

Parameters:

• blockTimestamp: Timestamp associated with the observation.
• tickCumulative: Signed cumulative tick at blockTimestamp.
• secondsPerLiquidityCumulativeX128: Decimal Q128-scaled cumulative seconds-per-liquidity value.
• initialized: Whether this observation slot is initialized and usable.

Returns:

• observation: Observation containing the supplied timestamp, accumulators, and initialization flag.

NewObservationTree creates an empty pool-local observation tree keyed by uint16 index.

Returns:

• tree: Initialized observation tree ready for Get, Set, and Has operations.

NewPoolObservationsTree creates a circular observation buffer with slot zero initialized.

Parameters:

• currentTime: Timestamp assigned to the initial observation at index zero.

Returns:

• tree: Observation tree containing an initialized zero-index observation with zero cumulative values.

NewPool constructs a pool with the supplied token pair, fee, price, and tick configuration.

Parameters:

• token0Path: path of the pool's token0 asset.
• token1Path: path of the pool's token1 asset.
• fee: fee tier used by swaps.
• sqrtPriceX96: initial sqrt(token1/token0) price scaled by 2^96.
• tickSpacing: spacing between initialized ticks.
• tick: initial current tick.
• slot0FeeProtocol: packed protocol-fee denominator configuration for slot0.

Returns:

• *Pool: initialized pool with empty balances, fee growth, ticks, bitmaps, and positions.

NewDefaultPositionInfo returns the zero-accounting position state used for a new pool position.

Returns:

• info: Position info with zero liquidity, zero fee-growth checkpoints, and no tokens owed.

NewPositionInfo creates a zeroed position state for a tick range.

Returns:

• PositionInfo: position with zero liquidity, fee-growth checkpoints, and owed tokens.

GetSlot0 returns a safe copy of the pool's slot0 (sqrt price, tick, protocol fee, lock state, and oracle cursor/capacity metadata). The clone happens here, at the proxy boundary, so every implementation version can return its internal Slot0 by value without each one having to remember to defend against callers mutating the shared sqrtPriceX96. Parameters:

• poolPath: Canonical pool path identifying the pool to query.

Returns:

• Slot0: Copy of the pool's slot0 state, including price, tick, protocol fee, lock, and observation metadata; panics if the pool is missing.

NewSlot0 constructs slot0 with the supplied price, tick, protocol fee, and lock state. Observation metadata starts with index zero and cardinality one.

Parameters:

• sqrtPriceX96: initial sqrt(token1/token0) price scaled by 2^96.
• tick: initial current pool tick.
• feeProtocol: packed token0/token1 protocol-fee denominator configuration.
• unlocked: initial reentrancy-lock state.

Returns:

• Slot0: initialized slot0 value with one observation slot.

GetTickInfo returns the tick info for a given tick. Parameters:

• poolPath: Canonical pool path identifying the pool containing the tick.
• tick: Tick index whose complete state is requested.

Returns:

• TickInfo: Safe copy of the requested tick's liquidity and oracle/fee accumulator fields.
• error: Non-nil when the pool or tick is not found.

NewTickInfo creates an uninitialized tick state with zero accumulators.

Returns:

• TickInfo: default tick state with all numeric fields zero and Initialized false.

NewTokenPair creates a token-pair balance value initialized to zero.

Returns:

• TokenPair: zero token0 and token1 balances.