bonescript-compiler 0.2.1 → 0.4.0

package/dist/emit_models.js

@@ -0,0 +1,171 @@
+"use strict";
+/**
+ * BoneScript Model Emitter
+ * Generates per-model TypeScript artifacts as specified in spec/09_CODEGEN.md §5.1:
+ *   - XxxInterface  — typed interface
+ *   - XxxSchema     — const with field metadata (type, nullable, unique, indexed)
+ *   - validateXxx() — runtime validation function derived from IR constraints
+ *
+ * These are emitted to src/models/<entity_name>.ts
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emitModelsIndex = exports.emitModelFile = void 0;
+const emit_router_1 = require("./emit_router");
+// ─── Per-model file ───────────────────────────────────────────────────────────
+function emitModelFile(model, mod, system) {
+    const lines = [];
+    lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
+    lines.push(`// Source hash: ${system.source_hash}`);
+    lines.push(`// Module: ${mod.name}`);
+    lines.push(``);
+    // ── Interface ──────────────────────────────────────────────────────────────
+    lines.push(`export interface ${model.name} {`);
+    for (const field of model.fields) {
+        // Skip generated-always fields (derived columns)
+        if (field.default_value?.startsWith("GENERATED ALWAYS"))
+            continue;
+        const nullable = field.nullable ? " | null" : "";
+        lines.push(`  ${field.name}: ${(0, emit_router_1.toTsType)(field.type)}${nullable};`);
+    }
+    lines.push(`}`);
+    lines.push(``);
+    // ── Schema const ───────────────────────────────────────────────────────────
+    lines.push(`export const ${model.name}Schema = {`);
+    for (const field of model.fields) {
+        if (field.default_value?.startsWith("GENERATED ALWAYS"))
+            continue;
+        const meta = [
+            `type: ${JSON.stringify(field.type)}`,
+            `nullable: ${field.nullable}`,
+            `unique: ${field.unique}`,
+            `indexed: ${field.indexed}`,
+        ];
+        if (field.default_value && !field.default_value.startsWith("GENERATED")) {
+            meta.push(`default: ${JSON.stringify(field.default_value)}`);
+        }
+        lines.push(`  ${field.name}: { ${meta.join(", ")} },`);
+    }
+    lines.push(`} as const;`);
+    lines.push(``);
+    // ── Input type (omits server-set fields) ──────────────────────────────────
+    const inputFields = model.fields.filter(f => !["id", "created_at", "updated_at"].includes(f.name) &&
+        !f.default_value?.startsWith("GENERATED ALWAYS"));
+    lines.push(`export interface Create${model.name}Input {`);
+    for (const field of inputFields) {
+        const nullable = field.nullable ? "?" : "";
+        lines.push(`  ${field.name}${nullable}: ${(0, emit_router_1.toTsType)(field.type)};`);
+    }
+    lines.push(`}`);
+    lines.push(``);
+    lines.push(`export interface Update${model.name}Input {`);
+    for (const field of inputFields) {
+        lines.push(`  ${field.name}?: ${(0, emit_router_1.toTsType)(field.type)};`);
+    }
+    lines.push(`}`);
+    lines.push(``);
+    // ── Validation function ────────────────────────────────────────────────────
+    lines.push(`export interface ValidationError {`);
+    lines.push(`  field: string;`);
+    lines.push(`  code: string;`);
+    lines.push(`  message: string;`);
+    lines.push(`}`);
+    lines.push(``);
+    lines.push(`export function validate${model.name}(input: unknown): { ok: true; value: ${model.name} } | { ok: false; errors: ValidationError[] } {`);
+    lines.push(`  const errors: ValidationError[] = [];`);
+    lines.push(`  const data = input as Record<string, unknown>;`);
+    lines.push(``);
+    // Required field presence checks
+    for (const field of model.fields) {
+        if (field.nullable || field.default_value || ["id", "created_at", "updated_at"].includes(field.name))
+            continue;
+        if (field.default_value?.startsWith("GENERATED ALWAYS"))
+            continue;
+        lines.push(`  if (data.${field.name} === undefined || data.${field.name} === null) {`);
+        lines.push(`    errors.push({ field: "${field.name}", code: "REQUIRED", message: "${field.name} is required" });`);
+        lines.push(`  }`);
+    }
+    // Type checks for primitive fields
+    for (const field of model.fields) {
+        if (["id", "created_at", "updated_at"].includes(field.name))
+            continue;
+        if (field.default_value?.startsWith("GENERATED ALWAYS"))
+            continue;
+        const check = typeCheckExpr(field.type, `data.${field.name}`);
+        if (check) {
+            lines.push(`  if (data.${field.name} !== undefined && data.${field.name} !== null && !(${check})) {`);
+            lines.push(`    errors.push({ field: "${field.name}", code: "INVALID_TYPE", message: "${field.name} must be ${field.type}" });`);
+            lines.push(`  }`);
+        }
+    }
+    // Constraint-derived checks from model constraints
+    for (const c of model.constraints) {
+        if (c.kind === "unique")
+            continue; // enforced by DB
+        if (c.kind === "range" && c.params["min"] !== undefined && c.params["max"] !== undefined) {
+            lines.push(`  if (typeof data.${c.target} === "number" && (data.${c.target} < ${c.params["min"]} || data.${c.target} > ${c.params["max"]})) {`);
+            lines.push(`    errors.push({ field: "${c.target}", code: "OUT_OF_RANGE", message: "${c.target} must be between ${c.params["min"]} and ${c.params["max"]}" });`);
+            lines.push(`  }`);
+        }
+        if (c.kind === "enum" && Array.isArray(c.params["values"])) {
+            const vals = c.params["values"].map(v => JSON.stringify(v)).join(", ");
+            lines.push(`  if (data.${c.target} !== undefined && ![${vals}].includes(data.${c.target} as string)) {`);
+            lines.push(`    errors.push({ field: "${c.target}", code: "INVALID_ENUM", message: "${c.target} must be one of: ${c.params["values"].join(", ")}" });`);
+            lines.push(`  }`);
+        }
+        if (c.kind === "check" && typeof c.params["expression"] === "string") {
+            // Parse length-in-range constraints like "username.length in 3..32"
+            const lenMatch = c.params["expression"].match(/^(\w+)\.length\s+in\s+(\d+)\.\.(\d+)$/);
+            if (lenMatch) {
+                const [, fieldName, minLen, maxLen] = lenMatch;
+                lines.push(`  if (typeof data.${fieldName} === "string" && (data.${fieldName}.length < ${minLen} || data.${fieldName}.length > ${maxLen})) {`);
+                lines.push(`    errors.push({ field: "${fieldName}", code: "INVALID_LENGTH", message: "${fieldName} must be between ${minLen} and ${maxLen} characters" });`);
+                lines.push(`  }`);
+            }
+            // Parse non-negative constraints like "score >= 0"
+            const nonNegMatch = c.params["expression"].match(/^(\w+)\s*>=\s*0$/);
+            if (nonNegMatch) {
+                const [, fieldName] = nonNegMatch;
+                lines.push(`  if (typeof data.${fieldName} === "number" && data.${fieldName} < 0) {`);
+                lines.push(`    errors.push({ field: "${fieldName}", code: "OUT_OF_RANGE", message: "${fieldName} must be >= 0" });`);
+                lines.push(`  }`);
+            }
+        }
+    }
+    lines.push(``);
+    lines.push(`  if (errors.length > 0) return { ok: false, errors };`);
+    lines.push(`  return { ok: true, value: data as unknown as ${model.name} };`);
+    lines.push(`}`);
+    lines.push(``);
+    return lines.join("\n");
+}
+exports.emitModelFile = emitModelFile;
+function typeCheckExpr(irType, expr) {
+    switch (irType) {
+        case "string": return `typeof ${expr} === "string"`;
+        case "uint": return `typeof ${expr} === "number" && Number.isInteger(${expr}) && ${expr} >= 0`;
+        case "int": return `typeof ${expr} === "number" && Number.isInteger(${expr})`;
+        case "float": return `typeof ${expr} === "number"`;
+        case "bool": return `typeof ${expr} === "boolean"`;
+        case "uuid": return `typeof ${expr} === "string" && /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/i.test(${expr})`;
+        case "timestamp": return `${expr} instanceof Date || typeof ${expr} === "string"`;
+        default:
+            if (irType.startsWith("list<") || irType.startsWith("set<"))
+                return `Array.isArray(${expr})`;
+            return null;
+    }
+}
+// ─── Barrel index for all models ─────────────────────────────────────────────
+function emitModelsIndex(system) {
+    const lines = [];
+    lines.push(`// Generated by BoneScript compiler. DO NOT EDIT.`);
+    lines.push(`// Re-exports all model interfaces, schemas, and validators.`);
+    lines.push(``);
+    for (const mod of system.modules) {
+        for (const model of mod.models) {
+            lines.push(`export * from "./${(0, emit_router_1.toSnakeCase)(model.name)}";`);
+        }
+    }
+    return lines.join("\n");
+}
+exports.emitModelsIndex = emitModelsIndex;
+//# sourceMappingURL=emit_models.js.map

package/dist/emit_models.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit_models.js","sourceRoot":"","sources":["../src/emit_models.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAGH,+CAAsD;AAEtD,iFAAiF;AAEjF,SAAgB,aAAa,CAAC,KAAiB,EAAE,GAAgB,EAAE,MAAmB;IACpF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,cAAc,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,8EAA8E;IAC9E,KAAK,CAAC,IAAI,CAAC,oBAAoB,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,iDAAiD;QACjD,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,GAAG,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,8EAA8E;IAC9E,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,IAAI,YAAY,CAAC,CAAC;IACnD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,MAAM,IAAI,GAAa;YACrB,SAAS,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YACrC,aAAa,KAAK,CAAC,QAAQ,EAAE;YAC7B,WAAW,KAAK,CAAC,MAAM,EAAE;YACzB,YAAY,KAAK,CAAC,OAAO,EAAE;SAC5B,CAAC;QACF,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACxE,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,6EAA6E;IAC7E,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAC1C,CAAC,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,CAAC,CAAC,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC,CACjD,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,0BAA0B,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,GAAG,QAAQ,KAAK,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,0BAA0B,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC;IAC1D,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,IAAI,MAAM,IAAA,sBAAQ,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3D,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,8EAA8E;IAC9E,KAAK,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC9B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,2BAA2B,KAAK,CAAC,IAAI,wCAAwC,KAAK,CAAC,IAAI,iDAAiD,CAAC,CAAC;IACrJ,KAAK,CAAC,IAAI,CAAC,yCAAyC,CAAC,CAAC;IACtD,KAAK,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;IAC/D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,iCAAiC;IACjC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/G,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,IAAI,0BAA0B,KAAK,CAAC,IAAI,cAAc,CAAC,CAAC;QACvF,KAAK,CAAC,IAAI,CAAC,6BAA6B,KAAK,CAAC,IAAI,kCAAkC,KAAK,CAAC,IAAI,mBAAmB,CAAC,CAAC;QACnH,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,mCAAmC;IACnC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAS;QACtE,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9D,IAAI,KAAK,EAAE,CAAC;YACV,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,IAAI,0BAA0B,KAAK,CAAC,IAAI,kBAAkB,KAAK,MAAM,CAAC,CAAC;YACtG,KAAK,CAAC,IAAI,CAAC,6BAA6B,KAAK,CAAC,IAAI,sCAAsC,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;YACjI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IAED,mDAAmD;IACnD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS,CAAC,iBAAiB;QACpD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YACzF,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,MAAM,0BAA0B,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,MAAM,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAChJ,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,MAAM,sCAAsC,CAAC,CAAC,MAAM,oBAAoB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACjK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrF,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,MAAM,uBAAuB,IAAI,mBAAmB,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC;YACzG,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,MAAM,sCAAsC,CAAC,CAAC,MAAM,oBAAqB,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAc,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,QAAQ,EAAE,CAAC;YACrE,oEAAoE;YACpE,MAAM,QAAQ,GAAI,CAAC,CAAC,MAAM,CAAC,YAAY,CAAY,CAAC,KAAK,CAAC,uCAAuC,CAAC,CAAC;YACnG,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC;gBAC/C,KAAK,CAAC,IAAI,CAAC,qBAAqB,SAAS,0BAA0B,SAAS,aAAa,MAAM,YAAY,SAAS,aAAa,MAAM,MAAM,CAAC,CAAC;gBAC/I,KAAK,CAAC,IAAI,CAAC,6BAA6B,SAAS,wCAAwC,SAAS,oBAAoB,MAAM,QAAQ,MAAM,kBAAkB,CAAC,CAAC;gBAC9J,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;YACD,mDAAmD;YACnD,MAAM,WAAW,GAAI,CAAC,CAAC,MAAM,CAAC,YAAY,CAAY,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YACjF,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,CAAC,EAAE,SAAS,CAAC,GAAG,WAAW,CAAC;gBAClC,KAAK,CAAC,IAAI,CAAC,qBAAqB,SAAS,yBAAyB,SAAS,SAAS,CAAC,CAAC;gBACtF,KAAK,CAAC,IAAI,CAAC,6BAA6B,SAAS,sCAAsC,SAAS,oBAAoB,CAAC,CAAC;gBACtH,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACrE,KAAK,CAAC,IAAI,CAAC,kDAAkD,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC;IAC9E,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAlID,sCAkIC;AAED,SAAS,aAAa,CAAC,MAAc,EAAE,IAAY;IACjD,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC,CAAI,OAAO,UAAU,IAAI,eAAe,CAAC;QACvD,KAAK,MAAM,CAAC,CAAM,OAAO,UAAU,IAAI,qCAAqC,IAAI,QAAQ,IAAI,OAAO,CAAC;QACpG,KAAK,KAAK,CAAC,CAAO,OAAO,UAAU,IAAI,qCAAqC,IAAI,GAAG,CAAC;QACpF,KAAK,OAAO,CAAC,CAAK,OAAO,UAAU,IAAI,eAAe,CAAC;QACvD,KAAK,MAAM,CAAC,CAAM,OAAO,UAAU,IAAI,gBAAgB,CAAC;QACxD,KAAK,MAAM,CAAC,CAAM,OAAO,UAAU,IAAI,2FAA2F,IAAI,GAAG,CAAC;QAC1I,KAAK,WAAW,CAAC,CAAC,OAAO,GAAG,IAAI,8BAA8B,IAAI,eAAe,CAAC;QAClF;YACE,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;gBAAE,OAAO,iBAAiB,IAAI,GAAG,CAAC;YAC7F,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,gFAAgF;AAEhF,SAAgB,eAAe,CAAC,MAAmB;IACjD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IAChE,KAAK,CAAC,IAAI,CAAC,8DAA8D,CAAC,CAAC;IAC3E,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACjC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,CAAC,oBAAoB,IAAA,yBAAW,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAXD,0CAWC"}

package/dist/emit_openapi.d.ts

@@ -0,0 +1,9 @@
+/**
+ * BoneScript OpenAPI 3.1 Schema Emitter
+ * Generates a complete openapi.json for each api_service module.
+ * Implements spec/09_CODEGEN.md §2 (ApiService → JSON secondary target).
+ *
+ * Produces: openapi.json at the project root.
+ */
+import * as IR from "./ir";
+export declare function emitOpenApiSchema(system: IR.IRSystem): string;

