LOOSE POOL
Success
5,000 MockUSDC clears.
The loose pool accepts the exact-input order and emits SwapAccepted.
- Amount
- 5,000 mUSDC
- Covenant
- max 10,000 · daily 50,000
LIQUIDITY COVENANT LAYER
Liquidity covenants for X Layer markets.
Liquidity that can say no, or charge overflow to pay LPs first.
LPs and market operators publish enforceable trading terms, max size, daily caps, refusal, and LP-first surge, enforced before capital moves and receipted onchain. The first adapter is a Uniswap v4 hook, live on X Layer mainnet.
LIVE PROOF
verified static set · May 23 2026
- Hook
- 0x7D67…8080
- Router
- 0xCD46…c29e
- Pair
- MockUSDC / MockETH
ACCEPT VS REFUSE
X Layer mainnet
Same swap parameters. Different pool covenant.
STRICT POOL
Refused
PolicyBlocked stops it.
The strict pool catches MAX_SWAP_EXCEEDED before liquidity is consumed.
- Attempted
- 5,000 mUSDC
- Limit
- 1,000 mUSDC
CONTRACTS
CI workflow
Live addresses.
COVENANT SIMULATOR
No wallet
Will this trade pass the covenant?
Set a liquidity covenant, enter a trade, and see whether it is allowed, blocked, or surged, with the LP payment shown. No wallet needed. This mirrors the onchain beforeSwap rules the live PolicyPool hook enforces.
Covenant and trade
mUSDCVerdict
beforeSwap
ALLOW
- Trade
- —
- Max swap
- —
- Daily room left
- —
- LP surge paid
- —
Allow means the trade clears under the covenant. Surge means it exceeds max swap but passes because LPs are paid the surge fee first. Block means it is refused in beforeSwap before liquidity is touched.
COVENANT CONSOLE
X Layer mainnet
Configure a pool covenant.
Generate the exact X Layer transaction path for a pool using the live PolicyPool hook.
Covenant inputs
Mock tokens
HUMAN PREVIEW
Swaps over 1,000 MockUSDC refuse. Pool stops accepting after 50,000 MockUSDC per day.
Generate deployment transaction
Not submittedThis console does not pretend to deploy. It connects to X Layer when a wallet is present, then outputs calldata and copyable Foundry commands for the live hook/router path.
Wallet not connected
CALLDATA
FOUNDRY COMMAND
Owner-only update path: `PolicyPoolHook.setPolicy(poolId,maxSwapAmount,dailyCap)`. For a brand-new pool, initialize through `PolicyPoolDemoRouter.initialize(...)`, compute the v4 pool id from the PoolKey, then call `setPolicy`.
RECEIPTS
static verified · May 23 2026
Recent accepted and refused swaps.
Verified X Layer mainnet proof set. MockUSDC and MockETH isolate hook behavior from asset-market noise.
Swap receipts
Verifier| Time | Pool | Trader | Amount | Verdict | Tx |
|---|
COVENANT REGISTRY
X Layer mainnet
Pools with verified liquidity covenants.
Every pool here publishes enforceable terms onchain, and every total is backed by the verified X Layer mainnet proof set. PolicyPool's own pools first; external pools are listed only after a covenant review.
Terms and flow totals reflect the committed proof set, replayable on Receipts and in the verifier. Background: the Liquidity Covenant Note. Want your pool listed? Open an issue for a covenant review.