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

# Transaction Safety

> Example transactions, expected effects, and simulation evidence.

<Info>
  This page gives reviewers concrete, reproducible evidence. Fill in real
  transaction signatures and explorer links so each example can be independently
  verified on Solana.
</Info>

## Example transactions

All examples run against program `B6nzqfZfxJ2UyAGD7ko3zSa2QLF8aWNjHqjkDqh1dzsC`
(devnet). Live transactions can be inspected on the
[program's explorer page](https://explorer.solana.com/address/B6nzqfZfxJ2UyAGD7ko3zSa2QLF8aWNjHqjkDqh1dzsC?cluster=devnet).

<Tabs>
  <Tab title="Make a prediction">
    | Field                   | Value                                         |
    | ----------------------- | --------------------------------------------- |
    | Instruction             | `place_bet`                                   |
    | Caller                  | Any user                                      |
    | Expected balance change | SOL moves from the user into the market vault |
    | Events                  | `BetPlaced`                                   |
  </Tab>

  <Tab title="Claim">
    | Field                   | Value                                                                   |
    | ----------------------- | ----------------------------------------------------------------------- |
    | Instruction             | `claim`                                                                 |
    | Precondition            | Market resolved (or voided)                                             |
    | Expected balance change | Proportional payout from vault to the winner (or full refund if voided) |
    | Events                  | `Claimed`                                                               |
  </Tab>

  <Tab title="Resolve">
    | Field                   | Value                                                      |
    | ----------------------- | ---------------------------------------------------------- |
    | Instruction             | `resolve`                                                  |
    | Caller                  | `config.resolution_authority`                              |
    | Expected balance change | Protocol fee moves from vault to treasury `3AzAex6f…xn9Cz` |
    | Events                  | `MarketResolved`                                           |
  </Tab>
</Tabs>

## Expected balance changes

Each instruction changes only the balances shown above: a prediction moves the
user's stake into the market vault, a claim moves a proportional payout out of the
vault to the winner, and a resolution moves only the protocol fee to the treasury.
There are no other outbound transfers.

## Simulation results

<Note>
  Solana wallets and risk engines simulate transactions before signing. Providing
  your own simulation output strengthens the review.
</Note>

<CardGroup cols={2}>
  <Card title="Program on explorer" icon="magnifying-glass" href="https://explorer.solana.com/address/B6nzqfZfxJ2UyAGD7ko3zSa2QLF8aWNjHqjkDqh1dzsC?cluster=devnet">
    View the program and its recent transactions on Solana Explorer (devnet).
  </Card>

  <Card title="Wallet simulation" icon="wallet">
    Wallets and risk engines simulate each transaction before signing, showing the exact balance changes.
  </Card>
</CardGroup>

## Why these transactions are expected and benign

Each example maps one-to-one to an action the user explicitly initiated. Predictions move
SOL into a program-owned market vault; claims pay out by a fixed proportional
(parimutuel) formula from that vault. There are no hidden transfers, no SPL token
delegate, and no authority that can move a user's main-wallet funds — see
[Wallet Interactions](/security/wallet-interactions).