Candidate Non-Semistable Strong-BSD Family Schema v0.2

v0.2 系列的收尾文件,開頭就自我定位:「研究候選;尚未宣稱正式新定理」。把 12 篇的路由表正式收編成 B0-B5 六個可驗證條件:B0 是 2-part anchor(Banwait–Huang Theorem 2.14 分支、$\operatorname{BSD}(E,2)$、twist local/splitting 條件,建議 $c_E=1$);B1 是 ordinary ramification reservoir($W_{\rm mult}^{\rm odd}(E)$ 非空且其 valuations 的 gcd 為 2 的冪);B2 是 FW nonsplit reservoir(呼應 09 篇,$W_-(E)$ 非空且 $g_-(E)$ 為 2 的冪);B3 是 fixed additive odd primes(逐個驗 exact FW-H1、FW-H2、period/Manin,H3 由 B2 提供);B4 是 fixed multiplicative odd primes(逐個 finite check 對應 multiplicative theorem hypotheses 與獨立的 ramified witness);B5 是 twist support primes(避開 3、good ordinary、避開有限的 residual-reducibility/image exceptions、保持 Theorem 2.14 所需的 splitting/inertness 條件)。文件在結尾誠實列出六項尚未完成的 proof obligations:fixed additive primes 的 exact H1 backend、exact H2 local residual backend、fixed multiplicative branch 的正式 theorem table、Manin-period compatibility、所有 support restrictions 的 Chebotarev/CRT 同時相容性、以及 final all-prime cover proof——並明確聲明:六項完成前,不升級為 theorem。