miden-tx 0.16.1

use alloc::collections::BTreeMap;
use alloc::sync::Arc;

use miden_agglayer::agglayer_package;
use miden_processor::{LoadedMastForest, MastForestStore};
use miden_protocol::account::AccountCode;
use miden_protocol::assembly::mast::MastForest;
use miden_protocol::package::loaded_mast_forest_from_package;
use miden_protocol::transaction::TransactionKernel;
use miden_protocol::utils::sync::RwLock;
use miden_protocol::vm::Package;
use miden_protocol::{CoreLibrary, ProtocolLib, Word};
use miden_standards::StandardsLib;

// TRANSACTION MAST STORE
// ================================================================================================

/// A store for the code available during transaction execution.
///
/// Transaction MAST store contains a map between procedure MAST roots and [MastForest]s containing
/// MASTs for these procedures. The VM will request [MastForest]s from the store when it encounters
/// a procedure which it doesn't have the code for. Thus, to execute a program which makes
/// references to external procedures, the store must be loaded with [MastForest]s containing these
/// procedures.
pub struct TransactionMastStore {
    mast_forests: RwLock<BTreeMap<Word, LoadedMastForest>>,
}

#[allow(clippy::new_without_default)]
impl TransactionMastStore {
    /// Returns a new [TransactionMastStore] instantiated with the default libraries.
    ///
    /// The default libraries include:
    /// - Miden core library [`CoreLibrary`].
    /// - Miden protocol library [`ProtocolLib`].
    /// - Miden standards library [`StandardsLib`].
    /// - Transaction kernel [`TransactionKernel::package`].
    pub fn new() -> Self {
        let mast_forests = RwLock::new(BTreeMap::new());
        let store = Self { mast_forests };

        // load transaction kernel MAST forest
        let kernel = TransactionKernel::package();
        store.insert_package(kernel.as_ref());

        // load miden-core-lib MAST forests (the core package and its precompiles dependency)
        let miden_core_lib = CoreLibrary::default();
        for package in miden_core_lib.packages() {
            store.insert_package(package.as_ref());
        }

        // load protocol lib MAST forest
        let protocol_lib = ProtocolLib::default();
        store.insert_package(protocol_lib.as_ref());

        // load standards lib MAST forest
        let standards_lib = StandardsLib::default();
        store.insert_package(standards_lib.as_ref());

        // load agglayer lib MAST forest
        store.insert_package(&agglayer_package());

        store
    }

    /// Registers all procedures of the provided [MastForest] with this store.
    ///
    /// This path only carries the MAST forest. If a [Package] is available, prefer
    /// [`Self::insert_package`] so package-owned debug info is preserved.
    pub fn insert(&self, mast_forest: Arc<MastForest>) {
        self.insert_loaded(LoadedMastForest::new(mast_forest));
    }

    /// Registers all procedures of the provided [Package] with this store.
    ///
    /// This preserves package-owned debug info when the package was built or read from a trusted
    /// local source.
    pub fn insert_package(&self, package: &Package) {
        self.insert_loaded(loaded_mast_forest_from_package(package));
    }

    /// Registers all procedures of the provided loaded MAST forest with this store.
    pub fn insert_loaded(&self, loaded_mast_forest: LoadedMastForest) {
        let mut mast_forests = self.mast_forests.write();

        // only register procedures that are local to this forest
        for proc_digest in loaded_mast_forest.mast_forest().local_procedure_digests() {
            mast_forests.insert(proc_digest, loaded_mast_forest.clone());
        }
    }

    /// Loads the provided account code into this store.
    pub fn load_account_code(&self, code: &AccountCode) {
        self.insert_loaded(code.loaded_mast_forest());
    }
}

// MAST FOREST STORE IMPLEMENTATION
// ================================================================================================

impl MastForestStore for TransactionMastStore {
    fn get(&self, procedure_root: &Word) -> Option<LoadedMastForest> {
        self.mast_forests.read().get(procedure_root).cloned()
    }
}

#[cfg(test)]
impl TransactionMastStore {
    /// Returns the number of procedure entries in the store (for testing only).
    #[allow(clippy::len_without_is_empty)]
    pub fn len(&self) -> usize {
        self.mast_forests.read().len()
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn fresh_stores_have_same_baseline_size() {
        // Two independently created stores should have the same number of entries
        // (only the default libraries). This verifies that creating per-call stores
        // in LocalTransactionProver::prove() doesn't accumulate state — each fresh
        // store starts from the same baseline.
        let store1 = TransactionMastStore::new();
        let store2 = TransactionMastStore::new();
        assert_eq!(store1.len(), store2.len());
        assert!(store1.len() > 0, "default libraries should populate the store");
    }

    #[test]
    fn insert_does_not_affect_other_stores() {
        // Inserting into one store must not affect another. This models the
        // per-call store approach in LocalTransactionProver::prove() — each call
        // creates a fresh store and loads only the current transaction's code.
        // A second prove() call should start from the same baseline, not carry
        // over entries from the first.
        let store1 = TransactionMastStore::new();
        let baseline = store1.len();

        // Simulate loading account code by inserting the kernel forest again
        // (it adds no new entries since they already exist, but this exercises
        // the insert path without needing to construct a custom MastForest)
        let kernel_forest = TransactionKernel::package().mast_forest().clone();
        store1.insert(kernel_forest);

        // A fresh store should be at exactly the same baseline
        let store2 = TransactionMastStore::new();
        assert_eq!(store2.len(), baseline, "new store must not inherit entries from others");
    }
}