sell_v3

// discriminator 1c92de7726c469d5  (hidden: not in published IDL)
// accounts: 0 global, 1 base_mint, 2 quote_mint, 3 base_token_program, 4 quote_token_program,
//   5 bonding_curve (mut), 6 associated_base_bonding_curve (mut), 7 associated_quote_bonding_curve (mut; unused/empty for SOL),
//   8 user (signer, mut), 9 associated_base_user (mut), 10 associated_quote_user (mut),
//   11 user_volume_accumulator (mut), 12 fee_config (pfee program), 13 fee_recipient (SOL wallet, or its quote ATA),
//   14 system_program, 15 event_authority, 16 program
fn sell_v3(ctx, amount: u64, min_quote_out: u64) -> Result<()> {   // fn_245e9
    msg!("Instruction: SellV3");
    require!(ix_data.len() >= 16);                    // two u64 args
    TradeV3Accounts::try_accounts(ctx)?;              // fn_1f826: PDA/owner/mint/ATA checks, shared with buy_v3 / buy_exact_quote_in_v3
    let bc = &mut ctx.bonding_curve;
    check_curve_state(bc)?;                           // fn_076ea / fn_0f4b6 (complete / mode flags)
    require!(amount != 0, Err(6022));                 // pc 2862e
    require!(user_base_ata.amount >= amount, Err(6023)); // pc 28631
    // constant product quote, floored                  fn_1341e
    let gross = (bc.virtual_quote as u128 * amount as u128 / (bc.virtual_token + amount) as u128) as u64;
    // fees                                              fn_0f803 -> fn_109ae (util/fee.rs)
    //   bps from fee_config tiers by market cap (currently flat: protocol 95, creator 30, lp 0);
    //   hardcoded creator addresses get special fee sets; if global flag set and curve.creator_fee_bps_override != 0 it is used
    let protocol_fee = ceil_div(gross * protocol_bps, 10_000);   // fn_107c7
    let creator_fee  = ceil_div(gross * creator_bps, 10_000);
    let net = gross.checked_sub(protocol_fee).and_then(|x| x.checked_sub(creator_fee)).ok_or(6024)?; // fn_0f8d7
    require!(net >= min_quote_out, Err(TooLittleSolReceived /*6003*/));  // pc 286f5
    // reserves: virtual_token += amount; real_token += amount; virtual_quote -= gross; real_quote -= gross  (fn_135f3, checked)
    // base tokens user -> curve                      fn_11594: transfer_checked(base_token_program, user_base_ata -> curve_base_ata, amount, user signs)
    // quote out to user                              fn_12120
    if quote_mint == native { move_lamports(bonding_curve -> user, net); }
    else { transfer_checked(quote_token_program, curve_quote_ata -> user_quote_ata, net, signer = ["bonding-curve", base_mint, bump]); }
    // protocol-fee split                             fn_136f2
    let to_recipient = if bc.flag_154 { 0 } else { protocol_fee * global.fee_split_bps /*5000*/ / 10_000 }; // floor; split_bps <= 9999 enforced
    bc.retained_protocol += protocol_fee - to_recipient;   // curve field +120, stays in curve account
    bc.accrued_creator   += creator_fee;                   // curve field +112, stays in curve account
    pay_from_curve(fee_recipient, to_recipient);           // fn_12196: lamports (SOL) or PDA-signed transfer_checked (token)
    update_user_volume_accumulator(...);              // fn_0222b
    emit_cpi!(TradeEvent { mint, sol_amount, token_amount: amount, is_buy: false, user, timestamp,
        virtual/real reserves, fee_recipient, fee_bps, fee: protocol_fee, creator, creator_fee_bps, creator_fee,
        ix_name: "sell", buyback_bps: 5000, buyback_fee: to_recipient, quote_mint, quote_amount: gross,
        virtual_quote, real_quote, ... });            // via "__event_authority"
    Ok(())
}