ponsholdx

contract

addresses, constants, functions, events, and the invariants, all read live.

addresses

token contract
pool
fee asset
venue adapter
pons fee source
deployer
the deployer holds no key that does anything after deploy. there is no owner function.

constants

H
M
ROUND_LENGTH
MIN_POT
CLOSER_BPS
SWEEP_BPS
PAGE_MAX
SLIPPAGE_BPS
decimals
total supply

functions

nameargumentswho may callwhat it does
transferto, amountanyonemoves tokens and moves both seats
transferFromfrom, to, amountanyone with allowanceas transfer, through allowance
approvespender, amountanyonesets an allowance
collectnoneanyoneclaims pending creator fees from pons into the contract
closeminOutanyoneends gathering, pays the closer, swaps the pot for the token, starts the tally
tallynanyonewalks up to n wallets, fixes their weights at the close time
paynanyonewalks up to n wallets, pays their share
seatOfwalletviewthe wallet's seat
tenureOfwalletviewnow minus the seat
multiplierOfwalletviewthe curve at the wallet's tenure, 1e18 fixed
weightOfwalletviewbalance times multiplier
balanceAtwallet, tviewthe checkpointed balance at t
seatAtwallet, tviewthe checkpointed seat at t
canClosenoneviewtrue when both close conditions hold
holderCountnoneviewlength of the holder list
roundnviewthe round record

events

eventfieldswhen
Transferfrom, to, valueevery balance change
Seatwallet, seatevery seat change
Collectedamountevery collect
RoundClosedround, closedAt, pot, closer, boughteach close
Talliedround, from, to, sumSoFareach tally page
Paidround, wallet, weight, amounteach payment
RoundSealedround, sumW, dusteach seal

invariants

the sum of all holder balances plus excluded balances equals total supply
for every round, sum of Paid amounts plus sweeper amounts plus dust equals the round's bought quantity
for every sealed round, the tally cursor and pay cursor both equal N
no seat is in the future
the contract's fee asset balance equals the pot of the open round
evaluated in the browser from live reads on every refresh.

storage

roundNumber
roundNumber
carry
carry
holders length
holders length
excluded map root
checkpoints map root
weight map root
rounds map root
the fixed slots. every map hangs off its root.

verification

the source below is what is deployed. compare its compiled bytecode with the code at the token address on the explorer. the venue adapter is a thin contract that only forwards a swap to the pool and quotes the pool's spot, written at deploy against the pool's own interface; its source is verified on the explorer beside the token.