Settlement audit

From verified source to payout

Pokerbear separates provider verification from custody. The adapter can prove a result, but it cannot move collateral or invent a different outcome.

Current evaluator state

Waiting for a final TxLINE record

Deterministic timeout exit

If no valid receipt arrives by the frozen deadline, anyone can void the market. Each YES or NO share then returns half of complete-set backing.

1
Frozen market terms
Fixture, participant mapping, stat keys, period 100, timing, and complementary predicates.
2
TxLINE validates
The adapter calls the exact devnet validate_stat ABI against the timestamp-derived daily root.
3
Immutable receipt
Only exact true creates the one-shot, no-custody proof receipt.
4
Core rechecks
Core independently validates program/config/root/binding/predicate/terminality/time and replay.
5
Redeem or void
Winners redeem exact complete-set backing; source timeout follows the precommitted half-refund rule.