chore: clean up temporary and build artifacts

- Remove old mermaid-init.js from assets directory (moved to static)
- Remove mem.prof profiling artifact

docs/src/assets/javascripts/mermaid-init.js

@@ -1,110 +0,0 @@
-// Initialize Mermaid for MkDocs Material pages.
-// This file is loaded via mkdocs.yml `extra_javascript`.
-
-(function () {
-  var initialized = false;
-
-  function renderNode(node) {
-    var graphDefinition = node.textContent;
-    node.innerHTML = "";
-    node.removeAttribute("data-processed");
-
-    // Prefer mermaid.render when available; it tends to be more deterministic.
-    if (typeof window.mermaid.render === "function") {
-      try {
-        var id = "mermaid-" + Math.random().toString(36).substr(2, 9);
-        var result = window.mermaid.render(id, graphDefinition);
-
-        // Mermaid may return:
-        // - a Promise resolving to { svg, bindFunctions }
-        // - an object directly
-        // - (rarely) a string
-        if (result && typeof result.then === "function") {
-          result
-            .then(function (out) {
-              node.innerHTML = out && out.svg ? out.svg : "";
-              if (out && typeof out.bindFunctions === "function") {
-                out.bindFunctions(node);
-              }
-            })
-            .catch(function (err) {
-              node.innerHTML =
-                '<pre class="mermaid-error">Error: ' +
-                (err && err.message ? err.message : String(err)) +
-                "</pre>";
-            });
-          return;
-        }
-
-        if (result && result.svg) {
-          node.innerHTML = result.svg;
-          if (typeof result.bindFunctions === "function") {
-            result.bindFunctions(node);
-          }
-          return;
-        }
-
-        if (typeof result === "string") {
-          node.innerHTML = result;
-          return;
-        }
-      } catch (err) {
-        node.innerHTML =
-          '<pre class="mermaid-error">Error: ' +
-          (err && err.message ? err.message : String(err)) +
-          "</pre>";
-        return;
-      }
-    }
-
-    // Fallback for Mermaid v9: mermaid.init(callback, nodes)
-    node.innerHTML = graphDefinition;
-  }
-
-  function renderMermaid() {
-    // Wait for mermaid to be available
-    if (typeof window.mermaid === "undefined") {
-      setTimeout(renderMermaid, 100);
-      return;
-    }
-
-    // Initialize mermaid
-    if (!initialized) {
-      window.mermaid.initialize({
-        startOnLoad: false,
-        securityLevel: "strict",
-        theme: "default",
-      });
-      initialized = true;
-    }
-
-    var nodes = document.querySelectorAll(".mermaid");
-    if (!nodes || nodes.length === 0) {
-      return;
-    }
-
-    // Normalize and render
-    for (var i = 0; i < nodes.length; i++) {
-      renderNode(nodes[i]);
-    }
-
-    // If we fell back to putting graphDefinition back into the nodes, ask Mermaid to process them.
-    if (typeof window.mermaid.init === "function") {
-      try {
-        window.mermaid.init(undefined, nodes);
-      } catch (_err) {
-        // renderNode already displays per-node errors for the render() path.
-      }
-    }
-  }
-
-  // Initial load
-  if (document.readyState === "loading") {
-    document.addEventListener("DOMContentLoaded", renderMermaid);
-  } else {
-    setTimeout(renderMermaid, 100);
-  }
-
-  // MkDocs Material instant navigation
-  document.addEventListener("document$", renderMermaid);
-})();