Struct PostMutationValidator 

pub struct PostMutationValidator<const N: usize> { /* private fields */ }

Collects post-mutation checks that run after instruction execution.

Use this to verify invariants that can’t be checked upfront: balance conservation, escrow solvency, authority immutability, etc.

let mut post = PostMutationValidator::<4>::new();
post.add(check_vault_solvent)?;
post.add(check_balance_conserved)?;

// ... execute mutations ...

post.run(accounts, program_id)?;

Implementations

impl<const N: usize> PostMutationValidator<N>

pub const fn new() -> PostMutationValidator<N>

Create an empty post-mutation validator.

pub fn add( &mut self, check: fn(&[AccountView], &Address) -> Result<(), ProgramError>, ) -> Result<(), ProgramError>

Add a post-mutation check.

pub fn len(&self) -> usize

Number of checks registered.

pub fn is_empty(&self) -> bool

Whether no checks are registered.

pub fn run( &self, accounts: &[AccountView], program_id: &Address, ) -> Result<(), ProgramError>

Run all post-mutation checks. Fail-fast.

Trait Implementations

impl<const N: usize> Default for PostMutationValidator<N>

fn default() -> PostMutationValidator<N>

Returns the “default value” for a type.