feat(affinescript-deno-test): v0.2.0 multi-test-per-file

Upstream AffineScript compiler commit ce324fa made both codegen.ml and
codegen_gc.ml honour `fd_vis = Public` in addition to the hardcoded
game-hook allowlist, so `pub fn test_<name>() -> Bool` now produces a
named WASM export.

Harness changes:
  - runner.ts switches from the MVP's single-`main` lookup to iterating
    all `test_*` exports, wrapping each as a distinct Deno.test() case.
  - caseName(): reports "<file-stem> / <case-stem>", e.g.
    hello_test.affine + test_addition → "hello / addition".
  - mod.ts re-exports the restored TEST_PREFIX constant.
  - hello_test.affine expanded to 4 `pub fn test_*` cases plus one
    non-`pub` helper to verify exports are visibility-gated, not
    name-gated.
  - deno.json bumped to 0.2.0.
  - README.adoc: "one test per file" moved to RESOLVED; the remaining
    two upstream-pending constraints (unconditional WASI fd_write
    import; affine-js env-only imports) are retained.

Smoke test: 4 passed / 0 failed.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

affinescript-ecosystem/affinescript-deno-test/README.adoc

@@ -15,8 +15,9 @@ component: `affinescript/` (the compiler — actually mirrored from upstream),
 
 == Status
 
-*MVP v0.1.0.* Minimal working harness, one test per file. See
-<<mvp-constraints>> below for the specific limits and planned follow-ups.
+*v0.2.0.* Multi-test-per-file harness. The "one test per file" MVP
+constraint was resolved same-day via an upstream compiler change (see
+<<constraints>>).
 
 == Quick start
 
@@ -29,20 +30,39 @@ deno task smoke:test
 
 == Writing a test
 
-Each test is a single `.affine` file. The entry point is `fn main() -> Bool`;
-return `true` to pass, `false` to fail. Filename ends in `_test.affine` or
-`.test.affine`.
+Each test case is a top-level `pub fn test_<name>() -> Bool`. Return `true`
+to pass, `false` to fail. One `.affine` file may contain as many test cases
+as you like. Non-`pub` helpers stay internal to the module. Filename ends
+in `_test.affine` or `.test.affine`.
 
 [source,affine]
 ----
-// example/addition_test.affine
+// example/hello_test.affine
 // SPDX-License-Identifier: PMPL-1.0-or-later
