pub fn agglayer_package() -> PackageExpand description
Returns the AggLayer package containing all agglayer modules, including the note scripts.
The note scripts this crate builds are external references into this package rather than
self-contained copies of it, so it must be registered with the MAST store of any executor that
runs AggLayer notes. This mirrors the standard note scripts, which are external references into
the standards library. TransactionMastStore::new preloads both packages, so the in-repo
prover and test executors resolve AggLayer notes automatically; a downstream executor that
supplies its own DataStore must register this package into it (e.g. via
TransactionMastStore::insert_package), exactly as it must already register the standards
package to run standard notes.