omegaMag
plain-language theorem explainer
omegaMag converts absolute log-vorticity from a medium state into an exponential magnitude proxy for vorticity. Fluid modelers in Recognition Science cite it when assembling pressure-drop expressions from vorticity data. The definition is a direct one-line application of the real exponential to the absolute log-vorticity value.
Claim. For a medium state $S$, define the vorticity magnitude proxy by $ω_{mag}(S) := exp(|log ω(S)|)$, where $log ω(S)$ is the log-vorticity recorded at the center voxel of $S$.
background
The Flight Pressure module isolates mathematical proxies from physical hypotheses that would later match them to measurements. MediumState is a structure holding a central VorticityVoxel together with a list of neighboring voxels, chosen to mirror local patch evolution inside the LNAL virtual machine. absLogVorticity returns the absolute value of the log-vorticity stored at that center voxel and is presented as a lightweight helicity-proxy placeholder.
proof idea
One-line definition that applies Real.exp directly to the value of absLogVorticity S.
why it matters
omegaMag supplies the squared magnitude term inside pressureProxy, which computes the display-model pressure p = p0 - cω · (omegaMag S)^2. It completes the mathematical proxy layer in the Flight Pressure module before any PressureDropFromVorticity hypothesis interface is instantiated. The construction keeps the proxy always available while deferring the physical-matching claim.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.