LCOV - code coverage report
Current view: top level - flamenco/runtime/program - fd_stake_program.c (source / functions) Hit Total Coverage
Test: cov.lcov Lines: 66 1934 3.4 %
Date: 2026-03-18 06:04:16 Functions: 6 53 11.3 %

          Line data    Source code
       1             : #include <limits.h>
       2             : 
       3             : #include "../../../util/bits/fd_sat.h"
       4             : #include "../../../util/bits/fd_uwide.h"
       5             : #include "../../accdb/fd_accdb_sync.h"
       6             : #include "../../log_collector/fd_log_collector.h"
       7             : #include "../sysvar/fd_sysvar_epoch_schedule.h"
       8             : #include "../sysvar/fd_sysvar_rent.h"
       9             : #include "../sysvar/fd_sysvar.h"
      10             : #include "../fd_borrowed_account.h"
      11             : #include "../fd_executor.h"
      12             : #include "../fd_pubkey_utils.h"
      13             : #include "../fd_system_ids.h"
      14             : #include "../fd_runtime.h"
      15             : #include "fd_stake_program.h"
      16             : #include "fd_vote_program.h"
      17             : 
      18             : /* A note on fd_borrowed_account_acquire_write:
      19             : 
      20             :    The stake program uses this function to prevent aliasing of accounts.
      21             :    (When the same account is passed via multiple instruction account
      22             :    indexes.)  Internally, it acquires a transaction-wide mutex on the
      23             :    account.  If called twice on the same account while the mutex is
      24             :    still locked, it returns an "AccountBorrowFailed" error.
      25             : 
      26             :    There is no exact equivalent to this in Agave/Rust.
      27             : 
      28             :      let handle = instruction_context.try_borrow_instruction_account(...)
      29             : 
      30             :    The above creates the lock on the account.  However, that lock is
      31             :    **implicitly** released when 'handle' goes out of scope.  Firedancer
      32             :    releases the handle **explicitly**. */
      33             : 
      34             : /* The worst case stake instruction footprint can happen with one of the
      35             :    dynamically sized instruction types.
      36             : 
      37             :    Both these types have a dynamic size based on the size of the seed.
      38             :    authorize_with_seed
      39             :    authorize_checked_with_seed
      40             : 
      41             :    A loose, but reaosonable bound is that the seed takes up the entire
      42             :    FD_TXN_MTU to express.
      43             : 
      44             :    So, the worst case footprint is the sum of the size of the
      45             :    instruction and the transaction MTU. */
      46             : 
      47             : #define FD_STAKE_INSTR_FOOTPRINT (FD_TXN_MTU + sizeof(fd_stake_instruction_t))
      48             : 
      49             : /**********************************************************************/
      50             : /* Errors                                                             */
      51             : /**********************************************************************/
      52             : 
      53             : // DO NOT REORDER: https://github.com/bincode-org/bincode/blob/trunk/docs/spec.md#enums
      54             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L28
      55             : #define FD_STAKE_ERR_NO_CREDITS_TO_REDEEM                                                   ( 0 )
      56           0 : #define FD_STAKE_ERR_LOCKUP_IN_FORCE                                                        ( 1 )
      57           0 : #define FD_STAKE_ERR_ALREADY_DEACTIVATED                                                    ( 2 )
      58           0 : #define FD_STAKE_ERR_TOO_SOON_TO_REDELEGATE                                                 ( 3 )
      59           0 : #define FD_STAKE_ERR_INSUFFICIENT_STAKE                                                     ( 4 )
      60           0 : #define FD_STAKE_ERR_MERGE_TRANSIENT_STAKE                                                  ( 5 )
      61           0 : #define FD_STAKE_ERR_MERGE_MISMATCH                                                         ( 6 )
      62           0 : #define FD_STAKE_ERR_CUSTODIAN_MISSING                                                      ( 7 )
      63           0 : #define FD_STAKE_ERR_CUSTODIAN_SIGNATURE_MISSING                                            ( 8 )
      64           0 : #define FD_STAKE_ERR_INSUFFICIENT_REFERENCE_VOTES                                           ( 9 )
      65           0 : #define FD_STAKE_ERR_VOTE_ADDRESS_MISMATCH                                                  ( 10 )
      66           0 : #define FD_STAKE_ERR_MINIMUM_DELIQUENT_EPOCHS_FOR_DEACTIVATION_NOT_MET                      ( 11 )
      67           0 : #define FD_STAKE_ERR_INSUFFICIENT_DELEGATION                                                ( 12 )
      68             : #define FD_STAKE_ERR_REDELEGATE_TRANSIENT_OR_INACTIVE_STAKE                                 ( 13 )
      69             : #define FD_STAKE_ERR_REDELEGATE_TO_SAME_VOTE_ACCOUNT                                        ( 14 )
      70             : #define FD_STAKE_ERR_REDELEGATED_STAKE_MUST_FULLY_ACTIVATE_BEFORE_DEACTIVATION_IS_PERMITTED ( 15 )
      71           0 : #define FD_STAKE_ERR_EPOCH_REWARDS_ACTIVE                                                   ( 16 )
      72             : 
      73             : /**********************************************************************/
      74             : /* Constants                                                          */
      75             : /**********************************************************************/
      76             : 
      77             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/lib.rs#L31
      78           0 : #define MINIMUM_DELEGATION_SOL                     ( 1 )
      79             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/mod.rs#L18
      80           0 : #define MINIMUM_DELINQUENT_EPOCHS_FOR_DEACTIVATION ( 5 )
      81             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L26-L28
      82           0 : #define DEFAULT_WARMUP_COOLDOWN_RATE               ( 0.25 )
      83           0 : #define NEW_WARMUP_COOLDOWN_RATE                   ( 0.09 )
      84           0 : #define DEFAULT_SLASH_PENALTY                      ( 12 )
      85             : 
      86             : #define STAKE_AUTHORIZE_STAKER                                                                     \
      87           0 :   ( ( fd_stake_authorize_t ){ .discriminant = fd_stake_authorize_enum_staker } )
      88             : #define STAKE_AUTHORIZE_WITHDRAWER                                                                 \
      89           0 :   ( ( fd_stake_authorize_t ){ .discriminant = fd_stake_authorize_enum_withdrawer } )
      90             : 
      91             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L51
      92             : #define DEFAULT_COMPUTE_UNITS 750UL
      93             : 
      94             : /**********************************************************************/
      95             : /* MergeKind                                                          */
      96             : /**********************************************************************/
      97             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1074-L1079
      98             : struct merge_kind_inactive {
      99             :   fd_stake_meta_t  meta;
     100             :   ulong            active_stake;
     101             :   fd_stake_flags_t stake_flags;
     102             : };
     103             : typedef struct merge_kind_inactive merge_kind_inactive_t;
     104             : 
     105             : struct merge_kind_activation_epoch {
     106             :   fd_stake_meta_t  meta;
     107             :   fd_stake_t       stake;
     108             :   fd_stake_flags_t stake_flags;
     109             : };
     110             : typedef struct merge_kind_activation_epoch merge_kind_activation_epoch_t;
     111             : 
     112             : struct merge_kind_fully_active {
     113             :   fd_stake_meta_t meta;
     114             :   fd_stake_t      stake;
     115             : };
     116             : typedef struct merge_kind_fully_active merge_kind_fully_active_t;
     117             : 
     118             : union merge_kind_inner {
     119             :   merge_kind_inactive_t         inactive;
     120             :   merge_kind_activation_epoch_t activation_epoch;
     121             :   merge_kind_fully_active_t     fully_active;
     122             : };
     123             : typedef union merge_kind_inner merge_kind_inner_t;
     124             : 
     125             : struct merge_kind {
     126             :   uint               discriminant;
     127             :   merge_kind_inner_t inner;
     128             : };
     129             : typedef struct merge_kind merge_kind_t;
     130             : 
     131             : enum { merge_kind_inactive = 0, merge_kind_activation_epoch = 1, merge_kind_fully_active = 2 };
     132             : 
     133             : typedef fd_stake_history_entry_t stake_activation_status_t;
     134             : 
     135             : struct effective_activating {
     136             :   ulong effective;
     137             :   ulong activating;
     138             : };
     139             : typedef struct effective_activating effective_activating_t;
     140             : 
     141             : /**********************************************************************/
     142             : /* Bincode                                                            */
     143             : /**********************************************************************/
     144             : 
     145             : static int
     146             : get_state( fd_account_meta_t const * meta,
     147           0 :            fd_stake_state_v2_t *     out ) {
     148           0 :   int rc;
     149             : 
     150           0 :   fd_bincode_decode_ctx_t bincode_ctx = {
     151           0 :     .data    = fd_account_data( meta ),
     152           0 :     .dataend = fd_account_data( meta ) + meta->dlen,
     153           0 :   };
     154             : 
     155           0 :   ulong total_sz = 0UL;
     156           0 :   rc = fd_stake_state_v2_decode_footprint( &bincode_ctx, &total_sz );
     157           0 :   if( FD_UNLIKELY( rc!=FD_BINCODE_SUCCESS ) ) {
     158           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
     159           0 :   }
     160             : 
     161           0 :   fd_stake_state_v2_decode( out, &bincode_ctx );
     162             : 
     163           0 :   return 0;
     164           0 : }
     165             : 
     166             : static int
     167             : set_state( fd_borrowed_account_t *     borrowed_acct,
     168           0 :            fd_stake_state_v2_t const * state ) {
     169             : 
     170           0 :   uchar * data = NULL;
     171           0 :   ulong   dlen = 0UL;
     172             : 
     173           0 :   int err = fd_borrowed_account_get_data_mut( borrowed_acct, &data, &dlen );
     174           0 :   if( FD_UNLIKELY( err ) ) return err;
     175             : 
     176           0 :   ulong serialized_size = fd_stake_state_v2_size( state );
     177           0 :   if( FD_UNLIKELY( serialized_size>dlen ) )
     178           0 :     return FD_EXECUTOR_INSTR_ERR_ACC_DATA_TOO_SMALL;
     179             : 
     180           0 :   fd_bincode_encode_ctx_t encode = {
     181           0 :     .data    = data,
     182           0 :     .dataend = data + serialized_size,
     183           0 :   };
     184           0 :   do {
     185           0 :     int err = fd_stake_state_v2_encode( state, &encode );
     186           0 :     if( FD_UNLIKELY( err ) ) FD_LOG_ERR(( "fd_stake_state_v2_encode failed" ));
     187           0 :   } while(0);
     188             : 
     189           0 :   return 0;
     190           0 : }
     191             : 
     192             : /**********************************************************************/
     193             : /* mod stake                                                          */
     194             : /**********************************************************************/
     195             : 
     196             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/lib.rs#L29
     197             : static inline ulong
     198           0 : get_minimum_delegation( fd_bank_t * bank ) {
     199           0 :   return fd_ulong_if( FD_FEATURE_ACTIVE_BANK( bank, stake_raise_minimum_delegation_to_1_sol ),
     200           0 :                       MINIMUM_DELEGATION_SOL * LAMPORTS_PER_SOL,
     201           0 :                       1 );
     202           0 : }
     203             : 
     204             : /**********************************************************************/
     205             : /* mod stake/state                                                    */
     206             : /**********************************************************************/
     207             : 
     208             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L30
     209             : static inline double
     210           0 : warmup_cooldown_rate( ulong current_epoch, ulong * new_rate_activation_epoch ) {
     211           0 :   return fd_double_if( current_epoch <
     212           0 :                            ( new_rate_activation_epoch ? *new_rate_activation_epoch : ULONG_MAX ),
     213           0 :                        DEFAULT_WARMUP_COOLDOWN_RATE,
     214           0 :                        NEW_WARMUP_COOLDOWN_RATE );
     215           0 : }
     216             : 
     217             : /**********************************************************************/
     218             : /* validated                                                          */
     219             : /**********************************************************************/
     220             : 
     221             : struct validated_delegated_info {
     222             :   ulong stake_amount;
     223             : };
     224             : typedef struct validated_delegated_info validated_delegated_info_t;
     225             : 
     226             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L963
     227             : static int
     228             : validate_delegated_amount( fd_bank_t *                  bank,
     229             :                            fd_borrowed_account_t *      account,
     230             :                            fd_stake_meta_t const *      meta,
     231             :                            validated_delegated_info_t * out,
     232           0 :                            uint *                       custom_err ) {
     233           0 :   ulong stake_amount = fd_ulong_sat_sub( fd_borrowed_account_get_lamports( account ), meta->rent_exempt_reserve );
     234             : 
     235           0 :   if( FD_UNLIKELY( stake_amount<get_minimum_delegation( bank ) ) ) {
     236           0 :     *custom_err = FD_STAKE_ERR_INSUFFICIENT_DELEGATION;
     237           0 :     return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
     238           0 :   }
     239           0 :   out->stake_amount = stake_amount;
     240           0 :   return 0;
     241           0 : }
     242             : 
     243             : struct validated_split_info {
     244             :   ulong source_remaining_balance;
     245             :   ulong destination_rent_exempt_reserve;
     246             : };
     247             : typedef struct validated_split_info validated_split_info_t;
     248             : 
     249             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L992
     250             : static int
     251             : validate_split_amount( fd_exec_instr_ctx_t const * invoke_context,
     252             :                        uchar                       source_account_index,
     253             :                        uchar                       destination_account_index,
     254             :                        ulong                       lamports,
     255             :                        fd_stake_meta_t const *     source_meta,
     256             :                        ulong                       additional_required_lamports,
     257             :                        int                         source_is_active,
     258           0 :                        validated_split_info_t *    out ) {
     259           0 :   ulong source_lamports = 0;
     260             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L1003-L1004 */
     261           0 :   fd_guarded_borrowed_account_t source_account = {0};
     262           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( invoke_context, source_account_index, &source_account );
     263             : 
     264             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1005
     265           0 :   source_lamports = fd_borrowed_account_get_lamports( &source_account );
     266             : 
     267             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L1006 */
     268           0 :   fd_borrowed_account_drop( &source_account );
     269             : 
     270           0 :   ulong destination_lamports = 0;
     271           0 :   ulong destination_data_len = 0;
     272             : 
     273             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L1007-L1008 */
     274           0 :   fd_guarded_borrowed_account_t destination_account = {0};
     275           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( invoke_context, destination_account_index, &destination_account );
     276             : 
     277             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1009-1010
     278           0 :   destination_lamports = fd_borrowed_account_get_lamports( &destination_account );
     279           0 :   destination_data_len = fd_borrowed_account_get_data_len( &destination_account );
     280             : 
     281             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L1011 */
     282           0 :   fd_borrowed_account_drop( &destination_account );
     283             : 
     284             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1013-L1021
     285           0 :   if( FD_UNLIKELY( lamports==0 ) ) return FD_EXECUTOR_INSTR_ERR_INSUFFICIENT_FUNDS;
     286           0 :   if( FD_UNLIKELY( lamports>source_lamports ) ) return FD_EXECUTOR_INSTR_ERR_INSUFFICIENT_FUNDS;
     287             : 
     288             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1027-L1040
     289           0 :   ulong source_minimum_balance =
     290           0 :       fd_ulong_sat_add( source_meta->rent_exempt_reserve, additional_required_lamports );
     291           0 :   ulong source_remaining_balance = fd_ulong_sat_sub( source_lamports, lamports );
     292             : 
     293           0 :   if( FD_LIKELY( source_remaining_balance==0 ) ) {
     294           0 :   } else if( source_remaining_balance<source_minimum_balance ) {
     295           0 :     return FD_EXECUTOR_INSTR_ERR_INSUFFICIENT_FUNDS;
     296           0 :   } else {
     297           0 :   };
     298             : 
     299             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1042
     300           0 :   fd_rent_t rent_;
     301           0 :   fd_rent_t const * rent = fd_sysvar_cache_rent_read( invoke_context->sysvar_cache, &rent_ );
     302           0 :   if( FD_UNLIKELY( !rent ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
     303             : 
     304             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1043
     305           0 :   ulong destination_rent_exempt_reserve =
     306           0 :       fd_rent_exempt_minimum_balance( rent, destination_data_len );
     307             : 
     308             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1048
     309           0 :   if( FD_UNLIKELY(
     310           0 :            source_is_active && source_remaining_balance!=0 &&
     311           0 :            destination_lamports<destination_rent_exempt_reserve ) ) {
     312           0 :     return FD_EXECUTOR_INSTR_ERR_INSUFFICIENT_FUNDS;
     313           0 :   }
     314             : 
     315             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1059-L1066
     316           0 :   ulong destination_minimum_balance =
     317           0 :       fd_ulong_sat_add( destination_rent_exempt_reserve, additional_required_lamports );
     318           0 :   ulong destination_balance_deficit =
     319           0 :       fd_ulong_sat_sub( destination_minimum_balance, destination_lamports );
     320           0 :   if( FD_UNLIKELY( lamports<destination_balance_deficit ) ) {
     321           0 :     return FD_EXECUTOR_INSTR_ERR_INSUFFICIENT_FUNDS;
     322           0 :   }
     323             : 
     324             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1067-L1071
     325           0 :   out->source_remaining_balance        = source_remaining_balance;
     326           0 :   out->destination_rent_exempt_reserve = destination_rent_exempt_reserve;
     327           0 :   return 0;
     328           0 : }
     329             : 
     330             : /**********************************************************************/
     331             : /* impl Lockup                                                        */
     332             : /**********************************************************************/
     333             : 
     334             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L270
     335             : static inline int
     336             : lockup_is_in_force( fd_stake_lockup_t const *     self,
     337             :                     fd_sol_sysvar_clock_t const * clock,
     338           0 :                     fd_pubkey_t const *           custodian ) {
     339             :   // FIXME FD_LIKELY
     340           0 :   if( custodian && !memcmp( custodian, &self->custodian, sizeof( fd_pubkey_t ) ) ) {
     341           0 :     return 0;
     342           0 :   }
     343           0 :   return self->unix_timestamp>clock->unix_timestamp || self->epoch>clock->epoch;
     344           0 : }
     345             : 
     346             : /**********************************************************************/
     347             : /* impl Authorized                                                    */
     348             : /**********************************************************************/
     349             : 
     350             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L359
     351             : static inline int
     352             : authorized_check( fd_stake_authorized_t const * self,
     353             :                   fd_pubkey_t const *           signers[static FD_TXN_SIG_MAX],
     354             :                   ulong                         signers_cnt,
     355           0 :                   fd_stake_authorize_t          stake_authorize ) {
     356             :   /* clang-format off */
     357           0 :   switch( stake_authorize.discriminant ) {
     358             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L365
     359           0 :   case fd_stake_authorize_enum_staker:
     360           0 :     if( FD_LIKELY( fd_signers_contains( signers, signers_cnt, &self->staker ) ) ) {
     361           0 :       return 0;
     362           0 :     }
     363           0 :     return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
     364             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L366
     365           0 :   case fd_stake_authorize_enum_withdrawer:
     366           0 :     if( FD_LIKELY( fd_signers_contains( signers, signers_cnt, &self->withdrawer ) ) ) {
     367           0 :       return 0;
     368           0 :     }
     369           0 :     return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
     370           0 :   default:
     371           0 :     return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
     372           0 :   }
     373             :   /* clang-format on */
     374           0 : }
     375             : 
     376             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L371
     377             : static int
     378             : authorized_authorize( fd_stake_authorized_t *                  self,
     379             :                       fd_pubkey_t const *                      signers[static FD_TXN_SIG_MAX],
     380             :                       ulong                                    signers_cnt,
     381             :                       fd_pubkey_t const *                      new_authorized,
     382             :                       fd_stake_authorize_t const *             stake_authorize,
     383             :                       fd_stake_lockup_custodian_args_t const * lockup_custodian_args,
     384           0 :                       /* out */ uint *                         custom_err ) {
     385           0 :   int rc;
     386           0 :   switch( stake_authorize->discriminant ) {
     387             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L379
     388           0 :   case fd_stake_authorize_enum_staker:
     389           0 :     if( FD_UNLIKELY( !fd_signers_contains( signers, signers_cnt, &self->staker ) &&
     390           0 :                       !fd_signers_contains( signers, signers_cnt, &self->withdrawer ) ) ) {
     391           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
     392           0 :     }
     393           0 :     self->staker = *new_authorized;
     394           0 :     break;
     395             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L386
     396           0 :   case fd_stake_authorize_enum_withdrawer:
     397           0 :     if( FD_LIKELY( lockup_custodian_args ) ) {
     398           0 :       fd_stake_lockup_t const *     lockup    = &lockup_custodian_args->lockup;
     399           0 :       fd_sol_sysvar_clock_t const * clock     = &lockup_custodian_args->clock;
     400           0 :       fd_pubkey_t const *           custodian = lockup_custodian_args->custodian;
     401             : 
     402             :       // FIXME FD_LIKELY
     403           0 :       if( lockup_is_in_force( lockup, clock, NULL ) ) {
     404             :         // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L389-L402
     405           0 :         if( !custodian ) { // FIXME FD_LIKELY
     406           0 :           *custom_err = FD_STAKE_ERR_CUSTODIAN_MISSING;
     407           0 :           return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
     408           0 :         } else {
     409           0 :           if( FD_UNLIKELY( !fd_signers_contains( signers, signers_cnt, custodian ) ) ) {
     410           0 :             *custom_err = FD_STAKE_ERR_CUSTODIAN_SIGNATURE_MISSING;
     411           0 :             return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
     412           0 :           }
     413             : 
     414           0 :           if( FD_UNLIKELY( lockup_is_in_force( lockup, clock, custodian ) ) ) {
     415           0 :             *custom_err = FD_STAKE_ERR_LOCKUP_IN_FORCE;
     416           0 :             return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
     417           0 :           }
     418           0 :         }
     419           0 :       }
     420             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L405
     421           0 :       rc = authorized_check( self, signers, signers_cnt, *stake_authorize );
     422           0 :       if( FD_UNLIKELY( rc ) ) return rc;
     423           0 :       self->withdrawer = *new_authorized;
     424           0 :     }
     425           0 :   }
     426           0 :   return 0;
     427           0 : }
     428             : 
     429             : /**********************************************************************/
     430             : /* impl Meta                                                          */
     431             : /**********************************************************************/
     432             : 
     433             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L482
     434             : static inline int
     435             : set_lockup_meta( fd_stake_meta_t *             self,
     436             :                  fd_lockup_args_t const *      lockup,
     437             :                  fd_pubkey_t const *           signers[static FD_TXN_SIG_MAX],
     438             :                  ulong                         signers_cnt,
     439           0 :                  fd_sol_sysvar_clock_t const * clock ) {
     440             :   // FIXME FD_LIKELY
     441           0 :   if( lockup_is_in_force( &self->lockup, clock, NULL ) ) {
     442           0 :     if( !fd_signers_contains( signers, signers_cnt, &self->lockup.custodian ) ) {
     443           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
     444           0 :     }
     445           0 :   } else if( !fd_signers_contains( signers, signers_cnt, &self->authorized.withdrawer ) ) {
     446           0 :     return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
     447           0 :   }
     448             : 
     449             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L498-L506
     450           0 :   if( lockup->unix_timestamp ) self->lockup.unix_timestamp = *lockup->unix_timestamp;
     451           0 :   if( lockup->epoch ) self->lockup.epoch = *lockup->epoch;
     452           0 :   if( lockup->custodian ) self->lockup.custodian = *lockup->custodian;
     453           0 :   return 0;
     454           0 : }
     455             : 
     456             : /**********************************************************************/
     457             : /* impl Delegation                                                    */
     458             : /**********************************************************************/
     459             : 
     460             : typedef fd_stake_history_entry_t fd_stake_activation_status_t;
     461             : 
     462             : fd_stake_history_entry_t const *
     463             : fd_stake_history_ele_binary_search_const( fd_stake_history_t const * history,
     464          15 :                                           ulong epoch ) {
     465          15 :   ulong start = 0UL;
     466          15 :   ulong end  = history->fd_stake_history_len - 1;
     467             : 
     468          39 :   while ( start<=end ) {
     469          24 :     ulong mid = start + ( end - start ) / 2UL;
     470          24 :     if( history->fd_stake_history[mid].epoch==epoch ) {
     471           0 :       return &history->fd_stake_history[mid].entry;
     472          24 :     } else if( history->fd_stake_history[mid].epoch<epoch ) {
     473           0 :       if ( mid==0 ) return NULL;
     474           0 :       end = mid - 1;
     475          24 :     } else {
     476          24 :       start = mid + 1;
     477          24 :     }
     478          24 :   }
     479          15 :   return NULL;
     480          15 : }
     481             : 
     482             : fd_stake_history_entry_t const *
     483             : fd_stake_history_ele_query_const( fd_stake_history_t const * history,
     484          18 :                                   ulong epoch ) {
     485          18 :   if( 0 == history->fd_stake_history_len ) {
     486           3 :     return NULL;
     487           3 :   }
     488             : 
     489          15 :   if( epoch > history->fd_stake_history[0].epoch ) {
     490           0 :     return NULL;
     491           0 :   }
     492             : 
     493          15 :   ulong off = (history->fd_stake_history[0].epoch - epoch);
     494          15 :   if( off >= history->fd_stake_history_len ) {
     495          15 :     return fd_stake_history_ele_binary_search_const( history, epoch );
     496          15 :   }
     497             : 
     498           0 :   ulong e = (off + history->fd_stake_history_offset) & (history->fd_stake_history_size - 1);
     499             : 
     500           0 :   if ( history->fd_stake_history[e].epoch == epoch ) {
     501           0 :     return &history->fd_stake_history[e].entry;
     502           0 :   }
     503             : 
     504             :   // if the epoch did not match, we do a binary search
     505           0 :   return fd_stake_history_ele_binary_search_const( history, epoch );
     506           0 : }
     507             : 
     508             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L728
     509             : static effective_activating_t
     510             : stake_and_activating( fd_delegation_t const *    self,
     511             :                       ulong                      target_epoch,
     512             :                       fd_stake_history_t const * history,
     513          18 :                       ulong *                    new_rate_activation_epoch ) {
     514          18 :   ulong delegated_stake = self->stake;
     515             : 
     516          18 :   fd_stake_history_entry_t const * cluster_stake_at_activation_epoch;
     517             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L736
     518          18 :   if( self->activation_epoch==ULONG_MAX ) {
     519           0 :     return ( effective_activating_t ){ .effective = delegated_stake, .activating = 0 };
     520          18 :   } else if( self->activation_epoch==self->deactivation_epoch ) {
     521           0 :     return ( effective_activating_t ){ .effective = 0, .activating = 0 };
     522          18 :   } else if( target_epoch==self->activation_epoch ) {
     523           0 :     return ( effective_activating_t ){ .effective = 0, .activating = delegated_stake };
     524          18 :   } else if( target_epoch<self->activation_epoch ) {
     525           0 :     return ( effective_activating_t ){ .effective = 0, .activating = 0 };
     526          18 :   } else if( history &&
     527          18 :               ( cluster_stake_at_activation_epoch = fd_stake_history_ele_query_const(
     528          18 :                     history, self->activation_epoch ) ) ) {
     529           0 :     ulong                            prev_epoch         = self->activation_epoch;
     530           0 :     fd_stake_history_entry_t const * prev_cluster_stake = cluster_stake_at_activation_epoch;
     531             : 
     532             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L763
     533           0 :     ulong current_epoch;
     534           0 :     ulong current_effective_stake = 0;
     535           0 :     for( ;; ) {
     536           0 :       current_epoch = prev_epoch + 1;
     537           0 :       if( FD_LIKELY( prev_cluster_stake->activating==0 ) ) { // FIXME always optimize loop break?
     538           0 :         break;
     539           0 :       }
     540             : 
     541             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L775-L780
     542           0 :       ulong  remaining_activating_stake = delegated_stake - current_effective_stake;
     543           0 :       double weight = (double)remaining_activating_stake / (double)prev_cluster_stake->activating;
     544           0 :       double warmup_cooldown_rate_ =
     545           0 :           warmup_cooldown_rate( current_epoch, new_rate_activation_epoch );
     546             : 
     547             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L782-L786
     548           0 :       double newly_effective_cluster_stake =
     549           0 :           (double)prev_cluster_stake->effective * warmup_cooldown_rate_;
     550           0 :       ulong newly_effective_stake =
     551           0 :           fd_ulong_max( fd_rust_cast_double_to_ulong( weight * newly_effective_cluster_stake ), 1 );
     552             : 
     553             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L787-L792
     554           0 :       current_effective_stake += newly_effective_stake;
     555           0 :       if( FD_LIKELY( current_effective_stake>=delegated_stake ) ) {
     556           0 :         current_effective_stake = delegated_stake;
     557           0 :         break;
     558           0 :       }
     559             : 
     560             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L793
     561           0 :       if( FD_LIKELY( current_epoch>=target_epoch ||
     562           0 :                      current_epoch>=self->deactivation_epoch ) ) { // FIXME always optimize loop break
     563           0 :         break;
     564           0 :       }
     565             : 
     566             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L796-L801
     567           0 :       fd_stake_history_entry_t const * current_cluster_stake =
     568           0 :           fd_stake_history_ele_query_const( history, current_epoch );
     569           0 :       if( FD_UNLIKELY( NULL != current_cluster_stake ) ) {
     570           0 :         prev_epoch         = current_epoch;
     571           0 :         prev_cluster_stake = current_cluster_stake;
     572           0 :       } else {
     573             :         // FIXME always optimize loop break
     574           0 :         break;
     575           0 :       }
     576           0 :     }
     577             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L804-L807
     578           0 :     return ( effective_activating_t ){ .effective  = current_effective_stake,
     579           0 :                                        .activating = delegated_stake - current_effective_stake };
     580          18 :   } else {
     581             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L810
     582          18 :     return ( effective_activating_t ){ .effective = delegated_stake, .activating = 0 };
     583          18 :   }
     584          18 : }
     585             : 
     586             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L641
     587             : static fd_stake_activation_status_t
     588             : stake_activating_and_deactivating( fd_delegation_t const *    self,
     589             :                                    ulong                      target_epoch,
     590             :                                    fd_stake_history_t const * stake_history,
     591          18 :                                    ulong *                    new_rate_activation_epoch ) {
     592             : 
     593             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L648
     594          18 :   effective_activating_t effective_activating =
     595          18 :       stake_and_activating( self, target_epoch, stake_history, new_rate_activation_epoch );
     596             : 
     597          18 :   ulong effective_stake  = effective_activating.effective;
     598          18 :   ulong activating_stake = effective_activating.activating;
     599             : 
     600          18 :   fd_stake_history_entry_t const * cluster_stake_at_deactivation_epoch = NULL;
     601             : 
     602             :   // https://github.com/anza-xyz/agave/blob/v2.0.1/sdk/program/src/stake/state.rs#L652
     603          18 :   if( target_epoch<self->deactivation_epoch ) {
     604             :     // if is bootstrap
     605          18 :     if( activating_stake==0 ) {
     606          18 :       return ( fd_stake_history_entry_t ){
     607          18 :           .effective = effective_stake, .deactivating = 0, .activating = 0 };
     608          18 :     } else {
     609           0 :       return ( fd_stake_history_entry_t ){
     610           0 :           .effective = effective_stake, .deactivating = 0, .activating = activating_stake };
     611           0 :     }
     612          18 :   } else if( target_epoch==self->deactivation_epoch ) {
     613             :     // https://github.com/anza-xyz/agave/blob/be16321eb0db3e12a57a32f59febbf54b92ebb7c/sdk/program/src/stake/state.rs#L662
     614           0 :     return ( fd_stake_history_entry_t ){
     615           0 :         .effective = effective_stake, .deactivating = effective_stake, .activating = 0 };
     616           0 :   } else if( stake_history &&
     617           0 :              ( cluster_stake_at_deactivation_epoch = fd_stake_history_ele_query_const( stake_history, self->deactivation_epoch ) ) ) {
     618             :     // https://github.com/anza-xyz/agave/blob/be16321eb0db3e12a57a32f59febbf54b92ebb7c/sdk/program/src/stake/state.rs#L665
     619           0 :     ulong                      prev_epoch         = self->deactivation_epoch;
     620           0 :     fd_stake_history_entry_t const * prev_cluster_stake = cluster_stake_at_deactivation_epoch;
     621             : 
     622           0 :     ulong current_epoch;
     623           0 :     ulong current_effective_stake = effective_stake;
     624           0 :     for( ;; ) {
     625           0 :       current_epoch = prev_epoch + 1;
     626           0 :       if( prev_cluster_stake->deactivating==0 ) break;
     627             : 
     628           0 :       double weight = (double)current_effective_stake / (double)prev_cluster_stake->deactivating;
     629           0 :       double warmup_cooldown_rate_ =
     630           0 :           warmup_cooldown_rate( current_epoch, new_rate_activation_epoch );
     631             : 
     632             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L697-L700
     633           0 :       double newly_not_effective_cluster_stake =
     634           0 :           (double)prev_cluster_stake->effective * warmup_cooldown_rate_;
     635           0 :       ulong newly_not_effective_stake =
     636           0 :           fd_ulong_max( fd_rust_cast_double_to_ulong( weight * newly_not_effective_cluster_stake ), 1 );
     637             : 
     638           0 :       current_effective_stake =
     639           0 :           fd_ulong_sat_sub( current_effective_stake, newly_not_effective_stake );
     640           0 :       if( current_effective_stake==0 ) break;
     641             : 
     642           0 :       if( current_epoch>=target_epoch ) break;
     643             : 
     644             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L711-L713
     645           0 :       fd_stake_history_entry_t const * current_cluster_stake = NULL;
     646           0 :       if( ( current_cluster_stake = fd_stake_history_ele_query_const(stake_history, current_epoch ) ) ) {
     647           0 :         prev_epoch         = current_epoch;
     648           0 :         prev_cluster_stake = current_cluster_stake;
     649           0 :       } else {
     650           0 :         break;
     651           0 :       }
     652           0 :     }
     653             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L720
     654           0 :     return ( fd_stake_history_entry_t ){ .effective    = current_effective_stake,
     655           0 :                                          .deactivating = current_effective_stake,
     656           0 :                                          .activating   = 0 };
     657           0 :   } else {
     658             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L723C16-L723C17
     659           0 :     return ( fd_stake_history_entry_t ){ .effective = 0, .activating = 0, .deactivating = 0 };
     660           0 :   }
     661          18 : }
     662             : 
     663             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L630
     664             : static inline ulong
     665             : delegation_stake( fd_delegation_t const *    self,
     666             :                   ulong                      epoch,
     667             :                   fd_stake_history_t const * history,
     668           0 :                   ulong *                    new_rate_activation_epoch ) {
     669           0 :   return stake_activating_and_deactivating( self, epoch, history, new_rate_activation_epoch )
     670           0 :       .effective;
     671           0 : }
     672             : 
     673             : /**********************************************************************/
     674             : /* mod tools                                                          */
     675             : /**********************************************************************/
     676             : 
     677             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/tools.rs#L44
     678             : static inline int
     679             : acceptable_reference_epoch_credits( fd_vote_epoch_credits_t * epoch_credits,
     680           0 :                                     ulong                     current_epoch ) {
     681           0 :   ulong len            = deq_fd_vote_epoch_credits_t_cnt( epoch_credits );
     682           0 :   ulong epoch_index[1] = { ULONG_MAX };
     683             :   // FIXME FD_LIKELY
     684           0 :   if( !__builtin_usubl_overflow( len, MINIMUM_DELINQUENT_EPOCHS_FOR_DEACTIVATION, epoch_index ) ) {
     685           0 :     ulong epoch = current_epoch;
     686           0 :     for( ulong i = len - 1; i>=*epoch_index; i-- ) {
     687           0 :       ulong vote_epoch = deq_fd_vote_epoch_credits_t_peek_index( epoch_credits, i )->epoch;
     688           0 :       if( vote_epoch!=epoch ) { return 0; }
     689           0 :       epoch = fd_ulong_sat_sub( epoch, 1 );
     690           0 :       if( i==0 ) break;
     691           0 :     }
     692           0 :     return 1;
     693           0 :   } else {
     694           0 :     return 0;
     695           0 :   };
     696           0 : }
     697             : 
     698             : /* https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/tools.rs#L67-L83 */
     699             : static inline int
     700           0 : eligible_for_deactivate_delinquent( fd_vote_epoch_credits_t * epoch_credits, ulong current_epoch ) {
     701           0 :   if( FD_LIKELY( deq_fd_vote_epoch_credits_t_empty( epoch_credits ) ) ) {
     702           0 :     return 1;
     703           0 :   }
     704             : 
     705           0 :   fd_vote_epoch_credits_t * last = deq_fd_vote_epoch_credits_t_peek_tail( epoch_credits );
     706           0 :   if( FD_LIKELY( !last ) ) {
     707           0 :     return 1;
     708           0 :   } else {
     709           0 :     ulong epoch         = last->epoch;
     710           0 :     ulong minimum_epoch = ULONG_MAX;
     711           0 :     int res = fd_ulong_checked_sub( current_epoch, MINIMUM_DELINQUENT_EPOCHS_FOR_DEACTIVATION, &minimum_epoch );
     712           0 :     if( FD_LIKELY( res==0 ) ) {
     713           0 :       return epoch<=minimum_epoch;
     714           0 :     } else {
     715           0 :       return 0;
     716           0 :     }
     717           0 :   }
     718           0 : }
     719             : 
     720             : /**********************************************************************/
     721             : /* impl StakeFlags                                                    */
     722             : /**********************************************************************/
     723             : 
     724             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/stake_flags.rs#L72
     725             : #define STAKE_FLAGS_MUST_FULLY_ACTIVATE_BEFORE_DEACTIVATION_IS_PERMITTED                           \
     726             :   ( ( fd_stake_flags_t ){ .bits = 1 } )
     727             : 
     728             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/stake_flags.rs#L75
     729           0 : #define STAKE_FLAGS_EMPTY ( ( fd_stake_flags_t ){ .bits = 0 } )
     730             : 
     731             : /**********************************************************************/
     732             : /* impl Stake                                                         */
     733             : /**********************************************************************/
     734             : 
     735             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L915
     736             : static int
     737             : stake_split( fd_stake_t * self,
     738             :              ulong        remaining_stake_delta,
     739             :              ulong        split_stake_amount,
     740             :              uint *       custom_err,
     741           0 :              fd_stake_t * out ) {
     742           0 :   if( FD_UNLIKELY( remaining_stake_delta>self->delegation.stake ) ) {
     743           0 :     *custom_err = FD_STAKE_ERR_INSUFFICIENT_STAKE;
     744           0 :     return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
     745           0 :   }
     746           0 :   self->delegation.stake -= remaining_stake_delta;
     747           0 :   fd_stake_t new;
     748           0 :   new                  = *self;
     749           0 :   new.delegation.stake = split_stake_amount;
     750           0 :   *out                 = new;
     751           0 :   return 0;
     752           0 : }
     753             : 
     754             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L934
     755             : static int
     756           0 : stake_deactivate( fd_stake_t * stake, ulong epoch, uint * custom_err ) {
     757           0 :   if( FD_UNLIKELY( stake->delegation.deactivation_epoch!=ULONG_MAX ) ) {
     758           0 :     *custom_err = FD_STAKE_ERR_ALREADY_DEACTIVATED;
     759           0 :     return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
     760           0 :   } else {
     761           0 :     stake->delegation.deactivation_epoch = epoch;
     762           0 :     return 0;
     763           0 :   }
     764           0 : }
     765             : 
     766             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L62
     767             : int
     768             : fd_new_warmup_cooldown_rate_epoch(
     769             :     fd_epoch_schedule_t const * epoch_schedule,
     770             :     fd_features_t const *       features,
     771             :     /* out */ ulong *           epoch,
     772             :     int *                       err
     773          27 : ) {
     774          27 :   *err = 0;
     775             : 
     776          27 :   if( FD_UNLIKELY( !epoch_schedule ) ) {
     777           0 :     *epoch = ULONG_MAX;
     778           0 :     *err   = FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
     779           0 :     return 1;
     780           0 :   }
     781          27 :   *epoch = fd_slot_to_epoch( epoch_schedule, features->reduce_stake_warmup_cooldown, NULL );
     782          27 :   return 1;
     783          27 : }
     784             : 
     785             : /**********************************************************************/
     786             : /* util                                                               */
     787             : /**********************************************************************/
     788             : 
     789             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/state.rs#L205
     790             : FD_FN_CONST static inline ulong
     791           0 : stake_state_v2_size_of( void ) {
     792           0 :   return 200;
     793           0 : }
     794             : 
     795             : /**********************************************************************/
     796             : /* impl MergeKind                                                     */
     797             : /**********************************************************************/
     798             : 
     799             : static fd_stake_meta_t const *
     800           0 : meta( merge_kind_t const * self ) {
     801           0 :   switch( self->discriminant ) {
     802           0 :   case merge_kind_inactive:
     803           0 :     return &self->inner.inactive.meta;
     804           0 :   case merge_kind_activation_epoch:
     805           0 :     return &self->inner.activation_epoch.meta;
     806           0 :   case merge_kind_fully_active:
     807           0 :     return &self->inner.fully_active.meta;
     808           0 :   default:
     809           0 :     FD_LOG_ERR( ( "invalid merge_kind_t discriminant" ) );
     810           0 :   }
     811           0 : }
     812             : 
     813             : static fd_stake_t const *
     814           0 : active_stake( merge_kind_t const * self ) {
     815           0 :   switch( self->discriminant ) {
     816           0 :   case merge_kind_inactive:
     817           0 :     return NULL;
     818           0 :   case merge_kind_activation_epoch:
     819           0 :     return &self->inner.activation_epoch.stake;
     820           0 :   case merge_kind_fully_active:
     821           0 :     return &self->inner.fully_active.stake;
     822           0 :   default:
     823           0 :     FD_LOG_ERR( ( "invalid merge_kind_t discriminant" ) );
     824           0 :   }
     825           0 : }
     826             : 
     827             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1097
     828             : static int
     829             : get_if_mergeable( fd_exec_instr_ctx_t *         invoke_context, // not const to log
     830             :                   fd_stake_state_v2_t const *   stake_state,
     831             :                   ulong                         stake_lamports,
     832             :                   fd_sol_sysvar_clock_t const * clock,
     833             :                   fd_stake_history_t const *    stake_history,
     834             :                   merge_kind_t *                out,
     835           0 :                   uint *                        custom_err ) {
     836             :   // stake_history must be non-NULL
     837             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1104
     838           0 :   switch( stake_state->discriminant ) {
     839           0 :   case fd_stake_state_v2_enum_stake: {
     840           0 :     fd_stake_meta_t const *  meta        = &stake_state->inner.stake.meta;
     841           0 :     fd_stake_t const *       stake       = &stake_state->inner.stake.stake;
     842           0 :     fd_stake_flags_t const * stake_flags = &stake_state->inner.stake.stake_flags;
     843             : 
     844           0 :     fd_epoch_schedule_t epoch_schedule_[1];
     845           0 :     fd_epoch_schedule_t const * epoch_schedule = fd_sysvar_cache_epoch_schedule_read( invoke_context->sysvar_cache, epoch_schedule_ );
     846           0 :     ulong new_rate_activation_epoch = ULONG_MAX;
     847             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1111
     848           0 :     int err;
     849           0 :     int is_some = fd_new_warmup_cooldown_rate_epoch(
     850           0 :         epoch_schedule,
     851           0 :         fd_bank_features_query( invoke_context->bank ),
     852           0 :         &new_rate_activation_epoch,
     853           0 :         &err );
     854           0 :     if( FD_UNLIKELY( err ) ) return err;
     855             : 
     856             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1108
     857           0 :     fd_stake_history_entry_t status =
     858           0 :         stake_activating_and_deactivating( &stake->delegation,
     859           0 :                                            clock->epoch,
     860           0 :                                            stake_history,
     861           0 :                                            fd_ptr_if( is_some, &new_rate_activation_epoch, NULL ) );
     862             : 
     863             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1115
     864           0 :     if( status.effective==0 && status.activating==0 && status.deactivating==0 ) {
     865             : 
     866           0 :       *out = ( merge_kind_t ){ .discriminant = merge_kind_inactive,
     867           0 :                                .inner        = { .inactive = { .meta         = *meta,
     868           0 :                                                                .active_stake = stake_lamports,
     869           0 :                                                                .stake_flags  = *stake_flags } } };
     870           0 :       return 0;
     871             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1116
     872           0 :     } else if( status.effective==0 ) {
     873           0 :       *out = ( merge_kind_t ){ .discriminant = merge_kind_activation_epoch,
     874           0 :                                .inner        = { .activation_epoch = { .meta        = *meta,
     875           0 :                                                                        .stake       = *stake,
     876           0 :                                                                        .stake_flags = *stake_flags } } };
     877           0 :       return 0;
     878             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1117
     879           0 :     } else if( status.activating==0 && status.deactivating==0 ) {
     880           0 :       *out = ( merge_kind_t ){ .discriminant = merge_kind_fully_active,
     881           0 :                                .inner = { .fully_active = { .meta  = *meta,
     882           0 :                                                             .stake = *stake } } };
     883           0 :       return 0;
     884           0 :     } else {
     885           0 :       fd_log_collector_msg_literal( invoke_context, "stake account with transient stake cannot be merged" );
     886           0 :       *custom_err = FD_STAKE_ERR_MERGE_TRANSIENT_STAKE;
     887           0 :       return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
     888           0 :     }
     889           0 :     break;
     890           0 :   }
     891           0 :   case fd_stake_state_v2_enum_initialized: {
     892             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1126
     893           0 :     *out = ( merge_kind_t ){ .discriminant = merge_kind_inactive,
     894           0 :                              .inner        = { .inactive = { .meta         = stake_state->inner.initialized.meta,
     895           0 :                                                              .active_stake = stake_lamports,
     896           0 :                                                              .stake_flags  = STAKE_FLAGS_EMPTY} } };
     897           0 :     break;
     898           0 :   }
     899           0 :   default:
     900             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1128
     901           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
     902           0 :   }
     903           0 :   return 0;
     904           0 : }
     905             : 
     906             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1132
     907             : static int
     908             : metas_can_merge( fd_exec_instr_ctx_t *         invoke_context, // not const to log
     909             :                  fd_stake_meta_t const *       stake,
     910             :                  fd_stake_meta_t const *       source,
     911             :                  fd_sol_sysvar_clock_t const * clock,
     912           0 :                  uint *                        custom_err ) {
     913             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1139
     914           0 :   int  can_merge_lockups =
     915           0 :       ( !memcmp( &stake->lockup, &source->lockup, sizeof( fd_stake_lockup_t ) ) ) ||
     916           0 :       ( !lockup_is_in_force( &stake->lockup, clock, NULL ) &&
     917           0 :         !lockup_is_in_force( &source->lockup, clock, NULL ) );
     918             : 
     919             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1146
     920           0 :   if( FD_LIKELY( !memcmp( &stake->authorized, &source->authorized, sizeof( fd_stake_authorized_t ) ) && can_merge_lockups ) ) {
     921           0 :     return 0;
     922           0 :   } else {
     923           0 :     fd_log_collector_msg_literal( invoke_context, "Unable to merge due to metadata mismatch" );
     924           0 :     *custom_err = FD_STAKE_ERR_MERGE_MISMATCH;
     925           0 :     return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
     926           0 :   }
     927           0 : }
     928             : 
     929             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1154
     930             : static int
     931             : active_delegations_can_merge( fd_exec_instr_ctx_t *   invoke_context, // not const to log
     932             :                               fd_delegation_t const * stake,
     933             :                               fd_delegation_t const * source,
     934           0 :                               uint *                  custom_err ) {
     935           0 :   if( memcmp( &stake->voter_pubkey, &source->voter_pubkey, sizeof(fd_pubkey_t) ) ) {
     936           0 :     fd_log_collector_msg_literal( invoke_context, "Unable to merge due to voter mismatch" );
     937           0 :     *custom_err = FD_STAKE_ERR_MERGE_MISMATCH;
     938           0 :     return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
     939           0 :   } else if( FD_LIKELY( stake->deactivation_epoch==ULONG_MAX && source->deactivation_epoch==ULONG_MAX ) ) {
     940             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1162
     941           0 :     return 0;
     942           0 :   } else {
     943             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1167
     944           0 :     fd_log_collector_msg_literal( invoke_context, "Unable to merge due to stake deactivation" );
     945           0 :     *custom_err = FD_STAKE_ERR_MERGE_MISMATCH;
     946           0 :     return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
     947           0 :   }
     948           0 : }
     949             : 
     950             : static int
     951             : stake_weighted_credits_observed( fd_stake_t const * stake,
     952             :                                  ulong              absorbed_lamports,
     953             :                                  ulong              absorbed_credits_observed,
     954           0 :                                  ulong *            out ) {
     955             :   /* https://github.com/anza-xyz/agave/blob/dc74c22960b4f2adfc672f6dc3bfaa74ec1d5d48/programs/stake/src/stake_state.rs#L1194 */
     956           0 :   if( FD_LIKELY( stake->credits_observed==absorbed_credits_observed ) ) {
     957           0 :     *out = stake->credits_observed;
     958           0 :     return 1;
     959           0 :   } else {
     960             :     /* https://github.com/anza-xyz/agave/blob/dc74c22960b4f2adfc672f6dc3bfaa74ec1d5d48/programs/stake/src/stake_state.rs#L1197 */
     961             :     /* let total_stake = u128::from(stake.delegation.stake.checked_add(absorbed_lamports)?); */
     962           0 :     ulong total_stake;
     963             :     /* If there is an overflow on the ulong addition then exit */
     964           0 :     if( FD_UNLIKELY( fd_ulong_checked_add( stake->delegation.stake, absorbed_lamports, &total_stake ) ) ) {
     965           0 :       return 0;
     966           0 :     }
     967             : 
     968             :     /* https://github.com/anza-xyz/agave/blob/9489096dc5b7f0a61a981f3d0fd393d264896c2a/programs/stake/src/stake_state.rs#L1198 */
     969             :     /* The multiplication of two 64 bit integers will never overflow the 128 bits */
     970           0 :     ulong stake_weighted_credits_h;
     971           0 :     ulong stake_weighted_credits_l;
     972             :     /* let stake_weighted_credits = */
     973             :     /*     u128::from(stake.credits_observed).checked_mul(u128::from(stake.delegation.stake))?; */
     974           0 :     fd_uwide_mul( &stake_weighted_credits_h, &stake_weighted_credits_l,
     975           0 :                   stake->credits_observed, stake->delegation.stake );
     976             : 
     977             :     /* https://github.com/anza-xyz/agave/blob/9489096dc5b7f0a61a981f3d0fd393d264896c2a/programs/stake/src/stake_state.rs#L1200 */
     978             :     /* The multiplication of two 64 bit integers will never overflow the 128 bits */
     979           0 :     ulong absorbed_weighted_credits_h;
     980           0 :     ulong absorbed_weighted_credits_l;
     981             :     /* let absorbed_weighted_credits = */
     982             :     /*     u128::from(absorbed_credits_observed).checked_mul(u128::from(absorbed_lamports))?; */
     983           0 :     fd_uwide_mul( &absorbed_weighted_credits_h, &absorbed_weighted_credits_l,
     984           0 :                   absorbed_credits_observed, absorbed_lamports );
     985             : 
     986             :     /* https://github.com/anza-xyz/agave/blob/9489096dc5b7f0a61a981f3d0fd393d264896c2a/programs/stake/src/stake_state.rs#L1204 */
     987             :     /* let total_weighted_credits = stake_weighted_credits */
     988             :     /*     .checked_add(absorbed_weighted_credits)? */
     989             :     /*     .checked_add(total_stake)? */
     990             :     /*     .checked_sub(1)?; */
     991           0 :     ulong total_weighted_credits_partial_one_h;
     992           0 :     ulong total_weighted_credits_partial_one_l;
     993           0 :     ulong carry_out = fd_uwide_add( &total_weighted_credits_partial_one_h, &total_weighted_credits_partial_one_l,
     994           0 :                                     stake_weighted_credits_h, stake_weighted_credits_l,
     995           0 :                                     absorbed_weighted_credits_h, absorbed_weighted_credits_l, 0UL );
     996             :     /* return on overflow */
     997           0 :     if( FD_UNLIKELY( carry_out ) ) {
     998           0 :       return 0;
     999           0 :     }
    1000             : 
    1001           0 :     ulong total_weighted_credits_partial_two_h;
    1002           0 :     ulong total_weighted_credits_partial_two_l;
    1003           0 :     carry_out = fd_uwide_add( &total_weighted_credits_partial_two_h, &total_weighted_credits_partial_two_l,
    1004           0 :                               total_weighted_credits_partial_one_h, total_weighted_credits_partial_one_l,
    1005           0 :                               0UL, total_stake, 0UL );
    1006             :     /* return on overflow */
    1007           0 :     if( FD_UNLIKELY( carry_out ) ) {
    1008           0 :       return 0;
    1009           0 :     }
    1010             : 
    1011             :     /* The only way we can underflow the subtraction of 1 is if the value of total_weighted_credits_partial_two is zero */
    1012           0 :     if( FD_UNLIKELY( total_weighted_credits_partial_two_h==0 && total_weighted_credits_partial_two_l==0 ) ) {
    1013           0 :       return 0;
    1014           0 :     }
    1015           0 :     ulong total_weighted_credits_h;
    1016           0 :     ulong total_weighted_credits_l;
    1017           0 :     fd_uwide_dec( &total_weighted_credits_h, &total_weighted_credits_l,
    1018           0 :                   total_weighted_credits_partial_two_h, total_weighted_credits_partial_two_l, 1UL );
    1019             : 
    1020             :     /* https://github.com/anza-xyz/agave/blob/8a1b2dc3fa4b85e26fbce0db06a462d4853b0652/programs/stake/src/stake_state.rs#L1208 */
    1021             :     /* u64::try_from(total_weighted_credits.checked_div(total_stake)?).ok() */
    1022           0 :     ulong res_h;
    1023           0 :     ulong res_l;
    1024           0 :     if( FD_UNLIKELY( fd_uwide_div( &res_h, &res_l, total_weighted_credits_h, total_weighted_credits_l, total_stake ) ) ) {
    1025           0 :       return 0;
    1026           0 :     }
    1027           0 :     *out = res_l;
    1028           0 :     return 1;
    1029           0 :   }
    1030           0 : }
    1031             : 
    1032             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1239
    1033             : static int
    1034             : merge_delegation_stake_and_credits_observed( FD_FN_UNUSED fd_exec_instr_ctx_t const * invoke_context,
    1035             :                                              fd_stake_t *                stake,
    1036             :                                              ulong                       absorbed_lamports,
    1037           0 :                                              ulong absorbed_credits_observed ) {
    1038           0 :   int rc;
    1039           0 :   int  is_some = stake_weighted_credits_observed(
    1040           0 :       stake, absorbed_lamports, absorbed_credits_observed, &stake->credits_observed );
    1041           0 :   if( FD_UNLIKELY( !is_some ) ) return FD_EXECUTOR_INSTR_ERR_ARITHMETIC_OVERFLOW;
    1042           0 :   rc = fd_ulong_checked_add( stake->delegation.stake, absorbed_lamports, &stake->delegation.stake );
    1043           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1044           0 :   return 0;
    1045           0 : }
    1046             : 
    1047             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1171
    1048             : static int
    1049             : merge_kind_merge( merge_kind_t                  self,
    1050             :                   fd_exec_instr_ctx_t *         invoke_context, // not const to log
    1051             :                   merge_kind_t                  source,
    1052             :                   fd_sol_sysvar_clock_t const * clock,
    1053             :                   fd_stake_state_v2_t *         out,
    1054             :                   int  *                        is_some,
    1055           0 :                   uint *                        custom_err ) {
    1056           0 :   int rc;
    1057             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1177
    1058           0 :   rc = metas_can_merge( invoke_context, meta( &self ), meta( &source ), clock, custom_err );
    1059           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1060             : 
    1061             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1178-L1188
    1062           0 :   fd_stake_t const * stake   = active_stake( &self );
    1063           0 :   fd_stake_t const * source_ = active_stake( &source );
    1064             : 
    1065             :   // FIXME FD_LIKELY
    1066           0 :   if( stake && source_ ) {
    1067           0 :     rc = active_delegations_can_merge(
    1068           0 :         invoke_context, &stake->delegation, &source_->delegation, custom_err );
    1069           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1070           0 :   }
    1071             : 
    1072             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1188
    1073             :   // FIXME FD_LIKELY
    1074           0 :   fd_stake_state_v2_t   merged_state_ = {0};
    1075           0 :   fd_stake_state_v2_t * merged_state  = &merged_state_;
    1076           0 :   if( self.discriminant==merge_kind_inactive && source.discriminant==merge_kind_inactive ) {
    1077             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1189
    1078           0 :     merged_state = NULL;
    1079           0 :   } else if( self.discriminant==merge_kind_inactive && source.discriminant==merge_kind_activation_epoch ) {
    1080             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1190
    1081           0 :     merged_state = NULL;
    1082           0 :   } else if( self.discriminant==merge_kind_activation_epoch && source.discriminant==merge_kind_inactive ) {
    1083           0 :     fd_stake_meta_t  meta               = self.inner.activation_epoch.meta;
    1084           0 :     fd_stake_t       stake              = self.inner.activation_epoch.stake;
    1085           0 :     fd_stake_flags_t stake_flags        = self.inner.activation_epoch.stake_flags;
    1086           0 :     ulong            source_lamports    = source.inner.inactive.active_stake;
    1087           0 :     fd_stake_flags_t source_stake_flags = source.inner.inactive.stake_flags;
    1088             : 
    1089             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1195
    1090           0 :     rc = fd_ulong_checked_add( stake.delegation.stake, source_lamports, &stake.delegation.stake );
    1091           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1092             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1196
    1093           0 :     *merged_state = ( fd_stake_state_v2_t ){
    1094           0 :         .discriminant = fd_stake_state_v2_enum_stake,
    1095           0 :         .inner        = { .stake = { .meta        = meta,
    1096           0 :                                      .stake       = stake,
    1097           0 :                                      .stake_flags = { .bits = stake_flags.bits | source_stake_flags.bits } } } };
    1098           0 :   } else if( self.discriminant==merge_kind_activation_epoch && source.discriminant==merge_kind_activation_epoch ) {
    1099             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1203
    1100           0 :     fd_stake_meta_t  meta               = self.inner.activation_epoch.meta;
    1101           0 :     fd_stake_t       stake              = self.inner.activation_epoch.stake;
    1102           0 :     fd_stake_flags_t stake_flags        = self.inner.activation_epoch.stake_flags;
    1103           0 :     fd_stake_meta_t  source_meta        = source.inner.activation_epoch.meta;
    1104           0 :     fd_stake_t       source_stake       = source.inner.activation_epoch.stake;
    1105           0 :     fd_stake_flags_t source_stake_flags = source.inner.activation_epoch.stake_flags;
    1106             : 
    1107             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1206
    1108           0 :     ulong source_lamports = ULONG_MAX;
    1109           0 :     rc = fd_ulong_checked_add( source_meta.rent_exempt_reserve, source_stake.delegation.stake, &source_lamports );
    1110           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1111             : 
    1112             :     // // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1210
    1113           0 :     rc = merge_delegation_stake_and_credits_observed(invoke_context, &stake, source_lamports, source_stake.credits_observed );
    1114           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1115             : 
    1116             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1215
    1117           0 :     *merged_state = ( fd_stake_state_v2_t ){
    1118           0 :         .discriminant = fd_stake_state_v2_enum_stake,
    1119           0 :         .inner        = { .stake = { .meta        = meta,
    1120           0 :                                      .stake       = stake,
    1121           0 :                                      .stake_flags = { .bits = stake_flags.bits | source_stake_flags.bits } } } };
    1122           0 :   } else if( self.discriminant==merge_kind_fully_active && source.discriminant==merge_kind_fully_active ) {
    1123             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1221
    1124           0 :     fd_stake_meta_t meta         = self.inner.fully_active.meta;
    1125           0 :     fd_stake_t      stake        = self.inner.fully_active.stake;
    1126           0 :     fd_stake_t      source_stake = source.inner.fully_active.stake;
    1127           0 :     rc                           = merge_delegation_stake_and_credits_observed(
    1128           0 :         invoke_context, &stake, source_stake.delegation.stake, source_stake.credits_observed );
    1129           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1130             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L1231
    1131           0 :     *merged_state = ( fd_stake_state_v2_t ){
    1132           0 :         .discriminant = fd_stake_state_v2_enum_stake,
    1133           0 :         .inner = { .stake = { .meta = meta, .stake = stake, .stake_flags = STAKE_FLAGS_EMPTY } } };
    1134           0 :   } else {
    1135           0 :     *custom_err = FD_STAKE_ERR_MERGE_MISMATCH;
    1136           0 :     return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
    1137           0 :   }
    1138           0 :   if( !merged_state ) {
    1139           0 :     *is_some = 0;
    1140           0 :     return 0;
    1141           0 :   }
    1142           0 :   *is_some = 1;
    1143           0 :   *out     = *merged_state;
    1144           0 :   return 0;
    1145           0 : }
    1146             : 
    1147             : /**********************************************************************/
    1148             : /* mod stake_state                                                    */
    1149             : /**********************************************************************/
    1150             : 
    1151             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L72
    1152             : static int
    1153             : get_stake_status( fd_exec_instr_ctx_t const *    invoke_context,
    1154             :                   fd_stake_t *                   stake,
    1155             :                   fd_sol_sysvar_clock_t const *  clock,
    1156           0 :                   fd_stake_activation_status_t * out ) {
    1157           0 :   fd_sysvar_cache_t const * sysvar_cache = invoke_context->sysvar_cache;
    1158           0 :   if( FD_UNLIKELY( !fd_sysvar_cache_stake_history_is_valid( sysvar_cache ) ) ) {
    1159           0 :     return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    1160           0 :   }
    1161             : 
    1162           0 :   fd_epoch_schedule_t epoch_schedule_[1];
    1163           0 :   fd_epoch_schedule_t const * epoch_schedule = fd_sysvar_cache_epoch_schedule_read( sysvar_cache, epoch_schedule_ );
    1164             : 
    1165           0 :   ulong new_rate_activation_epoch = ULONG_MAX;
    1166           0 :   int err;
    1167           0 :   int is_some = fd_new_warmup_cooldown_rate_epoch(
    1168           0 :       epoch_schedule,
    1169           0 :       fd_bank_features_query( invoke_context->bank ),
    1170           0 :       &new_rate_activation_epoch,
    1171           0 :       &err );
    1172           0 :   if( FD_UNLIKELY( err ) ) return err;
    1173             : 
    1174           0 :   fd_stake_history_t const * stake_history = fd_sysvar_cache_stake_history_join_const( sysvar_cache );
    1175           0 :   *out = stake_activating_and_deactivating(
    1176           0 :       &stake->delegation,
    1177           0 :       clock->epoch,
    1178           0 :       stake_history,
    1179           0 :       fd_ptr_if( is_some, &new_rate_activation_epoch, NULL ) );
    1180           0 :   fd_sysvar_cache_stake_history_leave_const( sysvar_cache, stake_history );
    1181             : 
    1182           0 :   return 0;
    1183           0 : }
    1184             : 
    1185             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/vote/state/mod.rs#L740
    1186             : static ulong
    1187           0 : get_credits( fd_vote_state_v3_t const * vote_state ) {
    1188             : 
    1189           0 :     return ( deq_fd_vote_epoch_credits_t_empty( vote_state->epoch_credits )
    1190           0 :               ? 0
    1191           0 :               : deq_fd_vote_epoch_credits_t_peek_index(
    1192           0 :                     vote_state->epoch_credits,
    1193           0 :                     deq_fd_vote_epoch_credits_t_cnt( vote_state->epoch_credits ) - 1 )
    1194           0 :                     ->credits );
    1195           0 : }
    1196             : 
    1197             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L85
    1198             : static int
    1199             : redelegate_stake( fd_exec_instr_ctx_t const *   ctx,
    1200             :                   fd_stake_t *                  stake,
    1201             :                   ulong                         stake_lamports,
    1202             :                   fd_pubkey_t const *           voter_pubkey,
    1203             :                   fd_vote_state_v3_t const *    vote_state,
    1204             :                   fd_sol_sysvar_clock_t const * clock,
    1205             :                   fd_stake_history_t const *    stake_history,
    1206           0 :                   uint *                        custom_err ) {
    1207           0 :   fd_epoch_schedule_t epoch_schedule_[1];
    1208           0 :   fd_epoch_schedule_t const * epoch_schedule = fd_sysvar_cache_epoch_schedule_read( ctx->sysvar_cache, epoch_schedule_ );
    1209             : 
    1210           0 :   ulong new_rate_activation_epoch = ULONG_MAX;
    1211           0 :   int err;
    1212           0 :   int is_some = fd_new_warmup_cooldown_rate_epoch(
    1213           0 :       epoch_schedule,
    1214           0 :       fd_bank_features_query( ctx->bank ),
    1215           0 :       &new_rate_activation_epoch,
    1216           0 :       &err );
    1217           0 :   if( FD_UNLIKELY( err ) ) return err;
    1218             : 
    1219             :   // FIXME FD_LIKELY
    1220             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L96
    1221           0 :   if( delegation_stake( &stake->delegation, clock->epoch, stake_history, fd_ptr_if( is_some, &new_rate_activation_epoch, NULL ) )!=0 ) {
    1222             : 
    1223           0 :     if( FD_LIKELY( !memcmp( &stake->delegation.voter_pubkey, voter_pubkey, sizeof( fd_pubkey_t ) ) ) &&
    1224           0 :          clock->epoch==stake->delegation.deactivation_epoch ) {
    1225           0 :       stake->delegation.deactivation_epoch = ULONG_MAX;
    1226           0 :       return 0;
    1227           0 :     } else {
    1228           0 :       *custom_err = FD_STAKE_ERR_TOO_SOON_TO_REDELEGATE;
    1229           0 :       return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
    1230           0 :     }
    1231           0 :   }
    1232             : 
    1233             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L114-L118
    1234           0 :   stake->delegation.stake              = stake_lamports;
    1235           0 :   stake->delegation.activation_epoch   = clock->epoch;
    1236           0 :   stake->delegation.deactivation_epoch = ULONG_MAX;
    1237           0 :   stake->delegation.voter_pubkey       = *voter_pubkey;
    1238           0 :   stake->credits_observed              = get_credits( vote_state );
    1239           0 :   return 0;
    1240           0 : }
    1241             : 
    1242             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L202
    1243             : static fd_stake_t
    1244             : new_stake( ulong                      stake,
    1245             :            fd_pubkey_t const *        voter_pubkey,
    1246             :            fd_vote_state_v3_t const * vote_state,
    1247           0 :            ulong                      activation_epoch ) {
    1248             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L208
    1249           0 :   return ( fd_stake_t ){
    1250           0 :       .delegation       = {.voter_pubkey         = *voter_pubkey,
    1251           0 :                            .stake                = stake,
    1252           0 :                            .activation_epoch     = activation_epoch,
    1253           0 :                            .deactivation_epoch   = ULONG_MAX,
    1254           0 :                            .warmup_cooldown_rate = DEFAULT_WARMUP_COOLDOWN_RATE},
    1255           0 :       .credits_observed = get_credits( vote_state ),
    1256           0 :   };
    1257           0 : }
    1258             : 
    1259             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L214
    1260             : static int
    1261             : initialize( fd_borrowed_account_t *       stake_account,
    1262             :             fd_stake_authorized_t const * authorized,
    1263             :             fd_stake_lockup_t const *     lockup,
    1264           0 :             fd_rent_t const *             rent ) {
    1265             : 
    1266             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L220
    1267             : 
    1268           0 :   if( FD_UNLIKELY( fd_borrowed_account_get_data_len( stake_account )!=stake_state_v2_size_of() ) )
    1269           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1270             : 
    1271             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L224
    1272           0 :   fd_stake_state_v2_t stake_state = {0};
    1273           0 :   do {
    1274           0 :     int rc = get_state( stake_account->meta, &stake_state );
    1275           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1276           0 :   } while(0);
    1277             : 
    1278           0 :   if( FD_LIKELY( stake_state.discriminant==fd_stake_state_v2_enum_uninitialized ) ) {
    1279             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L225
    1280           0 :     ulong rent_exempt_reserve = fd_rent_exempt_minimum_balance( rent, fd_borrowed_account_get_data_len( stake_account ) );
    1281             : 
    1282             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L226
    1283           0 :     if( FD_LIKELY( fd_borrowed_account_get_lamports( stake_account )>=rent_exempt_reserve ) ) {
    1284           0 :       fd_stake_state_v2_t initialized = {
    1285           0 :         .discriminant = fd_stake_state_v2_enum_initialized,
    1286           0 :         .inner = { .initialized = { .meta = { .rent_exempt_reserve = rent_exempt_reserve,
    1287           0 :                                               .authorized          = *authorized,
    1288           0 :                                               .lockup              = *lockup } } } };
    1289           0 :       return set_state( stake_account, &initialized );
    1290           0 :     } else {
    1291             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L233
    1292           0 :       return FD_EXECUTOR_INSTR_ERR_INSUFFICIENT_FUNDS;
    1293           0 :     }
    1294             : 
    1295           0 :   } else {
    1296             : 
    1297             :     /// https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L236
    1298           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1299             : 
    1300           0 :   }
    1301           0 : }
    1302             : 
    1303             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L243
    1304             : static int
    1305             : authorize( fd_borrowed_account_t *       stake_account,
    1306             :            fd_pubkey_t const *           signers[static FD_TXN_SIG_MAX],
    1307             :            ulong                         signers_cnt,
    1308             :            fd_pubkey_t const *           new_authority,
    1309             :            fd_stake_authorize_t const *  stake_authorize,
    1310             :            fd_sol_sysvar_clock_t const * clock,
    1311             :            fd_pubkey_t const *           custodian,
    1312           0 :            uint *                        custom_err ) {
    1313           0 :   int                 rc;
    1314           0 :   fd_stake_state_v2_t stake_state = {0};
    1315             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L251
    1316           0 :   rc = get_state( stake_account->meta, &stake_state );
    1317           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1318           0 :   switch( stake_state.discriminant ) {
    1319             :   /* FIXME check if the compiler can optimize away branching (given the layout of `meta` in both
    1320             :    * union members) and instead fallthrough */
    1321           0 :   case fd_stake_state_v2_enum_stake: {
    1322             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L252
    1323           0 :     fd_stake_meta_t * meta = &stake_state.inner.stake.meta;
    1324             : 
    1325           0 :     fd_stake_lockup_custodian_args_t lockup_custodian_args = {
    1326           0 :         .lockup = meta->lockup, .clock = *clock, .custodian = (fd_pubkey_t *)custodian };
    1327           0 :     rc = authorized_authorize(
    1328           0 :         &meta->authorized, /* &mut self */
    1329           0 :         signers,
    1330           0 :         signers_cnt,
    1331           0 :         new_authority,
    1332           0 :         stake_authorize,
    1333           0 :         &lockup_custodian_args,
    1334           0 :         custom_err );
    1335           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1336             : 
    1337           0 :     return set_state( stake_account, &stake_state );
    1338           0 :   }
    1339           0 :   case fd_stake_state_v2_enum_initialized: {
    1340             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L261
    1341           0 :     fd_stake_meta_t * meta = &stake_state.inner.initialized.meta;
    1342             : 
    1343           0 :     fd_stake_lockup_custodian_args_t lockup_custodian_args = {
    1344           0 :         .lockup = meta->lockup, .clock = *clock, .custodian = (fd_pubkey_t *)custodian };
    1345           0 :     rc = authorized_authorize(
    1346           0 :         &meta->authorized,
    1347           0 :         signers,
    1348           0 :         signers_cnt,
    1349           0 :         new_authority,
    1350           0 :         stake_authorize,
    1351           0 :         &lockup_custodian_args,
    1352           0 :         custom_err );
    1353           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1354             : 
    1355           0 :     return set_state( stake_account, &stake_state );
    1356           0 :   }
    1357           0 :   default:
    1358             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L270
    1359           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1360           0 :   }
    1361           0 :   return rc;
    1362           0 : }
    1363             : 
    1364             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L275
    1365             : static int
    1366             : authorize_with_seed( fd_exec_instr_ctx_t const *   ctx,
    1367             :                      fd_borrowed_account_t *       stake_account,
    1368             :                      uchar                         authority_base_index,
    1369             :                      char const *                  authority_seed,
    1370             :                      ulong                         authority_seed_len,
    1371             :                      fd_pubkey_t const *           authority_owner,
    1372             :                      fd_pubkey_t const *           new_authority,
    1373             :                      fd_stake_authorize_t const *  stake_authorize,
    1374             :                      fd_sol_sysvar_clock_t const * clock,
    1375           0 :                      fd_pubkey_t const *           custodian ) {
    1376           0 :   int                 rc;
    1377           0 :   fd_pubkey_t const * signers[FD_TXN_SIG_MAX] = {0};
    1378           0 :   fd_pubkey_t         out                     = {0};
    1379           0 :   ulong               signers_cnt             = 0UL;
    1380           0 :   if( FD_LIKELY( fd_instr_acc_is_signer_idx( ctx->instr, authority_base_index, NULL ) ) ) {
    1381             : 
    1382             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L289
    1383           0 :     fd_pubkey_t const * base_pubkey = NULL;
    1384           0 :     rc = fd_exec_instr_ctx_get_key_of_account_at_index( ctx, authority_base_index, &base_pubkey );
    1385           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1386             : 
    1387             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L293
    1388           0 :     rc = fd_pubkey_create_with_seed( ctx,
    1389           0 :                                      base_pubkey->uc,
    1390           0 :                                      authority_seed,
    1391           0 :                                      authority_seed_len,
    1392           0 :                                      authority_owner->uc,
    1393           0 :                                      /* out */ out.uc );
    1394           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1395           0 :     signers[0] = &out;
    1396           0 :     signers_cnt = 1UL;
    1397           0 :   }
    1398             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L299
    1399           0 :   return authorize( stake_account,
    1400           0 :                     signers,
    1401           0 :                     signers_cnt,
    1402           0 :                     new_authority,
    1403           0 :                     stake_authorize,
    1404           0 :                     clock,
    1405           0 :                     custodian,
    1406           0 :                     &ctx->txn_out->err.custom_err );
    1407           0 : }
    1408             : 
    1409             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L310
    1410             : static int
    1411             : delegate( fd_exec_instr_ctx_t const *   ctx,
    1412             :           uchar                         stake_account_index,
    1413             :           uchar                         vote_account_index,
    1414             :           fd_sol_sysvar_clock_t const * clock,
    1415             :           fd_stake_history_t const *    stake_history,
    1416             :           fd_pubkey_t const *           signers[static FD_TXN_SIG_MAX],
    1417           0 :           ulong                         signers_cnt ) {
    1418           0 :   int rc;
    1419             : 
    1420           0 :   fd_pubkey_t const * vote_pubkey;
    1421           0 :   fd_vote_state_versioned_t * vote_state = NULL;
    1422             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L321-L322 */
    1423           0 :   fd_guarded_borrowed_account_t vote_account = {0};
    1424           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, vote_account_index, &vote_account );
    1425             : 
    1426             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L323
    1427           0 :   if( FD_UNLIKELY( memcmp( fd_borrowed_account_get_owner( &vote_account ), fd_solana_vote_program_id.key, 32UL ) ) )
    1428           0 :     return FD_EXECUTOR_INSTR_ERR_INCORRECT_PROGRAM_ID;
    1429             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L3326
    1430           0 :   vote_pubkey = vote_account.pubkey;
    1431             :   // https://github.com/anza-xyz/agave/blob/a60fbc2288d626a4f1846052c8fcb98d3f9ea58d/programs/stake/src/stake_state.rs#L327
    1432           0 :   vote_state = fd_vote_get_state( vote_account.meta, ctx->runtime->stake_program.delegate.vote_state_mem );
    1433             : 
    1434             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L328 */
    1435           0 :   fd_borrowed_account_drop( &vote_account );
    1436             : 
    1437           0 :   fd_stake_state_v2_t stake_state = {0};
    1438             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L330 */
    1439           0 :   fd_guarded_borrowed_account_t stake_account = {0};
    1440           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, stake_account_index, &stake_account );
    1441             : 
    1442           0 :   rc = get_state( stake_account.meta, &stake_state );
    1443           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1444             : 
    1445             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L332
    1446           0 :   switch( stake_state.discriminant ) {
    1447           0 :   case fd_stake_state_v2_enum_initialized: {
    1448           0 :     fd_stake_meta_t meta = stake_state.inner.initialized.meta;
    1449             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L334
    1450           0 :     rc = authorized_check( &meta.authorized, signers, signers_cnt, STAKE_AUTHORIZE_STAKER );
    1451           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1452             : 
    1453             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L335-L336
    1454           0 :     validated_delegated_info_t validated_delegated_info;
    1455           0 :     rc = validate_delegated_amount( ctx->bank,
    1456           0 :                                     &stake_account,
    1457           0 :                                     &meta,
    1458           0 :                                     &validated_delegated_info,
    1459           0 :                                     &ctx->txn_out->err.custom_err );
    1460           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1461           0 :     ulong stake_amount = validated_delegated_info.stake_amount;
    1462             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L340
    1463           0 :     if( FD_UNLIKELY( !vote_state ) ) return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1464           0 :     fd_vote_convert_to_current( vote_state,
    1465           0 :                                 ctx->runtime->stake_program.delegate.landed_votes_mem );
    1466           0 :     fd_stake_t stake = new_stake( stake_amount,
    1467           0 :                                   vote_pubkey,
    1468           0 :                                   &vote_state->inner.v3,
    1469           0 :                                   clock->epoch );
    1470             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L343
    1471           0 :     fd_stake_state_v2_t new_stake_state = { .discriminant = fd_stake_state_v2_enum_stake,
    1472           0 :                                             .inner        = { .stake = {
    1473           0 :                                                                   .meta        = meta,
    1474           0 :                                                                   .stake       = stake,
    1475           0 :                                                                   .stake_flags = STAKE_FLAGS_EMPTY } } };
    1476           0 :     return set_state( &stake_account, &new_stake_state );
    1477           0 :   }
    1478           0 :   case fd_stake_state_v2_enum_stake: {
    1479           0 :     fd_stake_meta_t  meta        = stake_state.inner.stake.meta;
    1480           0 :     fd_stake_t       stake       = stake_state.inner.stake.stake;
    1481           0 :     fd_stake_flags_t stake_flags = stake_state.inner.stake.stake_flags;
    1482             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L346
    1483           0 :     rc = authorized_check( &meta.authorized, signers, signers_cnt, STAKE_AUTHORIZE_STAKER );
    1484           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1485             : 
    1486             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L347-L348
    1487           0 :     validated_delegated_info_t validated_delegated_info;
    1488           0 :     rc = validate_delegated_amount( ctx->bank,
    1489           0 :                                     &stake_account,
    1490           0 :                                     &meta,
    1491           0 :                                     &validated_delegated_info,
    1492           0 :                                     &ctx->txn_out->err.custom_err );
    1493           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1494           0 :     ulong stake_amount = validated_delegated_info.stake_amount;
    1495             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L354
    1496           0 :     if( FD_UNLIKELY( !vote_state ) ) return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1497           0 :     fd_vote_convert_to_current( vote_state,
    1498           0 :                                 ctx->runtime->stake_program.delegate.landed_votes_mem );
    1499             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L349
    1500           0 :     rc = redelegate_stake( ctx,
    1501           0 :                            &stake,
    1502           0 :                            stake_amount,
    1503           0 :                            vote_pubkey,
    1504           0 :                            &vote_state->inner.v3,
    1505           0 :                            clock,
    1506           0 :                            stake_history,
    1507           0 :                            &ctx->txn_out->err.custom_err );
    1508           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1509             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L358
    1510           0 :     fd_stake_state_v2_t new_stake_state = { .discriminant = fd_stake_state_v2_enum_stake,
    1511           0 :                                             .inner        = { .stake = {
    1512           0 :                                                                   .meta        = meta,
    1513           0 :                                                                   .stake       = stake,
    1514           0 :                                                                   .stake_flags = stake_flags } } };
    1515             : 
    1516           0 :     return set_state( &stake_account, &new_stake_state );
    1517           0 :   }
    1518           0 :   default:
    1519             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L360
    1520           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1521           0 :   }
    1522             : 
    1523             :   /* implicit drop of stake account */
    1524           0 : }
    1525             : 
    1526             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L364
    1527             : static int
    1528             : deactivate( fd_borrowed_account_t *       stake_account,
    1529             :             fd_sol_sysvar_clock_t const * clock,
    1530             :             fd_pubkey_t const *           signers[static FD_TXN_SIG_MAX],
    1531             :             ulong                         signers_cnt,
    1532           0 :             uint *                        custom_err ) {
    1533           0 :   int rc;
    1534             : 
    1535           0 :   fd_stake_state_v2_t state = {0};
    1536           0 :   rc                        = get_state( stake_account->meta, &state );
    1537           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1538             : 
    1539             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L370
    1540           0 :   if( state.discriminant==fd_stake_state_v2_enum_stake ) {
    1541           0 :     fd_stake_meta_t * meta  = &state.inner.stake.meta;
    1542           0 :     fd_stake_t *      stake = &state.inner.stake.stake;
    1543             : 
    1544             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L371
    1545           0 :     rc = authorized_check( &meta->authorized, signers, signers_cnt, STAKE_AUTHORIZE_STAKER );
    1546           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1547             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L372
    1548           0 :     rc = stake_deactivate( stake, clock->epoch, custom_err );
    1549           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1550             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L373
    1551           0 :     return set_state( stake_account, &state );
    1552           0 :   } else {
    1553             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L375
    1554           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1555           0 :   }
    1556           0 : }
    1557             : 
    1558             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L379
    1559             : static int
    1560             : set_lockup( fd_borrowed_account_t *       stake_account,
    1561             :             fd_lockup_args_t const *      lockup,
    1562             :             fd_pubkey_t const *           signers[static FD_TXN_SIG_MAX],
    1563             :             ulong                         signers_cnt,
    1564           0 :             fd_sol_sysvar_clock_t const * clock ) {
    1565           0 :   int rc;
    1566             : 
    1567             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L385
    1568           0 :   fd_stake_state_v2_t state = {0};
    1569           0 :   rc = get_state( stake_account->meta, &state );
    1570           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1571             : 
    1572           0 :   switch( state.discriminant ) {
    1573             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L386
    1574           0 :   case fd_stake_state_v2_enum_initialized: {
    1575           0 :     fd_stake_meta_t * meta = &state.inner.initialized.meta;
    1576           0 :     rc                     = set_lockup_meta( meta, lockup, signers, signers_cnt, clock );
    1577           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1578           0 :     return set_state( stake_account, &state );
    1579           0 :   }
    1580             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L390
    1581           0 :   case fd_stake_state_v2_enum_stake: {
    1582           0 :     fd_stake_meta_t * meta = &state.inner.stake.meta;
    1583           0 :     rc                     = set_lockup_meta( meta, lockup, signers, signers_cnt, clock );
    1584           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1585           0 :     return set_state( stake_account, &state );
    1586           0 :   }
    1587           0 :   default:
    1588             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L394
    1589           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1590           0 :   }
    1591           0 : }
    1592             : 
    1593             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L398
    1594             : static int
    1595             : split( fd_exec_instr_ctx_t const * ctx,
    1596             :        uchar                       stake_account_index,
    1597             :        ulong                       lamports,
    1598             :        uchar                       split_index,
    1599             :        fd_pubkey_t const *         signers[static FD_TXN_SIG_MAX],
    1600           0 :        ulong                       signers_cnt ) {
    1601           0 :   int rc;
    1602             : 
    1603           0 :   ulong split_lamport_balance = 0;
    1604             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L407-L408 */
    1605           0 :   fd_guarded_borrowed_account_t split = {0};
    1606           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, split_index, &split );
    1607             : 
    1608             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L409
    1609           0 :   if( FD_UNLIKELY( memcmp( fd_borrowed_account_get_owner( &split ), fd_solana_stake_program_id.key, 32UL ) ) )
    1610           0 :     return FD_EXECUTOR_INSTR_ERR_INCORRECT_PROGRAM_ID;
    1611             : 
    1612             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L412
    1613           0 :   if( FD_UNLIKELY( fd_borrowed_account_get_data_len( &split )!=stake_state_v2_size_of() ) )
    1614           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1615             : 
    1616             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L415
    1617           0 :   fd_stake_state_v2_t split_get_state = {0};
    1618           0 :   rc = get_state( split.meta, &split_get_state );
    1619           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1620           0 :   if( FD_UNLIKELY( split_get_state.discriminant!=fd_stake_state_v2_enum_uninitialized ) ) {
    1621           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1622           0 :   }
    1623             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L418
    1624           0 :   split_lamport_balance = fd_borrowed_account_get_lamports( &split );
    1625             : 
    1626             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L419 */
    1627           0 :   fd_borrowed_account_drop( &split );
    1628             : 
    1629           0 :   fd_stake_state_v2_t stake_state = {0};
    1630             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L420-L421 */
    1631           0 :   fd_guarded_borrowed_account_t stake_account = {0};
    1632           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, stake_account_index, &stake_account );
    1633             : 
    1634             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L422
    1635           0 :   if( FD_UNLIKELY( lamports>fd_borrowed_account_get_lamports( &stake_account ) ) )
    1636           0 :     return FD_EXECUTOR_INSTR_ERR_INSUFFICIENT_FUNDS;
    1637             : 
    1638           0 :   rc = get_state( stake_account.meta, &stake_state );
    1639           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1640             : 
    1641             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L426 */
    1642           0 :   fd_borrowed_account_drop( &stake_account );
    1643             : 
    1644             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L428
    1645           0 :   switch( stake_state.discriminant ) {
    1646           0 :   case fd_stake_state_v2_enum_stake: {
    1647           0 :     fd_stake_meta_t *  meta        = &stake_state.inner.stake.meta;
    1648           0 :     fd_stake_t *       stake       = &stake_state.inner.stake.stake;
    1649           0 :     fd_stake_flags_t * stake_flags = &stake_state.inner.stake.stake_flags;
    1650             : 
    1651             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L430
    1652           0 :     rc = authorized_check( &meta->authorized, signers, signers_cnt, STAKE_AUTHORIZE_STAKER );
    1653           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1654             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L431
    1655           0 :     ulong minimum_delegation = get_minimum_delegation( ctx->bank );
    1656             : 
    1657             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L434
    1658           0 :     fd_sol_sysvar_clock_t clock_;
    1659           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    1660           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    1661             : 
    1662             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L435
    1663           0 :     fd_stake_activation_status_t status = {0};
    1664           0 :     rc = get_stake_status( ctx, stake, clock, &status );
    1665           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1666             : 
    1667           0 :     int is_active = status.effective>0;
    1668             : 
    1669             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L438
    1670           0 :     validated_split_info_t validated_split_info = {0};
    1671           0 :     rc = validate_split_amount( ctx,
    1672           0 :                                 stake_account_index,
    1673           0 :                                 split_index,
    1674           0 :                                 lamports,
    1675           0 :                                 meta,
    1676           0 :                                 minimum_delegation,
    1677           0 :                                 is_active,
    1678           0 :                                 &validated_split_info );
    1679           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1680             : 
    1681           0 :     ulong remaining_stake_delta;
    1682           0 :     ulong split_stake_amount;
    1683             :     // FIXME FD_LIKELY
    1684             : 
    1685           0 :     if( validated_split_info.source_remaining_balance==0 ) {
    1686             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L456
    1687           0 :       remaining_stake_delta = fd_ulong_sat_sub( lamports, meta->rent_exempt_reserve );
    1688           0 :       split_stake_amount    = remaining_stake_delta;
    1689           0 :     } else {
    1690             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L469
    1691           0 :       if( FD_UNLIKELY( fd_ulong_sat_sub( stake->delegation.stake, lamports ) <
    1692           0 :                         minimum_delegation ) ) {
    1693           0 :         ctx->txn_out->err.custom_err = FD_STAKE_ERR_INSUFFICIENT_DELEGATION;
    1694           0 :         return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
    1695           0 :       }
    1696             : 
    1697           0 :       remaining_stake_delta = lamports;
    1698           0 :       split_stake_amount =
    1699           0 :           fd_ulong_sat_sub( lamports,
    1700           0 :                             fd_ulong_sat_sub( validated_split_info.destination_rent_exempt_reserve,
    1701           0 :                                               split_lamport_balance )
    1702             : 
    1703           0 :           );
    1704           0 :     }
    1705             : 
    1706             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L487
    1707           0 :     if( FD_UNLIKELY( split_stake_amount<minimum_delegation ) ) {
    1708           0 :       ctx->txn_out->err.custom_err = FD_STAKE_ERR_INSUFFICIENT_DELEGATION;
    1709           0 :       return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
    1710           0 :     }
    1711             : 
    1712             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L491-L493
    1713           0 :     fd_stake_t split_stake = {0};
    1714           0 :     rc = stake_split( stake,
    1715           0 :                       remaining_stake_delta,
    1716           0 :                       split_stake_amount,
    1717           0 :                       &ctx->txn_out->err.custom_err,
    1718           0 :                       &split_stake );
    1719           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1720           0 :     fd_stake_meta_t split_meta     = *meta;
    1721           0 :     split_meta.rent_exempt_reserve = validated_split_info.destination_rent_exempt_reserve;
    1722             : 
    1723             :     /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L495 */
    1724           0 :     fd_guarded_borrowed_account_t stake_account = {0};
    1725           0 :     FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, stake_account_index, &stake_account );
    1726             : 
    1727             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L497
    1728           0 :     rc = set_state( &stake_account, &stake_state );
    1729           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1730             : 
    1731             :     /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L498 */
    1732           0 :     fd_borrowed_account_drop( &stake_account );
    1733             : 
    1734             :     /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L499 */
    1735           0 :     fd_guarded_borrowed_account_t split = {0};
    1736           0 :     FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, split_index, &split );
    1737             : 
    1738             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L501
    1739           0 :     fd_stake_state_v2_t temp = { .discriminant = fd_stake_state_v2_enum_stake,
    1740           0 :                                  .inner        = { .stake = { .meta        = split_meta,
    1741           0 :                                                               .stake       = split_stake,
    1742           0 :                                                               .stake_flags = *stake_flags } } };
    1743           0 :     rc = set_state( &split, &temp );
    1744           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1745             : 
    1746             :     /* implicit drop of split */
    1747           0 :     break;
    1748           0 :   }
    1749           0 :   case fd_stake_state_v2_enum_initialized: {
    1750             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L504
    1751           0 :     fd_stake_meta_t * meta = &stake_state.inner.initialized.meta;
    1752           0 :     rc                     = authorized_check( &meta->authorized, signers, signers_cnt, STAKE_AUTHORIZE_STAKER );
    1753           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1754             : 
    1755             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L505
    1756           0 :     validated_split_info_t validated_split_info = {0};
    1757           0 :     rc = validate_split_amount( ctx,
    1758           0 :                                 stake_account_index,
    1759           0 :                                 split_index,
    1760           0 :                                 lamports,
    1761           0 :                                 meta,
    1762           0 :                                 0,
    1763           0 :                                 0,
    1764           0 :                                 &validated_split_info );
    1765           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1766             : 
    1767             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L516
    1768           0 :     fd_stake_meta_t split_meta     = *meta;
    1769           0 :     split_meta.rent_exempt_reserve = validated_split_info.destination_rent_exempt_reserve;
    1770             : 
    1771             :     /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L518 */
    1772           0 :     fd_guarded_borrowed_account_t split = {0};
    1773           0 :     FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, split_index, &split );
    1774             : 
    1775             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L520
    1776           0 :     fd_stake_state_v2_t temp = { .discriminant = fd_stake_state_v2_enum_initialized,
    1777           0 :                                  .inner        = { .initialized = { .meta = split_meta } } };
    1778           0 :     rc = set_state( &split, &temp );
    1779           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1780           0 :     break;
    1781           0 :   }
    1782           0 :   case fd_stake_state_v2_enum_uninitialized: {
    1783             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L523
    1784           0 :     fd_pubkey_t const * stake_pubkey = NULL;
    1785           0 :     rc = fd_exec_instr_ctx_get_key_of_account_at_index( ctx, stake_account_index, &stake_pubkey );
    1786           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1787             : 
    1788           0 :     if( FD_UNLIKELY( !fd_signers_contains( signers, signers_cnt, stake_pubkey ) ) ) {
    1789             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L527
    1790           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
    1791           0 :     }
    1792           0 :     break;
    1793           0 :   }
    1794           0 :   default:
    1795             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L531
    1796           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    1797           0 :   }
    1798             : 
    1799             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L535 */
    1800           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, stake_account_index, &stake_account );
    1801             : 
    1802             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L537
    1803           0 :   if( FD_UNLIKELY( lamports==fd_borrowed_account_get_lamports( &stake_account ) ) ) {
    1804           0 :     fd_stake_state_v2_t uninitialized = {0};
    1805           0 :     uninitialized.discriminant        = fd_stake_state_v2_enum_uninitialized;
    1806           0 :     rc                                = set_state( &stake_account, &uninitialized );
    1807           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1808           0 :   };
    1809             : 
    1810             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L540 */
    1811           0 :   fd_borrowed_account_drop( &stake_account );
    1812             : 
    1813             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L542 */
    1814           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, split_index, &split );
    1815             : 
    1816             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L544
    1817           0 :   rc = fd_borrowed_account_checked_add_lamports( &split, lamports );
    1818           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1819             : 
    1820             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L545 */
    1821           0 :   fd_borrowed_account_drop( &split );
    1822             : 
    1823             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L546-L547 */
    1824           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, stake_account_index, &stake_account );
    1825             : 
    1826             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L548 */
    1827           0 :   rc = fd_borrowed_account_checked_sub_lamports( &stake_account, lamports );
    1828           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1829             : 
    1830           0 :   return 0;
    1831           0 : }
    1832             : 
    1833             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L552
    1834             : static int
    1835             : merge( fd_exec_instr_ctx_t *         ctx, // not const to log
    1836             :        uchar                         stake_account_index,
    1837             :        uchar                         source_account_index,
    1838             :        fd_sol_sysvar_clock_t const * clock,
    1839             :        fd_stake_history_t const *    stake_history,
    1840             :        fd_pubkey_t const *           signers[static FD_TXN_SIG_MAX],
    1841           0 :        ulong                         signers_cnt ) {
    1842           0 :   int rc;
    1843             : 
    1844             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L562 */
    1845           0 :   fd_guarded_borrowed_account_t source_account = {0};
    1846           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, source_account_index, &source_account );
    1847             : 
    1848             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L565
    1849           0 :   if( FD_UNLIKELY( memcmp( fd_borrowed_account_get_owner( &source_account ), fd_solana_stake_program_id.key, 32UL ) ) )
    1850           0 :     return FD_EXECUTOR_INSTR_ERR_INCORRECT_PROGRAM_ID;
    1851             : 
    1852           0 :   ushort stake_acc_idx_in_txn;
    1853           0 :   ushort source_acc_idx_in_txn;
    1854             : 
    1855           0 :   rc = fd_exec_instr_ctx_get_index_of_instr_account_in_transaction( ctx, stake_account_index, &stake_acc_idx_in_txn );
    1856           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1857             : 
    1858           0 :   rc = fd_exec_instr_ctx_get_index_of_instr_account_in_transaction( ctx, source_account_index, &source_acc_idx_in_txn );
    1859           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1860             : 
    1861             :   /* Close the stake_account-reference loophole
    1862             :      https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L569-L574 */
    1863           0 :   if( FD_UNLIKELY( stake_acc_idx_in_txn==source_acc_idx_in_txn ) )
    1864           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ARG;
    1865             : 
    1866             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L575 */
    1867           0 :   fd_guarded_borrowed_account_t stake_account = {0};
    1868           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, stake_account_index, &stake_account );
    1869             : 
    1870           0 :   fd_stake_state_v2_t stake_account_state = {0};
    1871           0 :   rc = get_state( stake_account.meta, &stake_account_state );
    1872           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1873             : 
    1874           0 :   merge_kind_t stake_merge_kind = {0};
    1875           0 :   fd_log_collector_msg_literal( ctx, "Checking if destination stake is mergeable" );
    1876             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L579
    1877           0 :   rc = get_if_mergeable( ctx,
    1878           0 :                          &stake_account_state,
    1879           0 :                          fd_borrowed_account_get_lamports( &stake_account ),
    1880           0 :                          clock,
    1881           0 :                          stake_history,
    1882           0 :                          &stake_merge_kind,
    1883           0 :                          &ctx->txn_out->err.custom_err );
    1884           0 :   if( FD_UNLIKELY( rc ) )
    1885           0 :     return rc;
    1886             : 
    1887             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L588
    1888           0 :   rc = authorized_check( &meta( &stake_merge_kind )->authorized, signers, signers_cnt, STAKE_AUTHORIZE_STAKER );
    1889           0 :   if( FD_UNLIKELY( rc ) )
    1890           0 :     return rc;
    1891             : 
    1892           0 :   fd_stake_state_v2_t source_account_state = {0};
    1893           0 :   rc = get_state( source_account.meta, &source_account_state );
    1894           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1895             : 
    1896           0 :   merge_kind_t source_merge_kind = {0};
    1897           0 :   fd_log_collector_msg_literal( ctx, "Checking if source stake is mergeable" );
    1898             :   //https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L594
    1899           0 :   rc = get_if_mergeable( ctx,
    1900           0 :                          &source_account_state,
    1901           0 :                          fd_borrowed_account_get_lamports( &source_account ),
    1902           0 :                          clock,
    1903           0 :                          stake_history,
    1904           0 :                          &source_merge_kind,
    1905           0 :                          &ctx->txn_out->err.custom_err );
    1906           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1907             : 
    1908           0 :   fd_stake_state_v2_t merged_state = {0};
    1909           0 :   int                 is_some      = 0;
    1910           0 :   fd_log_collector_msg_literal( ctx, "Merging stake accounts" );
    1911             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L603
    1912           0 :   rc = merge_kind_merge( stake_merge_kind,
    1913           0 :                          ctx,
    1914           0 :                          source_merge_kind,
    1915           0 :                          clock,
    1916           0 :                          &merged_state,
    1917           0 :                          &is_some,
    1918           0 :                          &ctx->txn_out->err.custom_err );
    1919           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1920           0 :   if( is_some ) {
    1921             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L608
    1922           0 :     rc = set_state( &stake_account, &merged_state );
    1923           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1924           0 :   }
    1925             : 
    1926             :   //  https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L608
    1927           0 :   fd_stake_state_v2_t uninitialized = {0};
    1928           0 :   uninitialized.discriminant        = fd_stake_state_v2_enum_uninitialized;
    1929           0 :   rc                                = set_state( &source_account, &uninitialized );
    1930           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1931             : 
    1932             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L611-L613
    1933           0 :   ulong lamports = fd_borrowed_account_get_lamports( &source_account );
    1934           0 :   rc = fd_borrowed_account_checked_sub_lamports( &source_account, lamports );
    1935           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1936           0 :   rc = fd_borrowed_account_checked_add_lamports( &stake_account, lamports );
    1937           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    1938             : 
    1939           0 :   return 0;
    1940           0 : }
    1941             : 
    1942             : // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L136
    1943             : static int
    1944             : move_stake_or_lamports_shared_checks( fd_exec_instr_ctx_t *   invoke_context, // not const to log
    1945             :                                       fd_borrowed_account_t * source_account,
    1946             :                                       ulong                   lamports,
    1947             :                                       fd_borrowed_account_t * destination_account,
    1948             :                                       ushort                  stake_authority_index,
    1949             :                                       merge_kind_t *          source_merge_kind,
    1950             :                                       merge_kind_t *          destination_merge_kind,
    1951           0 :                                       uint *                  custom_err ) {
    1952           0 :     int rc;
    1953             : 
    1954             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L145-L153
    1955           0 :     if( FD_UNLIKELY( !fd_instr_acc_is_signer_idx( invoke_context->instr, stake_authority_index, NULL ) ) ) {
    1956           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
    1957           0 :     }
    1958             : 
    1959             :     // https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L132
    1960           0 :     fd_pubkey_t const * stake_authority_pubkey = NULL;
    1961           0 :     rc = fd_exec_instr_ctx_get_key_of_account_at_index( invoke_context, stake_authority_index, &stake_authority_pubkey );
    1962           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1963             : 
    1964           0 :     fd_pubkey_t const * signers[FD_TXN_SIG_MAX] = { stake_authority_pubkey };
    1965             : 
    1966             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L158
    1967           0 :     if( FD_UNLIKELY( memcmp( fd_borrowed_account_get_owner( source_account ), fd_solana_stake_program_id.key, sizeof(fd_pubkey_t) ) ||
    1968           0 :                      memcmp( fd_borrowed_account_get_owner( destination_account ), fd_solana_stake_program_id.key, sizeof(fd_pubkey_t) ) ) )
    1969           0 :       return FD_EXECUTOR_INSTR_ERR_INCORRECT_PROGRAM_ID;
    1970             : 
    1971             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L163
    1972           0 :     if( FD_UNLIKELY( !memcmp( source_account->pubkey, destination_account->pubkey, sizeof(fd_pubkey_t) ) ) )
    1973           0 :       return FD_EXECUTOR_INSTR_ERR_INVALID_INSTR_DATA;
    1974             : 
    1975             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L168
    1976           0 :     if( FD_UNLIKELY( !fd_borrowed_account_is_writable( source_account ) ||
    1977           0 :                      !fd_borrowed_account_is_writable( destination_account ) ) )
    1978           0 :         return FD_EXECUTOR_INSTR_ERR_INVALID_INSTR_DATA;
    1979             : 
    1980             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L173
    1981           0 :     if( lamports==0 )
    1982           0 :       return FD_EXECUTOR_INSTR_ERR_INVALID_ARG;
    1983             : 
    1984             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L177-L180
    1985           0 :     fd_sol_sysvar_clock_t clock_;
    1986           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( invoke_context->sysvar_cache, &clock_ );
    1987           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    1988             : 
    1989           0 :     fd_stake_history_t const * stake_history = fd_sysvar_cache_stake_history_join_const( invoke_context->sysvar_cache );
    1990           0 :     if( FD_UNLIKELY( !stake_history ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    1991             : 
    1992             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L182
    1993           0 :     fd_stake_state_v2_t source_account_state = {0};
    1994           0 :     rc = get_state( source_account->meta, &source_account_state );
    1995           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    1996             : 
    1997           0 :     rc = get_if_mergeable( invoke_context,
    1998           0 :                          &source_account_state,
    1999           0 :                          fd_borrowed_account_get_lamports( source_account ),
    2000           0 :                          clock,
    2001           0 :                          stake_history,
    2002           0 :                          source_merge_kind,
    2003           0 :                          &invoke_context->txn_out->err.custom_err );
    2004           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2005             : 
    2006             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L191
    2007           0 :     rc = authorized_check( &meta( source_merge_kind )->authorized, signers, 1UL, STAKE_AUTHORIZE_STAKER );
    2008           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2009             : 
    2010             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L197
    2011           0 :     fd_stake_state_v2_t destination_account_state = {0};
    2012           0 :     rc = get_state( destination_account->meta, &destination_account_state );
    2013           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2014             : 
    2015           0 :     rc = get_if_mergeable( invoke_context,
    2016           0 :                          &destination_account_state,
    2017           0 :                          fd_borrowed_account_get_lamports( destination_account ),
    2018           0 :                          clock,
    2019           0 :                          stake_history,
    2020           0 :                          destination_merge_kind,
    2021           0 :                          &invoke_context->txn_out->err.custom_err );
    2022           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2023             : 
    2024             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L206
    2025           0 :     rc = metas_can_merge( invoke_context, meta( source_merge_kind ), meta( destination_merge_kind ), clock, custom_err );
    2026           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2027             : 
    2028           0 :   return 0;
    2029           0 : }
    2030             : 
    2031             : // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L789
    2032             : static int
    2033             : move_stake(fd_exec_instr_ctx_t * ctx, // not const to log
    2034             :            ushort                source_account_index,
    2035             :            ulong                 lamports,
    2036             :            ushort                destination_account_index,
    2037             :            ushort                stake_authority_index,
    2038           0 :            uint *                custom_err ) {
    2039           0 :   int rc;
    2040             : 
    2041             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L626 */
    2042           0 :   fd_guarded_borrowed_account_t source_account = {0};
    2043           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, source_account_index, &source_account );
    2044             : 
    2045             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L629 */
    2046           0 :   fd_guarded_borrowed_account_t destination_account = {0};
    2047           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, destination_account_index, &destination_account );
    2048             : 
    2049             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L804
    2050           0 :   merge_kind_t source_merge_kind = {0};
    2051           0 :   merge_kind_t destination_merge_kind = {0};
    2052           0 :   rc = move_stake_or_lamports_shared_checks( ctx,
    2053           0 :                                              &source_account,
    2054           0 :                                              lamports,
    2055           0 :                                              &destination_account,
    2056           0 :                                              stake_authority_index,
    2057           0 :                                              &source_merge_kind,
    2058           0 :                                              &destination_merge_kind,
    2059           0 :                                              &ctx->txn_out->err.custom_err );
    2060           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2061             : 
    2062             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L816
    2063           0 :   if( FD_UNLIKELY( fd_borrowed_account_get_data_len( &source_account )!=stake_state_v2_size_of() ||
    2064           0 :   fd_borrowed_account_get_data_len( &destination_account )!=stake_state_v2_size_of() ) )
    2065           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    2066             : 
    2067             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L823
    2068           0 :   if( source_merge_kind.discriminant!=merge_kind_fully_active )
    2069           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    2070           0 :   fd_stake_meta_t * source_meta = &source_merge_kind.inner.fully_active.meta;
    2071           0 :   fd_stake_t * source_stake = &source_merge_kind.inner.fully_active.stake;
    2072             : 
    2073             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L827
    2074           0 :   ulong minimum_delegation = get_minimum_delegation( ctx->bank );
    2075             : 
    2076             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L831
    2077           0 :   if( FD_UNLIKELY( source_stake->delegation.stake<lamports ) )
    2078           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ARG;
    2079             : 
    2080           0 :   ulong source_final_stake = source_stake->delegation.stake - lamports;
    2081             : 
    2082             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L836
    2083           0 :   if( FD_UNLIKELY( source_final_stake!=0 && source_final_stake<minimum_delegation ) )
    2084           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ARG;
    2085             : 
    2086             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L841
    2087           0 :   fd_stake_meta_t * destination_meta = NULL;
    2088           0 :   switch( destination_merge_kind.discriminant ) {
    2089           0 :   case merge_kind_fully_active: {
    2090           0 :     fd_stake_t * destination_stake = &destination_merge_kind.inner.fully_active.stake;
    2091             : 
    2092             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L844
    2093           0 :     if( FD_UNLIKELY( memcmp( &source_stake->delegation.voter_pubkey, &destination_stake->delegation.voter_pubkey, sizeof(fd_pubkey_t) ) ) ) {
    2094           0 :       *custom_err = FD_STAKE_ERR_VOTE_ADDRESS_MISMATCH;
    2095           0 :       return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
    2096           0 :     }
    2097             : 
    2098             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L848
    2099           0 :     ulong destination_effective_stake = 0;
    2100           0 :     rc = fd_ulong_checked_add( destination_stake->delegation.stake, lamports, &destination_effective_stake );
    2101           0 :     if( FD_UNLIKELY( rc ) ) return FD_EXECUTOR_INSTR_ERR_ARITHMETIC_OVERFLOW;
    2102             : 
    2103             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L855
    2104           0 :     if( FD_UNLIKELY( destination_effective_stake<minimum_delegation ) ) {
    2105           0 :       return FD_EXECUTOR_INSTR_ERR_INVALID_ARG;
    2106           0 :     }
    2107             : 
    2108             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L859
    2109           0 :     rc = merge_delegation_stake_and_credits_observed(
    2110           0 :       ctx, destination_stake, lamports, source_stake->credits_observed );
    2111           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2112           0 :     destination_meta = &destination_merge_kind.inner.fully_active.meta;
    2113             : 
    2114             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L867
    2115           0 :     fd_stake_state_v2_t new_destination_state = {
    2116           0 :       .discriminant = fd_stake_state_v2_enum_stake,
    2117           0 :       .inner        = { .stake = {
    2118           0 :                             .meta        = *destination_meta,
    2119           0 :                             .stake       = *destination_stake,
    2120           0 :                             .stake_flags = STAKE_FLAGS_EMPTY} } };
    2121           0 :     rc = set_state( &destination_account, &new_destination_state );
    2122           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2123             : 
    2124           0 :     break;
    2125           0 :   }
    2126           0 :   case merge_kind_inactive: {
    2127             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L877
    2128           0 :     if( lamports<minimum_delegation ) {
    2129           0 :       return FD_EXECUTOR_INSTR_ERR_INVALID_ARG;
    2130           0 :     }
    2131             : 
    2132             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L881
    2133           0 :     fd_stake_t * destination_stake = source_stake;
    2134           0 :     destination_stake->delegation.stake = lamports;
    2135             : 
    2136           0 :     destination_meta = &destination_merge_kind.inner.inactive.meta;
    2137             : 
    2138             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L886
    2139           0 :     fd_stake_state_v2_t new_destination_state = {
    2140           0 :       .discriminant = fd_stake_state_v2_enum_stake,
    2141           0 :       .inner        = { .stake = {
    2142           0 :                             .meta        = *destination_meta,
    2143           0 :                             .stake       = *destination_stake,
    2144           0 :                             .stake_flags = STAKE_FLAGS_EMPTY} } };
    2145           0 :     rc = set_state( &destination_account, &new_destination_state );
    2146           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2147           0 :     break;
    2148           0 :   }
    2149           0 :   default:
    2150             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L894
    2151           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    2152           0 :   }
    2153             : 
    2154             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L897-L910
    2155           0 :   if( source_final_stake==0) {
    2156           0 :     fd_stake_state_v2_t new_source_state = { .discriminant = fd_stake_state_v2_enum_initialized,
    2157           0 :                                  .inner        = { .initialized = { .meta =  *source_meta} } };
    2158           0 :     rc = set_state( &source_account, &new_source_state );
    2159           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2160             : 
    2161           0 :   } else {
    2162           0 :     source_stake->delegation.stake = source_final_stake;
    2163             : 
    2164           0 :     fd_stake_state_v2_t new_source_state = { .discriminant = fd_stake_state_v2_enum_stake,
    2165           0 :                                .inner        = { .stake = { .meta = *source_meta,
    2166           0 :                                                             .stake = *source_stake,
    2167           0 :                                                             .stake_flags = STAKE_FLAGS_EMPTY } } };
    2168           0 :     rc = set_state( &source_account, &new_source_state );
    2169           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2170           0 :   }
    2171             : 
    2172             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L911-L914
    2173           0 :   rc = fd_borrowed_account_checked_sub_lamports( &source_account, lamports );
    2174           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2175           0 :   rc = fd_borrowed_account_checked_add_lamports( &destination_account, lamports );
    2176           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2177             : 
    2178             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L915-L923
    2179           0 :   if( FD_UNLIKELY( fd_borrowed_account_get_lamports( &source_account )<source_meta->rent_exempt_reserve ) ||
    2180           0 :                    fd_borrowed_account_get_lamports( &destination_account )<destination_meta->rent_exempt_reserve ) {
    2181           0 :     fd_log_collector_msg_literal( ctx, "Delegation calculations violated lamport balance assumptions" );
    2182           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ARG;
    2183           0 :   }
    2184             : 
    2185           0 :   return FD_EXECUTOR_INSTR_SUCCESS;
    2186           0 : }
    2187             : 
    2188             : // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L928
    2189             : static int
    2190             : move_lamports(fd_exec_instr_ctx_t * ctx, // not const to log
    2191             :               ushort                source_account_index,
    2192             :               ulong                 lamports,
    2193             :               ushort                destination_account_index,
    2194           0 :               ushort                stake_authority_index ) {
    2195           0 :   int rc;
    2196             : 
    2197             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L759 */
    2198           0 :   fd_guarded_borrowed_account_t source_account = {0};
    2199           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK(ctx, source_account_index, &source_account );
    2200             : 
    2201             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L762 */
    2202           0 :   fd_guarded_borrowed_account_t destination_account = {0};
    2203           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, destination_account_index, &destination_account );
    2204             : 
    2205             : 
    2206             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L943
    2207           0 :   merge_kind_t source_merge_kind = {0};
    2208           0 :   merge_kind_t destination_merge_kind = {0};
    2209           0 :   rc = move_stake_or_lamports_shared_checks( ctx,
    2210           0 :                                              &source_account,
    2211           0 :                                              lamports,
    2212           0 :                                              &destination_account,
    2213           0 :                                              stake_authority_index,
    2214           0 :                                              &source_merge_kind,
    2215           0 :                                              &destination_merge_kind,
    2216           0 :                                              &ctx->txn_out->err.custom_err );
    2217           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2218             : 
    2219             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L953-L963
    2220           0 :   ulong source_free_lamports;
    2221           0 :   switch( source_merge_kind.discriminant ) {
    2222           0 :     case merge_kind_fully_active: {
    2223           0 :       source_free_lamports = fd_ulong_sat_sub( fd_ulong_sat_sub( fd_borrowed_account_get_lamports( &source_account ),
    2224           0 :                                                                  source_merge_kind.inner.fully_active.stake.delegation.stake ),
    2225           0 :                                                 source_merge_kind.inner.fully_active.meta.rent_exempt_reserve );
    2226             : 
    2227           0 :       break;
    2228           0 :     }
    2229           0 :     case merge_kind_inactive: {
    2230           0 :       source_free_lamports = fd_ulong_sat_sub( source_merge_kind.inner.inactive.active_stake,
    2231           0 :                                                source_merge_kind.inner.inactive.meta.rent_exempt_reserve );
    2232           0 :       break;
    2233           0 :     }
    2234           0 :     default:
    2235           0 :       return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    2236           0 :   }
    2237             : 
    2238             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L964
    2239           0 :   if( FD_UNLIKELY( lamports>source_free_lamports ) ) {
    2240           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ARG;
    2241           0 :   }
    2242             : 
    2243             :   // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_state.rs#L968-L970
    2244           0 :   rc = fd_borrowed_account_checked_sub_lamports( &source_account, lamports );
    2245           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2246             : 
    2247           0 :   rc = fd_borrowed_account_checked_add_lamports( &destination_account, lamports );
    2248           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2249             : 
    2250           0 :   return FD_EXECUTOR_INSTR_SUCCESS;
    2251           0 : }
    2252             : 
    2253             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L797
    2254             : static int
    2255             : withdraw( fd_exec_instr_ctx_t const *   ctx,
    2256             :           uchar                         stake_account_index,
    2257             :           ulong                         lamports,
    2258             :           uchar                         to_index,
    2259             :           fd_sol_sysvar_clock_t const * clock,
    2260             :           fd_stake_history_t const *    stake_history,
    2261             :           uchar                         withdraw_authority_index,
    2262             :           uchar *                       custodian_index,
    2263           0 :           ulong *                       new_rate_activation_epoch ) {
    2264             : 
    2265           0 :   int rc;
    2266             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L809
    2267           0 :   fd_pubkey_t const * withdraw_authority_pubkey = NULL;
    2268           0 :   rc = fd_exec_instr_ctx_get_key_of_account_at_index( ctx, withdraw_authority_index, &withdraw_authority_pubkey );
    2269           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2270             : 
    2271             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L813
    2272           0 :   int is_signer = fd_instr_acc_is_signer_idx( ctx->instr, withdraw_authority_index, NULL );
    2273           0 :   if( FD_UNLIKELY( !is_signer ) ) return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
    2274             : 
    2275             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L817
    2276           0 :   fd_pubkey_t const * signers[FD_TXN_SIG_MAX] = { withdraw_authority_pubkey };
    2277             : 
    2278             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L819 */
    2279           0 :   fd_guarded_borrowed_account_t stake_account = {0};
    2280           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, stake_account_index, &stake_account );
    2281             : 
    2282             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L821
    2283           0 :   fd_stake_state_v2_t stake_state = {0};
    2284           0 :   rc = get_state( stake_account.meta, &stake_state );
    2285           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2286             : 
    2287           0 :   fd_stake_lockup_t lockup;
    2288           0 :   ulong             reserve;
    2289           0 :   int               is_staked;
    2290             : 
    2291           0 :   switch( stake_state.discriminant ) {
    2292           0 :   case fd_stake_state_v2_enum_stake: {
    2293             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L822
    2294           0 :     fd_stake_meta_t * meta  = &stake_state.inner.stake.meta;
    2295           0 :     fd_stake_t *      stake = &stake_state.inner.stake.stake;
    2296             : 
    2297             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L823
    2298           0 :     rc = authorized_check( &meta->authorized, signers, 1UL, STAKE_AUTHORIZE_WITHDRAWER );
    2299           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2300             : 
    2301             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L826
    2302           0 :     ulong staked = fd_ulong_if(
    2303           0 :         clock->epoch>=stake->delegation.deactivation_epoch,
    2304           0 :         delegation_stake(
    2305           0 :             &stake->delegation, clock->epoch, stake_history, new_rate_activation_epoch ),
    2306           0 :         stake->delegation.stake );
    2307             : 
    2308             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L837
    2309           0 :     ulong staked_and_reserve = ULONG_MAX;
    2310           0 :     rc = fd_ulong_checked_add( staked, meta->rent_exempt_reserve, &staked_and_reserve );
    2311           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2312             : 
    2313             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L838
    2314           0 :     lockup    = meta->lockup;
    2315           0 :     reserve   = staked_and_reserve;
    2316           0 :     is_staked = staked!=0;
    2317           0 :     break;
    2318           0 :   }
    2319           0 :   case fd_stake_state_v2_enum_initialized: {
    2320             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L840
    2321           0 :     fd_stake_meta_t * meta = &stake_state.inner.initialized.meta;
    2322             : 
    2323             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L841
    2324           0 :     rc = authorized_check( &meta->authorized, signers, 1UL, STAKE_AUTHORIZE_WITHDRAWER );
    2325           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2326             : 
    2327             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L844
    2328           0 :     lockup    = meta->lockup;
    2329           0 :     reserve   = meta->rent_exempt_reserve;
    2330           0 :     is_staked = 0;
    2331           0 :     break;
    2332           0 :   }
    2333           0 :   case fd_stake_state_v2_enum_uninitialized: {
    2334             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L846
    2335           0 :     if( FD_UNLIKELY( !fd_signers_contains( signers, 1UL, stake_account.pubkey ) ) ) {
    2336           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
    2337           0 :     }
    2338             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L850
    2339           0 :     memset( &lockup, 0, sizeof( fd_stake_lockup_t ) ); /* Lockup::default(); */
    2340           0 :     reserve   = 0;
    2341           0 :     is_staked = 0;
    2342           0 :     break;
    2343           0 :   }
    2344           0 :   default:
    2345             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L852
    2346           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    2347           0 :   }
    2348             : 
    2349             :   // FIXME FD_LIKELY
    2350             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L857-L871
    2351           0 :   fd_pubkey_t custodian_pubkey_ = {0};
    2352           0 :   fd_pubkey_t const * custodian_pubkey  = &custodian_pubkey_;
    2353           0 :   if( custodian_index ) {
    2354           0 :     int is_signer = fd_instr_acc_is_signer_idx( ctx->instr, *custodian_index, NULL );
    2355           0 :     if( is_signer ) {
    2356           0 :       int err = fd_exec_instr_ctx_get_key_of_account_at_index( ctx, *custodian_index, &custodian_pubkey );
    2357           0 :       if( FD_UNLIKELY( err ) ) return err;
    2358           0 :     } else {
    2359           0 :       custodian_pubkey = NULL;
    2360           0 :     }
    2361           0 :   } else {
    2362           0 :     custodian_pubkey = NULL;
    2363           0 :   }
    2364             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L871
    2365           0 :   if( FD_UNLIKELY( lockup_is_in_force( &lockup, clock, custodian_pubkey ) ) ) {
    2366           0 :     ctx->txn_out->err.custom_err = FD_STAKE_ERR_LOCKUP_IN_FORCE;
    2367           0 :     return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
    2368           0 :   };
    2369             : 
    2370             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L875
    2371           0 :   ulong lamports_and_reserve = ULONG_MAX;
    2372           0 :   rc                         = fd_ulong_checked_add( lamports, reserve, &lamports_and_reserve );
    2373           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2374             : 
    2375             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L877
    2376           0 :   if( FD_UNLIKELY( is_staked && lamports_and_reserve>fd_borrowed_account_get_lamports( &stake_account ) ) ) {
    2377           0 :     return FD_EXECUTOR_INSTR_ERR_INSUFFICIENT_FUNDS;
    2378           0 :   }
    2379             : 
    2380             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L883
    2381           0 :   if( FD_UNLIKELY( lamports!=fd_borrowed_account_get_lamports( &stake_account  ) &&
    2382           0 :                     lamports_and_reserve>fd_borrowed_account_get_lamports( &stake_account ) ) ) {
    2383             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L886
    2384           0 :     FD_TEST( !is_staked );
    2385           0 :     return FD_EXECUTOR_INSTR_ERR_INSUFFICIENT_FUNDS;
    2386           0 :   }
    2387             : 
    2388             :   // FIXME FD_LIKELY
    2389             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L891
    2390           0 :   if( lamports==fd_borrowed_account_get_lamports( &stake_account ) ) {
    2391           0 :     fd_stake_state_v2_t uninitialized = {0};
    2392           0 :     uninitialized.discriminant        = fd_stake_state_v2_enum_uninitialized;
    2393           0 :     rc                                = set_state( &stake_account, &uninitialized );
    2394           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2395           0 :   }
    2396             : 
    2397             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L895
    2398           0 :   rc = fd_borrowed_account_checked_sub_lamports( &stake_account, lamports );
    2399           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2400             : 
    2401             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L896 */
    2402           0 :   fd_borrowed_account_drop( &stake_account );
    2403             : 
    2404             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L897 */
    2405           0 :   fd_guarded_borrowed_account_t to = {0};
    2406           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, to_index, &to );
    2407             : 
    2408             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L899
    2409           0 :   rc = fd_borrowed_account_checked_add_lamports( &to, lamports );
    2410           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2411             : 
    2412           0 :   return 0;
    2413           0 : }
    2414             : 
    2415             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L903
    2416             : static int
    2417             : deactivate_delinquent( fd_exec_instr_ctx_t *   ctx,
    2418             :                        fd_borrowed_account_t * stake_account,
    2419             :                        ushort                  delinquent_vote_account_index,
    2420             :                        ushort                  reference_vote_account_index,
    2421             :                        ulong                   current_epoch,
    2422           0 :                        uint *                  custom_err ) {
    2423           0 :   int rc;
    2424             : 
    2425             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L911
    2426           0 :   fd_pubkey_t const * delinquent_vote_account_pubkey = NULL;
    2427           0 :   rc = fd_exec_instr_ctx_get_key_of_account_at_index( ctx, delinquent_vote_account_index, &delinquent_vote_account_pubkey );
    2428           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2429             : 
    2430             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L915 */
    2431           0 :   fd_guarded_borrowed_account_t delinquent_vote_account = {0};
    2432           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, delinquent_vote_account_index, &delinquent_vote_account );
    2433             : 
    2434             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L917
    2435           0 :   if( FD_UNLIKELY( memcmp( fd_borrowed_account_get_owner( &delinquent_vote_account ), fd_solana_vote_program_id.key, 32UL ) ) )
    2436           0 :     return FD_EXECUTOR_INSTR_ERR_INCORRECT_PROGRAM_ID;
    2437             : 
    2438             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L920-L922
    2439           0 :   fd_vote_state_versioned_t * delinquent_vote_state_versioned = fd_vote_get_state( delinquent_vote_account.meta, ctx->runtime->stake_program.deactivate_delinquent.delinquent_vote_state_mem );
    2440           0 :   if( FD_UNLIKELY( !delinquent_vote_state_versioned ) ) return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    2441           0 :   fd_vote_convert_to_current( delinquent_vote_state_versioned,
    2442           0 :                               ctx->runtime->stake_program.deactivate_delinquent.delinquent_landed_votes_mem );
    2443           0 :   fd_vote_state_v3_t delinquent_vote_state = delinquent_vote_state_versioned->inner.v3;
    2444             : 
    2445             :   /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_state.rs#L924 */
    2446           0 :   fd_guarded_borrowed_account_t reference_vote_account = {0};
    2447           0 :   FD_TRY_BORROW_INSTR_ACCOUNT_DEFAULT_ERR_CHECK( ctx, reference_vote_account_index, &reference_vote_account );
    2448             : 
    2449             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L926
    2450           0 :   if( FD_UNLIKELY( memcmp( fd_borrowed_account_get_owner( &reference_vote_account ), fd_solana_vote_program_id.key, 32UL ) ) )
    2451           0 :     return FD_EXECUTOR_INSTR_ERR_INCORRECT_PROGRAM_ID;
    2452             : 
    2453             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L929-L932
    2454           0 :   fd_vote_state_versioned_t * reference_vote_state_versioned = fd_vote_get_state( reference_vote_account.meta, ctx->runtime->stake_program.deactivate_delinquent.reference_vote_state_mem );
    2455           0 :   if( FD_UNLIKELY( !reference_vote_state_versioned ) ) return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    2456           0 :   fd_vote_convert_to_current( reference_vote_state_versioned,
    2457           0 :                               ctx->runtime->stake_program.deactivate_delinquent.reference_landed_votes_mem );
    2458           0 :   fd_vote_state_v3_t reference_vote_state = reference_vote_state_versioned->inner.v3;
    2459             : 
    2460             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L933
    2461           0 :   if( !acceptable_reference_epoch_credits( reference_vote_state.epoch_credits, current_epoch ) ) {
    2462           0 :     ctx->txn_out->err.custom_err = FD_STAKE_ERR_INSUFFICIENT_REFERENCE_VOTES;
    2463           0 :     return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
    2464           0 :   }
    2465             : 
    2466           0 :   fd_stake_state_v2_t stake_state = {0};
    2467           0 :   rc = get_state( stake_account->meta, &stake_state );
    2468           0 :   if( FD_UNLIKELY( rc ) ) return rc;
    2469             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L937
    2470           0 :   if( FD_LIKELY( stake_state.discriminant==fd_stake_state_v2_enum_stake ) ) {
    2471           0 :     fd_stake_t * stake = &stake_state.inner.stake.stake;
    2472             : 
    2473           0 :     if( FD_UNLIKELY( memcmp( &stake->delegation.voter_pubkey, delinquent_vote_account_pubkey, sizeof(fd_pubkey_t) ) ) ) {
    2474             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L939
    2475           0 :       *custom_err = FD_STAKE_ERR_VOTE_ADDRESS_MISMATCH;
    2476           0 :       return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
    2477           0 :     }
    2478             : 
    2479             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L944
    2480           0 :     if( FD_LIKELY( eligible_for_deactivate_delinquent( delinquent_vote_state.epoch_credits,
    2481           0 :                                                         current_epoch ) ) ) {
    2482           0 :       rc = stake_deactivate( stake, current_epoch, custom_err );
    2483           0 :       if( FD_UNLIKELY( rc ) ) return rc;
    2484           0 :       rc = set_state( stake_account, &stake_state );
    2485           0 :     } else {
    2486             :       // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L948
    2487           0 :       *custom_err = FD_STAKE_ERR_MINIMUM_DELIQUENT_EPOCHS_FOR_DEACTIVATION_NOT_MET;
    2488           0 :       return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
    2489           0 :     }
    2490           0 :   } else {
    2491             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_state.rs#L951
    2492           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_DATA;
    2493           0 :   }
    2494             : 
    2495           0 :   return rc;
    2496           0 : }
    2497             : 
    2498             : /**********************************************************************/
    2499             : /* mod stake_instruction                                              */
    2500             : /**********************************************************************/
    2501             : 
    2502             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L25
    2503             : static int
    2504             : get_optional_pubkey( fd_exec_instr_ctx_t *          ctx,
    2505             :                      ushort                         acc_idx,
    2506             :                      int                            should_be_signer,
    2507           0 :                      /* out */ fd_pubkey_t const ** pubkey ) {
    2508             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L32
    2509           0 :   if( FD_LIKELY( acc_idx<ctx->instr->acct_cnt ) ) {
    2510             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L33
    2511           0 :     if( FD_UNLIKELY( should_be_signer && !fd_instr_acc_is_signer_idx( ctx->instr, acc_idx, NULL ) ) ) {
    2512           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
    2513           0 :     }
    2514             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L39
    2515           0 :     int err = fd_exec_instr_ctx_get_key_of_account_at_index( ctx, acc_idx, pubkey );
    2516           0 :     if( FD_UNLIKELY( err ) ) return err;
    2517           0 :   } else {
    2518           0 :     *pubkey = NULL;
    2519           0 :   }
    2520           0 :   return 0;
    2521           0 : }
    2522             : 
    2523             : // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L60
    2524             : static int
    2525             : get_stake_account( fd_exec_instr_ctx_t const * ctx,
    2526           0 :                    fd_borrowed_account_t *     out ) {
    2527           0 :   int err = fd_exec_instr_ctx_try_borrow_instr_account( ctx, 0, out );
    2528           0 :   if( FD_UNLIKELY( err ) ) return err;
    2529             : 
    2530           0 :   fd_borrowed_account_t * account = out;
    2531             : 
    2532             :   // https://github.com/https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L62-L65
    2533           0 :   if( FD_UNLIKELY( memcmp( fd_borrowed_account_get_owner( account ), fd_solana_stake_program_id.key, 32UL ) ) )
    2534           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_ACC_OWNER;
    2535             : 
    2536           0 :   return FD_EXECUTOR_INSTR_SUCCESS;
    2537           0 : }
    2538             : 
    2539             : /**********************************************************************/
    2540             : /* Public API                                                         */
    2541             : /**********************************************************************/
    2542             : 
    2543             : int
    2544           0 : fd_stake_program_execute( fd_exec_instr_ctx_t * ctx ) {
    2545             :   /* Prevent execution of migrated native programs */
    2546           0 :   if( FD_UNLIKELY( FD_FEATURE_ACTIVE_BANK( ctx->bank, migrate_stake_program_to_core_bpf ) ) ) {
    2547           0 :     return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_PROGRAM_ID;
    2548           0 :   }
    2549             : 
    2550           0 :   FD_EXEC_CU_UPDATE( ctx, DEFAULT_COMPUTE_UNITS );
    2551             : 
    2552             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L77
    2553           0 :   fd_pubkey_t const * signers[FD_TXN_SIG_MAX] = {0};
    2554           0 :   ulong               signers_cnt             = 0UL;
    2555           0 :   fd_exec_instr_ctx_get_signers( ctx, signers, &signers_cnt );
    2556             : 
    2557           0 :   if( FD_UNLIKELY( ctx->instr->data_sz>FD_STAKE_INSTR_FOOTPRINT ) ) {
    2558           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_INSTR_DATA;
    2559           0 :   }
    2560             : 
    2561             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L79
    2562           0 :   uchar instr_mem[ FD_STAKE_INSTR_FOOTPRINT ] __attribute__((aligned(alignof(fd_stake_instruction_t))));
    2563           0 :   fd_stake_instruction_t * instruction = fd_bincode_decode_static(
    2564           0 :       stake_instruction, instr_mem,
    2565           0 :       ctx->instr->data,
    2566           0 :       ctx->instr->data_sz );
    2567           0 :   if( FD_UNLIKELY( !instruction ) ) {
    2568           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_INSTR_DATA;
    2569           0 :   }
    2570             : 
    2571             :   /* The EpochRewards sysvar only exists after partitioned epoch rewards is activated.
    2572             :      If the sysvar exists, check the `active` field */
    2573             : 
    2574           0 :   int epoch_rewards_active = 0;
    2575           0 :   {
    2576           0 :     fd_sysvar_epoch_rewards_t epoch_rewards[1];
    2577           0 :     if( fd_sysvar_cache_epoch_rewards_read( ctx->sysvar_cache, epoch_rewards ) ) {
    2578           0 :       epoch_rewards_active = epoch_rewards->active;
    2579           0 :     }
    2580           0 :   }
    2581           0 :   if( epoch_rewards_active && instruction->discriminant!=fd_stake_instruction_enum_get_minimum_delegation ) {
    2582           0 :     ctx->txn_out->err.custom_err = FD_STAKE_ERR_EPOCH_REWARDS_ACTIVE;
    2583           0 :     return FD_EXECUTOR_INSTR_ERR_CUSTOM_ERR;
    2584           0 :   }
    2585             : 
    2586           0 :   int rc;
    2587             :   // PLEASE PRESERVE SWITCH-CASE ORDERING TO MIRROR AGAVE IMPL:
    2588             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L84
    2589           0 :   switch( instruction->discriminant ) {
    2590             : 
    2591             :   /* Initialize
    2592             :    *
    2593             :    * Instruction:
    2594             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L110
    2595             :    *
    2596             :    * Processor:
    2597             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L85
    2598             :    */
    2599           0 :   case fd_stake_instruction_enum_initialize: {
    2600           0 :     fd_stake_authorized_t const * authorized = &instruction->inner.initialize.authorized;
    2601           0 :     fd_stake_lockup_t const *     lockup     = &instruction->inner.initialize.lockup;
    2602             : 
    2603             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L86
    2604           0 :     fd_guarded_borrowed_account_t me = {0};
    2605           0 :     rc = get_stake_account( ctx, &me );  /* acquire_write */
    2606           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2607             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L87
    2608           0 :     rc = fd_sysvar_instr_acct_check( ctx, 1, &fd_sysvar_rent_id );
    2609           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2610           0 :     fd_rent_t rent_;
    2611           0 :     fd_rent_t const * rent = fd_sysvar_cache_rent_read( ctx->sysvar_cache, &rent_ );
    2612           0 :     if( FD_UNLIKELY( !rent ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2613             : 
    2614             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L88
    2615           0 :     rc = initialize( &me, authorized, lockup, rent );
    2616             : 
    2617             :     /* implicit drop */
    2618             : 
    2619           0 :     break;
    2620           0 :   }
    2621             : 
    2622             :   /* Authorize
    2623             :    *
    2624             :    * Instruction:
    2625             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L120
    2626             :    *
    2627             :    * Processor:
    2628             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L90
    2629             :    */
    2630           0 :   case fd_stake_instruction_enum_authorize: {
    2631           0 :     fd_pubkey_t const *          authorized_pubkey = &instruction->inner.authorize.pubkey;
    2632           0 :     fd_stake_authorize_t const * stake_authorize   = &instruction->inner.authorize.stake_authorize;
    2633             : 
    2634             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L91
    2635           0 :     fd_guarded_borrowed_account_t me = {0};
    2636           0 :     rc = get_stake_account( ctx, &me );
    2637           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2638             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L92
    2639           0 :     rc = fd_sysvar_instr_acct_check( ctx, 1, &fd_sysvar_clock_id );
    2640           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2641           0 :     fd_sol_sysvar_clock_t clock_;
    2642           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    2643           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2644             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L94
    2645           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<3 ) )
    2646           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    2647             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L95
    2648           0 :     fd_pubkey_t const * custodian_pubkey = NULL;
    2649           0 :     rc = get_optional_pubkey( ctx, 3, 0, &custodian_pubkey );
    2650           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2651             : 
    2652             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L98
    2653           0 :     rc = authorize( &me,
    2654           0 :                     signers,
    2655           0 :                     signers_cnt,
    2656           0 :                     authorized_pubkey,
    2657           0 :                     stake_authorize,
    2658           0 :                     clock,
    2659           0 :                     custodian_pubkey,
    2660           0 :                     &ctx->txn_out->err.custom_err );
    2661             : 
    2662             :     /* implicit drop */
    2663           0 :     break;
    2664           0 :   }
    2665             : 
    2666             :   /* AuthorizeWithSeed
    2667             :    *
    2668             :    * Instruction:
    2669             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L211
    2670             :    *
    2671             :    * Processor:
    2672             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L107
    2673             :    */
    2674           0 :   case fd_stake_instruction_enum_authorize_with_seed: {
    2675           0 :     fd_authorize_with_seed_args_t args = instruction->inner.authorize_with_seed;
    2676             : 
    2677             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L108
    2678           0 :     fd_guarded_borrowed_account_t me = {0};
    2679           0 :     rc                         = get_stake_account( ctx, &me );
    2680           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2681             : 
    2682             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L109
    2683           0 :     if( ctx->instr->acct_cnt<2 )
    2684           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    2685             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L110
    2686           0 :     rc = fd_sysvar_instr_acct_check( ctx, 2, &fd_sysvar_clock_id );
    2687           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2688           0 :     fd_sol_sysvar_clock_t clock_;
    2689           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    2690           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2691             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L112
    2692           0 :     fd_pubkey_t const * custodian_pubkey = NULL;
    2693           0 :     rc = get_optional_pubkey( ctx, 3, 0, &custodian_pubkey );
    2694           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2695             : 
    2696             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L115
    2697           0 :     rc = authorize_with_seed( ctx,
    2698           0 :                               &me,
    2699           0 :                               1,
    2700           0 :                               (char const *)args.authority_seed,
    2701           0 :                               args.authority_seed_len,
    2702           0 :                               &args.authority_owner,
    2703           0 :                               &args.new_authorized_pubkey,
    2704           0 :                               &args.stake_authorize,
    2705           0 :                               clock,
    2706           0 :                               custodian_pubkey );
    2707             : 
    2708             :     /* implicit drop */
    2709           0 :     break;
    2710           0 :   }
    2711             : 
    2712             :   /* DelegateStake
    2713             :    *
    2714             :    * Instruction:
    2715             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L135
    2716             :    *
    2717             :    * Processor:
    2718             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L128
    2719             :    */
    2720           0 :   case fd_stake_instruction_enum_delegate_stake: {
    2721             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L129
    2722           0 :     fd_guarded_borrowed_account_t me = {0};
    2723           0 :     rc                         = get_stake_account( ctx, &me );
    2724           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2725             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L130
    2726           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<2 ) )
    2727           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    2728             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L131
    2729           0 :     rc = fd_sysvar_instr_acct_check( ctx, 2, &fd_sysvar_clock_id );
    2730           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2731           0 :     fd_sol_sysvar_clock_t clock_;
    2732           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    2733           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2734             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L133
    2735           0 :     rc = fd_sysvar_instr_acct_check( ctx, 3, &fd_sysvar_stake_history_id );
    2736           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2737           0 :     if( FD_UNLIKELY( !fd_sysvar_cache_stake_history_is_valid( ctx->sysvar_cache ) ) ) {
    2738           0 :       return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2739           0 :     }
    2740             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L138
    2741           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<5 ) )
    2742           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    2743             : 
    2744             :     /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_instruction.rs#L138 */
    2745           0 :     fd_borrowed_account_drop( &me );
    2746             : 
    2747             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L140
    2748           0 :     fd_stake_history_t const * stake_history = fd_sysvar_cache_stake_history_join_const( ctx->sysvar_cache );
    2749           0 :     rc = delegate( ctx,
    2750           0 :                    0,
    2751           0 :                    1,
    2752           0 :                    clock,
    2753           0 :                    stake_history,
    2754           0 :                    signers,
    2755           0 :                    signers_cnt );
    2756           0 :     fd_sysvar_cache_stake_history_leave_const( ctx->sysvar_cache, stake_history );
    2757           0 :     break;
    2758           0 :   }
    2759             : 
    2760             :   /* Split
    2761             :    *
    2762             :    * Instruction:
    2763             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L143
    2764             :    *
    2765             :    * Processor:
    2766             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L152
    2767             :    */
    2768           0 :   case fd_stake_instruction_enum_split: {
    2769           0 :     ulong lamports = instruction->inner.split;
    2770             : 
    2771             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L153
    2772           0 :     fd_guarded_borrowed_account_t me = {0};
    2773           0 :     rc                         = get_stake_account( ctx, &me );
    2774           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2775             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L154
    2776           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<2 ) )
    2777           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    2778             : 
    2779             :     /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_instruction.rs#L154 */
    2780           0 :     fd_borrowed_account_drop( &me );
    2781             : 
    2782             :     //https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L156
    2783           0 :     rc = split( ctx, 0, lamports, 1, signers, signers_cnt );
    2784           0 :     break;
    2785           0 :   }
    2786             : 
    2787             :   /* Merge
    2788             :    *
    2789             :    * Instruction:
    2790             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L201
    2791             :    *
    2792             :    * Processor:
    2793             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L166
    2794             :    */
    2795           0 :   case fd_stake_instruction_enum_merge: {
    2796             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L167
    2797           0 :     fd_guarded_borrowed_account_t me = {0};
    2798           0 :     rc                         = get_stake_account( ctx, &me );
    2799           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2800             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L168
    2801           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<2 ) )
    2802           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    2803             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L169
    2804           0 :     rc = fd_sysvar_instr_acct_check( ctx, 2, &fd_sysvar_clock_id );
    2805           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2806           0 :     fd_sol_sysvar_clock_t clock_;
    2807           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    2808           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2809             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L171
    2810           0 :     rc = fd_sysvar_instr_acct_check( ctx, 3, &fd_sysvar_stake_history_id );
    2811           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2812           0 :     if( FD_UNLIKELY( !fd_sysvar_cache_stake_history_is_valid( ctx->sysvar_cache ) ) ) {
    2813           0 :       return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2814           0 :     }
    2815             : 
    2816             :     /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_instruction.rs#L175 */
    2817           0 :     fd_borrowed_account_drop( &me );
    2818             : 
    2819             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L177
    2820           0 :     fd_stake_history_t const * stake_history = fd_sysvar_cache_stake_history_join_const( ctx->sysvar_cache );
    2821           0 :     rc = merge( ctx, 0, 1, clock, stake_history, signers, signers_cnt );
    2822           0 :     fd_sysvar_cache_stake_history_leave_const( ctx->sysvar_cache, stake_history );
    2823           0 :     break;
    2824           0 :   }
    2825             : 
    2826             :   /* Withdraw
    2827             :    *
    2828             :    * Instruction:
    2829             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L157
    2830             :    *
    2831             :    * Processor:
    2832             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L188
    2833             :    */
    2834           0 :   case fd_stake_instruction_enum_withdraw: {
    2835           0 :     ulong lamports = instruction->inner.withdraw;
    2836             : 
    2837             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L189
    2838           0 :     fd_guarded_borrowed_account_t me = {0};
    2839           0 :     rc = get_stake_account( ctx, &me );  /* calls acquire_write */
    2840           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2841             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L190
    2842           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<2 ) )
    2843           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    2844             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L191
    2845           0 :     rc = fd_sysvar_instr_acct_check( ctx, 2, &fd_sysvar_clock_id );
    2846           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2847           0 :     fd_sol_sysvar_clock_t clock_;
    2848           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    2849           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2850             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L193
    2851           0 :     rc = fd_sysvar_instr_acct_check( ctx, 3, &fd_sysvar_stake_history_id );
    2852           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2853           0 :     if( FD_UNLIKELY( !fd_sysvar_cache_stake_history_is_valid( ctx->sysvar_cache ) ) ) {
    2854           0 :       return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2855           0 :     }
    2856             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L198
    2857           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<5 ) )
    2858           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    2859             : 
    2860             :     /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_instruction.rs#L198 */
    2861           0 :     fd_borrowed_account_drop( &me );
    2862             : 
    2863           0 :     fd_epoch_schedule_t epoch_schedule_[1];
    2864           0 :     fd_epoch_schedule_t const * epoch_schedule = fd_sysvar_cache_epoch_schedule_read( ctx->sysvar_cache, epoch_schedule_ );
    2865           0 :     uchar custodian_index           = 5;
    2866           0 :     ulong new_rate_activation_epoch = ULONG_MAX;
    2867           0 :     int   err;
    2868           0 :     int   is_some = fd_new_warmup_cooldown_rate_epoch(
    2869           0 :         epoch_schedule,
    2870           0 :         fd_bank_features_query( ctx->bank ),
    2871           0 :         &new_rate_activation_epoch,
    2872           0 :         &err );
    2873           0 :     if( FD_UNLIKELY( err ) ) return err;
    2874             : 
    2875             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L200
    2876           0 :     fd_stake_history_t const * stake_history = fd_sysvar_cache_stake_history_join_const( ctx->sysvar_cache );
    2877           0 :     rc = withdraw(
    2878           0 :         ctx,
    2879           0 :         0,
    2880           0 :         lamports,
    2881           0 :         1,
    2882           0 :         clock,
    2883           0 :         stake_history,
    2884           0 :         4,
    2885             :         // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L209-L215
    2886           0 :         fd_ptr_if( ctx->instr->acct_cnt>=6, &custodian_index, NULL ),
    2887           0 :         fd_ptr_if( is_some, &new_rate_activation_epoch, NULL ) );
    2888           0 :     fd_sysvar_cache_stake_history_leave_const( ctx->sysvar_cache, stake_history );
    2889             : 
    2890           0 :     break;
    2891           0 :   }
    2892             :   /* Deactivate
    2893             :    *
    2894             :    * Instruction:
    2895             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L165
    2896             :    *
    2897             :    * Processor:
    2898             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L217
    2899             :    */
    2900           0 :   case fd_stake_instruction_enum_deactivate: {
    2901             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L218
    2902           0 :     fd_guarded_borrowed_account_t me = {0};
    2903           0 :     rc                         = get_stake_account( ctx, &me );
    2904           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2905             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L219
    2906           0 :     rc = fd_sysvar_instr_acct_check( ctx, 1, &fd_sysvar_clock_id );
    2907           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2908           0 :     fd_sol_sysvar_clock_t clock_;
    2909           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    2910           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2911             : 
    2912             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L221
    2913           0 :     rc = deactivate( &me, clock, signers, signers_cnt, &ctx->txn_out->err.custom_err );
    2914             : 
    2915             :     /* implicit drop */
    2916           0 :     break;
    2917           0 :   }
    2918             : 
    2919             :   /* SetLockup
    2920             :    *
    2921             :    * Instruction:
    2922             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L175
    2923             :    *
    2924             :    * Processor:
    2925             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L223
    2926             :    */
    2927           0 :   case fd_stake_instruction_enum_set_lockup: {
    2928           0 :     fd_lockup_args_t * lockup = &instruction->inner.set_lockup;
    2929             : 
    2930             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L224
    2931           0 :     fd_guarded_borrowed_account_t me = {0};
    2932           0 :     rc = get_stake_account( ctx, &me );
    2933           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2934             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L225
    2935           0 :     fd_sol_sysvar_clock_t clock_;
    2936           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    2937           0 :     if( FD_UNLIKELY( !clock ) )
    2938           0 :       return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2939             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L226
    2940           0 :     rc = set_lockup( &me, lockup, signers, signers_cnt, clock );
    2941           0 :     break;
    2942           0 :   }
    2943             : 
    2944             :   /* InitializeChecked
    2945             :    *
    2946             :    * Instruction:
    2947             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L224
    2948             :    *
    2949             :    * Processor:
    2950             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L228
    2951             :    */
    2952           0 :   case fd_stake_instruction_enum_initialize_checked: {
    2953             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L229
    2954           0 :     fd_guarded_borrowed_account_t me = {0};
    2955           0 :     rc = get_stake_account( ctx, &me );
    2956           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2957             : 
    2958             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L230
    2959           0 :     rc = fd_exec_instr_ctx_check_num_insn_accounts( ctx, 4UL );
    2960           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2961             : 
    2962             :     /* https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_instruction.rs#L230-L236 */
    2963           0 :     fd_pubkey_t const * staker_pubkey     = NULL;
    2964           0 :     fd_pubkey_t const * withdrawer_pubkey = NULL;
    2965             : 
    2966           0 :     rc = fd_exec_instr_ctx_get_key_of_account_at_index( ctx, 2UL, &staker_pubkey );
    2967           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2968             : 
    2969           0 :     rc = fd_exec_instr_ctx_get_key_of_account_at_index( ctx, 3UL, &withdrawer_pubkey );
    2970           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2971             : 
    2972             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L237
    2973           0 :     if( FD_UNLIKELY( !fd_instr_acc_is_signer_idx( ctx->instr, 3, NULL ) ) )
    2974           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
    2975             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L241
    2976           0 :     fd_stake_authorized_t authorized = { .staker     = *staker_pubkey,
    2977           0 :                                           .withdrawer = *withdrawer_pubkey };
    2978             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L246
    2979           0 :     rc = fd_sysvar_instr_acct_check( ctx, 1, &fd_sysvar_rent_id );
    2980           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    2981           0 :     fd_rent_t rent_;
    2982           0 :     fd_rent_t const * rent = fd_sysvar_cache_rent_read( ctx->sysvar_cache, &rent_ );
    2983           0 :     if( FD_UNLIKELY( !rent ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    2984             : 
    2985           0 :     fd_stake_lockup_t lockup_default = {0};
    2986             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L247
    2987           0 :     rc = initialize( &me, &authorized, &lockup_default, rent );
    2988             : 
    2989             :     /* implicit drop */
    2990           0 :     break;
    2991           0 :   }
    2992             : 
    2993             :   /* AuthorizeChecked
    2994             :    *
    2995             :    * Instruction:
    2996             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L238
    2997             :    *
    2998             :    * Processor:
    2999             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L249
    3000             :    */
    3001           0 :   case fd_stake_instruction_enum_authorize_checked: {
    3002           0 :     fd_stake_authorize_t const * stake_authorize = &instruction->inner.authorize_checked;
    3003             : 
    3004             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L250
    3005           0 :     fd_guarded_borrowed_account_t me = {0};
    3006           0 :     rc                         = get_stake_account( ctx, &me );
    3007           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3008             : 
    3009             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L251
    3010           0 :     rc = fd_sysvar_instr_acct_check( ctx, 1, &fd_sysvar_clock_id );
    3011           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3012           0 :     fd_sol_sysvar_clock_t clock_;
    3013           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    3014           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    3015             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L253
    3016           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<4 ) )
    3017           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    3018             : 
    3019             :     // https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_instruction.rs#L253
    3020           0 :     fd_pubkey_t const * authorized_pubkey = NULL;
    3021           0 :     rc = fd_exec_instr_ctx_get_key_of_account_at_index( ctx, 3UL, &authorized_pubkey );
    3022           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3023             : 
    3024             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L257
    3025           0 :     int is_signer = fd_instr_acc_is_signer_idx( ctx->instr, 3, NULL );
    3026           0 :     if( FD_UNLIKELY( !is_signer ) ) return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
    3027             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L260
    3028           0 :     fd_pubkey_t const * custodian_pubkey = NULL;
    3029           0 :     rc = get_optional_pubkey( ctx, 4, 0, &custodian_pubkey );
    3030           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3031             : 
    3032             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L263
    3033           0 :     rc = authorize( &me,
    3034           0 :                     signers,
    3035           0 :                     signers_cnt,
    3036           0 :                     authorized_pubkey,
    3037           0 :                     stake_authorize,
    3038           0 :                     clock,
    3039           0 :                     custodian_pubkey,
    3040           0 :                     &ctx->txn_out->err.custom_err );
    3041           0 :     break;
    3042           0 :   }
    3043             : 
    3044             :   /* AuthorizeCheckedWithSeed
    3045             :    *
    3046             :    * Instruction:
    3047             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L252
    3048             :    *
    3049             :    * Processor:
    3050             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L272
    3051             :    */
    3052           0 :   case fd_stake_instruction_enum_authorize_checked_with_seed: {
    3053           0 :     fd_authorize_checked_with_seed_args_t const * args =
    3054           0 :         &instruction->inner.authorize_checked_with_seed;
    3055             : 
    3056             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L273
    3057           0 :     fd_guarded_borrowed_account_t me = {0};
    3058           0 :     rc                         = get_stake_account( ctx, &me );
    3059           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3060             : 
    3061             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L274
    3062           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<2 ) )
    3063           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    3064             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L276
    3065           0 :     rc = fd_sysvar_instr_acct_check( ctx, 2, &fd_sysvar_clock_id );
    3066           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3067           0 :     fd_sol_sysvar_clock_t clock_;
    3068           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    3069           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    3070             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L277
    3071           0 :     if( FD_UNLIKELY( fd_exec_instr_ctx_check_num_insn_accounts( ctx, 4U) ) )
    3072           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    3073             : 
    3074             :     // https://github.com/anza-xyz/agave/blob/v2.1.14/programs/stake/src/stake_instruction.rs#L277-L280
    3075           0 :     fd_pubkey_t const * authorized_pubkey = NULL;
    3076           0 :     rc = fd_exec_instr_ctx_get_key_of_account_at_index( ctx, 3UL, &authorized_pubkey );
    3077           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3078             : 
    3079             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L281
    3080           0 :     int is_signer = fd_instr_acc_is_signer_idx( ctx->instr, 3, NULL );
    3081           0 :     if( FD_UNLIKELY( !is_signer ) ) return FD_EXECUTOR_INSTR_ERR_MISSING_REQUIRED_SIGNATURE;
    3082             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L284
    3083           0 :     fd_pubkey_t const * custodian_pubkey = NULL;
    3084           0 :     rc = get_optional_pubkey( ctx, 4, 0, &custodian_pubkey );
    3085           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3086             : 
    3087             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L287
    3088           0 :     rc = authorize_with_seed( ctx,
    3089           0 :                               &me,
    3090           0 :                               1,
    3091           0 :                               (char const *)args->authority_seed,
    3092           0 :                               args->authority_seed_len,
    3093           0 :                               &args->authority_owner,
    3094           0 :                               authorized_pubkey,
    3095           0 :                               &args->stake_authorize,
    3096           0 :                               clock,
    3097           0 :                               custodian_pubkey );
    3098           0 :     break;
    3099           0 :   }
    3100             : 
    3101             :   /* SetLockupChecked
    3102             :    *
    3103             :    * Instruction:
    3104             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L266
    3105             :    *
    3106             :    * Processor:
    3107             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L300
    3108             :    */
    3109           0 :   case fd_stake_instruction_enum_set_lockup_checked: {
    3110           0 :     fd_lockup_checked_args_t * lockup_checked = &instruction->inner.set_lockup_checked;
    3111             : 
    3112             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L301
    3113           0 :     fd_guarded_borrowed_account_t me = {0};
    3114           0 :     rc = get_stake_account( ctx, &me );  /* acquire_write */
    3115           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3116             : 
    3117             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L302
    3118           0 :     fd_pubkey_t const * custodian_pubkey = NULL;
    3119           0 :     rc = get_optional_pubkey( ctx, 2, 1, &custodian_pubkey );
    3120           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3121             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L305
    3122           0 :     fd_lockup_args_t lockup = { .unix_timestamp = lockup_checked->unix_timestamp,
    3123           0 :                                 .epoch          = lockup_checked->epoch,
    3124           0 :                                 .custodian      = (fd_pubkey_t *)custodian_pubkey }; // FIXME
    3125             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L310
    3126           0 :     fd_sol_sysvar_clock_t clock_;
    3127           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    3128           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    3129             : 
    3130             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L311
    3131           0 :     rc = set_lockup( &me, &lockup, signers, signers_cnt, clock );
    3132           0 :     break;
    3133           0 :   }
    3134             : 
    3135             :   /* GetMinimumDelegation
    3136             :    *
    3137             :    * Instruction:
    3138             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L278
    3139             :    *
    3140             :    * Processor:
    3141             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L313
    3142             :    */
    3143           0 :   case fd_stake_instruction_enum_get_minimum_delegation: {
    3144           0 :     ulong minimum_delegation = get_minimum_delegation( ctx->bank );
    3145           0 :     fd_memcpy( &ctx->txn_out->details.return_data.program_id, fd_solana_stake_program_id.key, sizeof(fd_pubkey_t));
    3146           0 :     fd_memcpy(ctx->txn_out->details.return_data.data, (uchar*)(&minimum_delegation), sizeof(ulong));
    3147           0 :     ctx->txn_out->details.return_data.len = sizeof(ulong);
    3148           0 :     rc = 0;
    3149           0 :     goto done;
    3150           0 :   }
    3151             : 
    3152             :   /* DeactivateDelinquent
    3153             :    *
    3154             :    * Instruction:
    3155             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/instruction.rs#L291
    3156             :    *
    3157             :    * Processor:
    3158             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L321
    3159             :    */
    3160           0 :   case fd_stake_instruction_enum_deactivate_delinquent: {
    3161             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L322
    3162           0 :     fd_guarded_borrowed_account_t me = {0};
    3163           0 :     rc                         = get_stake_account( ctx, &me );
    3164           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3165             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L323
    3166           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<3 ) )
    3167           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    3168             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L325
    3169           0 :     fd_sol_sysvar_clock_t clock_;
    3170           0 :     fd_sol_sysvar_clock_t const * clock = fd_sysvar_cache_clock_read( ctx->sysvar_cache, &clock_ );
    3171           0 :     if( FD_UNLIKELY( !clock ) ) return FD_EXECUTOR_INSTR_ERR_UNSUPPORTED_SYSVAR;
    3172             : 
    3173             :     // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L326
    3174           0 :     rc = deactivate_delinquent( ctx, &me, 1, 2, clock->epoch, &ctx->txn_out->err.custom_err );
    3175           0 :     break;
    3176           0 :   }
    3177             : 
    3178             :   /* Redelegate
    3179             :    *
    3180             :    * Deprecated:
    3181             :    * https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/programs/stake/src/stake_instruction.rs#L336
    3182             :    */
    3183           0 :   case fd_stake_instruction_enum_redelegate: {
    3184           0 :     fd_guarded_borrowed_account_t me = {0};
    3185           0 :     rc                         = get_stake_account( ctx, &me );
    3186           0 :     if( FD_UNLIKELY( rc ) ) return rc;
    3187             : 
    3188           0 :     return FD_EXECUTOR_INSTR_ERR_INVALID_INSTR_DATA;
    3189           0 :   }
    3190             :   /* MoveStake
    3191             :    *
    3192             :    * Instruction:
    3193             :    * https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/sdk/program/src/stake/instruction.rs#L330
    3194             :    *
    3195             :    * Processor:
    3196             :    * https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_instruction.rs#L356
    3197             :    */
    3198           0 :   case fd_stake_instruction_enum_move_stake: {
    3199             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_instruction.rs#L361
    3200           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<3 ) )
    3201           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    3202             : 
    3203           0 :     ulong lamports = instruction->inner.move_stake;
    3204             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_instruction.rs#L362
    3205           0 :     rc = move_stake( ctx,
    3206           0 :                      0UL,
    3207           0 :                      lamports,
    3208           0 :                      1UL,
    3209           0 :                      2UL,
    3210           0 :                      &ctx->txn_out->err.custom_err );
    3211             : 
    3212           0 :     break;
    3213           0 :   }
    3214             :   /* MoveLamports
    3215             :    *
    3216             :    * Instruction:
    3217             :    * https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/sdk/program/src/stake/instruction.rs#L345
    3218             :    *
    3219             :    * Processor:
    3220             :    * https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_instruction.rs#L375
    3221             :    */
    3222           0 :   case fd_stake_instruction_enum_move_lamports: {
    3223             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_instruction.rs#L380
    3224           0 :     if( FD_UNLIKELY( ctx->instr->acct_cnt<3 ) )
    3225           0 :       return FD_EXECUTOR_INSTR_ERR_MISSING_ACC;
    3226             : 
    3227             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_instruction.rs#L381
    3228           0 :     ulong lamports = instruction->inner.move_lamports;
    3229             : 
    3230             :     // https://github.com/anza-xyz/agave/blob/cdff19c7807b006dd63429114fb1d9573bf74172/programs/stake/src/stake_instruction.rs#L381
    3231           0 :     rc = move_lamports( ctx,
    3232           0 :                         0UL,
    3233           0 :                         lamports,
    3234           0 :                         1UL,
    3235           0 :                         2UL );
    3236             : 
    3237           0 :     break;
    3238           0 :   }
    3239           0 :   default:
    3240           0 :     FD_LOG_ERR(( "unsupported stake instruction: %u", instruction->discriminant ));
    3241           0 :   }
    3242             : 
    3243           0 : done:
    3244           0 :   return rc;
    3245           0 : }
    3246             : 
    3247             : /* Public API *********************************************************/
    3248             : 
    3249             : static void
    3250             : write_stake_config( fd_accdb_user_t *         accdb,
    3251             :                     fd_funk_txn_xid_t const * xid,
    3252           0 :                     fd_stake_config_t const * stake_config ) {
    3253           0 :   ulong               data_sz = fd_stake_config_size( stake_config );
    3254           0 :   fd_pubkey_t const * address = &fd_solana_stake_program_config_id;
    3255             : 
    3256           0 :   fd_accdb_rw_t rw[1];
    3257           0 :   fd_accdb_open_rw( accdb, rw, xid, address, data_sz, FD_ACCDB_FLAG_CREATE );
    3258             : 
    3259             :   /* FIXME update capitalization? */
    3260             :   /* FIXME set owner to Config program? */
    3261             :   /* FIXME Agave reflink? */
    3262             :   /* FIXME derive lamport balance from rent instead of hardcoding */
    3263             : 
    3264           0 :   fd_accdb_ref_lamports_set( rw, 960480UL );
    3265           0 :   fd_accdb_ref_exec_bit_set( rw, 0 );
    3266           0 :   fd_accdb_ref_data_sz_set( accdb, rw, data_sz, 0 );
    3267           0 :   fd_bincode_encode_ctx_t ctx = {
    3268           0 :     .data    = fd_accdb_ref_data( rw ),
    3269           0 :     .dataend = (uchar *)fd_accdb_ref_data( rw ) + data_sz
    3270           0 :   };
    3271           0 :   if( fd_stake_config_encode( stake_config, &ctx ) )
    3272           0 :     FD_LOG_ERR( ( "fd_stake_config_encode failed" ) );
    3273             : 
    3274           0 :   fd_accdb_close_rw( accdb, rw );
    3275           0 : }
    3276             : 
    3277             : void
    3278             : fd_stake_program_config_init( fd_accdb_user_t *         accdb,
    3279           0 :                               fd_funk_txn_xid_t const * xid ) {
    3280             :   // https://github.com/anza-xyz/agave/blob/c8685ce0e1bb9b26014f1024de2cd2b8c308cbde/sdk/program/src/stake/config.rs#L26
    3281           0 :   fd_stake_config_t stake_config = {
    3282           0 :       .warmup_cooldown_rate = DEFAULT_WARMUP_COOLDOWN_RATE,
    3283           0 :       .slash_penalty        = DEFAULT_SLASH_PENALTY,
    3284           0 :   };
    3285           0 :   write_stake_config( accdb, xid, &stake_config );
    3286           0 : }
    3287             : 
    3288             : int
    3289             : fd_stake_get_state( fd_account_meta_t const * meta,
    3290           0 :                     fd_stake_state_v2_t *     out ) {
    3291           0 :   return get_state( meta, out );
    3292           0 : }
    3293             : 
    3294             : fd_stake_history_entry_t
    3295             : fd_stake_activating_and_deactivating( fd_stake_delegation_t const * stake_delegation,
    3296             :                                       ulong                         target_epoch,
    3297             :                                       fd_stake_history_t const *    stake_history,
    3298          18 :                                       ulong *                       new_rate_activation_epoch ) {
    3299          18 :   fd_delegation_t delegation = {
    3300          18 :     .voter_pubkey         = stake_delegation->vote_account,
    3301          18 :     .stake                = stake_delegation->stake,
    3302          18 :     .deactivation_epoch   = stake_delegation->deactivation_epoch==USHORT_MAX ? ULONG_MAX : stake_delegation->deactivation_epoch,
    3303          18 :     .activation_epoch     = stake_delegation->activation_epoch==USHORT_MAX ? ULONG_MAX : stake_delegation->activation_epoch,
    3304          18 :     .warmup_cooldown_rate = fd_stake_delegations_warmup_cooldown_rate_to_double( stake_delegation->warmup_cooldown_rate ),
    3305          18 :   };
    3306             : 
    3307          18 :   return stake_activating_and_deactivating(
    3308          18 :     &delegation, target_epoch, stake_history, new_rate_activation_epoch );
    3309          18 : }
    3310             : 

Generated by: LCOV version 1.14