Maps an arbitrary key to a safe, stable filename component.
static String sanitizeKey(String key) { final safe = key.replaceAll(RegExp(r'[^A-Za-z0-9_.@-]'), '_'); return safe.isEmpty ? '_' : safe; }