成交审计频次探针：定位首个生命周期 FIX 事件数恰为 k 的 order ID

实现 solution(order_ids: list[int], k: int) -> int。给定一段按 FIX 行情到达顺序排列的整型 order ID 列表 order_ids 与一个正整数 k，返回**整段输入中其值恰好出现 k 次的元素中位置最早的那个的 0-based 下标**。若没有任何 id 总次数等于 k，返回 -1。

例：solution([101, 202, 303, 101, 404], 2) 返回 0。id=101 出现 2 次（index 0 与 3），202、303、404 各 1 次；满足计数恰为 k 约束的最早下标是 0。

几处细节：输入为空返回 -1；k = 1 退化为"首个仅出现一次的 id"；k 大于任何 id 实际次数时返回 -1；若多个不同 id 都恰好出现 k 次，返回最先出现者的下标；若同一个 id 恰好出现 k 次，应返回它的首次出现位置（后续位置虽共享相同计数，但下标更大）。

两遍 O(N) 配方：先用一遍 Counter 统计每个 id 的总次数，再从左到右扫描，遇到第一个总次数为 k 的位置即返回。朴素地对每个位置都重新数一遍是 O(N^2)，在隐藏的上限用例上会超时。

实现细节由 stubs/stub.py 提供。

实践背景

收盘后的成交审计会通过扫描整个交易日的成交流水来定位 FIX 事件数异常的 order 生命周期。干净成交在 tape 上恰好留下一条事件（k=1）；amend 后成交会留下两条（k=2）；多次 cancel/replace 的"话痨"问题单则会累积到三条以上。通过把 k 参数化，审计工具可以在不重建索引的情况下回答"今天最早的那个事件数等于 k 的 id 是哪一条"——交易台关心的是最早出现者，因为同根因诱发的下游问题单往往滞后；解决最早一条往往能直接锁定根因。返回最早的下标而非仅 id，是为了方便调用方直接跳到流水上下文行，无需二次查询。