bonescript-compiler 0.5.2 → 0.5.3

package/src/emit_capability.ts

@@ -18,8 +18,8 @@
  */
 
 import * as IR from "./ir";
+import { toSnakeCase } from "./lowering_helpers";
 
-// ─── Expression Parser ────────────────────────────────────────────────────────
 
 type ExprKind =
   | { kind: "literal"; value: string; raw: string }
@@ -88,10 +88,6 @@ interface EntityFetch {
   idField: string;
 }
 
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
-
 function getEntityFetches(method: IR.IRMethod, mod: IR.IRModule, system: IR.IRSystem): EntityFetch[] {
   const fetches: EntityFetch[] = [];
   const seen = new Set<string>();

package/src/emit_database.ts

@@ -4,10 +4,7 @@
  */
 
 import * as IR from "./ir";
-
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
+import { toSnakeCase } from "./lowering_helpers";
 
 export function emitDbClient(system: IR.IRSystem): string {
   const name = toSnakeCase(system.name);

package/src/emit_deploy.ts

@@ -4,10 +4,7 @@
  */
 
 import * as IR from "./ir";
-
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
+import { toSnakeCase } from "./lowering_helpers";
 
 export function emitDockerfile(system: IR.IRSystem): string {
   return `# Generated by BoneScript compiler.

package/src/emit_events.ts

@@ -11,6 +11,7 @@
  */
 
 import * as IR from "./ir";
+import { toTsType } from "./emit_router";
 
 // ─── Outbox SQL Schema ────────────────────────────────────────────────────────
 
@@ -311,22 +312,6 @@ export const eventBus = {
 // spec/09_CODEGEN.md §5.4. These wrap eventBus.publish with a typed payload
 // interface so callers get compile-time safety instead of raw Record<string,unknown>.
 
-const TS_TYPE_MAP: Record<string, string> = {
-  string: "string", uint: "number", int: "number", float: "number",
-  bool: "boolean", timestamp: "Date", uuid: "string", bytes: "Buffer", json: "unknown",
-};
-
-function toTsType(irType: string): string {
-  if (TS_TYPE_MAP[irType]) return TS_TYPE_MAP[irType];
-  const listMatch = irType.match(/^list<(.+)>$/);
-  if (listMatch) return `${toTsType(listMatch[1])}[]`;
-  const setMatch = irType.match(/^set<(.+)>$/);
-  if (setMatch) return `${toTsType(setMatch[1])}[]`;
-  const optMatch = irType.match(/^optional<(.+)>$/);
-  if (optMatch) return `${toTsType(optMatch[1])} | null`;
-  return irType;
-}
-
 export function emitTypedEventPublishers(system: IR.IRSystem): string {
   if (system.events.length === 0) return "";
 

package/src/emit_extras.ts

@@ -8,10 +8,7 @@
 
 import * as IR from "./ir";
 import * as AST from "./ast";
-
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
+import { toSnakeCase } from "./lowering_helpers";
 
 // ─── Derived Field Emission ──────────────────────────────────────────────────
 // Derived fields become PostgreSQL generated columns (when expression supports it)

package/src/emit_full.ts

@@ -34,10 +34,7 @@ import { emitTestSuite } from "./emit_tests";
 import { emitDockerfile, emitDockerignore, emitK8sDeployment, emitGithubActions } from "./emit_deploy";
 import { emitModelFile, emitModelsIndex } from "./emit_models";
 import { emitOpenApiSchema } from "./emit_openapi";
-
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
+import { toSnakeCase } from "./lowering_helpers";
 
 /** Resolve the auth method for the system from the resolution map or module configs. */
 function resolveSystemAuthMethod(system: IR.IRSystem): "jwt" | "oauth2" | "apikey" {

package/src/emit_openapi.ts

@@ -7,6 +7,7 @@
  */
 
 import * as IR from "./ir";
+import { toSnakeCase } from "./lowering_helpers";
 
 // ─── Type mapping ─────────────────────────────────────────────────────────────
 
@@ -53,10 +54,6 @@ function modelToSchema(model: IR.IRModel): Record<string, unknown> {
   };
 }
 
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
-
 // ─── Main emitter ─────────────────────────────────────────────────────────────
 
 export function emitOpenApiSchema(system: IR.IRSystem): string {

package/src/emit_package.ts

@@ -4,10 +4,7 @@
  */
 
 import * as IR from "./ir";
-
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
+import { toSnakeCase } from "./lowering_helpers";
 
 export function emitPackageJson(system: IR.IRSystem): string {
   const pkg = {

package/src/emit_router.ts

@@ -6,6 +6,7 @@
 
 import * as IR from "./ir";
 import { emitCapabilityBody } from "./emit_capability";
+import { emitPipelineBody, emitAlgorithmBody } from "./emit_composition";
 
 // ─── Shared helpers ───────────────────────────────────────────────────────────
 
@@ -361,10 +362,8 @@ export function emitCapabilityEndpoint(
   }
 
   if (method.pipeline) {
-    const { emitPipelineBody } = require("./emit_composition");
     lines.push(emitPipelineBody(method, "    "));
   } else if (method.algorithm) {
-    const { emitAlgorithmBody } = require("./emit_composition");
     lines.push(emitAlgorithmBody(method, "    "));
   } else {
     lines.push(emitCapabilityBody(method, mod, system, "    "));

package/src/emit_tests.ts

@@ -13,10 +13,7 @@
  */
 
 import * as IR from "./ir";
-
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
+import { toSnakeCase } from "./lowering_helpers";
 
 export function emitTestSuite(system: IR.IRSystem): string {
   const lines: string[] = [];

package/src/emit_websocket.ts

@@ -4,10 +4,7 @@
  */
 
 import * as IR from "./ir";
-
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
+import { toSnakeCase } from "./lowering_helpers";
 
 function toCamelCase(s: string): string {
   return s.replace(/_([a-z])/g, (_, c) => c.toUpperCase());

package/src/emitter.ts

@@ -1,4 +1,4 @@
-/**
+/**
  * BoneScript Code Emitter — Stage 6 of the compilation pipeline.
  * Implements spec/09_CODEGEN.md.
  *
@@ -7,6 +7,10 @@
  */
 
 import * as IR from "./ir";
+import { emitCapabilityBody } from "./emit_capability";
+import { emitPipelineBody, emitAlgorithmBody } from "./emit_composition";
+import { toSnakeCase } from "./lowering_helpers";
+import { toTsType } from "./emit_router";
 
 export interface EmittedFile {
   path: string;
@@ -41,19 +45,6 @@ const SQL_TYPE_MAP: Record<string, string> = {
   json: "JSONB",
 };
 
-function toTsType(irType: string): string {
-  if (TS_TYPE_MAP[irType]) return TS_TYPE_MAP[irType];
-  const listMatch = irType.match(/^list<(.+)>$/);
-  if (listMatch) return `${toTsType(listMatch[1])}[]`;
-  const setMatch = irType.match(/^set<(.+)>$/);
-  if (setMatch) return `Set<${toTsType(setMatch[1])}>`;
-  const mapMatch = irType.match(/^map<(.+),\s*(.+)>$/);
-  if (mapMatch) return `Map<${toTsType(mapMatch[1])}, ${toTsType(mapMatch[2])}>`;
-  const optMatch = irType.match(/^optional<(.+)>$/);
-  if (optMatch) return `${toTsType(optMatch[1])} | null`;
-  // Entity reference or unknown
-  return irType;
-}
 
 function toSqlType(irType: string): string {
   if (SQL_TYPE_MAP[irType]) return SQL_TYPE_MAP[irType];
@@ -68,9 +59,6 @@ function sqlCheckConstraint(irType: string): string {
   return "";
 }
 
-function toSnakeCase(s: string): string {
-  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
 
 // ─── Emitter ─────────────────────────────────────────────────────────────────
 
@@ -167,12 +155,6 @@ export class Emitter {
     // Add cardinality CHECK constraints from relations
     // has_one: enforce at most 1 child row via a partial unique index (emitted below)
     // has_many with explicit max: enforce via CHECK on count (done via trigger — see below)
-    for (const rel of (mod as any).relations_with_cardinality || []) {
-      if (rel.cardinality && rel.cardinality.max !== "*" && typeof rel.cardinality.max === "number") {
-        // Will be enforced via trigger — placeholder comment
-        fieldLines.push(`  -- cardinality: ${rel.name} max ${rel.cardinality.max} (enforced by trigger)`);
-      }
-    }
 
     lines.push(fieldLines.join(",\n"));
     lines.push(`);`);
@@ -462,8 +444,6 @@ export class Emitter {
 
     // Real implementation — delegate to emitCapabilityBody for capabilities,
     // or generate CRUD SQL for standard methods
-    const { emitCapabilityBody } = require("./emit_capability");
-    const { emitPipelineBody, emitAlgorithmBody } = require("./emit_composition");
 
     if (method.pipeline) {
       lines.push(emitPipelineBody(method, "    "));
@@ -473,10 +453,14 @@ export class Emitter {
       // Capability with effects/preconditions — use the full capability body emitter
       try {
         lines.push(emitCapabilityBody(method, mod, system, "    "));
-      } catch {
-        // Fallback: emit a descriptive stub if body generation fails
+      } catch (err: unknown) {
+        // Body generation failed — emit a visible compile-time warning in the generated
+        // file so the developer knows this method needs attention, rather than silently
+        // producing a broken stub.
+        const msg = err instanceof Error ? err.message : String(err);
+        lines.push(`    // ⚠ COMPILER WARNING: emitCapabilityBody failed for '${method.name}': ${msg.replace(/`/g, "'")}`);
         lines.push(`    // Effects: ${method.effects.map((e: any) => e.target + " " + e.op + " " + e.value).join("; ")}`);
-        lines.push(`    return { ok: false, error: { code: "NOT_IMPLEMENTED", message: "${method.name} not yet implemented" } };`);
+        lines.push(`    return { ok: false, error: { code: "CODEGEN_FAILED", message: "Body generation failed for '${method.name}': " + ${JSON.stringify(msg)} } };`);
       }
     } else {
       // CRUD or simple method — emit a typed not-implemented stub

package/src/extension_manager.ts

@@ -19,6 +19,7 @@
 import * as fs from "fs";
 import * as path from "path";
 import * as AST from "./ast";
+import { toTsType } from "./emit_router";
 
 // ─── Sentinel Helpers ────────────────────────────────────────────────────────
 
@@ -36,19 +37,6 @@ export function isStubImplementation(code: string): boolean {
 
 // ─── Stub Generator ──────────────────────────────────────────────────────────
 
-function toTsType(irType: string): string {
-  const map: Record<string, string> = {
-    string: "string", uint: "number", int: "number", float: "number",
-    bool: "boolean", timestamp: "Date", uuid: "string", bytes: "Buffer", json: "unknown",
-  };
-  if (map[irType]) return map[irType];
-  const m = irType.match(/^(list|set)<(.+)>$/);
-  if (m) return `${toTsType(m[2])}[]`;
-  const om = irType.match(/^optional<(.+)>$/);
-  if (om) return `${toTsType(om[1])} | null`;
-  return irType;
-}
-
 function serializeType(t: AST.TypeExprNode): string {
   switch (t.kind) {
     case "PrimitiveType": return t.name;

package/src/optimizer.ts

@@ -50,14 +50,17 @@ export function optimize(system: IR.IRSystem): OptimizationResult {
 function deadModuleElimination(s: IR.IRSystem, log: OptimizationLog[]): IR.IRSystem {
   const reachable = new Set<string>();
 
-  // Seed: always-reachable kinds
+  // Seed: entry-point kinds that are always reachable by definition.
+  // worker_service, event_bus, and cache are infrastructure modules that are
+  // only reachable if something depends on them — they are NOT seeded here so
+  // that truly orphaned infrastructure modules can be eliminated.
   for (const m of s.modules) {
-    if (["gateway", "frontend", "auth_service", "api_service", "realtime_service", "data_store", "event_bus", "cache"].includes(m.kind)) {
+    if (["gateway", "frontend", "auth_service", "api_service", "realtime_service", "data_store"].includes(m.kind)) {
       reachable.add(m.id);
     }
   }
 
-  // Propagate reachability
+  // Propagate reachability through the dependency graph
   let changed = true;
   while (changed) {
     changed = false;

package/src/solver.ts

@@ -59,7 +59,7 @@ const DOMAIN_DEFAULTS: Record<string, DomainDefaults> = {
   },
   iot_system: {
     auth: "apikey",
-    engine: "dynamodb",
+    engine: "postgresql", // dynamodb is not yet supported by the emitter (T014); use postgresql
     session_engine: "redis",
     sync: "eventual",
     channel_transport: "grpc_stream",

package/src/typechecker.ts

@@ -1,4 +1,4 @@
-/**
+/**
  * BoneScript Type Checker — Stage 3 of the compilation pipeline.
  * Implements spec/04_TYPE_SYSTEM.md.
  *
@@ -180,6 +180,7 @@ export class TypeChecker {
       case "ExtensionPointDecl": this.checkExtensionPoint(decl); break;
       case "StoreDecl": this.checkStore(decl); break;
       case "PolicyDecl": this.checkPolicy(decl); break;
+      case "EventDecl": this.checkEvent(decl); break;
     }
   }
 
@@ -524,8 +525,22 @@ export class TypeChecker {
     if (condType && !this.isBoolish(condType)) {
       this.addError("T005", "Ternary condition must be bool", expr.loc);
     }
-    // result type is type of consequent (assume both branches same type)
-    return this.inferExprType(expr.consequent, ctx);
+    // Both branches must have compatible types
+    const consequentType = this.inferExprType(expr.consequent, ctx);
+    const alternateType  = this.inferExprType(expr.alternate, ctx);
+    if (
+      consequentType && alternateType &&
+      !typeEquals(consequentType, alternateType) &&
+      !this.isAssignable(consequentType, alternateType) &&
+      !this.isAssignable(alternateType, consequentType)
+    ) {
+      this.addError(
+        "T017",
+        `Ternary branches have incompatible types: consequent is ${typeToString(consequentType)}, alternate is ${typeToString(alternateType)}`,
+        expr.loc,
+      );
+    }
+    return consequentType;
   }
 
   // ─── Helpers ───────────────────────────────────────────────────────────────
@@ -635,10 +650,38 @@ export class TypeChecker {
     }
   }
 
+  // ─── Event Checking ───────────────────────────────────────────────────────────
 
-}
+  private static readonly VALID_DELIVERY_MODES = new Set(["at_least_once", "at_most_once", "exactly_once"]);
+
+  private checkEvent(decl: AST.EventDeclNode): void {
+    // Check payload field types resolve and have no duplicates
+    const seen = new Set<string>();
+    for (const field of decl.payload) {
+      if (seen.has(field.name)) {
+        this.addError("T009", `Duplicate field name '${field.name}' in event '${decl.name}'`, field.loc);
+      }
+      seen.add(field.name);
+
+      const resolved = this.resolveTypeExpr(field.type);
+      if (!resolved) {
+        this.addError("T001", `Event '${decl.name}' payload field '${field.name}' references undefined type`, field.loc);
+      }
+    }
+
+    // Check delivery mode is valid
+    if (decl.delivery && !TypeChecker.VALID_DELIVERY_MODES.has(decl.delivery)) {
+      this.addError(
+        "T016",
+        `Event '${decl.name}' has invalid delivery mode '${decl.delivery}'. ` +
+        `Valid values: ${[...TypeChecker.VALID_DELIVERY_MODES].join(", ")}.`,
+        decl.loc,
+      );
+    }
+  }
 // ─── Type Context ────────────────────────────────────────────────────────────
 
+}
 class TypeContext {
   private locals: Map<string, CVType>;
   private symbols: SymbolTable;

package/src/verifier.ts

@@ -1,4 +1,4 @@
-/**
+/**
  * BoneScript Verifier — Stage 7 of the compilation pipeline.
  * Implements spec/07_IR_SPEC.md §5 (IR Validation Rules).
  *
@@ -197,7 +197,7 @@ export class Verifier {
     const visited = new Set<string>();
     const inStack = new Set<string>();
 
-    const dfs = (node: string, path: string[]): boolean => {
+    const dfs = (node: string, path: string[]): void => {
       if (inStack.has(node)) {
         const cycle = [...path.slice(path.indexOf(node)), node];
         const names = cycle.map(id => system.modules.find(m => m.id === id)?.name || id);
@@ -207,9 +207,9 @@ export class Verifier {
           message: `Circular dependency: ${names.join(" → ")}`,
           location: node,
         });
-        return true;
+        return;
       }
-      if (visited.has(node)) return false;
+      if (visited.has(node)) return;
 
       visited.add(node);
       inStack.add(node);
@@ -221,7 +221,6 @@ export class Verifier {
       }
 
       inStack.delete(node);
-      return false;
     };
 
     for (const [id] of graph) {