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");
+
+==================================== */