From bb07924d7408b84257006470ce8d7c3d1981b150 Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Fri, 24 Apr 2026 19:13:54 +0200
Subject: [PATCH 1/6] search results: add links to selected properties

---
 .../category-search/results/+page.svelte      | 39 ++++++++++++-------
 .../functor-search/results/+page.svelte       | 39 ++++++++++++-------
 2 files changed, 52 insertions(+), 26 deletions(-)

diff --git a/src/routes/category-search/results/+page.svelte b/src/routes/category-search/results/+page.svelte
index a2fdb7a1..1413eb82 100644
--- a/src/routes/category-search/results/+page.svelte
+++ b/src/routes/category-search/results/+page.svelte
@@ -1,7 +1,7 @@
 <script lang="ts">
 	import { browser } from '$app/environment'
 	import CategoryList from '$components/CategoryList.svelte'
-	import { encode_property_ID } from '$lib/commons/property.url'
+	import { encode_property_ID, get_property_url } from '$lib/commons/property.url'
 	import MetaData from '$components/MetaData.svelte'
 	import { SEARCH_SEPARATOR } from '$lib/commons/search.config'
 	import { pluralize } from '$lib/client/utils'
@@ -37,18 +37,31 @@
 
 <h2>Search Results</h2>
 
-<ul>
-	{#if data.satisfied_properties.length > 0}
-		<li>
-			Satisfied properties: {data.satisfied_properties.join(', ')}
-		</li>
-	{/if}
-	{#if data.unsatisfied_properties.length > 0}
-		<li>
-			Unsatisfied properties: {data.unsatisfied_properties.join(', ')}
-		</li>
-	{/if}
-</ul>
+{#if data.satisfied_properties.length > 0}
+	<div>
+		<span>Satisfied properties:</span>
+
+		{#each data.satisfied_properties as property, index}
+			<a href={get_property_url(property, 'category')}>{property}</a
+			>{#if index < data.satisfied_properties.length - 1}
+				,&nbsp;
+			{/if}
+		{/each}
+	</div>
+{/if}
+
+{#if data.unsatisfied_properties.length > 0}
+	<div>
+		<span>Unsatisfied properties:</span>
+
+		{#each data.unsatisfied_properties as property, index}
+			<a href={get_property_url(property, 'category')}>{property}</a
+			>{#if index < data.unsatisfied_properties.length - 1}
+				,&nbsp;
+			{/if}
+		{/each}
+	</div>
+{/if}
 
 {#if data.is_consistent}
 	<p class="hint">
diff --git a/src/routes/functor-search/results/+page.svelte b/src/routes/functor-search/results/+page.svelte
index 1035ce54..899a71e1 100644
--- a/src/routes/functor-search/results/+page.svelte
+++ b/src/routes/functor-search/results/+page.svelte
@@ -1,6 +1,6 @@
 <script lang="ts">
 	import { browser } from '$app/environment'
-	import { encode_property_ID } from '$lib/commons/property.url'
+	import { encode_property_ID, get_property_url } from '$lib/commons/property.url'
 	import MetaData from '$components/MetaData.svelte'
 	import { SEARCH_SEPARATOR } from '$lib/commons/search.config'
 	import { pluralize } from '$lib/client/utils'
@@ -35,18 +35,31 @@
 
 <h2>Search results</h2>
 
-<ul>
-	{#if data.satisfied_properties.length > 0}
-		<li>
-			Satisfied properties: {data.satisfied_properties.join(', ')}
-		</li>
-	{/if}
-	{#if data.unsatisfied_properties.length > 0}
-		<li>
-			Unsatisfied properties: {data.unsatisfied_properties.join(', ')}
-		</li>
-	{/if}
-</ul>
+{#if data.satisfied_properties.length > 0}
+	<div>
+		<span>Satisfied properties:</span>
+
+		{#each data.satisfied_properties as property, index}
+			<a href={get_property_url(property, 'functor')}>{property}</a
+			>{#if index < data.satisfied_properties.length - 1}
+				,&nbsp;
+			{/if}
+		{/each}
+	</div>
+{/if}
+
+{#if data.unsatisfied_properties.length > 0}
+	<div>
+		<span>Unsatisfied properties:</span>
+
+		{#each data.unsatisfied_properties as property, index}
+			<a href={get_property_url(property, 'functor')}>{property}</a
+			>{#if index < data.unsatisfied_properties.length - 1}
+				,&nbsp;
+			{/if}
+		{/each}
+	</div>
+{/if}
 
 <p class="hint">
 	{pluralize(data.found_objects.length, {

From 1a814271c467fd5078b932892c75919506004922 Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Fri, 24 Apr 2026 19:21:28 +0200
Subject: [PATCH 2/6] fix imports

---
 src/routes/admin/+page.server.ts            | 2 +-
 src/routes/category-properties/+page.svelte | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/routes/admin/+page.server.ts b/src/routes/admin/+page.server.ts
index 0ac3fa0b..cfc35666 100644
--- a/src/routes/admin/+page.server.ts
+++ b/src/routes/admin/+page.server.ts
@@ -1,5 +1,5 @@
 import { redirect } from '@sveltejs/kit'
-import { has_session } from './sessions.js'
+import { has_session } from './sessions'
 
 export const prerender = false
 
diff --git a/src/routes/category-properties/+page.svelte b/src/routes/category-properties/+page.svelte
index 6426576a..906bce14 100644
--- a/src/routes/category-properties/+page.svelte
+++ b/src/routes/category-properties/+page.svelte
@@ -3,7 +3,7 @@
 	import SearchFilter from '$components/SearchFilter.svelte'
 	import SuggestionForm from '$components/SuggestionForm.svelte'
 	import { pluralize } from '$lib/client/utils'
-	import { get_property_url } from '$lib/commons/property.url.js'
+	import { get_property_url } from '$lib/commons/property.url'
 
 	let { data } = $props()
 

From 090f62ed4b70b7c68e3f22e864040259eac0f33a Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Fri, 24 Apr 2026 19:24:08 +0200
Subject: [PATCH 3/6] prevent word break in buttons

---
 src/routes/app.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/routes/app.css b/src/routes/app.css
index ca1b4e55..a53a0fcc 100644
--- a/src/routes/app.css
+++ b/src/routes/app.css
@@ -227,6 +227,7 @@ button:focus-visible {
 	padding: 0.2rem 0.8rem;
 	color: var(--button-text-color);
 	background-color: var(--button-color);
+	white-space: nowrap;
 }
 
 a.button {

From b410f39fafe0c13374b95261310b2c04b33fda94 Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Fri, 24 Apr 2026 19:41:34 +0200
Subject: [PATCH 4/6] save search config in session storage

---
 src/routes/category-search/+page.svelte       | 28 +++++++++++++++++++
 .../category-search/results/+page.svelte      |  2 +-
 src/routes/functor-search/+page.svelte        | 28 +++++++++++++++++++
 .../functor-search/results/+page.svelte       |  2 +-
 4 files changed, 58 insertions(+), 2 deletions(-)

diff --git a/src/routes/category-search/+page.svelte b/src/routes/category-search/+page.svelte
index 0a3ea18f..f7f97489 100644
--- a/src/routes/category-search/+page.svelte
+++ b/src/routes/category-search/+page.svelte
@@ -5,6 +5,7 @@
 	import MetaData from '$components/MetaData.svelte'
 	import { SEARCH_SEPARATOR } from '$lib/commons/search.config'
 	import { navigating } from '$app/state'
+	import { browser } from '$app/environment'
 
 	let { data } = $props()
 
@@ -15,6 +16,26 @@
 		satisfied_properties.length > 0 || unsatisfied_properties.length > 0,
 	)
 
+	$effect(() => {
+		preload_search_config()
+	})
+
+	function preload_search_config() {
+		if (!browser) return
+
+		const saved_search_txt = window.sessionStorage.getItem('category-search')
+		if (!saved_search_txt) return
+
+		try {
+			const saved_search = JSON.parse(saved_search_txt) as {
+				satisfied_properties: string[]
+				unsatisfied_properties: string[]
+			}
+			satisfied_properties = saved_search.satisfied_properties
+			unsatisfied_properties = saved_search.unsatisfied_properties
+		} catch (_) {}
+	}
+
 	function request_search_results() {
 		if (!is_valid_search) return
 
@@ -31,6 +52,13 @@
 		if (satisfied_query) url.searchParams.set('satisfied', satisfied_query)
 		if (unsatisfied_query) url.searchParams.set('unsatisfied', unsatisfied_query)
 
+		if (browser) {
+			window.sessionStorage.setItem(
+				'category-search',
+				JSON.stringify({ satisfied_properties, unsatisfied_properties }),
+			)
+		}
+
 		goto(url)
 	}
 
diff --git a/src/routes/category-search/results/+page.svelte b/src/routes/category-search/results/+page.svelte
index 1413eb82..8158d624 100644
--- a/src/routes/category-search/results/+page.svelte
+++ b/src/routes/category-search/results/+page.svelte
@@ -78,7 +78,7 @@
 {/if}
 
 <menu>
-	<a class="button" href="/category-search">Start new search</a>
+	<a class="button" href="/category-search">Adjust search</a>
 
 	{#if data.dual_search_available}
 		<a class="button" href={get_dual_search_results_link()}>Dualize search</a>
diff --git a/src/routes/functor-search/+page.svelte b/src/routes/functor-search/+page.svelte
index 55097c04..99de76b6 100644
--- a/src/routes/functor-search/+page.svelte
+++ b/src/routes/functor-search/+page.svelte
@@ -5,6 +5,7 @@
 	import MetaData from '$components/MetaData.svelte'
 	import { SEARCH_SEPARATOR } from '$lib/commons/search.config'
 	import { navigating } from '$app/state'
+	import { browser } from '$app/environment'
 
 	let { data } = $props()
 
@@ -15,6 +16,26 @@
 		satisfied_properties.length > 0 || unsatisfied_properties.length > 0,
 	)
 
+	$effect(() => {
+		preload_search_config()
+	})
+
+	function preload_search_config() {
+		if (!browser) return
+
+		const saved_search_txt = window.sessionStorage.getItem('functor-search')
+		if (!saved_search_txt) return
+
+		try {
+			const saved_search = JSON.parse(saved_search_txt) as {
+				satisfied_properties: string[]
+				unsatisfied_properties: string[]
+			}
+			satisfied_properties = saved_search.satisfied_properties
+			unsatisfied_properties = saved_search.unsatisfied_properties
+		} catch (_) {}
+	}
+
 	function request_search_results() {
 		if (!is_valid_search) return
 
@@ -31,6 +52,13 @@
 		if (satisfied_query) url.searchParams.set('satisfied', satisfied_query)
 		if (unsatisfied_query) url.searchParams.set('unsatisfied', unsatisfied_query)
 
+		if (browser) {
+			window.sessionStorage.setItem(
+				'functor-search',
+				JSON.stringify({ satisfied_properties, unsatisfied_properties }),
+			)
+		}
+
 		goto(url)
 	}
 
diff --git a/src/routes/functor-search/results/+page.svelte b/src/routes/functor-search/results/+page.svelte
index 899a71e1..aca37625 100644
--- a/src/routes/functor-search/results/+page.svelte
+++ b/src/routes/functor-search/results/+page.svelte
@@ -71,7 +71,7 @@
 <FunctorList functors={data.found_objects ?? []} />
 
 <menu>
-	<a class="button" href="/functor-search">Start new search</a>
+	<a class="button" href="/functor-search">Adjust search</a>
 
 	{#if data.dual_search_available}
 		<a class="button" href={get_dual_search_results_link()}>Dualize search</a>

From 2a97e466f08316cdf0c48f0c90ceb2cd19422b71 Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Fri, 24 Apr 2026 19:43:24 +0200
Subject: [PATCH 5/6] fix a11y warning

---
 src/components/Selection.svelte | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/components/Selection.svelte b/src/components/Selection.svelte
index 5be2df2a..6b0d49d5 100644
--- a/src/components/Selection.svelte
+++ b/src/components/Selection.svelte
@@ -127,6 +127,7 @@
 		<div class="input-wrapper">
 			<input
 				aria-label={item_label}
+				name={item_label}
 				aria-invalid={item.trim().length > 0 && !is_valid(item)}
 				type="text"
 				bind:value={item}

From 18233989cdc3086e983a0dd7b0c112eed63951da Mon Sep 17 00:00:00 2001
From: Script Raccoon <scriptraccoon@gmail.com>
Date: Fri, 24 Apr 2026 23:18:32 +0200
Subject: [PATCH 6/6] search: add reset button

---
 src/routes/category-search/+page.svelte | 40 ++++++++++++++++--------
 src/routes/functor-search/+page.svelte  | 41 +++++++++++++++++--------
 2 files changed, 57 insertions(+), 24 deletions(-)

diff --git a/src/routes/category-search/+page.svelte b/src/routes/category-search/+page.svelte
index f7f97489..2cd1235c 100644
--- a/src/routes/category-search/+page.svelte
+++ b/src/routes/category-search/+page.svelte
@@ -62,6 +62,12 @@
 		goto(url)
 	}
 
+	function reset() {
+		if (browser) window.sessionStorage.removeItem('category-search')
+		satisfied_properties = []
+		unsatisfied_properties = []
+	}
+
 	const sample_search_url = `/category-search/results?satisfied=finitely_complete${SEARCH_SEPARATOR}pointed&unsatisfied=complete`
 
 	let is_searching = $derived(navigating.to?.route.id === '/category-search/results')
@@ -96,15 +102,25 @@
 	item_label="Unsatisfied property"
 />
 
-<button
-	type="button"
-	class="button"
-	onclick={request_search_results}
-	disabled={is_searching || !is_valid_search}
->
-	{#if is_searching}
-		Searching...
-	{:else}
-		Search
-	{/if}
-</button>
+<menu>
+	<button
+		class="button"
+		onclick={request_search_results}
+		disabled={is_searching || !is_valid_search}
+	>
+		{#if is_searching}
+			Searching...
+		{:else}
+			Search
+		{/if}
+	</button>
+
+	<button class="button" onclick={reset} disabled={is_searching}>Reset</button>
+</menu>
+
+<style>
+	menu {
+		display: flex;
+		gap: 1rem;
+	}
+</style>
diff --git a/src/routes/functor-search/+page.svelte b/src/routes/functor-search/+page.svelte
index 99de76b6..a722776f 100644
--- a/src/routes/functor-search/+page.svelte
+++ b/src/routes/functor-search/+page.svelte
@@ -62,6 +62,12 @@
 		goto(url)
 	}
 
+	function reset() {
+		if (browser) window.sessionStorage.removeItem('functor-search')
+		satisfied_properties = []
+		unsatisfied_properties = []
+	}
+
 	const sample_search_url = `/functor-search/results?satisfied=continuous&unsatisfied=cocontinuous`
 
 	let is_searching = $derived(navigating.to?.route.id === '/functor-search/results')
@@ -96,15 +102,26 @@
 	item_label="Unsatisfied property"
 />
 
-<button
-	type="button"
-	class="button"
-	onclick={request_search_results}
-	disabled={is_searching || !is_valid_search}
->
-	{#if is_searching}
-		Searching...
-	{:else}
-		Search
-	{/if}
-</button>
+<menu>
+	<button
+		type="button"
+		class="button"
+		onclick={request_search_results}
+		disabled={is_searching || !is_valid_search}
+	>
+		{#if is_searching}
+			Searching...
+		{:else}
+			Search
+		{/if}
+	</button>
+
+	<button class="button" onclick={reset} disabled={is_searching}>Reset</button>
+</menu>
+
+<style>
+	menu {
+		display: flex;
+		gap: 1rem;
+	}
+</style>