What Makes a Representational Prior Work? Feature Families, Label-Free Invariances, and Critical Windows in Grokking