bonescript-compiler 0.6.1 → 0.7.0

package/dist/emit_prisma.js

@@ -0,0 +1,314 @@
+"use strict";
+/**
+ * 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`.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PrismaEmitter = void 0;
+function toSnakeCase(s) {
+    return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
+}
+function toPascalCase(s) {
+    return s.replace(/(^|[-_\s])(\w)/g, (_, __, c) => c.toUpperCase());
+}
+// ─── Type Mapping ─────────────────────────────────────────────────────────────
+const PRISMA_TYPE_MAP = {
+    string: "String",
+    uint: "Int",
+    int: "Int",
+    float: "Float",
+    bool: "Boolean",
+    timestamp: "DateTime",
+    uuid: "String",
+    bytes: "Bytes",
+    json: "Json",
+};
+function toPrismaType(irType) {
+    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) {
+    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 ───────────────────────────────────────────────────────────
+class PrismaEmitter {
+    emit(system) {
+        const files = [];
+        files.push({
+            path: "prisma/schema.prisma",
+            content: this.emitSchema(system),
+            language: "typescript", // closest match for syntax highlighting
+            source_module: "prisma",
+        });
+        return files;
+    }
+    emitSchema(system) {
+        const lines = [];
+        // 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();
+        const allRelations = [];
+        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();
+        const uniqueRelations = [];
+        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();
+        const relationsTo = new Map();
+        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");
+    }
+    emitModel(name, model, mod, relationsFrom, relationsTo, allModels) {
+        const lines = [];
+        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");
+    }
+    emitField(field, model, entityName) {
+        const parts = [];
+        // 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 = [];
+        // 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();
+    }
+    mapDefaultValue(value, type) {
+        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;
+    }
+    emitJunctionModel(rel) {
+        const lines = [];
+        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");
+    }
+    emitAuditLogModel() {
+        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")
+}`;
+    }
+    emitEventOutboxModel() {
+        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")
+}`;
+    }
+}
+exports.PrismaEmitter = PrismaEmitter;
+//# sourceMappingURL=emit_prisma.js.map

package/dist/emit_prisma.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit_prisma.js","sourceRoot":"","sources":["../src/emit_prisma.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAKH,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;AAC7E,CAAC;AAED,iFAAiF;AAEjF,MAAM,eAAe,GAA2B;IAC9C,MAAM,EAAE,QAAQ;IAChB,IAAI,EAAE,KAAK;IACX,GAAG,EAAE,KAAK;IACV,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,SAAS;IACf,SAAS,EAAE,UAAU;IACrB,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,MAAM;CACb,CAAC;AAEF,SAAS,YAAY,CAAC,MAAc;IAClC,IAAI,eAAe,CAAC,MAAM,CAAC;QAAE,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACrD,IAAI,SAAS;QAAE,OAAO,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAClD,IAAI,QAAQ;QAAE,OAAO,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACrD,mDAAmD;IACnD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAc;IACxC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,CAAC,OAAO,UAAU,CAAC;QAC/B,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,kBAAkB;QAC9C,KAAK,MAAM,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,qBAAqB;QAC/C,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;QAC1B,KAAK,WAAW,CAAC,CAAC,OAAO,iBAAiB,CAAC;QAC3C,KAAK,OAAO,CAAC,CAAC,OAAO,qBAAqB,CAAC;QAC3C,KAAK,MAAM,CAAC,CAAC,OAAO,YAAY,CAAC;QACjC,KAAK,KAAK,CAAC,CAAC,OAAO,YAAY,CAAC;QAChC,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACvB,CAAC;AACH,CAAC;AAED,iFAAiF;AAEjF,MAAa,aAAa;IACxB,IAAI,CAAC,MAAmB;QACtB,MAAM,KAAK,GAAkB,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;YAChC,QAAQ,EAAE,YAAY,EAAE,wCAAwC;YAChE,aAAa,EAAE,QAAQ;SACxB,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,UAAU,CAAC,MAAmB;QACpC,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,SAAS;QACT,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,WAAW,GAAG,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,aAAa;QACb,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,YAAY;QACZ,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,2DAA2D;QAC3D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmD,CAAC;QAC5E,MAAM,YAAY,GAAoB,EAAE,CAAC;QAEzC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC5D,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;oBAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC9B,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;oBAC3C,CAAC;gBACH,CAAC;gBACD,YAAY,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,wCAAwC;QACxC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QACxC,MAAM,eAAe,GAAoB,EAAE,CAAC;QAC5C,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;YACjF,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACvB,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5B,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,MAAM,aAAa,GAAG,IAAI,GAAG,EAA2B,CAAC;QACzD,MAAM,WAAW,GAAG,IAAI,GAAG,EAA2B,CAAC;QACvD,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;YAClC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC;gBAAE,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAChF,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACxE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5C,CAAC;QAED,kBAAkB;QAClB,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC9C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;YACnH,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC;QAED,wCAAwC;QACxC,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;YAClC,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;gBACtD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;QAED,0DAA0D;QAC1D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAEO,SAAS,CACf,IAAY,EACZ,KAAiB,EACjB,GAAgB,EAChB,aAA8B,EAC9B,WAA4B,EAC5B,SAA+D;QAE/D,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;QAE1C,KAAK,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE5C,SAAS;QACT,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACxD,CAAC;QAED,8CAA8C;QAC9C,MAAM,KAAK,GAAG,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;QAChE,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACjE,IAAI,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACvC,CAAC;QAED,kBAAkB;QAClB,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;YAChC,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC9B,wEAAwE;gBACxE,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC7C,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,MAAM,WAAW,wBAAwB,GAAG,CAAC,WAAW,yCAAyC,CAAC,CAAC;YAC9H,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACnC,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC;gBACnD,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,KAAK,WAAW,IAAI,CAAC,CAAC;YACjD,CAAC;iBAAM,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAClC,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAChD,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC7C,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,MAAM,WAAW,GAAG,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED,wDAAwD;QACxD,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;YAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC9B,sEAAsE;gBACtE,MAAM,WAAW,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;gBAClD,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC;gBACrD,mDAAmD;gBACnD,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC5C,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,CACzD,CAAC;gBACF,IAAI,CAAC,cAAc,EAAE,CAAC;oBACpB,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,KAAK,WAAW,IAAI,CAAC,CAAC;gBACjD,CAAC;YACH,CAAC;QACH,CAAC;QAED,gBAAgB;QAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,IAAI,CAAC,CAAC;QAEtC,UAAU;QACV,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBACf,KAAK,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvD,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,cAAc,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAEO,SAAS,CAAC,KAAiB,EAAE,KAAiB,EAAE,UAAkB;QACxE,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,oCAAoC;QACpC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAElC,OAAO;QACP,IAAI,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,KAAK,CAAC,QAAQ;YAAE,UAAU,IAAI,GAAG,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAElC,aAAa;QACb,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,cAAc;QACd,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QAED,iBAAiB;QACjB,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACjD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YACzG,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAChC,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3B,CAAC;aAAM,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACjE,IAAI,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,CAAC;QAED,2EAA2E;QAC3E,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;YACrD,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC;QAED,yBAAyB;QACzB,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzB,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,CAAC;QAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;IACnC,CAAC;IAEO,eAAe,CAAC,KAAa,EAAE,IAAY;QACjD,IAAI,KAAK,KAAK,mBAAmB,IAAI,KAAK,KAAK,QAAQ;YAAE,OAAO,kBAAkB,CAAC;QACnF,IAAI,KAAK,KAAK,OAAO;YAAE,OAAO,iBAAiB,CAAC;QAChD,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,OAAO;YAAE,OAAO,YAAY,KAAK,GAAG,CAAC;QACvE,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,YAAY,KAAK,GAAG,CAAC;QACrD,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,YAAY,KAAK,GAAG,CAAC;QAC1D,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,YAAY,KAAK,GAAG,CAAC;QAC9E,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,iBAAiB,CAAC,GAAkB;QAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,KAAK,CAAC;QACrD,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,KAAK,CAAC;QAEjD,KAAK,CAAC,IAAI,CAAC,SAAS,YAAY,CAAC,GAAG,CAAC,cAAe,CAAC,IAAI,CAAC,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;QAC5E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,wBAAwB,OAAO,yCAAyC,CAAC,CAAC;QAClK,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,wBAAwB,KAAK,yCAAyC,CAAC,CAAC;QAC5J,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,cAAc,OAAO,IAAI,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,YAAY,GAAG,CAAC,cAAc,IAAI,CAAC,CAAC;QAC/C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAEO,iBAAiB;QACvB,OAAO;;;;;;;;;;;;;;;;EAgBT,CAAC;IACD,CAAC;IAEO,oBAAoB;QAC1B,OAAO;;;;;;;;;;;;EAYT,CAAC;IACD,CAAC;CACF;AA7RD,sCA6RC"}

package/dist/index.d.ts

@@ -14,6 +14,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/index.js

@@ -27,7 +27,7 @@ var __importStar = (this && this.__importStar) || function (mod) {
     return result;
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.compile = exports.emitGraphQLSchema = exports.emitCronJobs = exports.emitNotifyService = exports.emitAdminPanel = exports.emitAuditMiddleware = exports.emitAuditSchema = exports.emitSeedFile = exports.emitPostmanCollection = exports.emitZodSchemas = exports.emitSdkPackageJson = exports.emitTypescriptSdk = exports.emitOpenApiJson = exports.emitOpenApiSpec = exports.validateExtensions = exports.extractImplementations = exports.mergeWithExisting = exports.listByCategory = exports.listAlgorithms = exports.lookupAlgorithm = exports.IR = exports.AST = exports.scaffold = exports.Formatter = exports.ModuleLoader = exports.optimize = exports.Verifier = exports.NakamaEmitter = exports.FullEmitter = exports.ConstraintSolver = exports.Lowering = exports.TypeChecker = exports.RecoveringParser = exports.ParseError = exports.Parser = exports.TokenKind = exports.LexerError = exports.Lexer = void 0;
+exports.compile = exports.emitGraphQLSchema = exports.emitCronJobs = exports.emitNotifyService = exports.emitAdminPanel = exports.emitAuditMiddleware = exports.emitAuditSchema = exports.emitSeedFile = exports.emitPostmanCollection = exports.emitZodSchemas = exports.emitSdkPackageJson = exports.emitTypescriptSdk = exports.emitOpenApiJson = exports.emitOpenApiSpec = exports.validateExtensions = exports.extractImplementations = exports.mergeWithExisting = exports.listByCategory = exports.listAlgorithms = exports.lookupAlgorithm = exports.IR = exports.AST = exports.scaffold = exports.Formatter = exports.ModuleLoader = exports.optimize = exports.Verifier = exports.PrismaEmitter = exports.NakamaEmitter = exports.FullEmitter = exports.ConstraintSolver = exports.Lowering = exports.TypeChecker = exports.RecoveringParser = exports.ParseError = exports.Parser = exports.TokenKind = exports.LexerError = exports.Lexer = void 0;
 // Core pipeline
 var lexer_1 = require("./lexer");
 Object.defineProperty(exports, "Lexer", { enumerable: true, get: function () { return lexer_1.Lexer; } });
@@ -48,6 +48,8 @@ var emit_full_1 = require("./emit_full");
 Object.defineProperty(exports, "FullEmitter", { enumerable: true, get: function () { return emit_full_1.FullEmitter; } });
 var emit_nakama_1 = require("./emit_nakama");
 Object.defineProperty(exports, "NakamaEmitter", { enumerable: true, get: function () { return emit_nakama_1.NakamaEmitter; } });
+var emit_prisma_1 = require("./emit_prisma");
+Object.defineProperty(exports, "PrismaEmitter", { enumerable: true, get: function () { return emit_prisma_1.PrismaEmitter; } });
 var verifier_1 = require("./verifier");
 Object.defineProperty(exports, "Verifier", { enumerable: true, get: function () { return verifier_1.Verifier; } });
 var optimizer_1 = require("./optimizer");

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,gBAAgB;AAChB,iCAAuD;AAA9C,8FAAA,KAAK,OAAA;AAAE,mGAAA,UAAU,OAAA;AAAE,kGAAA,SAAS,OAAA;AAErC,mCAA8C;AAArC,gGAAA,MAAM,OAAA;AAAE,oGAAA,UAAU,OAAA;AAC3B,qDAAqD;AAA5C,mHAAA,gBAAgB,OAAA;AAEzB,6CAA4C;AAAnC,0GAAA,WAAW,OAAA;AAEpB,uCAAsC;AAA7B,oGAAA,QAAQ,OAAA;AACjB,mCAA4C;AAAnC,0GAAA,gBAAgB,OAAA;AAEzB,yCAA0C;AAAjC,wGAAA,WAAW,OAAA;AACpB,6CAA8C;AAArC,4GAAA,aAAa,OAAA;AAGtB,uCAAsC;AAA7B,oGAAA,QAAQ,OAAA;AAEjB,yCAAuC;AAA9B,qGAAA,QAAQ,OAAA;AAEjB,iDAA+C;AAAtC,6GAAA,YAAY,OAAA;AAErB,yCAAwC;AAA/B,sGAAA,SAAS,OAAA;AAClB,uCAAsC;AAA7B,oGAAA,QAAQ,OAAA;AAGjB,YAAY;AACZ,6CAA6B;AAE7B,WAAW;AACX,2CAA2B;AAE3B,oBAAoB;AACpB,yDAAsF;AAA7E,oHAAA,eAAe,OAAA;AAAE,mHAAA,cAAc,OAAA;AAAE,mHAAA,cAAc,OAAA;AAExD,mBAAmB;AACnB,yDAAoG;AAA3F,sHAAA,iBAAiB,OAAA;AAAE,2HAAA,sBAAsB,OAAA;AAAE,uHAAA,kBAAkB,OAAA;AAEtE,eAAe;AACf,+CAAkE;AAAzD,+GAAA,eAAe,OAAA;AAAE,+GAAA,eAAe,OAAA;AACzC,uCAAmE;AAA1D,6GAAA,iBAAiB,OAAA;AAAE,8GAAA,kBAAkB,OAAA;AAC9C,uCAA4C;AAAnC,0GAAA,cAAc,OAAA;AACvB,+CAAuD;AAA9C,qHAAA,qBAAqB,OAAA;AAC9B,yCAA2C;AAAlC,yGAAA,YAAY,OAAA;AACrB,2CAAoE;AAA3D,6GAAA,eAAe,OAAA;AAAE,iHAAA,mBAAmB,OAAA;AAC7C,2CAA8C;AAArC,4GAAA,cAAc,OAAA;AACvB,6CAAkD;AAAzC,gHAAA,iBAAiB,OAAA;AAC1B,yCAA2C;AAAlC,yGAAA,YAAY,OAAA;AACrB,+CAAmD;AAA1C,iHAAA,iBAAiB,OAAA;AAE1B;;GAEG;AACI,KAAK,UAAU,OAAO,CAAC,MAAc,EAAE,aAAqB,cAAc;IAK/E,MAAM,EAAE,UAAU,EAAE,GAAG,wDAAa,QAAQ,GAAC,CAAC;IAC9C,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,wDAAa,SAAS,GAAC,CAAC;IAC7C,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,wDAAa,UAAU,GAAC,CAAC;IAC/C,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,wDAAa,eAAe,GAAC,CAAC;IAC1D,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,wDAAa,YAAY,GAAC,CAAC;IACpD,MAAM,EAAE,gBAAgB,EAAE,EAAE,EAAE,GAAG,wDAAa,UAAU,GAAC,CAAC;IAC1D,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,wDAAa,aAAa,GAAC,CAAC;IACxD,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,wDAAa,aAAa,GAAC,CAAC;IAEtD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;IAElC,MAAM,UAAU,GAAG,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAE9D,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5E,MAAM,SAAS,GAAG,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAE5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,MAAM,WAAW,GAAG,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,KAAK,GAAiF,EAAE,CAAC;IAC/F,MAAM,OAAO,GAAG,IAAI,EAAE,EAAE,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACrC,CAAC;AA5CD,0BA4CC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,gBAAgB;AAChB,iCAAuD;AAA9C,8FAAA,KAAK,OAAA;AAAE,mGAAA,UAAU,OAAA;AAAE,kGAAA,SAAS,OAAA;AAErC,mCAA8C;AAArC,gGAAA,MAAM,OAAA;AAAE,oGAAA,UAAU,OAAA;AAC3B,qDAAqD;AAA5C,mHAAA,gBAAgB,OAAA;AAEzB,6CAA4C;AAAnC,0GAAA,WAAW,OAAA;AAEpB,uCAAsC;AAA7B,oGAAA,QAAQ,OAAA;AACjB,mCAA4C;AAAnC,0GAAA,gBAAgB,OAAA;AAEzB,yCAA0C;AAAjC,wGAAA,WAAW,OAAA;AACpB,6CAA8C;AAArC,4GAAA,aAAa,OAAA;AACtB,6CAA8C;AAArC,4GAAA,aAAa,OAAA;AAGtB,uCAAsC;AAA7B,oGAAA,QAAQ,OAAA;AAEjB,yCAAuC;AAA9B,qGAAA,QAAQ,OAAA;AAEjB,iDAA+C;AAAtC,6GAAA,YAAY,OAAA;AAErB,yCAAwC;AAA/B,sGAAA,SAAS,OAAA;AAClB,uCAAsC;AAA7B,oGAAA,QAAQ,OAAA;AAGjB,YAAY;AACZ,6CAA6B;AAE7B,WAAW;AACX,2CAA2B;AAE3B,oBAAoB;AACpB,yDAAsF;AAA7E,oHAAA,eAAe,OAAA;AAAE,mHAAA,cAAc,OAAA;AAAE,mHAAA,cAAc,OAAA;AAExD,mBAAmB;AACnB,yDAAoG;AAA3F,sHAAA,iBAAiB,OAAA;AAAE,2HAAA,sBAAsB,OAAA;AAAE,uHAAA,kBAAkB,OAAA;AAEtE,eAAe;AACf,+CAAkE;AAAzD,+GAAA,eAAe,OAAA;AAAE,+GAAA,eAAe,OAAA;AACzC,uCAAmE;AAA1D,6GAAA,iBAAiB,OAAA;AAAE,8GAAA,kBAAkB,OAAA;AAC9C,uCAA4C;AAAnC,0GAAA,cAAc,OAAA;AACvB,+CAAuD;AAA9C,qHAAA,qBAAqB,OAAA;AAC9B,yCAA2C;AAAlC,yGAAA,YAAY,OAAA;AACrB,2CAAoE;AAA3D,6GAAA,eAAe,OAAA;AAAE,iHAAA,mBAAmB,OAAA;AAC7C,2CAA8C;AAArC,4GAAA,cAAc,OAAA;AACvB,6CAAkD;AAAzC,gHAAA,iBAAiB,OAAA;AAC1B,yCAA2C;AAAlC,yGAAA,YAAY,OAAA;AACrB,+CAAmD;AAA1C,iHAAA,iBAAiB,OAAA;AAE1B;;GAEG;AACI,KAAK,UAAU,OAAO,CAAC,MAAc,EAAE,aAAqB,cAAc;IAK/E,MAAM,EAAE,UAAU,EAAE,GAAG,wDAAa,QAAQ,GAAC,CAAC;IAC9C,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,wDAAa,SAAS,GAAC,CAAC;IAC7C,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,wDAAa,UAAU,GAAC,CAAC;IAC/C,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,wDAAa,eAAe,GAAC,CAAC;IAC1D,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,wDAAa,YAAY,GAAC,CAAC;IACpD,MAAM,EAAE,gBAAgB,EAAE,EAAE,EAAE,GAAG,wDAAa,UAAU,GAAC,CAAC;IAC1D,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,wDAAa,aAAa,GAAC,CAAC;IACxD,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,wDAAa,aAAa,GAAC,CAAC;IAEtD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;IAElC,MAAM,UAAU,GAAG,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAE9D,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5E,MAAM,SAAS,GAAG,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAE5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,MAAM,WAAW,GAAG,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,SAAS,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC;QACjD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,KAAK,GAAiF,EAAE,CAAC;IAC/F,MAAM,OAAO,GAAG,IAAI,EAAE,EAAE,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AACrC,CAAC;AA5CD,0BA4CC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "bonescript-compiler",
-  "version": "0.6.1",
+  "version": "0.7.0",
   "description": "BoneScript compiler — compile .bone system descriptions into complete, runnable Node.js backends",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -18,6 +18,7 @@
   ],
   "scripts": {
     "build": "tsc",
+    "prepare": "npm run build",
     "prepublishOnly": "npm run build",
     "start": "ts-node src/cli.ts",
     "test": "ts-node src/test.ts && ts-node src/test_typechecker.ts && ts-node src/test_nakama.ts"
@@ -39,11 +40,11 @@
   },
   "repository": {
     "type": "git",
-    "url": "git+https://github.com/dantheman181/bonescript.git"
+    "url": "git+https://github.com/Doorman11991/BoneScript.git"
   },
-  "homepage": "https://github.com/dantheman181/bonescript#readme",
+  "homepage": "https://github.com/Doorman11991/BoneScript#readme",
   "bugs": {
-    "url": "https://github.com/dantheman181/bonescript/issues"
+    "url": "https://github.com/Doorman11991/BoneScript/issues"
   },
   "devDependencies": {
     "@types/node": "18.19.0",

package/src/cli.ts

@@ -13,6 +13,7 @@ import { Lowering } from "./lowering";
 import { ConstraintSolver } from "./solver";
 import { FullEmitter } from "./emit_full";
 import { NakamaEmitter } from "./emit_nakama";
+import { PrismaEmitter } from "./emit_prisma";
 import { Verifier } from "./verifier";
 import { ModuleLoader } from "./module_loader";
 import { Formatter } from "./formatter";
@@ -67,6 +68,9 @@ function main() {
     case "verify-determinism":
       requireFile(args[1], runVerifyDeterminism);
       break;
+    case "validate":
+      runValidate(args.slice(1));
+      break;
     default:
       console.error(`Unknown command: ${command}`);
       showHelp();
@@ -75,11 +79,12 @@ function main() {
 }
 
 function showHelp() {
-  console.log("BoneScript compiler v0.6.1");
+  console.log("BoneScript compiler v0.7.0");
   console.log("");
   console.log("Usage:");
   console.log("  bonec compile <file> [--target <target>]  Compile to runnable project");
   console.log("  bonec check <file>     Lex + parse + type check (no codegen)");
+  console.log("  bonec validate [dir]   Type-check generated output (runs tsc --noEmit)");
   console.log("  bonec lex <file>       Show token stream");
   console.log("  bonec parse <file>     Show AST");
   console.log("  bonec ir <file>        Show IR (JSON)");
@@ -90,7 +95,7 @@ function showHelp() {
   console.log("");
   console.log("compile options:");
   console.log("  --target <name>        Output target (default: express)");
-  console.log("                         Options: express, nakama");
+  console.log("                         Options: express, nakama, prisma");
   console.log("  --no-sdk               Skip SDK generation");
   console.log("  --no-openapi           Skip OpenAPI spec generation");
   console.log("  --no-seed              Skip seed file generation");
@@ -278,7 +283,7 @@ function runInit(args: string[]) {
 
 function runCompile(source: string, resolved: string, extraArgs: string[] = []) {
   // Parse --target flag (default: express)
-  let target: "express" | "nakama" = "express";
+  let target: "express" | "nakama" | "prisma" = "express";
   // Parse optional feature flags (future enhancement — documented for now)
   let _noSdk = false;
   let _noOpenApi = false;
@@ -286,8 +291,8 @@ function runCompile(source: string, resolved: string, extraArgs: string[] = [])
   for (let i = 0; i < extraArgs.length; i++) {
     if (extraArgs[i] === "--target" && extraArgs[i + 1]) {
       const t = extraArgs[i + 1];
-      if (t !== "express" && t !== "nakama") {
-        console.error(`Unknown target '${t}'. Valid targets: express, nakama`);
+      if (t !== "express" && t !== "nakama" && t !== "prisma") {
+        console.error(`Unknown target '${t}'. Valid targets: express, nakama, prisma`);
         process.exit(1);
       }
       target = t;
@@ -306,6 +311,11 @@ function runCompile(source: string, resolved: string, extraArgs: string[] = [])
     return;
   }
 
+  if (target === "prisma") {
+    runCompilePrisma(source, resolved);
+    return;
+  }
+
   try {
     const tokens = new Lexer(source).tokenize();
     console.log(`  [1/7] Lexed: ${tokens.length} tokens`);
@@ -763,3 +773,125 @@ function runVerifyDeterminism(source: string, resolved: string) {
     }
   }
 }
+
+// ─── Compile (Prisma target) ──────────────────────────────────────────────────
+
+function runCompilePrisma(source: string, resolved: string) {
+  try {
+    const tokens = new Lexer(source).tokenize();
+    console.log(`  [1/5] Lexed: ${tokens.length} tokens`);
+
+    const loader = new ModuleLoader();
+    const loadResult = loader.load(resolved);
+    if (loadResult.errors.length > 0) {
+      for (const e of loadResult.errors.slice(0, 10)) {
+        console.log(`         ${path.basename(e.file)}: ${e.error.message}`);
+      }
+      if (!loadResult.ast) process.exit(1);
+    }
+    const ast = loadResult.ast!;
+    console.log(`  [2/5] Parsed: ${ast.systems.length} system(s)`);
+
+    const typeErrors = new TypeChecker().check(ast);
+    if (typeErrors.length > 0) {
+      console.log(`  [3/5] Type check: ${typeErrors.length} error(s)`);
+      for (const err of typeErrors) {
+        console.log(`         ${err.code} at ${err.loc.line}:${err.loc.column}: ${err.message}`);
+      }
+    } else {
+      console.log(`  [3/5] Type check: v (0 errors)`);
+    }
+
+    const sourceHash = createHash("sha256").update(source).digest("hex").slice(0, 16);
+    const irSystems = new Lowering().lower(ast, sourceHash);
+    console.log(`  [4/5] Lowered to IR: ${irSystems.reduce((s, sys) => s + sys.modules.length, 0)} modules`);
+
+    const emitter = new PrismaEmitter();
+    const allFiles: ReturnType<typeof emitter.emit> = [];
+    for (const sys of irSystems) {
+      allFiles.push(...emitter.emit(sys));
+    }
+    console.log(`  [5/5] Prisma emit: ${allFiles.length} file(s)`);
+
+    const outputDir = path.resolve(path.dirname(resolved), "output");
+    for (const f of allFiles) {
+      const outPath = path.join(outputDir, f.path);
+      const dir = path.dirname(outPath);
+      if (!fs.existsSync(dir)) fs.mkdirSync(dir, { recursive: true });
+      fs.writeFileSync(outPath, f.content, "utf-8");
+    }
+
+    console.log(`\nv Prisma compilation complete. ${allFiles.length} file(s) written to output/prisma/`);
+    console.log(`\nNext steps:`);
+    console.log(`  cd output`);
+    console.log(`  npx prisma migrate dev --name init`);
+    console.log(`  npx prisma generate`);
+  } catch (e: any) {
+    console.error(`x ${e.message}`);
+    process.exit(1);
+  }
+}
+
+// ─── Validate ─────────────────────────────────────────────────────────────────
+
+function runValidate(args: string[]) {
+  const outputDir = args[0] ? path.resolve(args[0]) : path.resolve("output");
+
+  if (!fs.existsSync(outputDir)) {
+    console.error(`Error: Output directory not found: ${outputDir}`);
+    console.error("Run 'bonec compile <file>' first to generate output.");
+    process.exit(1);
+  }
+
+  const tsconfigPath = path.join(outputDir, "tsconfig.json");
+  if (!fs.existsSync(tsconfigPath)) {
+    console.error(`Error: No tsconfig.json found in ${outputDir}`);
+    console.error("The output directory doesn't appear to be a BoneScript-generated project.");
+    process.exit(1);
+  }
+
+  // Check if node_modules exists — if not, suggest npm install
+  const nodeModulesPath = path.join(outputDir, "node_modules");
+  if (!fs.existsSync(nodeModulesPath)) {
+    console.error(`Error: node_modules/ not found in ${outputDir}`);
+    console.error("Run 'npm install' in the output directory first:");
+    console.error(`  cd ${outputDir} && npm install`);
+    process.exit(1);
+  }
+
+  console.log(`Validating generated TypeScript in ${outputDir}...`);
+  console.log(``);
+
+  const { execSync } = require("child_process");
+
+  try {
+    // Run tsc --noEmit to type-check without producing output
+    execSync("npx tsc --noEmit", {
+      cwd: outputDir,
+      stdio: "pipe",
+      encoding: "utf-8",
+    });
+    console.log(`v Validation passed. Generated code compiles cleanly.`);
+  } catch (e: any) {
+    // tsc returns non-zero on type errors — parse and display them
+    const output = (e.stdout || "") + (e.stderr || "");
+    const errorLines = output.split("\n").filter((l: string) => l.trim().length > 0);
+    const errorCount = errorLines.filter((l: string) => /error TS\d+/.test(l)).length;
+
+    console.error(`x Validation failed: ${errorCount} TypeScript error(s)\n`);
+
+    // Show up to 20 errors for readability
+    const displayLines = errorLines.slice(0, 40);
+    for (const line of displayLines) {
+      console.error(`  ${line}`);
+    }
+    if (errorLines.length > 40) {
+      console.error(`  ... and ${errorLines.length - 40} more lines`);
+    }
+
+    console.error(``);
+    console.error(`To see all errors, run:`);
+    console.error(`  cd ${outputDir} && npx tsc --noEmit`);
+    process.exit(1);
+  }
+}