自动做市池子有两个常被忽略的公开函数：一个把账面储备强制对齐到真实余额，一个把真实余额里多出来的部分提走。它们的源码注释各只有一行，却是理解账面库存与实际到账为何会不一致的钥匙。本文以 Uniswap v2 类池子合约为例，讲清这对镜像函数的触发场景、谁能调用、调用后价格读数如何变化。