Trading and Collective Writer Commands

Petri uses semantic intent, the Lean-backed API, the pinned SDK, and a fresh finalized chain observation. It does not accept caller-selected protocol accounts or reimplement financial formulas.

Collective secondary trades

Prepare an exact-input option purchase without signing:

petri trades prepare \
  --market <MARKET_PUBKEY> \
  --direction quote-for-option \
  --amount-in <USDC_ATOMS> \
  --minimum-amount-out <OPTION_ATOMS> \
  --limit-bin-id <U16>

Use option-for-quote to sell an existing claim. To prepare, verify, sign locally, submit, and wait for confirmation, use the same flags with petri trades submit.

This is secondary trading only. New claims are issued through funded writer auctions.

Inspect collective writer sleeves

petri writers list
petri writers list --owner <WALLET_PUBKEY>
petri writers show --sleeve <SLEEVE_PUBKEY>
petri writers policy-audit --sleeve <SLEEVE_PUBKEY>

policy-audit shows the frozen policy version and commitments. It does not let a Flat holder change them.

Deposit writer principal

petri writers deposit \
  --sleeve <SLEEVE_PUBKEY> \
  --amount <USDC_ATOMS>

The amount is a canonical integer string in USDC atomic units. An admitted deposit mints matching Flat par under the sleeve’s current funding rules.

Place a funded primary bid

petri writers bid \
  --auction <AUCTION_PUBKEY> \
  --series-index <0..19> \
  --price <PRICE_PER_CONTRACT_ATOMS> \
  --amount <REQUESTED_CONTRACT_ATOMS>

The auction escrows the required funding. Acceptance remains subject to the committed seller reserve price, exact reserve, drawdown, issue cap, and oracle-security gates.

Transfer Flat

petri writers transfer-flat \
  --sleeve <SLEEVE_PUBKEY> \
  --destination <WALLET_PUBKEY> \
  --amount <FLAT_ATOMS>

Flat transfer changes ownership only. It does not redeem sleeve assets.

Preview and advance close-to-redeem

petri writers close-preview \
  --sleeve <SLEEVE_PUBKEY> \
  --amount <FLAT_ATOMS> \
  --minimum-withdrawal <USDC_ATOMS>

Then advance only the next admitted stage:

petri writers close \
  --sleeve <SLEEVE_PUBKEY> \
  --amount <FLAT_ATOMS> \
  --minimum-withdrawal <USDC_ATOMS> \
  --close-request <REQUEST_PUBKEY>

Omit --close-request when beginning. A close can require begin, multiple bounded basket deposits, and finalization. Use:

petri writers close-status --close-request <REQUEST_PUBKEY>

until it reports a terminal state.

Settlement claims

petri writers claim \
  --sleeve <SLEEVE_PUBKEY> \
  --variant collective-long \
  --series-index <INDEX> \
  --amount <OPTION_ATOMS>

For Flat residual:

petri writers claim \
  --sleeve <SLEEVE_PUBKEY> \
  --variant flat-residual \
  --amount <FLAT_ATOMS>

Manager liquidity

petri liquidity plan, add, remove, and close-position expose current manager-liquidity JSON parity. Public Petri does not sign or submit manager-liquidity mutations.

Availability

All commands fail closed if the exact RC41 deployment, backend, selected RPC, market, group, sleeve, pool, or finalized observation does not match. As last verified on August 20, 2026, no collective pools or sleeves were active on Devnet, so correct commands can still return an unavailable state.