v0.1.0-pre.039

kb-pipeline/src/lib.rs

@@ -1,5 +1,5 @@
 // file: kb-pipeline/src/lib.rs
-// version: 12
+// version: 13
 
 #![forbid(unsafe_code)]
 #![deny(unreachable_pub)]
@@ -12,6 +12,8 @@ mod constants;
 mod core_extraction;
 mod decode_replay;
 mod plan;
+mod solana_ata_execution;
+mod solana_ata_stateful;
 mod solana_elgamal_registry_stateful;
 mod solana_execution;
 mod solana_memo_execution;
@@ -104,6 +106,30 @@ pub use self::decode_replay::new_decode_campaign_id;
 pub use self::plan::PipelineStage;
 /// Replay selection scope.
 pub use self::plan::ReplayScope;
+/// Complete request for one Devnet Associated Token Account execution.
+pub use self::solana_ata_execution::DevnetSplAssociatedTokenAccountExecutionRequest;
+/// Complete result of one Devnet Associated Token Account execution.
+pub use self::solana_ata_execution::DevnetSplAssociatedTokenAccountExecutionSummary;
+/// Executes one Devnet Associated Token Account simulation or authorized submission.
+pub use self::solana_ata_execution::execute_devnet_spl_associated_token_account;
+/// Simulates one Devnet Associated Token Account operation after stateful preflight.
+pub use self::solana_ata_execution::simulate_devnet_spl_associated_token_account;
+/// Stateful invariants observed after one confirmed Associated Token Account execution.
+pub use self::solana_ata_stateful::SplAssociatedTokenAccountPostExecutionReport;
+/// One machine-readable Associated Token Account stateful check.
+pub use self::solana_ata_stateful::SplAssociatedTokenAccountStatefulCheck;
+/// One contextual Associated Token Account stateful fact.
+pub use self::solana_ata_stateful::SplAssociatedTokenAccountStatefulFact;
+/// Complete Associated Token Account stateful readiness report.
+pub use self::solana_ata_stateful::SplAssociatedTokenAccountStatefulReadinessReport;
+/// Complete request for one Associated Token Account stateful readiness inspection.
+pub use self::solana_ata_stateful::SplAssociatedTokenAccountStatefulReadinessRequest;
+/// Associated Token Account stateful readiness outcome.
+pub use self::solana_ata_stateful::SplAssociatedTokenAccountStatefulReadinessStatus;
+/// Verifies final Associated Token Account relationships after confirmed execution.
+pub use self::solana_ata_stateful::inspect_spl_associated_token_account_post_execution;
+/// Inspects state required before simulating one Associated Token Account operation.
+pub use self::solana_ata_stateful::inspect_spl_associated_token_account_stateful_readiness;
 /// Migrated ELGAMAL_REGISTRY_STATEFUL_ACCOUNT_BYTES contract.
 pub use self::solana_elgamal_registry_stateful::ELGAMAL_REGISTRY_STATEFUL_ACCOUNT_BYTES;
 /// Migrated ElGamalRegistryStatefulReadRequest contract.

kb-pipeline/src/solana_memo_execution.rs

@@ -1,5 +1,5 @@
 // file: kb-pipeline/src/solana_memo_execution.rs
-// version: 2
+// version: 1
 
 //! Devnet SPL Memo v4 execution with canonical post-validation.