Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion .github/workflows/governance.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,4 +27,4 @@ permissions:
contents: read
jobs:
governance:
uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
2 changes: 1 addition & 1 deletion .github/workflows/hypatia-scan.yml
Original file line number Diff line number Diff line change
Expand Up @@ -22,4 +22,4 @@ permissions:
jobs:
hypatia:
uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
secrets: inherit
secrets: inherit
2 changes: 1 addition & 1 deletion .github/workflows/secret-scanner.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,4 +14,4 @@ jobs:
permissions:
contents: read
uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@c65436ee3351cd6b0fa14b142938b195efc77586
secrets: inherit
secrets: inherit
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 cli;

// TODO: Complete semantic implementation

/* === ORIGINAL TYPESCRIPT CONTEXT ===
// SPDX-License-Identifier: MPL-2.0
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
//
// affinescript-deno-test: CLI entry
Expand Down Expand Up @@ -52,3 +60,5 @@ if (import.meta.main) {
}
}
}

==================================== */
19 changes: 0 additions & 19 deletions affinescript-ecosystem/affinescript-deno-test/deno.json

This file was deleted.

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 smoke_driver;

// TODO: Complete semantic implementation

/* === ORIGINAL TYPESCRIPT CONTEXT ===
// SPDX-License-Identifier: MPL-2.0
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
//
// affinescript-deno-test: smoke test driver
Expand All @@ -12,3 +20,5 @@
import { runAll } from "../mod.ts";

await runAll(new URL("./", import.meta.url).pathname);

==================================== */
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 compile;

// TODO: Complete semantic implementation

/* === ORIGINAL TYPESCRIPT CONTEXT ===
// SPDX-License-Identifier: MPL-2.0
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
//
// affinescript-deno-test: compile.ts
Expand Down Expand Up @@ -55,3 +63,5 @@ export async function compileToWasm(sourcePath: string): Promise<string> {

return wasmPath;
}

==================================== */
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 discover;

// TODO: Complete semantic implementation

/* === ORIGINAL TYPESCRIPT CONTEXT ===
// SPDX-License-Identifier: MPL-2.0
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
//
// affinescript-deno-test: discover.ts
Expand Down Expand Up @@ -29,3 +37,5 @@ export async function discoverTestFiles(
matches.sort();
return matches;
}

==================================== */
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 runner;

// TODO: Complete semantic implementation

/* === ORIGINAL TYPESCRIPT CONTEXT ===
// SPDX-License-Identifier: MPL-2.0
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
//
// affinescript-deno-test: runner.ts
Expand Down Expand Up @@ -168,3 +176,5 @@ async function registerTestsWithWasi(
}
return testExports.length;
}

==================================== */
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
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
//
// affinescript-deno-test: mod.ts (public API)
Expand Down Expand Up @@ -46,3 +54,5 @@ export async function runAll(root: string): Promise<number> {
}
return total;
}

==================================== */
Original file line number Diff line number Diff line change
@@ -1,3 +1,11 @@
// SPDX-License-Identifier: MPL-2.0
// Ported via Harvard Engine mechanical processor

module extension;

// TODO: Complete semantic implementation

/* === ORIGINAL TYPESCRIPT CONTEXT ===
// SPDX-License-Identifier: MIT OR AGPL-3.0-or-later
// AffineScript VSCode Extension

Expand Down Expand Up @@ -148,3 +156,5 @@ async function formatCurrentFile() {
vscode.window.showErrorMessage(`Formatting failed: ${error.message}`);
}
}

==================================== */

This file was deleted.

This file was deleted.

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.d;

// TODO: Complete semantic implementation

/* === ORIGINAL TYPESCRIPT CONTEXT ===
// SPDX-License-Identifier: MPL-2.0
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
//
// affine-js: TypeScript declarations
Expand Down Expand Up @@ -149,3 +157,5 @@ export declare function record(fields: Record<string, AffineValue>): AffineRecor

export declare const AFFINE_TAG: Readonly<{ NONE: 0; SOME: 1; OK: 2; ERR: 3 }>;
export declare const AFFINE_SIZE: Readonly<{ INT: 4; FLOAT: 8; PTR: 4; TAG: 4; LEN: 4 }>;

==================================== */

This file was deleted.

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.d;

// TODO: Complete semantic implementation

/* === ORIGINAL TYPESCRIPT CONTEXT ===
// SPDX-License-Identifier: MPL-2.0
// Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
//
// affine-ts: Enhanced TypeScript declarations
Expand Down Expand Up @@ -59,3 +67,5 @@ export declare function isOk(value: AffineValue): value is AffineOk;

/** Type-narrowing predicate: is this value Err? */
export declare function isErr(value: AffineValue): value is AffineErr;

==================================== */
21 changes: 0 additions & 21 deletions cadre-router/deno.json

This file was deleted.

10 changes: 10 additions & 0 deletions cadre-router/mod.ts → cadre-router/mod.affine
Original file line number Diff line number Diff line change
@@ -1,7 +1,17 @@
// 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
// mod.ts — Deno module entry point for cadre-router
//
// This file enables publishing to deno.land/x
// Usage: import { Url, Parser, Navigation } from "https://deno.land/x/cadre_router/mod.ts"

export * from "./src/client/CadreRouter.js";

==================================== */
16 changes: 0 additions & 16 deletions cadre-router/tea-router-pkg/deno.json

This file was deleted.

16 changes: 16 additions & 0 deletions cadre-router/tea-router-pkg/mod.affine
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
// 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
// mod.ts — Deno module entry point for cadre-tea-router
//
// Usage: import { TeaRouter } from "https://deno.land/x/cadre_tea_router/mod.ts"

export * from "./src/TeaRouter.js";

==================================== */
6 changes: 0 additions & 6 deletions cadre-router/tea-router-pkg/mod.ts

This file was deleted.

21 changes: 0 additions & 21 deletions cadre-tea-router/deno.json

This file was deleted.

24 changes: 0 additions & 24 deletions coq-ecosystem/coq-jr/deno.json

This file was deleted.

Loading
Loading