package/dist/emit_openapi.js

@@ -0,0 +1,308 @@
+"use strict";
+/**
+ * BoneScript OpenAPI 3.1 Schema Emitter
+ * Generates a complete openapi.json for each api_service module.
+ * Implements spec/09_CODEGEN.md §2 (ApiService → JSON secondary target).
+ *
+ * Produces: openapi.json at the project root.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emitOpenApiSchema = void 0;
+// ─── Type mapping ─────────────────────────────────────────────────────────────
+function irTypeToJsonSchema(irType) {
+    switch (irType) {
+        case "string": return { type: "string" };
+        case "uint": return { type: "integer", minimum: 0 };
+        case "int": return { type: "integer" };
+        case "float": return { type: "number" };
+        case "bool": return { type: "boolean" };
+        case "timestamp": return { type: "string", format: "date-time" };
+        case "uuid": return { type: "string", format: "uuid" };
+        case "bytes": return { type: "string", format: "byte" };
+        case "json": return {};
+        default: {
+            const listMatch = irType.match(/^list<(.+)>$/);
+            if (listMatch)
+                return { type: "array", items: irTypeToJsonSchema(listMatch[1]) };
+            const setMatch = irType.match(/^set<(.+)>$/);
+            if (setMatch)
+                return { type: "array", items: irTypeToJsonSchema(setMatch[1]), uniqueItems: true };
+            const optMatch = irType.match(/^optional<(.+)>$/);
+            if (optMatch)
+                return { oneOf: [irTypeToJsonSchema(optMatch[1]), { type: "null" }] };
+            // Entity reference — use $ref
+            return { $ref: `#/components/schemas/${irType}` };
+        }
+    }
+}
+function modelToSchema(model) {
+    const properties = {};
+    const required = [];
+    for (const field of model.fields) {
+        if (field.default_value?.startsWith("GENERATED ALWAYS"))
+            continue;
+        properties[field.name] = irTypeToJsonSchema(field.type);
+        if (!field.nullable && !field.default_value) {
+            required.push(field.name);
+        }
+    }
+    return {
+        type: "object",
+        properties,
+        ...(required.length > 0 ? { required } : {}),
+    };
+}
+function toSnakeCase(s) {
+    return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
+}
+// ─── Main emitter ─────────────────────────────────────────────────────────────
+function emitOpenApiSchema(system) {
+    const apiModules = system.modules.filter(m => m.kind === "api_service" && m.models.length > 0);
+    if (apiModules.length === 0)
+        return "";
+    // ── Collect all schemas ──────────────────────────────────────────────────
+    const schemas = {};
+    // Standard error schema
+    schemas["Error"] = {
+        type: "object",
+        required: ["error"],
+        properties: {
+            error: {
+                type: "object",
+                required: ["code", "message"],
+                properties: {
+                    code: { type: "string" },
+                    message: { type: "string" },
+                },
+            },
+        },
+    };
+    // Paginated result wrapper
+    schemas["PaginatedResult"] = {
+        type: "object",
+        required: ["items", "total", "page", "page_size"],
+        properties: {
+            items: { type: "array", items: {} },
+            total: { type: "integer", minimum: 0 },
+            page: { type: "integer", minimum: 1 },
+            page_size: { type: "integer", minimum: 1 },
+        },
+    };
+    for (const mod of apiModules) {
+        for (const model of mod.models) {
+            schemas[model.name] = modelToSchema(model);
+            // Create input schema (omit server-set fields)
+            const createProps = {};
+            const createRequired = [];
+            for (const field of model.fields) {
+                if (["id", "created_at", "updated_at"].includes(field.name))
+                    continue;
+                if (field.default_value?.startsWith("GENERATED ALWAYS"))
+                    continue;
+                createProps[field.name] = irTypeToJsonSchema(field.type);
+                if (!field.nullable && !field.default_value)
+                    createRequired.push(field.name);
+            }
+            schemas[`Create${model.name}Input`] = {
+                type: "object",
+                properties: createProps,
+                ...(createRequired.length > 0 ? { required: createRequired } : {}),
+            };
+            // Update input schema (all optional)
+            const updateProps = {};
+            for (const field of model.fields) {
+                if (["id", "created_at", "updated_at"].includes(field.name))
+                    continue;
+                if (field.default_value?.startsWith("GENERATED ALWAYS"))
+                    continue;
+                updateProps[field.name] = irTypeToJsonSchema(field.type);
+            }
+            schemas[`Update${model.name}Input`] = {
+                type: "object",
+                properties: updateProps,
+            };
+        }
+    }
+    // Event payload schemas
+    for (const ev of system.events) {
+        const props = {};
+        for (const field of ev.payload) {
+            props[field.name] = irTypeToJsonSchema(field.type);
+        }
+        schemas[`${ev.name}Payload`] = { type: "object", properties: props };
+    }
+    // ── Build paths ──────────────────────────────────────────────────────────
+    const paths = {};
+    for (const mod of apiModules) {
+        const model = mod.models[0];
+        const basePath = `/${toSnakeCase(model.name)}s`;
+        const tag = mod.name;
+        // GET / — list
+        paths[basePath] = {
+            get: {
+                tags: [tag],
+                summary: `List ${model.name}s`,
+                security: [{ bearerAuth: [] }],
+                parameters: [
+                    { name: "page", in: "query", schema: { type: "integer", minimum: 1, default: 1 } },
+                    { name: "page_size", in: "query", schema: { type: "integer", minimum: 1, maximum: 100, default: 50 } },
+                ],
+                responses: {
+                    "200": {
+                        description: `List of ${model.name}s`,
+                        content: {
+                            "application/json": {
+                                schema: {
+                                    allOf: [
+                                        { $ref: "#/components/schemas/PaginatedResult" },
+                                        { properties: { items: { type: "array", items: { $ref: `#/components/schemas/${model.name}` } } } },
+                                    ],
+                                },
+                            },
+                        },
+                    },
+                    "401": { $ref: "#/components/responses/Unauthorized" },
+                },
+            },
+            post: {
+                tags: [tag],
+                summary: `Create ${model.name}`,
+                security: [{ bearerAuth: [] }],
+                requestBody: {
+                    required: true,
+                    content: {
+                        "application/json": {
+                            schema: { $ref: `#/components/schemas/Create${model.name}Input` },
+                        },
+                    },
+                },
+                responses: {
+                    "201": {
+                        description: `${model.name} created`,
+                        content: { "application/json": { schema: { $ref: `#/components/schemas/${model.name}` } } },
+                    },
+                    "400": { $ref: "#/components/responses/BadRequest" },
+                    "401": { $ref: "#/components/responses/Unauthorized" },
+                },
+            },
+        };
+        // GET /:id, PUT /:id, DELETE /:id
+        const idPath = `${basePath}/{id}`;
+        paths[idPath] = {
+            parameters: [{ name: "id", in: "path", required: true, schema: { type: "string", format: "uuid" } }],
+            get: {
+                tags: [tag],
+                summary: `Get ${model.name} by id`,
+                security: [{ bearerAuth: [] }],
+                responses: {
+                    "200": { description: `${model.name}`, content: { "application/json": { schema: { $ref: `#/components/schemas/${model.name}` } } } },
+                    "401": { $ref: "#/components/responses/Unauthorized" },
+                    "404": { $ref: "#/components/responses/NotFound" },
+                },
+            },
+            put: {
+                tags: [tag],
+                summary: `Update ${model.name}`,
+                security: [{ bearerAuth: [] }],
+                requestBody: {
+                    required: true,
+                    content: { "application/json": { schema: { $ref: `#/components/schemas/Update${model.name}Input` } } },
+                },
+                responses: {
+                    "200": { description: `Updated ${model.name}`, content: { "application/json": { schema: { $ref: `#/components/schemas/${model.name}` } } } },
+                    "400": { $ref: "#/components/responses/BadRequest" },
+                    "401": { $ref: "#/components/responses/Unauthorized" },
+                    "404": { $ref: "#/components/responses/NotFound" },
+                },
+            },
+            delete: {
+                tags: [tag],
+                summary: `Delete ${model.name}`,
+                security: [{ bearerAuth: [] }],
+                responses: {
+                    "204": { description: "Deleted" },
+                    "401": { $ref: "#/components/responses/Unauthorized" },
+                    "404": { $ref: "#/components/responses/NotFound" },
+                },
+            },
+        };
+        // Capability endpoints
+        for (const iface of mod.interfaces) {
+            for (const method of iface.methods) {
+                if (["create", "read", "update", "delete", "list"].includes(method.name))
+                    continue;
+                const capPath = `${basePath}/${method.name.replace(/_/g, "-")}`;
+                const inputProps = {};
+                for (const param of method.input) {
+                    inputProps[param.name] = irTypeToJsonSchema(param.type);
+                }
+                paths[capPath] = {
+                    post: {
+                        tags: [tag],
+                        summary: method.name.replace(/_/g, " "),
+                        description: [
+                            method.preconditions.length > 0 ? `**Preconditions:** ${method.preconditions.map(p => p.description).join("; ")}` : "",
+                            method.effects.length > 0 ? `**Effects:** ${method.effects.map(e => `${e.target} ${e.op === "assign" ? "=" : e.op === "add" ? "+=" : "-="} ${e.value}`).join("; ")}` : "",
+                            method.sync ? `**Sync:** ${method.sync}` : "",
+                        ].filter(Boolean).join("\n\n"),
+                        security: [{ bearerAuth: [] }],
+                        requestBody: {
+                            required: true,
+                            content: {
+                                "application/json": {
+                                    schema: { type: "object", properties: inputProps },
+                                },
+                            },
+                        },
+                        responses: {
+                            "200": { description: "Success", content: { "application/json": { schema: { type: "object", properties: { ok: { type: "boolean" }, action: { type: "string" } } } } } },
+                            "401": { $ref: "#/components/responses/Unauthorized" },
+                            "422": { description: "Precondition failed", content: { "application/json": { schema: { $ref: "#/components/schemas/Error" } } } },
+                        },
+                    },
+                };
+            }
+        }
+    }
+    // ── Assemble document ────────────────────────────────────────────────────
+    const doc = {
+        openapi: "3.1.0",
+        info: {
+            title: system.name,
+            version: system.version,
+            description: `Generated by BoneScript compiler. Source hash: ${system.source_hash}`,
+        },
+        servers: [
+            { url: "http://localhost:3000", description: "Local development" },
+        ],
+        tags: apiModules.map(m => ({ name: m.name, description: `${m.name} endpoints` })),
+        paths,
+        components: {
+            securitySchemes: {
+                bearerAuth: {
+                    type: "http",
+                    scheme: "bearer",
+                    bearerFormat: "JWT",
+                },
+            },
+            schemas,
+            responses: {
+                Unauthorized: {
+                    description: "Authentication required",
+                    content: { "application/json": { schema: { $ref: "#/components/schemas/Error" } } },
+                },
+                NotFound: {
+                    description: "Resource not found",
+                    content: { "application/json": { schema: { $ref: "#/components/schemas/Error" } } },
+                },
+                BadRequest: {
+                    description: "Invalid request",
+                    content: { "application/json": { schema: { $ref: "#/components/schemas/Error" } } },
+                },
+            },
+        },
+    };
+    return JSON.stringify(doc, null, 2);
+}
+exports.emitOpenApiSchema = emitOpenApiSchema;
+//# sourceMappingURL=emit_openapi.js.map

package/dist/emit_openapi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit_openapi.js","sourceRoot":"","sources":["../src/emit_openapi.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AAIH,iFAAiF;AAEjF,SAAS,kBAAkB,CAAC,MAAc;IACxC,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,QAAQ,CAAC,CAAI,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,CAAM,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACzD,KAAK,KAAK,CAAC,CAAO,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7C,KAAK,OAAO,CAAC,CAAK,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,CAAM,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7C,KAAK,WAAW,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QACjE,KAAK,MAAM,CAAC,CAAM,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAC5D,KAAK,OAAO,CAAC,CAAK,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAC5D,KAAK,MAAM,CAAC,CAAM,OAAO,EAAE,CAAC;QAC5B,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAC/C,IAAI,SAAS;gBAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACjF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YAC7C,IAAI,QAAQ;gBAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;YAClG,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YAClD,IAAI,QAAQ;gBAAE,OAAO,EAAE,KAAK,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;YACpF,8BAA8B;YAC9B,OAAO,EAAE,IAAI,EAAE,wBAAwB,MAAM,EAAE,EAAE,CAAC;QACpD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAiB;IACtC,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;YAAE,SAAS;QAClE,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,UAAU;QACV,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,iFAAiF;AAEjF,SAAgB,iBAAiB,CAAC,MAAmB;IACnD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC/F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEvC,4EAA4E;IAC5E,MAAM,OAAO,GAA4B,EAAE,CAAC;IAE5C,wBAAwB;IACxB,OAAO,CAAC,OAAO,CAAC,GAAG;QACjB,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,OAAO,CAAC;QACnB,UAAU,EAAE;YACV,KAAK,EAAE;gBACL,IAAI,EAAE,QAAQ;gBACd,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;gBAC7B,UAAU,EAAE;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBACxB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC5B;aACF;SACF;KACF,CAAC;IAEF,2BAA2B;IAC3B,OAAO,CAAC,iBAAiB,CAAC,GAAG;QAC3B,IAAI,EAAE,QAAQ;QACd,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC;QACjD,UAAU,EAAE;YACV,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE;YACnC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE;YACtC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE;YACrC,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE;SAC3C;KACF,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YAC/B,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YAE3C,+CAA+C;YAC/C,MAAM,WAAW,GAA4B,EAAE,CAAC;YAChD,MAAM,cAAc,GAAa,EAAE,CAAC;YACpC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACjC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACtE,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;oBAAE,SAAS;gBAClE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACzD,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,aAAa;oBAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/E,CAAC;YACD,OAAO,CAAC,SAAS,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG;gBACpC,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,WAAW;gBACvB,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACnE,CAAC;YAEF,qCAAqC;YACrC,MAAM,WAAW,GAA4B,EAAE,CAAC;YAChD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACjC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACtE,IAAI,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,kBAAkB,CAAC;oBAAE,SAAS;gBAClE,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3D,CAAC;YACD,OAAO,CAAC,SAAS,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG;gBACpC,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,WAAW;aACxB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,wBAAwB;IACxB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC/B,MAAM,KAAK,GAA4B,EAAE,CAAC;QAC1C,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;YAC/B,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,CAAC,GAAG,EAAE,CAAC,IAAI,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;IACvE,CAAC;IAED,4EAA4E;IAC5E,MAAM,KAAK,GAA4B,EAAE,CAAC;IAE1C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;QAChD,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;QAErB,eAAe;QACf,KAAK,CAAC,QAAQ,CAAC,GAAG;YAChB,GAAG,EAAE;gBACH,IAAI,EAAE,CAAC,GAAG,CAAC;gBACX,OAAO,EAAE,QAAQ,KAAK,CAAC,IAAI,GAAG;gBAC9B,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;gBAC9B,UAAU,EAAE;oBACV,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE;oBAClF,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE;iBACvG;gBACD,SAAS,EAAE;oBACT,KAAK,EAAE;wBACL,WAAW,EAAE,WAAW,KAAK,CAAC,IAAI,GAAG;wBACrC,OAAO,EAAE;4BACP,kBAAkB,EAAE;gCAClB,MAAM,EAAE;oCACN,KAAK,EAAE;wCACL,EAAE,IAAI,EAAE,sCAAsC,EAAE;wCAChD,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,wBAAwB,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE;qCACpG;iCACF;6BACF;yBACF;qBACF;oBACD,KAAK,EAAE,EAAE,IAAI,EAAE,qCAAqC,EAAE;iBACvD;aACF;YACD,IAAI,EAAE;gBACJ,IAAI,EAAE,CAAC,GAAG,CAAC;gBACX,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,EAAE;gBAC/B,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;gBAC9B,WAAW,EAAE;oBACX,QAAQ,EAAE,IAAI;oBACd,OAAO,EAAE;wBACP,kBAAkB,EAAE;4BAClB,MAAM,EAAE,EAAE,IAAI,EAAE,8BAA8B,KAAK,CAAC,IAAI,OAAO,EAAE;yBAClE;qBACF;iBACF;gBACD,SAAS,EAAE;oBACT,KAAK,EAAE;wBACL,WAAW,EAAE,GAAG,KAAK,CAAC,IAAI,UAAU;wBACpC,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,wBAAwB,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE;qBAC5F;oBACD,KAAK,EAAE,EAAE,IAAI,EAAE,mCAAmC,EAAE;oBACpD,KAAK,EAAE,EAAE,IAAI,EAAE,qCAAqC,EAAE;iBACvD;aACF;SACF,CAAC;QAEF,kCAAkC;QAClC,MAAM,MAAM,GAAG,GAAG,QAAQ,OAAO,CAAC;QAClC,KAAK,CAAC,MAAM,CAAC,GAAG;YACd,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC;YACpG,GAAG,EAAE;gBACH,IAAI,EAAE,CAAC,GAAG,CAAC;gBACX,OAAO,EAAE,OAAO,KAAK,CAAC,IAAI,QAAQ;gBAClC,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;gBAC9B,SAAS,EAAE;oBACT,KAAK,EAAE,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,wBAAwB,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE;oBACpI,KAAK,EAAE,EAAE,IAAI,EAAE,qCAAqC,EAAE;oBACtD,KAAK,EAAE,EAAE,IAAI,EAAE,iCAAiC,EAAE;iBACnD;aACF;YACD,GAAG,EAAE;gBACH,IAAI,EAAE,CAAC,GAAG,CAAC;gBACX,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,EAAE;gBAC/B,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;gBAC9B,WAAW,EAAE;oBACX,QAAQ,EAAE,IAAI;oBACd,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,8BAA8B,KAAK,CAAC,IAAI,OAAO,EAAE,EAAE,EAAE;iBACvG;gBACD,SAAS,EAAE;oBACT,KAAK,EAAE,EAAE,WAAW,EAAE,WAAW,KAAK,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,wBAAwB,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE;oBAC5I,KAAK,EAAE,EAAE,IAAI,EAAE,mCAAmC,EAAE;oBACpD,KAAK,EAAE,EAAE,IAAI,EAAE,qCAAqC,EAAE;oBACtD,KAAK,EAAE,EAAE,IAAI,EAAE,iCAAiC,EAAE;iBACnD;aACF;YACD,MAAM,EAAE;gBACN,IAAI,EAAE,CAAC,GAAG,CAAC;gBACX,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,EAAE;gBAC/B,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;gBAC9B,SAAS,EAAE;oBACT,KAAK,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;oBACjC,KAAK,EAAE,EAAE,IAAI,EAAE,qCAAqC,EAAE;oBACtD,KAAK,EAAE,EAAE,IAAI,EAAE,iCAAiC,EAAE;iBACnD;aACF;SACF,CAAC;QAEF,uBAAuB;QACvB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;YACnC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACnC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAEnF,MAAM,OAAO,GAAG,GAAG,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;gBAChE,MAAM,UAAU,GAA4B,EAAE,CAAC;gBAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBACjC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1D,CAAC;gBAED,KAAK,CAAC,OAAO,CAAC,GAAG;oBACf,IAAI,EAAE;wBACJ,IAAI,EAAE,CAAC,GAAG,CAAC;wBACX,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;wBACvC,WAAW,EAAE;4BACX,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,sBAAsB,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;4BACtH,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;4BACzK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;yBAC9C,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;wBAC9B,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;wBAC9B,WAAW,EAAE;4BACX,QAAQ,EAAE,IAAI;4BACd,OAAO,EAAE;gCACP,kBAAkB,EAAE;oCAClB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE;iCACnD;6BACF;yBACF;wBACD,SAAS,EAAE;4BACT,KAAK,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;4BACvK,KAAK,EAAE,EAAE,IAAI,EAAE,qCAAqC,EAAE;4BACtD,KAAK,EAAE,EAAE,WAAW,EAAE,qBAAqB,EAAE,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,EAAE,EAAE;yBACnI;qBACF;iBACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,MAAM,GAAG,GAAG;QACV,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE;YACJ,KAAK,EAAE,MAAM,CAAC,IAAI;YAClB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,WAAW,EAAE,kDAAkD,MAAM,CAAC,WAAW,EAAE;SACpF;QACD,OAAO,EAAE;YACP,EAAE,GAAG,EAAE,uBAAuB,EAAE,WAAW,EAAE,mBAAmB,EAAE;SACnE;QACD,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,IAAI,YAAY,EAAE,CAAC,CAAC;QACjF,KAAK;QACL,UAAU,EAAE;YACV,eAAe,EAAE;gBACf,UAAU,EAAE;oBACV,IAAI,EAAE,MAAM;oBACZ,MAAM,EAAE,QAAQ;oBAChB,YAAY,EAAE,KAAK;iBACpB;aACF;YACD,OAAO;YACP,SAAS,EAAE;gBACT,YAAY,EAAE;oBACZ,WAAW,EAAE,yBAAyB;oBACtC,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,EAAE;iBACpF;gBACD,QAAQ,EAAE;oBACR,WAAW,EAAE,oBAAoB;oBACjC,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,EAAE;iBACpF;gBACD,UAAU,EAAE;oBACV,WAAW,EAAE,iBAAiB;oBAC9B,OAAO,EAAE,EAAE,kBAAkB,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,EAAE;iBACpF;aACF;SACF;KACF,CAAC;IAEF,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC;AAhQD,8CAgQC"}

package/dist/emit_package.d.ts

@@ -0,0 +1,7 @@
+/**
+ * BoneScript Package Emitter
+ * Generates package.json and tsconfig.json for the output project.
+ */
+import * as IR from "./ir";
+export declare function emitPackageJson(system: IR.IRSystem): string;
+export declare function emitTsConfig(): string;

