Skeleton-Aware Artificial Intelligence: Implementing Structural Negentropy for Cross-Domain Automated Theorem Proving | Synapse