在线股价跨度

实时行情系统持续推送一支股票的最新成交价。每打印一个价格，研究台希望看到这一笔的「股价跨度」——也就是从今天往前数，有多少连续天的价格小于或等于今日价（含今日本身）。这是 LeetCode 901 的经典题，也是 microstructure 研究里常用的 streak counter：当前报价相对最近的历史"压制"了多久？跨度在切换行情（regime change）时会突然跳高，平静期则贴着低位——非常便宜的特征，可以直接喂给突破检测器或「连续不低于」类指标。

请实现 solution(prices: list[float]) -> list[int]。prices 按时间升序给出收盘价流。对每个下标 i，返回 spans[i] = 最大的 k ≥ 1，使得 prices[i-k+1], prices[i-k+2], ..., prices[i] 全部小于或等于 prices[i]。等价地说，从 i 向左数，统计连续多少天的价格 ≤ 今日价（含今日）。prices 为空时返回 []。

示例：solution([100.0, 80.0, 60.0, 70.0, 60.0, 75.0, 85.0]) 应返回 [1, 1, 1, 2, 1, 4, 6]。Day 0 单独算 1；Day 1（80.0）小于左边的 100.0，跨度 1；Day 3（70.0）能吃掉左边的 60.0（≤ 70.0），但被 80.0 挡住，跨度 2；Day 5（75.0）一口吃掉 60.0、70.0、60.0（全都 ≤ 75.0），被 80.0 挡住，跨度 4；Day 6（85.0）则把 75.0 那一整段连同 80.0、60.0 全吃光，一直追溯到 100.0 之前，跨度 6。最容易出错的子例是 solution([5.0, 5.0, 5.0, 5.0, 5.0]) → [1, 2, 3, 4, 5]：题面用 ≤ 而不是 <，所以相等也要计入。

朴素 O(n²) 重扫在 n = 10⁵ 的长横盘或上行序列上会超时。正解是 (price, span) 对的单调递减栈：栈中价格自底向上严格递减，所以任何栈顶 price ≤ 当日价的对都已被当日「传递性吞并」，可以直接把它的 span 折叠进当日。从左到右扫一遍，累加 span = 1 + 所有弹出 span 之和，再压入 (prices[i], span)。每个下标至多压栈一次、弹栈一次，整体摊还 O(n) 时间、O(n) 空间。