Program reference

Network constants

Item	Value
Slip program	`7gNEnFMDVhxFLSrtSctaPPCX7RcPbz1Lu5vtxvzobXFt`
TxLINE devnet program	`6pW64gN1s2uqjHkn1unFeEjAwJkPGHoppGvS715wyP2J`
Devnet settlement mint	`9GGUMXLcaPsH824rxNCrHeBmAUd2aATPxoyk6ycbMRnj`
Fee treasury	`DZqzfMTmFyDvhLWamA4qjiEUUzS8LoTZ6d2KMkXwsiXh`

The checked-in unified IDL matches the public unified devnet binary. See deployment status.

Accounts

`Market`

PDA seeds: ["market", creator, id_le_u64] Stores the creator, settlement mint, MarketExpression, two to five labels, two to eight bands, five pool counters, entry and settlement deadlines, fee and tip rates, state, winner, a compact resolution evidence hash, ticket count, claimed stake, timestamps, and PDA bump.

`MarketTicket`

PDA seeds: ["ticket", market, owner, nonce_le_u64] Stores market, owner, nonce, outcome index, stake, claimed flag, and PDA bump. A ticket is immutable after purchase. Reusing a nonce for the same market and owner fails because the PDA already exists.

Vault

The vault is the associated token account for the market PDA and the market’s six-decimal classic SPL mint.

Instructions

Instruction	Required behavior
`create_market`	Validates expression, labels, bands, mint decimals, fee/tip ceilings, and deadlines; initializes market and vault.
`buy_ticket`	Before entry close, transfers at least one whole settlement token into the vault and creates one ticket.
`resolve_market`	After `resolve_at`, verifies a terminal TxLINE proof, selects a band, routes fee/tip, and records the winner; insufficient liquidity forces void.
`resolve_market_v3`	Applies the same settlement invariants to TxLINE’s archived v3 multiproof shape.
`claim_ticket`	Refunds a voided ticket or pays a winning ticket proportionally; losing and repeat claims fail.
`void_market`	Voids one-sided markets after entry close or any unresolved market after `void_at`.

States

State	Allowed transitions
`Open`	`Resolved` or `Voided`
`Resolved`	No state transition; winning tickets may claim.
`Voided`	No state transition; all tickets may refund.

Limits

Limit	Value
Minimum stake	`1_000_000` minor units, one whole six-decimal token
Settlement mint decimals	6
Outcomes	2–5
Outcome bands	2–8
Outcome label	48 bytes maximum
Fee ceiling	500 bps
Resolver tip ceiling	200 bps

Settlement arithmetic

total = sum(pools)
fee   = floor(total * fee_bps / 10_000)
tip   = floor(total * tip_bps / 10_000)
net   = total - fee - tip
payout = floor(ticket.stake * net / winning_pool)

Multiplication uses u128. Unsolicited SPL transfers cannot block settlement: accounting uses recorded ticket pools, and the final claim transfers rounding or donated dust to the fixed treasury. A void refund is exactly the ticket stake and has no fee or tip. resolution_evidence_hash is SHA-256 over the domain slip:resolution-evidence:v1, market address, resolver address, TxLINE roots address, and exact Borsh-serialized proof argument. The full proof stays in the successful Solana transaction while the market stores only the 32-byte commitment.

Errors

Error	Meaning
`BadState`	Account state or vault balance does not permit the instruction.
`ClaimNotOpen`	Proof timestamp or clock is before resolution eligibility.
`ProofBeforeEntryDeadline`	The authenticated TxLINE batch predates entry close.
`SettlementWindowClosed`	Proof settlement was attempted at or after `void_at`.
`VoidNotReached`	Neither the one-sided entry-close rule nor timeout applies.
`BpsTooHigh`	Fee or resolver tip exceeds its ceiling.
`WrongRootsAccount`	TxLINE roots owner, PDA, layout, or slot is invalid.
`ProofInvalid`	Merkle folding does not reproduce the anchored root.
`FixtureMismatch`	Proof fixture differs from the market fixture.
`EpochDayMismatch`	Proof day and roots account day differ.
`MissingSecondStat`	Expression and proof disagree on second-stat shape.
`StatKeyMismatch`	Proved stat key differs from the expression.
`EntryClosed`	Purchase occurred at or after the entry deadline.
`InvalidTerms`	Stat key, side, period, or operation is non-canonical.
`FixtureNotFinal`	Proof is not from phase 5, 10, 13, or 100.
`StakeBelowMinimum`	Ticket stake is below one whole settlement token.
`WrongMintDecimals`	Settlement mint does not use six decimals.
`LosingTicket`	Resolved ticket does not hold the winning outcome.
`TicketAlreadyClaimed`	Ticket has already paid or refunded.
`InvalidOutcomes`	Labels or bands do not form a valid complete market.
`InvalidOutcomeIndex`	Outcome index is outside the market’s labels.
`Overflow` / `BadNumeric`	Integer calculation or conversion is outside the supported range.

Getting started

Design

Reference

Operations

TxODDS bounty

Program reference

Program reference

Network constants

Accounts

`Market`

`MarketTicket`

Vault

Instructions

States

Limits

Settlement arithmetic

Errors

​Program reference

​Network constants

​Accounts

​Market

​MarketTicket

​Vault

​Instructions

​States

​Limits

​Settlement arithmetic

​Errors

Program reference

Network constants

Accounts

`Market`

`MarketTicket`

Vault

Instructions

States

Limits

Settlement arithmetic

Errors