> ## Documentation Index
> Fetch the complete documentation index at: https://docs.useslip.xyz/llms.txt
> Use this file to discover all available pages before exploring further.

# Proof and settlement reference

> Permissionless resolution from a genuine TxLINE daily root.

# Proof and settlement reference

`@slip/sdk/txline` retrieves authenticated fixtures, terminal snapshots, Merkle paths, and daily-root coordinates. `resolveMarket` accepts the corresponding generated proof fields and builds the real program instruction.

The program verifies both statistic leaves, the event subtree, fixture summary, main tree, daily-root account, terminal phase, fixture ID, period, and expression. Any caller may resolve after `resolveAt`. The resolver receives the configured tip. The treasury receives the protocol fee and final payout dust.

For archived local dogfood, copy the genuine TxLINE daily-root account from devnet into Surfpool and use the matching real proof. Never synthesize a root, proof, terminal status, or successful resolution.

Claims floor each proportional payout with integer arithmetic. Losers cannot claim. A ticket cannot claim twice. One-sided markets void after entry close. Anyone may void after `voidAt`. Voided tickets refund their full stake.