Fixed-Defect Crystal: Deterministic Boundary Perturbations in a Recursive Density Model

We formulate the executable mathematics of Fixed Defect / Impurity Probe Crystal (20°C, σ=0.45), 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.