bonescript-compiler 0.2.0

package/dist/types.d.ts

@@ -0,0 +1,38 @@
+/**
+ * BoneScript Type System — Internal type representations.
+ * Implements spec/04_TYPE_SYSTEM.md.
+ */
+export type CVType = PrimitiveType | GenericType | RecordType | UnionType | TupleType | BottomType;
+export interface PrimitiveType {
+    tag: "primitive";
+    name: "string" | "uint" | "int" | "float" | "bool" | "timestamp" | "uuid" | "bytes" | "json";
+}
+export interface GenericType {
+    tag: "generic";
+    name: "list" | "set" | "map" | "optional" | "result";
+    args: CVType[];
+}
+export interface RecordType {
+    tag: "record";
+    name: string;
+    fields: Map<string, CVType>;
+}
+export interface UnionType {
+    tag: "union";
+    members: CVType[];
+}
+export interface TupleType {
+    tag: "tuple";
+    elements: CVType[];
+}
+export interface BottomType {
+    tag: "bottom";
+}
+export declare function prim(name: PrimitiveType["name"]): PrimitiveType;
+export declare function generic(name: GenericType["name"], ...args: CVType[]): GenericType;
+export declare function record(name: string, fields: Map<string, CVType>): RecordType;
+export declare const BOTTOM: BottomType;
+export declare function typeEquals(a: CVType, b: CVType): boolean;
+export declare function typeToString(t: CVType): string;
+export declare function isNumeric(t: CVType): boolean;
+export declare function isComparable(t: CVType): boolean;

package/dist/types.js

