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.