MediumStateH
plain-language theorem explainer
MediumStateH pairs a discrete medium state with a helicity proxy as a display wrapper in the Flight module. Researchers modeling discrete vorticity in light fields or aether scaffolds would cite this when extending medium states. It is defined directly as a structure with two fields and no further content.
Claim. A helicity-augmented medium state consists of a medium state $S$ (central vorticity voxel together with a list of neighbors) and a helicity proxy $H$ (a real number placeholder).
background
The Flight.Medium module supplies a minimal discrete interface for medium states in Recognition Science, intentionally decoupled from LNAL for now. MediumState is a center vorticity voxel plus a neighborhood list, with logVorticity serving as a φ-quantized proxy for log |ω|. HelicityProxy provides a lightweight real-valued stub for helicity tracking in auxiliary slots, as noted in LNAL fluids comments. Upstream structures include the MaxwellDEC Medium with eps and mu parameters, and the ILG action S.
proof idea
The declaration is a direct structure definition that simply declares the two fields S and H.
why it matters
This structure provides the basic pairing needed for Flight proofs involving medium states. It supports the discrete scaffold without claiming continuum models, relating to the Maxwell medium and ILG action in the framework. No downstream uses are recorded yet, leaving room for refinement in helicity integration.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.