remove obsolete section

Author: ScriptRaccoon

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

@@ -9,7 +9,6 @@ type CategoryPairShort = { id1: string; name1: string; id2: string; name2: strin
 export const load = async () => {
 	const { results, err } = await batch<
 		[
-			CategoryShort & { count: number },
 			CategoryShort & { count: number },
 			CategoryShort & { count: number },
 			CategoryPairShort,
@@ -39,16 +38,6 @@ export const load = async () => {
 			GROUP BY c.id
 			ORDER BY lower(c.name);
 		`,
-		// missing reasons
-		sql`
-			SELECT c.id, c.name, COUNT(*) AS count
-			FROM categories c
-			JOIN category_property_assignments cp
-				ON cp.category_id = c.id
-			WHERE cp.reason IS NULL
-			GROUP BY c.id
-			ORDER BY lower(c.name);
-		`,
 		// undistinguishable category pairs
 		sql`
 			SELECT
@@ -89,7 +78,6 @@ export const load = async () => {
 	const [
 		categories_with_missing_morphisms,
 		categories_with_unknown_properties,
-		categories_with_unreasoned_properties,
 		undistinguishable_category_pairs,
 		functors_with_unknown_properties,
 	] = results
@@ -99,7 +87,6 @@ export const load = async () => {
 	return {
 		categories_with_unknown_properties,
 		categories_with_missing_morphisms,
-		categories_with_unreasoned_properties,
 		undistinguishable_category_pairs,
 		functors_with_unknown_properties,
 		missing_combinations,

src/routes/missing/+page.svelte

@@ -30,17 +30,6 @@
 	<CategoryList categories={data.categories_with_unknown_properties} />
 </section>
 
-<section>
-	<h3>Categories with properties without recorded reason</h3>
-
-	<p class="hint">
-		There are {data.categories_with_unreasoned_properties.length} categories with properties
-		(satisfied or unsatisfied) that have no reason specified.
-	</p>
-
-	<CategoryList categories={data.categories_with_unreasoned_properties} />
-</section>
-
 <section>
 	<h3>Categories with unknown special morphisms</h3>