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
Jump to file
Failed to load files.
Loading
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 @@ -31,4 +31,4 @@ permissions:

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 @@ -26,4 +26,4 @@ permissions:
jobs:
hypatia:
uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9
secrets: inherit
secrets: inherit
6 changes: 0 additions & 6 deletions 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 security_aspect_test;

// 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>
//
// Aspect tests for security properties across the configuration
Expand Down Expand Up @@ -192,3 +200,5 @@ Deno.test("aspect: Secret is type Opaque not other types", async () => {
// Should be Opaque type for sensitive data
assertEquals(content.includes('type: Opaque') || content.includes('type: "Opaque"'), true);
});

==================================== */
10 changes: 10 additions & 0 deletions tests/bench/config_bench.ts → tests/bench/config_bench.affine
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 config_bench;

// 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>
//
// Benchmark tests for configuration read performance
Expand Down Expand Up @@ -65,3 +73,5 @@ Deno.bench("bench: parse kubernetes manifest string content", async () => {
// Basic parsing simulation: count lines
content.split("\n").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 network_contracts_test;

// 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>
//
// Contract tests for network configuration invariants
Expand Down Expand Up @@ -162,3 +170,5 @@ Deno.test("contract: INVARIANT — Layout.idr must import Types module", async (
const content = await Deno.readTextFile("src/abi/Layout.idr");
assertStringIncludes(content, "import ZEROTIER_K8S_LINK.ABI.Types");
});

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

// 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>
//
// End-to-end tests for full network configuration pipeline
Expand Down Expand Up @@ -140,3 +148,5 @@ Deno.test("e2e: capabilities in network config align with daemonset permissions"
// Daemonset should have CAP_NET_ADMIN for network management
assertStringIncludes(daemonsetContent, "NET_ADMIN");
});

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

// 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>
//
// Property-based tests for configuration consistency and naming conventions
Expand Down Expand Up @@ -178,3 +186,5 @@ Deno.test("property: Firewall zone names are lowercase identifiers", async () =>
}
}
});

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

// 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>
//
// Smoke tests for infrastructure file presence and basic validity
Expand Down Expand Up @@ -110,3 +118,5 @@ Deno.test("smoke: root manifest file exists", async () => {
assertEquals(typeof content, "string");
assertEquals(content.length > 0, true);
});

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

// 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>
//
// Unit tests for configuration file structure validation
Expand Down Expand Up @@ -116,3 +124,5 @@ Deno.test("unit: servicemonitor.yaml exists and is valid YAML", async () => {
// ServiceMonitor may be optional but should validate if present
assertEquals(typeof content, "string");
});

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