@@ -0,0 +1,85 @@
+"use strict";
+/**
+ * BoneScript Type System — Internal type representations.
+ * Implements spec/04_TYPE_SYSTEM.md.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isComparable = exports.isNumeric = exports.typeToString = exports.typeEquals = exports.BOTTOM = exports.record = exports.generic = exports.prim = void 0;
+// ─── Constructors ────────────────────────────────────────────────────────────
+function prim(name) {
+    return { tag: "primitive", name };
+}
+exports.prim = prim;
+function generic(name, ...args) {
+    return { tag: "generic", name, args };
+}
+exports.generic = generic;
+function record(name, fields) {
+    return { tag: "record", name, fields };
+}
+exports.record = record;
+exports.BOTTOM = { tag: "bottom" };
+// ─── Type Equality ───────────────────────────────────────────────────────────
+function typeEquals(a, b) {
+    if (a.tag !== b.tag) {
+        // optional<T> accepts T (implicit wrapping)
+        if (a.tag === "generic" && a.name === "optional" && typeEquals(a.args[0], b))
+            return true;
+        if (b.tag === "generic" && b.name === "optional" && typeEquals(b.args[0], a))
+            return true;
+        // bottom unifies with any optional
+        if (a.tag === "bottom" && b.tag === "generic" && b.name === "optional")
+            return true;
+        if (b.tag === "bottom" && a.tag === "generic" && a.name === "optional")
+            return true;
+        return false;
+    }
+    switch (a.tag) {
+        case "primitive":
+            return a.name === b.name;
+        case "generic": {
+            const bg = b;
+            return a.name === bg.name && a.args.length === bg.args.length &&
+                a.args.every((arg, i) => typeEquals(arg, bg.args[i]));
+        }
+        case "record": {
+            const br = b;
+            return a.name === br.name; // nominal for records (entity names)
+        }
+        case "union": {
+            const bu = b;
+            return a.members.length === bu.members.length &&
+                a.members.every((m, i) => typeEquals(m, bu.members[i]));
+        }
+        case "tuple": {
+            const bt = b;
+            return a.elements.length === bt.elements.length &&
+                a.elements.every((e, i) => typeEquals(e, bt.elements[i]));
+        }
+        case "bottom":
+            return true;
+    }
+}
+exports.typeEquals = typeEquals;
+// ─── Type Display ────────────────────────────────────────────────────────────
+function typeToString(t) {
+    switch (t.tag) {
+        case "primitive": return t.name;
+        case "generic": return `${t.name}<${t.args.map(typeToString).join(", ")}>`;
+        case "record": return t.name;
+        case "union": return t.members.map(typeToString).join(" | ");
+        case "tuple": return `(${t.elements.map(typeToString).join(", ")})`;
+        case "bottom": return "bottom";
+    }
+}
+exports.typeToString = typeToString;
+// ─── Numeric Type Check ──────────────────────────────────────────────────────
+function isNumeric(t) {
+    return t.tag === "primitive" && (t.name === "uint" || t.name === "int" || t.name === "float");
+}
+exports.isNumeric = isNumeric;
+function isComparable(t) {
+    return isNumeric(t) || (t.tag === "primitive" && (t.name === "string" || t.name === "timestamp"));
+}
+exports.isComparable = isComparable;
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAyCH,8MAA8M;AAE9M,SAAgB,IAAI,CAAC,IAA2B;IAC9C,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AACpC,CAAC;AAFD,oBAEC;AAED,SAAgB,OAAO,CAAC,IAAyB,EAAE,GAAG,IAAc;IAClE,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxC,CAAC;AAFD,0BAEC;AAED,SAAgB,MAAM,CAAC,IAAY,EAAE,MAA2B;IAC9D,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACzC,CAAC;AAFD,wBAEC;AAEY,QAAA,MAAM,GAAe,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAEpD,4MAA4M;AAE5M,SAAgB,UAAU,CAAC,CAAS,EAAE,CAAS;IAC7C,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC;QACpB,4CAA4C;QAC5C,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1F,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1F,mCAAmC;QACnC,IAAI,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QACpF,IAAI,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;QACpF,OAAO,KAAK,CAAC;IACf,CAAC;IAED,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QACd,KAAK,WAAW;YACd,OAAO,CAAC,CAAC,IAAI,KAAM,CAAmB,CAAC,IAAI,CAAC;QAC9C,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG,CAAgB,CAAC;YAC5B,OAAO,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM;gBAC3D,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,CAAe,CAAC;YAC3B,OAAO,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,qCAAqC;QAClE,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,GAAG,CAAc,CAAC;YAC1B,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,EAAE,CAAC,OAAO,CAAC,MAAM;gBAC3C,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,GAAG,CAAc,CAAC;YAC1B,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,EAAE,CAAC,QAAQ,CAAC,MAAM;gBAC7C,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AApCD,gCAoCC;AAED,8MAA8M;AAE9M,SAAgB,YAAY,CAAC,CAAS;IACpC,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC;QACd,KAAK,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;QAChC,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC3E,KAAK,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;QAC7B,KAAK,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACpE,KAAK,QAAQ,CAAC,CAAC,OAAO,QAAQ,CAAC;IACjC,CAAC;AACH,CAAC;AATD,oCASC;AAED,kMAAkM;AAElM,SAAgB,SAAS,CAAC,CAAS;IACjC,OAAO,CAAC,CAAC,GAAG,KAAK,WAAW,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;AAChG,CAAC;AAFD,8BAEC;AAED,SAAgB,YAAY,CAAC,CAAS;IACpC,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,WAAW,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC;AACpG,CAAC;AAFD,oCAEC"}

package/dist/verifier.d.ts

@@ -0,0 +1,46 @@
+/**
+ * BoneScript Verifier — Stage 7 of the compilation pipeline.
+ * Implements spec/07_IR_SPEC.md §5 (IR Validation Rules).
+ *
+ * Checks:
+ * - V001: Every dependency target exists as a module
+ * - V002: Every event source exists as a module
+ * - V003: State machine transitions reference valid events
+ * - V004: No circular dependencies between modules
+ * - V005: Every method's preconditions reference accessible fields
+ * - V006: Every effect targets a field that exists
+ * - V007: Every model has a primary key field
+ * - V008: Every index references fields that exist
+ * - V009: No duplicate module ids
+ * - V010: No duplicate event ids
+ * - V011: Every authenticated method's module depends on auth
+ * - V012: Resolution map is complete
+ *
+ * Also validates generated code:
+ * - All TypeScript files have balanced braces
+ * - All SQL files have valid CREATE TABLE structure
+ * - All imports reference existing files
+ */
+import * as IR from "./ir";
+import { EmittedFile } from "./emitter";
+export interface VerifyIssue {
+    code: string;
+    severity: "error" | "warning";
+    message: string;
+    location: string;
+}
+export interface VerifyResult {
+    passed: boolean;
+    issues: VerifyIssue[];
+}
+export declare class Verifier {
+    verify(system: IR.IRSystem, files: EmittedFile[]): VerifyResult;
+    private checkDependencies;
+    private checkDuplicateIds;
+    private checkModels;
+    private checkStateMachines;
+    private checkCircularDeps;
+    private checkTypeScriptSyntax;
+    private checkSqlSyntax;
+    private checkImports;
+}

