Prove explicit nonzero algebraic lower bounds using finite determinants/resultants and conjugate/root bounds from a coded presentation. Replace the special quadratic norm without importing classical analysis.
Method: native-induction. Induction: field degree. Risk: critical.
This is a human-readable planning contract, not a parsed kernel formula or accepted proof.