[mono-move] Typed outcome; mock-providers crate

The executor now concludes transactions in its own typed taxonomy
(TxnOutcome = Discarded(DiscardReason) | Committed(CommitStatus + raw
effects)) instead of assembling VMStatus along the way. The legacy
formats are constructed in exactly one place, the new legacy/ submodule
(status projection + output materialization), so the eventual
mono-move-native outcome layer only has to replace that seam. The
taxonomy makes illegal states unrepresentable: the can't-pay-fee retry
signal never reaches DiscardReason, and payload discards carry only the
runtime error (aborts always commit). Parity fix found on the way:
discard-class payload failures now skip the epilogue and produce an
empty output, matching v1's failure cleanup.

Structural changes from the same audit round:
- SequentialBlockExecutor deleted; block semantics (reconfiguration,
  block metadata, checkpoints, limits) belong to the Block-STM
  workstream, obligations documented in AGENTS.md.
- lib.rs reduced to declarations/re-exports; the lifecycle driver lives
  in executor.rs, unmetered framework calls in sys_calls.rs (nee
  validation.rs), native wiring in natives.rs.
- The StateView-backed mock providers move to a new crate,
  mono-move-aptos-mock-providers, leaving only the AptosDataProvider
  seam in the executor crate; this drops the aptos-framework and
  move-bytecode-verifier dependencies from the production surface.
- runtime: InterpreterContext::new_idle() for drivers that resolve
  their first function through the context itself; payload shape and
  type arguments preflight before the prologue.

Differential e2e coverage grows to five cases, including exact-status
checks for a nonexistent entry function and the drain-fee-payer
epilogue retry.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Author: vgao1996

Cargo.lock

@@ -210,6 +210,7 @@ members = [
     "third_party/move/documentation/framework-book/builder",
     "third_party/move/extensions/move-table-extension",
     "third_party/move/mono-move/alloc",
+    "third_party/move/mono-move/aptos-mock-providers",
     "third_party/move/mono-move/aptos-transaction-executor",
     "third_party/move/mono-move/core",
     "third_party/move/mono-move/global-context",
@@ -902,6 +903,7 @@ aptos-position-natives = { path = "aptos-move/framework/position-natives" }
 aptos-table-natives = { path = "aptos-move/framework/table-natives" }
 legacy-move-compiler = { path = "third_party/move/move-compiler-v2/legacy-move-compiler" }
 mono-move-alloc = { path = "third_party/move/mono-move/alloc" }
+mono-move-aptos-mock-providers = { path = "third_party/move/mono-move/aptos-mock-providers" }
 mono-move-aptos-transaction-executor = { path = "third_party/move/mono-move/aptos-transaction-executor" }
 mono-move-core = { path = "third_party/move/mono-move/core" }
 mono-move-global-context = { path = "third_party/move/mono-move/global-context" }

Cargo.toml

@@ -0,0 +1,20 @@
+# aptos-mock-providers
+
+Mock `StateView`-backed implementations of the transaction executor's data
+traits (`ModuleProvider` for code, `AptosDataProvider` for resources):
+reference implementations for sequential execution — tests and replay-style
+tools — not the production data layer, which the Block-STM integration
+provides behind the same traits.
+
+- `StateViewModuleProvider` serves raw module bytes and package co-membership
+  (from `PackageRegistry`) to the loader.
+- `StateViewResourceProvider` serves resource and table-item reads,
+  materializing each value from BCS into a long-lived flat-value arena on
+  first access, and resolves/remembers resource-group placement for write-set
+  publication.
+
+Everything here trades performance for simplicity: a private per-provider
+arena that is never collected, whole-group blob caching, and group-membership
+resolution by deserializing the defining module. The production
+implementations own these concerns at the block level (versioned caches,
+granular group support).

third_party/move/mono-move/aptos-mock-providers/AGENTS.md

@@ -0,0 +1,3 @@
+# CLAUDE.md
+
+See [AGENTS.md](AGENTS.md) for crate documentation.

third_party/move/mono-move/aptos-mock-providers/CLAUDE.md

@@ -0,0 +1,27 @@
+[package]
+name = "mono-move-aptos-mock-providers"
+description = "Mock StateView-backed data providers for the MonoMove Aptos transaction executor."
+version = "0.1.0"
+
+# Workspace inherited keys
+authors = { workspace = true }
+edition = { workspace = true }
+homepage = { workspace = true }
+license = { workspace = true }
+publish = { workspace = true }
+repository = { workspace = true }
+rust-version = { workspace = true }
+
+[dependencies]
+anyhow = { workspace = true }
+aptos-framework = { workspace = true }
+aptos-types = { workspace = true }
+bcs = { workspace = true }
+bytes = { workspace = true }
+mono-move-aptos-transaction-executor = { workspace = true }
+mono-move-core = { workspace = true }
+mono-move-global-context = { workspace = true }
+mono-move-runtime = { workspace = true }
+move-binary-format = { workspace = true }
+move-bytecode-verifier = { workspace = true }
+move-core-types = { workspace = true }