AMM

    #[account(        init,        payer = payer,        space = 8 + std::mem::size_of::<TimelockOperation>(),        seeds = [b"timelock_operation", pool_core.key().as_ref(), &operation_id.to_le_bytes()],        bump    )]    pub timelock_operation: AccountLoader<'info, TimelockOperation>,     /// CHECK: the pool core account associated with the operation    pub pool_core: UncheckedAccount<'info>,     /// the payer who will fund the operation    #[account(mut)]    pub payer: Signer<'info>,     /// the proposer who proposed the operation    pub proposer: Signer<'info>,     /// the system program account    pub system_program: Program<'info, System>,} /// Confirm Timelock Operation Context

1. Line 458 init,: Creates and pays for a new account. Space and payer must be specified.
2. Line 461 seeds = [b"timelock_operation", pool_core.key().as_ref(), &operation_id.to_le_bytes()],: Declares the PDA seeds. Anchor re-derives the address and rejects the account if it doesn't match.
3. Line 462 bump: Uses the bump seed, the extra byte that pushes the derived address off the ed25519 curve.
4. Line 471 pub payer: Signer<'info>,: Requires this account to have signed the transaction.

    /// - Raw memory copy is used for maximum CU efficiency and to preserve zero-copy layouts.    /// - Lamports are recycled to the payer, ensuring protocol sustainability.    pub fn migrate<'info>(        old: &AccountInfo<'info>,        new: &AccountInfo<'info>,        payer: &Signer<'info>,        program_id: &Pubkey,        new_space: usize,        bump: u8,    ) -> Result<()> {        // Validate size constraints        require!(            new_space <= MAX_ACCOUNT_SIZE,            AdvancedAccountOptimizationError::AccountSizeExceedsLimit        );        require!(            new_space > old.data_len(),            AdvancedAccountOptimizationError::InvalidAccountSize        );         // Validate that new account was created with correct PDA        let expected_seeds = &[b"resize_v2", old.key.as_ref(), &[bump]];        let expected_key = Pubkey::create_program_address(expected_seeds, program_id)            .map_err(|_| error!(AdvancedAccountOptimizationError::InvalidPDAAddress))?;

1. Line 306 payer: &Signer<'info>,: Requires this account to have signed the transaction.
2. Line 309 bump: u8,: Uses the bump seed, the extra byte that pushes the derived address off the ed25519 curve.
3. Line 312 require!(: An explicit validation that aborts the instruction with an error.
4. Line 322 let expected_seeds = &[b"resize_v2", old.key.as_ref(), &[bump]];: Declares the PDA seeds. Anchor re-derives the address and rejects the account if it doesn't match.

    /// operations where response latency directly impacts protocol security.    #[account(        init,        payer = payer,        space = 8 + std::mem::size_of::<EmergencyContacts>(),        seeds = [b"emergency_contacts", pool_core.key().as_ref()],        bump    )]    pub emergency_contacts: AccountLoader<'info, EmergencyContacts>,     /// CHECK: Pool core account establishing emergency response context and authority relationships.    pub pool_core: UncheckedAccount<'info>,     /// Funding account for emergency registry creation with separation from operational control.    #[account(mut)]    pub payer: Signer<'info>,     /// Bootstrap authority for emergency system configuration without ongoing privileges.    pub authority: Signer<'info>,     /// System program for account creation and rent management in emergency contexts.    pub system_program: Program<'info, System>,}

1. Line 39 init,: Creates and pays for a new account. Space and payer must be specified.
2. Line 42 seeds = [b"emergency_contacts", pool_core.key().as_ref()],: Declares the PDA seeds. Anchor re-derives the address and rejects the account if it doesn't match.
3. Line 43 bump: Uses the bump seed, the extra byte that pushes the derived address off the ed25519 curve.
4. Line 52 pub payer: Signer<'info>,: Requires this account to have signed the transaction.

        init,        payer = payer,        space = 8 + std::mem::size_of::<AuditTrailHead>(),        seeds = [b"audit_trail_head", pool_core.key().as_ref()],        bump    )]    pub audit_trail_head: AccountLoader<'info, AuditTrailHead>,     /// Pool core binding ensuring audit trail scope isolation.    ///    /// Links audit trail to specific pool to prevent cross-contamination and    /// enable pool-specific audit analysis. Validation ensures the pool    /// account exists and is properly formatted.    /// CHECK: This is not dangerous because we don't read or write from this account    pub pool_core: UncheckedAccount<'info>,     /// Transaction fee payer enabling flexible cost allocation.    ///    /// Marked mutable to allow rent payment deduction. Separation from authority    /// enables operational models where different entities handle costs versus    /// control, improving operational flexibility.    #[account(mut)]    pub payer: Signer<'info>,

1. Line 37 init,: Creates and pays for a new account. Space and payer must be specified.
2. Line 40 seeds = [b"audit_trail_head", pool_core.key().as_ref()],: Declares the PDA seeds. Anchor re-derives the address and rejects the account if it doesn't match.
3. Line 41 bump: Uses the bump seed, the extra byte that pushes the derived address off the ed25519 curve.
4. Line 59 pub payer: Signer<'info>,: Requires this account to have signed the transaction.