如何验证执行问题？
定义“执行问题”以及可验证的内容
执行问题是指下单结果与服务商声明的执行行为不符的情况，或实际订单处理中出现意外延迟、被拒、部分成交，或成交价格/分配结果与所宣称的流程不一致。验证意味着你可以指出可观测的事实（时间戳、订单状态变化、成交详情和消息日志），并将其与服务商公开文件中描述的规则进行比对。
区分稳定机制与可变条件
为准确验证执行问题，需区分结构性因素与可变因素：
- 稳定机制： 订单生命周期的各个阶段（提交 → 接受 → 路由/排队 → 执行/成交 → 完成或取消），以及“市价”与“限价”意图的处理方式。
- 可变条件： 流动性深度、市场波动性、交易成本（手续费/点差/佣金）以及外部市场范围事件。
验证中的一个主要风险是，误将任何不匹配视为“问题”。即使执行流程按描述正常运行，市场变动也可能在下单与执行之间改变成交结果。
构建可复现的证据清单
一个独立的验证流程通常结合三类文档与数据：
- 事件证据（实际发生了什么）： 收集特定订单的经纪商/平台导出数据——订单ID、各状态变更的时间戳、可用的请求/确认消息，以及完整的成交列表（价格、数量、时间）。如果服务商仅提供汇总结果，请注明此限制。
- 政策证据（应发生什么）： 使用服务商当前描述执行和订单处理的文件（例如，订单类型、执行场所或路由说明、交易规则以及报价形成方式）。使用与调查时间段匹配的文件版本。
- 约束证据（结果为何不同）： 记录你分析示例所依据的假设——交易规模相对于可用流动性的大小、你使用的近似成本模型，以及你视为参考价格的内容（例如，特定时间戳的报价）。明确陈述这些假设。
一个实用的“计算示例”即使没有实时价格仍可有效：例如，如果你观察到一系列部分成交，你可以验证成交汇总是否与文档中描述的部分执行处理规则一致（即使你不知道每个瞬间的确切市场价格）。
识别局限性与失败模式
执行验证中至少存在一种常见的重要局限性：
- 合理偏离： 由于市场价格变动快于确认，或订单类型与流动性互动，执行结果可能与参考价格不同。
- 可观测性不完整： 某些平台不提供完整的端到端消息日志，因此你无法证明延迟具体发生在何处。
- 参考点模糊： “你看到的价格”可能并非用于撮合的价格，尤其是当报价更新或存在换算/成本组件时。
这些局限性意味着验证应旨在判断观测事实是否与文档规则相矛盾，而非推断意图或预测未来表现。
验证作为明确结论（及下一个问题）
一个可靠的结论应为以下形式之一：
- 不匹配结论： 观测到的事件时间线或处理行为与服务商对该订单类型的文档化订单/执行规则相矛盾。
- 无法定论结论： 观测数据不足以与相关文档规则进行比对，或可变条件主导了结果。
接下来应提出的问题是：“哪个确切的文档章节规定了该订单类型及观测步骤（接受、路由、成交、取消）？时间戳和成交细节是否与所述步骤一致？”