From c3b1bf39a4ac8225167cac9a33b3b9315c30a405 Mon Sep 17 00:00:00 2001
From: cannorin <cannorin@users.noreply.github.com>
Date: Fri, 19 Sep 2025 18:54:12 +0900
Subject: [PATCH] Refactor (1)

---
 apps/web/package.json                         |   1 +
 apps/web/src/lib/global.d.ts                  |  42 -
 apps/web/src/lib/index.ts                     |  17 -
 .../routes/api/misskey/invite-code/+server.ts |   4 +-
 .../kripke/components/frame-input.svelte      |   4 +-
 apps/web/src/routes/kripke/lib/store.ts       |   2 +-
 .../routes/kripke/random/[seed]/+page.svelte  |   3 +-
 package.json                                  |   1 +
 packages/kripke/global.d.ts                   |  36 -
 packages/kripke/package.json                  |  10 +-
 packages/kripke/parser.ts                     |   1 +
 packages/kripke/sat.ts                        | 220 ++++
 packages/kripke/syntax.ts                     | 225 +++-
 packages/kripke/tests/sat.test.ts             |  30 +
 packages/kripke/tests/utils.ts                |  96 ++
 packages/kripke/utils.ts                      |  25 +
 packages/utils/biome.json                     |   3 +
 packages/utils/index.ts                       |   1 +
 packages/utils/package.json                   |  22 +
 packages/utils/src/array.ts                   |  12 +
 packages/utils/src/headless.ts                |  40 +
 .../lib => packages/utils/src}/multiset.ts    |   0
 .../lib => packages/utils/src}/vector.ts      |   0
 packages/utils/tsconfig.json                  |  12 +
 turbo.json                                    |   3 +
 yarn.lock                                     | 979 ++++++++++++++++++
 26 files changed, 1684 insertions(+), 105 deletions(-)
 delete mode 100644 apps/web/src/lib/index.ts
 delete mode 100644 packages/kripke/global.d.ts
 create mode 100644 packages/kripke/sat.ts
 create mode 100644 packages/kripke/tests/sat.test.ts
 create mode 100644 packages/kripke/tests/utils.ts
 create mode 100644 packages/utils/biome.json
 create mode 100644 packages/utils/index.ts
 create mode 100644 packages/utils/package.json
 create mode 100644 packages/utils/src/array.ts
 create mode 100644 packages/utils/src/headless.ts
 rename {apps/web/src/routes/kripke/lib => packages/utils/src}/multiset.ts (100%)
 rename {apps/web/src/routes/kripke/lib => packages/utils/src}/vector.ts (100%)
 create mode 100644 packages/utils/tsconfig.json

