refactor: eradicate TypeScript and NPM/Deno configs

.github/workflows/governance.yml

@@ -14,4 +14,4 @@ permissions:
 
 jobs:
   governance:
-    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
+    uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329

.github/workflows/hypatia-scan.yml

@@ -17,4 +17,4 @@ permissions:
 
 jobs:
   scan:
-    uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
+    uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329

.github/workflows/secret-scanner.yml

@@ -21,4 +21,4 @@ jobs:
       pull-requests: write
       actions: read
     uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@7fdc2705df74b4e352d2a1cde3e87a5923fdf329
-    secrets: inherit
+    secrets: inherit

RuntimeMessage.d.ts → RuntimeMessage.d.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module RuntimeMessage.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 namespace RuntimeMessage {
     interface DkimMessage {
@@ -131,3 +139,5 @@ namespace RuntimeMessage {
 
     type Messages = SignRules.Messages | KeyDb.Messages | DisplayAction.Messages;
 }
+
+==================================== */

WebExtensions.d.ts → WebExtensions.d.affine

@@ -1,8 +1,18 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module WebExtensions.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 declare module browser {
     declare module accounts {
         // https://github.com/thundernest/webext-docs/issues/56
         var get: (accountId: string) => Promise<MailAccount?>;
     }
 }
+
+==================================== */

experiments/ctypes.d.ts → experiments/ctypes.d.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module ctypes.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // https://developer.mozilla.org/en-US/docs/Mozilla/js-ctypes
 declare module ctypes {
@@ -149,3 +157,5 @@ declare module ctypes {
     const stdcall_abi: ABI;
     const winapi_abi: ABI;
 }
+
+==================================== */

experiments/dkimHeader.d.ts → experiments/dkimHeader.d.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module dkimHeader.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 interface DKIMTooltipElement extends HTMLElement {
     _target: DKIMTooltipTarget | void
@@ -51,3 +59,5 @@ declare module browser {
         const reset: (tabId: number, messageId: number) => Promise<boolean>;
     }
 }
+
+==================================== */

experiments/jsdns.d.ts → experiments/jsdns.d.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module jsdns.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 declare module browser {
     declare module jsdns {
@@ -17,3 +25,5 @@ declare module browser {
         const txt: (name: string) => Promise<TxtResult>;
     }
 }
+
+==================================== */

experiments/libunbound.d.ts → experiments/libunbound.d.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module libunbound.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 declare module browser {
     declare module libunbound {
@@ -105,3 +113,5 @@ interface ub_result_data extends ctypes.CData {
     why_bogus: ctypes.CDataPointerType<typeof ctypes.char>;
     ttl: number;
 }
+
+==================================== */

experiments/mailUtils.d.ts → experiments/mailUtils.d.affine

@@ -1,7 +1,17 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module mailUtils.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 declare module browser {
     declare module mailUtils {
         const getBaseDomainFromAddr: (addr: string) => Promise<string>;
     }
 }
+
+==================================== */

experiments/mozilla.d.ts → experiments/mozilla.d.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module mozilla.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 ////////////////////////////////////////////////////////////////////////////////
 //// Mozilla specific modules
@@ -397,3 +405,5 @@ interface nsIMsgIncomingServer {
     getCharValue(attr: string): string;
     getIntValue(attr: string): number;
 }
+
+==================================== */

experiments/mozillaDom.d.ts → experiments/mozillaDom.d.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module mozillaDom.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 interface Document {
     createXULElement(tagName: string, options?: ElementCreationOptions): XULElement;
@@ -8,3 +16,5 @@ interface Window {
     readonly gMessageListeners: object[];
     readonly updateExpandedView: () => void;
 }
+
+==================================== */

experiments/storageMessage.d.ts → experiments/storageMessage.d.affine

@@ -1,8 +1,18 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module storageMessage.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 declare module browser {
     declare module storageMessage {
         const set: (messageId: number, key: string, value: string) => Promise<void>;
         const get: (messageId: number, key: string) => Promise<string>;
     }
 }
+
+==================================== */

modules/authVerifier.d.ts → modules/authVerifier.d.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module authVerifier.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 // The following is for Visual Studio Code IntelliSense only:
 // The type detection via JSDoc fails at some places, so we additionally have to specify them here.
@@ -18,3 +26,5 @@ declare module IAuthVerifier {
         favicon?: string | undefined; // url to the favicon of the sdid
     }
 }
+
+==================================== */

modules/dns.d.affine

@@ -0,0 +1,13 @@
+// SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module dns.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+type queryDnsTxtCallback = typeof import("./dns.mjs.js").default.txt;
+
+==================================== */

modules/logging.d.ts → modules/logging.d.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module logging.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 interface LoggerI {
     fatal(message?: any, ...optionalParams: any[]): void;
@@ -11,3 +19,5 @@ interface LoggerI {
 
     logLevel: number;
 }
+
+==================================== */

modules/spf/verifier.d.ts → modules/spf/verifier.d.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module verifier.d;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 /**
  * Type definitions for SPF Verifier
@@ -15,3 +23,5 @@ declare module SPFVerifier {
 }
 
 export default SPFVerifier;
+
+==================================== */

tests/aspect/security_test.ts → tests/aspect/security_test.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module security_test;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 /// <reference lib="deno.ns" />
 
@@ -271,3 +279,5 @@ Deno.test("Security - Oversized Record Handling Graceful", () => {
 	// Should not crash, just return false
 	assertEquals(isRecordSizeValid(hugeRecord), false);
 });
+
+==================================== */

tests/bench/verification_bench.ts → tests/bench/verification_bench.affine

@@ -1,4 +1,12 @@
 // SPDX-License-Identifier: MPL-2.0
+// Ported via Harvard Engine mechanical processor
+
+module verification_bench;
+
+// TODO: Complete semantic implementation
+
+/* === ORIGINAL TYPESCRIPT CONTEXT ===
+// SPDX-License-Identifier: MPL-2.0
 // Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
 /// <reference lib="deno.ns" />
 
@@ -269,3 +277,5 @@ Deno.bench(
 		}
 	},
 );
+
+==================================== */