买价跨越邻近卖价的跨磁带路由质量告警计数

某交易员的成交质量看板把一个标的当天的 BUY 磁带与 SELL 磁带送进来，要找一类特定的路由质量告警：任意 (i, j) 对，使得买单 i 与卖单 j 时间相差不超过 tol_ms 毫秒，且买单成交价不低于卖单成交价。这种对意味着智能路由本可以把买单与近时刻的卖单撮在一起、给买方拿到不更差的价格；这种"跨越事件"的总条数就是当天的路由低效得分。请实现 solution(ts_buy: list[int], px_buy: list[float], ts_sell: list[int], px_sell: list[float], tol_ms: int) -> int，返回满足以下条件的 (i, j) 对数：

|ts_buy[i] - ts_sell[j]| <= tol_ms   AND   px_buy[i] >= px_sell[j]

ts_buy 与 ts_sell 是非递减整数毫秒时间戳数组；px_buy 与 px_sell 是平行的正浮点数价格数组。配对计数语义——每个满足两条件的 (i, j) 各贡献一次。两路时间戳预排序后，下界 ts_buy[i] - tol_ms 与上界 ts_buy[i] + tol_ms 在 i 上都非递减，所以两个卖侧指针 j_lo 与 j_hi 随 i 推进永不回退；指针推进的均摊开销是 O(B + S)，再加上内层价格跨越判定的 O(total_pairs_in_window)。

边界情形：

• 若 len(ts_buy) == 0 或 len(ts_sell) == 0 返回 0。
• tol_ms == 0 退化为「同时刻配对、买价不低于卖价」的计数；同一份代码仍然成立，因为窗口塌缩为一个点。
• 若所有买价都低于所有卖价则计数为 0；若 tol_ms 大到覆盖所有对、且每个买价不低于每个卖价，则计数为 B * S。

例

ts_buy  = [10, 20, 30, 40]
px_buy  = [101.0, 102.0, 99.5, 100.0]
ts_sell = [11, 22, 31, 50]
px_sell = [100.0, 103.0, 99.0, 100.0]
tol_ms  = 2

solution(ts_buy, px_buy, ts_sell, px_sell, tol_ms) 返回 2。对 (i=0, j=0)：|10 - 11| = 1 <= 2 且 101.0 >= 100.0，计入。对 (i=1, j=1)：|20 - 22| = 2 <= 2 但 102.0 < 103.0，价格不跨越。对 (i=2, j=2)：|30 - 31| = 1 <= 2 且 99.5 >= 99.0，计入。对 (i=3, j=3)：|40 - 50| = 10 > 2，时间不在窗内。其他对均不在容差窗口内，因此总数为 2。

实践背景

跨磁带「买价跨越近时刻卖价」对计数是 trading ops 在每日磁带上跑的一类路由质量告警。跨越数偏高意味着智能路由把 BUY 子单先打了出去、对家的 SELL 印还没出清——买方付了点差，而桌内自家的 SELL 侧本可以把这份单子吃掉。指标按日聚合，对当天两侧磁带各扫一次。生产磁带动辄几千万条成交，所以两端线性的双指针形状（在合理的 tol_ms 下窗口经验上很小）才是把日报压到分钟级的关键；朴素的 O(B * S) 双重循环跑不动。与同侧两路冗余 feed 的对账不同，这里把对端磁带配对、并加上价格跨越判定。