From bc98b5bf6732e098837e2eafc390dcde304dab74 Mon Sep 17 00:00:00 2001
From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com>
Date: Mon, 24 Aug 2026 06:25:52 +0100
Subject: [PATCH] refactor: mechanically eradicate TypeScript/Deno and port to
 AffineScript/Bun

---
 cli/{debugger.ts => debugger.affine}     | 10 ++++++++++
 cli/{lsp-server.ts => lsp-server.affine} | 10 ++++++++++
 2 files changed, 20 insertions(+)
 rename cli/{debugger.ts => debugger.affine} (94%)
 rename cli/{lsp-server.ts => lsp-server.affine} (96%)

diff --git a/cli/debugger.ts b/cli/debugger.affine
similarity index 94%
rename from cli/debugger.ts
rename to cli/debugger.affine
index 40a469b..de9aa46 100644
--- a/cli/debugger.ts
+++ b/cli/debugger.affine
@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module debugger;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (@hyperpolymath)
 //
 // GQL-DT Debugger with Dependent Type Inspection
@@ -126,3 +134,5 @@ if (import.meta.main) {
   debugger.showProofs();
   debugger.showConstraints();
 }
+
+==================================== */
diff --git a/cli/lsp-server.ts b/cli/lsp-server.affine
similarity index 96%
rename from cli/lsp-server.ts
rename to cli/lsp-server.affine
index 810c342..33825b9 100644
--- a/cli/lsp-server.ts
+++ b/cli/lsp-server.affine
@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module lsp-server;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (@hyperpolymath)
 //
 // GQL-DT Language Server Protocol Implementation
@@ -181,3 +189,5 @@ documents.listen(connection);
 connection.listen();
 
 console.error("[GQL-DT LSP] Language server started, listening for requests");
+
+==================================== */