Next Compiler Targets

Witness-Network v0.2 的收尾文件,直接交棒給下一個套件 FW_H2_Local_Isogeny_Compiler,列出四項優先順序,精準對應 31 篇 Section 11 的 F1-F3。第一項 Additive FW-H2 compiler:輸入 $p$、Kodaira type、potential reduction type、local residual representation,輸出 FW_H2_PASS/FAIL/UNKNOWN 三態,並明確要求在這一項做到 exact 之前,不做資料庫規模擴張。第二項 Period compiler:輸入 $p$、Kodaira type、optimality、modular degree/Manin evidence,輸出 PERIOD_SAFE/UNKNOWN。第三項 Ordinary finite exception compiler:對每個整除 $g_{\rm mult}$ 的質數 $p$,依序嘗試 BCS Corollary 1.3.1、reducible ordinary theorem、或另一個 local source 提供的直接 Skinner witness。第四項才是資料庫普查,而且第一個資料庫輸出必須包含五種狀態:GENERIC_PASS、FINITE_EXCEPTION_PASS、ADDITIVE_LOCAL_UNKNOWN、PERIOD_UNKNOWN、TRUE_REJECT——文件明確要求 UNKNOWN 那些列必須保持可見,不可以被吞掉或省略。