{
  "executed_at": "2026-09-14T20:44:46+08:00",
  "python": "3.13.13 (tags/v3.13.13:01104ce, Apr  7 2026, 19:25:48) [MSC v.1944 64 bit (AMD64)]",
  "scope": "有限纯函数提取实例；输入是文件名字符串列表，不扫描文件、打开PDF或操作原始作业，不证明所有输入的等价或完整作业工具运行。",
  "cases": [
    {
      "case": "普通PDF与其他文件",
      "input": [
        "小叶.pdf",
        "说明.txt"
      ],
      "expected": [
        "小叶.pdf"
      ],
      "before": [
        "小叶.pdf"
      ],
      "after": [
        "小叶.pdf"
      ]
    },
    {
      "case": "扩展名大小写",
      "input": [
        "小叶.PDF",
        "记录.PdF"
      ],
      "expected": [
        "小叶.PDF",
        "记录.PdF"
      ],
      "before": [
        "小叶.PDF",
        "记录.PdF"
      ],
      "after": [
        "小叶.PDF",
        "记录.PdF"
      ]
    },
    {
      "case": "末尾并非PDF扩展名",
      "input": [
        "小叶.pdf.bak",
        "pdf",
        ""
      ],
      "expected": [],
      "before": [],
      "after": []
    },
    {
      "case": "原顺序",
      "input": [
        "乙.pdf",
        "甲.pdf"
      ],
      "expected": [
        "乙.pdf",
        "甲.pdf"
      ],
      "before": [
        "乙.pdf",
        "甲.pdf"
      ],
      "after": [
        "乙.pdf",
        "甲.pdf"
      ]
    },
    {
      "case": "重复项",
      "input": [
        "小叶.pdf",
        "小叶.pdf"
      ],
      "expected": [
        "小叶.pdf",
        "小叶.pdf"
      ],
      "before": [
        "小叶.pdf",
        "小叶.pdf"
      ],
      "after": [
        "小叶.pdf",
        "小叶.pdf"
      ]
    },
    {
      "case": "空列表",
      "input": [],
      "expected": [],
      "before": [],
      "after": []
    }
  ]
}