LAB 04 / DEFENSIVE SIMULATION
Mempool Backrun 模拟
Backrun 的首要定义是排序在目标交易之后。本实验只建模其中一种反向交易、价格收敛场景；反向交易或收敛不是所有 backrun 的定义。这里没有 RPC、部署代码或目标用户操作。
PENDING ORDER
场景参数
STATE TRANSITION
价格状态序列
01 / 交易前2
→02 / 用户后1.5949
→03 / Backrun 后1.7407
用户曲线价格冲击（不含 fee）10.71%含 fee 总短差 10.95%
Searcher 输入80网格最优样本
Searcher 毛 PnL7.8719
Searcher 净 PnL7.6719已扣 gas / bid
本实验场景：一种 reverse-price-convergence backrun。 Backrun 的共同特征是排在目标交易之后，后续动作也可能出于清算、mint、跨市场状态或其他目的，并不都要求做反向 swap 或使价格收敛。模型假定 protocol fee 关闭，建模的 swap fee 全归 LP，并使用省略 decimals、整数与取整的 JS 浮点连续数学；它不是链上 quote 或利润证明。
BOUNDARIES
这是什么，又不是什么
- Public mempool search：从公开待处理交易观察状态变化候选。
- Private order flow：订单可能直接到 solver / builder，公开 mempool 看不到。
- MEV-Share hints：按权限披露部分信号，并非完整交易内容。
- Backrun 排在用户交易之后，试图交易状态偏差。
- Sandwich 同时在用户前后交易并利用其滑点；本实验不模拟、不提供执行方法。
- 这里把外部公允价固定为交易前池价，仅用于解释收敛，非真实利润预测。