fix: apply formatting and rebuild artifacts

test_program_methods/guest/src/bin/burner.rs

@@ -4,7 +4,9 @@ type Instruction = u128;
 
 fn main() {
     let (
-        ProgramInput { self_program_id, caller_program_id: _,
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
             pre_states,
             instruction: balance_to_burn,
         },

test_program_methods/guest/src/bin/chain_caller.rs

@@ -12,7 +12,9 @@ type Instruction = (u128, ProgramId, u32, Option<PdaSeed>);
 /// program.
 fn main() {
     let (
-        ProgramInput { self_program_id, caller_program_id: _,
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
             pre_states,
             instruction: (balance, auth_transfer_id, num_chain_calls, pda_seed),
         },

test_program_methods/guest/src/bin/changer_claimer.rs

@@ -5,7 +5,9 @@ type Instruction = (Option<Vec<u8>>, bool);
 /// A program that optionally modifies the account data and optionally claims it.
 fn main() {
     let (
-        ProgramInput { self_program_id, caller_program_id: _,
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
             pre_states,
             instruction: (data_opt, should_claim),
         },
@@ -33,5 +35,11 @@ fn main() {
         AccountPostState::new(account_post)
     };
 
-    ProgramOutput::new(self_program_id, instruction_words, vec![pre], vec![post_state]).write();
+    ProgramOutput::new(
+        self_program_id,
+        instruction_words,
+        vec![pre],
+        vec![post_state],
+    )
+    .write();
 }

test_program_methods/guest/src/bin/claimer.rs

@@ -4,7 +4,9 @@ type Instruction = ();
 
 fn main() {
     let (
-        ProgramInput { self_program_id, caller_program_id: _,
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
             pre_states,
             instruction: (),
         },
@@ -17,5 +19,11 @@ fn main() {
 
     let account_post = AccountPostState::new_claimed(pre.account.clone(), Claim::Authorized);
 
-    ProgramOutput::new(self_program_id, instruction_words, vec![pre], vec![account_post]).write();
+    ProgramOutput::new(
+        self_program_id,
+        instruction_words,
+        vec![pre],
+        vec![account_post],
+    )
+    .write();
 }

test_program_methods/guest/src/bin/data_changer.rs

@@ -5,7 +5,9 @@ type Instruction = Vec<u8>;
 /// A program that modifies the account data by setting bytes sent in instruction.
 fn main() {
     let (
-        ProgramInput { self_program_id, caller_program_id: _,
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
             pre_states,
             instruction: data,
         },

test_program_methods/guest/src/bin/extra_output.rs

@@ -6,7 +6,15 @@ use nssa_core::{
 type Instruction = ();
 
 fn main() {
-    let (ProgramInput { self_program_id, caller_program_id: _, pre_states, .. }, instruction_words) = read_nssa_inputs::<Instruction>();
+    let (
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
+            pre_states,
+            ..
+        },
+        instruction_words,
+    ) = read_nssa_inputs::<Instruction>();
 
     let Ok([pre]) = <[_; 1]>::try_from(pre_states) else {
         return;

test_program_methods/guest/src/bin/flash_swap_callback.rs

@@ -10,12 +10,12 @@
 //! In a real flash swap, this would contain the user's arbitrage or other logic.
 //! In this test program, it is controlled by `return_funds`:
 //!
-//! - `return_funds = true`: emits a token transfer (receiver → vault) to return the funds.
-//!   The invariant check will pass and the transaction will succeed.
+//! - `return_funds = true`: emits a token transfer (receiver → vault) to return the funds. The
+//!   invariant check will pass and the transaction will succeed.
 //!
-//! - `return_funds = false`: emits no transfers. Funds stay with the receiver.
-//!   The invariant check will fail (vault balance < initial), causing full atomic rollback.
-//!   This simulates a malicious or buggy callback that does not repay the flash loan.
+//! - `return_funds = false`: emits no transfers. Funds stay with the receiver. The invariant check
+//!   will fail (vault balance < initial), causing full atomic rollback. This simulates a malicious
+//!   or buggy callback that does not repay the flash loan.
 //!
 //! # Note on caller_program_id
 //!

test_program_methods/guest/src/bin/flash_swap_initiator.rs

@@ -16,18 +16,18 @@
 //!   2. User callback (arbitrary logic, e.g. arbitrage)
 //!   3. Self-call to `InvariantCheck` (using `self_program_id` to reference itself)
 //!
-//! - `InvariantCheck` (internal): enforces that the vault balance was restored after
-//!   the callback. Uses `caller_program_id == Some(self_program_id)` to prevent standalone
-//!   calls (this is the visibility enforcement mechanism).
+//! - `InvariantCheck` (internal): enforces that the vault balance was restored after the callback.
+//!   Uses `caller_program_id == Some(self_program_id)` to prevent standalone calls (this is the
+//!   visibility enforcement mechanism).
 //!
 //! # What this demonstrates
 //!
 //! - `self_program_id`: enables a program to chain back to itself (step 3 above)
 //! - `caller_program_id`: enables a program to restrict which callers can invoke an instruction
-//! - Pre-simulated intermediate states: the initiator must compute expected intermediate
-//!   account states and embed them in the instruction. The node validates them deterministically.
-//! - Atomic rollback: if the callback doesn't return funds, the invariant check fails,
-//!   and all state changes from steps 1 and 2 are rolled back automatically.
+//! - Pre-simulated intermediate states: the initiator must compute expected intermediate account
+//!   states and embed them in the instruction. The node validates them deterministically.
+//! - Atomic rollback: if the callback doesn't return funds, the invariant check fails, and all
+//!   state changes from steps 1 and 2 are rolled back automatically.
 //!
 //! # Tests
 //!
@@ -132,8 +132,9 @@ fn main() {
             // Chained call 3: Self-call to enforce the invariant.
             // Uses `self_program_id` to reference this program, the key feature that enables
             // the "prep → callback → assert" pattern without a separate checker program.
-            // If the callback did not return funds, vault_after_callback.balance < min_vault_balance
-            // and this call will panic, rolling back the entire transaction.
+            // If the callback did not return funds, vault_after_callback.balance <
+            // min_vault_balance and this call will panic, rolling back the entire
+            // transaction.
             let invariant_instruction =
                 risc0_zkvm::serde::to_vec(&FlashSwapInstruction::InvariantCheck {
                     min_vault_balance,

test_program_methods/guest/src/bin/malicious_authorization_changer.rs

@@ -13,7 +13,9 @@ type Instruction = (u128, ProgramId);
 /// but sets the `is_authorized` field of the first account to true.
 fn main() {
     let (
-        ProgramInput { self_program_id, caller_program_id: _,
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
             pre_states,
             instruction: (balance, transfer_program_id),
         },

test_program_methods/guest/src/bin/minter.rs

@@ -3,7 +3,15 @@ use nssa_core::program::{AccountPostState, ProgramInput, ProgramOutput, read_nss
 type Instruction = ();
 
 fn main() {
-    let (ProgramInput { self_program_id, caller_program_id: _, pre_states, .. }, instruction_words) = read_nssa_inputs::<Instruction>();
+    let (
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
+            pre_states,
+            ..
+        },
+        instruction_words,
+    ) = read_nssa_inputs::<Instruction>();
 
     let Ok([pre]) = <[_; 1]>::try_from(pre_states) else {
         return;

test_program_methods/guest/src/bin/missing_output.rs

@@ -3,7 +3,15 @@ use nssa_core::program::{AccountPostState, ProgramInput, ProgramOutput, read_nss
 type Instruction = ();
 
 fn main() {
-    let (ProgramInput { self_program_id, caller_program_id: _, pre_states, .. }, instruction_words) = read_nssa_inputs::<Instruction>();
+    let (
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
+            pre_states,
+            ..
+        },
+        instruction_words,
+    ) = read_nssa_inputs::<Instruction>();
 
     let Ok([pre1, pre2]) = <[_; 2]>::try_from(pre_states) else {
         return;

test_program_methods/guest/src/bin/modified_transfer.rs

@@ -63,7 +63,9 @@ fn transfer(
 fn main() {
     // Read input accounts.
     let (
-        ProgramInput { self_program_id, caller_program_id: _,
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
             pre_states,
             instruction: balance_to_move,
         },

test_program_methods/guest/src/bin/nonce_changer.rs

@@ -3,7 +3,15 @@ use nssa_core::program::{AccountPostState, ProgramInput, ProgramOutput, read_nss
 type Instruction = ();
 
 fn main() {
-    let (ProgramInput { self_program_id, caller_program_id: _, pre_states, .. }, instruction_words) = read_nssa_inputs::<Instruction>();
+    let (
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
+            pre_states,
+            ..
+        },
+        instruction_words,
+    ) = read_nssa_inputs::<Instruction>();
 
     let Ok([pre]) = <[_; 1]>::try_from(pre_states) else {
         return;

test_program_methods/guest/src/bin/noop.rs

@@ -3,7 +3,15 @@ use nssa_core::program::{AccountPostState, ProgramInput, ProgramOutput, read_nss
 type Instruction = ();
 
 fn main() {
-    let (ProgramInput { self_program_id, caller_program_id: _, pre_states, .. }, instruction_words) = read_nssa_inputs::<Instruction>();
+    let (
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
+            pre_states,
+            ..
+        },
+        instruction_words,
+    ) = read_nssa_inputs::<Instruction>();
 
     let post_states = pre_states
         .iter()

test_program_methods/guest/src/bin/program_owner_changer.rs

@@ -3,7 +3,15 @@ use nssa_core::program::{AccountPostState, ProgramInput, ProgramOutput, read_nss
 type Instruction = ();
 
 fn main() {
-    let (ProgramInput { self_program_id, caller_program_id: _, pre_states, .. }, instruction_words) = read_nssa_inputs::<Instruction>();
+    let (
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
+            pre_states,
+            ..
+        },
+        instruction_words,
+    ) = read_nssa_inputs::<Instruction>();
 
     let Ok([pre]) = <[_; 1]>::try_from(pre_states) else {
         return;

test_program_methods/guest/src/bin/simple_balance_transfer.rs

@@ -4,7 +4,9 @@ type Instruction = u128;
 
 fn main() {
     let (
-        ProgramInput { self_program_id, caller_program_id: _,
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
             pre_states,
             instruction: balance,
         },

test_program_methods/guest/src/bin/validity_window.rs

@@ -7,7 +7,9 @@ type Instruction = (BlockValidityWindow, TimestampValidityWindow);
 
 fn main() {
     let (
-        ProgramInput { self_program_id, caller_program_id: _,
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
             pre_states,
             instruction: (block_validity_window, timestamp_validity_window),
         },

test_program_methods/guest/src/bin/validity_window_chain_caller.rs

@@ -15,7 +15,9 @@ type Instruction = (BlockValidityWindow, ProgramId, BlockValidityWindow);
 
 fn main() {
     let (
-        ProgramInput { self_program_id, caller_program_id: _,
+        ProgramInput {
+            self_program_id,
+            caller_program_id: _,
             pre_states,
             instruction: (block_validity_window, chained_program_id, chained_block_validity_window),
         },