package/dist/verifier.js

@@ -0,0 +1,307 @@
+"use strict";
+/**
+ * BoneScript Verifier — Stage 7 of the compilation pipeline.
+ * Implements spec/07_IR_SPEC.md §5 (IR Validation Rules).
+ *
+ * Checks:
+ * - V001: Every dependency target exists as a module
+ * - V002: Every event source exists as a module
+ * - V003: State machine transitions reference valid events
+ * - V004: No circular dependencies between modules
+ * - V005: Every method's preconditions reference accessible fields
+ * - V006: Every effect targets a field that exists
+ * - V007: Every model has a primary key field
+ * - V008: Every index references fields that exist
+ * - V009: No duplicate module ids
+ * - V010: No duplicate event ids
+ * - V011: Every authenticated method's module depends on auth
+ * - V012: Resolution map is complete
+ *
+ * Also validates generated code:
+ * - All TypeScript files have balanced braces
+ * - All SQL files have valid CREATE TABLE structure
+ * - All imports reference existing files
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Verifier = void 0;
+class Verifier {
+    verify(system, files) {
+        const issues = [];
+        // ─── IR Validation ─────────────────────────────────────────────────────
+        this.checkDependencies(system, issues);
+        this.checkDuplicateIds(system, issues);
+        this.checkModels(system, issues);
+        this.checkStateMachines(system, issues);
+        this.checkCircularDeps(system, issues);
+        // ─── Generated Code Validation ─────────────────────────────────────────
+        this.checkTypeScriptSyntax(files, issues);
+        this.checkSqlSyntax(files, issues);
+        this.checkImports(files, issues);
+        return {
+            passed: issues.filter(i => i.severity === "error").length === 0,
+            issues,
+        };
+    }
+    // ─── V001: Dependency targets exist ──────────────────────────────────────
+    checkDependencies(system, issues) {
+        const moduleIds = new Set(system.modules.map(m => m.id));
+        for (const mod of system.modules) {
+            for (const dep of mod.dependencies) {
+                if (!moduleIds.has(dep)) {
+                    issues.push({
+                        code: "V001",
+                        severity: "error",
+                        message: `Module '${mod.name}' depends on '${dep}' which does not exist`,
+                        location: mod.id,
+                    });
+                }
+            }
+        }
+    }
+    // ─── V009/V010: No duplicate IDs ─────────────────────────────────────────
+    checkDuplicateIds(system, issues) {
+        const moduleIds = new Set();
+        for (const mod of system.modules) {
+            if (moduleIds.has(mod.id)) {
+                issues.push({
+                    code: "V009",
+                    severity: "error",
+                    message: `Duplicate module id: ${mod.id} (${mod.name})`,
+                    location: mod.id,
+                });
+            }
+            moduleIds.add(mod.id);
+        }
+        const eventIds = new Set();
+        for (const ev of system.events) {
+            if (eventIds.has(ev.id)) {
+                issues.push({
+                    code: "V010",
+                    severity: "error",
+                    message: `Duplicate event id: ${ev.id} (${ev.name})`,
+                    location: ev.id,
+                });
+            }
+            eventIds.add(ev.id);
+        }
+    }
+    // ─── V007/V008: Model validation ─────────────────────────────────────────
+    checkModels(system, issues) {
+        for (const mod of system.modules) {
+            for (const model of mod.models) {
+                // V007: Primary key exists
+                const pkField = model.fields.find(f => f.name === model.primary_key);
+                if (!pkField) {
+                    issues.push({
+                        code: "V007",
+                        severity: "error",
+                        message: `Model '${model.name}' primary key '${model.primary_key}' not found in fields`,
+                        location: `${mod.id}.${model.name}`,
+                    });
+                }
+                // V008: Index fields exist
+                const fieldNames = new Set(model.fields.map(f => f.name));
+                for (const idx of model.indexes) {
+                    for (const field of idx.fields) {
+                        if (!fieldNames.has(field)) {
+                            issues.push({
+                                code: "V008",
+                                severity: "warning",
+                                message: `Index on '${model.name}' references non-existent field '${field}'`,
+                                location: `${mod.id}.${model.name}`,
+                            });
+                        }
+                    }
+                }
+            }
+        }
+    }
+    // ─── V003: State machine transitions ──────────────────────────────────────
+    checkStateMachines(system, issues) {
+        for (const mod of system.modules) {
+            for (const sm of mod.state_machines) {
+                const validStates = new Set(sm.states);
+                // Initial state must be valid
+                if (!validStates.has(sm.initial)) {
+                    issues.push({
+                        code: "V003",
+                        severity: "error",
+                        message: `State machine '${sm.entity}' initial state '${sm.initial}' not in states list`,
+                        location: `${mod.id}.${sm.entity}`,
+                    });
+                }
+                // All transition targets must be valid
+                for (const t of sm.transitions) {
+                    if (!validStates.has(t.from)) {
+                        issues.push({
+                            code: "V003",
+                            severity: "error",
+                            message: `Transition from '${t.from}' — state not declared in '${sm.entity}'`,
+                            location: `${mod.id}.${sm.entity}`,
+                        });
+                    }
+                    if (!validStates.has(t.to)) {
+                        issues.push({
+                            code: "V003",
+                            severity: "error",
+                            message: `Transition to '${t.to}' — state not declared in '${sm.entity}'`,
+                            location: `${mod.id}.${sm.entity}`,
+                        });
+                    }
+                }
+            }
+        }
+    }
+    // ─── V004: Circular dependencies ──────────────────────────────────────────
+    checkCircularDeps(system, issues) {
+        const graph = new Map();
+        for (const mod of system.modules) {
+            graph.set(mod.id, mod.dependencies);
+        }
+        const visited = new Set();
+        const inStack = new Set();
+        const dfs = (node, path) => {
+            if (inStack.has(node)) {
+                const cycle = [...path.slice(path.indexOf(node)), node];
+                const names = cycle.map(id => system.modules.find(m => m.id === id)?.name || id);
+                issues.push({
+                    code: "V004",
+                    severity: "error",
+                    message: `Circular dependency: ${names.join(" → ")}`,
+                    location: node,
+                });
+                return true;
+            }
+            if (visited.has(node))
+                return false;
+            visited.add(node);
+            inStack.add(node);
+            for (const dep of graph.get(node) || []) {
+                if (graph.has(dep)) {
+                    dfs(dep, [...path, node]);
+                }
+            }
+            inStack.delete(node);
+            return false;
+        };
+        for (const [id] of graph) {
+            if (!visited.has(id)) {
+                dfs(id, []);
+            }
+        }
+    }
+    // ─── Generated TypeScript Validation ───────────────────────────────────────
+    checkTypeScriptSyntax(files, issues) {
+        for (const file of files) {
+            if (file.language !== "typescript")
+                continue;
+            // Check balanced braces
+            let braceCount = 0;
+            let parenCount = 0;
+            let bracketCount = 0;
+            for (const ch of file.content) {
+                if (ch === "{")
+                    braceCount++;
+                if (ch === "}")
+                    braceCount--;
+                if (ch === "(")
+                    parenCount++;
+                if (ch === ")")
+                    parenCount--;
+                if (ch === "[")
+                    bracketCount++;
+                if (ch === "]")
+                    bracketCount--;
+            }
+            if (braceCount !== 0) {
+                issues.push({
+                    code: "GEN_TS_BRACES",
+                    severity: "error",
+                    message: `Unbalanced braces in ${file.path} (${braceCount > 0 ? "missing }" : "extra }"})`,
+                    location: file.path,
+                });
+            }
+            if (parenCount !== 0) {
+                issues.push({
+                    code: "GEN_TS_PARENS",
+                    severity: "warning",
+                    message: `Unbalanced parentheses in ${file.path}`,
+                    location: file.path,
+                });
+            }
+        }
+    }
+    // ─── Generated SQL Validation ──────────────────────────────────────────────
+    checkSqlSyntax(files, issues) {
+        for (const file of files) {
+            if (file.language !== "sql")
+                continue;
+            // Check CREATE TABLE has matching parentheses
+            if (file.content.includes("CREATE TABLE")) {
+                const opens = (file.content.match(/\(/g) || []).length;
+                const closes = (file.content.match(/\)/g) || []).length;
+                if (opens !== closes) {
+                    issues.push({
+                        code: "GEN_SQL_PARENS",
+                        severity: "error",
+                        message: `Unbalanced parentheses in SQL: ${file.path}`,
+                        location: file.path,
+                    });
+                }
+            }
+            // Check no empty CREATE TABLE
+            if (file.content.match(/CREATE TABLE[^(]+\(\s*\)/)) {
+                issues.push({
+                    code: "GEN_SQL_EMPTY",
+                    severity: "warning",
+                    message: `Empty CREATE TABLE in ${file.path}`,
+                    location: file.path,
+                });
+            }
+        }
+    }
+    // ─── Import Resolution ─────────────────────────────────────────────────────
+    checkImports(files, issues) {
+        const filePaths = new Set(files.map(f => f.path));
+        for (const file of files) {
+            if (file.language !== "typescript")
+                continue;
+            const importMatches = file.content.matchAll(/from\s+"([^"]+)"/g);
+            for (const match of importMatches) {
+                const importPath = match[1];
+                // Skip node_modules imports
+                if (!importPath.startsWith("."))
+                    continue;
+                // Resolve relative to file
+                const dir = file.path.split("/").slice(0, -1).join("/");
+                const resolved = resolvePath(dir, importPath) + ".ts";
+                // Check if target exists in our file set
+                if (!filePaths.has(resolved) && !filePaths.has(resolved.replace(".ts", "/index.ts"))) {
+                    // Not necessarily an error — could be importing from a parent project
+                    // Only warn for imports within src/
+                    if (importPath.startsWith("./") || importPath.startsWith("../")) {
+                        issues.push({
+                            code: "GEN_IMPORT",
+                            severity: "warning",
+                            message: `Import '${importPath}' in ${file.path} may not resolve (target: ${resolved})`,
+                            location: file.path,
+                        });
+                    }
+                }
+            }
+        }
+    }
+}
+exports.Verifier = Verifier;
+function resolvePath(base, relative) {
+    const parts = base.split("/");
+    const relParts = relative.split("/");
+    for (const part of relParts) {
+        if (part === "..")
+            parts.pop();
+        else if (part !== ".")
+            parts.push(part);
+    }
+    return parts.join("/");
+}
+//# sourceMappingURL=verifier.js.map

package/dist/verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../src/verifier.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;;;AAiBH,MAAa,QAAQ;IACnB,MAAM,CAAC,MAAmB,EAAE,KAAoB;QAC9C,MAAM,MAAM,GAAkB,EAAE,CAAC;QAEjC,0LAA0L;QAE1L,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACvC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACjC,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAEvC,kKAAkK;QAElK,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1C,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACnC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAEjC,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC;YAC/D,MAAM;SACP,CAAC;IACJ,CAAC;IAED,8JAA8J;IAEtJ,iBAAiB,CAAC,MAAmB,EAAE,MAAqB;QAClE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,YAAY,EAAE,CAAC;gBACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACxB,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,MAAM;wBACZ,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,WAAW,GAAG,CAAC,IAAI,iBAAiB,GAAG,wBAAwB;wBACxE,QAAQ,EAAE,GAAG,CAAC,EAAE;qBACjB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,oKAAoK;IAE5J,iBAAiB,CAAC,MAAmB,EAAE,MAAqB;QAClE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;QACpC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,wBAAwB,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,GAAG;oBACvD,QAAQ,EAAE,GAAG,CAAC,EAAE;iBACjB,CAAC,CAAC;YACL,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;QAED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,IAAI,GAAG;oBACpD,QAAQ,EAAE,EAAE,CAAC,EAAE;iBAChB,CAAC,CAAC;YACL,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,oKAAoK;IAE5J,WAAW,CAAC,MAAmB,EAAE,MAAqB;QAC5D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;gBAC/B,2BAA2B;gBAC3B,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,WAAW,CAAC,CAAC;gBACrE,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,MAAM;wBACZ,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,kBAAkB,KAAK,CAAC,WAAW,uBAAuB;wBACvF,QAAQ,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE;qBACpC,CAAC,CAAC;gBACL,CAAC;gBAED,2BAA2B;gBAC3B,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC1D,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBAChC,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;wBAC/B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;4BAC3B,MAAM,CAAC,IAAI,CAAC;gCACV,IAAI,EAAE,MAAM;gCACZ,QAAQ,EAAE,SAAS;gCACnB,OAAO,EAAE,aAAa,KAAK,CAAC,IAAI,oCAAoC,KAAK,GAAG;gCAC5E,QAAQ,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE;6BACpC,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,+JAA+J;IAEvJ,kBAAkB,CAAC,MAAmB,EAAE,MAAqB;QACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;gBACpC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;gBAEvC,8BAA8B;gBAC9B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;oBACjC,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,MAAM;wBACZ,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,kBAAkB,EAAE,CAAC,MAAM,oBAAoB,EAAE,CAAC,OAAO,sBAAsB;wBACxF,QAAQ,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE;qBACnC,CAAC,CAAC;gBACL,CAAC;gBAED,uCAAuC;gBACvC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;oBAC/B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC7B,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,MAAM;4BACZ,QAAQ,EAAE,OAAO;4BACjB,OAAO,EAAE,oBAAoB,CAAC,CAAC,IAAI,gCAAgC,EAAE,CAAC,MAAM,GAAG;4BAC/E,QAAQ,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE;yBACnC,CAAC,CAAC;oBACL,CAAC;oBACD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;wBAC3B,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,MAAM;4BACZ,QAAQ,EAAE,OAAO;4BACjB,OAAO,EAAE,kBAAkB,CAAC,CAAC,EAAE,gCAAgC,EAAE,CAAC,MAAM,GAAG;4BAC3E,QAAQ,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE;yBACnC,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,uKAAuK;IAE/J,iBAAiB,CAAC,MAAmB,EAAE,MAAqB;QAClE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC1C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;QACtC,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,IAAc,EAAW,EAAE;YACpD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBACxD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC;gBACjF,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,MAAM;oBACZ,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,wBAAwB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE;oBACtD,QAAQ,EAAE,IAAI;iBACf,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YAEpC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAElB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBACxC,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnB,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;YAED,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACrB,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QAEF,KAAK,MAAM,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrB,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,kKAAkK;IAE1J,qBAAqB,CAAC,KAAoB,EAAE,MAAqB;QACvE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY;gBAAE,SAAS;YAE7C,wBAAwB;YACxB,IAAI,UAAU,GAAG,CAAC,CAAC;YACnB,IAAI,UAAU,GAAG,CAAC,CAAC;YACnB,IAAI,YAAY,GAAG,CAAC,CAAC;YAErB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAC9B,IAAI,EAAE,KAAK,GAAG;oBAAE,UAAU,EAAE,CAAC;gBAC7B,IAAI,EAAE,KAAK,GAAG;oBAAE,UAAU,EAAE,CAAC;gBAC7B,IAAI,EAAE,KAAK,GAAG;oBAAE,UAAU,EAAE,CAAC;gBAC7B,IAAI,EAAE,KAAK,GAAG;oBAAE,UAAU,EAAE,CAAC;gBAC7B,IAAI,EAAE,KAAK,GAAG;oBAAE,YAAY,EAAE,CAAC;gBAC/B,IAAI,EAAE,KAAK,GAAG;oBAAE,YAAY,EAAE,CAAC;YACjC,CAAC;YAED,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;gBACrB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,eAAe;oBACrB,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,wBAAwB,IAAI,CAAC,IAAI,KAAK,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,GAAG;oBAC1F,QAAQ,EAAE,IAAI,CAAC,IAAI;iBACpB,CAAC,CAAC;YACL,CAAC;YACD,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;gBACrB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,eAAe;oBACrB,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,6BAA6B,IAAI,CAAC,IAAI,EAAE;oBACjD,QAAQ,EAAE,IAAI,CAAC,IAAI;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,gLAAgL;IAExK,cAAc,CAAC,KAAoB,EAAE,MAAqB;QAChE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK;gBAAE,SAAS;YAEtC,8CAA8C;YAC9C,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC1C,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;gBACvD,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;gBACxD,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;oBACrB,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,gBAAgB;wBACtB,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,kCAAkC,IAAI,CAAC,IAAI,EAAE;wBACtD,QAAQ,EAAE,IAAI,CAAC,IAAI;qBACpB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,8BAA8B;YAC9B,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,EAAE,CAAC;gBACnD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,eAAe;oBACrB,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,yBAAyB,IAAI,CAAC,IAAI,EAAE;oBAC7C,QAAQ,EAAE,IAAI,CAAC,IAAI;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,8LAA8L;IAEtL,YAAY,CAAC,KAAoB,EAAE,MAAqB;QAC9D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAElD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,YAAY;gBAAE,SAAS;YAE7C,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;YACjE,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;gBAClC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC5B,4BAA4B;gBAC5B,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAE1C,2BAA2B;gBAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACxD,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC;gBAEtD,yCAAyC;gBACzC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;oBACrF,wEAAwE;oBACxE,oCAAoC;oBACpC,IAAI,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChE,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,YAAY;4BAClB,QAAQ,EAAE,SAAS;4BACnB,OAAO,EAAE,WAAW,UAAU,QAAQ,IAAI,CAAC,IAAI,6BAA6B,QAAQ,GAAG;4BACvF,QAAQ,EAAE,IAAI,CAAC,IAAI;yBACpB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAxSD,4BAwSC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,QAAgB;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAErC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,IAAI,KAAK,IAAI;YAAE,KAAK,CAAC,GAAG,EAAE,CAAC;aAC1B,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC"}

package/package.json

@@ -0,0 +1,52 @@
+{
+  "name": "bonescript-compiler",
+  "version": "0.2.0",
+  "description": "BoneScript compiler — compile .bone system descriptions into complete, runnable Node.js backends",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "bin": {
+    "bonec": "./dist/cli.js"
+  },
+  "files": [
+    "dist/**/*",
+    "src/**/*.ts",
+    "!src/test.ts",
+    "!src/test_typechecker.ts",
+    "LICENSE",
+    "README.md"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "prepublishOnly": "npm run build",
+    "start": "ts-node src/cli.ts",
+    "test": "ts-node src/test.ts && ts-node src/test_typechecker.ts"
+  },
+  "keywords": [
+    "bonescript",
+    "compiler",
+    "code-generation",
+    "backend",
+    "declarative",
+    "typescript",
+    "postgresql",
+    "express",
+    "dsl"
+  ],
+  "license": "MIT",
+  "engines": {
+    "node": ">=18.0.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/YOUR_USERNAME/bonescript"
+  },
+  "homepage": "https://github.com/YOUR_USERNAME/bonescript#readme",
+  "bugs": {
+    "url": "https://github.com/YOUR_USERNAME/bonescript/issues"
+  },
+  "devDependencies": {
+    "@types/node": "18.19.0",
+    "typescript": "5.3.3",
+    "ts-node": "10.9.2"
+  }
+}