Sharp first-order energy correction under an Eulerian tidal bound for finite-wall Alcubierre profiles

Analytic proof and reproducible finite checks for the uniform first correction to the specified radial energy infimum under an all-angle Eulerian electric-Riemann norm bound. Lean L1 is a weaker statement with existential constants, not a formal proof. No human peer review. Code Apache-2.0; original text and numerical data CC BY 4.0.