feat: parallel web solving

- fix mobile accessibility

Cargo.lock

@@ -8,6 +8,12 @@ version = "0.5.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "23b62fc65de8e4e7f52534fb52b0f3ed04746ae267519eef2a83941e8085068b"
 
+[[package]]
+name = "autocfg"
+version = "1.5.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f2032f911046de80f0a198e0901378627c33f59ea0ac00e363d481118bd70a53"
+
 [[package]]
 name = "bumpalo"
 version = "3.20.3"
@@ -114,7 +120,7 @@ dependencies = [
  "proc-macro2",
  "quote",
  "rustc_version",
- "syn",
+ "syn 2.0.119",
  "unicode-xid",
 ]
 
@@ -199,6 +205,15 @@ version = "0.2.189"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3eaf3ede3fee6db1a4c2ee091bf8a8b4dccdc6d17f656fb07896ee72867612f2"
 
+[[package]]
+name = "num-traits"
+version = "0.2.19"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "071dfc062690e90b734c0b2273ce72ad0ffa95f0c74596bc250dcfd960262841"
+dependencies = [
+ "autocfg",
+]
+
 [[package]]
 name = "once_cell"
 version = "1.21.4"
@@ -278,6 +293,25 @@ dependencies = [
  "crossbeam-utils",
 ]
 
+[[package]]
+name = "rmp"
+version = "0.8.15"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4ba8be72d372b2c9b35542551678538b562e7cf86c3315773cae48dfbfe7790c"
+dependencies = [
+ "num-traits",
+]
+
+[[package]]
+name = "rmp-serde"
+version = "1.3.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "72f81bee8c8ef9b577d1681a70ebbc962c232461e397b22c208c43c04b67a155"
+dependencies = [
+ "rmp",
+ "serde",
+]
+
 [[package]]
 name = "rustc_version"
 version = "0.4.1"
@@ -299,6 +333,36 @@ version = "1.0.28"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8a7852d02fc848982e0c167ef163aaff9cd91dc640ba85e263cb1ce46fae51cd"
 
+[[package]]
+name = "serde"
+version = "1.0.229"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4148590afebada386688f18773da617792bf2ef03ffc1e4cbd2b1d45b023e0ba"
+dependencies = [
+ "serde_core",
+ "serde_derive",
+]
+
+[[package]]
+name = "serde_core"
+version = "1.0.229"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "67dca2c9c51e58a4791a4b1ed58308b39c64224d349a935ab5039aa360942a48"
+dependencies = [
+ "serde_derive",
+]
+
+[[package]]
+name = "serde_derive"
+version = "1.0.229"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "syn 3.0.3",
+]
+
 [[package]]
 name = "slab"
 version = "0.4.12"
@@ -325,6 +389,17 @@ dependencies = [
  "unicode-ident",
 ]
 
+[[package]]
+name = "syn"
+version = "3.0.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "53e9bae58849f64dfa4f5d5ae372c8341f7305f82a3868709269343628b659a3"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "unicode-ident",
+]
+
 [[package]]
 name = "tabular"
 version = "0.2.0"
@@ -430,7 +505,7 @@ dependencies = [
  "bumpalo",
  "proc-macro2",
  "quote",
- "syn",
+ "syn 2.0.119",
  "wasm-bindgen-shared",
 ]
 
@@ -479,6 +554,8 @@ dependencies = [
  "js-sys",
  "rand",
  "rayon",
+ "rmp-serde",
+ "serde",
  "tabular",
  "wasm-bindgen",
 ]

Cargo.toml

@@ -27,9 +27,11 @@ indicatif = { version = "0.18.6", features = ["rayon"] }
 js-sys = { version = "0.3.104", optional = true }
 rand = "0.10.2"
 rayon = "1.12.0"
+rmp-serde = { version = "1.3.1", optional = true }
+serde = { version = "1.0.229", optional = true, features = ["derive"] }
 tabular = { version = "0.2.0", features = ["ansi-cell"] }
 wasm-bindgen = { version = "0.2.127", optional = true }
 
 [features]
 default = []
-wasm-bindgen = ["dep:wasm-bindgen", "getrandom/wasm_js", "dep:js-sys"]
+wasm-bindgen = ["dep:wasm-bindgen", "getrandom/wasm_js", "dep:js-sys", "dep:serde", "dep:rmp-serde"]

nix/wordle-solver-web.nix

