bonescript-compiler 0.2.1 → 0.4.0

package/src/emit_tests.ts

@@ -1,205 +1,246 @@
-/**
- * BoneScript Test Emitter
- * Generates regression tests derived from capability declarations.
- * Implements spec/10 §7 (Regression Tests).
- *
- * For each capability, generates:
- * - Happy path test (valid preconditions → effects applied)
- * - Precondition failure test (invalid state → 422)
- * - Idempotency test (if idempotent: true)
- * For each state machine:
- * - Valid transition tests
- * - Invalid transition rejection tests
- */
-
-import * as IR from "./ir";
-
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
-
-export function emitTestSuite(system: IR.IRSystem): string {
-  const lines: string[] = [];
-
-  lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
-  lines.push(`// Regression tests derived from capability declarations.`);
-  lines.push(`// Run: npx ts-node src/tests.ts`);
-  lines.push(``);
-  lines.push(`import * as http from "http";`);
-  lines.push(``);
-  lines.push(`const BASE_URL = process.env.TEST_BASE_URL || "http://localhost:3000";`);
-  lines.push(`const AUTH_TOKEN = process.env.TEST_AUTH_TOKEN || "";`);
-  lines.push(``);
-  lines.push(`let passed = 0;`);
-  lines.push(`let failed = 0;`);
-  lines.push(``);
-
-  // Test helper
-  lines.push(`async function request(method: string, path: string, body?: any): Promise<{ status: number; data: any }> {`);
-  lines.push(`  const url = new URL(path, BASE_URL);`);
-  lines.push(`  const res = await fetch(url.toString(), {`);
-  lines.push(`    method,`);
-  lines.push(`    headers: {`);
-  lines.push(`      "Content-Type": "application/json",`);
-  lines.push(`      ...(AUTH_TOKEN ? { "Authorization": \`Bearer \${AUTH_TOKEN}\` } : {}),`);
-  lines.push(`    },`);
-  lines.push(`    body: body ? JSON.stringify(body) : undefined,`);
-  lines.push(`  });`);
-  lines.push(`  const data = await res.json().catch(() => ({}));`);
-  lines.push(`  return { status: res.status, data };`);
-  lines.push(`}`);
-  lines.push(``);
-
-  lines.push(`async function test(name: string, fn: () => Promise<void>): Promise<void> {`);
-  lines.push(`  try {`);
-  lines.push(`    await fn();`);
-  lines.push(`    console.log(\`  ✓ \${name}\`);`);
-  lines.push(`    passed++;`);
-  lines.push(`  } catch (e: any) {`);
-  lines.push(`    console.log(\`  ✗ \${name}: \${e.message}\`);`);
-  lines.push(`    failed++;`);
-  lines.push(`  }`);
-  lines.push(`}`);
-  lines.push(``);
-
-  lines.push(`function assert(condition: boolean, message: string): void {`);
-  lines.push(`  if (!condition) throw new Error(message);`);
-  lines.push(`}`);
-  lines.push(``);
-  lines.push(`(async () => {`);
-
-  // Generate tests for each module
-  for (const mod of system.modules) {
-    if (mod.kind !== "api_service" || mod.models.length === 0) continue;
-
-    const model = mod.models[0];
-    const tablePath = `/${toSnakeCase(model.name)}s`;
-
-    lines.push(`// ─── ${mod.name} Tests ─────────────────────────────────────────────────────`);
-    lines.push(``);
-
-    // CRUD tests
-    lines.push(`console.log("\\n${mod.name} — CRUD");`);
-    lines.push(``);
-
-    lines.push(`let __${toSnakeCase(model.name)}_id: string;`);
-    lines.push(``);
-
-    // Create test
-    const createFields = model.fields.filter(f =>
-      !["id", "created_at", "updated_at"].includes(f.name)
-    );
-    const samplePayload = createFields.reduce((acc, f) => {
-      acc[f.name] = sampleValue(f.type);
-      return acc;
-    }, {} as Record<string, any>);
-
-    lines.push(`await test("POST ${tablePath} — creates entity", async () => {`);
-    lines.push(`  const { status, data } = await request("POST", "${tablePath}", ${JSON.stringify(samplePayload)});`);
-    lines.push(`  assert(status === 201, \`Expected 201, got \${status}: \${JSON.stringify(data)}\`);`);
-    lines.push(`  assert(data.id, "Response must have id");`);
-    lines.push(`  __${toSnakeCase(model.name)}_id = data.id;`);
-    lines.push(`});`);
-    lines.push(``);
-
-    // Read test
-    lines.push(`await test("GET ${tablePath}/:id — reads entity", async () => {`);
-    lines.push(`  const { status, data } = await request("GET", \`${tablePath}/\${__${toSnakeCase(model.name)}_id}\`);`);
-    lines.push(`  assert(status === 200, \`Expected 200, got \${status}\`);`);
-    lines.push(`  assert(data.id === __${toSnakeCase(model.name)}_id, "ID must match");`);
-    lines.push(`});`);
-    lines.push(``);
-
-    // List test
-    lines.push(`await test("GET ${tablePath} — lists entities", async () => {`);
-    lines.push(`  const { status, data } = await request("GET", "${tablePath}");`);
-    lines.push(`  assert(status === 200, \`Expected 200, got \${status}\`);`);
-    lines.push(`  assert(Array.isArray(data.items), "Response must have items array");`);
-    lines.push(`  assert(typeof data.total === "number", "Response must have total");`);
-    lines.push(`});`);
-    lines.push(``);
-
-    // Auth test
-    lines.push(`await test("GET ${tablePath} — rejects unauthenticated", async () => {`);
-    lines.push(`  const res = await fetch(\`\${BASE_URL}${tablePath}\`);`);
-    lines.push(`  assert(res.status === 401, \`Expected 401, got \${res.status}\`);`);
-    lines.push(`});`);
-    lines.push(``);
-
-    // Capability tests
-    for (const iface of mod.interfaces) {
-      for (const method of iface.methods) {
-        if (["create", "read", "update", "delete", "list"].includes(method.name)) continue;
-
-        const endpoint = `${tablePath}/${method.name.replace(/_/g, "-")}`;
-        lines.push(`await test("POST ${endpoint} — capability executes", async () => {`);
-        lines.push(`  const { status, data } = await request("POST", "${endpoint}", {`);
-        lines.push(`    ${toSnakeCase(model.name)}_id: __${toSnakeCase(model.name)}_id,`);
-        lines.push(`  });`);
-        lines.push(`  // Capability may return 200 (success) or 422 (precondition failed) — both are valid`);
-        lines.push(`  assert([200, 422].includes(status), \`Expected 200 or 422, got \${status}: \${JSON.stringify(data)}\`);`);
-        lines.push(`});`);
-        lines.push(``);
-
-        if (method.preconditions.length > 0) {
-          lines.push(`await test("POST ${endpoint} — returns 401 without auth", async () => {`);
-          lines.push(`  const res = await fetch(\`\${BASE_URL}${endpoint}\`, { method: "POST" });`);
-          lines.push(`  assert(res.status === 401, \`Expected 401, got \${res.status}\`);`);
-          lines.push(`});`);
-          lines.push(``);
-        }
-      }
-    }
-
-    // State machine tests
-    for (const sm of mod.state_machines) {
-      lines.push(`// State machine: ${sm.entity}`);
-      lines.push(`await test("PUT ${tablePath}/:id — rejects invalid state transition", async () => {`);
-      lines.push(`  const { status, data } = await request("PUT", \`${tablePath}/\${__${toSnakeCase(model.name)}_id}\`, {`);
-      lines.push(`    state: "__invalid_state__",`);
-      lines.push(`  });`);
-      lines.push(`  assert(status === 422, \`Expected 422 for invalid transition, got \${status}\`);`);
-      lines.push(`  assert(data.error?.code === "INVALID_TRANSITION", "Error code must be INVALID_TRANSITION");`);
-      lines.push(`});`);
-      lines.push(``);
-    }
-
-    // Delete test (last, so ID is still valid)
-    lines.push(`await test("DELETE ${tablePath}/:id — deletes entity", async () => {`);
-    lines.push(`  const { status } = await request("DELETE", \`${tablePath}/\${__${toSnakeCase(model.name)}_id}\`);`);
-    lines.push(`  assert(status === 204, \`Expected 204, got \${status}\`);`);
-    lines.push(`});`);
-    lines.push(``);
-
-    // 404 after delete
-    lines.push(`await test("GET ${tablePath}/:id — returns 404 after delete", async () => {`);
-    lines.push(`  const { status } = await request("GET", \`${tablePath}/\${__${toSnakeCase(model.name)}_id}\`);`);
-    lines.push(`  assert(status === 404, \`Expected 404, got \${status}\`);`);
-    lines.push(`});`);
-    lines.push(``);
-  }
-
-  // Summary
-  lines.push(`console.log(\`\\n${"═".repeat(40)}\`);`);
-  lines.push(`console.log(\`Results: \${passed} passed, \${failed} failed\`);`);
-  lines.push(`console.log("═".repeat(40));`);
-  lines.push(`if (failed > 0) process.exit(1);`);
-  lines.push(`})().catch(e => { console.error(e); process.exit(1); });`);
-
-  return lines.join("\n");
-}
-
-function sampleValue(type: string): any {
-  switch (type) {
-    case "string": return "test_value";
-    case "uint": case "int": return 1;
-    case "float": return 1.0;
-    case "bool": return true;
-    case "uuid": return "00000000-0000-0000-0000-000000000001";
-    case "timestamp": return "2024-01-01T00:00:00.000Z";
-    case "json": return {};
-    default:
-      if (type.startsWith("list<") || type.startsWith("set<")) return [];
-      return null;
-  }
-}
+/**
+ * BoneScript Test Emitter
+ * Generates regression tests derived from capability declarations.
+ * Implements spec/10 §7 (Regression Tests).
+ *
+ * For each capability, generates:
+ * - Happy path test (valid preconditions → effects applied)
+ * - Precondition failure test (invalid state → 422)
+ * - Idempotency test (if idempotent: true)
+ * For each state machine:
+ * - Valid transition tests
+ * - Invalid transition rejection tests
+ */
+
+import * as IR from "./ir";
+
+function toSnakeCase(s: string): string {
+  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
+}
+
+export function emitTestSuite(system: IR.IRSystem): string {
+  const lines: string[] = [];
+
+  lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
+  lines.push(`// Regression tests derived from capability declarations.`);
+  lines.push(`// Run: npx ts-node src/tests.ts`);
+  lines.push(``);
+  lines.push(`import * as http from "http";`);
+  lines.push(``);
+  lines.push(`const BASE_URL = process.env.TEST_BASE_URL || "http://localhost:3000";`);
+  lines.push(`const AUTH_TOKEN = process.env.TEST_AUTH_TOKEN || "";`);
+  lines.push(``);
+  lines.push(`let passed = 0;`);
+  lines.push(`let failed = 0;`);
+  lines.push(``);
+
+  // Test helper
+  lines.push(`async function request(method: string, path: string, body?: any): Promise<{ status: number; data: any }> {`);
+  lines.push(`  const url = new URL(path, BASE_URL);`);
+  lines.push(`  const res = await fetch(url.toString(), {`);
+  lines.push(`    method,`);
+  lines.push(`    headers: {`);
+  lines.push(`      "Content-Type": "application/json",`);
+  lines.push(`      ...(AUTH_TOKEN ? { "Authorization": \`Bearer \${AUTH_TOKEN}\` } : {}),`);
+  lines.push(`    },`);
+  lines.push(`    body: body ? JSON.stringify(body) : undefined,`);
+  lines.push(`  });`);
+  lines.push(`  const data = await res.json().catch(() => ({}));`);
+  lines.push(`  return { status: res.status, data };`);
+  lines.push(`}`);
+  lines.push(``);
+
+  lines.push(`async function test(name: string, fn: () => Promise<void>): Promise<void> {`);
+  lines.push(`  try {`);
+  lines.push(`    await fn();`);
+  lines.push(`    console.log(\`  ✓ \${name}\`);`);
+  lines.push(`    passed++;`);
+  lines.push(`  } catch (e: any) {`);
+  lines.push(`    console.log(\`  ✗ \${name}: \${e.message}\`);`);
+  lines.push(`    failed++;`);
+  lines.push(`  }`);
+  lines.push(`}`);
+  lines.push(``);
+
+  lines.push(`function assert(condition: boolean, message: string): void {`);
+  lines.push(`  if (!condition) throw new Error(message);`);
+  lines.push(`}`);
+  lines.push(``);
+  lines.push(`(async () => {`);
+
+  // Generate tests for each module
+  for (const mod of system.modules) {
+    if (mod.kind !== "api_service" || mod.models.length === 0) continue;
+
+    const model = mod.models[0];
+    const tablePath = `/${toSnakeCase(model.name)}s`;
+
+    lines.push(`// ─── ${mod.name} Tests ─────────────────────────────────────────────────────`);
+    lines.push(``);
+
+    // CRUD tests
+    lines.push(`console.log("\\n${mod.name} — CRUD");`);
+    lines.push(``);
+
+    lines.push(`let __${toSnakeCase(model.name)}_id: string;`);
+    lines.push(``);
+
+    // Create test
+    const createFields = model.fields.filter(f =>
+      !["id", "created_at", "updated_at"].includes(f.name)
+    );
+    const samplePayload = createFields.reduce((acc, f) => {
+      acc[f.name] = sampleValue(f.type);
+      return acc;
+    }, {} as Record<string, any>);
+
+    lines.push(`await test("POST ${tablePath} — creates entity", async () => {`);
+    lines.push(`  const { status, data } = await request("POST", "${tablePath}", ${JSON.stringify(samplePayload)});`);
+    lines.push(`  assert(status === 201, \`Expected 201, got \${status}: \${JSON.stringify(data)}\`);`);
+    lines.push(`  assert(data.id, "Response must have id");`);
+    lines.push(`  __${toSnakeCase(model.name)}_id = data.id;`);
+    lines.push(`});`);
+    lines.push(``);
+
+    // Read test
+    lines.push(`await test("GET ${tablePath}/:id — reads entity", async () => {`);
+    lines.push(`  const { status, data } = await request("GET", \`${tablePath}/\${__${toSnakeCase(model.name)}_id}\`);`);
+    lines.push(`  assert(status === 200, \`Expected 200, got \${status}\`);`);
+    lines.push(`  assert(data.id === __${toSnakeCase(model.name)}_id, "ID must match");`);
+    lines.push(`});`);
+    lines.push(``);
+
+    // List test
+    lines.push(`await test("GET ${tablePath} — lists entities", async () => {`);
+    lines.push(`  const { status, data } = await request("GET", "${tablePath}");`);
+    lines.push(`  assert(status === 200, \`Expected 200, got \${status}\`);`);
+    lines.push(`  assert(Array.isArray(data.items), "Response must have items array");`);
+    lines.push(`  assert(typeof data.total === "number", "Response must have total");`);
+    lines.push(`});`);
+    lines.push(``);
+
+    // Auth test
+    lines.push(`await test("GET ${tablePath} — rejects unauthenticated", async () => {`);
+    lines.push(`  const res = await fetch(\`\${BASE_URL}${tablePath}\`);`);
+    lines.push(`  assert(res.status === 401, \`Expected 401, got \${res.status}\`);`);
+    lines.push(`});`);
+    lines.push(``);
+
+    // Update test
+    const updatePayload = createFields.slice(0, 1).reduce((acc, f) => {
+      acc[f.name] = sampleValue(f.type);
+      return acc;
+    }, {} as Record<string, any>);
+    lines.push(`await test("PUT ${tablePath}/:id — updates entity", async () => {`);
+    lines.push(`  if (!__${toSnakeCase(model.name)}_id) { throw new Error("Skipped: no id from create test"); }`);
+    lines.push(`  const { status, data } = await request("PUT", \`${tablePath}/\${__${toSnakeCase(model.name)}_id}\`, ${JSON.stringify(updatePayload)});`);
+    lines.push(`  assert(status === 200, \`Expected 200, got \${status}: \${JSON.stringify(data)}\`);`);
+    lines.push(`  assert(data.id === __${toSnakeCase(model.name)}_id, "ID must match after update");`);
+    lines.push(`});`);
+    lines.push(``);
+
+    // Capability tests
+    for (const iface of mod.interfaces) {
+      for (const method of iface.methods) {
+        if (["create", "read", "update", "delete", "list"].includes(method.name)) continue;
+
+        const endpoint = `${tablePath}/${method.name.replace(/_/g, "-")}`;
+        lines.push(`await test("POST ${endpoint} — capability executes", async () => {`);
+        lines.push(`  const { status, data } = await request("POST", "${endpoint}", {`);
+        lines.push(`    ${toSnakeCase(model.name)}_id: __${toSnakeCase(model.name)}_id,`);
+        lines.push(`  });`);
+        lines.push(`  // Capability may return 200 (success) or 422 (precondition failed) — both are valid`);
+        lines.push(`  assert([200, 422].includes(status), \`Expected 200 or 422, got \${status}: \${JSON.stringify(data)}\`);`);
+        lines.push(`});`);
+        lines.push(``);
+
+        // Idempotency test
+        if (method.idempotent) {
+          lines.push(`await test("POST ${endpoint} — idempotent (same result on repeat)", async () => {`);
+          lines.push(`  const payload = { ${toSnakeCase(model.name)}_id: __${toSnakeCase(model.name)}_id };`);
+          lines.push(`  const { status: s1, data: d1 } = await request("POST", "${endpoint}", payload);`);
+          lines.push(`  const { status: s2, data: d2 } = await request("POST", "${endpoint}", payload);`);
+          lines.push(`  assert(s1 === s2, \`Idempotency: first call \${s1}, second call \${s2}\`);`);
+          lines.push(`  assert(JSON.stringify(d1) === JSON.stringify(d2), "Idempotency: responses must be identical");`);
+          lines.push(`});`);
+          lines.push(``);
+        }
+
+        if (method.preconditions.length > 0) {
+          lines.push(`await test("POST ${endpoint} — returns 401 without auth", async () => {`);
+          lines.push(`  const res = await fetch(\`\${BASE_URL}${endpoint}\`, { method: "POST" });`);
+          lines.push(`  assert(res.status === 401, \`Expected 401, got \${res.status}\`);`);
+          lines.push(`});`);
+          lines.push(``);
+        }
+      }
+    }
+
+    // State machine tests
+    for (const sm of mod.state_machines) {
+      lines.push(`// State machine: ${sm.entity}`);
+
+      // Valid transition test — transition from initial state to first reachable state
+      const firstTransition = sm.transitions.find(t => t.from === sm.initial);
+      if (firstTransition) {
+        lines.push(`await test("PUT ${tablePath}/:id — valid state transition (${firstTransition.from} → ${firstTransition.to})", async () => {`);
+        lines.push(`  if (!__${toSnakeCase(model.name)}_id) { throw new Error("Skipped: no id from create test"); }`);
+        lines.push(`  const { status, data } = await request("PUT", \`${tablePath}/\${__${toSnakeCase(model.name)}_id}\`, {`);
+        lines.push(`    state: "${firstTransition.to}",`);
+        lines.push(`  });`);
+        lines.push(`  assert(status === 200, \`Expected 200 for valid transition, got \${status}: \${JSON.stringify(data)}\`);`);
+        lines.push(`  assert(data.state === "${firstTransition.to}", \`Expected state '${firstTransition.to}', got '\${data.state}'\`);`);
+        lines.push(`});`);
+        lines.push(``);
+      }
+
+      // Invalid transition test
+      lines.push(`await test("PUT ${tablePath}/:id — rejects invalid state transition", async () => {`);
+      lines.push(`  const { status, data } = await request("PUT", \`${tablePath}/\${__${toSnakeCase(model.name)}_id}\`, {`);
+      lines.push(`    state: "__invalid_state__",`);
+      lines.push(`  });`);
+      lines.push(`  assert(status === 422, \`Expected 422 for invalid transition, got \${status}\`);`);
+      lines.push(`  assert(data.error?.code === "INVALID_TRANSITION", "Error code must be INVALID_TRANSITION");`);
+      lines.push(`});`);
+      lines.push(``);
+    }
+
+    // Delete test (last, so ID is still valid)
+    lines.push(`await test("DELETE ${tablePath}/:id — deletes entity", async () => {`);
+    lines.push(`  const { status } = await request("DELETE", \`${tablePath}/\${__${toSnakeCase(model.name)}_id}\`);`);
+    lines.push(`  assert(status === 204, \`Expected 204, got \${status}\`);`);
+    lines.push(`});`);
+    lines.push(``);
+
+    // 404 after delete
+    lines.push(`await test("GET ${tablePath}/:id — returns 404 after delete", async () => {`);
+    lines.push(`  const { status } = await request("GET", \`${tablePath}/\${__${toSnakeCase(model.name)}_id}\`);`);
+    lines.push(`  assert(status === 404, \`Expected 404, got \${status}\`);`);
+    lines.push(`});`);
+    lines.push(``);
+  }
+
+  // Summary
+  lines.push(`console.log(\`\\n${"═".repeat(40)}\`);`);
+  lines.push(`console.log(\`Results: \${passed} passed, \${failed} failed\`);`);
+  lines.push(`console.log("═".repeat(40));`);
+  lines.push(`if (failed > 0) process.exit(1);`);
+  lines.push(`})().catch(e => { console.error(e); process.exit(1); });`);
+
+  return lines.join("\n");
+}
+
+function sampleValue(type: string): any {
+  switch (type) {
+    case "string": return "test_value";
+    case "uint": case "int": return 1;
+    case "float": return 1.0;
+    case "bool": return true;
+    case "uuid": return "00000000-0000-0000-0000-000000000001";
+    case "timestamp": return "2024-01-01T00:00:00.000Z";
+    case "json": return {};
+    default:
+      if (type.startsWith("list<") || type.startsWith("set<")) return [];
+      return null;
+  }
+}