Linear Layout

A layout algebra type invented by OpenAI that formalizes the mapping of tensor elements to hardware registers as linear functions. This formalization allows layout validity to be verified statically, eliminating layout alignment errors encountered during runtime debugging. Linear Layout serves as the core algebraic tool in the Gluon programming language.