package/dist/emit_package.js

@@ -0,0 +1,70 @@
+"use strict";
+/**
+ * BoneScript Package Emitter
+ * Generates package.json and tsconfig.json for the output project.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.emitTsConfig = exports.emitPackageJson = void 0;
+function toSnakeCase(s) {
+    return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
+}
+function emitPackageJson(system) {
+    const pkg = {
+        name: toSnakeCase(system.name),
+        version: system.version,
+        private: true,
+        scripts: {
+            build: "tsc",
+            start: "node dist/index.js",
+            dev: "ts-node src/index.ts",
+            migrate: "ts-node src/migrate.ts",
+        },
+        dependencies: {
+            express: "4.18.2",
+            pg: "8.11.3",
+            ioredis: "5.3.2",
+            ws: "8.16.0",
+            uuid: "9.0.0",
+            cors: "2.8.5",
+            helmet: "7.1.0",
+            "express-rate-limit": "7.1.5",
+            jsonwebtoken: "9.0.2",
+            dotenv: "16.3.1",
+        },
+        devDependencies: {
+            "@types/express": "4.17.21",
+            "@types/node": "18.19.0",
+            "@types/pg": "8.10.9",
+            "@types/ws": "8.5.10",
+            "@types/cors": "2.8.17",
+            "@types/jsonwebtoken": "9.0.5",
+            "@types/uuid": "9.0.7",
+            typescript: "5.3.3",
+            "ts-node": "10.9.2",
+        },
+    };
+    return JSON.stringify(pkg, null, 2);
+}
+exports.emitPackageJson = emitPackageJson;
+function emitTsConfig() {
+    const cfg = {
+        compilerOptions: {
+            target: "ES2020",
+            module: "commonjs",
+            lib: ["ES2020"],
+            outDir: "./dist",
+            rootDir: "./src",
+            strict: true,
+            esModuleInterop: true,
+            skipLibCheck: true,
+            forceConsistentCasingInFileNames: true,
+            declaration: true,
+            sourceMap: true,
+        },
+        include: ["src/**/*"],
+        exclude: ["node_modules", "dist"],
+    };
+    return JSON.stringify(cfg, null, 2);
+}
+exports.emitTsConfig = emitTsConfig;
+//# sourceMappingURL=emit_package.js.map

