SEF-Atlas: An Auditable Structural-Fingerprint Framework for Cross-Domain Equation Similarity | Synapse