diff --git a/apps/web/package.json b/apps/web/package.json
index 8253ffc..52d1585 100644
--- a/apps/web/package.json
+++ b/apps/web/package.json
@@ -44,6 +44,7 @@
   },
   "dependencies": {
     "@cannorin/kripke": "workspace:*",
+    "@cannorin/utils": "workspace:*",
     "@fontsource/poiret-one": "5.2.6",
     "@fontsource/zen-kaku-gothic-new": "5.2.5",
     "@icons-pack/svelte-simple-icons": "4.0.1",
diff --git a/apps/web/src/lib/global.d.ts b/apps/web/src/lib/global.d.ts
index 4a6eec7..ba3c5ee 100644
--- a/apps/web/src/lib/global.d.ts
+++ b/apps/web/src/lib/global.d.ts
@@ -1,45 +1,3 @@
-interface String {
-  concat<S extends string>(string: S): `${this}${S}`;
-  concat<S1 extends string, S2 extends string>(
-    s1: S1,
-    s2: S2,
-  ): `${this}${S1}${S2}`;
-  startsWith<S extends string>(searchString: S): this is `${S}${string}`;
-  endsWith<S extends string>(searchString: S): this is `${string}${S}`;
-  includes<S extends string>(
-    searchString: S,
-    position?: number,
-  ): this is `${string}${S}${string}`;
-}
-
-type LiteralUnionLike<T> = T extends string
-  ? T extends ""
-    ? T
-    : T extends `${T}${T}`
-      ? never
-      : T
-  : T extends number
-    ? `${T}0` extends `${number}`
-      ? T
-      : never
-    : T extends null | undefined
-      ? T
-      : never;
-
-interface Array<T> {
-  includes(
-    searchElement: T extends LiteralUnionLike<T> ? unknown : never,
-    fromIndex?: number,
-  ): searchElement is T extends LiteralUnionLike<T> ? T : never;
-}
-
-interface ReadonlyArray<T> {
-  includes(
-    searchElement: T extends LiteralUnionLike<T> ? unknown : never,
-    fromIndex?: number,
-  ): searchElement is T extends LiteralUnionLike<T> ? T : never;
-}
-
 declare module "*&enhanced" {
   import type { Picture } from "vite-imagetools";
 
diff --git a/apps/web/src/lib/index.ts b/apps/web/src/lib/index.ts
deleted file mode 100644
index 77eb351..0000000
--- a/apps/web/src/lib/index.ts
+++ /dev/null
@@ -1,17 +0,0 @@
-export function tryOneOf<const T>(
-  value: T extends LiteralUnionLike<T> ? unknown : never,
-  consts: readonly T[],
-) {
-  if (consts.includes(value)) return value;
-  return undefined;
-}
-
-export function sample<T>(arr: T[], n: number = arr.length): T[] {
-  if (n > arr.length) return sample(arr, arr.length);
-  const copy = [...arr];
-  for (let i = 0; i < n; i++) {
-    const j = i + Math.floor(Math.random() * (copy.length - i));
-    [copy[i], copy[j]] = [copy[j] as T, copy[i] as T];
-  }
-  return copy.slice(0, n);
-}
diff --git a/apps/web/src/routes/api/misskey/invite-code/+server.ts b/apps/web/src/routes/api/misskey/invite-code/+server.ts
index 5b71f02..79c6509 100644
--- a/apps/web/src/routes/api/misskey/invite-code/+server.ts
+++ b/apps/web/src/routes/api/misskey/invite-code/+server.ts
@@ -1,9 +1,9 @@
+import { sampleMany } from "@cannorin/utils/array";
 import { type RequestEvent, text } from "@sveltejs/kit";
 import { RateLimiter } from "sveltekit-rate-limiter/server";
 
 import { dev } from "$app/environment";
 import { MISSKEY_API_KEY } from "$env/static/private";
-import { sample } from "$lib";
 import type { InviteListResponse } from "misskey-js/entities.js";
 
 const limiter = new RateLimiter({
@@ -31,7 +31,7 @@ export async function GET(event: RequestEvent) {
     },
   );
   const json = await res.json();
-  const invite = sample(json as InviteListResponse).find(
+  const invite = sampleMany(json as InviteListResponse).find(
     (x) => !x.createdBy && !x.usedAt,
   );
   if (invite) return text(invite.code);
diff --git a/apps/web/src/routes/kripke/components/frame-input.svelte b/apps/web/src/routes/kripke/components/frame-input.svelte
index 74fa781..69f164c 100644
--- a/apps/web/src/routes/kripke/components/frame-input.svelte
+++ b/apps/web/src/routes/kripke/components/frame-input.svelte
@@ -8,7 +8,6 @@ import {
   right,
   worlds,
 } from "@cannorin/kripke";
-import type { SVGAttributes } from "svelte/elements";
 import {
   type Radian,
   type Vector,
@@ -17,7 +16,8 @@ import {
   rotate,
   sub,
   theta,
-} from "../lib/vector";
+} from "@cannorin/utils/vector";
+import type { SVGAttributes } from "svelte/elements";
 
 export interface FrameInputProps extends SVGAttributes<SVGElement> {
   frame?: Frame | undefined;
diff --git a/apps/web/src/routes/kripke/lib/store.ts b/apps/web/src/routes/kripke/lib/store.ts
index a6d72d5..f29d6ce 100644
--- a/apps/web/src/routes/kripke/lib/store.ts
+++ b/apps/web/src/routes/kripke/lib/store.ts
@@ -1,6 +1,6 @@
+import { MultiSet } from "@cannorin/utils/multiset";
 import { persisted } from "svelte-persisted-store";
 import type { Move } from "../components/game.svelte";
-import { MultiSet } from "./multiset";
 import { date } from "./system";
 
 export type Daily = {
diff --git a/apps/web/src/routes/kripke/random/[seed]/+page.svelte b/apps/web/src/routes/kripke/random/[seed]/+page.svelte
index f89861e..f3774e0 100644
--- a/apps/web/src/routes/kripke/random/[seed]/+page.svelte
+++ b/apps/web/src/routes/kripke/random/[seed]/+page.svelte
@@ -1,7 +1,8 @@
 <script lang="ts">
 import { Button } from "$lib/components/ui/button";
 import * as Dialog from "$lib/components/ui/dialog";
-import { type Formula, isomorphic, validWorlds } from "@cannorin/kripke";
+import { type Formula, isomorphic } from "@cannorin/kripke";
+import { validWorlds } from "@cannorin/kripke/sat";
 import LuRotateCw from "lucide-svelte/icons/rotate-cw";
 import LuX from "lucide-svelte/icons/x";
 
diff --git a/package.json b/package.json
index 541f7bc..e90d859 100644
--- a/package.json
+++ b/package.json
@@ -7,6 +7,7 @@
     "check": "turbo run check",
     "lint": "turbo run lint",
     "fix": "turbo run fix",
+    "test": "turbo run test",
     "gen:env": "bash scripts/generate_env_for_apps.sh"
   },
   "devDependencies": {
diff --git a/packages/kripke/global.d.ts b/packages/kripke/global.d.ts
deleted file mode 100644
index 5912f19..0000000
--- a/packages/kripke/global.d.ts
+++ /dev/null
@@ -1,36 +0,0 @@
-interface String {
-  startsWith<S extends string>(searchString: S): this is `${S}${string}`;
-  endsWith<S extends string>(searchString: S): this is `${string}${S}`;
-  includes<S extends string>(
-    searchString: S,
-    position?: number,
-  ): this is `${string}${S}${string}`;
-}
-
-type LiteralUnionLike<T> = T extends string
-  ? T extends ""
-    ? T
-    : T extends `${T}${T}`
-      ? never
-      : T
-  : T extends number
-    ? `${T}0` extends `${number}`
-      ? T
-      : never
-    : T extends null | undefined
-      ? T
-      : never;
-
-interface Array<T> {
-  includes(
-    searchElement: T extends LiteralUnionLike<T> ? unknown : never,
-    fromIndex?: number,
-  ): searchElement is T extends LiteralUnionLike<T> ? T : never;
-}
-
-interface ReadonlyArray<T> {
-  includes(
-    searchElement: T extends LiteralUnionLike<T> ? unknown : never,
-    fromIndex?: number,
-  ): searchElement is T extends LiteralUnionLike<T> ? T : never;
-}
diff --git a/packages/kripke/package.json b/packages/kripke/package.json
index a88178d..4061447 100644
--- a/packages/kripke/package.json
+++ b/packages/kripke/package.json
@@ -6,17 +6,21 @@
     ".": "./index.ts",
     "./syntax": "./syntax.ts",
     "./semantics": "./semantics.ts",
-    "./parser": "./parser.ts"
+    "./parser": "./parser.ts",
+    "./sat": "./sat.ts"
   },
   "scripts": {
     "build": "tsc",
     "lint": "biome check",
-    "fix": "biome check --fix"
+    "fix": "biome check --fix",
+    "test": "vitest"
   },
   "devDependencies": {
-    "typescript": "5.7.3"
+    "typescript": "5.7.3",
+    "vitest": "3.2.4"
   },
   "dependencies": {
+    "@cannorin/utils": "workspace:*",
     "typescript-parsec": "0.3.4"
   }
 }
diff --git a/packages/kripke/parser.ts b/packages/kripke/parser.ts
index 79741ae..a0edf6e 100644
--- a/packages/kripke/parser.ts
+++ b/packages/kripke/parser.ts
@@ -1,3 +1,4 @@
+import type {} from "@cannorin/utils/headless";
 import {
   type Token,
   alt,
diff --git a/packages/kripke/sat.ts b/packages/kripke/sat.ts
new file mode 100644
index 0000000..b176e34
--- /dev/null
+++ b/packages/kripke/sat.ts
@@ -0,0 +1,220 @@
+import type {} from "@cannorin/utils/headless";
+import { type Frame, type World, left, right, worlds } from "./semantics";
+import {
+  type Formula,
+  type NNFFormula,
+  type PropVar,
+  not,
+  simplify,
+  tagNNF,
+  toNNF,
+} from "./syntax";
+import { maximal } from "./utils";
+
+export type Constraints =
+  | true
+  | ReadonlySet<`${World}${PropVar}` | `!${World}${PropVar}`>;
+
+export type Context = {
+  notFml: NNFFormula<number>;
+  next: Record<World, World[]>;
+  memo: Map<`${World}:${number}`, Constraints[]>;
+  constant: Map<`${World}:${number}`, boolean>;
+};
+
+export function buildContext(frame: Frame, fml: Formula): Context {
+  let index = 0;
+  const notFml = tagNNF(toNNF(simplify(not(fml))), () => {
+    index++;
+    return index;
+  });
+
+  const next: Record<World, World[]> = { a: [], b: [], c: [], d: [] };
+  for (const rel of frame.relations.values()) {
+    const u = left(rel);
+    const v = right(rel);
+    next[u].push(v);
+  }
+
+  const constant: Map<`${World}:${number}`, boolean> = new Map();
+  function addConstants(f: NNFFormula<number>) {
+    switch (f.type) {
+      case "top": {
+        for (const w of worlds) constant.set(`${w}:${f.tag}`, true);
+        return;
+      }
+      case "bot": {
+        for (const w of worlds) constant.set(`${w}:${f.tag}`, false);
+        return;
+      }
+      case "propvar":
+      case "not":
+        return;
+      case "box": {
+        addConstants(f.fml);
+        for (const w1 of worlds) {
+          const xs = next[w1].map((w2) => constant.get(`${w2}:${f.fml.tag}`));
+          if (xs.some((x) => x === undefined)) continue;
+          constant.set(
+            `${w1}:${f.tag}`,
+            xs.every((x) => x === true),
+          );
+        }
+        return;
+      }
+      case "diamond": {
+        addConstants(f.fml);
+        for (const w1 of worlds) {
+          const xs = next[w1].map((w2) => constant.get(`${w2}:${f.fml.tag}`));
+          if (xs.some((x) => x === undefined)) continue;
+          constant.set(
+            `${w1}:${f.tag}`,
+            xs.some((x) => x === true),
+          );
+        }
+        return;
+      }
+      case "or": {
+        addConstants(f.left);
+        addConstants(f.right);
+        for (const w of worlds) {
+          const l = constant.get(`${w}:${f.left.tag}`);
+          const r = constant.get(`${w}:${f.right.tag}`);
+          if (l === undefined || r === undefined) continue;
+          constant.set(`${w}:${f.tag}`, l || r);
+        }
+        return;
+      }
+      case "and": {
+        addConstants(f.left);
+        addConstants(f.right);
+        for (const w of worlds) {
+          const l = constant.get(`${w}:${f.left.tag}`);
+          const r = constant.get(`${w}:${f.right.tag}`);
+          if (l === undefined || r === undefined) continue;
+          constant.set(`${w}:${f.tag}`, l && r);
+        }
+        return;
+      }
+    }
+  }
+  addConstants(notFml);
+
+  return { notFml, next, memo: new Map(), constant };
+}
+
+const subsumes = (c1: Constraints, c2: Constraints): boolean => {
+  if (c1 === true) return c2 === true;
+  if (c2 === true) return true;
+  for (const v of c2.values()) {
+    if (!c1.has(v)) return false;
+  }
+  return true;
+};
+
+const union = (c1: Constraints, c2: Constraints): Constraints => {
+  if (c1 === true) return c2;
+  if (c2 === true) return c1;
+  return new Set([...c1.values(), ...c2.values()]);
+};
+
+const consistent = (c: Constraints) => {
+  if (c === true) return true;
+  for (const v of c.values()) {
+    if (!v.startsWith("!") && c.has(`!${v}`)) return false;
+  }
+  return true;
+};
+
+export function sat(
+  frame: Frame,
+  fml: NNFFormula<number>,
+  world: World,
+  ctx: Context = buildContext(frame, fml),
+): Constraints[] {
+  const key = `${world}:${fml.tag}` as const;
+  const c = ctx.constant.get(key);
+  if (c === true) return [true];
+  if (c === false) return [];
+
+  let result = ctx.memo.get(key);
+  if (result) return result;
+
+  switch (fml.type) {
+    case "top":
+      result = [true];
+      break;
+    case "bot":
+      result = [];
+      break;
+    case "propvar":
+      result = [new Set([`${world}${fml.name}` as const])];
+      break;
+    case "not":
+      result = [new Set([`!${world}${fml.fml.name}` as const])];
+      break;
+    case "box": {
+      result = ctx.next[world]
+        .map((w) => sat(frame, fml.fml, w, ctx))
+        .reduce(
+          (prev, current) =>
+            maximal(
+              current.flatMap((c1) =>
+                prev.map((c2) => union(c1, c2)).filter(consistent),
+              ),
+              subsumes,
+            ),
+          [true],
+        );
+      break;
+    }
+    case "diamond": {
+      result = maximal(
+        ctx.next[world].flatMap((w) => sat(frame, fml.fml, w, ctx)),
+        subsumes,
+      );
+      break;
+    }
+    case "and": {
+      result = [
+        sat(frame, fml.left, world, ctx),
+        sat(frame, fml.right, world, ctx),
+      ].reduce(
+        (prev, current) =>
+          maximal(
+            current.flatMap((c1) =>
+              prev.map((c2) => union(c1, c2)).filter(consistent),
+            ),
+            subsumes,
+          ),
+        [true],
+      );
+      break;
+    }
+    case "or": {
+      result = maximal(
+        [
+          sat(frame, fml.left, world, ctx),
+          sat(frame, fml.right, world, ctx),
+        ].flat(),
+        subsumes,
+      );
+      break;
+    }
+  }
+
+  ctx.memo.set(key, result);
+  return result;
+}
+
+export function validInWorld(frame: Frame, fml: Formula, world: World) {
+  const ctx = buildContext(frame, fml);
+  return sat(frame, ctx.notFml, world, ctx).length === 0;
+}
+
+export function validWorlds(frame: Frame, fml: Formula) {
+  const ctx = buildContext(frame, fml);
+  return worlds.filter(
+    (world) => sat(frame, ctx.notFml, world, ctx).length === 0,
+  );
+}
diff --git a/packages/kripke/syntax.ts b/packages/kripke/syntax.ts
index 30f4475..b2c61ef 100644
--- a/packages/kripke/syntax.ts
+++ b/packages/kripke/syntax.ts
@@ -1,6 +1,6 @@
 export type PropVar = "p" | "q" | "r" | "s";
 
-export const propVars: PropVar[] = ["p", "q", "r", "s"];
+export const propVars = ["p", "q", "r", "s"] as const satisfies PropVar[];
 
 export type Formula =
   | { type: "top" | "bot" }
@@ -149,3 +149,226 @@ export function prettyPrint(
     }
   }
 }
+
+export function simplify(fml: Formula): Formula {
+  switch (fml.type) {
+    case "top":
+    case "bot":
+    case "propvar":
+      return fml;
+    case "not":
+    case "box":
+    case "diamond": {
+      const inner = simplify(fml.fml);
+      if (fml.type === "not" && inner.type === "not") return inner.fml;
+      if (fml.type === "not" && inner.type === "top") return bot;
+      if (fml.type === "not" && inner.type === "bot") return top;
+      if (fml.type === "box" && inner.type === "top") return top;
+      if (fml.type === "diamond" && inner.type === "bot") return bot;
+
+      return {
+        type: fml.type,
+        fml: inner,
+      };
+    }
+    case "or":
+    case "and":
+    case "to":
+    case "eq": {
+      const innerLeft = simplify(fml.left);
+      const innerRight = simplify(fml.right);
+
+      if (fml.type === "and" && innerLeft.type === "top") return innerRight;
+      if (fml.type === "and" && innerRight.type === "top") return innerLeft;
+      if (
+        fml.type === "and" &&
+        (innerLeft.type === "bot" || innerRight.type === "bot")
+      )
+        return bot;
+      if (fml.type === "or" && innerLeft.type === "bot") return innerRight;
+      if (fml.type === "or" && innerRight.type === "bot") return innerLeft;
+      if (
+        fml.type === "or" &&
+        (innerLeft.type === "top" || innerRight.type === "top")
+      )
+        return top;
+      if (fml.type === "to" && innerLeft.type === "top") return innerRight;
+      if (fml.type === "to" && innerLeft.type === "bot") return top;
+      if (fml.type === "to" && innerRight.type === "top") return top;
+      if (fml.type === "to" && innerRight.type === "bot")
+        return simplify(not(innerLeft));
+      if (fml.type === "eq" && innerLeft.type === "top") return innerRight;
+      if (fml.type === "eq" && innerRight.type === "top") return innerLeft;
+      if (fml.type === "eq" && innerRight.type === "bot")
+        return simplify(not(innerLeft));
+      if (fml.type === "eq" && innerLeft.type === "bot")
+        return simplify(not(innerRight));
+
+      return {
+        type: fml.type,
+        left: innerLeft,
+        right: innerRight,
+      };
+    }
+  }
+}
+
+export type NNFFormula<T = undefined> =
+  | { type: "top" | "bot"; tag: T }
+  | { type: "propvar"; name: PropVar; tag: T }
+  | { type: "not"; fml: { type: "propvar"; name: PropVar; tag: T }; tag: T }
+  | { type: "box" | "diamond"; fml: NNFFormula<T>; tag: T }
+  | {
+      type: "and" | "or";
+      left: NNFFormula<T>;
+      right: NNFFormula<T>;
+      tag: T;
+    };
+
+export function toNNF(fml: Formula): NNFFormula {
+  switch (fml.type) {
+    case "top":
+      return { ...fml, tag: undefined };
+    case "bot":
+      return { ...fml, tag: undefined };
+    case "propvar":
+      return { ...fml, tag: undefined };
+    case "box": {
+      return {
+        type: "box",
+        fml: toNNF(fml.fml),
+        tag: undefined,
+      };
+    }
+    case "diamond": {
+      return {
+        type: "diamond",
+        fml: toNNF(fml.fml),
+        tag: undefined,
+      };
+    }
+    case "to": {
+      return toNNF(or(not(fml.left), fml.right));
+    }
+    case "eq": {
+      return toNNF(
+        and(or(not(fml.left), fml.right), or(not(fml.right), fml.left)),
+      );
+    }
+    case "or": {
+      return {
+        type: "or",
+        left: toNNF(fml.left),
+        right: toNNF(fml.right),
+        tag: undefined,
+      };
+    }
+    case "and": {
+      return {
+        type: "and",
+        left: toNNF(fml.left),
+        right: toNNF(fml.right),
+        tag: undefined,
+      };
+    }
+    case "not": {
+      switch (fml.fml.type) {
+        case "top":
+          return { ...bot, tag: undefined };
+        case "bot":
+          return { ...top, tag: undefined };
+        case "propvar":
+          return {
+            type: "not",
+            fml: { ...fml.fml, tag: undefined },
+            tag: undefined,
+          };
+        case "not":
+          return toNNF(fml.fml.fml);
+        case "box":
+          return {
+            type: "diamond",
+            fml: toNNF(not(fml.fml.fml)),
+            tag: undefined,
+          };
+        case "diamond":
+          return { type: "box", fml: toNNF(not(fml.fml.fml)), tag: undefined };
+        case "or":
+          return {
+            type: "and",
+            left: toNNF(not(fml.fml.left)),
+            right: toNNF(not(fml.fml.right)),
+            tag: undefined,
+          };
+        case "and":
+          return {
+            type: "or",
+            left: toNNF(not(fml.fml.left)),
+            right: toNNF(not(fml.fml.right)),
+            tag: undefined,
+          };
+        case "to":
+          return {
+            type: "and",
+            left: toNNF(fml.fml.left),
+            right: toNNF(not(fml.fml.right)),
+            tag: undefined,
+          };
+        case "eq":
+          return {
+            type: "or",
+            left: {
+              type: "and",
+              left: toNNF(fml.fml.left),
+              right: toNNF(not(fml.fml.right)),
+              tag: undefined,
+            },
+            right: {
+              type: "and",
+              left: toNNF(not(fml.fml.left)),
+              right: toNNF(fml.fml.right),
+              tag: undefined,
+            },
+            tag: undefined,
+          };
+      }
+    }
+  }
+}
+
+export function tagNNF<T, U>(
+  fml: NNFFormula<T>,
+  tagger: (fml: Omit<NNFFormula<T>, "tag">, tag: T) => U,
+): NNFFormula<U> {
+  switch (fml.type) {
+    case "top":
+    case "bot":
+    case "propvar":
+      return { ...fml, tag: tagger(fml, fml.tag) };
+    case "not":
+      return {
+        type: "not",
+        fml: {
+          type: "propvar",
+          name: fml.fml.name,
+          tag: tagger(fml.fml, fml.fml.tag),
+        },
+        tag: tagger(fml, fml.tag),
+      };
+    case "box":
+    case "diamond":
+      return {
+        type: fml.type,
+        fml: tagNNF(fml.fml, tagger),
+        tag: tagger(fml, fml.tag),
+      };
+    case "and":
+    case "or":
+      return {
+        type: fml.type,
+        left: tagNNF(fml.left, tagger),
+        right: tagNNF(fml.right, tagger),
+        tag: tagger(fml, fml.tag),
+      };
+  }
+}
diff --git a/packages/kripke/tests/sat.test.ts b/packages/kripke/tests/sat.test.ts
new file mode 100644
index 0000000..4871996
--- /dev/null
+++ b/packages/kripke/tests/sat.test.ts
@@ -0,0 +1,30 @@
+import { expect, test } from "vitest";
+import { validWorlds } from "../sat";
+import { validWorlds as validWorldsNaive } from "../semantics";
+import { prettyPrint } from "../syntax";
+import { randomFormula, randomFrame, testFormulas } from "./utils";
+
+const elapsed = <T>(f: () => T) => {
+  const start = Date.now();
+  const value = f();
+  const end = Date.now();
+  return { value, elapsed: end - start };
+};
+
+for (const fml of testFormulas.concat(
+  [...Array(50)].map(() => randomFormula()),
+)) {
+  test(`SAT works for ${prettyPrint(fml)}`, () => {
+    const count = 100;
+    let diff = 0;
+    for (let i = 0; i < count; i++) {
+      const frame = randomFrame();
+      const expected = elapsed(() => validWorldsNaive(frame, fml));
+      const actual = elapsed(() => validWorlds(frame, fml));
+
+      expect(actual.value.sort()).toStrictEqual(expected.value.sort());
+      diff += actual.elapsed - expected.elapsed;
+    }
+    expect(diff / count).toBeLessThanOrEqual(10);
+  });
+}
diff --git a/packages/kripke/tests/utils.ts b/packages/kripke/tests/utils.ts
new file mode 100644
index 0000000..5566871
--- /dev/null
+++ b/packages/kripke/tests/utils.ts
@@ -0,0 +1,96 @@
+import { sample } from "@cannorin/utils/array";
+import { parse } from "../parser";
+import { getFrame, nontrivials } from "../semantics";
+import {
+  type Formula,
+  and,
+  bot,
+  box,
+  diamond,
+  eq,
+  not,
+  or,
+  propvar,
+  to,
+  top,
+} from "../syntax";
+
+const formulaTypes = [
+  "top",
+  "bot",
+  "propvar",
+  "not",
+  "and",
+  "or",
+  "to",
+  "eq",
+  "box",
+  "diamond",
+] as const satisfies Formula["type"][];
+
+export const testFormulas: Formula[] = [
+  parse("L(p -> q) -> (Lp -> Lq)"),
+  parse("Lp -> p"),
+  parse("LLp -> Lp"),
+  parse("Lp -> LLp"),
+  parse("Lp -> Mp"),
+  parse("p -> LMp"),
+  parse("Mp -> LMp"),
+  parse("L(Lp -> p) -> Lp"),
+  parse("L(L(p -> Lp) -> p) -> p"),
+  parse("L(Lp -> q) v L(Lq -> p)"),
+  parse("LMp -> MLp"),
+  parse("MLp -> LMp"),
+  parse("p -> Lp"),
+  parse("Mp -> Lp"),
+  parse("Mp <-> Lp"),
+  parse("Lp"),
+  parse("Lp v L(p -> q)"),
+  parse("Lp v L(p -> q) v L(p&q -> r)"),
+
+  parse("L(Lp -> p)"),
+  parse("LLp -> p"),
+  parse("p -> LLp"),
+
+  // pathological
+  parse("L(M(1 & p) v LM1) -> (s <-> 1)"),
+  parse("L(M((q v ~q) & p) v LM(s v ~s)) -> (s <-> (p v ~p))"),
+];
+
+export function randomFormula(depth = 5): Formula {
+  const types = new Map([
+    [5, ["not", "and", "or", "to", "eq", "box", "diamond"] as const],
+    [4, ["not", "and", "or", "to", "eq", "box", "diamond"] as const],
+    [0, ["top", "bot", "propvar", "propvar", "propvar", "propvar"] as const],
+  ]);
+
+  const type = sample(types.get(depth) ?? formulaTypes);
+  switch (type) {
+    case "top":
+      return top;
+    case "bot":
+      return bot;
+    case "propvar":
+      return propvar(sample(["p", "q", "r"]));
+    case "not":
+      return not(randomFormula(depth - 1));
+    case "and":
+      return and(randomFormula(depth - 1), randomFormula(depth - 1));
+    case "or":
+      return or(randomFormula(depth - 1), randomFormula(depth - 1));
+    case "to":
+      return to(randomFormula(depth - 1), randomFormula(depth - 1));
+    case "eq":
+      return eq(randomFormula(depth - 1), randomFormula(depth - 1));
+    case "box":
+      return box(randomFormula(depth - 1));
+    case "diamond":
+      return diamond(randomFormula(depth - 1));
+    default:
+      throw new Error(`impossible: ${type}`);
+  }
+}
+
+export function randomFrame() {
+  return getFrame(sample(nontrivials));
+}
diff --git a/packages/kripke/utils.ts b/packages/kripke/utils.ts
index e4848b6..7a2d82c 100644
--- a/packages/kripke/utils.ts
+++ b/packages/kripke/utils.ts
@@ -39,3 +39,28 @@ export function permutations<T>(arr: readonly T[]): T[][] {
   }
   return result;
 }
+
+export function maximal<T>(
+  xs: readonly T[],
+  preorder: (x: T, y: T) => boolean,
+): T[] {
+  const res: T[] = [];
+  outer: for (const x of xs) {
+    for (let i = 0; i < res.length; ) {
+      const y = res[i] as T;
+      const xLeY = preorder(x, y);
+      const yLeX = preorder(y, x);
+
+      if (xLeY && !yLeX) {
+        continue outer;
+      }
+      if (yLeX && !xLeY) {
+        res.splice(i, 1);
+        continue;
+      }
+      i++;
+    }
+    res.push(x);
+  }
+  return res;
+}
diff --git a/packages/utils/biome.json b/packages/utils/biome.json
new file mode 100644
index 0000000..52a1d9f
--- /dev/null
+++ b/packages/utils/biome.json
@@ -0,0 +1,3 @@
+{
+  "extends": ["../../biome.json"]
+}
diff --git a/packages/utils/index.ts b/packages/utils/index.ts
new file mode 100644
index 0000000..cb0ff5c
--- /dev/null
+++ b/packages/utils/index.ts
@@ -0,0 +1 @@
+export {};
diff --git a/packages/utils/package.json b/packages/utils/package.json
new file mode 100644
index 0000000..c1caa29
--- /dev/null
+++ b/packages/utils/package.json
@@ -0,0 +1,22 @@
+{
+  "name": "@cannorin/utils",
+  "version": "0.0.1",
+  "private": true,
+  "exports": {
+    ".": "./index.ts",
+    "./headless": "./src/headless.ts",
+    "./array": "./src/array.ts",
+    "./vector": "./src/vector.ts",
+    "./multiset": "./src/multiset.ts"
+  },
+  "scripts": {
+    "build": "tsc",
+    "lint": "biome check",
+    "fix": "biome check --fix",
+    "test": "vitest"
+  },
+  "devDependencies": {
+    "typescript": "5.7.3",
+    "vitest": "3.2.4"
+  }
+}
diff --git a/packages/utils/src/array.ts b/packages/utils/src/array.ts
new file mode 100644
index 0000000..077f532
--- /dev/null
+++ b/packages/utils/src/array.ts
@@ -0,0 +1,12 @@
+export const sample = <T>(arr: readonly T[]): T =>
+  arr[Math.floor(Math.random() * arr.length)] as T;
+
+export function sampleMany<T>(arr: T[], n: number = arr.length): T[] {
+  if (n > arr.length) return sampleMany(arr, arr.length);
+  const copy = [...arr];
+  for (let i = 0; i < n; i++) {
+    const j = i + Math.floor(Math.random() * (copy.length - i));
+    [copy[i], copy[j]] = [copy[j] as T, copy[i] as T];
+  }
+  return copy.slice(0, n);
+}
diff --git a/packages/utils/src/headless.ts b/packages/utils/src/headless.ts
new file mode 100644
index 0000000..35a7100
--- /dev/null
+++ b/packages/utils/src/headless.ts
@@ -0,0 +1,40 @@
+export {};
+
+declare global {
+  interface String {
+    startsWith<S extends string>(searchString: S): this is `${S}${string}`;
+    endsWith<S extends string>(searchString: S): this is `${string}${S}`;
+    includes<S extends string>(
+      searchString: S,
+      position?: number,
+    ): this is `${string}${S}${string}`;
+  }
+
+  type LiteralUnionLike<T> = T extends string
+    ? T extends ""
+      ? T
+      : T extends `${T}${T}`
+        ? never
+        : T
+    : T extends number
+      ? `${T}0` extends `${number}`
+        ? T
+        : never
+      : T extends null | undefined
+        ? T
+        : never;
+
+  interface Array<T> {
+    includes(
+      searchElement: T extends LiteralUnionLike<T> ? unknown : never,
+      fromIndex?: number,
+    ): searchElement is T extends LiteralUnionLike<T> ? T : never;
+  }
+
+  interface ReadonlyArray<T> {
+    includes(
+      searchElement: T extends LiteralUnionLike<T> ? unknown : never,
+      fromIndex?: number,
+    ): searchElement is T extends LiteralUnionLike<T> ? T : never;
+  }
+}
diff --git a/apps/web/src/routes/kripke/lib/multiset.ts b/packages/utils/src/multiset.ts
similarity index 100%
rename from apps/web/src/routes/kripke/lib/multiset.ts
rename to packages/utils/src/multiset.ts
diff --git a/apps/web/src/routes/kripke/lib/vector.ts b/packages/utils/src/vector.ts
similarity index 100%
rename from apps/web/src/routes/kripke/lib/vector.ts
rename to packages/utils/src/vector.ts
diff --git a/packages/utils/tsconfig.json b/packages/utils/tsconfig.json
new file mode 100644
index 0000000..9c1eff7
--- /dev/null
+++ b/packages/utils/tsconfig.json
@@ -0,0 +1,12 @@
+{
+  "extends": "@tsconfig/strictest/tsconfig.json",
+  "compilerOptions": {
+    "target": "esnext",
+    "lib": ["esnext"],
+    "module": "esnext",
+    "moduleResolution": "Bundler",
+    "resolveJsonModule": true,
+    "noEmit": true,
+    "allowSyntheticDefaultImports": true
+  }
+}
diff --git a/turbo.json b/turbo.json
index 6b8b6f2..b9d6c17 100644
--- a/turbo.json
+++ b/turbo.json
@@ -15,6 +15,9 @@
     "check": {
       "cache": false
     },
+    "test": {
+      "cache": false
+    },
     "dev": {
       "cache": false,
       "persistent": true
diff --git a/yarn.lock b/yarn.lock
index 5c37d36..bfe036c 100644
--- a/yarn.lock
+++ b/yarn.lock
@@ -117,8 +117,19 @@ __metadata:
   version: 0.0.0-use.local
   resolution: "@cannorin/kripke@workspace:packages/kripke"
   dependencies:
+    "@cannorin/utils": "workspace:*"
     typescript: "npm:5.7.3"
     typescript-parsec: "npm:0.3.4"
+    vitest: "npm:3.2.4"
+  languageName: unknown
+  linkType: soft
+
+"@cannorin/utils@workspace:*, @cannorin/utils@workspace:packages/utils":
+  version: 0.0.0-use.local
+  resolution: "@cannorin/utils@workspace:packages/utils"
+  dependencies:
+    typescript: "npm:5.7.3"
+    vitest: "npm:3.2.4"
   languageName: unknown
   linkType: soft
 
@@ -218,6 +229,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/aix-ppc64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/aix-ppc64@npm:0.25.9"
+  conditions: os=aix & cpu=ppc64
+  languageName: node
+  linkType: hard
+
 "@esbuild/android-arm64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/android-arm64@npm:0.21.5"
@@ -232,6 +250,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/android-arm64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/android-arm64@npm:0.25.9"
+  conditions: os=android & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@esbuild/android-arm@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/android-arm@npm:0.21.5"
@@ -246,6 +271,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/android-arm@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/android-arm@npm:0.25.9"
+  conditions: os=android & cpu=arm
+  languageName: node
+  linkType: hard
+
 "@esbuild/android-x64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/android-x64@npm:0.21.5"
@@ -260,6 +292,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/android-x64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/android-x64@npm:0.25.9"
+  conditions: os=android & cpu=x64
+  languageName: node
+  linkType: hard
+
 "@esbuild/darwin-arm64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/darwin-arm64@npm:0.21.5"
@@ -274,6 +313,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/darwin-arm64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/darwin-arm64@npm:0.25.9"
+  conditions: os=darwin & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@esbuild/darwin-x64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/darwin-x64@npm:0.21.5"
@@ -288,6 +334,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/darwin-x64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/darwin-x64@npm:0.25.9"
+  conditions: os=darwin & cpu=x64
+  languageName: node
+  linkType: hard
+
 "@esbuild/freebsd-arm64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/freebsd-arm64@npm:0.21.5"
@@ -302,6 +355,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/freebsd-arm64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/freebsd-arm64@npm:0.25.9"
+  conditions: os=freebsd & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@esbuild/freebsd-x64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/freebsd-x64@npm:0.21.5"
@@ -316,6 +376,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/freebsd-x64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/freebsd-x64@npm:0.25.9"
+  conditions: os=freebsd & cpu=x64
+  languageName: node
+  linkType: hard
+
 "@esbuild/linux-arm64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/linux-arm64@npm:0.21.5"
@@ -330,6 +397,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/linux-arm64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/linux-arm64@npm:0.25.9"
+  conditions: os=linux & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@esbuild/linux-arm@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/linux-arm@npm:0.21.5"
@@ -344,6 +418,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/linux-arm@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/linux-arm@npm:0.25.9"
+  conditions: os=linux & cpu=arm
+  languageName: node
+  linkType: hard
+
 "@esbuild/linux-ia32@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/linux-ia32@npm:0.21.5"
@@ -358,6 +439,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/linux-ia32@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/linux-ia32@npm:0.25.9"
+  conditions: os=linux & cpu=ia32
+  languageName: node
+  linkType: hard
+
 "@esbuild/linux-loong64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/linux-loong64@npm:0.21.5"
@@ -372,6 +460,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/linux-loong64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/linux-loong64@npm:0.25.9"
+  conditions: os=linux & cpu=loong64
+  languageName: node
+  linkType: hard
+
 "@esbuild/linux-mips64el@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/linux-mips64el@npm:0.21.5"
@@ -386,6 +481,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/linux-mips64el@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/linux-mips64el@npm:0.25.9"
+  conditions: os=linux & cpu=mips64el
+  languageName: node
+  linkType: hard
+
 "@esbuild/linux-ppc64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/linux-ppc64@npm:0.21.5"
@@ -400,6 +502,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/linux-ppc64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/linux-ppc64@npm:0.25.9"
+  conditions: os=linux & cpu=ppc64
+  languageName: node
+  linkType: hard
+
 "@esbuild/linux-riscv64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/linux-riscv64@npm:0.21.5"
@@ -414,6 +523,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/linux-riscv64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/linux-riscv64@npm:0.25.9"
+  conditions: os=linux & cpu=riscv64
+  languageName: node
+  linkType: hard
+
 "@esbuild/linux-s390x@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/linux-s390x@npm:0.21.5"
@@ -428,6 +544,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/linux-s390x@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/linux-s390x@npm:0.25.9"
+  conditions: os=linux & cpu=s390x
+  languageName: node
+  linkType: hard
+
 "@esbuild/linux-x64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/linux-x64@npm:0.21.5"
@@ -442,6 +565,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/linux-x64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/linux-x64@npm:0.25.9"
+  conditions: os=linux & cpu=x64
+  languageName: node
+  linkType: hard
+
 "@esbuild/netbsd-arm64@npm:0.25.2":
   version: 0.25.2
   resolution: "@esbuild/netbsd-arm64@npm:0.25.2"
@@ -449,6 +579,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/netbsd-arm64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/netbsd-arm64@npm:0.25.9"
+  conditions: os=netbsd & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@esbuild/netbsd-x64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/netbsd-x64@npm:0.21.5"
@@ -463,6 +600,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/netbsd-x64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/netbsd-x64@npm:0.25.9"
+  conditions: os=netbsd & cpu=x64
+  languageName: node
+  linkType: hard
+
 "@esbuild/openbsd-arm64@npm:0.25.2":
   version: 0.25.2
   resolution: "@esbuild/openbsd-arm64@npm:0.25.2"
@@ -470,6 +614,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/openbsd-arm64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/openbsd-arm64@npm:0.25.9"
+  conditions: os=openbsd & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@esbuild/openbsd-x64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/openbsd-x64@npm:0.21.5"
@@ -484,6 +635,20 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/openbsd-x64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/openbsd-x64@npm:0.25.9"
+  conditions: os=openbsd & cpu=x64
+  languageName: node
+  linkType: hard
+
+"@esbuild/openharmony-arm64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/openharmony-arm64@npm:0.25.9"
+  conditions: os=openharmony & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@esbuild/sunos-x64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/sunos-x64@npm:0.21.5"
@@ -498,6 +663,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/sunos-x64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/sunos-x64@npm:0.25.9"
+  conditions: os=sunos & cpu=x64
+  languageName: node
+  linkType: hard
+
 "@esbuild/win32-arm64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/win32-arm64@npm:0.21.5"
@@ -512,6 +684,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/win32-arm64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/win32-arm64@npm:0.25.9"
+  conditions: os=win32 & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@esbuild/win32-ia32@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/win32-ia32@npm:0.21.5"
@@ -526,6 +705,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/win32-ia32@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/win32-ia32@npm:0.25.9"
+  conditions: os=win32 & cpu=ia32
+  languageName: node
+  linkType: hard
+
 "@esbuild/win32-x64@npm:0.21.5":
   version: 0.21.5
   resolution: "@esbuild/win32-x64@npm:0.21.5"
@@ -540,6 +726,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@esbuild/win32-x64@npm:0.25.9":
+  version: 0.25.9
+  resolution: "@esbuild/win32-x64@npm:0.25.9"
+  conditions: os=win32 & cpu=x64
+  languageName: node
+  linkType: hard
+
 "@fastify/busboy@npm:^2.0.0":
   version: 2.1.1
   resolution: "@fastify/busboy@npm:2.1.1"
@@ -843,6 +1036,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@jridgewell/sourcemap-codec@npm:^1.5.5":
+  version: 1.5.5
+  resolution: "@jridgewell/sourcemap-codec@npm:1.5.5"
+  checksum: 10c0/f9e538f302b63c0ebc06eecb1dd9918dd4289ed36147a0ddce35d6ea4d7ebbda243cda7b2213b6a5e1d8087a298d5cf630fb2bd39329cdecb82017023f6081a0
+  languageName: node
+  linkType: hard
+
 "@jridgewell/trace-mapping@npm:0.3.9":
   version: 0.3.9
   resolution: "@jridgewell/trace-mapping@npm:0.3.9"
@@ -962,6 +1162,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-android-arm-eabi@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-android-arm-eabi@npm:4.50.2"
+  conditions: os=android & cpu=arm
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-android-arm64@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-android-arm64@npm:4.29.1"
@@ -969,6 +1176,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-android-arm64@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-android-arm64@npm:4.50.2"
+  conditions: os=android & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-darwin-arm64@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-darwin-arm64@npm:4.29.1"
@@ -976,6 +1190,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-darwin-arm64@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-darwin-arm64@npm:4.50.2"
+  conditions: os=darwin & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-darwin-x64@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-darwin-x64@npm:4.29.1"
@@ -983,6 +1204,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-darwin-x64@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-darwin-x64@npm:4.50.2"
+  conditions: os=darwin & cpu=x64
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-freebsd-arm64@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-freebsd-arm64@npm:4.29.1"
@@ -990,6 +1218,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-freebsd-arm64@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-freebsd-arm64@npm:4.50.2"
+  conditions: os=freebsd & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-freebsd-x64@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-freebsd-x64@npm:4.29.1"
@@ -997,6 +1232,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-freebsd-x64@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-freebsd-x64@npm:4.50.2"
+  conditions: os=freebsd & cpu=x64
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-linux-arm-gnueabihf@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-linux-arm-gnueabihf@npm:4.29.1"
@@ -1004,6 +1246,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-linux-arm-gnueabihf@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-arm-gnueabihf@npm:4.50.2"
+  conditions: os=linux & cpu=arm & libc=glibc
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-linux-arm-musleabihf@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-linux-arm-musleabihf@npm:4.29.1"
@@ -1011,6 +1260,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-linux-arm-musleabihf@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-arm-musleabihf@npm:4.50.2"
+  conditions: os=linux & cpu=arm & libc=musl
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-linux-arm64-gnu@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-linux-arm64-gnu@npm:4.29.1"
@@ -1018,6 +1274,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-linux-arm64-gnu@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-arm64-gnu@npm:4.50.2"
+  conditions: os=linux & cpu=arm64 & libc=glibc
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-linux-arm64-musl@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-linux-arm64-musl@npm:4.29.1"
@@ -1025,6 +1288,20 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-linux-arm64-musl@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-arm64-musl@npm:4.50.2"
+  conditions: os=linux & cpu=arm64 & libc=musl
+  languageName: node
+  linkType: hard
+
+"@rollup/rollup-linux-loong64-gnu@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-loong64-gnu@npm:4.50.2"
+  conditions: os=linux & cpu=loong64 & libc=glibc
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-linux-loongarch64-gnu@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-linux-loongarch64-gnu@npm:4.29.1"
@@ -1039,6 +1316,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-linux-ppc64-gnu@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-ppc64-gnu@npm:4.50.2"
+  conditions: os=linux & cpu=ppc64 & libc=glibc
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-linux-riscv64-gnu@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-linux-riscv64-gnu@npm:4.29.1"
@@ -1046,6 +1330,20 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-linux-riscv64-gnu@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-riscv64-gnu@npm:4.50.2"
+  conditions: os=linux & cpu=riscv64 & libc=glibc
+  languageName: node
+  linkType: hard
+
+"@rollup/rollup-linux-riscv64-musl@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-riscv64-musl@npm:4.50.2"
+  conditions: os=linux & cpu=riscv64 & libc=musl
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-linux-s390x-gnu@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-linux-s390x-gnu@npm:4.29.1"
@@ -1053,6 +1351,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-linux-s390x-gnu@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-s390x-gnu@npm:4.50.2"
+  conditions: os=linux & cpu=s390x & libc=glibc
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-linux-x64-gnu@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-linux-x64-gnu@npm:4.29.1"
@@ -1060,6 +1365,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-linux-x64-gnu@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-x64-gnu@npm:4.50.2"
+  conditions: os=linux & cpu=x64 & libc=glibc
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-linux-x64-musl@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-linux-x64-musl@npm:4.29.1"
@@ -1067,6 +1379,20 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-linux-x64-musl@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-linux-x64-musl@npm:4.50.2"
+  conditions: os=linux & cpu=x64 & libc=musl
+  languageName: node
+  linkType: hard
+
+"@rollup/rollup-openharmony-arm64@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-openharmony-arm64@npm:4.50.2"
+  conditions: os=openharmony & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-win32-arm64-msvc@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-win32-arm64-msvc@npm:4.29.1"
@@ -1074,6 +1400,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-win32-arm64-msvc@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-win32-arm64-msvc@npm:4.50.2"
+  conditions: os=win32 & cpu=arm64
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-win32-ia32-msvc@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-win32-ia32-msvc@npm:4.29.1"
@@ -1081,6 +1414,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-win32-ia32-msvc@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-win32-ia32-msvc@npm:4.50.2"
+  conditions: os=win32 & cpu=ia32
+  languageName: node
+  linkType: hard
+
 "@rollup/rollup-win32-x64-msvc@npm:4.29.1":
   version: 4.29.1
   resolution: "@rollup/rollup-win32-x64-msvc@npm:4.29.1"
@@ -1088,6 +1428,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@rollup/rollup-win32-x64-msvc@npm:4.50.2":
+  version: 4.50.2
+  resolution: "@rollup/rollup-win32-x64-msvc@npm:4.50.2"
+  conditions: os=win32 & cpu=x64
+  languageName: node
+  linkType: hard
+
 "@simplewebauthn/types@npm:11.0.0":
   version: 11.0.0
   resolution: "@simplewebauthn/types@npm:11.0.0"
@@ -1227,6 +1574,15 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@types/chai@npm:^5.2.2":
+  version: 5.2.2
+  resolution: "@types/chai@npm:5.2.2"
+  dependencies:
+    "@types/deep-eql": "npm:*"
+  checksum: 10c0/49282bf0e8246800ebb36f17256f97bd3a8c4fb31f92ad3c0eaa7623518d7e87f1eaad4ad206960fcaf7175854bdff4cb167e4fe96811e0081b4ada83dd533ec
+  languageName: node
+  linkType: hard
+
 "@types/cookie@npm:^0.6.0":
   version: 0.6.0
   resolution: "@types/cookie@npm:0.6.0"
@@ -1234,6 +1590,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@types/deep-eql@npm:*":
+  version: 4.0.2
+  resolution: "@types/deep-eql@npm:4.0.2"
+  checksum: 10c0/bf3f811843117900d7084b9d0c852da9a044d12eb40e6de73b552598a6843c21291a8a381b0532644574beecd5e3491c5ff3a0365ab86b15d59862c025384844
+  languageName: node
+  linkType: hard
+
 "@types/estree@npm:1.0.6, @types/estree@npm:^1.0.0, @types/estree@npm:^1.0.5, @types/estree@npm:^1.0.6":
   version: 1.0.6
   resolution: "@types/estree@npm:1.0.6"
@@ -1241,6 +1604,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@types/estree@npm:1.0.8":
+  version: 1.0.8
+  resolution: "@types/estree@npm:1.0.8"
+  checksum: 10c0/39d34d1afaa338ab9763f37ad6066e3f349444f9052b9676a7cc0252ef9485a41c6d81c9c4e0d26e9077993354edf25efc853f3224dd4b447175ef62bdcc86a5
+  languageName: node
+  linkType: hard
+
 "@types/hast@npm:^2.0.0":
   version: 2.3.10
   resolution: "@types/hast@npm:2.3.10"
@@ -1303,6 +1673,89 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@vitest/expect@npm:3.2.4":
+  version: 3.2.4
+  resolution: "@vitest/expect@npm:3.2.4"
+  dependencies:
+    "@types/chai": "npm:^5.2.2"
+    "@vitest/spy": "npm:3.2.4"
+    "@vitest/utils": "npm:3.2.4"
+    chai: "npm:^5.2.0"
+    tinyrainbow: "npm:^2.0.0"
+  checksum: 10c0/7586104e3fd31dbe1e6ecaafb9a70131e4197dce2940f727b6a84131eee3decac7b10f9c7c72fa5edbdb68b6f854353bd4c0fa84779e274207fb7379563b10db
+  languageName: node
+  linkType: hard
+
+"@vitest/mocker@npm:3.2.4":
+  version: 3.2.4
+  resolution: "@vitest/mocker@npm:3.2.4"
+  dependencies:
+    "@vitest/spy": "npm:3.2.4"
+    estree-walker: "npm:^3.0.3"
+    magic-string: "npm:^0.30.17"
+  peerDependencies:
+    msw: ^2.4.9
+    vite: ^5.0.0 || ^6.0.0 || ^7.0.0-0
+  peerDependenciesMeta:
+    msw:
+      optional: true
+    vite:
+      optional: true
+  checksum: 10c0/f7a4aea19bbbf8f15905847ee9143b6298b2c110f8b64789224cb0ffdc2e96f9802876aa2ca83f1ec1b6e1ff45e822abb34f0054c24d57b29ab18add06536ccd
+  languageName: node
+  linkType: hard
+
+"@vitest/pretty-format@npm:3.2.4, @vitest/pretty-format@npm:^3.2.4":
+  version: 3.2.4
+  resolution: "@vitest/pretty-format@npm:3.2.4"
+  dependencies:
+    tinyrainbow: "npm:^2.0.0"
+  checksum: 10c0/5ad7d4278e067390d7d633e307fee8103958806a419ca380aec0e33fae71b44a64415f7a9b4bc11635d3c13d4a9186111c581d3cef9c65cc317e68f077456887
+  languageName: node
+  linkType: hard
+
+"@vitest/runner@npm:3.2.4":
+  version: 3.2.4
+  resolution: "@vitest/runner@npm:3.2.4"
+  dependencies:
+    "@vitest/utils": "npm:3.2.4"
+    pathe: "npm:^2.0.3"
+    strip-literal: "npm:^3.0.0"
+  checksum: 10c0/e8be51666c72b3668ae3ea348b0196656a4a5adb836cb5e270720885d9517421815b0d6c98bfdf1795ed02b994b7bfb2b21566ee356a40021f5bf4f6ed4e418a
+  languageName: node
+  linkType: hard
+
+"@vitest/snapshot@npm:3.2.4":
+  version: 3.2.4
+  resolution: "@vitest/snapshot@npm:3.2.4"
+  dependencies:
+    "@vitest/pretty-format": "npm:3.2.4"
+    magic-string: "npm:^0.30.17"
+    pathe: "npm:^2.0.3"
+  checksum: 10c0/f8301a3d7d1559fd3d59ed51176dd52e1ed5c2d23aa6d8d6aa18787ef46e295056bc726a021698d8454c16ed825ecba163362f42fa90258bb4a98cfd2c9424fc
+  languageName: node
+  linkType: hard
+
+"@vitest/spy@npm:3.2.4":
+  version: 3.2.4
+  resolution: "@vitest/spy@npm:3.2.4"
+  dependencies:
+    tinyspy: "npm:^4.0.3"
+  checksum: 10c0/6ebf0b4697dc238476d6b6a60c76ba9eb1dd8167a307e30f08f64149612fd50227682b876420e4c2e09a76334e73f72e3ebf0e350714dc22474258292e202024
+  languageName: node
+  linkType: hard
+
+"@vitest/utils@npm:3.2.4":
+  version: 3.2.4
+  resolution: "@vitest/utils@npm:3.2.4"
+  dependencies:
+    "@vitest/pretty-format": "npm:3.2.4"
+    loupe: "npm:^3.1.4"
+    tinyrainbow: "npm:^2.0.0"
+  checksum: 10c0/024a9b8c8bcc12cf40183c246c244b52ecff861c6deb3477cbf487ac8781ad44c68a9c5fd69f8c1361878e55b97c10d99d511f2597f1f7244b5e5101d028ba64
+  languageName: node
+  linkType: hard
+
 "abbrev@npm:^2.0.0":
   version: 2.0.0
   resolution: "abbrev@npm:2.0.0"
@@ -1412,6 +1865,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"assertion-error@npm:^2.0.1":
+  version: 2.0.1
+  resolution: "assertion-error@npm:2.0.1"
+  checksum: 10c0/bbbcb117ac6480138f8c93cf7f535614282dea9dc828f540cdece85e3c665e8f78958b96afac52f29ff883c72638e6a87d469ecc9fe5bc902df03ed24a55dba8
+  languageName: node
+  linkType: hard
+
 "autoprefixer@npm:10.4.20":
   version: 10.4.20
   resolution: "autoprefixer@npm:10.4.20"
@@ -1521,6 +1981,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"cac@npm:^6.7.14":
+  version: 6.7.14
+  resolution: "cac@npm:6.7.14"
+  checksum: 10c0/4ee06aaa7bab8981f0d54e5f5f9d4adcd64058e9697563ce336d8a3878ed018ee18ebe5359b2430eceae87e0758e62ea2019c3f52ae6e211b1bd2e133856cd10
+  languageName: node
+  linkType: hard
+
 "cacache@npm:^19.0.1":
   version: 19.0.1
   resolution: "cacache@npm:19.0.1"
@@ -1555,6 +2022,26 @@ __metadata:
   languageName: node
   linkType: hard
 
+"chai@npm:^5.2.0":
+  version: 5.3.3
+  resolution: "chai@npm:5.3.3"
+  dependencies:
+    assertion-error: "npm:^2.0.1"
+    check-error: "npm:^2.1.1"
+    deep-eql: "npm:^5.0.1"
+    loupe: "npm:^3.1.0"
+    pathval: "npm:^2.0.0"
+  checksum: 10c0/b360fd4d38861622e5010c2f709736988b05c7f31042305fa3f4e9911f6adb80ccfb4e302068bf8ed10e835c2e2520cba0f5edc13d878b886987e5aa62483f53
+  languageName: node
+  linkType: hard
+
+"check-error@npm:^2.1.1":
+  version: 2.1.1
+  resolution: "check-error@npm:2.1.1"
+  checksum: 10c0/979f13eccab306cf1785fa10941a590b4e7ea9916ea2a4f8c87f0316fc3eab07eabefb6e587424ef0f88cbcd3805791f172ea739863ca3d7ce2afc54641c7f0e
+  languageName: node
+  linkType: hard
+
 "chokidar@npm:^3.6.0":
   version: 3.6.0
   resolution: "chokidar@npm:3.6.0"
@@ -1770,6 +2257,25 @@ __metadata:
   languageName: node
   linkType: hard
 
+"debug@npm:^4.4.1":
+  version: 4.4.3
+  resolution: "debug@npm:4.4.3"
+  dependencies:
+    ms: "npm:^2.1.3"
+  peerDependenciesMeta:
+    supports-color:
+      optional: true
+  checksum: 10c0/d79136ec6c83ecbefd0f6a5593da6a9c91ec4d7ddc4b54c883d6e71ec9accb5f67a1a5e96d00a328196b5b5c86d365e98d8a3a70856aaf16b4e7b1985e67f5a6
+  languageName: node
+  linkType: hard
+
+"deep-eql@npm:^5.0.1":
+  version: 5.0.2
+  resolution: "deep-eql@npm:5.0.2"
+  checksum: 10c0/7102cf3b7bb719c6b9c0db2e19bf0aa9318d141581befe8c7ce8ccd39af9eaa4346e5e05adef7f9bd7015da0f13a3a25dcfe306ef79dc8668aedbecb658dd247
+  languageName: node
+  linkType: hard
+
 "deepmerge@npm:4.3.1, deepmerge@npm:^4.3.1":
   version: 4.3.1
   resolution: "deepmerge@npm:4.3.1"
@@ -1933,6 +2439,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"es-module-lexer@npm:^1.7.0":
+  version: 1.7.0
+  resolution: "es-module-lexer@npm:1.7.0"
+  checksum: 10c0/4c935affcbfeba7fb4533e1da10fa8568043df1e3574b869385980de9e2d475ddc36769891936dbb07036edb3c3786a8b78ccf44964cd130dedc1f2c984b6c7b
+  languageName: node
+  linkType: hard
+
 "esbuild@npm:0.25.2":
   version: 0.25.2
   resolution: "esbuild@npm:0.25.2"
@@ -2099,6 +2612,95 @@ __metadata:
   languageName: node
   linkType: hard
 
+"esbuild@npm:^0.25.0":
+  version: 0.25.9
+  resolution: "esbuild@npm:0.25.9"
+  dependencies:
+    "@esbuild/aix-ppc64": "npm:0.25.9"
+    "@esbuild/android-arm": "npm:0.25.9"
+    "@esbuild/android-arm64": "npm:0.25.9"
+    "@esbuild/android-x64": "npm:0.25.9"
+    "@esbuild/darwin-arm64": "npm:0.25.9"
+    "@esbuild/darwin-x64": "npm:0.25.9"
+    "@esbuild/freebsd-arm64": "npm:0.25.9"
+    "@esbuild/freebsd-x64": "npm:0.25.9"
+    "@esbuild/linux-arm": "npm:0.25.9"
+    "@esbuild/linux-arm64": "npm:0.25.9"
+    "@esbuild/linux-ia32": "npm:0.25.9"
+    "@esbuild/linux-loong64": "npm:0.25.9"
+    "@esbuild/linux-mips64el": "npm:0.25.9"
+    "@esbuild/linux-ppc64": "npm:0.25.9"
+    "@esbuild/linux-riscv64": "npm:0.25.9"
+    "@esbuild/linux-s390x": "npm:0.25.9"
+    "@esbuild/linux-x64": "npm:0.25.9"
+    "@esbuild/netbsd-arm64": "npm:0.25.9"
+    "@esbuild/netbsd-x64": "npm:0.25.9"
+    "@esbuild/openbsd-arm64": "npm:0.25.9"
+    "@esbuild/openbsd-x64": "npm:0.25.9"
+    "@esbuild/openharmony-arm64": "npm:0.25.9"
+    "@esbuild/sunos-x64": "npm:0.25.9"
+    "@esbuild/win32-arm64": "npm:0.25.9"
+    "@esbuild/win32-ia32": "npm:0.25.9"
+    "@esbuild/win32-x64": "npm:0.25.9"
+  dependenciesMeta:
+    "@esbuild/aix-ppc64":
+      optional: true
+    "@esbuild/android-arm":
+      optional: true
+    "@esbuild/android-arm64":
+      optional: true
+    "@esbuild/android-x64":
+      optional: true
+    "@esbuild/darwin-arm64":
+      optional: true
+    "@esbuild/darwin-x64":
+      optional: true
+    "@esbuild/freebsd-arm64":
+      optional: true
+    "@esbuild/freebsd-x64":
+      optional: true
+    "@esbuild/linux-arm":
+      optional: true
+    "@esbuild/linux-arm64":
+      optional: true
+    "@esbuild/linux-ia32":
+      optional: true
+    "@esbuild/linux-loong64":
+      optional: true
+    "@esbuild/linux-mips64el":
+      optional: true
+    "@esbuild/linux-ppc64":
+      optional: true
+    "@esbuild/linux-riscv64":
+      optional: true
+    "@esbuild/linux-s390x":
+      optional: true
+    "@esbuild/linux-x64":
+      optional: true
+    "@esbuild/netbsd-arm64":
+      optional: true
+    "@esbuild/netbsd-x64":
+      optional: true
+    "@esbuild/openbsd-arm64":
+      optional: true
+    "@esbuild/openbsd-x64":
+      optional: true
+    "@esbuild/openharmony-arm64":
+      optional: true
+    "@esbuild/sunos-x64":
+      optional: true
+    "@esbuild/win32-arm64":
+      optional: true
+    "@esbuild/win32-ia32":
+      optional: true
+    "@esbuild/win32-x64":
+      optional: true
+  bin:
+    esbuild: bin/esbuild
+  checksum: 10c0/aaa1284c75fcf45c82f9a1a117fe8dc5c45628e3386bda7d64916ae27730910b51c5aec7dd45a6ba19256be30ba2935e64a8f011a3f0539833071e06bf76d5b3
+  languageName: node
+  linkType: hard
+
 "escalade@npm:^3.2.0":
   version: 3.2.0
   resolution: "escalade@npm:3.2.0"
@@ -2136,6 +2738,15 @@ __metadata:
   languageName: node
   linkType: hard
 
+"estree-walker@npm:^3.0.3":
+  version: 3.0.3
+  resolution: "estree-walker@npm:3.0.3"
+  dependencies:
+    "@types/estree": "npm:^1.0.0"
+  checksum: 10c0/c12e3c2b2642d2bcae7d5aa495c60fa2f299160946535763969a1c83fc74518ffa9c2cd3a8b69ac56aea547df6a8aac25f729a342992ef0bbac5f1c73e78995d
+  languageName: node
+  linkType: hard
+
 "eventemitter3@npm:5.0.1":
   version: 5.0.1
   resolution: "eventemitter3@npm:5.0.1"
@@ -2150,6 +2761,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"expect-type@npm:^1.2.1":
+  version: 1.2.2
+  resolution: "expect-type@npm:1.2.2"
+  checksum: 10c0/6019019566063bbc7a690d9281d920b1a91284a4a093c2d55d71ffade5ac890cf37a51e1da4602546c4b56569d2ad2fc175a2ccee77d1ae06cb3af91ef84f44b
+  languageName: node
+  linkType: hard
+
 "exponential-backoff@npm:^3.1.1":
   version: 3.1.1
   resolution: "exponential-backoff@npm:3.1.1"
@@ -2198,6 +2816,18 @@ __metadata:
   languageName: node
   linkType: hard
 
+"fdir@npm:^6.5.0":
+  version: 6.5.0
+  resolution: "fdir@npm:6.5.0"
+  peerDependencies:
+    picomatch: ^3 || ^4
+  peerDependenciesMeta:
+    picomatch:
+      optional: true
+  checksum: 10c0/e345083c4306b3aed6cb8ec551e26c36bab5c511e99ea4576a16750ddc8d3240e63826cc624f5ae17ad4dc82e68a253213b60d556c11bfad064b7607847ed07f
+  languageName: node
+  linkType: hard
+
 "fill-range@npm:^7.1.1":
   version: 7.1.1
   resolution: "fill-range@npm:7.1.1"
@@ -2658,6 +3288,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"js-tokens@npm:^9.0.1":
+  version: 9.0.1
+  resolution: "js-tokens@npm:9.0.1"
+  checksum: 10c0/68dcab8f233dde211a6b5fd98079783cbcd04b53617c1250e3553ee16ab3e6134f5e65478e41d82f6d351a052a63d71024553933808570f04dbf828d7921e80e
+  languageName: node
+  linkType: hard
+
 "jsbn@npm:1.1.0":
   version: 1.1.0
   resolution: "jsbn@npm:1.1.0"
@@ -2725,6 +3362,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"loupe@npm:^3.1.0, loupe@npm:^3.1.4":
+  version: 3.2.1
+  resolution: "loupe@npm:3.2.1"
+  checksum: 10c0/910c872cba291309664c2d094368d31a68907b6f5913e989d301b5c25f30e97d76d77f23ab3bf3b46d0f601ff0b6af8810c10c31b91d2c6b2f132809ca2cc705
+  languageName: node
+  linkType: hard
+
 "lru-cache@npm:^10.0.1, lru-cache@npm:^10.2.0":
   version: 10.4.3
   resolution: "lru-cache@npm:10.4.3"
@@ -2750,6 +3394,15 @@ __metadata:
   languageName: node
   linkType: hard
 
+"magic-string@npm:^0.30.17":
+  version: 0.30.19
+  resolution: "magic-string@npm:0.30.19"
+  dependencies:
+    "@jridgewell/sourcemap-codec": "npm:^1.5.5"
+  checksum: 10c0/db23fd2e2ee98a1aeb88a4cdb2353137fcf05819b883c856dd79e4c7dfb25151e2a5a4d5dbd88add5e30ed8ae5c51bcf4accbc6becb75249d924ec7b4fbcae27
+  languageName: node
+  linkType: hard
+
 "make-fetch-happen@npm:^14.0.3":
   version: 14.0.3
   resolution: "make-fetch-happen@npm:14.0.3"
@@ -3003,6 +3656,15 @@ __metadata:
   languageName: node
   linkType: hard
 
+"nanoid@npm:^3.3.11":
+  version: 3.3.11
+  resolution: "nanoid@npm:3.3.11"
+  bin:
+    nanoid: bin/nanoid.cjs
+  checksum: 10c0/40e7f70b3d15f725ca072dfc4f74e81fcf1fbb02e491cf58ac0c79093adc9b0a73b152bcde57df4b79cd097e13023d7504acb38404a4da7bc1cd8e887b82fe0b
+  languageName: node
+  linkType: hard
+
 "nanoid@npm:^3.3.7":
   version: 3.3.8
   resolution: "nanoid@npm:3.3.8"
@@ -3169,6 +3831,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"pathval@npm:^2.0.0":
+  version: 2.0.1
+  resolution: "pathval@npm:2.0.1"
+  checksum: 10c0/460f4709479fbf2c45903a65655fc8f0a5f6d808f989173aeef5fdea4ff4f303dc13f7870303999add60ec49d4c14733895c0a869392e9866f1091fa64fd7581
+  languageName: node
+  linkType: hard
+
 "picocolors@npm:^1.0.0, picocolors@npm:^1.0.1, picocolors@npm:^1.1.0, picocolors@npm:^1.1.1":
   version: 1.1.1
   resolution: "picocolors@npm:1.1.1"
@@ -3190,6 +3859,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"picomatch@npm:^4.0.3":
+  version: 4.0.3
+  resolution: "picomatch@npm:4.0.3"
+  checksum: 10c0/9582c951e95eebee5434f59e426cddd228a7b97a0161a375aed4be244bd3fe8e3a31b846808ea14ef2c8a2527a6eeab7b3946a67d5979e81694654f939473ae2
+  languageName: node
+  linkType: hard
+
 "pify@npm:^2.3.0":
   version: 2.3.0
   resolution: "pify@npm:2.3.0"
@@ -3295,6 +3971,17 @@ __metadata:
   languageName: node
   linkType: hard
 
+"postcss@npm:^8.5.6":
+  version: 8.5.6
+  resolution: "postcss@npm:8.5.6"
+  dependencies:
+    nanoid: "npm:^3.3.11"
+    picocolors: "npm:^1.1.1"
+    source-map-js: "npm:^1.2.1"
+  checksum: 10c0/5127cc7c91ed7a133a1b7318012d8bfa112da9ef092dddf369ae699a1f10ebbd89b1b9f25f3228795b84585c72aabd5ced5fc11f2ba467eedf7b081a66fad024
+  languageName: node
+  linkType: hard
+
 "printable-characters@npm:^1.0.42":
   version: 1.0.42
   resolution: "printable-characters@npm:1.0.42"
@@ -3571,6 +4258,84 @@ __metadata:
   languageName: node
   linkType: hard
 
+"rollup@npm:^4.43.0":
+  version: 4.50.2
+  resolution: "rollup@npm:4.50.2"
+  dependencies:
+    "@rollup/rollup-android-arm-eabi": "npm:4.50.2"
+    "@rollup/rollup-android-arm64": "npm:4.50.2"
+    "@rollup/rollup-darwin-arm64": "npm:4.50.2"
+    "@rollup/rollup-darwin-x64": "npm:4.50.2"
+    "@rollup/rollup-freebsd-arm64": "npm:4.50.2"
+    "@rollup/rollup-freebsd-x64": "npm:4.50.2"
+    "@rollup/rollup-linux-arm-gnueabihf": "npm:4.50.2"
+    "@rollup/rollup-linux-arm-musleabihf": "npm:4.50.2"
+    "@rollup/rollup-linux-arm64-gnu": "npm:4.50.2"
+    "@rollup/rollup-linux-arm64-musl": "npm:4.50.2"
+    "@rollup/rollup-linux-loong64-gnu": "npm:4.50.2"
+    "@rollup/rollup-linux-ppc64-gnu": "npm:4.50.2"
+    "@rollup/rollup-linux-riscv64-gnu": "npm:4.50.2"
+    "@rollup/rollup-linux-riscv64-musl": "npm:4.50.2"
+    "@rollup/rollup-linux-s390x-gnu": "npm:4.50.2"
+    "@rollup/rollup-linux-x64-gnu": "npm:4.50.2"
+    "@rollup/rollup-linux-x64-musl": "npm:4.50.2"
+    "@rollup/rollup-openharmony-arm64": "npm:4.50.2"
+    "@rollup/rollup-win32-arm64-msvc": "npm:4.50.2"
+    "@rollup/rollup-win32-ia32-msvc": "npm:4.50.2"
+    "@rollup/rollup-win32-x64-msvc": "npm:4.50.2"
+    "@types/estree": "npm:1.0.8"
+    fsevents: "npm:~2.3.2"
+  dependenciesMeta:
+    "@rollup/rollup-android-arm-eabi":
+      optional: true
+    "@rollup/rollup-android-arm64":
+      optional: true
+    "@rollup/rollup-darwin-arm64":
+      optional: true
+    "@rollup/rollup-darwin-x64":
+      optional: true
+    "@rollup/rollup-freebsd-arm64":
+      optional: true
+    "@rollup/rollup-freebsd-x64":
+      optional: true
+    "@rollup/rollup-linux-arm-gnueabihf":
+      optional: true
+    "@rollup/rollup-linux-arm-musleabihf":
+      optional: true
+    "@rollup/rollup-linux-arm64-gnu":
+      optional: true
+    "@rollup/rollup-linux-arm64-musl":
+      optional: true
+    "@rollup/rollup-linux-loong64-gnu":
+      optional: true
+    "@rollup/rollup-linux-ppc64-gnu":
+      optional: true
+    "@rollup/rollup-linux-riscv64-gnu":
+      optional: true
+    "@rollup/rollup-linux-riscv64-musl":
+      optional: true
+    "@rollup/rollup-linux-s390x-gnu":
+      optional: true
+    "@rollup/rollup-linux-x64-gnu":
+      optional: true
+    "@rollup/rollup-linux-x64-musl":
+      optional: true
+    "@rollup/rollup-openharmony-arm64":
+      optional: true
+    "@rollup/rollup-win32-arm64-msvc":
+      optional: true
+    "@rollup/rollup-win32-ia32-msvc":
+      optional: true
+    "@rollup/rollup-win32-x64-msvc":
+      optional: true
+    fsevents:
+      optional: true
+  bin:
+    rollup: dist/bin/rollup
+  checksum: 10c0/5415d0a5ae6f37fa5f10997b3c5cff20c2ea6bd1636db90e59672969a4f83b29f6168bf9dd26c1276c2e37e1d55674472758da90cbc46c8b08ada5d0ec60eb9b
+  languageName: node
+  linkType: hard
+
 "run-parallel@npm:^1.1.9":
   version: 1.2.0
   resolution: "run-parallel@npm:1.2.0"
@@ -3715,6 +4480,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"siginfo@npm:^2.0.0":
+  version: 2.0.0
+  resolution: "siginfo@npm:2.0.0"
+  checksum: 10c0/3def8f8e516fbb34cb6ae415b07ccc5d9c018d85b4b8611e3dc6f8be6d1899f693a4382913c9ed51a06babb5201639d76453ab297d1c54a456544acf5c892e34
+  languageName: node
+  linkType: hard
+
 "signal-exit@npm:^4.0.1":
   version: 4.1.0
   resolution: "signal-exit@npm:4.1.0"
@@ -3807,6 +4579,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"stackback@npm:0.0.2":
+  version: 0.0.2
+  resolution: "stackback@npm:0.0.2"
+  checksum: 10c0/89a1416668f950236dd5ac9f9a6b2588e1b9b62b1b6ad8dff1bfc5d1a15dbf0aafc9b52d2226d00c28dffff212da464eaeebfc6b7578b9d180cef3e3782c5983
+  languageName: node
+  linkType: hard
+
 "stacktracey@npm:^2.1.8":
   version: 2.1.8
   resolution: "stacktracey@npm:2.1.8"
@@ -3817,6 +4596,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"std-env@npm:^3.9.0":
+  version: 3.9.0
+  resolution: "std-env@npm:3.9.0"
+  checksum: 10c0/4a6f9218aef3f41046c3c7ecf1f98df00b30a07f4f35c6d47b28329bc2531eef820828951c7d7b39a1c5eb19ad8a46e3ddfc7deb28f0a2f3ceebee11bab7ba50
+  languageName: node
+  linkType: hard
+
 "stoppable@npm:1.1.0":
   version: 1.1.0
   resolution: "stoppable@npm:1.1.0"
@@ -3864,6 +4650,15 @@ __metadata:
   languageName: node
   linkType: hard
 
+"strip-literal@npm:^3.0.0":
+  version: 3.0.0
+  resolution: "strip-literal@npm:3.0.0"
+  dependencies:
+    js-tokens: "npm:^9.0.1"
+  checksum: 10c0/d81657f84aba42d4bbaf2a677f7e7f34c1f3de5a6726db8bc1797f9c0b303ba54d4660383a74bde43df401cf37cce1dff2c842c55b077a4ceee11f9e31fba828
+  languageName: node
+  linkType: hard
+
 "style-to-object@npm:^1.0.8":
   version: 1.0.8
   resolution: "style-to-object@npm:1.0.8"
@@ -4087,6 +4882,51 @@ __metadata:
   languageName: node
   linkType: hard
 
+"tinybench@npm:^2.9.0":
+  version: 2.9.0
+  resolution: "tinybench@npm:2.9.0"
+  checksum: 10c0/c3500b0f60d2eb8db65250afe750b66d51623057ee88720b7f064894a6cb7eb93360ca824a60a31ab16dab30c7b1f06efe0795b352e37914a9d4bad86386a20c
+  languageName: node
+  linkType: hard
+
+"tinyexec@npm:^0.3.2":
+  version: 0.3.2
+  resolution: "tinyexec@npm:0.3.2"
+  checksum: 10c0/3efbf791a911be0bf0821eab37a3445c2ba07acc1522b1fa84ae1e55f10425076f1290f680286345ed919549ad67527d07281f1c19d584df3b74326909eb1f90
+  languageName: node
+  linkType: hard
+
+"tinyglobby@npm:^0.2.14, tinyglobby@npm:^0.2.15":
+  version: 0.2.15
+  resolution: "tinyglobby@npm:0.2.15"
+  dependencies:
+    fdir: "npm:^6.5.0"
+    picomatch: "npm:^4.0.3"
+  checksum: 10c0/869c31490d0d88eedb8305d178d4c75e7463e820df5a9b9d388291daf93e8b1eb5de1dad1c1e139767e4269fe75f3b10d5009b2cc14db96ff98986920a186844
+  languageName: node
+  linkType: hard
+
+"tinypool@npm:^1.1.1":
+  version: 1.1.1
+  resolution: "tinypool@npm:1.1.1"
+  checksum: 10c0/bf26727d01443061b04fa863f571016950888ea994ba0cd8cba3a1c51e2458d84574341ab8dbc3664f1c3ab20885c8cf9ff1cc4b18201f04c2cde7d317fff69b
+  languageName: node
+  linkType: hard
+
+"tinyrainbow@npm:^2.0.0":
+  version: 2.0.0
+  resolution: "tinyrainbow@npm:2.0.0"
+  checksum: 10c0/c83c52bef4e0ae7fb8ec6a722f70b5b6fa8d8be1c85792e829f56c0e1be94ab70b293c032dc5048d4d37cfe678f1f5babb04bdc65fd123098800148ca989184f
+  languageName: node
+  linkType: hard
+
+"tinyspy@npm:^4.0.3":
+  version: 4.0.3
+  resolution: "tinyspy@npm:4.0.3"
+  checksum: 10c0/0a92a18b5350945cc8a1da3a22c9ad9f4e2945df80aaa0c43e1b3a3cfb64d8501e607ebf0305e048e3c3d3e0e7f8eb10cea27dc17c21effb73e66c4a3be36373
+  languageName: node
+  linkType: hard
+
 "to-regex-range@npm:^5.0.1":
   version: 5.0.1
   resolution: "to-regex-range@npm:5.0.1"
@@ -4460,6 +5300,21 @@ __metadata:
   languageName: node
   linkType: hard
 
+"vite-node@npm:3.2.4":
+  version: 3.2.4
+  resolution: "vite-node@npm:3.2.4"
+  dependencies:
+    cac: "npm:^6.7.14"
+    debug: "npm:^4.4.1"
+    es-module-lexer: "npm:^1.7.0"
+    pathe: "npm:^2.0.3"
+    vite: "npm:^5.0.0 || ^6.0.0 || ^7.0.0-0"
+  bin:
+    vite-node: vite-node.mjs
+  checksum: 10c0/6ceca67c002f8ef6397d58b9539f80f2b5d79e103a18367288b3f00a8ab55affa3d711d86d9112fce5a7fa658a212a087a005a045eb8f4758947dd99af2a6c6b
+  languageName: node
+  linkType: hard
+
 "vite@npm:5.4.19":
   version: 5.4.19
   resolution: "vite@npm:5.4.19"
@@ -4503,6 +5358,61 @@ __metadata:
   languageName: node
   linkType: hard
 
+"vite@npm:^5.0.0 || ^6.0.0 || ^7.0.0-0":
+  version: 7.1.5
+  resolution: "vite@npm:7.1.5"
+  dependencies:
+    esbuild: "npm:^0.25.0"
+    fdir: "npm:^6.5.0"
+    fsevents: "npm:~2.3.3"
+    picomatch: "npm:^4.0.3"
+    postcss: "npm:^8.5.6"
+    rollup: "npm:^4.43.0"
+    tinyglobby: "npm:^0.2.15"
+  peerDependencies:
+    "@types/node": ^20.19.0 || >=22.12.0
+    jiti: ">=1.21.0"
+    less: ^4.0.0
+    lightningcss: ^1.21.0
+    sass: ^1.70.0
+    sass-embedded: ^1.70.0
+    stylus: ">=0.54.8"
+    sugarss: ^5.0.0
+    terser: ^5.16.0
+    tsx: ^4.8.1
+    yaml: ^2.4.2
+  dependenciesMeta:
+    fsevents:
+      optional: true
+  peerDependenciesMeta:
+    "@types/node":
+      optional: true
+    jiti:
+      optional: true
+    less:
+      optional: true
+    lightningcss:
+      optional: true
+    sass:
+      optional: true
+    sass-embedded:
+      optional: true
+    stylus:
+      optional: true
+    sugarss:
+      optional: true
+    terser:
+      optional: true
+    tsx:
+      optional: true
+    yaml:
+      optional: true
+  bin:
+    vite: bin/vite.js
+  checksum: 10c0/782d2f20c25541b26d1fb39bef5f194149caff39dc25b7836e25f049ca919f2e2ce186bddb21f3f20f6195354b3579ec637a8ca08d65b117f8b6f81e3e730a9c
+  languageName: node
+  linkType: hard
+
 "vitefu@npm:^1.0.3":
   version: 1.0.5
   resolution: "vitefu@npm:1.0.5"
@@ -4515,6 +5425,62 @@ __metadata:
   languageName: node
   linkType: hard
 
+"vitest@npm:3.2.4":
+  version: 3.2.4
+  resolution: "vitest@npm:3.2.4"
+  dependencies:
+    "@types/chai": "npm:^5.2.2"
+    "@vitest/expect": "npm:3.2.4"
+    "@vitest/mocker": "npm:3.2.4"
+    "@vitest/pretty-format": "npm:^3.2.4"
+    "@vitest/runner": "npm:3.2.4"
+    "@vitest/snapshot": "npm:3.2.4"
+    "@vitest/spy": "npm:3.2.4"
+    "@vitest/utils": "npm:3.2.4"
+    chai: "npm:^5.2.0"
+    debug: "npm:^4.4.1"
+    expect-type: "npm:^1.2.1"
+    magic-string: "npm:^0.30.17"
+    pathe: "npm:^2.0.3"
+    picomatch: "npm:^4.0.2"
+    std-env: "npm:^3.9.0"
+    tinybench: "npm:^2.9.0"
+    tinyexec: "npm:^0.3.2"
+    tinyglobby: "npm:^0.2.14"
+    tinypool: "npm:^1.1.1"
+    tinyrainbow: "npm:^2.0.0"
+    vite: "npm:^5.0.0 || ^6.0.0 || ^7.0.0-0"
+    vite-node: "npm:3.2.4"
+    why-is-node-running: "npm:^2.3.0"
+  peerDependencies:
+    "@edge-runtime/vm": "*"
+    "@types/debug": ^4.1.12
+    "@types/node": ^18.0.0 || ^20.0.0 || >=22.0.0
+    "@vitest/browser": 3.2.4
+    "@vitest/ui": 3.2.4
+    happy-dom: "*"
+    jsdom: "*"
+  peerDependenciesMeta:
+    "@edge-runtime/vm":
+      optional: true
+    "@types/debug":
+      optional: true
+    "@types/node":
+      optional: true
+    "@vitest/browser":
+      optional: true
+    "@vitest/ui":
+      optional: true
+    happy-dom:
+      optional: true
+    jsdom:
+      optional: true
+  bin:
+    vitest: vitest.mjs
+  checksum: 10c0/5bf53ede3ae6a0e08956d72dab279ae90503f6b5a05298a6a5e6ef47d2fd1ab386aaf48fafa61ed07a0ebfe9e371772f1ccbe5c258dd765206a8218bf2eb79eb
+  languageName: node
+  linkType: hard
+
 "web-namespaces@npm:^2.0.0":
   version: 2.0.1
   resolution: "web-namespaces@npm:2.0.1"
@@ -4528,6 +5494,7 @@ __metadata:
   dependencies:
     "@biomejs/biome": "npm:1.9.4"
     "@cannorin/kripke": "workspace:*"
+    "@cannorin/utils": "workspace:*"
     "@fontsource/poiret-one": "npm:5.2.6"
     "@fontsource/zen-kaku-gothic-new": "npm:5.2.5"
     "@icons-pack/svelte-simple-icons": "npm:4.0.1"
@@ -4589,6 +5556,18 @@ __metadata:
   languageName: node
   linkType: hard
 
+"why-is-node-running@npm:^2.3.0":
+  version: 2.3.0
+  resolution: "why-is-node-running@npm:2.3.0"
+  dependencies:
+    siginfo: "npm:^2.0.0"
+    stackback: "npm:0.0.2"
+  bin:
+    why-is-node-running: cli.js
+  checksum: 10c0/1cde0b01b827d2cf4cb11db962f3958b9175d5d9e7ac7361d1a7b0e2dc6069a263e69118bd974c4f6d0a890ef4eedfe34cf3d5167ec14203dbc9a18620537054
+  languageName: node
+  linkType: hard
+
 "workerd@npm:1.20250416.0":
   version: 1.20250416.0
   resolution: "workerd@npm:1.20250416.0"