From 3026dd7cfaae8e91fb604f3bcf809565ec133ca4 Mon Sep 17 00:00:00 2001
From: James Dabbs <james.dabbs@gmail.com>
Date: Thu, 26 Oct 2023 08:24:05 -0700
Subject: [PATCH] chore: normalize import paths

---
 packages/viewer/package.json                  |  2 +-
 .../viewer/src/components/Dev/Explore.svelte  |  2 +-
 packages/viewer/src/components/Dev/Log.svelte |  2 +-
 .../viewer/src/components/Dev/Remote.svelte   |  6 +-
 .../viewer/src/components/Dev/Sync.svelte     | 11 +--
 .../src/components/Properties/List.svelte     |  2 +-
 .../src/components/Properties/Spaces.svelte   |  2 +-
 .../src/components/Properties/Theorems.svelte |  4 +-
 .../src/components/Search/Examples.svelte     |  5 +-
 .../src/components/Search/Results.svelte      |  6 +-
 .../Search/Results/Disprovable.svelte         |  6 +-
 .../components/Search/Results/Found.svelte    |  6 +-
 .../components/Search/Results/NotFound.svelte |  8 +-
 .../src/components/Search/Search.svelte       |  4 +-
 .../src/components/Shared/Formula.svelte      |  2 +-
 .../src/components/Shared/Formula/Atom.svelte |  5 +-
 .../components/Shared/Formula/Compound.svelte |  2 +-
 .../Shared/Formula/Input/Formula.svelte       |  4 +-
 .../Shared/Formula/Input/Suggestions.svelte   |  6 +-
 .../viewer/src/components/Shared/Id.svelte    |  2 +-
 .../components/Shared/Link/Property.svelte    |  4 +-
 .../src/components/Shared/Link/Space.svelte   |  2 +-
 .../src/components/Shared/Link/Theorem.svelte |  2 +-
 .../src/components/Shared/Link/Trait.svelte   |  3 +-
 .../src/components/Shared/NotFound.svelte     |  2 +-
 .../src/components/Shared/Reference.svelte    |  2 +-
 .../viewer/src/components/Shared/Tabs.svelte  |  5 +-
 .../src/components/Shared/Typeset.svelte      |  2 +-
 .../components/Spaces/Counterexamples.svelte  |  4 +-
 .../viewer/src/components/Spaces/List.svelte  |  2 +-
 .../src/components/Spaces/Properties.svelte   |  2 +-
 .../src/components/Theorems/Converse.svelte   |  4 +-
 .../src/components/Theorems/List.svelte       |  2 +-
 .../src/components/Theorems/Name.svelte       |  2 +-
 .../src/components/Theorems/Table.svelte      |  2 +-
 .../viewer/src/components/Traits/Proof.svelte |  2 +-
 .../src/components/Traits/Related.svelte      |  7 +-
 .../viewer/src/components/Traits/Show.svelte  |  2 +-
 .../viewer/src/components/Traits/Table.svelte |  4 +-
 packages/viewer/src/debug.ts                  |  4 +-
 packages/viewer/src/gateway.test.ts           |  4 +-
 .../viewer/src/routes/(app)/dev/+page.svelte  |  2 +-
 .../src/routes/(app)/dev/preview/+page.svelte |  2 +-
 .../src/routes/(app)/properties/+page.svelte  |  2 +-
 .../src/routes/(app)/spaces/+page.svelte      |  2 +-
 .../[id]/properties/[propertyId]/+page.svelte |  2 +-
 .../src/routes/(app)/spaces/all/+page.svelte  |  2 +-
 .../src/routes/(app)/theorems/+page.svelte    |  2 +-
 packages/viewer/src/routes/+page.svelte       |  2 +-
 packages/viewer/src/util.test.ts              |  8 +-
 packages/viewer/vite.config.js                |  8 +-
 pnpm-lock.yaml                                | 93 ++++---------------
 52 files changed, 114 insertions(+), 161 deletions(-)

diff --git a/packages/viewer/package.json b/packages/viewer/package.json
index 7b3e8903..46efc868 100644
--- a/packages/viewer/package.json
+++ b/packages/viewer/package.json
@@ -43,7 +43,7 @@
     "@types/unist": "^2.0.9",
     "cypress": "^12.17.4",
     "svelte": "^3.59.2",
-    "svelte-check": "^1.6.0",
+    "svelte-check": "^3.5.2",
     "svelte-preprocess": "^5.0.4",
     "tslib": "^2.6.2"
   }
diff --git a/packages/viewer/src/components/Dev/Explore.svelte b/packages/viewer/src/components/Dev/Explore.svelte
index 21d96b26..f60c381a 100644
--- a/packages/viewer/src/components/Dev/Explore.svelte
+++ b/packages/viewer/src/components/Dev/Explore.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import context from '../../context'
+  import context from '@/context'
   import Log from './Log.svelte'
 
   const { spaces, properties, theorems, traits } = context()
diff --git a/packages/viewer/src/components/Dev/Log.svelte b/packages/viewer/src/components/Dev/Log.svelte
index 6c6bcca7..ca8ddead 100644
--- a/packages/viewer/src/components/Dev/Log.svelte
+++ b/packages/viewer/src/components/Dev/Log.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import context from '../../context'
+  import context from '@/context'
 
   const { spaces, properties, theorems, traits } = context()
 
diff --git a/packages/viewer/src/components/Dev/Remote.svelte b/packages/viewer/src/components/Dev/Remote.svelte
index 9c3c781d..a488c2a5 100644
--- a/packages/viewer/src/components/Dev/Remote.svelte
+++ b/packages/viewer/src/components/Dev/Remote.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
-  import { build } from '../../constants'
-  import context from '../../context'
-  import { state } from '../../stores/sync'
+  import { build } from '@/constants'
+  import context from '@/context'
+  import { state } from '@/stores/sync'
 
   import Sync from './Sync.svelte'
 
