bonescript-compiler 0.6.1 → 0.7.0

package/src/emit_prisma.ts

@@ -0,0 +1,346 @@
+/**
+ * BoneScript Prisma Schema Emitter
+ * Generates a Prisma schema file from the IR.
+ *
+ * Maps BoneScript entities, relations, and constraints to Prisma's
+ * schema language. Produces a single `schema.prisma` file that can
+ * be used with `npx prisma migrate dev` and `npx prisma generate`.
+ */
+
+import * as IR from "./ir";
+import { EmittedFile } from "./emitter";
+
+function toSnakeCase(s: string): string {
+  return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
+}
+
+function toPascalCase(s: string): string {
+  return s.replace(/(^|[-_\s])(\w)/g, (_, __, c: string) => c.toUpperCase());
+}
+
+// ─── Type Mapping ─────────────────────────────────────────────────────────────
+
+const PRISMA_TYPE_MAP: Record<string, string> = {
+  string: "String",
+  uint: "Int",
+  int: "Int",
+  float: "Float",
+  bool: "Boolean",
+  timestamp: "DateTime",
+  uuid: "String",
+  bytes: "Bytes",
+  json: "Json",
+};
+
+function toPrismaType(irType: string): string {
+  if (PRISMA_TYPE_MAP[irType]) return PRISMA_TYPE_MAP[irType];
+  const listMatch = irType.match(/^(list|set)<(.+)>$/);
+  if (listMatch) return `${toPrismaType(listMatch[2])}[]`;
+  const optMatch = irType.match(/^optional<(.+)>$/);
+  if (optMatch) return `${toPrismaType(optMatch[1])}?`;
+  // Entity reference — will be handled as a relation
+  return "String";
+}
+
+function toPrismaNativeType(irType: string): string | null {
+  switch (irType) {
+    case "uuid": return "@db.Uuid";
+    case "string": return null; // default is fine
+    case "json": return null; // Json maps directly
+    case "bytes": return null;
+    case "timestamp": return "@db.Timestamptz";
+    case "float": return "@db.DoublePrecision";
+    case "uint": return "@db.BigInt";
+    case "int": return "@db.BigInt";
+    default: return null;
+  }
+}
+
+// ─── Prisma Emitter ───────────────────────────────────────────────────────────
+
+export class PrismaEmitter {
+  emit(system: IR.IRSystem): EmittedFile[] {
+    const files: EmittedFile[] = [];
+    files.push({
+      path: "prisma/schema.prisma",
+      content: this.emitSchema(system),
+      language: "typescript", // closest match for syntax highlighting
+      source_module: "prisma",
+    });
+    return files;
+  }
+
+  private emitSchema(system: IR.IRSystem): string {
+    const lines: string[] = [];
+
+    // Header
+    lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
+    lines.push(`// Source: ${system.name} (${system.source_hash})`);
+    lines.push(`// Run: npx prisma migrate dev --name init`);
+    lines.push(`//      npx prisma generate`);
+    lines.push(``);
+
+    // Datasource
+    lines.push(`datasource db {`);
+    lines.push(`  provider = "postgresql"`);
+    lines.push(`  url      = env("DATABASE_URL")`);
+    lines.push(`}`);
+    lines.push(``);
+
+    // Generator
+    lines.push(`generator client {`);
+    lines.push(`  provider = "prisma-client-js"`);
+    lines.push(`}`);
+    lines.push(``);
+
+    // Collect all models across modules, deduplicating by name
+    const modelMap = new Map<string, { model: IR.IRModel; mod: IR.IRModule }>();
+    const allRelations: IR.IRRelation[] = [];
+
+    for (const mod of system.modules) {
+      if (mod.kind === "data_store" || mod.kind === "api_service") {
+        for (const model of mod.models) {
+          if (!modelMap.has(model.name)) {
+            modelMap.set(model.name, { model, mod });
+          }
+        }
+        allRelations.push(...mod.relations);
+      }
+    }
+
+    // Deduplicate relations by a stable key
+    const seenRelations = new Set<string>();
+    const uniqueRelations: IR.IRRelation[] = [];
+    for (const rel of allRelations) {
+      const key = `${rel.from_entity}:${rel.to_entity}:${rel.kind}:${rel.foreign_key}`;
+      if (!seenRelations.has(key)) {
+        seenRelations.add(key);
+        uniqueRelations.push(rel);
+      }
+    }
+
+    // Build a lookup: entity name → relations where it's the "from" side
+    const relationsFrom = new Map<string, IR.IRRelation[]>();
+    const relationsTo = new Map<string, IR.IRRelation[]>();
+    for (const rel of uniqueRelations) {
+      if (!relationsFrom.has(rel.from_entity)) relationsFrom.set(rel.from_entity, []);
+      relationsFrom.get(rel.from_entity)!.push(rel);
+      if (!relationsTo.has(rel.to_entity)) relationsTo.set(rel.to_entity, []);
+      relationsTo.get(rel.to_entity)!.push(rel);
+    }
+
+    // Emit each model
+    for (const [name, { model, mod }] of modelMap) {
+      lines.push(this.emitModel(name, model, mod, relationsFrom.get(name) || [], relationsTo.get(name) || [], modelMap));
+      lines.push(``);
+    }
+
+    // Emit junction tables for many_to_many
+    for (const rel of uniqueRelations) {
+      if (rel.kind === "many_to_many" && rel.junction_table) {
+        lines.push(this.emitJunctionModel(rel));
+        lines.push(``);
+      }
+    }
+
+    // Emit audit_log and event_outbox models (infrastructure)
+    lines.push(this.emitAuditLogModel());
+    lines.push(``);
+    lines.push(this.emitEventOutboxModel());
+    lines.push(``);
+
+    return lines.join("\n");
+  }
+
+  private emitModel(
+    name: string,
+    model: IR.IRModel,
+    mod: IR.IRModule,
+    relationsFrom: IR.IRRelation[],
+    relationsTo: IR.IRRelation[],
+    allModels: Map<string, { model: IR.IRModel; mod: IR.IRModule }>
+  ): string {
+    const lines: string[] = [];
+    const tableName = toSnakeCase(name) + "s";
+
+    lines.push(`model ${toPascalCase(name)} {`);
+
+    // Fields
+    for (const field of model.fields) {
+      lines.push(`  ${this.emitField(field, model, name)}`);
+    }
+
+    // State field (if entity has a state machine)
+    const hasSM = mod.state_machines.some(sm => sm.entity === name);
+    const hasStateField = model.fields.some(f => f.name === "state");
+    if (hasSM && !hasStateField) {
+      lines.push(`  state         String`);
+    }
+
+    // Relation fields
+    for (const rel of relationsFrom) {
+      if (rel.kind === "belongs_to") {
+        // The FK field is already in the model fields. Add the relation object.
+        const targetModel = toPascalCase(rel.to_entity);
+        const fieldName = toSnakeCase(rel.to_entity);
+        lines.push(`  ${fieldName}   ${targetModel}  @relation(fields: [${rel.foreign_key}], references: [id], onDelete: Cascade)`);
+      } else if (rel.kind === "has_many") {
+        const targetModel = toPascalCase(rel.to_entity);
+        const fieldName = toSnakeCase(rel.to_entity) + "s";
+        lines.push(`  ${fieldName}  ${targetModel}[]`);
+      } else if (rel.kind === "has_one") {
+        const targetModel = toPascalCase(rel.to_entity);
+        const fieldName = toSnakeCase(rel.to_entity);
+        lines.push(`  ${fieldName}   ${targetModel}?`);
+      }
+    }
+
+    // Inverse relations (where this model is the "to" side)
+    for (const rel of relationsTo) {
+      if (rel.kind === "belongs_to") {
+        // This model is the target of a belongs_to — add the inverse has_many
+        const sourceModel = toPascalCase(rel.from_entity);
+        const fieldName = toSnakeCase(rel.from_entity) + "s";
+        // Only add if not already covered by relationsFrom
+        const alreadyCovered = relationsFrom.some(r =>
+          r.to_entity === rel.from_entity && r.kind === "has_many"
+        );
+        if (!alreadyCovered) {
+          lines.push(`  ${fieldName}  ${sourceModel}[]`);
+        }
+      }
+    }
+
+    // Table mapping
+    lines.push(``);
+    lines.push(`  @@map("${tableName}")`);
+
+    // Indexes
+    for (const idx of model.indexes) {
+      if (idx.unique) {
+        lines.push(`  @@unique([${idx.fields.join(", ")}])`);
+      } else {
+        lines.push(`  @@index([${idx.fields.join(", ")}])`);
+      }
+    }
+
+    lines.push(`}`);
+    return lines.join("\n");
+  }
+
+  private emitField(field: IR.IRField, model: IR.IRModel, entityName: string): string {
+    const parts: string[] = [];
+
+    // Field name (padded for alignment)
+    parts.push(field.name.padEnd(14));
+
+    // Type
+    let prismaType = toPrismaType(field.type);
+    if (field.nullable) prismaType += "?";
+    parts.push(prismaType.padEnd(12));
+
+    // Attributes
+    const attrs: string[] = [];
+
+    // Primary key
+    if (field.name === model.primary_key) {
+      attrs.push("@id");
+    }
+
+    // Default values
+    if (field.name === "id" && field.type === "uuid") {
+      attrs.push("@default(uuid())");
+    } else if (field.name === "created_at" || (field.type === "timestamp" && field.name.includes("created"))) {
+      attrs.push("@default(now())");
+    } else if (field.name === "updated_at") {
+      attrs.push("@updatedAt");
+    } else if (field.default_value) {
+      const dv = this.mapDefaultValue(field.default_value, field.type);
+      if (dv) attrs.push(dv);
+    }
+
+    // Unique constraint (skip if already primary key — @id implies uniqueness)
+    if (field.unique && field.name !== model.primary_key) {
+      attrs.push("@unique");
+    }
+
+    // Native type annotation
+    const nativeType = toPrismaNativeType(field.type);
+    if (nativeType) {
+      attrs.push(nativeType);
+    }
+
+    if (attrs.length > 0) {
+      parts.push(attrs.join(" "));
+    }
+
+    return parts.join(" ").trimEnd();
+  }
+
+  private mapDefaultValue(value: string, type: string): string | null {
+    if (value === "gen_random_uuid()" || value === "uuid()") return "@default(uuid())";
+    if (value === "now()") return "@default(now())";
+    if (value === "true" || value === "false") return `@default(${value})`;
+    if (/^\d+$/.test(value)) return `@default(${value})`;
+    if (/^\d+\.\d+$/.test(value)) return `@default(${value})`;
+    if (value.startsWith('"') && value.endsWith('"')) return `@default(${value})`;
+    return null;
+  }
+
+  private emitJunctionModel(rel: IR.IRRelation): string {
+    const lines: string[] = [];
+    const fromCol = toSnakeCase(rel.from_entity) + "_id";
+    const toCol = toSnakeCase(rel.to_entity) + "_id";
+
+    lines.push(`model ${toPascalCase(rel.junction_table!)} {`);
+    lines.push(`  ${fromCol.padEnd(14)} String       @db.Uuid`);
+    lines.push(`  ${toCol.padEnd(14)} String       @db.Uuid`);
+    lines.push(`  created_at     DateTime     @default(now()) @db.Timestamptz`);
+    lines.push(``);
+    lines.push(`  ${toSnakeCase(rel.from_entity).padEnd(14)} ${toPascalCase(rel.from_entity)}  @relation(fields: [${fromCol}], references: [id], onDelete: Cascade)`);
+    lines.push(`  ${toSnakeCase(rel.to_entity).padEnd(14)} ${toPascalCase(rel.to_entity)}  @relation(fields: [${toCol}], references: [id], onDelete: Cascade)`);
+    lines.push(``);
+    lines.push(`  @@id([${fromCol}, ${toCol}])`);
+    lines.push(`  @@index([${fromCol}])`);
+    lines.push(`  @@index([${toCol}])`);
+    lines.push(`  @@map("${rel.junction_table}")`);
+    lines.push(`}`);
+    return lines.join("\n");
+  }
+
+  private emitAuditLogModel(): string {
+    return `model AuditLog {
+  id             String       @id @default(uuid()) @db.Uuid
+  actor_id       String?      @db.Uuid
+  action         String
+  entity_type    String
+  entity_id      String?      @db.Uuid
+  payload        Json?
+  ip             String?
+  user_agent     String?
+  trace_id       String?      @db.Uuid
+  created_at     DateTime     @default(now()) @db.Timestamptz
+
+  @@index([actor_id])
+  @@index([entity_type, entity_id])
+  @@index([created_at])
+  @@map("audit_log")
+}`;
+  }
+
+  private emitEventOutboxModel(): string {
+    return `model EventOutbox {
+  id             String       @id @default(uuid()) @db.Uuid
+  event_type     String
+  payload        Json
+  status         String       @default("pending")
+  attempts       Int          @default(0)
+  created_at     DateTime     @default(now()) @db.Timestamptz
+  processed_at   DateTime?    @db.Timestamptz
+  error          String?
+
+  @@index([status, created_at])
+  @@map("event_outbox")
+}`;
+  }
+}

