Share code between database application and SvelteKit application

.cspell.json

@@ -18,7 +18,8 @@
 		"esbuild",
 		"coloneqq",
 		"FiltVect",
-		"networkidle"
+		"networkidle",
+		"devlog"
 	],
 	"words": [
 		"abelian",

.github/workflows/test.yaml

@@ -34,9 +34,6 @@ jobs:
           pnpm db:setup:catdat
           pnpm db:update
 
-      - name: Redundancy check
-        run: pnpm db:redundancies
-
       - name: Cache Playwright browsers
         uses: actions/cache@v6
         with:

databases/app/scripts/setup.ts

@@ -1,5 +1,6 @@
 import dotenv from 'dotenv'
 import { createClient } from '@libsql/client'
+import { devlog } from '$shared/utils'
 
 dotenv.config({ quiet: true })
 
@@ -39,7 +40,7 @@ async function create_visits_table() {
         )
     `)
 
-	console.info('Visits table ready')
+	devlog('Visits table ready')
 }
 
 /**
@@ -58,7 +59,7 @@ async function create_submissions_table() {
         )
     `)
 
-	console.info('Submissions table ready')
+	devlog('Submissions table ready')
 }
 
 /**
@@ -74,5 +75,5 @@ async function create_actions_table() {
         )
     `)
 
-	console.info('User actions table ready')
+	devlog('User actions table ready')
 }

databases/catdat/scripts/deduce-implications.ts

@@ -1,8 +1,13 @@
-import { STRUCTURE_TYPES_WITH_DUALS, type StructureType } from './config'
-import { are_equal_sets, parse_nested_json_set, parse_json_set } from './utils/helpers'
-import { get_client } from './utils/db'
+import { type StructureType, STRUCTURE_TYPES_WITH_DUALS } from '$shared/config'
+import {
+	are_equal_sets,
+	parse_nested_json_set,
+	parse_json_set,
+	devlog
+} from '$shared/utils'
+import { get_client } from '$shared/db'
 
-const db = get_client()
+const db = get_client({ readonly: false })
 
 /**
  * Clears all deduced implications. This is done before the deduction starts.
@@ -151,7 +156,7 @@ export function create_dualized_implications(type: StructureType) {
 			}
 		}
 
-		console.info(`Deduced ${count} ${type} implications by duality`)
+		devlog(`Deduced ${count} ${type} implications by duality`)
 	})
 
 	insert_duals()
@@ -203,5 +208,5 @@ export function create_self_dual_implications(type: StructureType) {
 		conclusion_insert.run(implication_id, p.dual, type)
 	}
 
-	console.info(`Deduced ${relevant_props.length} ${type} implications by self-duality`)
+	devlog(`Deduced ${relevant_props.length} ${type} implications by self-duality`)
 }

databases/catdat/scripts/deduce-special-morphisms.ts

@@ -1,6 +1,7 @@
-import { get_client } from './utils/db'
+import { get_client } from '$shared/db'
+import { devlog } from '$shared/utils'
 
-const db = get_client()
+const db = get_client({ readonly: false })
 
 // TODO: deduce further morphisms,
 // e.g. isomorphisms = bijective morphisms in algebraic categories,
@@ -46,5 +47,5 @@ function deduce_special_morphisms_of_dual_categories() {
 		)
 		.run()
 
-	console.info(`Deduced ${res.changes} special morphisms by duality`)
+	devlog(`Deduced ${res.changes} special morphisms by duality`)
 }

databases/catdat/scripts/deduce-special-objects.ts

@@ -1,6 +1,7 @@
-import { get_client } from './utils/db'
+import { get_client } from '$shared/db'
+import { devlog } from '$shared/utils'
 
-const db = get_client()
+const db = get_client({ readonly: false })
 
 export function deduce_special_objects() {
 	console.info('\n--- Deduce special objects ---')
@@ -40,5 +41,5 @@ function deduce_special_objects_of_dual_categories() {
 		)
 		.run()
 
-	console.info(`Deduced ${res.changes} special objects by duality`)
+	devlog(`Deduced ${res.changes} special objects by duality`)
 }