The Is: An Ontological Framework v2.1 — Formal Mapping Layer A Type-Theoretic and Structure-Preserving Reconstruction of the I → D → S → A → F Sequence | Synapse