fix: serialize write_inputs fields separately to match guest deserialization

examples/program_deployment/methods/guest/src/bin/hello_world.rs

@@ -19,6 +19,7 @@ fn main() {
     // Read inputs
     let (
         ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction: greeting,
         },

examples/program_deployment/methods/guest/src/bin/hello_world_with_authorization.rs

@@ -19,6 +19,7 @@ fn main() {
     // Read inputs
     let (
         ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction: greeting,
         },

examples/program_deployment/methods/guest/src/bin/hello_world_with_move_function.rs

@@ -66,6 +66,7 @@ fn main() {
     // Read input accounts.
     let (
         ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction: (function_id, data),
         },

examples/program_deployment/methods/guest/src/bin/simple_tail_call.rs

@@ -27,6 +27,7 @@ fn main() {
     // Read inputs
     let (
         ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction: (),
         },

examples/program_deployment/methods/guest/src/bin/tail_call_with_pda.rs

@@ -33,6 +33,7 @@ fn main() {
     // Read inputs
     let (
         ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction: (),
         },

nssa/src/program.rs

@@ -88,7 +88,10 @@ impl Program {
             .map_err(|e| NssaError::ProgramWriteInputFailed(e.to_string()))?;
         let pre_states = pre_states.to_vec();
         env_builder
-            .write(&(pre_states, instruction_data))
+            .write(&pre_states)
+            .map_err(|e| NssaError::ProgramWriteInputFailed(e.to_string()))?;
+        env_builder
+            .write(&instruction_data)
             .map_err(|e| NssaError::ProgramWriteInputFailed(e.to_string()))?;
         Ok(())
     }

program_methods/guest/src/bin/amm.rs

@@ -13,7 +13,8 @@ use nssa_core::program::{ProgramInput, ProgramOutput, read_nssa_inputs};
 
 fn main() {
     let (
-        ProgramInput { self_program_id: _,
+        ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction,
         },

program_methods/guest/src/bin/associated_token_account.rs

@@ -3,7 +3,8 @@ use nssa_core::program::{ProgramInput, ProgramOutput, read_nssa_inputs};
 
 fn main() {
     let (
-        ProgramInput { self_program_id: _,
+        ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction,
         },

program_methods/guest/src/bin/authenticated_transfer.rs

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

program_methods/guest/src/bin/pinata.rs

@@ -45,7 +45,8 @@ fn main() {
     // Read input accounts.
     // It is expected to receive only two accounts: [pinata_account, winner_account]
     let (
-        ProgramInput { self_program_id: _,
+        ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction: solution,
         },

program_methods/guest/src/bin/pinata_token.rs

@@ -51,7 +51,8 @@ fn main() {
     // It is expected to receive three accounts: [pinata_definition, pinata_token_holding,
     // winner_token_holding]
     let (
-        ProgramInput { self_program_id: _,
+        ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction: solution,
         },

program_methods/guest/src/bin/token.rs

@@ -11,7 +11,8 @@ use token_program::core::Instruction;
 
 fn main() {
     let (
-        ProgramInput { self_program_id: _,
+        ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction,
         },

test_program_methods/guest/src/bin/burner.rs

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

test_program_methods/guest/src/bin/chain_caller.rs

@@ -12,7 +12,8 @@ type Instruction = (u128, ProgramId, u32, Option<PdaSeed>);
 /// program.
 fn main() {
     let (
-        ProgramInput { self_program_id: _,
+        ProgramInput {
+            self_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,8 @@ 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: _,
+        ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction: (data_opt, should_claim),
         },

test_program_methods/guest/src/bin/claimer.rs

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

test_program_methods/guest/src/bin/data_changer.rs

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

test_program_methods/guest/src/bin/malicious_authorization_changer.rs

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

test_program_methods/guest/src/bin/modified_transfer.rs

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

test_program_methods/guest/src/bin/simple_balance_transfer.rs

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

test_program_methods/guest/src/bin/validity_window.rs

@@ -7,7 +7,8 @@ type Instruction = (BlockValidityWindow, TimestampValidityWindow);
 
 fn main() {
     let (
-        ProgramInput { self_program_id: _,
+        ProgramInput {
+            self_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,8 @@ type Instruction = (BlockValidityWindow, ProgramId, BlockValidityWindow);
 
 fn main() {
     let (
-        ProgramInput { self_program_id: _,
+        ProgramInput {
+            self_program_id: _,
             pre_states,
             instruction: (block_validity_window, chained_program_id, chained_block_validity_window),
         },