chore: normalize import paths

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"
   }

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()

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()
 

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'
 

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>

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'

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
 

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
 

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}

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'
 

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'

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

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

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'

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'

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

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'
 

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'

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>

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

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>

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>

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>

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

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()
 

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
 

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

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

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'
 

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'

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
 

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'

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'

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

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[] = []

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[]

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][]

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'
 

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'