小樣本版本回歸:25 → 12

舊 fixture(2026-05-22)共 25 條曲線,其中 10 條 CLZ20、15 條 Zha16;現行 fixture(2026-06-03)共 12 條,其中 7 條 CLZ20、5 條 Zha16。Exact diff:保留 12,移除 13,新增 0——被移除的 13 條曲線標籤是 106a1、110b1、110c1、142d1、142e1、14a1、26a1、26b1、34a1、35a1、38a1、38b1、66c1。文件的核心紀律在最後一段:這份 diff 只能說某曲線「由舊版 PASS 變成現行非 PASS」,在沒有逐 filter replay 之前,一律標記為 VERSION_REGRESSION_REMOVED、reason = OPEN,不能從 commit message、branch 分布或直覺去補完數學理由——這正是 07 篇 Corpus A 與 Corpus B 區分的具體實例:membership change(這份 diff)不等於 theorem-level 拒絕理由(需要官方 discrepancy_report.txt 逐 predicate 列出)。