Witness-Network v0.3 Integration

Assembles the independent results from documents 35-37 into a complete, executable FW_PROFILE pseudocode, serving as the concluding integration of the entire FW_H2 sub-series. The flow is as follows: GLOBAL_H1 checks if $E[p]$ is absolutely irreducible over $G_{\mathbf Q}$; LOCAL_H2 first checks if it is potentially multiplicative (automatic FAIL, echoing Shortcut 1 in document 37), then checks if the local $E[p]$ is irreducible over $\mathbf F_p$ (automatic PASS), otherwise it constructs a local $p$-isogeny $\phi$ and its dual $\widehat\phi$, checking if either kernel has a linear root in $\mathbf Q_p$ (echoing document 36)—if either is YES then FAIL, if both are NO then PASS; H3 checks for the existence of a nonsplit multiplicative witness $\ell\ne p$ such that $p\nmid v_\ell(\Delta)$; PERIOD checks the $p$-adic compatibility of the modular/Néron periods; FINAL requires all to PASS for this fixed additive $p$ to be formally certificated by Fouquet–Wan. The document confirms a crucial global property: odd additive primes still only generate a finite table $\mathcal A_{\rm odd}(E)$, so $\forall p$ does not re-inflate back into an infinite quantifier. The document encapsulates the true improvement of this v0.3 round into a precise boxed statement: A2 H2 UNKNOWN becomes an exact finite local isogeny test—this is exactly what transforms the condition "local Fouquet-Wan nondegeneracy" from document 31 (A2) from an abstract hypothesis requiring verification into a truly executable finite algorithm.