fix: eliminate all Obj.magic dangerous patterns across monorepo

Replace every Obj.magic usage with type-safe FFI external bindings:

- verisimdb/Registry.res: Obj.magic(exn) -> Exn.asJsExn typed conversion
- quandledb/Api.res: Obj.magic(resp) -> typed @get/@send Fetch bindings
- lithoglyph/Grid.res: Obj.magic for focus/select/clientX -> @send/@get externals
- lithoglyph/App.res: Obj.magic(event) -> typed addEventListener binding

Proof closure audit found 0 dangerous patterns in Lean/Idris2 proof files
(all hits were comments or keyword table string literals). The 5 actual
Obj.magic usages were all in ReScript DOM/Fetch FFI boundaries, now
replaced with proper typed external declarations.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

lithoglyph/glyphbase/ui/src/App.res

@@ -2,6 +2,10 @@
 
 open Types
 
+// Type-safe DOM event listener bindings (eliminates Obj.magic)
+@val external addKeydownListener: (string, Dom.keyboardEvent => unit) => unit = "document.addEventListener"
+@val external removeKeydownListener: (string, Dom.keyboardEvent => unit) => unit = "document.removeEventListener"
+
 // Demo data for development
 let demoTable: table = {
   id: "tbl_demo",
@@ -905,15 +909,12 @@ let make = () => {
       }
     }
 
-    let handleKeyDownAny: Dom.event => unit = event => {
-      handleKeyDown(Obj.magic(event))
-    }
-
-    %raw(`document.addEventListener("keydown", handleKeyDownAny)`)
+    // Type-safe keydown listener via external binding (no Obj.magic)
+    addKeydownListener("keydown", handleKeyDown)
 
     Some(
       () => {
-        %raw(`document.removeEventListener("keydown", handleKeyDownAny)`)
+        removeKeydownListener("keydown", handleKeyDown)
       },
     )
   })

lithoglyph/glyphbase/ui/src/components/Grid.res

@@ -3,6 +3,11 @@
 
 open Types
 
+// Type-safe DOM FFI bindings (eliminates Obj.magic)
+@send external focus: Dom.element => unit = "focus"
+@send external select: Dom.element => unit = "select"
+@get external clientX: Dom.mouseEvent => int = "clientX"
+
 // Helper to convert cellValue to editable string
 let cellValueToString = (value: cellValue): string => {
   switch value {
@@ -62,9 +67,9 @@ module EditableInput = {
     React.useEffect0(() => {
       switch inputRef.current->Nullable.toOption {
       | Some(el) => {
-          let domEl = el->Obj.magic
-          domEl["focus"]()
-          domEl["select"]()
+          // Type-safe DOM calls via external bindings (no Obj.magic)
+          el->focus
+          el->select
         }
       | None => ()
       }
@@ -357,7 +362,8 @@ module HeaderCell = {
     React.useEffect1(() => {
       if isResizing {
         let handleMouseMove = (e: Dom.mouseEvent) => {
-          let clientX = e->Obj.magic->Dict.get("clientX")->Option.getOr(0.0)->Float.toInt
+          // Type-safe clientX via external binding (no Obj.magic)
+          let clientX = e->clientX
           let delta = clientX - startXRef.current
           let calculatedWidth = startWidthRef.current + delta
           let newWidth = if calculatedWidth < 50 {

quandledb

@@ -1 +1 @@
-Subproject commit 0a20355311e6ddb28c8abcb77939d6a1fcd9774b
+Subproject commit ce4490a500176cdde33e4296821cf217e3ed552e

verisimdb/src/registry/Registry.res

@@ -411,7 +411,14 @@ let replicateHexad = async (
           Error("Source store returned " ++ Belt.Int.toString(Fetch.Response.status(response)))
         }
       } catch {
-      | exn => Error("Failed to fetch from source: " ++ Js.Exn.message(Obj.magic(exn))->Belt.Option.getWithDefault("unknown"))
+      | exn => {
+          // Type-safe exception message extraction (no Obj.magic)
+          let msg = switch Exn.asJsExn(exn) {
+          | Some(jsExn) => Js.Exn.message(jsExn)->Belt.Option.getWithDefault("unknown")
+          | None => Exn.message(exn)->Option.getOr("unknown")
+          }
+          Error("Failed to fetch from source: " ++ msg)
+        }
       }
 
       switch fetchResult {