局部高点报价之间的最大囤积体积

微结构组对一档标的每个 tick 记录整数中间价，把一整天的报价存进列表 quotes。他们想要一个盘前的快速上限指标：如果价格在每段局部高点之间都完美地走出回撤形态，理论上能在这些局部高点之间囤住多少体积？ 把每个 tick 想象成一根高度为 quotes[i] 的直立长条，肩并肩排好；从上面往下倒水，问问凹陷处会接住多少水。这个一次性、日频的统计量被组里用来比较不同标的的「盆地化程度」——囤积体积越大的，说明它的中间价相对周边的局部高点偏离得越远。

请实现 solution(quotes: list[int]) -> int，返回总囤积体积。位置 i 上方的水量等于 min(left_max, right_max) - quotes[i]（只在结果为正时累加），其中 left_max 是下标 0..i 中的最大报价，right_max 是下标 i..n-1 中的最大报价。把所有位置加总即可。边界：len(quotes) < 3 时无法形成盆地（返回零）；全等报价、严格单调递增、严格单调递减序列都囤不到水（返回零）。

示例：solution([0, 1, 0, 2, 1, 0, 1, 3, 2, 1, 2, 1]) 返回 6。把每个位置的 min(left_max, right_max) - quotes[i] 写出来是 0, 0, 1, 0, 1, 2, 1, 0, 0, 1, 0, 0，加起来正好是 6——这就是 LeetCode 42 那道祖传题的答案。再看 solution([3, 0, 3])：中间一个深谷，两侧墙都是 3，中间格囤水 min(3,3) - 0 = 3 个单位。第三个例子 solution([1, 2, 3, 4, 5]) 返回 0：严格递增意味着任何位置右边都没有更高的挡墙，水都从右边漏走了。

朴素做法「对每个位置往左、往右各扫一遍找最大值」是 O(n²)，在 n = 10⁵ 时会超时。正确思路要么用单调栈——每来一个更高的右墙就把栈中较矮的盆底逐个弹出结算（每个下标入栈出栈各一次 → O(n)），要么用双指针扫——总是推进运行最大值较小的那一侧（较矮的一侧就是瓶颈，水位已经被它锁死 → 同样 O(n)）。两种方法都是 O(n) 时间、O(1) 额外空间（单调栈版本在极端递增前缀下辅助空间是 O(n)）。