@@ -14,7 +14,7 @@ stdenv.mkDerivation (finalAttrs: {
 
   yarnOfflineCache = fetchYarnDeps {
     yarnLock = finalAttrs.src + "/yarn.lock";
-    hash = "sha256-ND+4leEGamH86IsM9JVtIqlwyrwVRQII75+rrawbiMI=";
+    hash = "sha256-MTyHX2+/U7jRB1SJWbK9Td43zq+nclQwx7oDZbX0DqA=";
   };
 
   yarnBuildScript = "build-no-wasm";

src/lib/pattern.rs

@@ -1,7 +1,10 @@
 use colored::Colorize;
 use derive_more::Display;
+#[cfg(feature = "wasm-bindgen")]
+use serde::{Deserialize, Serialize};
 
 #[derive(Display, Debug, PartialEq, Eq, PartialOrd, Ord, Clone, Hash)]
+#[cfg_attr(feature = "wasm-bindgen", derive(Serialize, Deserialize))]
 pub enum CharStatus {
     GREY,
     YELLOW,
@@ -9,6 +12,7 @@ pub enum CharStatus {
 }
 
 #[derive(Debug, PartialEq, Eq, Hash, Clone)]
+#[cfg_attr(feature = "wasm-bindgen", derive(Serialize, Deserialize))]
 pub struct Pattern {
     chars: Vec<char>,
     stats: Vec<CharStatus>,

src/lib/solver.rs

@@ -7,18 +7,23 @@ use crate::pattern::Pattern;
 use indicatif::ParallelProgressIterator;
 use rayon::iter::{ParallelBridge, ParallelIterator};
 
+#[cfg(feature = "wasm-bindgen")]
+use serde::{Deserialize, Serialize};
+
 use crate::word_list::WordList;
 
 use derive_more::Display;
 use tabular::{Row, Table};
 
 #[derive(Clone)]
+#[cfg_attr(feature = "wasm-bindgen", derive(Serialize, Deserialize))]
 pub struct Guess {
     pub pattern: Pattern,
     pub information_gained: f64,
 }
 
 #[derive(Clone)]
+#[cfg_attr(feature = "wasm-bindgen", derive(Serialize, Deserialize))]
 pub struct Solver {
     valid_words: WordList,
     possible_solutions: WordList,

src/lib/wasm.rs

@@ -1,5 +1,7 @@
 use std::io;
 
+use rmp_serde::{from_slice, to_vec};
+use serde::Serialize;
 use wasm_bindgen::prelude::*;
 
 use crate::{
@@ -48,12 +50,39 @@ impl WordStats {
 #[allow(dead_code)]
 #[wasm_bindgen]
 impl Solver {
-    pub fn new() -> Result<Solver, String> {
+    pub fn new(use_wordle_answers: bool) -> Result<Solver, String> {
         let valid_words =
             WordList::try_from(io::BufReader::new(io::Cursor::new(DEFAULT_VALID_WORDS)))?;
-        let answers = WordList::try_from(io::BufReader::new(io::Cursor::new(DEFAULT_ANSWERS)))?;
 
+        if use_wordle_answers {
+            let answers = WordList::try_from(io::BufReader::new(io::Cursor::new(DEFAULT_ANSWERS)))?;
             Ok(Solver(solver::Solver::new(valid_words, answers)))
+        } else {
+            Ok(Solver(solver::Solver::new(
+                valid_words.clone(),
+                valid_words,
+            )))
+        }
+    }
+
+    pub fn serialize(&self) -> Result<js_sys::Uint8Array, String> {
+        let r = to_vec(&self.0).map_err(|e| {
+            let s = e.to_string();
+            drop(e);
+            s
+        })?;
+
+        Ok(js_sys::Uint8Array::from(&r[..]))
+    }
+
+    pub fn new_from_serialized(bytes: &js_sys::Uint8Array) -> Result<Solver, String> {
+        from_slice(&bytes.to_vec()[..])
+            .map_err(|e| {
+                let s = e.to_string();
+                drop(e);
+                s
+            })
+            .map(Solver)
     }
 
     pub fn guess(&mut self, word: &str, colors: Vec<Color>) -> Result<(), String> {

src/lib/word_list.rs

@@ -1,4 +1,6 @@
 use rand::{rng, seq::IteratorRandom};
+#[cfg(feature = "wasm-bindgen")]
+use serde::{Deserialize, Serialize};
 use std::{
     collections::{hash_set, HashSet},
     fs::{self},
@@ -11,6 +13,7 @@ use derive_more::Display;
 use crate::pattern::Pattern;
 
 #[derive(Display, Clone)]
+#[cfg_attr(feature = "wasm-bindgen", derive(Serialize, Deserialize))]
 #[display("{:?}", words)]
 pub struct WordList {
     words: HashSet<String>,

web/package.json

@@ -16,6 +16,7 @@
   },
   "devDependencies": {
     "@sveltejs/vite-plugin-svelte": "^7.3.0",
+    "@tailwindcss/typography": "^0.5.20",
     "@tailwindcss/vite": "^4.3.3",
     "npm-run-all": "^4.1.5",
     "tailwindcss": "^4.3.3",
@@ -26,7 +27,10 @@
     "vite-plugin-wasm-pack-watcher": "^1.0.1"
   },
   "dependencies": {
+    "@humanspeak/svelte-markdown": "^1.8.7",
+    "@lucide/svelte": "^1.33.0",
     "esbuild": "^0.28.2",
+    "katex": "^0.18.4",
     "rollup": "^4.62.4",
     "svelte": "^5.56.9",
     "wordle-solver": "link:./pkg"

web/src/App.svelte

@@ -4,7 +4,9 @@
     import {
         solver_evaluate_words,
         solver_guess,
+        solver_reset,
         solver_solution_space,
+        solver_stop,
     } from "./solver/solver.ts";
     import type {
         GuessResult,
@@ -12,7 +14,11 @@
         EvaluateWordsResult,
         EvaluateWordsProgress,
     } from "./solver/types.ts";
+    import info_md from "./assets/info.md?raw";
     import SolverOutput from "./components/SolverOutput.svelte";
+    import { CircleX, FolderGit2, Info } from "@lucide/svelte";
+    import { tick, onMount } from "svelte";
+    import SvelteMarkdown from "@humanspeak/svelte-markdown";
 
     let guesses = $state([
         {
@@ -27,26 +33,71 @@
         },
     ]);
 
+    let show_info = $state(false);
+
     let infos_gained: (Promise<GuessResult> | null)[] = $state([null]);
 
+    let use_default_wordle_answers: boolean = $state(true);
+
     let solution_space: Promise<SolutionSpaceResult> = $state(
         solver_solution_space(),
     );
-    self.setTimeout(() => {
-        solution_space = solver_solution_space();
-    }, 300);
 
     let best_words: Promise<EvaluateWordsResult> | null = $state(null);
     let best_words_progress: EvaluateWordsProgress | null = $state(null);
+    let solving: boolean = $state(false);
 
+    let w_lines: WordleLine[] = $state([]);
     let cursor = $state(0);
 
-    function handleKey(event: KeyboardEvent) {
+    let is_desktop = $state(false);
-        if (event.key === "Enter" && event.shiftKey) {
+
+    onMount(() => {
+        const update = () => {
+            is_desktop = window.innerWidth >= 768;
+        };
+
+        update();
+        window.addEventListener("resize", update);
+
+        return () => window.removeEventListener("resize", update);
+    });
+
+    async function toggleSolver() {
+        if (solving) {
+            await stopSolver();
+        } else {
             best_words = solver_evaluate_words(5, (p) => {
                 best_words_progress = p;
             });
-        } else if (event.key === "Enter") {
+        }
+    }
+
+    async function reset() {
+        await solver_reset(use_default_wordle_answers);
+
+        guesses = [
+            {
+                letters: ["", "", "", "", ""],
+                colors: [
+                    Color.GREY,
+                    Color.GREY,
+                    Color.GREY,
+                    Color.GREY,
+                    Color.GREY,
+                ],
+            },
+        ];
+        infos_gained = [null];
+        best_words = null;
+        solution_space = solver_solution_space();
+    }
+
+    async function stopSolver() {
+        await solver_stop();
+    }
+
+    async function doGuess() {
         const guess = guesses[guesses.length - 1];
 
         if (guess.letters.join("").length != 5) {
@@ -72,6 +123,25 @@
                 Color.GREY,
             ],
         });
+
+        await tick();
+
+        w_lines[w_lines.length - 1].focus();
+    }
+
+    async function handleKey(event: KeyboardEvent) {
+        if (/^[a-zA-Z ]$/.test(event.key)) {
+            w_lines[guesses.length - 1].focus();
+        } else if (event.key === "Enter" && event.shiftKey) {
+            best_words = solver_evaluate_words(5, (p) => {
+                best_words_progress = p;
+            });
+        } else if (event.key === "Escape" && event.ctrlKey) {
+            await reset();
+        } else if (event.key === "Escape") {
+            await stopSolver();
+        } else if (event.key === "Enter") {
+            await doGuess();
         }
     }
 </script>
@@ -79,13 +149,53 @@
 <svelte:window onkeydown={handleKey} />
 
 <div
-    class="min-h-screen bg-zinc-950 text-zinc-100 flex items-center justify-center gap-8"
+    class="h-dvh w-full max-w-full
+           bg-zinc-950 text-zinc-100
+           "
 >
-    <div class="text-center">
+    <div
-        <h1 class="mb-6 text-3xl font-bold">Wordle Solver</h1>
+        class="h-full overflow-y-auto
+               flex flex-wrap md:flex-row
+               items-center justify-center p-2 md:p-10 gap-4
+               overflow-hidden select-none"
+    >
+        <a
+            class="fixed top-4 right-4"
+            href="https://git.jroeger.de/jonas/wordle-solver-rs"
+            target="_blank"
+        >
+            <FolderGit2 />
+        </a>
+        <a
+            class="fixed top-4 left-4"
+            onclick={() => {
+                show_info = true;
+            }}
+        >
+            <Info />
+        </a>
 
-        <p class="mt-4 text-sm text-zinc-500">
+        <div class="text-center">
-            {#await solution_space then s}
+            <h1 class="mb-4 text-3xl font-bold">Wordle Solver</h1>
+
+            <p class="text-sm text-zinc-500">
+                Use Wordle-Answers:
+                <input
+                    type="checkbox"
+                    bind:checked={use_default_wordle_answers}
+                    onfocus={(e) => {
+                        if (e.currentTarget) {
+                            e.currentTarget.blur();
+                        }
+                    }}
+                    onchange={reset}
+                />
+            </p>
+
+            <p class="mt-0 text-sm text-zinc-500">
+                {#await solution_space}
+                    loading
+                {:then s}
                     Solution-space: {s.size}, Uncertainty: {s.uncertainty.toFixed(
                         2,
                     )}bits
@@ -94,10 +204,14 @@
                 {/await}
             </p>
 
-        <div class="ml-16 mt-4 flex flex-col gap-2">
+            <div class="mt-2 flex flex-col gap-2">
                 {#each guesses as g, i (g)}
                     <WordleLine
                         active={i === guesses.length - 1}
+                        on_guess_pressed={i === guesses.length - 1
+                            ? doGuess
+                            : null}
+                        bind:this={w_lines[i]}
                         bind:cursor
                         bind:letters={guesses[i].letters}
                         bind:colors={guesses[i].colors}
@@ -106,12 +220,93 @@
                 {/each}
             </div>
 
-        <p class="mt-4 text-sm text-zinc-500 mx-auto w-1/2">
+            {#if is_desktop}
-            Type letters · ← → navigate · Space cycle color · Backspace delete ·
+                <p class="mt-4 text-sm text-zinc-500 mx-auto w-3/4">
-            Enter apply · Shift+Enter solve
+                    Type letters · ← → navigate · Space cycle color · Backspace
+                    delete · Enter apply · Shift+Enter solve · Escape abort
+                    solver · Ctrl+Esc reset
                 </p>
+            {/if}
+            <button
+                tabindex="-1"
+                class="mt-4 bg-blue-500 hover:bg-blue-700 text-white font-bold py-2 px-4 rounded-full"
+                onclick={(e) => {
+                    e.currentTarget.blur();
+                    toggleSolver();
+                }}
+            >
+                {#if solving}
+                    Cancel
+                {:else}
+                    Solve
+                {/if}
+            </button>
         </div>
         {#if best_words}
-        <SolverOutput data={best_words} progress={best_words_progress} />
+            <SolverOutput
+                data={best_words}
+                progress={best_words_progress}
+                insert_guess={(g) => {
+                    guesses[guesses.length - 1].letters = g;
+                }}
+                bind:solving
+            />
+        {/if}
+    </div>
+
+    {#if show_info}
+        <div
+            class="fixed inset-0 z-50 flex items-center justify-center bg-black/60"
+            tabindex="-1"
+            role="button"
+            onclick={() => (show_info = false)}
+            onkeydown={() => (show_info = false)}
+        >
+            <div
+                class="relative flex flex-col
+                     rounded-lg
+                     bg-zinc-900
+                     p-6 shadow-xl
+                     md:max-w-[75vw]
+                     md:max-h-[75vh]
+                     max-w-[calc(100vw-3rem)]
+                     max-h-[calc(100vh-3rem)]
+                     overflow-hidden"
+                tabindex="0"
+                role="dialog"
+                onclick={(e) => e.stopPropagation()}
+                onkeydown={(e) => e.stopPropagation()}
+            >
+                <div
+                    class="absolute top-4 right-4"
+                    tabindex="-1"
+                    role="button"
+                    onclick={() => (show_info = false)}
+                    onkeydown={() => (show_info = false)}
+                >
+                    <CircleX />
+                </div>
+                <div
+                    class="prose prose-invert max-w-none
+                     h-full
+                     overflow-y-auto
+                     overflow-x-hidden"
+                >
+                    <SvelteMarkdown source={info_md} />
+                </div>
+            </div>
+        </div>
     {/if}
 </div>
+
+<style>
+    :global(body) {
+        margin: 0;
+        padding: 0;
+        width: 100%;
+        height: 100%;
+        overflow: hidden;
+        overscroll-behavior: none;
+        background: #09090b;
+    }
+</style>

web/src/app.css

@@ -1,4 +1,5 @@
 @import "tailwindcss";
+@plugin "@tailwindcss/typography";
 
 html,
 body {

web/src/assets/info.md

@@ -0,0 +1,45 @@
+# Wordle Solver
+
+This wordle solver uses an information theory based approach to
+evaluate the next-best-guess. It's heavily inspired by [3b1b's approach](https://www.youtube.com/watch?v=v68zYyaEmEA)
+on solving wordle.
+
+## How to use?
+
+You can run the solver at any time to tell you five best next guesses (ranked).
+However when the solver has no information this can take quite some time. So it's
+best to make your first guess (e.g. "CRANE", "SALES", ...):
+
+1. Once your wordle game gave you an answer, type it into the interface:
+
+    - type letters to input them
+    - click a cell to change it's color (or cycle it with <Space>)
+
+2. To give the solver the information of your guess press enter (or the little enter icon next to the line)
+
+3. The solver will tell you the amount of information gained by this guess.
+
+4. Run the solver to get a new next-best-guess and repeat until you found the answer
+
+## Solution Space
+
+The solution space is by default the list of possible wordle-answers (uncheck the box to use all valid words as possible answers).
+Above your inputs you can see how many possible answers are still left given your guesses with a value of
+remaining uncertainty in bits (how many yes-no questions are required to identify an item in the equally distributed set).
+The goal is to reach 0bits of uncertainty, meaning one word left.
+
+Sometimes when adding a guess there may appear an error symbol. This occurrs when the guess would empty
+the solution space. This can only happen if the solution space did not contain the solution of your wordle game (or there some inconsistencies in the guesses).
+In this case you might wanna allow all valid words as possible answers.
+
+
+## The Solver's output
+
+- p(x) is the probability, that the word is actually the solution.
+  Often it will be 0, because the word is not a possible solution anymore.
+  If so, the expected information of guessing this that high, that it is worth guessing it.
+
+- E\[Inf.\] The expected information to gain when guessing this word. (I.e. by how much do we expect to shrink the solution space?)
+
+- E\[Score.\] The expected number of guesses required to solve the wordle when you guess this word now. It's based on a heuristic combination
+  of the current score, p(x) and E\[Inf.\].

web/src/components/SolverOutput.svelte

@@ -1,4 +1,6 @@
 <script lang="ts">
+    import katex from "katex";
+    import "katex/dist/katex.min.css";
     import type {
         EvaluateWordsProgress,
         EvaluateWordsResult,
@@ -7,14 +9,37 @@
     let {
         data,
         progress = null,
+        insert_guess = null,
+        solving = $bindable(true),
     }: {
         data: Promise<EvaluateWordsResult>;
         progress: EvaluateWordsProgress | null;
+        insert_guess: ((word: string[]) => void) | null;
+        solving: boolean;
     } = $props();
+
+    $effect(() => {
+        solving = true;
+        data.finally(() => {
+            solving = false;
+        });
+    });
+
+    function renderMath(txt: string | null) {
+        return (element: HTMLElement) => {
+            if (txt) {
+                katex.render(txt, element);
+            } else {
+                katex.render(element.innerText, element);
+            }
+        };
+    }
 </script>
 
 {#await data}
-    <div class="flex items-center justify-center gap-2 p-6 text-gray-600">
+    <div
+        class="flex items-center justify-center gap-2 text-gray-600 max-w-full"
+    >
         Solving...
         {#if progress}
             <span class="text-sm">
@@ -23,37 +48,70 @@
         {/if}
     </div>
 {:then d}
-    <div class="overflow-x-auto rounded-lg border border-gray-500 shadow-sm">
+    <div
+        class="select-none rounded-lg border border-gray-500 shadow-sm max-w-full"
+    >
         <table class="w-full text-left text-sm text-gray-700">
-            <thead class="bg-gray-800 text-xs uppercase text-gray-600">
+            <thead class="divide-y divide-x bg-gray-800 text-xs text-gray-600">
                 <tr>
-                    <th class="px-4 py-3">Word</th>
+                    <th class="px-4 py-3" title="Rank the solver assigned"></th>
-                    <th class="px-4 py-3">p[solution]</th>
+                    <th class="px-4 py-3" title="The best words">Word</th>
-                    <th class="px-4 py-3">E[Inf.]</th>
+                    <th
-                    <th class="px-4 py-3">E[Score]</th>
+                        class="px-4 py-3 math-header"
+                        title="The probability that this word is the solution."
+                        {@attach renderMath("p(x)")}
+                    ></th>
+                    <th
+                        title="The expected information to gain when guessing this word."
+                        class="px-4 py-3 math-header"
+                        {@attach renderMath("E[\\text{Inf.}]")}
+                    ></th>
+                    <th
+                        title="The expected number of guesses for this wordle when guessing this word."
+                        class="px-4 py-3 math-header"
+                        {@attach renderMath("E[\\text{Score}]")}
+                    ></th>
                 </tr>
             </thead>
 
-            <tbody class="divide-y divide-gray-500">
+            <tbody class="divide-y divide-x divide-gray-500">
-                {#each d.stats as s}
+                {#each d.stats as s, i}
-                    <tr class="transition-colors hover:bg-gray-50">
+                    <tr
+                        class="transition-colors hover:bg-gray-50"
+                        onclick={() => {
+                            if (insert_guess) {
+                                insert_guess([...s.word]);
+                            }
+                        }}
+                    >
+                        <td class="px-4 py-3 font-bold">#{i + 1}</td>
                         <td class="px-4 py-3 font-bold">{s.word}</td>
-                        <td class="px-4 py-3"
+                        <td class="px-4 py-3">
-                            >{s.solution_probability.toFixed(3)}</td
+                            {(s.solution_probability * 100).toFixed(2) + "%"}
-                        >
+                        </td>
-                        <td class="px-4 py-3"
+                        <td class="px-4 py-3">
-                            >{s.expected_information_gained.toFixed(3)}</td
+                            {s.expected_information_gained.toFixed(2)} bits
-                        >
+                        </td>
-                        <td class="px-4 py-3"
+                        <td class="px-4 py-3">
-                            >{s.expected_score_after_guess.toFixed(3)}</td
+                            {s.expected_score_after_guess.toFixed(3)}
-                        >
+                        </td>
                     </tr>
                 {/each}
             </tbody>
         </table>
     </div>
 {:catch e}
-    <div class="rounded-lg border border-red-200 bg-red-50 p-4 text-red-700">
+    <div class="rounded-lg border border-red-400 bg-gray-800 p-4 text-red-400">
         {e}
     </div>
 {/await}
+
+<style>
+    .math-header :global(.katex) {
+        font-size: 1em;
+    }
+
+    .math-header :global(.katex .mord) {
+        margin: 0;
+    }
+</style>

web/src/components/WordleLine.svelte

@@ -1,5 +1,6 @@
 <script lang="ts">
     import { Color } from "wordle-solver";
+    import type { GuessResult } from "../solver/types";
 
     let {
         active = false,
@@ -13,25 +14,45 @@
             Color.GREY,
         ]),
         info_gained = null,
+        on_guess_pressed = null,
+    }: {
+        active: boolean;
+        cursor: number;
+        letters: string[];
+        colors: Color[];
+        info_gained: Promise<GuessResult> | null;
+        on_guess_pressed: (() => void) | null;
     } = $props();
 
+    let invalid: boolean = $state(false);
+    let inputs: HTMLInputElement[] = $state([]);
+    let info_gained_wrapped: Promise<GuessResult> | null = $state(null);
+
+    $effect(() => {
+        if (info_gained) {
+            info_gained_wrapped = info_gained.catch((e) => {
+                invalid = true;
+                throw e;
+            });
+        } else {
+            info_gained_wrapped = null;
+        }
+    });
+
+    export function focus() {
+        inputs[cursor].focus();
+    }
+
     function handleKey(event: KeyboardEvent) {
         if (!active) {
             return;
         }
-        if (/^[a-zA-Z]$/.test(event.key)) {
-            letters[cursor] = event.key.toUpperCase();
-
-            if (cursor < 4) {
-                cursor++;
-            } else {
-                cursor = 0;
-            }
-        }
 
         if (event.key === "Backspace") {
             if (letters[cursor] === "" && cursor > 0) {
-                cursor--;
+                const nc = cursor - 1;
+                inputs[nc].focus(); // Focusing / bluring resets cursor temporarily
+                cursor = nc;
             }
 
             if (active) {
@@ -40,11 +61,15 @@
         }
 
         if (event.key === "ArrowLeft") {
-            cursor = Math.max(0, cursor - 1);
+            const nc = Math.max(0, cursor - 1);
+            inputs[nc].focus();
+            cursor = nc;
         }
 
         if (event.key === "ArrowRight") {
-            cursor = Math.min(4, cursor + 1);
+            const nc = Math.min(4, cursor + 1);
+            inputs[nc].focus();
+            cursor = nc;
         }
 
         if (event.key === " ") {
@@ -56,30 +81,66 @@
 <svelte:window onkeydown={handleKey} />
 
 <div class="flex justify-center gap-2">
-    {#each letters as letter, i}
+    {#each letters as _, i}
-        <div
+        <input
+            disabled={!active}
+            tabindex="-1"
             class="
-                flex h-16 w-16 items-center justify-center
+                flex aspect-square max-w-16 w-1/6 items-center justify-center
                 rounded-lg border-2
                 text-3xl font-bold
-                transition-all
+                transition-all text-center caret-transparent
+                focus:outline-none
             "
+            bind:this={inputs[i]}
+            bind:value={letters[i]}
             class:border-blue-500={i === cursor && active}
             class:border-zinc-700={i !== cursor || !active}
             class:bg-green-600={colors[i] === Color.GREEN}
             class:bg-yellow-600={colors[i] === Color.YELLOW}
             class:bg-grey-600={colors[i] === Color.GREY}
-        >
+            class:opacity-20={invalid}
-            {letter}
+            onblur={() => {
-        </div>
+                cursor = -1;
+            }}
+            onbeforeinput={(event) => {
+                if (event.inputType === "insertText") {
+                    event.preventDefault();
+                    let key = event.data ?? "";
+
+                    if (/^[a-zA-Z]$/.test(key)) {
+                        letters[i] = key.toUpperCase();
+                        let nc = cursor;
+                        if (nc < 4) {
+                            nc++;
+                        } else {
+                            nc = 0;
+                        }
+                        inputs[nc].focus();
+                        cursor = nc;
+                    }
+                }
+            }}
+            onclick={() => {
+                if (!active) {
+                    return;
+                }
+                if (cursor === i) {
+                    colors[cursor] = (colors[cursor] + 1) % 3;
+                } else {
+                    cursor = i;
+                }
+            }}
+        />
     {/each}
     <span
-        class="w-16 text-sm text-zinc-500 self-center flex items-center justify-center"
+        class="max-w-14 w-1/6 text-sm text-zinc-500 self-center flex items-center justify-center"
+        onclick={info_gained === null ? on_guess_pressed : null}
     >
-        {#if info_gained === null}
+        {#if info_gained_wrapped === null}
             ↵
         {:else}
-            {#await info_gained}
+            {#await info_gained_wrapped}
                 <div
                     class="size-3 animate-spin rounded-full border-2 border-gray-300 border-t-gray-700"
                 ></div>

web/src/solver/solver.ts

@@ -1,18 +1,41 @@
 import type { Color } from "wordle-solver";
 import SolverWorker from "./worker?worker";
-import type { GuessResult, SolutionSpaceResult, EvaluateWordsResult, SolverRequest, SolverResponse, EvaluateWordsProgress } from "./types";
+import type { GuessResult, SolutionSpaceResult, EvaluateWordsResult, SolverRequest, SolverResponse, EvaluateWordsProgress, SolverStateResult, RestoreSolverState } from "./types";
-
-let solver_worker = new SolverWorker();
 
 let msg_id = 0;
 
 const pending = new Map<number, {
-  resolve: (value: unknown) => void;
+  resolve: (value: any) => void;
-  reject: (error: unknown) => void;
+  reject: (error: any) => void;
 }>();
 
 const progresses = new Map<number, (p: EvaluateWordsProgress) => void>();
 
+let solver_worker = new SolverWorker();
+await init_solver();
+
+let last_solver_state = await solver_state();
+
+
+function init_solver(): Promise<void> {
+  return new Promise((resolve) => {
+    solver_worker.onmessage = (event: any) => {
+      if (event.data.type === "ready") {
+        solver_worker.onmessage = workerHandleMsg;
+        resolve();
+      } else {
+        workerHandleMsg(event);
+      }
+    };
+  });
+}
+
+function create_solver_worker(): Promise<void> {
+  solver_worker = new SolverWorker();
+
+  return init_solver();
+}
+
 export function solver_guess(word: string[], colors: Color[]): Promise<GuessResult> {
   const id = msg_id++;
 
@@ -45,13 +68,15 @@ export function solver_solution_space(): Promise<SolutionSpaceResult> {
   });
 }
 
-export function solver_evaluate_words(n: number, progress: ((p: EvaluateWordsProgress) => void) | null): Promise<EvaluateWordsResult> {
+export async function solver_evaluate_words(n: number, progress: ((p: EvaluateWordsProgress) => void) | null): Promise<EvaluateWordsResult> {
   const id = msg_id++;
 
   if (progress) {
     progresses.set(id, progress);
   }
 
+  last_solver_state = await solver_state();
+
   return new Promise((resolve, reject) => {
     pending.set(id, { resolve, reject });
 
@@ -65,8 +90,80 @@ export function solver_evaluate_words(n: number, progress: ((p: EvaluateWordsPro
   });
 }
 
+function solver_state(): Promise<SolverStateResult> {
+  const id = msg_id++;
 
-solver_worker.onmessage = (event: MessageEvent<SolverResponse>) => {
+  return new Promise((resolve, reject) => {
+    pending.set(id, { resolve, reject });
+
+    const r: SolverRequest = {
+      type: "solver_state",
+      id: id,
+      input: null,
+    };
+
+    solver_worker.postMessage(JSON.parse(JSON.stringify(r)));
+  });
+}
+
+function restore_solver_state(s: RestoreSolverState): Promise<void> {
+  const id = msg_id++;
+
+  return new Promise((resolve, reject) => {
+    pending.set(id, { resolve, reject });
+
+    const r: SolverRequest = {
+      type: "restore_solver_state",
+      id: id,
+      input: s,
+    };
+
+    solver_worker.postMessage(r);
+  });
+}
+
+export async function solver_stop(): Promise<void> {
+  solver_worker.terminate();
+
+  pending.forEach((v, _) => {
+    v.reject("Solver was stopped");
+  });
+  pending.clear();
+  progresses.clear();
+
+  await create_solver_worker();
+
+  await restore_solver_state(last_solver_state);
+}
+
+export async function solver_reset(wordle_answers: boolean): Promise<void> {
+  solver_worker.terminate();
+
+  await create_solver_worker();
+
+  pending.forEach((v, _) => {
+    v.reject("Solver was reset");
+  });
+  pending.clear();
+  progresses.clear();
+
+  const id = msg_id++;
+
+  return new Promise((resolve, reject) => {
+    pending.set(id, { resolve, reject });
+
+    const r: SolverRequest = {
+      type: "reload_wordlist",
+      id: id,
+      input: { use_wordle_ansers: wordle_answers },
+    };
+
+    solver_worker.postMessage(JSON.parse(JSON.stringify(r)));
+  });
+}
+
+
+function workerHandleMsg(event: MessageEvent<SolverResponse>) {
   let res = event.data;
 
   if (res.type == "evaluate_words_progress") {
@@ -95,4 +192,5 @@ solver_worker.onmessage = (event: MessageEvent<SolverResponse>) => {
   } else {
     pendingRequest.reject("No result");
   }
-};
+}
+

web/src/solver/types.ts

@@ -15,8 +15,24 @@ export type SolverRequest =
     type: "solution_space",
     id: number,
     input: null,
+  }
+  | {
+    type: "reload_wordlist",
+    id: number,
+    input: ReloadWordlist
+  }
+  | {
+    type: "solver_state",
+    id: number,
+    input: null
+  }
+  | {
+    type: "restore_solver_state",
+    id: number,
+    input: RestoreSolverState
   };
 
+
 export type SolverResponse =
   | {
     type: "guess",
@@ -33,6 +49,7 @@ export type SolverResponse =
   | {
     type: "evaluate_words_progress",
     id: number,
+    error: null,
     result: EvaluateWordsProgress
   }
   | {
@@ -40,8 +57,27 @@ export type SolverResponse =
     id: number,
     error: string | null,
     result: SolutionSpaceResult | null
+  }
+  | {
+    type: "reload_wordlist",
+    id: number,
+    error: string | null
+    result: boolean | null,
+  }
+  | {
+    type: "solver_state",
+    id: number,
+    error: string | null
+    result: SolverStateResult | null,
+  }
+  | {
+    type: "restore_solver_state",
+    id: number,
+    error: string | null
+    result: boolean | null,
   };
 
+
 export type Guess = {
   word: string[],
   colors: Color[]
@@ -56,6 +92,9 @@ export type EvaluateWordsProgress = {
   i: number,
   n: number
 };
+export type ReloadWordlist = {
+  use_wordle_ansers: boolean
+};
 export type WordStats = {
   word: string,
   solution_probability: number,
@@ -69,3 +108,9 @@ export type SolutionSpaceResult = {
   size: number,
   uncertainty: number
 };
+export type SolverStateResult = {
+  raw: Uint8Array
+};
+export type RestoreSolverState = {
+  raw: Uint8Array
+};

web/src/solver/worker.ts

@@ -1,7 +1,11 @@
 import { Solver, } from "wordle-solver";
-import type { EvaluateWordsProgress, SolverRequest, SolverResponse, WordStats } from "./types";
+import type { SolverRequest, SolverResponse, WordStats } from "./types";
 
-let solver = Solver.new();
+let solver = Solver.new(true);
+
+self.postMessage({
+  type: "ready",
+});
 
 self.onmessage = (event: MessageEvent<SolverRequest>) => {
   const request = event.data;
@@ -24,7 +28,7 @@ self.onmessage = (event: MessageEvent<SolverRequest>) => {
         const response: SolverResponse = {
           type: "guess",
           id: request.id,
-          error: e,
+          error: e as string,
           result: null,
         };
 
@@ -40,6 +44,7 @@ self.onmessage = (event: MessageEvent<SolverRequest>) => {
           let p: SolverResponse = {
             type: "evaluate_words_progress",
             id: request.id,
+            error: null,
             result: { i, n }
           };
           self.postMessage(JSON.parse(JSON.stringify(p)));
@@ -63,7 +68,7 @@ self.onmessage = (event: MessageEvent<SolverRequest>) => {
         const response: SolverResponse = {
           type: "evaluate_words",
           id: request.id,
-          error: e,
+          error: e as string,
           result: null,
         };
 
@@ -77,14 +82,57 @@ self.onmessage = (event: MessageEvent<SolverRequest>) => {
         type: "solution_space",
         id: request.id,
         error: null,
-        result: {
+        result: { size: solver.solution_space(), uncertainty: solver.solution_space_uncertainty() }
-          size: solver.solution_space(),
-          uncertainty: solver.solution_space_uncertainty()
-        }
       };
       self.postMessage(JSON.parse(JSON.stringify(response)));
       break;
     };
+    case "reload_wordlist": {
+      solver.free();
+      solver = Solver.new(request.input.use_wordle_ansers);
+      const response: SolverResponse = {
+        type: "reload_wordlist",
+        id: request.id,
+        error: null,
+        result: true
+      };
+      self.postMessage(JSON.parse(JSON.stringify(response)));
+      break;
+    };
+    case "solver_state": {
+      let response: SolverResponse = {
+        type: "solver_state",
+        id: request.id,
+        error: null,
+        result: null
+      };
+      try {
+        response.result = { raw: solver.serialize() };
+      } catch (e) {
+        response.error = e as string;
+      }
+
+      self.postMessage(response);
+      break;
+    };
+    case "restore_solver_state": {
+      let response: SolverResponse = {
+        type: "restore_solver_state",
+        id: request.id,
+        error: null,
+        result: null
+      };
+      try {
+        solver.free();
+        solver = Solver.new_from_serialized(request.input.raw);
+        response.result = true;
+      } catch (e) {
+        response.error = e as string;
+      }
+
+      self.postMessage(response);
+      break;
+    }
   }
 };
 

web/vite.config.ts

@@ -5,4 +5,10 @@ import wasm from "vite-plugin-wasm";
 
 export default defineConfig({
   plugins: [wasm(), svelte(), tailwindcss()],
+  build: {
+    target: "esnext"
+  },
+  worker: {
+    format: "es",
+  },
 });

web/yarn.lock

@@ -154,6 +154,21 @@
   resolved "https://registry.yarnpkg.com/@esbuild/win32-x64/-/win32-x64-0.28.2.tgz#b21affb804cc167c133d95f45b3a1dc1323b9a87"
   integrity sha512-5ebpxr3nWMzrL/rnUI755Jkuee0bHL/Gq0WTF9lvcpv73wAp5eu8MfBUgWK9bhWvZjj7yX8etf/8tI8Ney695g==
 
+"@humanspeak/memory-cache@^1.1.2":
+  version "1.1.2"
+  resolved "https://registry.yarnpkg.com/@humanspeak/memory-cache/-/memory-cache-1.1.2.tgz#2bd14a51782b30232fb544dab54fc20efb0171a8"
+  integrity sha512-6kmeqrCVThw4RYZsJ74l9cOdZQ84XHnGIzrv+Po49CZBNNVDEzi0CGsTx+KKmr/Hb6hY6yDGxeWTiz4VHkdsEg==
+
+"@humanspeak/svelte-markdown@^1.8.7":
+  version "1.8.7"
+  resolved "https://registry.yarnpkg.com/@humanspeak/svelte-markdown/-/svelte-markdown-1.8.7.tgz#30f21678adf8434ac35f22c8cdd4ddf0666ee08c"
+  integrity sha512-IJFFF7QuKytGBIDy/fp8xeAxMjuFfV1rt3H8t6kjDlIckVTwCTD6WPFIbirlgeingOdD6j4U6Ox8aHu0YTe2Xw==
+  dependencies:
+    "@humanspeak/memory-cache" "^1.1.2"
+    github-slugger "^2.0.0"
+    htmlparser2 "^12.0.0"
+    marked "^18.0.9"
+
 "@jridgewell/gen-mapping@^0.3.5":
   version "0.3.13"
   resolved "https://registry.yarnpkg.com/@jridgewell/gen-mapping/-/gen-mapping-0.3.13.tgz#6342a19f44347518c93e43b1ac69deb3c4656a1f"
@@ -188,6 +203,11 @@
     "@jridgewell/resolve-uri" "^3.1.0"
     "@jridgewell/sourcemap-codec" "^1.4.14"
 
+"@lucide/svelte@^1.33.0":
+  version "1.33.0"
+  resolved "https://registry.yarnpkg.com/@lucide/svelte/-/svelte-1.33.0.tgz#c7344737270e7e7bf85756daac3c9b739c2c38f3"
+  integrity sha512-b+osTYG2V4dge5Lr7tnaTaahhy/4vH7Xb8zcqVjmctjwgkpXS0NNOJPkGzHHZoxtw/OO+2YAU28omeMfYCaawg==
+
 "@napi-rs/lzma-linux-x64-gnu@1.5.1":
   version "1.5.1"
   resolved "https://registry.yarnpkg.com/@napi-rs/lzma-linux-x64-gnu/-/lzma-linux-x64-gnu-1.5.1.tgz#e57d4306966078662038094fb38eb9146dc3aea9"
@@ -621,6 +641,13 @@
     "@tailwindcss/oxide-win32-arm64-msvc" "4.3.3"
     "@tailwindcss/oxide-win32-x64-msvc" "4.3.3"
 
+"@tailwindcss/typography@^0.5.20":
+  version "0.5.20"
+  resolved "https://registry.yarnpkg.com/@tailwindcss/typography/-/typography-0.5.20.tgz#9feb7fb1d5f2f7b5360c22e24651210db74c34df"
+  integrity sha512-hwbzQuNUfcPvbegQFatVPl/MY/tcM9KLl963hQ5laJKPh81TEZ1+dNG9PirGvcaDBkp+BCshExAyKVPW91dozw==
+  dependencies:
+    postcss-selector-parser "6.0.10"
+
 "@tailwindcss/vite@^4.3.3":
   version "4.3.3"
   resolved "https://registry.yarnpkg.com/@tailwindcss/vite/-/vite-4.3.3.tgz#1f4037badcb5e6c6bb574d3d8a0172c83f26b97f"
@@ -767,6 +794,11 @@ color-name@1.1.3:
   resolved "https://registry.yarnpkg.com/color-name/-/color-name-1.1.3.tgz#a7d0558bd89c42f795dd42328f740831ca53bc25"
   integrity sha512-72fSenhMw2HZMTVHeCA9KCmpEIbzWiQsjN+BHcBbS9vr1mtt+vJjPdksIBNUmKAW8TFUDPJK5SUU3QhE9NEXDw==
 
+commander@^8.3.0:
+  version "8.3.0"
+  resolved "https://registry.yarnpkg.com/commander/-/commander-8.3.0.tgz#4837ea1b2da67b9c616a67afbb0fafee567bca66"
+  integrity sha512-OkTL9umf+He2DZkUq8f8J9of7yL6RJKI24dVITBmNfZBmri9zYZQrKkuXiKhyfPSu8tUhnVBB1iKXevvnlR4Ww==
+
 concat-map@0.0.1:
   version "0.0.1"
   resolved "https://registry.yarnpkg.com/concat-map/-/concat-map-0.0.1.tgz#d8a96bd77fd68df7793a73036a3ba0d5405d477b"
@@ -783,6 +815,11 @@ cross-spawn@^6.0.5:
     shebang-command "^1.2.0"
     which "^1.2.9"
 
+cssesc@^3.0.0:
+  version "3.0.0"
+  resolved "https://registry.yarnpkg.com/cssesc/-/cssesc-3.0.0.tgz#37741919903b868565e1c09ea747445cd18983ee"
+  integrity sha512-/Tb/JcjK111nNScGob5MNtsntNM1aCNUDipB/TkwZFhyDrrE47SOx/18wF2bbjgc3ZzCSKW1T5nt5EbFoAz/Vg==
+
 data-view-buffer@^1.0.2:
   version "1.0.2"
   resolved "https://registry.yarnpkg.com/data-view-buffer/-/data-view-buffer-1.0.2.tgz#211a03ba95ecaf7798a8c7198d79536211f88570"
@@ -843,6 +880,36 @@ devalue@^5.8.1:
   resolved "https://registry.yarnpkg.com/devalue/-/devalue-5.9.0.tgz#5d30db41a0db9171cf4ee9dbf6617e0b77cd7c2a"
   integrity sha512-RWrqdArjvPbsATEhOPUo6Wndc/iWnkWKlhIrdlF3zMMYo/c3CVtoaVAyLtWxz5h8nSlkHzxnzV2uLydPXmtF+A==
 
+dom-serializer@^3.0.0:
+  version "3.1.1"
+  resolved "https://registry.yarnpkg.com/dom-serializer/-/dom-serializer-3.1.1.tgz#54be70ee4fcc2da010f488165e62294798dc57d3"
+  integrity sha512-4MEa38/QexBob6gFNwu+EGdWvhJ1OKuNwdYY3Y3NyeWDQfnGeDYQUDfIRzWu5B5gsv03so2Uxd28YC6zrsx3Lw==
+  dependencies:
+    domelementtype "^3.0.0"
+    domhandler "^6.0.0"
+    entities "^8.0.0"
+
+domelementtype@^3.0.0:
+  version "3.0.0"
+  resolved "https://registry.yarnpkg.com/domelementtype/-/domelementtype-3.0.0.tgz#e6c0a24bd39ca5eb7ea67a98d2f699497d7bcc55"
+  integrity sha512-umCQid3jKbDmVjx8jGaW7uUykm4DEUeyV21hPxNMo2nV955DhUThwqyOIDtreepP31hl84X7G5U9ZfsWvIB3Pg==
+
+domhandler@^6.0.0:
+  version "6.0.1"
+  resolved "https://registry.yarnpkg.com/domhandler/-/domhandler-6.0.1.tgz#75f351a03a6e10c35e08418f9cf0d287e00797cf"
+  integrity sha512-gYzvtM72ZtxQO0T048kd6HWSbbGCNOUwcnfQ01cqIJ4X2IYKFFHZ5mKvrQETcFXxsRObZulDaKmy//R7TPtsBg==
+  dependencies:
+    domelementtype "^3.0.0"
+
+domutils@^4.0.2:
+  version "4.0.2"
+  resolved "https://registry.yarnpkg.com/domutils/-/domutils-4.0.2.tgz#0c1ac1fdbe8f554a60a6f5eb143ee85630327c94"
+  integrity sha512-qI4JLRKnSzqFqr7hAlS5xQDusBCjKSEG4t4+7aNrIQMHBcsC2TGEhuyABJdYkgSewL57PNLYEiibY2iPKhKpaA==
+  dependencies:
+    dom-serializer "^3.0.0"
+    domelementtype "^3.0.0"
+    domhandler "^6.0.0"
+
 dunder-proto@^1.0.0, dunder-proto@^1.0.1:
   version "1.0.1"
   resolved "https://registry.yarnpkg.com/dunder-proto/-/dunder-proto-1.0.1.tgz#d7ae667e1dc83482f8b70fd0f6eefc50da30f58a"
@@ -860,6 +927,11 @@ enhanced-resolve@^5.24.1:
     graceful-fs "^4.2.4"
     tapable "^2.3.3"
 
+entities@^8.0.0:
+  version "8.0.0"
+  resolved "https://registry.yarnpkg.com/entities/-/entities-8.0.0.tgz#c1df5fe3602429747fa233d0dd26f142f0ce4743"
+  integrity sha512-zwfzJecQ/Uej6tusMqwAqU/6KL2XaB2VZ2Jg54Je6ahNBGNH6Ek6g3jjNCF0fG9EWQKGZNddNjU5F1ZQn/sBnA==
+
 error-ex@^1.3.1:
   version "1.3.4"
   resolved "https://registry.yarnpkg.com/error-ex/-/error-ex-1.3.4.tgz#b3a8d8bb6f92eecc1629e3e27d3c8607a8a32414"
@@ -1105,6 +1177,11 @@ get-symbol-description@^1.1.0:
     es-errors "^1.3.0"
     get-intrinsic "^1.2.6"
 
+github-slugger@^2.0.0:
+  version "2.0.0"
+  resolved "https://registry.yarnpkg.com/github-slugger/-/github-slugger-2.0.0.tgz#52cf2f9279a21eb6c59dd385b410f0c0adda8f1a"
+  integrity sha512-IaOQ9puYtjrkq7Y0Ygl9KDZnrf/aiUJYUpVf89y8kyaxbRG7Y1SrX/jaumrv81vc61+kiMempujsM3Yw7w5qcw==
+
 globalthis@^1.0.4:
   version "1.0.4"
   resolved "https://registry.yarnpkg.com/globalthis/-/globalthis-1.0.4.tgz#7430ed3a975d97bfb59bcce41f5cabbafa651236"
@@ -1171,6 +1248,16 @@ hosted-git-info@^2.1.4:
   resolved "https://registry.yarnpkg.com/hosted-git-info/-/hosted-git-info-2.8.9.tgz#dffc0bf9a21c02209090f2aa69429e1414daf3f9"
   integrity sha512-mxIDAb9Lsm6DoOJ7xH+5+X4y1LU/4Hi50L9C5sIswK3JzULS4bwk1FvjdBgvYR4bzT4tuUQiC15FE2f5HbLvYw==
 
+htmlparser2@^12.0.0:
+  version "12.0.0"
+  resolved "https://registry.yarnpkg.com/htmlparser2/-/htmlparser2-12.0.0.tgz#6a679d0f57c525990f9cbad8a585b320ecc6d198"
+  integrity sha512-Tz7u1i95/g2x2jz81+x0FBVhBhY5aRTvD3tXXdFaljuNdzDLJ8UGNRrTcj2cgQvAg3iW/h77Fz15nLW0L0CrZw==
+  dependencies:
+    domelementtype "^3.0.0"
+    domhandler "^6.0.0"
+    domutils "^4.0.2"
+    entities "^8.0.0"
+
 internal-slot@^1.1.0:
   version "1.1.0"
   resolved "https://registry.yarnpkg.com/internal-slot/-/internal-slot-1.1.0.tgz#1eac91762947d2f7056bc838d93e13b2e9604961"
@@ -1385,6 +1472,13 @@ json-parse-better-errors@^1.0.1:
   resolved "https://registry.yarnpkg.com/json-parse-better-errors/-/json-parse-better-errors-1.0.2.tgz#bb867cfb3450e69107c131d1c514bab3dc8bcaa9"
   integrity sha512-mrqyZKfX5EhL7hvqcV6WG1yYjnjeuYDzDhhcAAUrq8Po85NBQBJP+ZDUT75qZQ98IkUoBqdkExkukOU7Ts2wrw==
 
+katex@^0.18.4:
+  version "0.18.4"
+  resolved "https://registry.yarnpkg.com/katex/-/katex-0.18.4.tgz#aa09d0bfbcbab71a9a0f9d420def6c0d0a227a94"
+  integrity sha512-IMPntbRLOU+eu88XDiFKqQ8Akhr9Tv7jDMXqPhjG9SI1JMA4DIgXk4x9k4skJz2NZJXBRbC+2pYBLj9olqcZow==
+  dependencies:
+    commander "^8.3.0"
+
 lightningcss-android-arm64@1.32.0:
   version "1.32.0"
   resolved "https://registry.yarnpkg.com/lightningcss-android-arm64/-/lightningcss-android-arm64-1.32.0.tgz#f033885116dfefd9c6f54787523e3514b61e1968"
@@ -1562,6 +1656,11 @@ magic-string@^1.0.0:
   dependencies:
     "@jridgewell/sourcemap-codec" "^1.5.5"
 
+marked@^18.0.9:
+  version "18.0.10"
+  resolved "https://registry.yarnpkg.com/marked/-/marked-18.0.10.tgz#a09ac1f54e378b9efc8b31707adc188fdc047d2e"
+  integrity sha512-FJeH4bRpYoXiggcgriCGItKCSv3xkngJc4QCZ/rkQCogU3VYaLxYJoZl8Nw/b4+x7iij/pd+09mZ6A1dXzpL0A==
+
 math-intrinsics@^1.1.0:
   version "1.1.0"
   resolved "https://registry.yarnpkg.com/math-intrinsics/-/math-intrinsics-1.1.0.tgz#a0dd74be81e2aa5c2f27e65ce283605ee4e2b7f9"
@@ -1701,6 +1800,14 @@ possible-typed-array-names@^1.0.0, possible-typed-array-names@^1.1.0:
   resolved "https://registry.yarnpkg.com/possible-typed-array-names/-/possible-typed-array-names-1.1.0.tgz#93e3582bc0e5426586d9d07b79ee40fc841de4ae"
   integrity sha512-/+5VFTchJDoVj3bhoqi6UeymcD00DAwb1nJwamzPvHEszJ4FpF6SNNbUbOS8yI56qHzdV8eK0qEfOSiodkTdxg==
 
+postcss-selector-parser@6.0.10:
+  version "6.0.10"
+  resolved "https://registry.yarnpkg.com/postcss-selector-parser/-/postcss-selector-parser-6.0.10.tgz#79b61e2c0d1bfc2602d549e11d0876256f8df88d"
+  integrity sha512-IQ7TZdoaqbT+LCpShg46jnZVlhWD2w6iQYAcYXfHARZ7X1t/UGhhceQDs5X0cGqKvYlHNOuv7Oa1xmb0oQuA3w==
+  dependencies:
+    cssesc "^3.0.0"
+    util-deprecate "^1.0.2"
+
 postcss@^8.5.25:
   version "8.5.26"
   resolved "https://registry.yarnpkg.com/postcss/-/postcss-8.5.26.tgz#6e75135780c7e10df3433bf2266c552d35c8c620"
@@ -2138,6 +2245,11 @@ unbox-primitive@^1.1.0:
     has-symbols "^1.1.0"
     which-boxed-primitive "^1.1.1"
 
+util-deprecate@^1.0.2:
+  version "1.0.2"
+  resolved "https://registry.yarnpkg.com/util-deprecate/-/util-deprecate-1.0.2.tgz#450d4dc9fa70de732762fbd2d4a28981419a0ccf"
+  integrity sha512-EPD5q1uXyFxJpCrLnCc1nHnq3gOa6DZBocAIiI2TaSCA7VCJ1UJDMagCzIkXNsUYfD1daK//LTEQ8xiIbrHtcw==
+
 uuid@10.0.0:
   version "10.0.0"
   resolved "https://registry.yarnpkg.com/uuid/-/uuid-10.0.0.tgz#5a95aa454e6e002725c79055fd42aaba30ca6294"