From 5e03187405ed84ad793192fdd529c3a864988587 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Sun, 16 Nov 2025 03:12:18 +0900
Subject: [PATCH] build(deps-dev): bump @biomejs/biome from 1.9.4 to 2.3.3
 (#108)

* build(deps-dev): bump @biomejs/biome from 1.9.4 to 2.3.3

Bumps [@biomejs/biome](https://github.com/biomejs/biome/tree/HEAD/packages/@biomejs/biome) from 1.9.4 to 2.3.3.
- [Release notes](https://github.com/biomejs/biome/releases)
- [Changelog](https://github.com/biomejs/biome/blob/main/packages/@biomejs/biome/CHANGELOG.md)
- [Commits](https://github.com/biomejs/biome/commits/@biomejs/biome@2.3.3/packages/@biomejs/biome)

---
updated-dependencies:
- dependency-name: "@biomejs/biome"
  dependency-version: 2.3.3
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>

* fix

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: cannorin <cannorin@users.noreply.github.com>
---
 apps/web/biome.json                           |  3 +-
 apps/web/package.json                         |  2 +-
 apps/web/src/app.d.ts                         |  2 +-
 apps/web/src/lib/components/card.svelte       |  2 +-
 .../src/lib/components/seo/openGraph.svelte   |  1 +
 .../lib/components/ui/button/button.svelte    |  2 +-
 .../ui/dialog/dialog-content.svelte           |  2 +-
 .../ui/dialog/dialog-description.svelte       |  2 +-
 .../components/ui/dialog/dialog-footer.svelte |  2 +-
 .../components/ui/dialog/dialog-header.svelte |  2 +-
 .../ui/dialog/dialog-overlay.svelte           |  2 +-
 .../components/ui/dialog/dialog-title.svelte  |  2 +-
 apps/web/src/routes/(main)/+layout.svelte     |  4 +-
 apps/web/src/routes/(main)/+page.svelte       | 13 ++--
 .../src/routes/(main)/blog/+page.server.ts    |  2 +-
 apps/web/src/routes/(main)/dev/card.svelte    |  8 +-
 apps/web/src/routes/(main)/links/+page.svelte |  2 +-
 apps/web/src/routes/(main)/math/+page.svelte  |  2 +-
 apps/web/src/routes/(main)/math/card.svelte   |  9 +--
 apps/web/src/routes/(main)/music/card.svelte  |  8 +-
 apps/web/src/routes/+layout.svelte            |  4 +-
 .../routes/api/misskey/invite-code/+server.ts |  3 +-
 apps/web/src/routes/arubinosky/+page.svelte   |  7 +-
 .../kripke/components/formula-input.svelte    |  2 +-
 .../kripke/components/frame-input.svelte      |  8 +-
 .../src/routes/kripke/components/game.svelte  |  5 +-
 .../src/routes/kripke/components/rules.svelte |  4 +-
 .../src/routes/kripke/components/share.svelte |  3 +
 .../routes/kripke/components/template.svelte  |  8 +-
 .../src/routes/kripke/random/+page.server.ts  |  2 +-
 .../kripke/random/[seed]/+page.server.ts      |  4 +-
 biome.json                                    | 14 ++--
 package.json                                  |  2 +-
 packages/kripke/biome.json                    |  3 +-
 packages/kripke/src/index.ts                  |  4 +-
 packages/kripke/src/parser.ts                 |  4 +-
 packages/kripke/src/sat.ts                    |  4 +-
 packages/kripke/tests/sat.test.ts             |  2 +-
 packages/kripke/tests/utils.ts                |  2 +-
 packages/utils/biome.json                     |  3 +-
 yarn.lock                                     | 76 +++++++++----------
 41 files changed, 116 insertions(+), 120 deletions(-)

diff --git a/apps/web/biome.json b/apps/web/biome.json
index 52a1d9f..0ae4021 100644
--- a/apps/web/biome.json
+++ b/apps/web/biome.json
@@ -1,3 +1,4 @@
 {
-  "extends": ["../../biome.json"]
+  "root": false,
+  "extends": "//"
 }
diff --git a/apps/web/package.json b/apps/web/package.json
index 0bde5ce..dfbb431 100644
--- a/apps/web/package.json
+++ b/apps/web/package.json
@@ -13,7 +13,7 @@
     "fix": "biome check --fix"
   },
   "devDependencies": {
-    "@biomejs/biome": "1.9.4",
+    "@biomejs/biome": "2.3.5",
     "@poppanator/sveltekit-svg": "5.0.0",
     "@sveltejs/adapter-auto": "6.0.0",
     "@sveltejs/adapter-cloudflare": "7.2.3",
diff --git a/apps/web/src/app.d.ts b/apps/web/src/app.d.ts
index 254cef8..ef1ff09 100644
--- a/apps/web/src/app.d.ts
+++ b/apps/web/src/app.d.ts
@@ -12,7 +12,7 @@ declare global {
   }
 
   declare module "*.md" {
-    import type { Component, SvelteComponent } from "svelte";
+    import type { Component } from "svelte";
     const content: Component<HTMLAttributes<HTMLElement>>;
     export default content;
     export const metadata: Record<string, unknown>;
diff --git a/apps/web/src/lib/components/card.svelte b/apps/web/src/lib/components/card.svelte
index 84f2a64..fb9befe 100644
--- a/apps/web/src/lib/components/card.svelte
+++ b/apps/web/src/lib/components/card.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
-import { cn } from "$lib/utils";
 import type { Snippet } from "svelte";
 import type { Picture } from "vite-imagetools";
+import { cn } from "$lib/utils";
 
 export interface CardProps {
   class?: string | undefined;
diff --git a/apps/web/src/lib/components/seo/openGraph.svelte b/apps/web/src/lib/components/seo/openGraph.svelte
index 73d9da0..19f2789 100644
--- a/apps/web/src/lib/components/seo/openGraph.svelte
+++ b/apps/web/src/lib/components/seo/openGraph.svelte
@@ -27,6 +27,7 @@ SOFTWARE.
 
 <script lang="ts">
 import type { SeoProps } from "./types";
+
 let { openGraph }: { openGraph?: SeoProps["openGraph"] } = $props();
 </script>
 
diff --git a/apps/web/src/lib/components/ui/button/button.svelte b/apps/web/src/lib/components/ui/button/button.svelte
index 2c022e4..df64b07 100644
--- a/apps/web/src/lib/components/ui/button/button.svelte
+++ b/apps/web/src/lib/components/ui/button/button.svelte
@@ -4,7 +4,7 @@ import type {
   HTMLAnchorAttributes,
   HTMLButtonAttributes,
 } from "svelte/elements";
-import { type VariantProps, tv } from "tailwind-variants";
+import { tv, type VariantProps } from "tailwind-variants";
 
 export const buttonVariants = tv({
   base: "focus-visible:ring-ring inline-flex items-center justify-center gap-2 whitespace-nowrap rounded-md text-sm font-medium transition-colors focus-visible:outline-none focus-visible:ring-1 disabled:pointer-events-none disabled:opacity-50 [&_svg]:pointer-events-none [&_svg]:size-4 [&_svg]:shrink-0",
diff --git a/apps/web/src/lib/components/ui/dialog/dialog-content.svelte b/apps/web/src/lib/components/ui/dialog/dialog-content.svelte
index 3ad53b2..caf71c9 100644
--- a/apps/web/src/lib/components/ui/dialog/dialog-content.svelte
+++ b/apps/web/src/lib/components/ui/dialog/dialog-content.svelte
@@ -1,11 +1,11 @@
 <script lang="ts">
-import { cn } from "$lib/utils.js";
 import {
   Dialog as DialogPrimitive,
   type WithoutChildrenOrChild,
 } from "bits-ui";
 import X from "lucide-svelte/icons/x";
 import type { Snippet } from "svelte";
+import { cn } from "$lib/utils.js";
 import * as Dialog from "./index.js";
 
 let {
diff --git a/apps/web/src/lib/components/ui/dialog/dialog-description.svelte b/apps/web/src/lib/components/ui/dialog/dialog-description.svelte
index b7915e3..3db1ee2 100644
--- a/apps/web/src/lib/components/ui/dialog/dialog-description.svelte
+++ b/apps/web/src/lib/components/ui/dialog/dialog-description.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
-import { cn } from "$lib/utils.js";
 import { Dialog as DialogPrimitive } from "bits-ui";
+import { cn } from "$lib/utils.js";
 
 let {
   ref = $bindable(null),
diff --git a/apps/web/src/lib/components/ui/dialog/dialog-footer.svelte b/apps/web/src/lib/components/ui/dialog/dialog-footer.svelte
index 19c0c76..de908d1 100644
--- a/apps/web/src/lib/components/ui/dialog/dialog-footer.svelte
+++ b/apps/web/src/lib/components/ui/dialog/dialog-footer.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
-import { cn } from "$lib/utils.js";
 import type { WithElementRef } from "bits-ui";
 import type { HTMLAttributes } from "svelte/elements";
+import { cn } from "$lib/utils.js";
 
 let {
   ref = $bindable(null),
diff --git a/apps/web/src/lib/components/ui/dialog/dialog-header.svelte b/apps/web/src/lib/components/ui/dialog/dialog-header.svelte
index 88e14f7..879d08a 100644
--- a/apps/web/src/lib/components/ui/dialog/dialog-header.svelte
+++ b/apps/web/src/lib/components/ui/dialog/dialog-header.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
-import { cn } from "$lib/utils.js";
 import type { WithElementRef } from "bits-ui";
 import type { HTMLAttributes } from "svelte/elements";
+import { cn } from "$lib/utils.js";
 
 let {
   ref = $bindable(null),
diff --git a/apps/web/src/lib/components/ui/dialog/dialog-overlay.svelte b/apps/web/src/lib/components/ui/dialog/dialog-overlay.svelte
index d2932ef..89499a1 100644
--- a/apps/web/src/lib/components/ui/dialog/dialog-overlay.svelte
+++ b/apps/web/src/lib/components/ui/dialog/dialog-overlay.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
-import { cn } from "$lib/utils.js";
 import { Dialog as DialogPrimitive } from "bits-ui";
+import { cn } from "$lib/utils.js";
 
 let {
   ref = $bindable(null),
diff --git a/apps/web/src/lib/components/ui/dialog/dialog-title.svelte b/apps/web/src/lib/components/ui/dialog/dialog-title.svelte
index 3cc4e18..c66c7aa 100644
--- a/apps/web/src/lib/components/ui/dialog/dialog-title.svelte
+++ b/apps/web/src/lib/components/ui/dialog/dialog-title.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
-import { cn } from "$lib/utils.js";
 import { Dialog as DialogPrimitive } from "bits-ui";
+import { cn } from "$lib/utils.js";
 
 let {
   ref = $bindable(null),
diff --git a/apps/web/src/routes/(main)/+layout.svelte b/apps/web/src/routes/(main)/+layout.svelte
index 0c1e883..4505d9e 100644
--- a/apps/web/src/routes/(main)/+layout.svelte
+++ b/apps/web/src/routes/(main)/+layout.svelte
@@ -1,9 +1,9 @@
 <script lang="ts">
+import LuChevronsRight from "lucide-svelte/icons/chevrons-right";
+import LuCopyleft from "lucide-svelte/icons/copyleft";
 import { page } from "$app/state";
 import { limitWidth } from "$lib/constants";
 import { cn } from "$lib/utils";
-import LuChevronsRight from "lucide-svelte/icons/chevrons-right";
-import LuCopyleft from "lucide-svelte/icons/copyleft";
 
 let { children } = $props();
 </script>
diff --git a/apps/web/src/routes/(main)/+page.svelte b/apps/web/src/routes/(main)/+page.svelte
index cd010a1..407419b 100644
--- a/apps/web/src/routes/(main)/+page.svelte
+++ b/apps/web/src/routes/(main)/+page.svelte
@@ -1,17 +1,16 @@
 <script lang="ts">
-import { limitWidth } from "$lib/constants";
-import { cn } from "$lib/utils";
-import type { Snapshot } from "../$types";
-import CardDev from "./dev/card.svelte";
-import CardMath from "./math/card.svelte";
-import CardMusic from "./music/card.svelte";
-
 import SiDiscord from "@icons-pack/svelte-simple-icons/icons/SiDiscord";
 import SiKeybase from "@icons-pack/svelte-simple-icons/icons/SiKeybase";
 import SiMisskey from "@icons-pack/svelte-simple-icons/icons/SiMisskey";
 import SiSteam from "@icons-pack/svelte-simple-icons/icons/SiSteam";
 import SiTwitch from "@icons-pack/svelte-simple-icons/icons/SiTwitch";
 import SiX from "@icons-pack/svelte-simple-icons/icons/SiX";
+import { limitWidth } from "$lib/constants";
+import { cn } from "$lib/utils";
+import type { Snapshot } from "../$types";
+import CardDev from "./dev/card.svelte";
+import CardMath from "./math/card.svelte";
+import CardMusic from "./music/card.svelte";
 
 type SnapshotData = {
   scrollPosition: number;
diff --git a/apps/web/src/routes/(main)/blog/+page.server.ts b/apps/web/src/routes/(main)/blog/+page.server.ts
index 48c40b3..4cda9a8 100644
--- a/apps/web/src/routes/(main)/blog/+page.server.ts
+++ b/apps/web/src/routes/(main)/blog/+page.server.ts
@@ -1,5 +1,5 @@
 import type { SeoProps } from "$lib/components/seo";
-import { type Metadata, data } from "./(articles)/data";
+import { data, type Metadata } from "./(articles)/data";
 
 export async function load() {
   const posts: (Metadata & { slug: string })[] = [];
diff --git a/apps/web/src/routes/(main)/dev/card.svelte b/apps/web/src/routes/(main)/dev/card.svelte
index eed7fb9..427c1b6 100644
--- a/apps/web/src/routes/(main)/dev/card.svelte
+++ b/apps/web/src/routes/(main)/dev/card.svelte
@@ -1,12 +1,10 @@
 <script lang="ts">
-import Card, { type CardProps } from "$components/card.svelte";
-import { cn } from "$lib/utils";
-
-import IconTapl from "$assets/images/static/icon/tapl.webp?w=1080;800;600;400;300&enhanced";
-
 import SiGithub from "@icons-pack/svelte-simple-icons/icons/SiGithub";
 import SiQiita from "@icons-pack/svelte-simple-icons/icons/SiQiita";
 import SiZenn from "@icons-pack/svelte-simple-icons/icons/SiZenn";
+import IconTapl from "$assets/images/static/icon/tapl.webp?w=1080;800;600;400;300&enhanced";
+import Card, { type CardProps } from "$components/card.svelte";
+import { cn } from "$lib/utils";
 
 let { more, ...rest }: Pick<CardProps, "more" | "class"> = $props();
 </script>
diff --git a/apps/web/src/routes/(main)/links/+page.svelte b/apps/web/src/routes/(main)/links/+page.svelte
index 1a3da87..358f018 100644
--- a/apps/web/src/routes/(main)/links/+page.svelte
+++ b/apps/web/src/routes/(main)/links/+page.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
+import type { Snippet } from "svelte";
 import { limitWidth } from "$lib/constants";
 import { cn } from "$lib/utils";
-import type { Snippet } from "svelte";
 
 const categories = [
   { type: "mine" },
diff --git a/apps/web/src/routes/(main)/math/+page.svelte b/apps/web/src/routes/(main)/math/+page.svelte
index 4381e16..b2e2228 100644
--- a/apps/web/src/routes/(main)/math/+page.svelte
+++ b/apps/web/src/routes/(main)/math/+page.svelte
@@ -51,7 +51,7 @@ const papers: Paper[] = [
       "https://www.researchgate.net/publication/389821716_Uniform_Lyndon_interpolation_for_the_pure_logic_of_necessitation_with_a_modal_reduction_principle",
     journal: "Journal of Logic and Computation",
     doi: "10.1093/logcom/exaf048",
-    info: "Volume 35, Issue 7, October 2025"
+    info: "Volume 35, Issue 7, October 2025",
   },
   {
     type: "accepted",
diff --git a/apps/web/src/routes/(main)/math/card.svelte b/apps/web/src/routes/(main)/math/card.svelte
index 19a0f8a..6721d41 100644
--- a/apps/web/src/routes/(main)/math/card.svelte
+++ b/apps/web/src/routes/(main)/math/card.svelte
@@ -1,12 +1,11 @@
 <script lang="ts">
-import Card, { type CardProps } from "$components/card.svelte";
-import { cn } from "$lib/utils";
-
-import IconLogic from "$assets/images/static/icon/logic-chang.webp?w=1080;800;600;400;300&enhanced";
-
 import SiOrcid from "@icons-pack/svelte-simple-icons/icons/SiOrcid";
 import SiResearchgate from "@icons-pack/svelte-simple-icons/icons/SiResearchgate";
 
+import IconLogic from "$assets/images/static/icon/logic-chang.webp?w=1080;800;600;400;300&enhanced";
+import Card, { type CardProps } from "$components/card.svelte";
+import { cn } from "$lib/utils";
+
 let { more, ...rest }: Pick<CardProps, "more" | "class"> = $props();
 </script>
 
diff --git a/apps/web/src/routes/(main)/music/card.svelte b/apps/web/src/routes/(main)/music/card.svelte
index 418b474..f2b3415 100644
--- a/apps/web/src/routes/(main)/music/card.svelte
+++ b/apps/web/src/routes/(main)/music/card.svelte
@@ -1,12 +1,10 @@
 <script lang="ts">
-import Card, { type CardProps } from "$components/card.svelte";
-import { cn } from "$lib/utils";
-
-import IconJakeko from "$assets/images/static/icon/jakeko.webp?w=1080;800;600;400;300&enhanced";
-
 import SiBandcamp from "@icons-pack/svelte-simple-icons/icons/SiBandcamp";
 import SiMixcloud from "@icons-pack/svelte-simple-icons/icons/SiMixcloud";
 import SiSoundcloud from "@icons-pack/svelte-simple-icons/icons/SiSoundcloud";
+import IconJakeko from "$assets/images/static/icon/jakeko.webp?w=1080;800;600;400;300&enhanced";
+import Card, { type CardProps } from "$components/card.svelte";
+import { cn } from "$lib/utils";
 
 let { more, ...rest }: Pick<CardProps, "more" | "class"> = $props();
 </script>
diff --git a/apps/web/src/routes/+layout.svelte b/apps/web/src/routes/+layout.svelte
index 016cfcf..8992c62 100644
--- a/apps/web/src/routes/+layout.svelte
+++ b/apps/web/src/routes/+layout.svelte
@@ -2,13 +2,13 @@
 import "../app.css";
 import "./webfont.css";
 
+import { sineOut } from "svelte/easing";
+import { fade } from "svelte/transition";
 import { browser } from "$app/environment";
 import { onNavigate } from "$app/navigation";
 import { page } from "$app/state";
 import Seo, { defaultSeo, mergeSeo } from "$components/seo";
 import { PUBLIC_WEB_DOMAIN } from "$env/static/public";
-import { sineOut } from "svelte/easing";
-import { fade } from "svelte/transition";
 
 let viewTransition = !browser || !!document.startViewTransition;
 
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 1e5d47a..0eb6f1f 100644
--- a/apps/web/src/routes/api/misskey/invite-code/+server.ts
+++ b/apps/web/src/routes/api/misskey/invite-code/+server.ts
@@ -1,10 +1,9 @@
 import { sampleMany } from "@cannorin/utils";
 import { type RequestEvent, text } from "@sveltejs/kit";
+import type { InviteListResponse } from "misskey-js/entities.js";
 import { RateLimiter } from "sveltekit-rate-limiter/server";
-
 import { dev } from "$app/environment";
 import { MISSKEY_API_KEY } from "$env/static/private";
-import type { InviteListResponse } from "misskey-js/entities.js";
 
 const limiter = new RateLimiter({
   IP: [10, "d"], // IP address limiter
diff --git a/apps/web/src/routes/arubinosky/+page.svelte b/apps/web/src/routes/arubinosky/+page.svelte
index b2565a0..5924b4b 100644
--- a/apps/web/src/routes/arubinosky/+page.svelte
+++ b/apps/web/src/routes/arubinosky/+page.svelte
@@ -1,15 +1,14 @@
 <script lang="ts">
-import CharaSad from "$assets/images/static/arubinosky/arubinochan-scared.svg?component";
+import Check from "lucide-svelte/icons/check";
+import Copy from "lucide-svelte/icons/copy";
 import Chara from "$assets/images/static/arubinosky/arubinochan.svg?component";
+import CharaSad from "$assets/images/static/arubinosky/arubinochan-scared.svg?component";
 import Logo from "$assets/images/static/arubinosky/logo.svg?component";
 import { limitWidth } from "$lib/constants";
 import { cn } from "$lib/utils";
 import Embed from "./embed.svelte";
 import Terms from "./terms.md";
 
-import Check from "lucide-svelte/icons/check";
-import Copy from "lucide-svelte/icons/copy";
-
 const getInviteCode = async () => {
   copied = false;
   const res = await fetch("/api/misskey/invite-code");
diff --git a/apps/web/src/routes/kripke/components/formula-input.svelte b/apps/web/src/routes/kripke/components/formula-input.svelte
index c9c205d..250cbc8 100644
--- a/apps/web/src/routes/kripke/components/formula-input.svelte
+++ b/apps/web/src/routes/kripke/components/formula-input.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
-import Katex from "$lib/components/katex.svelte";
 import { type Formula, prettyPrint, tryParse } from "@cannorin/kripke";
+import Katex from "$lib/components/katex.svelte";
 import { formulaHistory } from "../lib/store";
 
 let {
diff --git a/apps/web/src/routes/kripke/components/frame-input.svelte b/apps/web/src/routes/kripke/components/frame-input.svelte
index 69f164c..8d95ac4 100644
--- a/apps/web/src/routes/kripke/components/frame-input.svelte
+++ b/apps/web/src/routes/kripke/components/frame-input.svelte
@@ -1,21 +1,21 @@
 <script lang="ts">
 import {
   type Frame,
-  type Relation,
-  type World,
   left,
+  type Relation,
   reverse,
   right,
+  type World,
   worlds,
 } from "@cannorin/kripke";
 import {
-  type Radian,
-  type Vector,
   add,
   degree,
+  type Radian,
   rotate,
   sub,
   theta,
+  type Vector,
 } from "@cannorin/utils/vector";
 import type { SVGAttributes } from "svelte/elements";
 
diff --git a/apps/web/src/routes/kripke/components/game.svelte b/apps/web/src/routes/kripke/components/game.svelte
index d2eb053..f2aa5ab 100644
--- a/apps/web/src/routes/kripke/components/game.svelte
+++ b/apps/web/src/routes/kripke/components/game.svelte
@@ -1,7 +1,4 @@
 <script lang="ts">
-import Katex from "$lib/components/katex.svelte";
-
-import { cn } from "$lib/utils";
 import {
   type Formula,
   type Frame,
@@ -16,6 +13,8 @@ import LuCheck from "lucide-svelte/icons/check";
 import LuHeart from "lucide-svelte/icons/heart";
 import LuHeartCrack from "lucide-svelte/icons/heart-crack";
 import LuX from "lucide-svelte/icons/x";
+import Katex from "$lib/components/katex.svelte";
+import { cn } from "$lib/utils";
 import { formulaHistory } from "../lib/store";
 import FormulaInput from "./formula-input.svelte";
 import FrameInput from "./frame-input.svelte";
diff --git a/apps/web/src/routes/kripke/components/rules.svelte b/apps/web/src/routes/kripke/components/rules.svelte
index c3787e8..485cf69 100644
--- a/apps/web/src/routes/kripke/components/rules.svelte
+++ b/apps/web/src/routes/kripke/components/rules.svelte
@@ -1,5 +1,4 @@
 <script lang="ts">
-import Katex from "$lib/components/katex.svelte";
 import {
   andSymbols,
   botSymbols,
@@ -10,10 +9,11 @@ import {
   notSymbols,
   orSymbols,
   rParenSymbols,
-  toSymbols,
   topSymbols,
+  toSymbols,
 } from "@cannorin/kripke";
 import LuHeart from "lucide-svelte/icons/heart";
+import Katex from "$lib/components/katex.svelte";
 
 let { relationSize }: { relationSize: number } = $props();
 
diff --git a/apps/web/src/routes/kripke/components/share.svelte b/apps/web/src/routes/kripke/components/share.svelte
index d3ef7bf..dd79d54 100644
--- a/apps/web/src/routes/kripke/components/share.svelte
+++ b/apps/web/src/routes/kripke/components/share.svelte
@@ -24,6 +24,9 @@ let shareText = $derived.by(() => {
         case "check": {
           return numberEmojis[move.valid];
         }
+        default: {
+          throw new Error("impossible");
+        }
       }
     })
     .join("");
diff --git a/apps/web/src/routes/kripke/components/template.svelte b/apps/web/src/routes/kripke/components/template.svelte
index b5e39ab..748401e 100644
--- a/apps/web/src/routes/kripke/components/template.svelte
+++ b/apps/web/src/routes/kripke/components/template.svelte
@@ -1,7 +1,4 @@
 <script lang="ts">
-import { Button } from "$lib/components/ui/button";
-import * as Dialog from "$lib/components/ui/dialog";
-
 import {
   type Formula,
   getFrame,
@@ -10,13 +7,14 @@ import {
   tryParse,
   validWorlds,
 } from "@cannorin/kripke";
-import Game, { type GameStatus, type Move } from "./game.svelte";
-
 import LuRotateCw from "lucide-svelte/icons/rotate-cw";
 import LuX from "lucide-svelte/icons/x";
 import type { Snippet } from "svelte";
+import { Button } from "$lib/components/ui/button";
+import * as Dialog from "$lib/components/ui/dialog";
 import Chart from "./chart.svelte";
 import FrameInput from "./frame-input.svelte";
+import Game, { type GameStatus, type Move } from "./game.svelte";
 import Rules from "./rules.svelte";
 import Share, { type ShareProps } from "./share.svelte";
 
diff --git a/apps/web/src/routes/kripke/random/+page.server.ts b/apps/web/src/routes/kripke/random/+page.server.ts
index 16e8fec..07d03f4 100644
--- a/apps/web/src/routes/kripke/random/+page.server.ts
+++ b/apps/web/src/routes/kripke/random/+page.server.ts
@@ -6,7 +6,7 @@ export async function load({ url }) {
   const seed = (() => {
     try {
       if (!seedStr) return randomSeed();
-      const seed = Number.parseInt(seedStr);
+      const seed = Number.parseInt(seedStr, 10);
       if (!Number.isSafeInteger(seed)) return randomSeed();
       return seed;
     } catch {
diff --git a/apps/web/src/routes/kripke/random/[seed]/+page.server.ts b/apps/web/src/routes/kripke/random/[seed]/+page.server.ts
index 197937b..824ea61 100644
--- a/apps/web/src/routes/kripke/random/[seed]/+page.server.ts
+++ b/apps/web/src/routes/kripke/random/[seed]/+page.server.ts
@@ -1,11 +1,11 @@
-import type { SeoProps } from "$components/seo";
 import { error } from "@sveltejs/kit";
+import type { SeoProps } from "$components/seo";
 
 export async function load({ params }) {
   const seedStr = params.seed;
   const seed = (() => {
     try {
-      const seed = Number.parseInt(seedStr);
+      const seed = Number.parseInt(seedStr, 10);
       if (!Number.isSafeInteger(seed)) throw error(400);
       return seed;
     } catch {
diff --git a/biome.json b/biome.json
index c5ca063..1c49017 100644
--- a/biome.json
+++ b/biome.json
@@ -1,5 +1,5 @@
 {
-  "$schema": "https://biomejs.dev/schemas/1.9.1/schema.json",
+  "$schema": "https://biomejs.dev/schemas/2.3.5/schema.json",
   "vcs": {
     "enabled": true,
     "clientKind": "git",
@@ -7,15 +7,13 @@
   },
   "files": {
     "ignoreUnknown": false,
-    "ignore": [".env", ".env.*", ".yarn/**/*", "*.*css"]
+    "includes": ["**", "!**/.env", "!**/.env.*", "!**/.yarn/**/*", "!**/*.*css"]
   },
   "formatter": {
     "enabled": true,
     "indentStyle": "space"
   },
-  "organizeImports": {
-    "enabled": true
-  },
+  "assist": { "actions": { "source": { "organizeImports": "on" } } },
   "linter": {
     "enabled": true,
     "rules": {
@@ -29,11 +27,13 @@
   },
   "overrides": [
     {
-      "include": ["*.svelte", "*.md"],
+      "includes": ["**/*.svelte", "**/*.md"],
       "linter": {
         "rules": {
           "correctness": {
-            "noUnusedLabels": "off"
+            "noUnusedLabels": "off",
+            "noUnusedImports": "off",
+            "noUnusedVariables": "off"
           },
           "suspicious": {
             "noConfusingLabels": "off"
diff --git a/package.json b/package.json
index 4f896b7..93c78cd 100644
--- a/package.json
+++ b/package.json
@@ -11,7 +11,7 @@
     "gen:env": "bash scripts/generate_env_for_apps.sh"
   },
   "devDependencies": {
-    "@biomejs/biome": "1.9.4",
+    "@biomejs/biome": "2.3.5",
     "@tsconfig/strictest": "2.0.5",
     "turbo": "2.4.4"
   },
diff --git a/packages/kripke/biome.json b/packages/kripke/biome.json
index 52a1d9f..0ae4021 100644
--- a/packages/kripke/biome.json
+++ b/packages/kripke/biome.json
@@ -1,3 +1,4 @@
 {
-  "extends": ["../../biome.json"]
+  "root": false,
+  "extends": "//"
 }
diff --git a/packages/kripke/src/index.ts b/packages/kripke/src/index.ts
index c81309a..0412b8b 100644
--- a/packages/kripke/src/index.ts
+++ b/packages/kripke/src/index.ts
@@ -1,4 +1,4 @@
-export * from "./syntax";
-export * from "./semantics";
 export * from "./parser";
 export * from "./sat";
+export * from "./semantics";
+export * from "./syntax";
diff --git a/packages/kripke/src/parser.ts b/packages/kripke/src/parser.ts
index a0edf6e..7183716 100644
--- a/packages/kripke/src/parser.ts
+++ b/packages/kripke/src/parser.ts
@@ -1,6 +1,5 @@
 import type {} from "@cannorin/utils/headless";
 import {
-  type Token,
   alt,
   apply,
   buildLexer,
@@ -10,15 +9,16 @@ import {
   lrec_sc,
   rule,
   seq,
+  type Token,
   tok,
 } from "typescript-parsec";
 import {
-  type Formula,
   and,
   bot,
   box,
   diamond,
   eq,
+  type Formula,
   not,
   or,
   propVars,
diff --git a/packages/kripke/src/sat.ts b/packages/kripke/src/sat.ts
index 71f0ae7..219095e 100644
--- a/packages/kripke/src/sat.ts
+++ b/packages/kripke/src/sat.ts
@@ -1,10 +1,10 @@
 import { BitSet, maximal } from "@cannorin/utils";
 import {
   type Frame,
-  type Model,
-  type World,
   left,
+  type Model,
   right,
+  type World,
   worlds,
 } from "./semantics";
 import {
diff --git a/packages/kripke/tests/sat.test.ts b/packages/kripke/tests/sat.test.ts
index 5b09397..e045f0b 100644
--- a/packages/kripke/tests/sat.test.ts
+++ b/packages/kripke/tests/sat.test.ts
@@ -1,7 +1,7 @@
 import { power } from "@cannorin/utils";
 import { expect, test } from "vitest";
 import { validWorlds } from "../src/sat";
-import { type Frame, type World, satisfy, worlds } from "../src/semantics";
+import { type Frame, satisfy, type World, worlds } from "../src/semantics";
 import {
   type Formula,
   type PropVar,
diff --git a/packages/kripke/tests/utils.ts b/packages/kripke/tests/utils.ts
index 7b8ed09..a87f952 100644
--- a/packages/kripke/tests/utils.ts
+++ b/packages/kripke/tests/utils.ts
@@ -2,12 +2,12 @@ import { sample } from "@cannorin/utils";
 import { parse } from "../src/parser";
 import { getFrame, nontrivials } from "../src/semantics";
 import {
-  type Formula,
   and,
   bot,
   box,
   diamond,
   eq,
+  type Formula,
   not,
   or,
   propvar,
diff --git a/packages/utils/biome.json b/packages/utils/biome.json
index 52a1d9f..0ae4021 100644
--- a/packages/utils/biome.json
+++ b/packages/utils/biome.json
@@ -1,3 +1,4 @@
 {
-  "extends": ["../../biome.json"]
+  "root": false,
+  "extends": "//"
 }
diff --git a/yarn.lock b/yarn.lock
index 0cdad56..87ceb6e 100644
--- a/yarn.lock
+++ b/yarn.lock
@@ -22,18 +22,18 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@biomejs/biome@npm:1.9.4":
-  version: 1.9.4
-  resolution: "@biomejs/biome@npm:1.9.4"
+"@biomejs/biome@npm:2.3.5":
+  version: 2.3.5
+  resolution: "@biomejs/biome@npm:2.3.5"
   dependencies:
-    "@biomejs/cli-darwin-arm64": "npm:1.9.4"
-    "@biomejs/cli-darwin-x64": "npm:1.9.4"
-    "@biomejs/cli-linux-arm64": "npm:1.9.4"
-    "@biomejs/cli-linux-arm64-musl": "npm:1.9.4"
-    "@biomejs/cli-linux-x64": "npm:1.9.4"
-    "@biomejs/cli-linux-x64-musl": "npm:1.9.4"
-    "@biomejs/cli-win32-arm64": "npm:1.9.4"
-    "@biomejs/cli-win32-x64": "npm:1.9.4"
+    "@biomejs/cli-darwin-arm64": "npm:2.3.5"
+    "@biomejs/cli-darwin-x64": "npm:2.3.5"
+    "@biomejs/cli-linux-arm64": "npm:2.3.5"
+    "@biomejs/cli-linux-arm64-musl": "npm:2.3.5"
+    "@biomejs/cli-linux-x64": "npm:2.3.5"
+    "@biomejs/cli-linux-x64-musl": "npm:2.3.5"
+    "@biomejs/cli-win32-arm64": "npm:2.3.5"
+    "@biomejs/cli-win32-x64": "npm:2.3.5"
   dependenciesMeta:
     "@biomejs/cli-darwin-arm64":
       optional: true
@@ -53,62 +53,62 @@ __metadata:
       optional: true
   bin:
     biome: bin/biome
-  checksum: 10c0/b5655c5aed9a6fffe24f7d04f15ba4444389d0e891c9ed9106fab7388ac9b4be63185852cc2a937b22940dac3e550b71032a4afd306925cfea436c33e5646b3e
+  checksum: 10c0/c29264d9e3427b665a169af01aadea5584def961397ff6e1d1be4f16c5d37aca1b1b6ea1e6190c63330d0d8022009261ddc4c42a39727f77d5668b91e427b4f3
   languageName: node
   linkType: hard
 
-"@biomejs/cli-darwin-arm64@npm:1.9.4":
-  version: 1.9.4
-  resolution: "@biomejs/cli-darwin-arm64@npm:1.9.4"
+"@biomejs/cli-darwin-arm64@npm:2.3.5":
+  version: 2.3.5
+  resolution: "@biomejs/cli-darwin-arm64@npm:2.3.5"
   conditions: os=darwin & cpu=arm64
   languageName: node
   linkType: hard
 
-"@biomejs/cli-darwin-x64@npm:1.9.4":
-  version: 1.9.4
-  resolution: "@biomejs/cli-darwin-x64@npm:1.9.4"
+"@biomejs/cli-darwin-x64@npm:2.3.5":
+  version: 2.3.5
+  resolution: "@biomejs/cli-darwin-x64@npm:2.3.5"
   conditions: os=darwin & cpu=x64
   languageName: node
   linkType: hard
 
-"@biomejs/cli-linux-arm64-musl@npm:1.9.4":
-  version: 1.9.4
-  resolution: "@biomejs/cli-linux-arm64-musl@npm:1.9.4"
+"@biomejs/cli-linux-arm64-musl@npm:2.3.5":
+  version: 2.3.5
+  resolution: "@biomejs/cli-linux-arm64-musl@npm:2.3.5"
   conditions: os=linux & cpu=arm64 & libc=musl
   languageName: node
   linkType: hard
 
-"@biomejs/cli-linux-arm64@npm:1.9.4":
-  version: 1.9.4
-  resolution: "@biomejs/cli-linux-arm64@npm:1.9.4"
+"@biomejs/cli-linux-arm64@npm:2.3.5":
+  version: 2.3.5
+  resolution: "@biomejs/cli-linux-arm64@npm:2.3.5"
   conditions: os=linux & cpu=arm64 & libc=glibc
   languageName: node
   linkType: hard
 
-"@biomejs/cli-linux-x64-musl@npm:1.9.4":
-  version: 1.9.4
-  resolution: "@biomejs/cli-linux-x64-musl@npm:1.9.4"
+"@biomejs/cli-linux-x64-musl@npm:2.3.5":
+  version: 2.3.5
+  resolution: "@biomejs/cli-linux-x64-musl@npm:2.3.5"
   conditions: os=linux & cpu=x64 & libc=musl
   languageName: node
   linkType: hard
 
-"@biomejs/cli-linux-x64@npm:1.9.4":
-  version: 1.9.4
-  resolution: "@biomejs/cli-linux-x64@npm:1.9.4"
+"@biomejs/cli-linux-x64@npm:2.3.5":
+  version: 2.3.5
+  resolution: "@biomejs/cli-linux-x64@npm:2.3.5"
   conditions: os=linux & cpu=x64 & libc=glibc
   languageName: node
   linkType: hard
 
-"@biomejs/cli-win32-arm64@npm:1.9.4":
-  version: 1.9.4
-  resolution: "@biomejs/cli-win32-arm64@npm:1.9.4"
+"@biomejs/cli-win32-arm64@npm:2.3.5":
+  version: 2.3.5
+  resolution: "@biomejs/cli-win32-arm64@npm:2.3.5"
   conditions: os=win32 & cpu=arm64
   languageName: node
   linkType: hard
 
-"@biomejs/cli-win32-x64@npm:1.9.4":
-  version: 1.9.4
-  resolution: "@biomejs/cli-win32-x64@npm:1.9.4"
+"@biomejs/cli-win32-x64@npm:2.3.5":
+  version: 2.3.5
+  resolution: "@biomejs/cli-win32-x64@npm:2.3.5"
   conditions: os=win32 & cpu=x64
   languageName: node
   linkType: hard
@@ -4141,7 +4141,7 @@ __metadata:
   version: 0.0.0-use.local
   resolution: "monorepo@workspace:."
   dependencies:
-    "@biomejs/biome": "npm:1.9.4"
+    "@biomejs/biome": "npm:2.3.5"
     "@tsconfig/strictest": "npm:2.0.5"
     turbo: "npm:2.4.4"
   languageName: unknown
@@ -6012,7 +6012,7 @@ __metadata:
   version: 0.0.0-use.local
   resolution: "web@workspace:apps/web"
   dependencies:
-    "@biomejs/biome": "npm:1.9.4"
+    "@biomejs/biome": "npm:2.3.5"
     "@cannorin/kripke": "workspace:*"
     "@cannorin/utils": "workspace:*"
     "@fontsource/poiret-one": "npm:5.2.8"