Reentrancy meets stale oracle reads

Even with Checks-Effects-Interactions, stale price windows can amplify flash-loan impact.

Invariant tests caught under-collateralized borrow paths on fork.

Recommend multi-oracle median + circuit breakers before liquidity events.