show missing functor data

Author: ScriptRaccoon

src/components/FunctorList.svelte

@@ -4,7 +4,7 @@
 	import type { FunctorShort } from '$lib/commons/types'
 
 	type Props = {
-		functors: FunctorShort[]
+		functors: (FunctorShort & { count?: number })[]
 	}
 
 	let { functors }: Props = $props()
@@ -17,6 +17,9 @@
 				<a href="/functor/{functor.id}">
 					{functor.name}
 				</a>
+				{#if functor.count !== undefined}
+					<span class="count">({functor.count})</span>
+				{/if}
 			</li>
 		{/each}
 	</ul>
@@ -28,4 +31,8 @@
 	ul {
 		margin-block: 1rem;
 	}
+
+	.count {
+		color: var(--secondary-text-color);
+	}
 </style>

src/routes/missing/+page.server.ts

@@ -1,6 +1,6 @@
 import { batch } from '$lib/server/db'
 import sql from 'sql-template-tag'
-import type { CategoryShort } from '$lib/commons/types'
+import type { CategoryShort, FunctorShort } from '$lib/commons/types'
 import { error } from '@sveltejs/kit'
 import { get_missing_combinations } from '$lib/server/consistency'
 
@@ -13,6 +13,7 @@ export const load = async () => {
 			CategoryShort & { count: number },
 			CategoryShort & { count: number },
 			CategoryPairShort,
+			FunctorShort & { count: number },
 		]
 	>([
 		// missing special morphisms
@@ -69,6 +70,18 @@ export const load = async () => {
 			END
 			) = 0;
 		`,
+		// functors with unknown properties
+		sql`
+			SELECT f.id, f.name, COUNT(*) AS count
+			FROM functors f
+			INNER JOIN functor_properties p
+			LEFT JOIN functor_property_assignments fp
+				ON fp.functor_id = f.id
+				AND fp.property_id = p.id
+			WHERE fp.property_id IS NULL
+			GROUP BY f.id
+			ORDER BY lower(f.name);
+		`,
 	])
 
 	if (err) error(500, 'Failed to load data')
@@ -78,6 +91,7 @@ export const load = async () => {
 		categories_with_unknown_properties,
 		categories_with_unreasoned_properties,
 		undistinguishable_category_pairs,
+		functors_with_unknown_properties,
 	] = results
 
 	const missing_combinations = await get_missing_combinations()
@@ -87,6 +101,7 @@ export const load = async () => {
 		categories_with_missing_morphisms,
 		categories_with_unreasoned_properties,
 		undistinguishable_category_pairs,
+		functors_with_unknown_properties,
 		missing_combinations,
 	}
 }

src/routes/missing/+page.svelte

@@ -1,5 +1,6 @@
 <script lang="ts">
 	import CategoryList from '$components/CategoryList.svelte'
+	import FunctorList from '$components/FunctorList.svelte'
 	import MetaData from '$components/MetaData.svelte'
 	import { get_property_url } from '$lib/commons/property.url'
 
@@ -108,6 +109,17 @@
 	{/if}
 </section>
 
+<section>
+	<h3>Functors with unknown properties</h3>
+
+	<p class="hint">
+		There are {data.functors_with_unknown_properties.length} categories that have some unknown
+		properties.
+	</p>
+
+	<FunctorList functors={data.functors_with_unknown_properties} />
+</section>
+
 <style>
 	.combinations {
 		margin-top: 0.5rem;