Skip to content

refactor: eradicate TypeScript and NPM/Deno configs #125

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 1 commit into from
Aug 24, 2026
Merged

refactor: eradicate TypeScript and NPM/Deno configs #125

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 0 additions & 21 deletions cartridges/cross-cutting/orchestration/stack-orchestrator-mcp/adapter/deno.json
View file
Open in desktop

This file was deleted.

10 changes: 10 additions & 0 deletions ...tack-orchestrator-mcp/adapter/executor.ts → ...-orchestrator-mcp/adapter/executor.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
Expand Down Expand Up @@ -218,3 +226,5 @@ export function dispatchMatrix(plan: ExecutionPlan): DryRunResult[] {
dispatched: p.parallel,
}));
}

==================================== */
10 changes: 10 additions & 0 deletions ...orchestrator-mcp/adapter/executor_test.ts → ...estrator-mcp/adapter/executor_test.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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";
Expand Down Expand Up @@ -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);
});

==================================== */
10 changes: 10 additions & 0 deletions ...hestrator-mcp/adapter/integration_test.ts → ...rator-mcp/adapter/integration_test.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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,
Expand Down Expand Up @@ -47,3 +55,5 @@ Deno.test({
}
},
});

==================================== */
10 changes: 10 additions & 0 deletions ...ck-orchestrator-mcp/adapter/lsp_client.ts → ...rchestrator-mcp/adapter/lsp_client.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
Expand Down Expand Up @@ -265,3 +273,5 @@ export function lspServerToPath(lspServer: string): string {
};
return legacy[lspServer] ?? lspServer;
}

==================================== */
10 changes: 10 additions & 0 deletions ...chestrator-mcp/adapter/lsp_client_test.ts → ...trator-mcp/adapter/lsp_client_test.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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";
Expand Down Expand Up @@ -91,3 +99,5 @@ Deno.test("lspServerToPath: k8s-lsp", () => {
Deno.test("lspServerToPath: unknown server returns as-is", () => {
assertEquals(lspServerToPath("unknown-thing"), "unknown-thing");
});

==================================== */
10 changes: 10 additions & 0 deletions .../stack-orchestrator-mcp/adapter/parser.ts → ...ck-orchestrator-mcp/adapter/parser.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
Expand Down Expand Up @@ -207,3 +215,5 @@ export function extractSecurityPolicies(stack: Stack): SecurityPolicies {
constraints: s.constraints ?? [],
};
}

==================================== */
10 changes: 10 additions & 0 deletions ...k-orchestrator-mcp/adapter/parser_test.ts → ...chestrator-mcp/adapter/parser_test.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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";
Expand Down Expand Up @@ -191,3 +199,5 @@ lsp_server = "s"
assertEquals(policies.validated, true);
assertEquals(policies.policies, ["least-privilege"]);
});

==================================== */
10 changes: 10 additions & 0 deletions ...stack-orchestrator-mcp/adapter/planner.ts → ...k-orchestrator-mcp/adapter/planner.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
Expand Down Expand Up @@ -325,3 +333,5 @@ function findCycle(graph: DependencyGraph): string[] {
}
return [];
}

==================================== */
10 changes: 10 additions & 0 deletions ...-orchestrator-mcp/adapter/planner_test.ts → ...hestrator-mcp/adapter/planner_test.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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";
Expand Down Expand Up @@ -216,3 +224,5 @@ Deno.test("estimateDuration — applies per-type heuristics", () => {
assertEquals(est.total_ms, 660_000);
assert(est.parallel_factor >= 1);
});

==================================== */
10 changes: 10 additions & 0 deletions ...tack-orchestrator-mcp/adapter/rollback.ts → ...-orchestrator-mcp/adapter/rollback.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
Expand Down Expand Up @@ -78,3 +86,5 @@ export async function rollback(

return ok(result);
}

==================================== */
10 changes: 10 additions & 0 deletions ...orchestrator-mcp/adapter/rollback_test.ts → ...estrator-mcp/adapter/rollback_test.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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";
Expand Down Expand Up @@ -117,3 +125,5 @@ Deno.test("rollback errors when strategy disabled", async () => {
const r = await rollback(disabled, { client: new MockLspClient() });
assertEquals(r.ok, false);
});

==================================== */
10 changes: 10 additions & 0 deletions ...n/stack-orchestrator-mcp/adapter/types.ts → ...ack-orchestrator-mcp/adapter/types.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.
Expand Down Expand Up @@ -106,3 +114,5 @@ export function ok<T>(value: T): Result<T, never> {
export function err<E>(error: E): Result<never, E> {
return { ok: false, error };
}

==================================== */
10 changes: 10 additions & 0 deletions .../code-quality/sanctify-mcp/adapter/mod.ts → ...e-quality/sanctify-mcp/adapter/mod.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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";
Expand Down Expand Up @@ -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");

==================================== */
10 changes: 10 additions & 0 deletions ...s/development/fireflag-mcp/adapter/mod.ts → ...velopment/fireflag-mcp/adapter/mod.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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";
Expand Down Expand Up @@ -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");

==================================== */
10 changes: 10 additions & 0 deletions ...cation/proof-lsp/adapter/backends/agda.ts → ...on/proof-lsp/adapter/backends/agda.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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 {
Expand Down Expand Up @@ -114,3 +122,5 @@ export class AgdaBackend implements Backend {
return { ok: true, value: first };
}
}

==================================== */
10 changes: 10 additions & 0 deletions ...cation/proof-lsp/adapter/backends/base.ts → ...on/proof-lsp/adapter/backends/base.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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 {
Expand Down Expand Up @@ -95,3 +103,5 @@ export function diagnosticAtLine(
message: message.trim(),
};
}

==================================== */
10 changes: 10 additions & 0 deletions ...ication/proof-lsp/adapter/backends/coq.ts → ...ion/proof-lsp/adapter/backends/coq.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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 {
Expand Down Expand Up @@ -99,3 +107,5 @@ export class CoqBackend implements Backend {
return { ok: true, value: first };
}
}

==================================== */
10 changes: 10 additions & 0 deletions ...on/proof-lsp/adapter/backends/isabelle.ts → ...roof-lsp/adapter/backends/isabelle.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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 {
Expand Down Expand Up @@ -97,3 +105,5 @@ export class IsabelleBackend implements Backend {
return { ok: true, value: r.value.stdout.trim() };
}
}

==================================== */
10 changes: 10 additions & 0 deletions ...cation/proof-lsp/adapter/backends/lean.ts → ...on/proof-lsp/adapter/backends/lean.affine
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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 {
Expand Down Expand Up @@ -99,3 +107,5 @@ export class LeanBackend implements Backend {
return { ok: true, value: first };
}
}

==================================== */
Loading
Loading