AI辅助测试 — 软件工程填空题

某团队用AI辅助测试一个订单服务，已明确的接口契约规定：订单金额为正时应成功创建，金额非正时应拒绝。AI从历史日志生成甲、乙、丙、丁四条候选测试：甲覆盖“金额为正”，输入为正金额且预期成功；乙覆盖“金额非正”，输入为零且预期成功；丙覆盖“金额为正”，输入为正金额且预期成功；丁覆盖契约未规定的“金额超过某值时拒绝”，输入为超大正金额且预期拒绝。评审规则是仅保留符合契约、且此前未覆盖过该契约边界的用例；删除重复覆盖的用例，并将契约未规定的断言退回核实。按此规则，最终保留的用例编号是____。