Bounded-Excitation Crystal: A Normalized Angular Drive and a Saved Recursive State

We formulate the executable mathematics of Bounded Excitation Carrier Crystal (20°C, σ=0.30), identify its saved-state lineage, and reconcile the existing native ISA evidence. The baseline separates the declared formula, its normalized boundary carrier, the evolved density state and any registered operation that consumes it. This establishes a reference for indexing, reproduction and subsequent Lotus socket contracts. This preprint preserves the named finite computational results and their stated scope. The restricted accompanying package includes the manuscript, claim ledger, finding-specific data, source-result records and a portable archive/elementary-control verifier. Forge/ISA implementation is excluded. Copyright2026 David Glowalla; no additional reuse permission is granted.