package/dist/emit_package.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit_package.js","sourceRoot":"","sources":["../src/emit_package.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAIH,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAED,SAAgB,eAAe,CAAC,MAAmB;IACjD,MAAM,GAAG,GAAG;QACV,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC;QAC9B,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,OAAO,EAAE,IAAI;QACb,OAAO,EAAE;YACP,KAAK,EAAE,KAAK;YACZ,KAAK,EAAE,oBAAoB;YAC3B,GAAG,EAAE,sBAAsB;YAC3B,OAAO,EAAE,wBAAwB;SAClC;QACD,YAAY,EAAE;YACZ,OAAO,EAAE,QAAQ;YACjB,EAAE,EAAE,QAAQ;YACZ,OAAO,EAAE,OAAO;YAChB,EAAE,EAAE,QAAQ;YACZ,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,OAAO;YACf,oBAAoB,EAAE,OAAO;YAC7B,YAAY,EAAE,OAAO;YACrB,MAAM,EAAE,QAAQ;SACjB;QACD,eAAe,EAAE;YACf,gBAAgB,EAAE,SAAS;YAC3B,aAAa,EAAE,SAAS;YACxB,WAAW,EAAE,QAAQ;YACrB,WAAW,EAAE,QAAQ;YACrB,aAAa,EAAE,QAAQ;YACvB,qBAAqB,EAAE,OAAO;YAC9B,aAAa,EAAE,OAAO;YACtB,UAAU,EAAE,OAAO;YACnB,SAAS,EAAE,QAAQ;SACpB;KACF,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC;AApCD,0CAoCC;AAED,SAAgB,YAAY;IAC1B,MAAM,GAAG,GAAG;QACV,eAAe,EAAE;YACf,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,UAAU;YAClB,GAAG,EAAE,CAAC,QAAQ,CAAC;YACf,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE,OAAO;YAChB,MAAM,EAAE,IAAI;YACZ,eAAe,EAAE,IAAI;YACrB,YAAY,EAAE,IAAI;YAClB,gCAAgC,EAAE,IAAI;YACtC,WAAW,EAAE,IAAI;YACjB,SAAS,EAAE,IAAI;SAChB;QACD,OAAO,EAAE,CAAC,UAAU,CAAC;QACrB,OAAO,EAAE,CAAC,cAAc,EAAE,MAAM,CAAC;KAClC,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACtC,CAAC;AAnBD,oCAmBC"}

package/dist/emit_router.d.ts

@@ -0,0 +1,12 @@
+/**
+ * BoneScript Router Emitter
+ * Generates Express route files (CRUD + capability endpoints) and
+ * state machine runtime files for each entity.
+ */
+import * as IR from "./ir";
+export declare function toSnakeCase(s: string): string;
+export declare function toCamelCase(s: string): string;
+export declare function toTsType(irType: string): string;
+export declare function emitStateMachineRuntime(sm: IR.IRStateMachine): string;
+export declare function emitEntityRouter(mod: IR.IRModule, system: IR.IRSystem): string;
+export declare function emitCapabilityEndpoint(method: IR.IRMethod, mod: IR.IRModule, tableName: string, system: IR.IRSystem): string;