-fn main() -> Bool {
+
+pub fn test_addition() -> Bool {
   let result = 2 + 3;
   result == 5
 }
+
+pub fn test_identity() -> Bool {
+  let x = 42;
+  x == 42
+}
+
+fn helper_not_exported() -> Int {
+  99
+}
+
+pub fn test_uses_helper() -> Bool {
+  helper_not_exported() == 99
+}
 ----
 
+The harness reports each test as `<filestem> / <casename>` — e.g. the file
+above produces `hello / addition`, `hello / identity`, `hello / uses_helper`
+under `deno test`.
+
 == Running tests
 
 The public API is `runAll(root)` in `mod.ts`:
@@ -93,29 +113,27 @@ deno run --allow-read --allow-run --allow-env cli.ts ./tests
   (the local dev build). Override when the compiler is installed elsewhere
   or on `$PATH`.
 
-[[mvp-constraints]]
-== MVP constraints (v0.1.0) and planned follow-ups
-
-Three limits exist only because of the current AffineScript compiler's
-state. All are resolvable with small upstream changes.
+[[constraints]]
+== Constraints and planned follow-ups
 
-=== One test per file
+One constraint was resolved same-day. Two remain, both resolvable with
+small upstream changes.
 
-The AffineScript codegen (`lib/codegen.ml` line 1725) hardcodes the
-exportable-name allowlist to
+=== RESOLVED (v0.2.0): one test per file
 
-[source,ocaml]
-----
-let export_names = ["main"; "init_state"; "step_state"; "get_state"; "mission_active"]
-----
+The AffineScript codegen previously hardcoded an exportable-name allowlist
+to `["main"; "init_state"; "step_state"; "get_state"; "mission_active"]`
+with no `pub fn` / `@export` keyword — so only those five names appeared
+in the WASM export list, no matter the source.
 
-with no `pub fn` / `@export` / `#[export]` keyword. Any function not on that
-list is internal to the module and cannot be invoked from JS. The harness
-therefore uses `main` as the one sanctioned test slot.
+The fix (AffineScript commit `ce324fa`) makes both `codegen.ml` and
+`codegen_gc.ml` honour the AST's `fd_vis = Public` field in addition to
+the game-hook allowlist. The allowlist is retained verbatim for backward
+compatibility (pre-`pub` programs and the IDApTIK CharacterSelect bridge
+continue to work unchanged).
 
-*Planned follow-up:* extend the compiler with a `pub fn` keyword (parser +
-AST + codegen). Once in place, the harness switches to the original design
-of multi-test-per-file via a `test_*` naming convention.
+The harness now uses the expected multi-test convention: any top-level
+`pub fn test_<name>() -> Bool` becomes a separate `Deno.test()` case.
 
 === WASI `fd_write` imported unconditionally
 

affinescript-ecosystem/affinescript-deno-test/deno.json

@@ -1,7 +1,7 @@
 {
   "//": "SPDX-License-Identifier: PMPL-1.0-or-later",
   "name": "@hyperpolymath/affinescript-deno-test",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "exports": {
     ".": "./mod.ts",
     "./cli": "./cli.ts"

affinescript-ecosystem/affinescript-deno-test/example/hello_test.affine

@@ -1,24 +1,33 @@
 // SPDX-License-Identifier: PMPL-1.0-or-later
 // Example AffineScript test file for affinescript-deno-test.
 //
-// Convention (MVP v0.1.0):
-//   - One test per `.affine` file.
-//   - The test entry point is the function `main`, returning `Bool`.
-//   - The harness uses the filename (without the `_test.affine` / `.test.affine`
-//     suffix) as the Deno.test() case name.
+// Convention (v0.2.0+): each top-level `pub fn test_<name>() -> Bool`
+// becomes a separate Deno.test() case. The harness iterates WASM exports
+// matching `test_*` and wraps each as a test. Returns:
+//   true  → test passes
+//   false → test fails
 //
-// This single-test-per-file convention is an MVP constraint driven by the
-// current AffineScript codegen, which hardcodes the exportable-name
-// allowlist in lib/codegen.ml (only `main`, `init_state`, `step_state`,
-// `get_state`, `mission_active` are exported). Multi-test-per-file support
-// is a planned follow-up once the compiler gains a `pub fn` / `@export`
-// keyword.
-//
-// For now: each behaviour you want reported separately needs its own
-// `<name>_test.affine` file.
+// Non-`pub` helpers stay internal to the module and are not exposed to
+// the test runner.
+
+pub fn test_addition() -> Bool {
+  let result = 2 + 3;
+  result == 5
+}
+
+pub fn test_identity() -> Bool {
+  let x = 42;
+  x == 42
+}
+
+pub fn test_inequality() -> Bool {
+  1 != 2
+}
+
+fn helper_not_exported() -> Int {
+  99
+}
 
-fn main() -> Bool {
-  let two_plus_three = 2 + 3;
-  let forty_two = 42;
-  (two_plus_three == 5) && (forty_two == 42) && (1 != 2)
+pub fn test_uses_helper() -> Bool {
+  helper_not_exported() == 99
 }

affinescript-ecosystem/affinescript-deno-test/lib/runner.ts

@@ -3,25 +3,25 @@
 //
 // affinescript-deno-test: runner.ts
 //
-// Loads a compiled AffineScript WASM module and wraps its `main` export as
-// a Deno.test() case. A test passes when `main` returns `true`, fails when
-// it returns `false`.
+// Loads a compiled AffineScript WASM module and wraps every exported function
+// whose name starts with `test_` as a Deno.test() case. A test passes when
+// the function returns `true`, fails when it returns `false`.
 //
-// MVP convention (v0.1.0): one test per .affine file. The export name is
-// always `main` because the current AffineScript codegen (lib/codegen.ml
-// line 1725) hardcodes the exportable-name allowlist to
-//   ["main"; "init_state"; "step_state"; "get_state"; "mission_active"]
-// with no `pub fn` / `@export` keyword. Multi-test-per-file support is a
-// planned follow-up once the compiler gains arbitrary-export syntax.
+// Convention (v0.2.0): each `.affine` file may define multiple tests via
+// the `pub fn test_<name>() -> Bool` syntax. Every `pub fn test_*` export
+// becomes a separate Deno.test() case. Non-`pub` helpers stay internal to
+// the module. This relies on the AffineScript compiler honouring `fd_vis`
+// in its WASM-export decision (commit ce324fa, both codegen.ml and
+// codegen_gc.ml).
 //
 // Uses the existing @hyperpolymath/affine-js bridge for WASM loading and
 // value marshalling, plus a minimal WASI stub for `fd_write` (AffineScript
-// codegen always pulls this import even for programs that never print).
+// codegen imports this unconditionally even for programs that never print).
 
 import { AffineModule } from "@hyperpolymath/affine-js";
 
-/** Convention: the single test export per file is always named this. */
-export const TEST_EXPORT = "main";
+/** Convention: every `pub fn` whose name begins with this prefix is a test. */
+export const TEST_PREFIX = "test_";
 
 /** Result shape returned by AffineScript Bool exports (via affine-js). */
 interface BoolValue {
@@ -30,13 +30,15 @@ interface BoolValue {
 }
 
 /**
- * Derive the Deno.test() case name from the WASM path. Strips the directory
- * and the `.wasm` extension; if the filename ends in `_test` or `.test`,
- * strips that suffix too for readability.
+ * Derive the Deno.test() case name from the file basename + export name.
+ * For a wasm at `/path/to/math_test.wasm` with export `test_add`, yields
+ * `math / add`.
  */
-function caseName(wasmPath: string): string {
+function caseName(wasmPath: string, exportName: string): string {
   const base = wasmPath.split("/").pop() ?? wasmPath;
-  return base.replace(/\.wasm$/, "").replace(/(_test|\.test)$/, "");
+  const fileStem = base.replace(/\.wasm$/, "").replace(/(_test|\.test)$/, "");
+  const caseStem = exportName.replace(/^test_/, "");
+  return `${fileStem} / ${caseStem}`;
 }
 
 /**
@@ -61,10 +63,12 @@ function makeWasiStub(): WebAssembly.ModuleImports {
 }
 
 /**
- * Register a Deno.test() case for the `main` export in the WASM module at
- * `wasmPath`. Path should be absolute; relative paths resolve against CWD.
+ * Register a Deno.test() case for every `test_*` export in the WASM module
+ * at `wasmPath`. Path should be absolute; relative paths resolve against CWD.
  *
- * Side-effect: calls `Deno.test()` exactly once.
+ * Returns the number of tests registered. Throws if no `test_*` exports
+ * are found (indicating a misconfigured file — at least one `pub fn test_*`
+ * is expected).
  */
 export async function registerTestsFromWasm(wasmPath: string): Promise<number> {
   const absolute = wasmPath.startsWith("/")
@@ -84,27 +88,32 @@ export async function registerTestsFromWasm(wasmPath: string): Promise<number> {
   }
 
   const mod = await AffineModule.fromBytes(bytes);
+  const testExports = mod.functionExports.filter((name: string) =>
+    name.startsWith(TEST_PREFIX)
+  );
 
-  if (!mod.functionExports.includes(TEST_EXPORT)) {
+  if (testExports.length === 0) {
     throw new Error(
-      `affinescript-deno-test: no '${TEST_EXPORT}' export found in ${wasmPath}. ` +
+      `affinescript-deno-test: no '${TEST_PREFIX}*' exports found in ${wasmPath}. ` +
         `Available: [${mod.functionExports.join(", ")}]. ` +
-        `Each .affine test file must define 'fn main() -> Bool'.`,
+        `Each test must be declared as 'pub fn test_<name>() -> Bool'.`,
     );
   }
 
-  Deno.test(caseName(wasmPath), () => {
-    const result = mod.call(TEST_EXPORT, { returnType: "bool" }) as BoolValue;
-    if (result.kind !== "bool") {
-      throw new Error(
-        `test '${caseName(wasmPath)}' returned non-bool value: ${JSON.stringify(result)}`,
-      );
-    }
-    if (!result.value) {
-      throw new Error(`test '${caseName(wasmPath)}' returned false`);
-    }
-  });
-  return 1;
+  for (const exportName of testExports) {
+    Deno.test(caseName(wasmPath, exportName), () => {
+      const result = mod.call(exportName, { returnType: "bool" }) as BoolValue;
+      if (result.kind !== "bool") {
+        throw new Error(
+          `test '${exportName}' returned non-bool value: ${JSON.stringify(result)}`,
+        );
+      }
+      if (!result.value) {
+        throw new Error(`test '${exportName}' returned false`);
+      }
+    });
+  }
+  return testExports.length;
 }
 
 /**
@@ -126,28 +135,36 @@ async function registerTestsWithWasi(
     wasi_snapshot_preview1: makeWasiStub(),
   });
 
-  const mainExport = instance.exports[TEST_EXPORT];
-  if (typeof mainExport !== "function") {
+  const testExports = Object.keys(instance.exports).filter(
+    (name) =>
+      typeof instance.exports[name] === "function" &&
+      name.startsWith(TEST_PREFIX),
+  );
+
+  if (testExports.length === 0) {
     const available = Object.keys(instance.exports).join(", ");
     throw new Error(
-      `affinescript-deno-test: no '${TEST_EXPORT}' function export found in ${wasmPath}. ` +
+      `affinescript-deno-test: no '${TEST_PREFIX}*' function exports found in ${wasmPath}. ` +
         `Available: [${available}]. ` +
-        `Each .affine test file must define 'fn main() -> Bool'.`,
+        `Each test must be declared as 'pub fn test_<name>() -> Bool'.`,
     );
   }
 
-  Deno.test(caseName(wasmPath), () => {
-    const raw = (mainExport as () => number)();
-    // AffineScript compiles Bool to i32 (0 = false, 1 = true).
-    if (raw !== 0 && raw !== 1) {
-      throw new Error(
-        `test '${caseName(wasmPath)}' returned non-bool raw value ${raw}; ` +
-          `'main' must have signature 'fn main() -> Bool'`,
-      );
-    }
-    if (raw === 0) {
-      throw new Error(`test '${caseName(wasmPath)}' returned false`);
-    }
-  });
-  return 1;
+  for (const exportName of testExports) {
+    const fn = instance.exports[exportName] as () => number;
+    Deno.test(caseName(wasmPath, exportName), () => {
+      const raw = fn();
+      // AffineScript compiles Bool to i32 (0 = false, 1 = true).
+      if (raw !== 0 && raw !== 1) {
+        throw new Error(
+          `test '${exportName}' returned non-bool raw value ${raw}; ` +
+            `'${exportName}' must have signature 'fn ${exportName}() -> Bool'`,
+        );
+      }
+      if (raw === 0) {
+        throw new Error(`test '${exportName}' returned false`);
+      }
+    });
+  }
+  return testExports.length;
 }

affinescript-ecosystem/affinescript-deno-test/mod.ts

@@ -22,7 +22,7 @@ import { registerTestsFromWasm } from "./lib/runner.ts";
 
 export { compileToWasm, resolveCompilerPath } from "./lib/compile.ts";
 export { DEFAULT_TEST_PATTERN, discoverTestFiles } from "./lib/discover.ts";
-export { TEST_EXPORT, registerTestsFromWasm } from "./lib/runner.ts";
+export { TEST_PREFIX, registerTestsFromWasm } from "./lib/runner.ts";
 
 /**
  * Discover, compile, and register every AffineScript test file under `root`.