Program

Instructions: register_operator, create_mandate, fund, amend_policy, pause, unpause (owner only), revoke, owner_withdraw, execute_swap, execute_deposit, execute_withdraw_venue, spend.

Live semantics today: TypeScript packages/engine. Anchor port: programs/mandate. Quote program ids from docs/FACTS.md only.

Full tables: repo SPEC.md.