package/src/index.ts

@@ -16,6 +16,7 @@ export { ConstraintSolver } from "./solver";
 export type { SolverResult } from "./solver";
 export { FullEmitter } from "./emit_full";
 export { NakamaEmitter } from "./emit_nakama";
+export { PrismaEmitter } from "./emit_prisma";
 export type { NakamaEmittedFile } from "./emit_nakama";
 export type { EmittedFile } from "./emitter";
 export { Verifier } from "./verifier";

package/dist/source_map.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"source_map.js","sourceRoot":"","sources":["../src/source_map.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;;AAqBH,MAAa,gBAAgB;IAA7B;QACU,aAAQ,GAAoB,EAAE,CAAC;IA8DzC,CAAC;IA5DC,GAAG,CAAC,OAAsB;QACxB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,CAAC;IAED;;;OAGG;IACH,eAAe,CACb,aAAqB,EACrB,UAAkB,EAClB,UAAkB,EAClB,GAAgB;QAEhB,MAAM,QAAQ,GAAoB,EAAE,CAAC;QAErC,oCAAoC;QACpC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACnC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,QAAQ,CAAC,IAAI,CAAC;oBACZ,cAAc,EAAE,aAAa;oBAC7B,cAAc,EAAE,CAAC,EAAE,oCAAoC;oBACvD,WAAW,EAAE,UAAU;oBACvB,WAAW,EAAE,CAAC,EAAK,mCAAmC;oBACtD,aAAa,EAAE,CAAC;oBAChB,UAAU,EAAE,GAAG,CAAC,EAAE;oBAClB,WAAW,EAAE,WAAW,MAAM,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,EAAE;iBACtD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,4CAA4C;QAC5C,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CAAC;gBACZ,cAAc,EAAE,aAAa;gBAC7B,cAAc,EAAE,CAAC;gBACjB,WAAW,EAAE,UAAU;gBACvB,WAAW,EAAE,CAAC;gBACd,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,GAAG,CAAC,EAAE;gBAClB,WAAW,EAAE,UAAU,KAAK,CAAC,IAAI,GAAG;aACrC,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,UAAU;YACvB,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,UAAkB,EAAE,UAAkB;QAC1C,OAAO;YACL,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,UAAU;YACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC;IACJ,CAAC;CACF;AA/DD,4CA+DC"}

