docs(design): remove SVG, use PNG logo only

SVG icon is no longer in use. public/logo.png (1024x1024 RGBA) is the single logo asset. DESIGN.md updated accordingly: SVG snippet removed, wordmark pattern and <head> references updated to PNG. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-06-28 10:16:43 +02:00
parent d66ec03165
commit 46929e2ef5
8901 changed files with 1280134 additions and 37 deletions
@@ -0,0 +1,27 @@
+
+import getIdentifierNames from "./util/getIdentifierNames";
+
+export default class NameManager {
+    __init() {this.usedNames = new Set()}
+
+  constructor(code, tokens) {;NameManager.prototype.__init.call(this);
+    this.usedNames = new Set(getIdentifierNames(code, tokens));
+  }
+
+  claimFreeName(name) {
+    const newName = this.findFreeName(name);
+    this.usedNames.add(newName);
+    return newName;
+  }
+
+  findFreeName(name) {
+    if (!this.usedNames.has(name)) {
+      return name;
+    }
+    let suffixNum = 2;
+    while (this.usedNames.has(name + String(suffixNum))) {
+      suffixNum++;
+    }
+    return name + String(suffixNum);
+  }
+}