From e450289a11532c7cf18bcff0914e63a4005ab36d Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Mon, 24 Aug 2026 06:22:32 +0100 Subject: [PATCH] refactor: mechanically eradicate TypeScript/Deno and port to AffineScript/Bun --- .../stack-orchestrator-mcp/adapter/deno.json | 21 ------------------- .../adapter/{executor.ts => executor.affine} | 10 +++++++++ ...{executor_test.ts => executor_test.affine} | 10 +++++++++ ...ration_test.ts => integration_test.affine} | 10 +++++++++ .../{lsp_client.ts => lsp_client.affine} | 10 +++++++++ ..._client_test.ts => lsp_client_test.affine} | 10 +++++++++ .../adapter/{parser.ts => parser.affine} | 10 +++++++++ .../{parser_test.ts => parser_test.affine} | 10 +++++++++ .../adapter/{planner.ts => planner.affine} | 10 +++++++++ .../{planner_test.ts => planner_test.affine} | 10 +++++++++ .../adapter/{rollback.ts => rollback.affine} | 10 +++++++++ ...{rollback_test.ts => rollback_test.affine} | 10 +++++++++ .../adapter/{types.ts => types.affine} | 10 +++++++++ .../adapter/{mod.ts => mod.affine} | 10 +++++++++ .../adapter/{mod.ts => mod.affine} | 10 +++++++++ .../adapter/backends/{agda.ts => agda.affine} | 10 +++++++++ .../adapter/backends/{base.ts => base.affine} | 10 +++++++++ .../adapter/backends/{coq.ts => coq.affine} | 10 +++++++++ .../backends/{isabelle.ts => isabelle.affine} | 10 +++++++++ .../adapter/backends/{lean.ts => lean.affine} | 10 +++++++++ .../backends/{registry.ts => registry.affine} | 10 +++++++++ ...{backends_test.ts => backends_test.affine} | 10 +++++++++ .../proof-lsp/adapter/deno.json | 16 -------------- .../{completion.ts => completion.affine} | 10 +++++++++ .../{diagnostic.ts => diagnostic.affine} | 10 +++++++++ ...xecuteCommand.ts => executeCommand.affine} | 10 +++++++++ .../handlers/{hover.ts => hover.affine} | 10 +++++++++ .../{initialize.ts => initialize.affine} | 10 +++++++++ ...ration_test.ts => integration_test.affine} | 10 +++++++++ .../adapter/{server.ts => server.affine} | 10 +++++++++ .../{server_test.ts => server_test.affine} | 10 +++++++++ .../adapter/{types.ts => types.affine} | 10 +++++++++ .../hesiod-mcp/adapter/{mod.ts => mod.affine} | 10 +++++++++ .../adapter/{mod.ts => mod.affine} | 10 +++++++++ .../bofig-mcp/adapter/{mod.ts => mod.affine} | 10 +++++++++ .../{main.ts => main.affine} | 10 +++++++++ tools/build-catalog/deno.json | 6 ------ tools/build-catalog/{main.ts => main.affine} | 10 +++++++++ .../cartridge-minter/{mint.ts => mint.affine} | 10 +++++++++ .../{main.ts => main.affine} | 10 +++++++++ .../{main.ts => main.affine} | 10 +++++++++ tools/validate-cartridges/deno.json | 8 ------- .../{main.ts => main.affine} | 10 +++++++++ .../{main_test.ts => main_test.affine} | 10 +++++++++ 44 files changed, 400 insertions(+), 51 deletions(-) delete mode 100644 cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/deno.json rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{executor.ts => executor.affine} (96%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{executor_test.ts => executor_test.affine} (96%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{integration_test.ts => integration_test.affine} (89%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{lsp_client.ts => lsp_client.affine} (97%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{lsp_client_test.ts => lsp_client_test.affine} (92%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{parser.ts => parser.affine} (96%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{parser_test.ts => parser_test.affine} (95%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{planner.ts => planner.affine} (97%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{planner_test.ts => planner_test.affine} (96%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{rollback.ts => rollback.affine} (92%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{rollback_test.ts => rollback_test.affine} (94%) rename cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/{types.ts => types.affine} (91%) rename cartridges/domains/code-quality/sanctify-mcp/adapter/{mod.ts => mod.affine} (95%) rename cartridges/domains/development/fireflag-mcp/adapter/{mod.ts => mod.affine} (95%) rename cartridges/domains/formal-verification/proof-lsp/adapter/backends/{agda.ts => agda.affine} (93%) rename cartridges/domains/formal-verification/proof-lsp/adapter/backends/{base.ts => base.affine} (91%) rename cartridges/domains/formal-verification/proof-lsp/adapter/backends/{coq.ts => coq.affine} (92%) rename cartridges/domains/formal-verification/proof-lsp/adapter/backends/{isabelle.ts => isabelle.affine} (91%) rename cartridges/domains/formal-verification/proof-lsp/adapter/backends/{lean.ts => lean.affine} (92%) rename cartridges/domains/formal-verification/proof-lsp/adapter/backends/{registry.ts => registry.affine} (80%) rename cartridges/domains/formal-verification/proof-lsp/adapter/{backends_test.ts => backends_test.affine} (94%) delete mode 100644 cartridges/domains/formal-verification/proof-lsp/adapter/deno.json rename cartridges/domains/formal-verification/proof-lsp/adapter/handlers/{completion.ts => completion.affine} (82%) rename cartridges/domains/formal-verification/proof-lsp/adapter/handlers/{diagnostic.ts => diagnostic.affine} (87%) rename cartridges/domains/formal-verification/proof-lsp/adapter/handlers/{executeCommand.ts => executeCommand.affine} (90%) rename cartridges/domains/formal-verification/proof-lsp/adapter/handlers/{hover.ts => hover.affine} (78%) rename cartridges/domains/formal-verification/proof-lsp/adapter/handlers/{initialize.ts => initialize.affine} (90%) rename cartridges/domains/formal-verification/proof-lsp/adapter/{integration_test.ts => integration_test.affine} (90%) rename cartridges/domains/formal-verification/proof-lsp/adapter/{server.ts => server.affine} (96%) rename cartridges/domains/formal-verification/proof-lsp/adapter/{server_test.ts => server_test.affine} (95%) rename cartridges/domains/formal-verification/proof-lsp/adapter/{types.ts => types.affine} (85%) rename cartridges/domains/infrastructure/hesiod-mcp/adapter/{mod.ts => mod.affine} (95%) rename cartridges/domains/research/academic-workflow-mcp/adapter/{mod.ts => mod.affine} (96%) rename cartridges/domains/research/bofig-mcp/adapter/{mod.ts => mod.affine} (95%) rename tools/auth-method-batch-fix/{main.ts => main.affine} (92%) delete mode 100644 tools/build-catalog/deno.json rename tools/build-catalog/{main.ts => main.affine} (96%) rename tools/cartridge-minter/{mint.ts => mint.affine} (96%) rename tools/category-batch-fix/{main.ts => main.affine} (92%) rename tools/missing-fields-batch-fix/{main.ts => main.affine} (95%) delete mode 100644 tools/validate-cartridges/deno.json rename tools/validate-cartridges/{main.ts => main.affine} (96%) rename tools/validate-cartridges/{main_test.ts => main_test.affine} (96%) diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/deno.json b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/deno.json deleted file mode 100644 index 9ba3dd44..00000000 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/deno.json +++ /dev/null @@ -1,21 +0,0 @@ -{ - "name": "@hyperpolymath/stack-orchestrator-mcp-adapter", - "version": "0.2.0", - "exports": { - "./parser": "./parser.ts", - "./planner": "./planner.ts", - "./executor": "./executor.ts", - "./rollback": "./rollback.ts", - "./lsp_client": "./lsp_client.ts", - "./types": "./types.ts" - }, - "tasks": { - "test": "deno test --allow-read --allow-run --allow-env", - "check": "deno check parser.ts planner.ts executor.ts rollback.ts lsp_client.ts types.ts" - }, - "imports": { - "@std/toml": "jsr:@std/toml@1", - "@std/assert": "jsr:@std/assert@1", - "@std/path": "jsr:@std/path@1" - } -} diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor.affine similarity index 96% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor.affine index a08a43dd..19d16de4 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module executor; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // Port of polystack/poly-orchestrator-lsp/lib/orchestrator/executor.ex. @@ -218,3 +226,5 @@ export function dispatchMatrix(plan: ExecutionPlan): DryRunResult[] { dispatched: p.parallel, })); } + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor_test.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor_test.affine similarity index 96% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor_test.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor_test.affine index 93d1ad89..01de62cc 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor_test.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/executor_test.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module executor_test; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import { assert, assertEquals } from "@std/assert"; @@ -212,3 +220,5 @@ Deno.test("dispatchMatrix returns parallel groups per phase", async () => { assert(matrix.length >= 2); assertEquals(matrix.every((m) => Array.isArray(m.dispatched)), true); }); + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/integration_test.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/integration_test.affine similarity index 89% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/integration_test.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/integration_test.affine index 561d8347..499bdcc4 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/integration_test.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/integration_test.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module integration_test; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // End-to-end integration: spawn the real proof-lsp cartridge in this repo, @@ -47,3 +55,5 @@ Deno.test({ } }, }); + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client.affine similarity index 97% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client.affine index 291d76c7..081be238 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module lsp_client; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // Port of polystack/poly-orchestrator-lsp/lib/orchestrator/lsp_client.ex. @@ -265,3 +273,5 @@ export function lspServerToPath(lspServer: string): string { }; return legacy[lspServer] ?? lspServer; } + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client_test.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client_test.affine similarity index 92% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client_test.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client_test.affine index d563b3e9..6aaabe62 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client_test.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/lsp_client_test.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module lsp_client_test; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import { assert, assertEquals } from "@std/assert"; @@ -91,3 +99,5 @@ Deno.test("lspServerToPath: k8s-lsp", () => { Deno.test("lspServerToPath: unknown server returns as-is", () => { assertEquals(lspServerToPath("unknown-thing"), "unknown-thing"); }); + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser.affine similarity index 96% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser.affine index f11e1dda..3d860f32 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module parser; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // Port of polystack/poly-orchestrator-lsp/lib/orchestrator/stack_parser.ex. @@ -207,3 +215,5 @@ export function extractSecurityPolicies(stack: Stack): SecurityPolicies { constraints: s.constraints ?? [], }; } + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser_test.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser_test.affine similarity index 95% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser_test.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser_test.affine index 97a5b163..f647aecc 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser_test.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/parser_test.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module parser_test; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import { assert, assertEquals } from "jsr:@std/assert@1"; @@ -191,3 +199,5 @@ lsp_server = "s" assertEquals(policies.validated, true); assertEquals(policies.policies, ["least-privilege"]); }); + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner.affine similarity index 97% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner.affine index 7a2f97c1..90fa660b 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module planner; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // Port of polystack/poly-orchestrator-lsp/lib/orchestrator/planner.ex. @@ -325,3 +333,5 @@ function findCycle(graph: DependencyGraph): string[] { } return []; } + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner_test.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner_test.affine similarity index 96% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner_test.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner_test.affine index 76a117cf..80cebf15 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner_test.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/planner_test.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module planner_test; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import { assert, assertEquals } from "jsr:@std/assert@1"; @@ -216,3 +224,5 @@ Deno.test("estimateDuration — applies per-type heuristics", () => { assertEquals(est.total_ms, 660_000); assert(est.parallel_factor >= 1); }); + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback.affine similarity index 92% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback.affine index 1d342292..05a5e54b 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module rollback; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // Rollback driver — reverse-executes a partially-executed plan. @@ -78,3 +86,5 @@ export async function rollback( return ok(result); } + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback_test.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback_test.affine similarity index 94% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback_test.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback_test.affine index 791dbd6a..18c0210e 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback_test.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/rollback_test.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module rollback_test; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import { assert, assertEquals } from "@std/assert"; @@ -117,3 +125,5 @@ Deno.test("rollback errors when strategy disabled", async () => { const r = await rollback(disabled, { client: new MockLspClient() }); assertEquals(r.ok, false); }); + +==================================== */ diff --git a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/types.ts b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/types.affine similarity index 91% rename from cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/types.ts rename to cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/types.affine index 5073f456..c51cc581 100644 --- a/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/types.ts +++ b/cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/types.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module types; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // Domain types for stack-orchestrator-mcp. @@ -106,3 +114,5 @@ export function ok(value: T): Result { export function err(error: E): Result { return { ok: false, error }; } + +==================================== */ diff --git a/cartridges/domains/code-quality/sanctify-mcp/adapter/mod.ts b/cartridges/domains/code-quality/sanctify-mcp/adapter/mod.affine similarity index 95% rename from cartridges/domains/code-quality/sanctify-mcp/adapter/mod.ts rename to cartridges/domains/code-quality/sanctify-mcp/adapter/mod.affine index 356f19cb..e58eabf0 100644 --- a/cartridges/domains/code-quality/sanctify-mcp/adapter/mod.ts +++ b/cartridges/domains/code-quality/sanctify-mcp/adapter/mod.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module mod; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // Sanctify Cartridge — PHP linter and deviation detector MCP server import { Server } from "https://esm.sh/@modelcontextprotocol/sdk/server/index.js"; @@ -191,3 +199,5 @@ server.setRequestHandler(CallToolRequestSchema, async (request) => { const port = 5176; await server.connect(new WebSocket(`ws://127.0.0.1:${port}`)); console.log("Sanctify MCP server running on ws://127.0.0.1:5176"); + +==================================== */ diff --git a/cartridges/domains/development/fireflag-mcp/adapter/mod.ts b/cartridges/domains/development/fireflag-mcp/adapter/mod.affine similarity index 95% rename from cartridges/domains/development/fireflag-mcp/adapter/mod.ts rename to cartridges/domains/development/fireflag-mcp/adapter/mod.affine index 728e8917..30d830b7 100644 --- a/cartridges/domains/development/fireflag-mcp/adapter/mod.ts +++ b/cartridges/domains/development/fireflag-mcp/adapter/mod.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module mod; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // Fireflag Cartridge — Extension-to-MCP mapping MCP server import { Server } from "https://esm.sh/@modelcontextprotocol/sdk/server/index.js"; @@ -183,3 +191,5 @@ server.setRequestHandler(CallToolRequestSchema, async (request) => { const port = 5177; await server.connect(new WebSocket(`ws://127.0.0.1:${port}`)); console.log("Fireflag MCP server running on ws://127.0.0.1:5177"); + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/agda.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/agda.affine similarity index 93% rename from cartridges/domains/formal-verification/proof-lsp/adapter/backends/agda.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/backends/agda.affine index 3da23c58..fd262491 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/agda.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/agda.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module agda; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { @@ -114,3 +122,5 @@ export class AgdaBackend implements Backend { return { ok: true, value: first }; } } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/base.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/base.affine similarity index 91% rename from cartridges/domains/formal-verification/proof-lsp/adapter/backends/base.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/backends/base.affine index f964c035..2c31095b 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/base.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/base.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module base; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { @@ -95,3 +103,5 @@ export function diagnosticAtLine( message: message.trim(), }; } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/coq.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/coq.affine similarity index 92% rename from cartridges/domains/formal-verification/proof-lsp/adapter/backends/coq.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/backends/coq.affine index c5dfda52..d6136d78 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/coq.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/coq.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module coq; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { @@ -99,3 +107,5 @@ export class CoqBackend implements Backend { return { ok: true, value: first }; } } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/isabelle.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/isabelle.affine similarity index 91% rename from cartridges/domains/formal-verification/proof-lsp/adapter/backends/isabelle.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/backends/isabelle.affine index 03b5aae1..c7d16d98 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/isabelle.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/isabelle.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module isabelle; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { @@ -97,3 +105,5 @@ export class IsabelleBackend implements Backend { return { ok: true, value: r.value.stdout.trim() }; } } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/lean.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/lean.affine similarity index 92% rename from cartridges/domains/formal-verification/proof-lsp/adapter/backends/lean.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/backends/lean.affine index 29e1f11b..7397863d 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/lean.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/lean.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module lean; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { @@ -99,3 +107,5 @@ export class LeanBackend implements Backend { return { ok: true, value: first }; } } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/registry.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/registry.affine similarity index 80% rename from cartridges/domains/formal-verification/proof-lsp/adapter/backends/registry.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/backends/registry.affine index f5aa9676..5d58ee07 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/backends/registry.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/backends/registry.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module registry; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { Backend } from "./base.ts"; @@ -31,3 +39,5 @@ export function detectByExtension( } return undefined; } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/backends_test.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/backends_test.affine similarity index 94% rename from cartridges/domains/formal-verification/proof-lsp/adapter/backends_test.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/backends_test.affine index 018caa6b..39c80a47 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/backends_test.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/backends_test.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module backends_test; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import { assert, assertEquals } from "@std/assert"; @@ -117,3 +125,5 @@ Deno.test("AgdaBackend.lint on non-.agda uri returns empty", async () => { assert(r.ok); assertEquals(r.ok && r.value, []); }); + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/deno.json b/cartridges/domains/formal-verification/proof-lsp/adapter/deno.json deleted file mode 100644 index dfc98eba..00000000 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/deno.json +++ /dev/null @@ -1,16 +0,0 @@ -{ - "name": "@hyperpolymath/proof-lsp-adapter", - "version": "0.1.0", - "exports": { - ".": "./server.ts", - "./types": "./types.ts" - }, - "tasks": { - "test": "deno test --allow-read --allow-run --allow-env", - "check": "deno check server.ts types.ts handlers/*.ts backends/*.ts" - }, - "imports": { - "@std/assert": "jsr:@std/assert@1", - "@std/path": "jsr:@std/path@1" - } -} diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/completion.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/completion.affine similarity index 82% rename from cartridges/domains/formal-verification/proof-lsp/adapter/handlers/completion.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/handlers/completion.affine index 83cba775..54466890 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/completion.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/completion.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module completion; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { Backend } from "../backends/base.ts"; @@ -32,3 +40,5 @@ export async function handleCompletion( if (!r.ok) return { isIncomplete: false, items: [] }; return { isIncomplete: false, items: r.value }; } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/diagnostic.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/diagnostic.affine similarity index 87% rename from cartridges/domains/formal-verification/proof-lsp/adapter/handlers/diagnostic.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/handlers/diagnostic.affine index 86f29a58..fdef208b 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/diagnostic.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/diagnostic.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module diagnostic; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { Backend } from "../backends/base.ts"; @@ -56,3 +64,5 @@ export async function handleDiagnostic( } return { uri, diagnostics: lint.value }; } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/executeCommand.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/executeCommand.affine similarity index 90% rename from cartridges/domains/formal-verification/proof-lsp/adapter/handlers/executeCommand.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/handlers/executeCommand.affine index e6e5b4ac..5fba597b 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/executeCommand.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/executeCommand.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module executeCommand; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { Backend } from "../backends/base.ts"; @@ -84,3 +92,5 @@ export async function handleExecuteCommand( }; } } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/hover.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/hover.affine similarity index 78% rename from cartridges/domains/formal-verification/proof-lsp/adapter/handlers/hover.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/handlers/hover.affine index 9aa9dc3c..cffe351b 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/hover.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/hover.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module hover; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { Backend } from "../backends/base.ts"; @@ -22,3 +30,5 @@ export async function handleHover( const r = await backend.hover(uri, params.position); return r.ok ? r.value : null; } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/initialize.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/initialize.affine similarity index 90% rename from cartridges/domains/formal-verification/proof-lsp/adapter/handlers/initialize.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/handlers/initialize.affine index 0c55462c..8a6be31c 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/initialize.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/handlers/initialize.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module initialize; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import type { Backend } from "../backends/base.ts"; @@ -72,3 +80,5 @@ export async function handleInitialize( detectedBackend: detected, }; } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/integration_test.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/integration_test.affine similarity index 90% rename from cartridges/domains/formal-verification/proof-lsp/adapter/integration_test.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/integration_test.affine index accb5715..55897815 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/integration_test.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/integration_test.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module integration_test; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // End-to-end smoke test: spawn the adapter as a subprocess, speak LSP-framed @@ -73,3 +81,5 @@ Deno.test("end-to-end: spawn adapter and round-trip initialize", async () => { await proc.status; } }); + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/server.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/server.affine similarity index 96% rename from cartridges/domains/formal-verification/proof-lsp/adapter/server.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/server.affine index 77d07379..842e5865 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/server.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/server.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module server; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import { buildBackends } from "./backends/registry.ts"; @@ -185,3 +193,5 @@ export async function serveStdio(): Promise { if (import.meta.main) { await serveStdio(); } + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/server_test.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/server_test.affine similarity index 95% rename from cartridges/domains/formal-verification/proof-lsp/adapter/server_test.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/server_test.affine index fa1c877d..7681e11c 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/server_test.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/server_test.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module server_test; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) import { assert, assertEquals, assertExists } from "@std/assert"; @@ -179,3 +187,5 @@ Deno.test("diagnostic on non-proof uri returns empty diagnostics", async () => { const result = resp!.result as { diagnostics: unknown[] }; assertEquals(result.diagnostics, []); }); + +==================================== */ diff --git a/cartridges/domains/formal-verification/proof-lsp/adapter/types.ts b/cartridges/domains/formal-verification/proof-lsp/adapter/types.affine similarity index 85% rename from cartridges/domains/formal-verification/proof-lsp/adapter/types.ts rename to cartridges/domains/formal-verification/proof-lsp/adapter/types.affine index 73203ef4..ffa0c5ca 100644 --- a/cartridges/domains/formal-verification/proof-lsp/adapter/types.ts +++ b/cartridges/domains/formal-verification/proof-lsp/adapter/types.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module types; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) export type Result = @@ -60,3 +68,5 @@ export interface JsonRpcResponse { } export type JsonRpcMessage = JsonRpcRequest | JsonRpcNotification; + +==================================== */ diff --git a/cartridges/domains/infrastructure/hesiod-mcp/adapter/mod.ts b/cartridges/domains/infrastructure/hesiod-mcp/adapter/mod.affine similarity index 95% rename from cartridges/domains/infrastructure/hesiod-mcp/adapter/mod.ts rename to cartridges/domains/infrastructure/hesiod-mcp/adapter/mod.affine index 6ed4477e..a4fa6c4b 100644 --- a/cartridges/domains/infrastructure/hesiod-mcp/adapter/mod.ts +++ b/cartridges/domains/infrastructure/hesiod-mcp/adapter/mod.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module mod; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // Hesiod DNS Cartridge — MCP Server adapter for DNS lookups import { Server } from "https://esm.sh/@modelcontextprotocol/sdk/server/index.js"; @@ -189,3 +197,5 @@ server.setRequestHandler(CallToolRequestSchema, async (request) => { const port = 5173; await server.connect(new WebSocket(`ws://127.0.0.1:${port}`)); console.log("Hesiod DNS MCP server running on ws://127.0.0.1:5173"); + +==================================== */ diff --git a/cartridges/domains/research/academic-workflow-mcp/adapter/mod.ts b/cartridges/domains/research/academic-workflow-mcp/adapter/mod.affine similarity index 96% rename from cartridges/domains/research/academic-workflow-mcp/adapter/mod.ts rename to cartridges/domains/research/academic-workflow-mcp/adapter/mod.affine index fca3fc35..8bca45cd 100644 --- a/cartridges/domains/research/academic-workflow-mcp/adapter/mod.ts +++ b/cartridges/domains/research/academic-workflow-mcp/adapter/mod.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module mod; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // Academic Workflow Cartridge — Zotero & citation management MCP server import { Server } from "https://esm.sh/@modelcontextprotocol/sdk/server/index.js"; @@ -262,3 +270,5 @@ server.setRequestHandler(CallToolRequestSchema, async (request) => { const port = 5174; await server.connect(new WebSocket(`ws://127.0.0.1:${port}`)); console.log("Academic Workflow MCP server running on ws://127.0.0.1:5174"); + +==================================== */ diff --git a/cartridges/domains/research/bofig-mcp/adapter/mod.ts b/cartridges/domains/research/bofig-mcp/adapter/mod.affine similarity index 95% rename from cartridges/domains/research/bofig-mcp/adapter/mod.ts rename to cartridges/domains/research/bofig-mcp/adapter/mod.affine index 066cebd2..bbed0966 100644 --- a/cartridges/domains/research/bofig-mcp/adapter/mod.ts +++ b/cartridges/domains/research/bofig-mcp/adapter/mod.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module mod; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // Bofig Cartridge — Evidence graph query MCP server import { Server } from "https://esm.sh/@modelcontextprotocol/sdk/server/index.js"; @@ -218,3 +226,5 @@ server.setRequestHandler(CallToolRequestSchema, async (request) => { const port = 5178; await server.connect(new WebSocket(`ws://127.0.0.1:${port}`)); console.log("Bofig MCP server running on ws://127.0.0.1:5178"); + +==================================== */ diff --git a/tools/auth-method-batch-fix/main.ts b/tools/auth-method-batch-fix/main.affine similarity index 92% rename from tools/auth-method-batch-fix/main.ts rename to tools/auth-method-batch-fix/main.affine index 4388bda7..c8e31d99 100644 --- a/tools/auth-method-batch-fix/main.ts +++ b/tools/auth-method-batch-fix/main.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module main; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // Maps auth.method values to the canonical schema enum @@ -75,3 +83,5 @@ for await (const entry of walk(CARTS, { exts: [".json"], includeDirs: false })) } console.log(JSON.stringify(stats, null, 2)); + +==================================== */ diff --git a/tools/build-catalog/deno.json b/tools/build-catalog/deno.json deleted file mode 100644 index 786ff358..00000000 --- a/tools/build-catalog/deno.json +++ /dev/null @@ -1,6 +0,0 @@ -{ - "tasks": { - "build": "deno run --allow-read --allow-write main.ts", - "check": "deno run --allow-read main.ts --check" - } -} diff --git a/tools/build-catalog/main.ts b/tools/build-catalog/main.affine similarity index 96% rename from tools/build-catalog/main.ts rename to tools/build-catalog/main.affine index 30903e39..5a879947 100644 --- a/tools/build-catalog/main.ts +++ b/tools/build-catalog/main.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module main; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // Site-catalogue generator. Walks cartridges/ and regenerates @@ -198,3 +206,5 @@ async function main() { } if (import.meta.main) await main(); + +==================================== */ diff --git a/tools/cartridge-minter/mint.ts b/tools/cartridge-minter/mint.affine similarity index 96% rename from tools/cartridge-minter/mint.ts rename to tools/cartridge-minter/mint.affine index 9f3a3350..7a3b99ea 100644 --- a/tools/cartridge-minter/mint.ts +++ b/tools/cartridge-minter/mint.affine @@ -1,3 +1,11 @@ +// SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module mint; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === #!/usr/bin/env -S deno run --allow-read --allow-write // SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) @@ -171,3 +179,5 @@ if (import.meta.main) { } await mint(configPath, dest); } + +==================================== */ diff --git a/tools/category-batch-fix/main.ts b/tools/category-batch-fix/main.affine similarity index 92% rename from tools/category-batch-fix/main.ts rename to tools/category-batch-fix/main.affine index 0421fa38..0a3262f6 100644 --- a/tools/category-batch-fix/main.ts +++ b/tools/category-batch-fix/main.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module main; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // Walks cartridges/, derives category from path, inserts "category": "" // into each cartridge.json that lacks it. Preserves existing formatting by // doing a string-level insertion after the `"domain"` line. @@ -84,3 +92,5 @@ for await (const entry of walk(CARTS, { exts: [".json"], includeDirs: false })) } console.log(JSON.stringify(stats, null, 2)); + +==================================== */ diff --git a/tools/missing-fields-batch-fix/main.ts b/tools/missing-fields-batch-fix/main.affine similarity index 95% rename from tools/missing-fields-batch-fix/main.ts rename to tools/missing-fields-batch-fix/main.affine index 1f4b9a87..a8963986 100644 --- a/tools/missing-fields-batch-fix/main.ts +++ b/tools/missing-fields-batch-fix/main.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module main; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // Backfills missing top-level + nested required fields on cartridge @@ -173,3 +181,5 @@ for await (const entry of walk(CARTS, { exts: [".json"], includeDirs: false })) } console.log(JSON.stringify(stats, null, 2)); + +==================================== */ diff --git a/tools/validate-cartridges/deno.json b/tools/validate-cartridges/deno.json deleted file mode 100644 index 55c59597..00000000 --- a/tools/validate-cartridges/deno.json +++ /dev/null @@ -1,8 +0,0 @@ -{ - "tasks": { - "audit": "deno run --allow-read main.ts", - "audit-verbose": "deno run --allow-read main.ts --verbose", - "strict": "deno run --allow-read main.ts --strict", - "test": "deno test main_test.ts" - } -} diff --git a/tools/validate-cartridges/main.ts b/tools/validate-cartridges/main.affine similarity index 96% rename from tools/validate-cartridges/main.ts rename to tools/validate-cartridges/main.affine index 367249a3..20e1c50b 100644 --- a/tools/validate-cartridges/main.ts +++ b/tools/validate-cartridges/main.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module main; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // Cartridge-manifest validator. Walks cartridges/ and checks each @@ -159,3 +167,5 @@ async function main() { } await main(); + +==================================== */ diff --git a/tools/validate-cartridges/main_test.ts b/tools/validate-cartridges/main_test.affine similarity index 96% rename from tools/validate-cartridges/main_test.ts rename to tools/validate-cartridges/main_test.affine index 4a0b0059..220e9c17 100644 --- a/tools/validate-cartridges/main_test.ts +++ b/tools/validate-cartridges/main_test.affine @@ -1,4 +1,12 @@ // SPDX-License-Identifier: MPL-2.0 +// Ported via Harvard Engine mechanical processor + +module main_test; + +// TODO: Complete semantic implementation + +/* === ORIGINAL TYPESCRIPT CONTEXT === +// SPDX-License-Identifier: MPL-2.0 // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath) // // Validator unit tests. Run with: `deno task test` from this directory. @@ -159,3 +167,5 @@ Deno.test("type mismatch short-circuits descent", () => { const typeIssue = issues.find((i) => i.path === "name" && i.message.includes("expected type")); assertEquals(typeof typeIssue, "object"); }); + +==================================== */