Next Compiler Targets

The concluding document for Witness-Network v0.2, directly handing the baton to the next suite, FW_H2_Local_Isogeny_Compiler, listing four priorities that precisely correspond to F1-F3 in Section 11 of document 31. First, the Additive FW-H2 compiler: inputs $p$, Kodaira type, potential reduction type, and local residual representation, and outputs the three states FW_H2_PASS/FAIL/UNKNOWN, explicitly requiring that no database-scale expansion be done until this item is made exact. Second, the Period compiler: inputs $p$, Kodaira type, optimality, and modular degree/Manin evidence, and outputs PERIOD_SAFE/UNKNOWN. Third, the Ordinary finite exception compiler: for each prime $p$ dividing $g_{\rm mult}$, sequentially attempts BCS Corollary 1.3.1, the reducible ordinary theorem, or a direct Skinner witness provided by another local source. Fourth is the database census itself, and the first database output must include five states: GENERIC_PASS, FINITE_EXCEPTION_PASS, ADDITIVE_LOCAL_UNKNOWN, PERIOD_UNKNOWN, and TRUE_REJECT—the document explicitly requires that the UNKNOWN columns remain visible and must not be swallowed or omitted.