From f18221a4fcac1f506b58f5d588bccf3cc391a5fe Mon Sep 17 00:00:00 2001
From: Steven Clontz <steven.clontz@gmail.com>
Date: Fri, 29 Aug 2025 07:41:10 -0500
Subject: [PATCH] add prompt to contribute for empty search

---
 .../components/Search/Results/NotFound.svelte | 22 ++++++++++++++-----
 1 file changed, 16 insertions(+), 6 deletions(-)

diff --git a/packages/viewer/src/components/Search/Results/NotFound.svelte b/packages/viewer/src/components/Search/Results/NotFound.svelte
index bd16b1be..337a938b 100644
--- a/packages/viewer/src/components/Search/Results/NotFound.svelte
+++ b/packages/viewer/src/components/Search/Results/NotFound.svelte
@@ -1,5 +1,6 @@
 <script lang="ts">
   import context from '@/context'
+  import { contributingUrl } from '@/constants'
   import { Formula } from '@/components/Shared'
   import type { Formula as F, Property } from '@/models'
   import { disprove } from '@/stores/deduction'
@@ -16,11 +17,20 @@
 {#if formula && proof}
   <Disprovable {formula} {proof} />
 {:else}
-  No spaces found
-  {#if text}matching <code>{text}</code>{/if}
-  {#if text && formula}and{/if}
-  {#if formula}
-    satisfying
-    <Formula value={formula} />
+  <p>
+    No spaces found
+    {#if text}matching <code>{text}</code>{/if}
+    {#if text && formula}and{/if}
+    {#if formula}
+      satisfying
+      <Formula value={formula} />.
+    {/if}
+  </p>
+  {#if !text}
+    <p>
+      <a href={contributingUrl}>
+        Contribute an example or theorem that answers this search.
+      </a>
+    </p>
   {/if}
 {/if}