bonescript-compiler 0.2.0

package/dist/extension_manager.js

@@ -0,0 +1,170 @@
+"use strict";
+/**
+ * BoneScript Extension Manager
+ *
+ * Handles the escape hatch system: extension_point declarations.
+ *
+ * How it works:
+ * 1. Compiler emits a stub with sentinel comments around the implementation region.
+ * 2. On recompile, the merger reads the existing output file and extracts any
+ *    user code between the sentinels.
+ * 3. The user's code is re-injected into the newly generated file.
+ * 4. If stable: true and no implementation exists, compilation fails.
+ *
+ * Sentinel format (must be unique and parseable):
+ *   // <bonescript:ext:NAME:begin>
+ *   ... user code here ...
+ *   // <bonescript:ext:NAME:end>
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.mergeWithExisting = exports.validateExtensions = exports.mergeImplementations = exports.extractImplementations = exports.emitExtensionPointStub = exports.isStubImplementation = exports.endSentinel = exports.beginSentinel = void 0;
+const fs = __importStar(require("fs"));
+// ─── Sentinel Helpers ────────────────────────────────────────────────────────
+function beginSentinel(name) {
+    return `// <bonescript:ext:${name}:begin>`;
+}
+exports.beginSentinel = beginSentinel;
+function endSentinel(name) {
+    return `// <bonescript:ext:${name}:end>`;
+}
+exports.endSentinel = endSentinel;
+function isStubImplementation(code) {
+    return code.trim() === "" || code.includes("throw new Error(\"Not implemented:");
+}
+exports.isStubImplementation = isStubImplementation;
+// ─── Stub Generator ──────────────────────────────────────────────────────────
+function toTsType(irType) {
+    const map = {
+        string: "string", uint: "number", int: "number", float: "number",
+        bool: "boolean", timestamp: "Date", uuid: "string", bytes: "Buffer", json: "unknown",
+    };
+    if (map[irType])
+        return map[irType];
+    const m = irType.match(/^(list|set)<(.+)>$/);
+    if (m)
+        return `${toTsType(m[2])}[]`;
+    const om = irType.match(/^optional<(.+)>$/);
+    if (om)
+        return `${toTsType(om[1])} | null`;
+    return irType;
+}
+function serializeType(t) {
+    switch (t.kind) {
+        case "PrimitiveType": return t.name;
+        case "GenericType": return `${t.name}<${t.typeArgs.map(serializeType).join(", ")}>`;
+        case "EntityRefType": return t.name;
+        case "TupleType": return `(${t.elements.map(serializeType).join(", ")})`;
+        case "UnionType": return t.members.map(serializeType).join(" | ");
+    }
+}
+function emitExtensionPointStub(ext) {
+    const params = ext.params.map(p => `${p.name}: ${toTsType(serializeType(p.type))}`).join(", ");
+    const returnType = ext.returns ? toTsType(serializeType(ext.returns)) : "void";
+    const lines = [];
+    lines.push(`/**`);
+    lines.push(` * Extension point: ${ext.name}`);
+    lines.push(` * ${ext.stable ? "STABLE — implementation required." : "Optional — stub used if not implemented."}`);
+    lines.push(` * Params: ${ext.params.map(p => `${p.name}: ${serializeType(p.type)}`).join(", ") || "none"}`);
+    lines.push(` * Returns: ${ext.returns ? serializeType(ext.returns) : "void"}`);
+    lines.push(` */`);
+    lines.push(`export function ${ext.name}(${params}): ${returnType} {`);
+    lines.push(`  ${beginSentinel(ext.name)}`);
+    lines.push(`  throw new Error("Not implemented: ${ext.name}");`);
+    lines.push(`  ${endSentinel(ext.name)}`);
+    lines.push(`}`);
+    return lines.join("\n");
+}
+exports.emitExtensionPointStub = emitExtensionPointStub;
+function extractImplementations(existingContent) {
+    const result = new Map();
+    const beginPattern = /\/\/ <bonescript:ext:([^:]+):begin>/g;
+    let match;
+    while ((match = beginPattern.exec(existingContent)) !== null) {
+        const name = match[1];
+        const beginIdx = match.index + match[0].length;
+        const endMarker = endSentinel(name);
+        const endIdx = existingContent.indexOf(endMarker, beginIdx);
+        if (endIdx === -1)
+            continue;
+        const code = existingContent.slice(beginIdx, endIdx).trim();
+        result.set(name, {
+            name,
+            code,
+            isStub: isStubImplementation(code),
+        });
+    }
+    return result;
+}
+exports.extractImplementations = extractImplementations;
+function mergeImplementations(newContent, existingImpls) {
+    let result = newContent;
+    for (const [name, impl] of existingImpls) {
+        if (impl.isStub)
+            continue; // don't restore stubs
+        const begin = beginSentinel(name);
+        const end = endSentinel(name);
+        const beginIdx = result.indexOf(begin);
+        const endIdx = result.indexOf(end, beginIdx);
+        if (beginIdx === -1 || endIdx === -1)
+            continue;
+        const before = result.slice(0, beginIdx + begin.length);
+        const after = result.slice(endIdx);
+        result = `${before}\n  ${impl.code}\n  ${after}`;
+    }
+    return result;
+}
+exports.mergeImplementations = mergeImplementations;
+function validateExtensions(extensions, existingImpls) {
+    const errors = [];
+    for (const ext of extensions) {
+        if (!ext.stable)
+            continue;
+        const impl = existingImpls.get(ext.name);
+        if (!impl || impl.isStub) {
+            errors.push({
+                name: ext.name,
+                message: `Extension point '${ext.name}' is marked stable: true but has no implementation. ` +
+                    `Add your implementation between the sentinel comments in the generated file.`,
+            });
+        }
+    }
+    return errors;
+}
+exports.validateExtensions = validateExtensions;
+// ─── File-Level Merge ────────────────────────────────────────────────────────
+// Called by the emitter when writing output files.
+function mergeWithExisting(newContent, outputPath, extensions) {
+    let existingImpls = new Map();
+    if (fs.existsSync(outputPath)) {
+        const existing = fs.readFileSync(outputPath, "utf-8");
+        existingImpls = extractImplementations(existing);
+    }
+    const validationErrors = validateExtensions(extensions, existingImpls);
+    const content = mergeImplementations(newContent, existingImpls);
+    return { content, validationErrors };
+}
+exports.mergeWithExisting = mergeWithExisting;
+//# sourceMappingURL=extension_manager.js.map

package/dist/extension_manager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension_manager.js","sourceRoot":"","sources":["../src/extension_manager.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,uCAAyB;AAIzB,gFAAgF;AAEhF,SAAgB,aAAa,CAAC,IAAY;IACxC,OAAO,sBAAsB,IAAI,SAAS,CAAC;AAC7C,CAAC;AAFD,sCAEC;AAED,SAAgB,WAAW,CAAC,IAAY;IACtC,OAAO,sBAAsB,IAAI,OAAO,CAAC;AAC3C,CAAC;AAFD,kCAEC;AAED,SAAgB,oBAAoB,CAAC,IAAY;IAC/C,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC,oCAAoC,CAAC,CAAC;AACnF,CAAC;AAFD,oDAEC;AAED,gFAAgF;AAEhF,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,GAAG,GAA2B;QAClC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ;QAChE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS;KACrF,CAAC;IACF,IAAI,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAC7C,IAAI,CAAC;QAAE,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpC,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IAC5C,IAAI,EAAE;QAAE,OAAO,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CAAC,CAAmB;IACxC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;QACpC,KAAK,aAAa,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACpF,KAAK,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;QACpC,KAAK,WAAW,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACzE,KAAK,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED,SAAgB,sBAAsB,CAAC,GAA+B;IACpE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/F,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/E,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,uBAAuB,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC,0CAA0C,EAAE,CAAC,CAAC;IAClH,KAAK,CAAC,IAAI,CAAC,cAAc,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,mBAAmB,GAAG,CAAC,IAAI,IAAI,MAAM,MAAM,UAAU,IAAI,CAAC,CAAC;IACtE,KAAK,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CAAC,uCAAuC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC;IACjE,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAEhB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAlBD,wDAkBC;AAWD,SAAgB,sBAAsB,CAAC,eAAuB;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,MAAM,YAAY,GAAG,sCAAsC,CAAC;IAC5D,IAAI,KAA6B,CAAC;IAElC,OAAO,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC/C,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;QAE5D,IAAI,MAAM,KAAK,CAAC,CAAC;YAAE,SAAS;QAE5B,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5D,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE;YACf,IAAI;YACJ,IAAI;YACJ,MAAM,EAAE,oBAAoB,CAAC,IAAI,CAAC;SACnC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAtBD,wDAsBC;AAED,SAAgB,oBAAoB,CAClC,UAAkB,EAClB,aAAyC;IAEzC,IAAI,MAAM,GAAG,UAAU,CAAC;IAExB,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;QACzC,IAAI,IAAI,CAAC,MAAM;YAAE,SAAS,CAAC,sBAAsB;QAEjD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QAE7C,IAAI,QAAQ,KAAK,CAAC,CAAC,IAAI,MAAM,KAAK,CAAC,CAAC;YAAE,SAAS;QAE/C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACnC,MAAM,GAAG,GAAG,MAAM,OAAO,IAAI,CAAC,IAAI,OAAO,KAAK,EAAE,CAAC;IACnD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAtBD,oDAsBC;AASD,SAAgB,kBAAkB,CAChC,UAAwC,EACxC,aAAyC;IAEzC,MAAM,MAAM,GAA+B,EAAE,CAAC;IAE9C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,GAAG,CAAC,MAAM;YAAE,SAAS;QAE1B,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,oBAAoB,GAAG,CAAC,IAAI,sDAAsD;oBACzF,8EAA8E;aACjF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AApBD,gDAoBC;AAED,gFAAgF;AAChF,mDAAmD;AAEnD,SAAgB,iBAAiB,CAC/B,UAAkB,EAClB,UAAkB,EAClB,UAAwC;IAExC,IAAI,aAAa,GAAG,IAAI,GAAG,EAAyB,CAAC;IAErD,IAAI,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACtD,aAAa,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,oBAAoB,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAEhE,OAAO,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;AACvC,CAAC;AAhBD,8CAgBC"}

package/dist/formatter.d.ts

@@ -0,0 +1,34 @@
+/**
+ * BoneScript Formatter — `bone fmt`
+ * Canonicalizes whitespace and formatting in .bone source files.
+ *
+ * Rules:
+ * - 2-space indentation
+ * - One declaration per logical block, separated by one blank line
+ * - Field lists: one per line if more than 2, otherwise inline
+ * - Constraints: one per line
+ * - Trailing newline at end of file
+ * - LF line endings
+ */
+import * as AST from "./ast";
+export declare class Formatter {
+    private out;
+    private indent;
+    format(program: AST.ProgramNode): string;
+    private line;
+    private blank;
+    private formatSystem;
+    private formatDeclaration;
+    private formatEntity;
+    private formatCapability;
+    private formatChannel;
+    private formatStore;
+    private formatEvent;
+    private formatConstraint;
+    private formatPolicy;
+    private formatFlow;
+    private formatImport;
+    private formatType;
+    private formatExpr;
+    private formatExtensionPoint;
+}

package/dist/formatter.js

@@ -0,0 +1,317 @@
+"use strict";
+/**
+ * BoneScript Formatter — `bone fmt`
+ * Canonicalizes whitespace and formatting in .bone source files.
+ *
+ * Rules:
+ * - 2-space indentation
+ * - One declaration per logical block, separated by one blank line
+ * - Field lists: one per line if more than 2, otherwise inline
+ * - Constraints: one per line
+ * - Trailing newline at end of file
+ * - LF line endings
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Formatter = void 0;
+class Formatter {
+    constructor() {
+        this.out = [];
+        this.indent = 0;
+    }
+    format(program) {
+        this.out = [];
+        this.indent = 0;
+        for (let i = 0; i < program.systems.length; i++) {
+            this.formatSystem(program.systems[i]);
+            if (i < program.systems.length - 1)
+                this.line("");
+        }
+        return this.out.join("\n") + "\n";
+    }
+    line(s) {
+        this.out.push("  ".repeat(this.indent) + s);
+    }
+    blank() {
+        this.out.push("");
+    }
+    formatSystem(sys) {
+        this.line(`system ${sys.name} {`);
+        this.indent++;
+        if (sys.domain) {
+            this.line(`domain: ${sys.domain}`);
+            this.blank();
+        }
+        for (let i = 0; i < sys.declarations.length; i++) {
+            this.formatDeclaration(sys.declarations[i]);
+            if (i < sys.declarations.length - 1)
+                this.blank();
+        }
+        this.indent--;
+        this.line(`}`);
+    }
+    formatDeclaration(decl) {
+        switch (decl.kind) {
+            case "EntityDecl":
+                this.formatEntity(decl);
+                break;
+            case "CapabilityDecl":
+                this.formatCapability(decl);
+                break;
+            case "ChannelDecl":
+                this.formatChannel(decl);
+                break;
+            case "StoreDecl":
+                this.formatStore(decl);
+                break;
+            case "EventDecl":
+                this.formatEvent(decl);
+                break;
+            case "ConstraintDecl":
+                this.formatConstraint(decl);
+                break;
+            case "PolicyDecl":
+                this.formatPolicy(decl);
+                break;
+            case "FlowDecl":
+                this.formatFlow(decl);
+                break;
+            case "ImportDecl":
+                this.formatImport(decl);
+                break;
+            case "ExtensionPointDecl":
+                this.formatExtensionPoint(decl);
+                break;
+        }
+    }
+    formatEntity(e) {
+        this.line(`entity ${e.name} {`);
+        this.indent++;
+        if (e.owns.length > 0) {
+            if (e.owns.length <= 2) {
+                const fields = e.owns.map(f => `${f.name}: ${this.formatType(f.type)}`).join(", ");
+                this.line(`owns: [${fields}]`);
+            }
+            else {
+                this.line(`owns: [`);
+                this.indent++;
+                for (let i = 0; i < e.owns.length; i++) {
+                    const f = e.owns[i];
+                    const comma = i < e.owns.length - 1 ? "," : "";
+                    this.line(`${f.name}: ${this.formatType(f.type)}${comma}`);
+                }
+                this.indent--;
+                this.line(`]`);
+            }
+        }
+        if (e.constraints.length > 0) {
+            this.line(`constraints: [`);
+            this.indent++;
+            for (let i = 0; i < e.constraints.length; i++) {
+                const comma = i < e.constraints.length - 1 ? "," : "";
+                this.line(`${this.formatExpr(e.constraints[i])}${comma}`);
+            }
+            this.indent--;
+            this.line(`]`);
+        }
+        if (e.states) {
+            const path = e.states.nodes.map(n => n.name).join(" -> ");
+            this.line(`states: ${path}`);
+        }
+        if (e.auth)
+            this.line(`auth: ${e.auth}`);
+        for (const idx of e.indexes) {
+            this.line(`index: [${idx.join(", ")}]`);
+        }
+        this.indent--;
+        this.line(`}`);
+    }
+    formatCapability(c) {
+        const params = c.params.map(p => `${p.name}: ${this.formatType(p.type)}`).join(", ");
+        this.line(`capability ${c.name}(${params}) {`);
+        this.indent++;
+        if (c.requires.length > 0) {
+            this.line(`requires: [`);
+            this.indent++;
+            for (let i = 0; i < c.requires.length; i++) {
+                const comma = i < c.requires.length - 1 ? "," : "";
+                this.line(`${this.formatExpr(c.requires[i])}${comma}`);
+            }
+            this.indent--;
+            this.line(`]`);
+        }
+        if (c.effects.length > 0) {
+            this.line(`effects: [`);
+            this.indent++;
+            for (let i = 0; i < c.effects.length; i++) {
+                const eff = c.effects[i];
+                const comma = i < c.effects.length - 1 ? "," : "";
+                this.line(`${eff.target.path.join(".")} ${eff.op} ${this.formatExpr(eff.value)}${comma}`);
+            }
+            this.indent--;
+            this.line(`]`);
+        }
+        if (c.emits.length > 0) {
+            const emits = c.emits.map(e => {
+                const args = e.args.map(a => this.formatExpr(a)).join(", ");
+                return args ? `${e.eventName}(${args})` : e.eventName;
+            }).join(", ");
+            this.line(`emits: ${emits}`);
+        }
+        if (c.sync)
+            this.line(`sync: ${c.sync}`);
+        if (c.timeout)
+            this.line(`timeout: ${c.timeout}`);
+        if (c.idempotent !== null)
+            this.line(`idempotent: ${c.idempotent}`);
+        this.indent--;
+        this.line(`}`);
+    }
+    formatChannel(c) {
+        this.line(`channel ${c.name} {`);
+        this.indent++;
+        if (c.transport)
+            this.line(`transport: ${c.transport}`);
+        if (c.ordering)
+            this.line(`ordering: ${c.ordering}`);
+        if (c.participants)
+            this.line(`participants: ${this.formatType(c.participants)}`);
+        if (c.persistence)
+            this.line(`persistence: ${c.persistence}`);
+        if (c.maxSize !== null)
+            this.line(`max_size: ${c.maxSize}`);
+        if (c.filter)
+            this.line(`filter: ${this.formatExpr(c.filter)}`);
+        this.indent--;
+        this.line(`}`);
+    }
+    formatStore(s) {
+        this.line(`store ${s.name} {`);
+        this.indent++;
+        if (s.engine)
+            this.line(`engine: ${s.engine}`);
+        if (s.schema.length > 0) {
+            this.line(`schema: {`);
+            this.indent++;
+            for (let i = 0; i < s.schema.length; i++) {
+                const f = s.schema[i];
+                const comma = i < s.schema.length - 1 ? "," : "";
+                this.line(`${f.name}: ${this.formatType(f.type)}${comma}`);
+            }
+            this.indent--;
+            this.line(`}`);
+        }
+        if (s.retention)
+            this.line(`retention: ${s.retention}`);
+        if (s.partition)
+            this.line(`partition: ${s.partition}`);
+        if (s.replicas !== null)
+            this.line(`replicas: ${s.replicas}`);
+        this.indent--;
+        this.line(`}`);
+    }
+    formatEvent(e) {
+        this.line(`event ${e.name} {`);
+        this.indent++;
+        if (e.payload.length > 0) {
+            this.line(`payload: {`);
+            this.indent++;
+            for (let i = 0; i < e.payload.length; i++) {
+                const f = e.payload[i];
+                const comma = i < e.payload.length - 1 ? "," : "";
+                this.line(`${f.name}: ${this.formatType(f.type)}${comma}`);
+            }
+            this.indent--;
+            this.line(`}`);
+        }
+        if (e.delivery)
+            this.line(`delivery: ${e.delivery}`);
+        if (e.ttl)
+            this.line(`ttl: ${e.ttl}`);
+        this.indent--;
+        this.line(`}`);
+    }
+    formatConstraint(c) {
+        this.line(`constraint ${c.name}: ${this.formatExpr(c.expr)}`);
+    }
+    formatPolicy(p) {
+        this.line(`policy ${p.name} {`);
+        this.indent++;
+        if (p.rateLimit)
+            this.line(`rate_limit: ${p.rateLimit.count} per ${p.rateLimit.per}`);
+        if (p.access.length > 0)
+            this.line(`access: [${p.access.join(", ")}]`);
+        if (p.audit !== null)
+            this.line(`audit: ${p.audit}`);
+        if (p.encryption)
+            this.line(`encryption: ${p.encryption}`);
+        this.indent--;
+        this.line(`}`);
+    }
+    formatFlow(f) {
+        this.line(`flow ${f.name} {`);
+        this.indent++;
+        for (let i = 0; i < f.steps.length; i++) {
+            const step = f.steps[i];
+            const args = step.action.args.map(a => this.formatExpr(a)).join(", ");
+            this.line(`step ${step.name}: ${step.action.name}(${args})`);
+            if (step.compensate) {
+                const cargs = step.compensate.args.map(a => this.formatExpr(a)).join(", ");
+                this.indent++;
+                this.line(`compensate: ${step.compensate.name}(${cargs})`);
+                this.indent--;
+            }
+            if (i < f.steps.length - 1)
+                this.blank();
+        }
+        this.indent--;
+        this.line(`}`);
+    }
+    formatImport(i) {
+        this.line(`import ${i.name} from "${i.from}"`);
+    }
+    formatType(t) {
+        switch (t.kind) {
+            case "PrimitiveType": return t.name;
+            case "GenericType": return `${t.name}<${t.typeArgs.map(a => this.formatType(a)).join(", ")}>`;
+            case "EntityRefType": return t.name;
+            case "TupleType": return `(${t.elements.map(e => this.formatType(e)).join(", ")})`;
+            case "UnionType": return t.members.map(m => this.formatType(m)).join(" | ");
+        }
+    }
+    formatExpr(e) {
+        switch (e.kind) {
+            case "Literal":
+                if (e.type === "string")
+                    return `"${e.value}"`;
+                if (e.type === "list")
+                    return `[${e.value.map(v => this.formatExpr(v)).join(", ")}]`;
+                if (e.type === "none")
+                    return "none";
+                return String(e.value);
+            case "FieldRef":
+                return e.path.join(".");
+            case "BinaryExpr":
+                if (e.op === "..")
+                    return `${this.formatExpr(e.left)}..${this.formatExpr(e.right)}`;
+                return `${this.formatExpr(e.left)} ${e.op} ${this.formatExpr(e.right)}`;
+            case "UnaryExpr":
+                return `${e.op} ${this.formatExpr(e.operand)}`;
+            case "CallExpr":
+                return `${e.name}(${e.args.map(a => this.formatExpr(a)).join(", ")})`;
+            case "TernaryExpr":
+                return `${this.formatExpr(e.condition)} ? ${this.formatExpr(e.consequent)} : ${this.formatExpr(e.alternate)}`;
+        }
+    }
+    formatExtensionPoint(e) {
+        const params = e.params.map(p => `${p.name}: ${this.formatType(p.type)}`).join(", ");
+        this.line(`extension_point ${e.name}(${params}) {`);
+        this.indent++;
+        if (e.returns)
+            this.line(`returns: ${this.formatType(e.returns)}`);
+        this.line(`stable: ${e.stable}`);
+        this.indent--;
+        this.line(`}`);
+    }
+}
+exports.Formatter = Formatter;
+//# sourceMappingURL=formatter.js.map

package/dist/formatter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter.js","sourceRoot":"","sources":["../src/formatter.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;AAIH,MAAa,SAAS;IAAtB;QACU,QAAG,GAAa,EAAE,CAAC;QACnB,WAAM,GAAG,CAAC,CAAC;IAuRrB,CAAC;IArRC,MAAM,CAAC,OAAwB;QAC7B,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;QACd,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAEhB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC;QAED,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpC,CAAC;IAEO,IAAI,CAAC,CAAS;QACpB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC;IAEO,KAAK;QACX,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IAEO,YAAY,CAAC,GAAuB;QAC1C,IAAI,CAAC,IAAI,CAAC,UAAU,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;YACf,IAAI,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;YACnC,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5C,IAAI,CAAC,GAAG,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;gBAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACpD,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAEO,iBAAiB,CAAC,IAAyB;QACjD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,YAAY;gBAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YAClD,KAAK,gBAAgB;gBAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YAC1D,KAAK,aAAa;gBAAE,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YACpD,KAAK,WAAW;gBAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YAChD,KAAK,WAAW;gBAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YAChD,KAAK,gBAAgB;gBAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YAC1D,KAAK,YAAY;gBAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YAClD,KAAK,UAAU;gBAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YAC9C,KAAK,YAAY;gBAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YAClD,KAAK,oBAAoB;gBAAE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;QACpE,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,CAAqB;QACxC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACvB,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnF,IAAI,CAAC,IAAI,CAAC,UAAU,MAAM,GAAG,CAAC,CAAC;YACjC,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBACrB,IAAI,CAAC,MAAM,EAAE,CAAC;gBACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBACpB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC;gBAC7D,CAAC;gBACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;QAED,IAAI,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;YAC5B,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9C,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtD,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC;YAC5D,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QAED,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1D,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;QAC/B,CAAC;QAED,IAAI,CAAC,CAAC,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAEzC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAEO,gBAAgB,CAAC,CAAyB;QAChD,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,IAAI,MAAM,KAAK,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;QAEd,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;YACzB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnD,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC;YACzD,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QAED,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACxB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBACzB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC;YAC5F,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QAED,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5D,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACxD,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC;QAC/B,CAAC;QAED,IAAI,CAAC,CAAC,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACzC,IAAI,CAAC,CAAC,OAAO;YAAE,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QAEpE,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAEO,aAAa,CAAC,CAAsB;QAC1C,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,CAAC,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,CAAC,YAAY;YAAE,IAAI,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAClF,IAAI,CAAC,CAAC,WAAW;YAAE,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAC9D,IAAI,CAAC,CAAC,OAAO,KAAK,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChE,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAEO,WAAW,CAAC,CAAoB;QACtC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QAC/C,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACvB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC;YAC7D,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,CAAC,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAC9D,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAEO,WAAW,CAAC,CAAoB;QACtC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACxB,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBACvB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC;YAC7D,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,CAAC,QAAQ;YAAE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,CAAC,GAAG;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAEO,gBAAgB,CAAC,CAAyB;QAChD,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChE,CAAC;IAEO,YAAY,CAAC,CAAqB;QACxC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,CAAC,SAAS;YAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,SAAS,CAAC,KAAK,QAAQ,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC;QACtF,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvE,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QACrD,IAAI,CAAC,CAAC,UAAU;YAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;QAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAEO,UAAU,CAAC,CAAmB;QACpC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;QAC9B,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACxB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtE,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,GAAG,CAAC,CAAC;YAC7D,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;gBACd,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC;gBAC3D,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAC3C,CAAC;QACD,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAEO,YAAY,CAAC,CAAqB;QACxC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;IACjD,CAAC;IAEO,UAAU,CAAC,CAAmB;QACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;YACpC,KAAK,aAAa,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC9F,KAAK,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC;YACpC,KAAK,WAAW,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YACnF,KAAK,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IAEO,UAAU,CAAC,CAAe;QAChC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,SAAS;gBACZ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC;gBAC/C,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,IAAK,CAAC,CAAC,KAAwB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACzG,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;oBAAE,OAAO,MAAM,CAAC;gBACrC,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACzB,KAAK,UAAU;gBACb,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC1B,KAAK,YAAY;gBACf,IAAI,CAAC,CAAC,EAAE,KAAK,IAAI;oBAAE,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpF,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1E,KAAK,WAAW;gBACd,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,KAAK,UAAU;gBACb,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YACxE,KAAK,aAAa;gBAChB,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QAClH,CAAC;IACH,CAAC;IAEO,oBAAoB,CAAC,CAA6B;QACxD,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,IAAI,IAAI,MAAM,KAAK,CAAC,CAAC;QACpD,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,CAAC,OAAO;YAAE,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACjC,IAAI,CAAC,MAAM,EAAE,CAAC;QACd,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;CACF;AAzRD,8BAyRC"}

package/dist/index.d.ts

@@ -0,0 +1,42 @@
+/**
+ * BoneScript Compiler — Public API
+ * Import this module to use the compiler programmatically.
+ */
+export { Lexer, LexerError, TokenKind } from "./lexer";
+export type { Token, SourceLocation } from "./lexer";
+export { Parser, ParseError } from "./parser";
+export { RecoveringParser } from "./parser_recovery";
+export type { RecoveredParseResult } from "./parser_recovery";
+export { TypeChecker } from "./typechecker";
+export type { TypeError } from "./typechecker";
+export { Lowering } from "./lowering";
+export { ConstraintSolver } from "./solver";
+export type { SolverResult } from "./solver";
+export { FullEmitter } from "./emit_full";
+export type { EmittedFile } from "./emitter";
+export { Verifier } from "./verifier";
+export type { VerifyResult, VerifyIssue } from "./verifier";
+export { optimize } from "./optimizer";
+export type { OptimizationResult } from "./optimizer";
+export { ModuleLoader } from "./module_loader";
+export type { LoadResult } from "./module_loader";
+export { Formatter } from "./formatter";
+export { scaffold } from "./scaffold";
+export type { ScaffoldDomain } from "./scaffold";
+export * as AST from "./ast";
+export * as IR from "./ir";
+export { lookupAlgorithm, listAlgorithms, listByCategory } from "./algorithm_catalog";
+export { mergeWithExisting, extractImplementations, validateExtensions } from "./extension_manager";
+/**
+ * Convenience function: compile a .bone source string to files.
+ */
+export declare function compile(source: string, sourceFile?: string): Promise<{
+    files: {
+        path: string;
+        content: string;
+        language: string;
+        source_module: string;
+    }[];
+    errors: string[];
+    warnings: string[];
+}>;