diff --git a/packages/viewer/src/components/Dev/Sync.svelte b/packages/viewer/src/components/Dev/Sync.svelte
index 6c8ef634..6d14e72c 100644
--- a/packages/viewer/src/components/Dev/Sync.svelte
+++ b/packages/viewer/src/components/Dev/Sync.svelte
@@ -1,8 +1,7 @@
 <script lang="ts">
-  import context from '../../context'
+  import context from '@/context'
 
-  import Age from '../Shared/Age.svelte'
-  import { Repeat } from '../Shared/Icons'
+  import { Age, Icons } from '../Shared'
 
   const { sync } = context()
 
@@ -11,16 +10,16 @@
 
 {#if state.kind === 'fetching'}
   <button type="button" class="btn" disabled>
-    <Repeat rotate={true} />
+    <Icons.Repeat rotate={true} />
   </button>
 {:else if state.kind === 'fetched'}
   <button type="button" class="btn" on:click={sync.sync}>
-    <Repeat />
+    <Icons.Repeat />
   </button>
   <Age date={state.at} />
 {:else if state.kind === 'error'}
   <button type="button" class="btn" on:click={sync.sync}>
-    <Repeat />
+    <Icons.Repeat />
   </button>
   Error
   <code>{state.error}</code>
diff --git a/packages/viewer/src/components/Properties/List.svelte b/packages/viewer/src/components/Properties/List.svelte
index e5428595..b41c4ef8 100644
--- a/packages/viewer/src/components/Properties/List.svelte
+++ b/packages/viewer/src/components/Properties/List.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
   import { derived, type Readable } from 'svelte/store'
 
-  import { list } from '../../stores'
+  import { list } from '@/stores'
 
   import { Filter, Link, Title, Typeset } from '../Shared'
   import type { Collection, Property } from 'src/models'
diff --git a/packages/viewer/src/components/Properties/Spaces.svelte b/packages/viewer/src/components/Properties/Spaces.svelte
index 90345aa5..90535c0f 100644
--- a/packages/viewer/src/components/Properties/Spaces.svelte
+++ b/packages/viewer/src/components/Properties/Spaces.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
   import { Related } from '../Traits'
-  import type { Property, Space, Trait, Traits } from '../../models'
+  import type { Property, Space, Trait, Traits } from '@/models'
 
   export let property: Property
 
diff --git a/packages/viewer/src/components/Properties/Theorems.svelte b/packages/viewer/src/components/Properties/Theorems.svelte
index 1b680552..9fd1a7c6 100644
--- a/packages/viewer/src/components/Properties/Theorems.svelte
+++ b/packages/viewer/src/components/Properties/Theorems.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
   import { Table as Theorems } from '../Theorems'
-  import type { Property } from '../../models'
-  import context from '../../context'
+  import type { Property } from '@/models'
+  import context from '@/context'
 
   export let property: Property
 
diff --git a/packages/viewer/src/components/Search/Examples.svelte b/packages/viewer/src/components/Search/Examples.svelte
index a75054af..7c2cb931 100644
--- a/packages/viewer/src/components/Search/Examples.svelte
+++ b/packages/viewer/src/components/Search/Examples.svelte
@@ -17,6 +17,9 @@
 {#each examples as { label, search } (label)}
   <article>
     <h5>{label}</h5>
-    <pre class="example" on:click={() => select(search)}>{search}</pre>
+    <pre
+      class="example"
+      on:click={() => select(search)}
+      on:keydown={() => select(search)}>{search}</pre>
   </article>
 {/each}
diff --git a/packages/viewer/src/components/Search/Results.svelte b/packages/viewer/src/components/Search/Results.svelte
index 6d70ecc2..9fd6b0f5 100644
--- a/packages/viewer/src/components/Search/Results.svelte
+++ b/packages/viewer/src/components/Search/Results.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
-  import context from '../../context'
-  import { search } from '../../stores'
-  import type { Formula, Property, Space } from '../../models'
+  import context from '@/context'
+  import { search } from '@/stores'
+  import type { Formula, Property, Space } from '@/models'
   import Found from './Results/Found.svelte'
   import NotFound from './Results/NotFound.svelte'
 
diff --git a/packages/viewer/src/components/Search/Results/Disprovable.svelte b/packages/viewer/src/components/Search/Results/Disprovable.svelte
index 0bd05fd3..22e12bce 100644
--- a/packages/viewer/src/components/Search/Results/Disprovable.svelte
+++ b/packages/viewer/src/components/Search/Results/Disprovable.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
-  import { Formula } from '../../Shared'
-  import { Table as Theorems } from '../../Theorems'
-  import type { Formula as F, Property, Theorem } from '../../../models'
+  import { Formula } from '@/components/Shared'
+  import { Table as Theorems } from '@/components/Theorems'
+  import type { Formula as F, Property, Theorem } from '@/models'
 
   export let formula: F<Property>
   export let proof: Theorem[] | 'tautology'
diff --git a/packages/viewer/src/components/Search/Results/Found.svelte b/packages/viewer/src/components/Search/Results/Found.svelte
index 6c466467..b2aea391 100644
--- a/packages/viewer/src/components/Search/Results/Found.svelte
+++ b/packages/viewer/src/components/Search/Results/Found.svelte
@@ -1,8 +1,8 @@
 <script lang="ts">
   import { formula as F } from '@pi-base/core'
-  import { Formula } from '../../Shared'
-  import { Table } from '../../Traits'
-  import type { Property, Space } from '../../../models'
+  import { Formula } from '@/components/Shared'
+  import { Table } from '@/components/Traits'
+  import type { Property, Space } from '@/models'
 
   export let text: string | undefined
   export let formula: F.Formula<Property> | undefined
diff --git a/packages/viewer/src/components/Search/Results/NotFound.svelte b/packages/viewer/src/components/Search/Results/NotFound.svelte
index 7dc1e761..bd16b1be 100644
--- a/packages/viewer/src/components/Search/Results/NotFound.svelte
+++ b/packages/viewer/src/components/Search/Results/NotFound.svelte
@@ -1,8 +1,8 @@
 <script lang="ts">
-  import context from '../../../context'
-  import { Formula } from '../../Shared'
-  import type { Formula as F, Property } from '../../../models'
-  import { disprove } from '../../../stores/deduction'
+  import context from '@/context'
+  import { Formula } from '@/components/Shared'
+  import type { Formula as F, Property } from '@/models'
+  import { disprove } from '@/stores/deduction'
   import Disprovable from './Disprovable.svelte'
 
   export let text: string | undefined
diff --git a/packages/viewer/src/components/Search/Search.svelte b/packages/viewer/src/components/Search/Search.svelte
index acb43eb9..61ade3fb 100644
--- a/packages/viewer/src/components/Search/Search.svelte
+++ b/packages/viewer/src/components/Search/Search.svelte
@@ -1,8 +1,8 @@
 <script lang="ts">
   import { writable } from 'svelte/store'
 
-  import type { Formula, Property } from '../../models'
-  import urlSearchParam from '../../stores/urlSearchParam'
+  import type { Formula, Property } from '@/models'
+  import urlSearchParam from '@/stores/urlSearchParam'
   import Examples from './Examples.svelte'
   import FormulaInput from '../Shared/Formula/Input'
   import Results from './Results.svelte'
diff --git a/packages/viewer/src/components/Shared/Formula.svelte b/packages/viewer/src/components/Shared/Formula.svelte
index b7cdc616..1279dd96 100644
--- a/packages/viewer/src/components/Shared/Formula.svelte
+++ b/packages/viewer/src/components/Shared/Formula.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import type { Formula, Property } from '../../models'
+  import type { Formula, Property } from '@/models'
 
   import Atom from './Formula/Atom.svelte'
   import Compound from './Formula/Compound.svelte'
diff --git a/packages/viewer/src/components/Shared/Formula/Atom.svelte b/packages/viewer/src/components/Shared/Formula/Atom.svelte
index 96bd41b1..c0b57530 100644
--- a/packages/viewer/src/components/Shared/Formula/Atom.svelte
+++ b/packages/viewer/src/components/Shared/Formula/Atom.svelte
@@ -1,9 +1,8 @@
 <script lang="ts">
   import type { Atom } from '@pi-base/core'
 
-  import Link from '../Link'
-  import Typeset from '../Typeset.svelte'
-  import type { Property } from '../../../models'
+  import { Link, Typeset } from '@/components/Shared'
+  import type { Property } from '@/models'
 
   export let value: Atom<Property>
   export let link: boolean = true
diff --git a/packages/viewer/src/components/Shared/Formula/Compound.svelte b/packages/viewer/src/components/Shared/Formula/Compound.svelte
index 2b9765b5..184da754 100644
--- a/packages/viewer/src/components/Shared/Formula/Compound.svelte
+++ b/packages/viewer/src/components/Shared/Formula/Compound.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
   import type { And, Or } from '@pi-base/core'
 
-  import type { Property } from '../../../models'
+  import type { Property } from '@/models'
 
   import Formula from '../Formula.svelte'
 
diff --git a/packages/viewer/src/components/Shared/Formula/Input/Formula.svelte b/packages/viewer/src/components/Shared/Formula/Input/Formula.svelte
index 2e5fd41e..791191d2 100644
--- a/packages/viewer/src/components/Shared/Formula/Input/Formula.svelte
+++ b/packages/viewer/src/components/Shared/Formula/Input/Formula.svelte
@@ -1,8 +1,8 @@
 <script lang="ts">
   import type { Writable } from 'svelte/store'
 
-  import context from '../../../../context'
-  import type { Formula, Property } from '../../../../models'
+  import context from '@/context'
+  import type { Formula, Property } from '@/models'
 
   import { create } from './store'
   import Suggestions from './Suggestions.svelte'
diff --git a/packages/viewer/src/components/Shared/Formula/Input/Suggestions.svelte b/packages/viewer/src/components/Shared/Formula/Input/Suggestions.svelte
index f7fe1550..c1c382a5 100644
--- a/packages/viewer/src/components/Shared/Formula/Input/Suggestions.svelte
+++ b/packages/viewer/src/components/Shared/Formula/Input/Suggestions.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
-  import type { Property } from '../../../../models'
-  import Typeset from '../../Typeset.svelte'
+  import type { Property } from '@/models'
+  import { Typeset } from '@/components/Shared'
 
   export let suggestions: Property[]
   export let selected: number | undefined
@@ -13,7 +13,9 @@
     <li
       class="list-group-item {i === selected ? 'active' : ''}"
       on:mouseover={() => onHover(i)}
+      on:focus={() => onHover(i)}
       on:click={() => onClick(i)}
+      on:keydown={() => onClick(i)}
     >
       <Typeset body={property.name} />
     </li>
diff --git a/packages/viewer/src/components/Shared/Id.svelte b/packages/viewer/src/components/Shared/Id.svelte
index a427ce4a..96180fae 100644
--- a/packages/viewer/src/components/Shared/Id.svelte
+++ b/packages/viewer/src/components/Shared/Id.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import { Id } from '../../models'
+  import { Id } from '@/models'
 
   export let uid: string
   export let trim = true
diff --git a/packages/viewer/src/components/Shared/Link/Property.svelte b/packages/viewer/src/components/Shared/Link/Property.svelte
index 78bd78f1..6009dc81 100644
--- a/packages/viewer/src/components/Shared/Link/Property.svelte
+++ b/packages/viewer/src/components/Shared/Link/Property.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
-  import Typeset from '../Typeset.svelte'
-  import { Id } from '../../../models'
+  import { Typeset } from '@/components/Shared'
+  import { Id } from '@/models'
 
   export let property: { id: number; name: string }
 </script>
diff --git a/packages/viewer/src/components/Shared/Link/Space.svelte b/packages/viewer/src/components/Shared/Link/Space.svelte
index 5c7df271..dfe77d2e 100644
--- a/packages/viewer/src/components/Shared/Link/Space.svelte
+++ b/packages/viewer/src/components/Shared/Link/Space.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
   import Typeset from '../Typeset.svelte'
-  import { Id } from '../../../models'
+  import { Id } from '@/models'
 
   export let space: { id: number; name: string }
 </script>
diff --git a/packages/viewer/src/components/Shared/Link/Theorem.svelte b/packages/viewer/src/components/Shared/Link/Theorem.svelte
index 19cf7929..68df18a7 100644
--- a/packages/viewer/src/components/Shared/Link/Theorem.svelte
+++ b/packages/viewer/src/components/Shared/Link/Theorem.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import { Id } from '../../../models'
+  import { Id } from '@/models'
 
   export let theorem: { id: number }
 </script>
diff --git a/packages/viewer/src/components/Shared/Link/Trait.svelte b/packages/viewer/src/components/Shared/Link/Trait.svelte
index d9b9399e..4778e3b8 100644
--- a/packages/viewer/src/components/Shared/Link/Trait.svelte
+++ b/packages/viewer/src/components/Shared/Link/Trait.svelte
@@ -1,6 +1,5 @@
 <script lang="ts">
-  import type { Property, Space } from '../../../models'
-  import { Id } from '../../../models'
+  import { type Property, type Space, Id } from '@/models'
 
   export let property: Property
   export let space: Space
diff --git a/packages/viewer/src/components/Shared/NotFound.svelte b/packages/viewer/src/components/Shared/NotFound.svelte
index 5ab104bb..a9ffc1a5 100644
--- a/packages/viewer/src/components/Shared/NotFound.svelte
+++ b/packages/viewer/src/components/Shared/NotFound.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
   import { onMount } from 'svelte'
-  import context from '../../context'
+  import context from '@/context'
 
   const { errorHandler } = context()
 
diff --git a/packages/viewer/src/components/Shared/Reference.svelte b/packages/viewer/src/components/Shared/Reference.svelte
index 02139367..2df90578 100644
--- a/packages/viewer/src/components/Shared/Reference.svelte
+++ b/packages/viewer/src/components/Shared/Reference.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
   import { Ref } from '@pi-base/core'
-  import { format } from '../../parser/externalLinks'
+  import { format } from '@/parser/externalLinks'
 
   export let reference: Ref.Ref
 
diff --git a/packages/viewer/src/components/Shared/Tabs.svelte b/packages/viewer/src/components/Shared/Tabs.svelte
index 58161117..bfeecdca 100644
--- a/packages/viewer/src/components/Shared/Tabs.svelte
+++ b/packages/viewer/src/components/Shared/Tabs.svelte
@@ -1,9 +1,6 @@
-<script lang="ts">
+<script lang="ts" generics="Tab extends string">
   import { capitalize } from '@/util'
 
-  type T = $$Generic
-  type Tab = T & string
-
   export let tabs: readonly Tab[]
   export let tab: Tab
   export let rel: string | undefined = undefined
diff --git a/packages/viewer/src/components/Shared/Typeset.svelte b/packages/viewer/src/components/Shared/Typeset.svelte
index 5cd8fa83..80e049cf 100644
--- a/packages/viewer/src/components/Shared/Typeset.svelte
+++ b/packages/viewer/src/components/Shared/Typeset.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
   import { onMount } from 'svelte'
   import { goto } from '$app/navigation'
-  import context from '../../context'
+  import context from '@/context'
 
   export let body: string
   export let truncated = false
diff --git a/packages/viewer/src/components/Spaces/Counterexamples.svelte b/packages/viewer/src/components/Spaces/Counterexamples.svelte
index 6375f99d..0a183aa9 100644
--- a/packages/viewer/src/components/Spaces/Counterexamples.svelte
+++ b/packages/viewer/src/components/Spaces/Counterexamples.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
-  import context from '../../context'
-  import type { Space } from '../../models'
+  import context from '@/context'
+  import type { Space } from '@/models'
   import { Typeset } from '../Shared'
   import { Table } from '../Theorems'
 
diff --git a/packages/viewer/src/components/Spaces/List.svelte b/packages/viewer/src/components/Spaces/List.svelte
index ed3cfc80..4483938e 100644
--- a/packages/viewer/src/components/Spaces/List.svelte
+++ b/packages/viewer/src/components/Spaces/List.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
   import { derived, type Readable } from 'svelte/store'
 
-  import { list } from '../../stores'
+  import { list } from '@/stores'
 
   import { Filter, Link, Title, Typeset } from '../Shared'
   import type { Collection, Space } from 'src/models'
diff --git a/packages/viewer/src/components/Spaces/Properties.svelte b/packages/viewer/src/components/Spaces/Properties.svelte
index 573d0191..2df7c0bc 100644
--- a/packages/viewer/src/components/Spaces/Properties.svelte
+++ b/packages/viewer/src/components/Spaces/Properties.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
   import { Related } from '../Traits'
-  import type { Property, Space, Trait, Traits } from '../../models'
+  import type { Property, Space, Trait, Traits } from '@/models'
 
   export let space: Space
 
diff --git a/packages/viewer/src/components/Theorems/Converse.svelte b/packages/viewer/src/components/Theorems/Converse.svelte
index 4b6ad484..e5029ceb 100644
--- a/packages/viewer/src/components/Theorems/Converse.svelte
+++ b/packages/viewer/src/components/Theorems/Converse.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
-  import context from '../../context'
-  import type { Space, Theorem } from '../../models'
+  import context from '@/context'
+  import type { Space, Theorem } from '@/models'
   import { Table as Traits } from '../Traits'
   import Name from './Name.svelte'
   import Theorems from './Table.svelte'
diff --git a/packages/viewer/src/components/Theorems/List.svelte b/packages/viewer/src/components/Theorems/List.svelte
index 53311bbc..c9a71fa3 100644
--- a/packages/viewer/src/components/Theorems/List.svelte
+++ b/packages/viewer/src/components/Theorems/List.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
   import { derived, type Readable } from 'svelte/store'
-  import { list } from '../../stores'
+  import { list } from '@/stores'
 
   import { Filter, Formula, Link, Title, Typeset } from '../Shared'
   import type { Theorems } from 'src/models'
diff --git a/packages/viewer/src/components/Theorems/Name.svelte b/packages/viewer/src/components/Theorems/Name.svelte
index c626802a..bb93cb1b 100644
--- a/packages/viewer/src/components/Theorems/Name.svelte
+++ b/packages/viewer/src/components/Theorems/Name.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import type Theorem from '../../models/Theorem'
+  import type Theorem from '@/models/Theorem'
   import { Formula } from '../Shared'
 
   export let theorem: Theorem
diff --git a/packages/viewer/src/components/Theorems/Table.svelte b/packages/viewer/src/components/Theorems/Table.svelte
index b6b63211..7e6e5e02 100644
--- a/packages/viewer/src/components/Theorems/Table.svelte
+++ b/packages/viewer/src/components/Theorems/Table.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import type { Theorem } from '../../models'
+  import type { Theorem } from '@/models'
   import { Formula, Link } from '../Shared'
 
   export let theorems: Theorem[] = []
diff --git a/packages/viewer/src/components/Traits/Proof.svelte b/packages/viewer/src/components/Traits/Proof.svelte
index 484a2b06..1a0f1b33 100644
--- a/packages/viewer/src/components/Traits/Proof.svelte
+++ b/packages/viewer/src/components/Traits/Proof.svelte
@@ -2,7 +2,7 @@
   import { Link } from '../Shared'
   import { Table as Theorems } from '../Theorems'
   import Value from './Value.svelte'
-  import type { Property, Space, Theorem, Trait } from '../../models'
+  import type { Property, Space, Theorem, Trait } from '@/models'
 
   export let space: Space
   export let theorems: Theorem[]
diff --git a/packages/viewer/src/components/Traits/Related.svelte b/packages/viewer/src/components/Traits/Related.svelte
index e4422b03..67cb376d 100644
--- a/packages/viewer/src/components/Traits/Related.svelte
+++ b/packages/viewer/src/components/Traits/Related.svelte
@@ -1,10 +1,9 @@
 <script lang="ts">
   import Fuse from 'fuse.js'
-  import { Icons, Link } from '../Shared'
+  import { Icons, Link, Typeset } from '../Shared'
   import { Value } from '../Traits'
-  import context from '../../context'
-  import type { Property, Space, Trait, Traits } from '../../models'
-  import Typeset from '../Shared/Typeset.svelte'
+  import context from '@/context'
+  import type { Property, Space, Trait, Traits } from '@/models'
 
   export let mode: 'spaces' | 'properties'
   export let related: (traits: Traits) => [Space, Property, Trait][]
diff --git a/packages/viewer/src/components/Traits/Show.svelte b/packages/viewer/src/components/Traits/Show.svelte
index 3b4104a5..c75dbbce 100644
--- a/packages/viewer/src/components/Traits/Show.svelte
+++ b/packages/viewer/src/components/Traits/Show.svelte
@@ -8,7 +8,7 @@
     Title,
     Typeset,
   } from '../Shared'
-  import context from '../../context'
+  import context from '@/context'
   import Proof from './Proof.svelte'
   import { Robot } from '../Shared/Icons'
 
diff --git a/packages/viewer/src/components/Traits/Table.svelte b/packages/viewer/src/components/Traits/Table.svelte
index dca5255c..775a4f72 100644
--- a/packages/viewer/src/components/Traits/Table.svelte
+++ b/packages/viewer/src/components/Traits/Table.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
-  import context from '../../context'
-  import type { Property, Space } from '../../models'
+  import context from '@/context'
+  import type { Property, Space } from '@/models'
 
   import { Link } from '../Shared'
   import Value from './Value.svelte'
diff --git a/packages/viewer/src/debug.ts b/packages/viewer/src/debug.ts
index 1479f0bc..de14f5ec 100644
--- a/packages/viewer/src/debug.ts
+++ b/packages/viewer/src/debug.ts
@@ -10,7 +10,9 @@ export type Event =
   | { event: 'set_host'; host: string }
   | { event: 'build_typesetter' }
 
-export function trace(payload: Event, log = debug) {
+type Logger = (message: string, ...args: unknown[]) => any
+
+export function trace(payload: Event, log: Logger = debug) {
   const { event, ...rest } = payload
 
   switch (event) {
diff --git a/packages/viewer/src/gateway.test.ts b/packages/viewer/src/gateway.test.ts
index 81738bf9..263fa26d 100644
--- a/packages/viewer/src/gateway.test.ts
+++ b/packages/viewer/src/gateway.test.ts
@@ -21,7 +21,7 @@ it.todo('can fetch successfully', async () => {
 
   vi.spyOn(bundle, 'fetch').mockImplementation(async () => remote)
 
-  const result = await sync('example', 'test')
+  const result = await sync(fetch)('example', 'test')
 
   expect(result).toEqual({
     spaces: [],
@@ -49,7 +49,7 @@ it.todo('notifies if the etag matches', async () => {
 
   vi.spyOn(bundle, 'fetch').mockImplementation(async () => undefined)
 
-  const result = await sync('example', 'test', current.etag)
+  const result = await sync(fetch)('example', 'test', current.etag)
 
   expect(result).toEqual(undefined)
   expect(trace.mock.calls).toEqual([
diff --git a/packages/viewer/src/routes/(app)/dev/+page.svelte b/packages/viewer/src/routes/(app)/dev/+page.svelte
index 2b08afd2..6b9fd9b8 100644
--- a/packages/viewer/src/routes/(app)/dev/+page.svelte
+++ b/packages/viewer/src/routes/(app)/dev/+page.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import { Settings } from '../../../components/Dev'
+  import { Settings } from '@/components/Dev'
 </script>
 
 <Settings />
diff --git a/packages/viewer/src/routes/(app)/dev/preview/+page.svelte b/packages/viewer/src/routes/(app)/dev/preview/+page.svelte
index ce872bba..514ec4b6 100644
--- a/packages/viewer/src/routes/(app)/dev/preview/+page.svelte
+++ b/packages/viewer/src/routes/(app)/dev/preview/+page.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import { Preview } from '../../../../components/Dev'
+  import { Preview } from '@/components/Dev'
 </script>
 
 <Preview />
diff --git a/packages/viewer/src/routes/(app)/properties/+page.svelte b/packages/viewer/src/routes/(app)/properties/+page.svelte
index 58e42b87..80fd328c 100644
--- a/packages/viewer/src/routes/(app)/properties/+page.svelte
+++ b/packages/viewer/src/routes/(app)/properties/+page.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import { List } from '../../../components/Properties'
+  import { List } from '@/components/Properties'
   import type { PageData } from './$types'
 
   export let data: PageData
diff --git a/packages/viewer/src/routes/(app)/spaces/+page.svelte b/packages/viewer/src/routes/(app)/spaces/+page.svelte
index 458d8c0f..3972ab5e 100644
--- a/packages/viewer/src/routes/(app)/spaces/+page.svelte
+++ b/packages/viewer/src/routes/(app)/spaces/+page.svelte
@@ -1,5 +1,5 @@
 <script>
-  import Search from '../../../components/Search'
+  import Search from '@/components/Search'
 </script>
 
 <Search />
diff --git a/packages/viewer/src/routes/(app)/spaces/[id]/properties/[propertyId]/+page.svelte b/packages/viewer/src/routes/(app)/spaces/[id]/properties/[propertyId]/+page.svelte
index 7113acb1..5a6f6cea 100644
--- a/packages/viewer/src/routes/(app)/spaces/[id]/properties/[propertyId]/+page.svelte
+++ b/packages/viewer/src/routes/(app)/spaces/[id]/properties/[propertyId]/+page.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
   import { page } from '$app/stores'
-  import { Show } from '../../../../../../components/Traits'
+  import { Show } from '@/components/Traits'
 </script>
 
 <Show spaceId={$page.params.id} propertyId={$page.params.propertyId} />
diff --git a/packages/viewer/src/routes/(app)/spaces/all/+page.svelte b/packages/viewer/src/routes/(app)/spaces/all/+page.svelte
index 24f0dab9..93bdf402 100644
--- a/packages/viewer/src/routes/(app)/spaces/all/+page.svelte
+++ b/packages/viewer/src/routes/(app)/spaces/all/+page.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import { List } from '../../../../components/Spaces'
+  import { List } from '@/components/Spaces'
   import type { PageData } from './$types'
 
   export let data: PageData
diff --git a/packages/viewer/src/routes/(app)/theorems/+page.svelte b/packages/viewer/src/routes/(app)/theorems/+page.svelte
index c54c6e9d..577fed1f 100644
--- a/packages/viewer/src/routes/(app)/theorems/+page.svelte
+++ b/packages/viewer/src/routes/(app)/theorems/+page.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import { List } from '../../../components/Theorems'
+  import { List } from '@/components/Theorems'
   import type { PageData } from './$types'
 
   export let data: PageData
diff --git a/packages/viewer/src/routes/+page.svelte b/packages/viewer/src/routes/+page.svelte
index de149578..340ba0f1 100644
--- a/packages/viewer/src/routes/+page.svelte
+++ b/packages/viewer/src/routes/+page.svelte
@@ -1,5 +1,5 @@
 <script lang="ts">
-  import Home from '../components/Home.svelte'
+  import Home from '@/components/Home.svelte'
 </script>
 
 <Home />
diff --git a/packages/viewer/src/util.test.ts b/packages/viewer/src/util.test.ts
index 0dcb3fd3..5d6038fe 100644
--- a/packages/viewer/src/util.test.ts
+++ b/packages/viewer/src/util.test.ts
@@ -1,7 +1,7 @@
 import { describe, expect, it } from 'vitest'
 import { writable } from 'svelte/store'
 
-import { eachTick, read, subscribeUntil } from './util'
+import { capitalize, eachTick, read, subscribeUntil } from './util'
 
 describe('eachTick', () => {
   it('iterates through a list', async () => {
@@ -48,3 +48,9 @@ describe('subscribeUntil', () => {
     expect(done).toEqual(true)
   })
 })
+
+describe('capitalize', () => {
+  it('capitalizes the first letter', () => {
+    expect(capitalize('hello')).toEqual('Hello')
+  })
+})
diff --git a/packages/viewer/vite.config.js b/packages/viewer/vite.config.js
index 88ad51ea..7b9ea199 100644
--- a/packages/viewer/vite.config.js
+++ b/packages/viewer/vite.config.js
@@ -7,10 +7,10 @@ export default defineConfig({
   test: {
     include: ['src/**/*.{test,spec}.{js,ts}'],
     coverage: {
-      lines: 79.91,
-      branches: 87.84,
-      statements: 79.91,
-      functions: 80.61,
+      lines: 80.01,
+      branches: 87.97,
+      statements: 80.01,
+      functions: 81,
       skipFull: true,
       thresholdAutoUpdate: true,
     },
diff --git a/pnpm-lock.yaml b/pnpm-lock.yaml
index 3cb43aff..0ec9aec4 100644
--- a/pnpm-lock.yaml
+++ b/pnpm-lock.yaml
@@ -227,8 +227,8 @@ importers:
         specifier: ^3.59.2
         version: 3.59.2
       svelte-check:
-        specifier: ^1.6.0
-        version: 1.6.0(svelte@3.59.2)
+        specifier: ^3.5.2
+        version: 3.5.2(svelte@3.59.2)
       svelte-preprocess:
         specifier: ^5.0.4
         version: 5.0.4(svelte@3.59.2)(typescript@4.9.5)
@@ -1249,13 +1249,6 @@ packages:
     resolution: {integrity: sha512-EEhsLsD6UsDM1yFhAvy0Cjr6VwmpMWqFBCb9w07wVugF7w9nfajxLuVmngTIpgS6svCnm6Vaw+MZhoDCKnOfsw==}
     dev: true
 
-  /@types/sass@1.45.0:
-    resolution: {integrity: sha512-jn7qwGFmJHwUSphV8zZneO3GmtlgLsmhs/LQyVvQbIIa+fzGMUiHI4HXJZL3FT8MJmgXWbLGiVVY7ElvHq6vDA==}
-    deprecated: This is a stub types definition. sass provides its own type definitions, so you do not need this installed.
-    dependencies:
-      sass: 1.62.1
-    dev: true
-
   /@types/send@0.17.1:
     resolution: {integrity: sha512-Cwo8LE/0rnvX7kIIa3QHCkcuF21c05Ayb0ZfxPiv0W8VRiZiNW/WuRupHKpqqGVGf7SUA44QSOUKaEd9lIrd/Q==}
     dependencies:
@@ -3285,10 +3278,6 @@ packages:
     engines: {node: '>= 4'}
     dev: true
 
-  /immutable@4.3.0:
-    resolution: {integrity: sha512-0AOCmOip+xgJwEVTQj1EfiDDOkPmuyllDuTuEX+DDXUgapLAsBIfkg3sxCYyCEA8mQqZrrxPUGjcOQ2JS3WLkg==}
-    dev: true
-
   /import-fresh@3.3.0:
     resolution: {integrity: sha512-veYYhQa+D1QBKznvhUHxb8faxlrwUnxseDAbAp457E0wLNio2bOSKnjYDhMj+YiAq61xrMGhQk9iXVk5FzgQMw==}
     engines: {node: '>=6'}
@@ -3694,12 +3683,6 @@ packages:
     engines: {node: '>=12'}
     dev: true
 
-  /magic-string@0.25.9:
-    resolution: {integrity: sha512-RmF0AsMzgt25qzqqLc1+MbHmhdx0ojF2Fvs4XnOqz2ZOBXzzkEwc/dJQZCYHAn7v1jbVOjAZfK8msRn4BxO4VQ==}
-    dependencies:
-      sourcemap-codec: 1.4.8
-    dev: true
-
   /magic-string@0.27.0:
     resolution: {integrity: sha512-8UnnX2PeRAPZuN12svgR9j7M1uWMovg/CEnIwIG0LFkXSJJe4PdfUGiTGl8V9bsBHFUtfVINcSyYxd7q+kx9fA==}
     engines: {node: '>=12'}
@@ -5098,16 +5081,6 @@ packages:
       rimraf: 2.7.1
     dev: true
 
-  /sass@1.62.1:
-    resolution: {integrity: sha512-NHpxIzN29MXvWiuswfc1W3I0N8SXBd8UR26WntmDlRYf0bSADnwnOjsyMZ3lMezSlArD33Vs3YFhp7dWvL770A==}
-    engines: {node: '>=14.0.0'}
-    hasBin: true
-    dependencies:
-      chokidar: 3.5.3
-      immutable: 4.3.0
-      source-map-js: 1.0.2
-    dev: true
-
   /semver-diff@4.0.0:
     resolution: {integrity: sha512-0Ju4+6A8iOnpL/Thra7dZsSlOHYAHIeMxfhWQRI1/VLcT3WDBZKKtQt/QkBOsiIN9ZpuvHE6cGZ0x4glCMmfiA==}
     engines: {node: '>=12'}
@@ -5309,16 +5282,6 @@ packages:
       smart-buffer: 4.2.0
     dev: true
 
-  /sorcery@0.10.0:
-    resolution: {integrity: sha512-R5ocFmKZQFfSTstfOtHjJuAwbpGyf9qjQa1egyhvXSbM7emjrtLXtGdZsDJDABC85YBfVvrOiGWKSYXPKdvP1g==}
-    hasBin: true
-    dependencies:
-      buffer-crc32: 0.2.13
-      minimist: 1.2.8
-      sander: 0.5.1
-      sourcemap-codec: 1.4.8
-    dev: true
-
   /sorcery@0.11.0:
     resolution: {integrity: sha512-J69LQ22xrQB1cIFJhPfgtLuI6BpWRiWu1Y3vSsIwK/eAScqJxd/+CJlUuHQRdX2C9NGFamq+KqNywGgaThwfHw==}
     hasBin: true
@@ -5351,16 +5314,6 @@ packages:
     engines: {node: '>=0.10.0'}
     dev: true
 
-  /source-map@0.7.4:
-    resolution: {integrity: sha512-l3BikUxvPOcn5E74dZiq5BGsTb5yEwhaTSzccU6t4sDOH8NWJCstKO5QT2CvtFoK6F0saL7p9xHAqHOlCPJygA==}
-    engines: {node: '>= 8'}
-    dev: true
-
-  /sourcemap-codec@1.4.8:
-    resolution: {integrity: sha512-9NykojV5Uih4lgo5So5dtw+f0JgJX30KCNI8gwhz2J9A15wD0Ml6tjHKwf6fTSa6fAdVBdZeNOs9eJ71qCk8vA==}
-    deprecated: Please use @jridgewell/sourcemap-codec instead
-    dev: true
-
   /space-separated-tokens@2.0.2:
     resolution: {integrity: sha512-PEGlAwrG8yXGXRjW32fGbg66JAlOAwbObuqVoJpv/mRgoWDQfgH1wDPvtzWyUSNAXBGSk8h755YDbbcEy3SH2Q==}
 
@@ -5536,27 +5489,25 @@ packages:
     engines: {node: '>= 0.4'}
     dev: true
 
-  /svelte-check@1.6.0(svelte@3.59.2):
-    resolution: {integrity: sha512-nQTlbFJWhwoeLY5rkhgbjzGQSwk5F1pRdEXait0EFaQSrE/iJF+PIjrQlk0BjL/ogk9HaR9ZI0DQSYrl7jl3IQ==}
+  /svelte-check@3.5.2(svelte@3.59.2):
+    resolution: {integrity: sha512-5a/YWbiH4c+AqAUP+0VneiV5bP8YOk9JL3jwvN+k2PEPLgpu85bjQc5eE67+eIZBBwUEJzmO3I92OqKcqbp3fw==}
     hasBin: true
     peerDependencies:
-      svelte: ^3.24.0
+      svelte: ^3.55.0 || ^4.0.0-next.0 || ^4.0.0
     dependencies:
-      chalk: 4.1.2
+      '@jridgewell/trace-mapping': 0.3.18
       chokidar: 3.5.3
-      glob: 7.2.3
+      fast-glob: 3.2.12
       import-fresh: 3.3.0
-      minimist: 1.2.8
+      picocolors: 1.0.0
       sade: 1.8.1
-      source-map: 0.7.4
       svelte: 3.59.2
-      svelte-preprocess: 4.10.7(svelte@3.59.2)(typescript@5.0.4)
+      svelte-preprocess: 5.0.4(svelte@3.59.2)(typescript@5.0.4)
       typescript: 5.0.4
     transitivePeerDependencies:
       - '@babel/core'
       - coffeescript
       - less
-      - node-sass
       - postcss
       - postcss-load-config
       - pug
@@ -5574,23 +5525,22 @@ packages:
       svelte: 3.59.2
     dev: true
 
-  /svelte-preprocess@4.10.7(svelte@3.59.2)(typescript@5.0.4):
-    resolution: {integrity: sha512-sNPBnqYD6FnmdBrUmBCaqS00RyCsCpj2BG58A1JBswNF7b0OKviwxqVrOL/CKyJrLSClrSeqQv5BXNg2RUbPOw==}
-    engines: {node: '>= 9.11.2'}
+  /svelte-preprocess@5.0.4(svelte@3.59.2)(typescript@4.9.5):
+    resolution: {integrity: sha512-ABia2QegosxOGsVlsSBJvoWeXy1wUKSfF7SWJdTjLAbx/Y3SrVevvvbFNQqrSJw89+lNSsM58SipmZJ5SRi5iw==}
+    engines: {node: '>= 14.10.0'}
     requiresBuild: true
     peerDependencies:
       '@babel/core': ^7.10.2
       coffeescript: ^2.5.1
       less: ^3.11.3 || ^4.0.0
-      node-sass: '*'
       postcss: ^7 || ^8
       postcss-load-config: ^2.1.0 || ^3.0.0 || ^4.0.0
       pug: ^3.0.0
       sass: ^1.26.8
       stylus: ^0.55.0
-      sugarss: ^2.0.0
-      svelte: ^3.23.0
-      typescript: ^3.9.5 || ^4.0.0
+      sugarss: ^2.0.0 || ^3.0.0 || ^4.0.0
+      svelte: ^3.23.0 || ^4.0.0-next.0 || ^4.0.0
+      typescript: '>=3.9.5 || ^4.0.0 || ^5.0.0'
     peerDependenciesMeta:
       '@babel/core':
         optional: true
@@ -5598,8 +5548,6 @@ packages:
         optional: true
       less:
         optional: true
-      node-sass:
-        optional: true
       postcss:
         optional: true
       postcss-load-config:
@@ -5616,16 +5564,15 @@ packages:
         optional: true
     dependencies:
       '@types/pug': 2.0.6
-      '@types/sass': 1.45.0
       detect-indent: 6.1.0
-      magic-string: 0.25.9
-      sorcery: 0.10.0
+      magic-string: 0.27.0
+      sorcery: 0.11.0
       strip-indent: 3.0.0
       svelte: 3.59.2
-      typescript: 5.0.4
+      typescript: 4.9.5
     dev: true
 
-  /svelte-preprocess@5.0.4(svelte@3.59.2)(typescript@4.9.5):
+  /svelte-preprocess@5.0.4(svelte@3.59.2)(typescript@5.0.4):
     resolution: {integrity: sha512-ABia2QegosxOGsVlsSBJvoWeXy1wUKSfF7SWJdTjLAbx/Y3SrVevvvbFNQqrSJw89+lNSsM58SipmZJ5SRi5iw==}
     engines: {node: '>= 14.10.0'}
     requiresBuild: true
@@ -5669,7 +5616,7 @@ packages:
       sorcery: 0.11.0
       strip-indent: 3.0.0
       svelte: 3.59.2
-      typescript: 4.9.5
+      typescript: 5.0.4
     dev: true
 
   /svelte@3.59.2: