Issue: Implement StateView to prevent conflicting in‑flight transactions

Issue: Implement StateView to prevent conflicting in‑flight transactions: a task in LegoFlow-SWE (Harbor dataset). The transaction pool currently lacks any tracking of transactions that are actively being processed (in‑flight). As a result, multiple transactions can end up modifying the same…