static String clean(String name) { if (name.startsWith('\$\$')) return name.substring(2); if (name.startsWith('\$')) return name.substring(1); return name; }