package/dist/test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"test.js","sourceRoot":"","sources":["../src/test.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAyB;AACzB,2CAA6B;AAC7B,mCAA4C;AAC5C,qCAAkC;AAClC,+CAA2C;AAE3C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,wCAAwC,CAAC,CAAC;AAElF,SAAS,IAAI;IACX,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;IAEhD,gCAAgC;IAChC,OAAO,CAAC,GAAG,CAAC,4CAA4C,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACH,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC1B,OAAO,CAAC,GAAG,CAAC,kBAAkB,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,kBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,iCAAiC;IACjC,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACjE,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;IAC/D,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC;QACxD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,8BAA8B;IAC9B,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,GAAG,CAAC;IACR,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,CAAC,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;QAC5D,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,eAAe,GAAG,CAAC,IAAI,cAAc,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,CAAC,uBAAuB,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;YAC9D,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACvD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACnC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAC3E,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,wBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,CAAC,CAAC;IACV,CAAC;IAED,kCAAkC;IAClC,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,eAAM,CAAC,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9D,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;IAC7D,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,0CAA0C,CAAC,CAAC;QACxD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,+BAA+B;IAC/B,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;IAC/C,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,IAAI,aAAK,CAAC,EAAE,CAAC,CAAC;QACjC,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,IAAI,eAAM,CAAC,WAAW,CAAC,CAAC;QAC5C,WAAW,CAAC,KAAK,EAAE,CAAC;QACpB,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,wBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;IAClD,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,uBAAuB,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAI,aAAK,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC;QAClD,IAAI,eAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QACxC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,wBAAU,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACxD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,yHAAyH,CAAC,CAAC;IACvI,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;IACrC,OAAO,CAAC,GAAG,CAAC,uHAAuH,CAAC,CAAC;AACvI,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/test_typechecker.d.ts

@@ -1,5 +0,0 @@
-/**
- * BoneScript Type Checker Tests
- * Verifies the type checker catches errors per spec/04_TYPE_SYSTEM.md.
- */
-export {};

package/dist/test_typechecker.js

@@ -1,126 +0,0 @@
-"use strict";
-/**
- * BoneScript Type Checker Tests
- * Verifies the type checker catches errors per spec/04_TYPE_SYSTEM.md.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-const lexer_1 = require("./lexer");
-const parser_1 = require("./parser");
-const typechecker_1 = require("./typechecker");
-function compile(source) {
-    const tokens = new lexer_1.Lexer(source).tokenize();
-    const ast = new parser_1.Parser(tokens).parse();
-    const checker = new typechecker_1.TypeChecker();
-    return checker.check(ast);
-}
-let passed = 0;
-let failed = 0;
-function expect(name, source, expectedCode) {
-    const errors = compile(source);
-    if (expectedCode === null) {
-        if (errors.length === 0) {
-            console.log(`  ✓ ${name}`);
-            passed++;
-        }
-        else {
-            console.log(`  ✗ ${name}: expected no errors, got ${errors.length}`);
-            for (const e of errors)
-                console.log(`      ${e.code}: ${e.message}`);
-            failed++;
-        }
-    }
-    else {
-        const found = errors.find(e => e.code === expectedCode);
-        if (found) {
-            console.log(`  ✓ ${name} (${expectedCode}: ${found.message})`);
-            passed++;
-        }
-        else {
-            console.log(`  ✗ ${name}: expected ${expectedCode}, got [${errors.map(e => e.code).join(", ")}]`);
-            for (const e of errors)
-                console.log(`      ${e.code}: ${e.message}`);
-            failed++;
-        }
-    }
-}
-console.log("BoneScript Type Checker Tests\n");
-// ─── Valid Programs ──────────────────────────────────────────────────────────
-expect("Valid minimal system", `
-system Minimal {
-  entity User {
-    owns: [name: string]
-  }
-  capability greet(u: User) {
-    requires: [u.name != ""]
-    effects: [u.name = "greeted"]
-    sync: eventual
-  }
-}
-`, null);
-expect("Valid with set operations", `
-system SetOps {
-  entity Bag {
-    owns: [items: set<string>]
-  }
-  capability add_item(b: Bag, item: string) {
-    requires: [b.items.size < 100]
-    effects: [b.items += item]
-    sync: transactional
-  }
-}
-`, null);
-expect("Valid with numeric operations", `
-system NumOps {
-  entity Counter {
-    owns: [value: uint]
-    constraints: [value >= 0, value <= 1000]
-  }
-  capability increment(c: Counter, amount: uint) {
-    requires: [amount > 0]
-    effects: [c.value += amount]
-    sync: eventual
-  }
-}
-`, null);
-// ─── Type Errors ─────────────────────────────────────────────────────────────
-expect("T009: Duplicate field name", `
-system DupField {
-  entity Bad {
-    owns: [name: string, name: uint]
-  }
-}
-`, "T009");
-expect("T010: Undefined state in transition", `
-system BadState {
-  entity Thing {
-    owns: [x: uint]
-    states: active -> nonexistent
-  }
-}
-`, null); // states are just identifiers, both are "defined" by being in the graph
-expect("T012: Flow with less than 2 steps", `
-system BadFlow {
-  entity Item { owns: [x: uint] }
-  flow single_step {
-    step one: do_thing(x)
-  }
-}
-`, "T012");
-expect("T011: Emit undeclared event", `
-system BadEmit {
-  entity User { owns: [name: string] }
-  capability greet(u: User) {
-    requires: [u.name != ""]
-    effects: [u.name = "hi"]
-    emits: NonExistentEvent
-    sync: eventual
-  }
-}
-`, "T011");
-// ─── Summary ─────────────────────────────────────────────────────────────────
-console.log(`\n═══════════════════════════════════════`);
-console.log(`Results: ${passed} passed, ${failed} failed`);
-console.log(`═══════════════════════════════════════`);
-if (failed > 0)
-    process.exit(1);
-//# sourceMappingURL=test_typechecker.js.map

package/dist/test_typechecker.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"test_typechecker.js","sourceRoot":"","sources":["../src/test_typechecker.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAEH,mCAAgC;AAChC,qCAAkC;AAClC,+CAA4C;AAE5C,SAAS,OAAO,CAAC,MAAc;IAC7B,MAAM,MAAM,GAAG,IAAI,aAAK,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG,IAAI,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,yBAAW,EAAE,CAAC;IAClC,OAAO,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC;AAED,IAAI,MAAM,GAAG,CAAC,CAAC;AACf,IAAI,MAAM,GAAG,CAAC,CAAC;AAEf,SAAS,MAAM,CAAC,IAAY,EAAE,MAAc,EAAE,YAA2B;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/B,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;YAC7B,MAAM,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,6BAA6B,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YACvE,KAAK,MAAM,CAAC,IAAI,MAAM;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACrE,MAAM,EAAE,CAAC;QACX,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;QACxD,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,KAAK,YAAY,KAAK,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;YACjE,MAAM,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,cAAc,YAAY,UAAU,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpG,KAAK,MAAM,CAAC,IAAI,MAAM;gBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YACrE,MAAM,EAAE,CAAC;QACX,CAAC;IACH,CAAC;AACH,CAAC;AAED,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;AAE/C,0MAA0M;AAE1M,MAAM,CAAC,sBAAsB,EAAE;;;;;;;;;;;CAW9B,EAAE,IAAI,CAAC,CAAC;AAET,MAAM,CAAC,2BAA2B,EAAE;;;;;;;;;;;CAWnC,EAAE,IAAI,CAAC,CAAC;AAET,MAAM,CAAC,+BAA+B,EAAE;;;;;;;;;;;;CAYvC,EAAE,IAAI,CAAC,CAAC;AAET,gNAAgN;AAEhN,MAAM,CAAC,4BAA4B,EAAE;;;;;;CAMpC,EAAE,MAAM,CAAC,CAAC;AAEX,MAAM,CAAC,qCAAqC,EAAE;;;;;;;CAO7C,EAAE,IAAI,CAAC,CAAC,CAAC,wEAAwE;AAElF,MAAM,CAAC,mCAAmC,EAAE;;;;;;;CAO3C,EAAE,MAAM,CAAC,CAAC;AAEX,MAAM,CAAC,6BAA6B,EAAE;;;;;;;;;;CAUrC,EAAE,MAAM,CAAC,CAAC;AAEX,wNAAwN;AAExN,OAAO,CAAC,GAAG,CAAC,yHAAyH,CAAC,CAAC;AACvI,OAAO,CAAC,GAAG,CAAC,YAAY,MAAM,YAAY,MAAM,SAAS,CAAC,CAAC;AAC3D,OAAO,CAAC,GAAG,CAAC,uHAAuH,CAAC,CAAC;AAErI,IAAI,MAAM,GAAG,CAAC;IAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC"}