Delta-Only Algorithm1 Verifier

一份工程效率策略文件:不需要一開始就重跑 L-value merge、2-descent、$E'$ descent、$\mathcal S$ 等全部舊 filters,因為舊 output 中每一條曲線已經通過 old Algorithm 1。既然 old→current 只有一個 commit、Algorithm 1 的 theorem predicate 差分沒有其他 loosen/tighten gate,對已知 old PASS rows,新的 membership 就精確等於「strict-isogeny gate ∧ $a_3$ gate」的交集——這是一次增量證明重播(delta-only proof replay),不必重做未改變的 proof obligations。輸入欄位最小化到只需 cremona_label、a3、isogeny_degrees 三項。成功 gate 明確定義:輸入舊版 40,749 條,預期 PASS=36,687、FAIL=4,062,並要求輸出全量 failure histogram(P_ISOGENY_3/5/7、A3_ABS_3、multi-failure),稱為「第一份 500K semantic-cause census」。文件同樣重視失敗時該怎麼做:若 delta-only verifier 得不到官方 current 集合,至少代表五件事之一(漏掉語義差異、LMFDB release 不同、新舊輸出非同一資料快照、metadata mapping 錯、implementation 有未記錄 side effect)成立,此時應該停下來,不應直接進入 full replay。