bonescript-compiler 0.5.3 → 0.5.5

package/dist/lowering_entities.js

@@ -1,232 +0,0 @@
-"use strict";
-/**
- * BoneScript Entity Lowering
- * Converts EntityDecl + CapabilityDecl AST nodes into IR api_service modules.
- * Also handles field lowering and CRUD method generation.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.lowerEntity = exports.lowerCapability = exports.makeCrudMethod = exports.lowerField = void 0;
-const lowering_helpers_1 = require("./lowering_helpers");
-// ─── Field Lowering ───────────────────────────────────────────────────────────
-function lowerField(f) {
-    const type = (0, lowering_helpers_1.serializeType)(f.type);
-    // defaultValue is an ExprNode | null — serialize it to a string if present
-    const defaultValue = f.defaultValue ? (0, lowering_helpers_1.serializeExpr)(f.defaultValue) : null;
-    return {
-        name: f.name,
-        type,
-        nullable: false,
-        unique: false,
-        indexed: false,
-        default_value: defaultValue,
-    };
-}
-exports.lowerField = lowerField;
-// ─── CRUD Method Generation ───────────────────────────────────────────────────
-function makeCrudMethod(op, entityName, fields) {
-    const input = op === "create" || op === "update"
-        ? fields.filter(f => f.name !== "id" && f.name !== "created_at" && f.name !== "updated_at")
-        : op === "list"
-            ? [
-                { name: "page", type: "uint", nullable: true, unique: false, indexed: false, default_value: "1" },
-                { name: "page_size", type: "uint", nullable: true, unique: false, indexed: false, default_value: "50" },
-            ]
-            : [{ name: "id", type: "uuid", nullable: false, unique: true, indexed: true, default_value: null }];
-    return {
-        name: op,
-        input,
-        output: op === "list" ? `list<${entityName}>` : op === "delete" ? "bool" : entityName,
-        preconditions: [],
-        effects: [],
-        emissions: [],
-        idempotent: op === "read" || op === "list",
-        authenticated: true,
-        timeout_ms: 30000,
-        retry: null,
-        pipeline: null,
-        algorithm: null,
-        sync: null,
-    };
-}
-exports.makeCrudMethod = makeCrudMethod;
-// ─── Capability Lowering ──────────────────────────────────────────────────────
-function lowerCapability(cap) {
-    const input = cap.params.map(p => ({
-        name: p.name,
-        type: (0, lowering_helpers_1.serializeType)(p.type),
-        nullable: false,
-        unique: false,
-        indexed: false,
-        default_value: null,
-    }));
-    const preconditions = cap.requires.map(r => ({
-        expression: (0, lowering_helpers_1.serializeExpr)(r),
-        description: (0, lowering_helpers_1.serializeExpr)(r),
-    }));
-    const effects = cap.effects.map(e => ({
-        target: e.target.path.join("."),
-        op: e.op === "=" ? "assign" : e.op === "+=" ? "add" : "remove",
-        value: (0, lowering_helpers_1.serializeExpr)(e.value),
-    }));
-    let pipeline = null;
-    if (cap.pipeline) {
-        pipeline = {
-            parallel: cap.pipeline.parallel,
-            steps: cap.pipeline.steps.map(step => ({
-                call_name: step.call.name,
-                call_args: step.call.args.map(a => (0, lowering_helpers_1.serializeExpr)(a)),
-                bind_as: step.bindAs,
-            })),
-            on_error: cap.pipeline.onError ? {
-                action: cap.pipeline.onError.action,
-                call_name: cap.pipeline.onError.call?.name || null,
-                call_args: cap.pipeline.onError.call?.args.map(a => (0, lowering_helpers_1.serializeExpr)(a)) || [],
-            } : null,
-        };
-    }
-    let algorithm = null;
-    if (cap.algorithm) {
-        algorithm = {
-            catalog_name: cap.algorithm.name,
-            bindings: cap.algorithm.using.map(b => ({
-                param: b.param,
-                value: (0, lowering_helpers_1.serializeExpr)(b.value),
-            })),
-        };
-    }
-    return {
-        name: cap.name,
-        input,
-        output: cap.returns ? (0, lowering_helpers_1.serializeType)(cap.returns) : "result<void, error>",
-        preconditions,
-        effects,
-        emissions: cap.emits.map(e => e.eventName),
-        idempotent: cap.idempotent || false,
-        authenticated: true,
-        timeout_ms: (0, lowering_helpers_1.parseDurationMs)(cap.timeout) || 30000,
-        retry: cap.retry ? {
-            max_attempts: cap.retry.maxAttempts || 3,
-            backoff: cap.retry.backoff || "exponential",
-            interval_ms: (0, lowering_helpers_1.parseDurationMs)(cap.retry.interval) || 1000,
-        } : null,
-        pipeline,
-        algorithm,
-        sync: cap.sync,
-    };
-}
-exports.lowerCapability = lowerCapability;
-// ─── Entity Lowering ──────────────────────────────────────────────────────────
-function lowerEntity(systemName, entity, capabilities, stores) {
-    const moduleId = (0, lowering_helpers_1.makeId)(systemName, "api_service", `${entity.name}Service`);
-    // Ontology-entailed fields + declared fields
-    const fields = [
-        { name: "id", type: "uuid", nullable: false, unique: true, indexed: true, default_value: "gen_random_uuid()" },
-        { name: "created_at", type: "timestamp", nullable: false, unique: false, indexed: true, default_value: "now()" },
-        { name: "updated_at", type: "timestamp", nullable: false, unique: false, indexed: false, default_value: "now()" },
-        ...entity.owns.map(lowerField),
-    ];
-    const derivedFields = entity.derived.map(d => ({
-        name: d.name,
-        type: "json",
-        nullable: true,
-        unique: false,
-        indexed: false,
-        default_value: `GENERATED ALWAYS AS (${(0, lowering_helpers_1.serializeExpr)(d.expr)}) STORED`,
-    }));
-    const indexes = entity.indexes.map(idx => ({ fields: idx, unique: false }));
-    const modelConstraints = [];
-    for (const c of entity.constraints) {
-        const serialized = (0, lowering_helpers_1.serializeExpr)(c);
-        if (c.kind === "FieldRef" && c.path[c.path.length - 1] === "unique") {
-            const field = c.path.slice(0, -1).join(".");
-            modelConstraints.push({ kind: "unique", target: field, params: {} });
-            indexes.push({ fields: [field], unique: true });
-        }
-        else {
-            modelConstraints.push({ kind: "check", target: entity.name, params: { expression: serialized } });
-        }
-    }
-    const model = {
-        name: entity.name,
-        fields: [...fields, ...derivedFields],
-        primary_key: "id",
-        indexes,
-        constraints: modelConstraints,
-    };
-    // State machine
-    const stateMachines = [];
-    if (entity.states) {
-        const states = entity.states.nodes.map(n => n.name);
-        const transitions = [];
-        for (const node of entity.states.nodes) {
-            for (const target of node.transitions) {
-                transitions.push({ from: node.name, to: target, trigger: `${node.name}_to_${target}`, guard: null });
-            }
-            for (const target of node.branches) {
-                transitions.push({ from: node.name, to: target, trigger: `${node.name}_to_${target}`, guard: null });
-            }
-        }
-        stateMachines.push({ entity: entity.name, states, initial: states[0], transitions });
-    }
-    // Methods: CRUD + capabilities
-    const methods = [
-        makeCrudMethod("create", entity.name, fields),
-        makeCrudMethod("read", entity.name, fields),
-        makeCrudMethod("update", entity.name, fields),
-        makeCrudMethod("delete", entity.name, fields),
-        makeCrudMethod("list", entity.name, fields),
-        ...capabilities.map(lowerCapability),
-    ];
-    // Relations
-    const relations = entity.relations.map(rel => {
-        const fromTable = (0, lowering_helpers_1.toSnakeCase)(entity.name) + "s";
-        const toTable = (0, lowering_helpers_1.toSnakeCase)(rel.target) + "s";
-        let foreignKey;
-        let junctionTable;
-        switch (rel.relationType) {
-            case "belongs_to":
-                foreignKey = (0, lowering_helpers_1.toSnakeCase)(rel.target) + "_id";
-                break;
-            case "has_one":
-            case "has_many":
-                foreignKey = (0, lowering_helpers_1.toSnakeCase)(entity.name) + "_id";
-                break;
-            case "many_to_many":
-                foreignKey = (0, lowering_helpers_1.toSnakeCase)(entity.name) + "_id";
-                junctionTable = [fromTable, toTable].sort().join("_");
-                break;
-            default:
-                foreignKey = (0, lowering_helpers_1.toSnakeCase)(rel.target) + "_id";
-        }
-        return {
-            name: rel.name,
-            kind: rel.relationType,
-            from_entity: entity.name,
-            to_entity: rel.target,
-            from_table: fromTable,
-            to_table: toTable,
-            foreign_key: foreignKey,
-            junction_table: junctionTable,
-            cardinality: rel.cardinality ?? undefined,
-        };
-    });
-    const relatedStore = stores.find(s => s.name.toLowerCase().includes(entity.name.toLowerCase()));
-    const deps = relatedStore ? [(0, lowering_helpers_1.makeId)(systemName, "data_store", relatedStore.name)] : [];
-    return {
-        id: moduleId,
-        kind: "api_service",
-        name: `${entity.name}Service`,
-        interfaces: [{ name: `I${entity.name}Service`, methods }],
-        models: [model],
-        events: [],
-        state_machines: stateMachines,
-        relations,
-        dependencies: deps,
-        config: {
-            authenticated: entity.auth !== null && entity.auth !== "none",
-            auth_method: entity.auth || "none",
-        },
-    };
-}
-exports.lowerEntity = lowerEntity;
-//# sourceMappingURL=lowering_entities.js.map

package/dist/lowering_entities.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"lowering_entities.js","sourceRoot":"","sources":["../src/lowering_entities.ts"],"names":[],"mappings":";AAAA;;;;GAIG;;;AAIH,yDAAwG;AAExG,iFAAiF;AAEjF,SAAgB,UAAU,CAAC,CAAgB;IACzC,MAAM,IAAI,GAAG,IAAA,gCAAa,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnC,2EAA2E;IAC3E,MAAM,YAAY,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAA,gCAAa,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3E,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI;QACJ,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,KAAK;QACb,OAAO,EAAE,KAAK;QACd,aAAa,EAAE,YAAY;KAC5B,CAAC;AACJ,CAAC;AAZD,gCAYC;AAED,iFAAiF;AAEjF,SAAgB,cAAc,CAAC,EAAU,EAAE,UAAkB,EAAE,MAAoB;IACjF,MAAM,KAAK,GACT,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,QAAQ;QAChC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;QAC3F,CAAC,CAAC,EAAE,KAAK,MAAM;YACb,CAAC,CAAC;gBACE,EAAE,IAAI,EAAE,MAAM,EAAO,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE;gBACtG,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE;aACxG;YACH,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAE1G,OAAO;QACL,IAAI,EAAE,EAAE;QACR,KAAK;QACL,MAAM,EAAE,EAAE,KAAK,MAAM,CAAC,CAAC,CAAC,QAAQ,UAAU,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU;QACrF,aAAa,EAAE,EAAE;QACjB,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,EAAE;QACb,UAAU,EAAE,EAAE,KAAK,MAAM,IAAI,EAAE,KAAK,MAAM;QAC1C,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,KAAK;QACjB,KAAK,EAAE,IAAI;QACX,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,IAAI;KACX,CAAC;AACJ,CAAC;AA1BD,wCA0BC;AAED,iFAAiF;AAEjF,SAAgB,eAAe,CAAC,GAA2B;IACzD,MAAM,KAAK,GAAiB,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,IAAA,gCAAa,EAAC,CAAC,CAAC,IAAI,CAAC;QAC3B,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,KAAK;QACb,OAAO,EAAE,KAAK;QACd,aAAa,EAAE,IAAI;KACpB,CAAC,CAAC,CAAC;IAEJ,MAAM,aAAa,GAAwB,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAChE,UAAU,EAAE,IAAA,gCAAa,EAAC,CAAC,CAAC;QAC5B,WAAW,EAAE,IAAA,gCAAa,EAAC,CAAC,CAAC;KAC9B,CAAC,CAAC,CAAC;IAEJ,MAAM,OAAO,GAAkB,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC/B,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,QAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,KAAc,CAAC,CAAC,CAAC,QAAiB;QACzF,KAAK,EAAE,IAAA,gCAAa,EAAC,CAAC,CAAC,KAAK,CAAC;KAC9B,CAAC,CAAC,CAAC;IAEJ,IAAI,QAAQ,GAAyB,IAAI,CAAC;IAC1C,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjB,QAAQ,GAAG;YACT,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ;YAC/B,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;gBACzB,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,gCAAa,EAAC,CAAC,CAAC,CAAC;gBACpD,OAAO,EAAE,IAAI,CAAC,MAAM;aACrB,CAAC,CAAC;YACH,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC/B,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM;gBACnC,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,IAAI,IAAI;gBAClD,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,gCAAa,EAAC,CAAC,CAAC,CAAC,IAAI,EAAE;aAC5E,CAAC,CAAC,CAAC,IAAI;SACT,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,GAA0B,IAAI,CAAC;IAC5C,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAClB,SAAS,GAAG;YACV,YAAY,EAAE,GAAG,CAAC,SAAS,CAAC,IAAI;YAChC,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACtC,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,KAAK,EAAE,IAAA,gCAAa,EAAC,CAAC,CAAC,KAAK,CAAC;aAC9B,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,KAAK;QACL,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAA,gCAAa,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,qBAAqB;QACxE,aAAa;QACb,OAAO;QACP,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1C,UAAU,EAAE,GAAG,CAAC,UAAU,IAAI,KAAK;QACnC,aAAa,EAAE,IAAI;QACnB,UAAU,EAAE,IAAA,kCAAe,EAAC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK;QACjD,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACjB,YAAY,EAAE,GAAG,CAAC,KAAK,CAAC,WAAW,IAAI,CAAC;YACxC,OAAO,EAAG,GAAG,CAAC,KAAK,CAAC,OAAuC,IAAI,aAAa;YAC5E,WAAW,EAAE,IAAA,kCAAe,EAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,IAAI;SACzD,CAAC,CAAC,CAAC,IAAI;QACR,QAAQ;QACR,SAAS;QACT,IAAI,EAAE,GAAG,CAAC,IAAI;KACf,CAAC;AACJ,CAAC;AApED,0CAoEC;AAED,iFAAiF;AAEjF,SAAgB,WAAW,CACzB,UAAkB,EAClB,MAA0B,EAC1B,YAAsC,EACtC,MAA2B;IAE3B,MAAM,QAAQ,GAAG,IAAA,yBAAM,EAAC,UAAU,EAAE,aAAa,EAAE,GAAG,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC;IAE5E,6CAA6C;IAC7C,MAAM,MAAM,GAAiB;QAC3B,EAAE,IAAI,EAAE,IAAI,EAAU,IAAI,EAAE,MAAM,EAAO,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAG,OAAO,EAAE,IAAI,EAAG,aAAa,EAAE,mBAAmB,EAAE;QAC7H,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAG,aAAa,EAAE,OAAO,EAAE;QACjH,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE;QACjH,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC;KAC/B,CAAC;IAEF,MAAM,aAAa,GAAiB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3D,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,KAAK;QACb,OAAO,EAAE,KAAK;QACd,aAAa,EAAE,wBAAwB,IAAA,gCAAa,EAAC,CAAC,CAAC,IAAI,CAAC,UAAU;KACvE,CAAC,CAAC,CAAC;IAEJ,MAAM,OAAO,GAAiB,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAE1F,MAAM,gBAAgB,GAA2B,EAAE,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,IAAA,gCAAa,EAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;YACpE,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5C,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;YACrE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,gBAAgB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC;QACpG,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAe;QACxB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,aAAa,CAAC;QACrC,WAAW,EAAE,IAAI;QACjB,OAAO;QACP,WAAW,EAAE,gBAAgB;KAC9B,CAAC;IAEF,gBAAgB;IAChB,MAAM,aAAa,GAAwB,EAAE,CAAC;IAC9C,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,WAAW,GAAsB,EAAE,CAAC;QAC1C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YACvC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACtC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,OAAO,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACvG,CAAC;YACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACnC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,OAAO,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACvG,CAAC;QACH,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC;IACvF,CAAC;IAED,+BAA+B;IAC/B,MAAM,OAAO,GAAkB;QAC7B,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QAC7C,cAAc,CAAC,MAAM,EAAI,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QAC7C,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QAC7C,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QAC7C,cAAc,CAAC,MAAM,EAAI,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC;QAC7C,GAAG,YAAY,CAAC,GAAG,CAAC,eAAe,CAAC;KACrC,CAAC;IAEF,YAAY;IACZ,MAAM,SAAS,GAAoB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QAC5D,MAAM,SAAS,GAAG,IAAA,8BAAW,EAAC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;QACjD,MAAM,OAAO,GAAK,IAAA,8BAAW,EAAC,GAAG,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC;QAChD,IAAI,UAAkB,CAAC;QACvB,IAAI,aAAiC,CAAC;QAEtC,QAAQ,GAAG,CAAC,YAAY,EAAE,CAAC;YACzB,KAAK,YAAY;gBACf,UAAU,GAAG,IAAA,8BAAW,EAAC,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;gBAC7C,MAAM;YACR,KAAK,SAAS,CAAC;YACf,KAAK,UAAU;gBACb,UAAU,GAAG,IAAA,8BAAW,EAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;gBAC9C,MAAM;YACR,KAAK,cAAc;gBACjB,UAAU,GAAG,IAAA,8BAAW,EAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;gBAC9C,aAAa,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACtD,MAAM;YACR;gBACE,UAAU,GAAG,IAAA,8BAAW,EAAC,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;QACjD,CAAC;QAED,OAAO;YACL,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,IAAI,EAAE,GAAG,CAAC,YAAY;YACtB,WAAW,EAAE,MAAM,CAAC,IAAI;YACxB,SAAS,EAAE,GAAG,CAAC,MAAM;YACrB,UAAU,EAAE,SAAS;YACrB,QAAQ,EAAE,OAAO;YACjB,WAAW,EAAE,UAAU;YACvB,cAAc,EAAE,aAAa;YAC7B,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,SAAS;SAC1C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,IAAA,yBAAM,EAAC,UAAU,EAAE,YAAY,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAEvF,OAAO;QACL,EAAE,EAAE,QAAQ;QACZ,IAAI,EAAE,aAAa;QACnB,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,SAAS;QAC7B,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,IAAI,SAAS,EAAE,OAAO,EAAE,CAAC;QACzD,MAAM,EAAE,CAAC,KAAK,CAAC;QACf,MAAM,EAAE,EAAE;QACV,cAAc,EAAE,aAAa;QAC7B,SAAS;QACT,YAAY,EAAE,IAAI;QAClB,MAAM,EAAE;YACN,aAAa,EAAE,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YAC7D,WAAW,EAAE,MAAM,CAAC,IAAI,IAAI,MAAM;SACnC;KACF,CAAC;AACJ,CAAC;AA/HD,kCA+HC"}

package/dist/lowering_helpers.d.ts

@@ -1,13 +0,0 @@
-/**
- * BoneScript Lowering Helpers
- * Shared utilities used across all lowering phases:
- *   - Deterministic ID generation
- *   - Duration string parsing
- *   - AST type/expression serialization
- */
-import * as AST from "./ast";
-export declare function makeId(systemName: string, kind: string, name: string): string;
-export declare function parseDurationMs(dur: string | null): number | null;
-export declare function serializeType(t: AST.TypeExprNode): string;
-export declare function serializeExpr(e: AST.ExprNode): string;
-export declare function toSnakeCase(s: string): string;

package/dist/lowering_helpers.js

@@ -1,76 +0,0 @@
-"use strict";
-/**
- * BoneScript Lowering Helpers
- * Shared utilities used across all lowering phases:
- *   - Deterministic ID generation
- *   - Duration string parsing
- *   - AST type/expression serialization
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.toSnakeCase = exports.serializeExpr = exports.serializeType = exports.parseDurationMs = exports.makeId = void 0;
-const crypto_1 = require("crypto");
-// ─── Deterministic ID Generation ─────────────────────────────────────────────
-function makeId(systemName, kind, name) {
-    return (0, crypto_1.createHash)("sha256")
-        .update(`${systemName}.${kind}.${name}`)
-        .digest("hex")
-        .slice(0, 16);
-}
-exports.makeId = makeId;
-// ─── Duration Parsing ─────────────────────────────────────────────────────────
-function parseDurationMs(dur) {
-    if (!dur)
-        return null;
-    const match = dur.match(/^(\d+)(ms|s|m|h|d)$/);
-    if (!match)
-        return null;
-    const value = parseInt(match[1], 10);
-    switch (match[2]) {
-        case "ms": return value;
-        case "s": return value * 1000;
-        case "m": return value * 60000;
-        case "h": return value * 3600000;
-        case "d": return value * 86400000;
-        default: return null;
-    }
-}
-exports.parseDurationMs = parseDurationMs;
-// ─── Type Expression Serialization ───────────────────────────────────────────
-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(" | ");
-    }
-}
-exports.serializeType = serializeType;
-// ─── Expression Serialization ─────────────────────────────────────────────────
-function serializeExpr(e) {
-    switch (e.kind) {
-        case "Literal":
-            if (e.type === "string")
-                return `"${e.value}"`;
-            if (e.type === "list")
-                return `[${e.value.map(serializeExpr).join(", ")}]`;
-            return String(e.value);
-        case "FieldRef":
-            return e.path.join(".");
-        case "BinaryExpr":
-            return `(${serializeExpr(e.left)} ${e.op} ${serializeExpr(e.right)})`;
-        case "UnaryExpr":
-            return `(${e.op} ${serializeExpr(e.operand)})`;
-        case "CallExpr":
-            return `${e.name}(${e.args.map(serializeExpr).join(", ")})`;
-        case "TernaryExpr":
-            return `(${serializeExpr(e.condition)} ? ${serializeExpr(e.consequent)} : ${serializeExpr(e.alternate)})`;
-    }
-}
-exports.serializeExpr = serializeExpr;
-// ─── Shared snake_case helper ─────────────────────────────────────────────────
-function toSnakeCase(s) {
-    return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
-}
-exports.toSnakeCase = toSnakeCase;
-//# sourceMappingURL=lowering_helpers.js.map

package/dist/lowering_helpers.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"lowering_helpers.js","sourceRoot":"","sources":["../src/lowering_helpers.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AAEH,mCAAoC;AAGpC,gFAAgF;AAEhF,SAAgB,MAAM,CAAC,UAAkB,EAAE,IAAY,EAAE,IAAY;IACnE,OAAO,IAAA,mBAAU,EAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,GAAG,UAAU,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;SACvC,MAAM,CAAC,KAAK,CAAC;SACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAClB,CAAC;AALD,wBAKC;AAED,iFAAiF;AAEjF,SAAgB,eAAe,CAAC,GAAkB;IAChD,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrC,QAAQ,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACjB,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC;QACxB,KAAK,GAAG,CAAC,CAAE,OAAO,KAAK,GAAG,IAAK,CAAC;QAChC,KAAK,GAAG,CAAC,CAAE,OAAO,KAAK,GAAG,KAAM,CAAC;QACjC,KAAK,GAAG,CAAC,CAAE,OAAO,KAAK,GAAG,OAAS,CAAC;QACpC,KAAK,GAAG,CAAC,CAAE,OAAO,KAAK,GAAG,QAAU,CAAC;QACrC,OAAO,CAAC,CAAG,OAAO,IAAI,CAAC;IACzB,CAAC;AACH,CAAC;AAbD,0CAaC;AAED,gFAAgF;AAEhF,SAAgB,aAAa,CAAC,CAAmB;IAC/C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,eAAe,CAAC,CAAE,OAAO,CAAC,CAAC,IAAI,CAAC;QACrC,KAAK,aAAa,CAAC,CAAI,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACvF,KAAK,eAAe,CAAC,CAAE,OAAO,CAAC,CAAC,IAAI,CAAC;QACrC,KAAK,WAAW,CAAC,CAAM,OAAO,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9E,KAAK,WAAW,CAAC,CAAM,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AARD,sCAQC;AAED,iFAAiF;AAEjF,SAAgB,aAAa,CAAC,CAAe;IAC3C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,SAAS;YACZ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC;YAC/C,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;gBAAI,OAAO,IAAK,CAAC,CAAC,KAAwB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YACjG,OAAO,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACzB,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,KAAK,YAAY;YACf,OAAO,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACxE,KAAK,WAAW;YACd,OAAO,IAAI,CAAC,CAAC,EAAE,IAAI,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC;QACjD,KAAK,UAAU;YACb,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAC9D,KAAK,aAAa;YAChB,OAAO,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;IAC9G,CAAC;AACH,CAAC;AAjBD,sCAiBC;AAED,iFAAiF;AAEjF,SAAgB,WAAW,CAAC,CAAS;IACnC,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;AAC7D,CAAC;AAFD,kCAEC"}

package/src/commands/check.ts

@@ -1,33 +0,0 @@
-/**
- * bonec check <file>
- * Lex + parse + type check without code generation.
- */
-
-import { Lexer } from "../lexer";
-import { RecoveringParser } from "../parser_recovery";
-import { TypeChecker } from "../typechecker";
-
-export function runCheck(source: string): void {
-  const tokens = new Lexer(source).tokenize();
-  const result = new RecoveringParser(tokens).parse();
-  let totalErrors = 0;
-
-  for (const e of result.errors) {
-    console.error(`  parse: ${e.message}`);
-    totalErrors++;
-  }
-
-  if (result.ast) {
-    for (const err of new TypeChecker().check(result.ast)) {
-      console.error(`  type:  ${err.code} at ${err.loc.line}:${err.loc.column}: ${err.message}`);
-      totalErrors++;
-    }
-  }
-
-  if (totalErrors === 0) {
-    console.log("v Check passed (0 errors)");
-  } else {
-    console.log(`x ${totalErrors} error(s) found.`);
-    process.exit(1);
-  }
-}

package/src/commands/compile.ts

@@ -1,191 +0,0 @@
-/**
- * bonec compile <file>
- * Full 7-stage compilation pipeline → runnable project.
- */
-
-import * as fs from "fs";
-import * as path from "path";
-import { createHash } from "crypto";
-import { Lexer } from "../lexer";
-import { TypeChecker } from "../typechecker";
-import { Lowering } from "../lowering";
-import { ConstraintSolver } from "../solver";
-import { FullEmitter } from "../emit_full";
-import { Verifier } from "../verifier";
-import { ModuleLoader } from "../module_loader";
-import { mergeWithExisting } from "../extension_manager";
-import { optimize } from "../optimizer";
-
-export async function runCompile(source: string, resolved: string): Promise<void> {
-  try {
-    const tokens = new Lexer(source).tokenize();
-    console.log(`  [1/7] Lexed: ${tokens.length} tokens`);
-
-    const loader = new ModuleLoader();
-    const loadResult = await loader.load(resolved);
-
-    if (loadResult.errors.length > 0) {
-      console.log(`  [2/7] Parse: ${loadResult.errors.length} error(s)`);
-      for (const e of loadResult.errors.slice(0, 10)) {
-        console.log(`         ${path.basename(e.file)}: ${e.error.message}`);
-      }
-      if (!loadResult.ast) process.exit(1);
-    } else {
-      const sysCount = loadResult.ast?.systems.length || 0;
-      console.log(`  [2/7] Parsed: ${sysCount} system(s) from ${loadResult.loadedFiles.length} file(s)`);
-    }
-
-    const ast = loadResult.ast!;
-
-    for (const sys of ast.systems) {
-      console.log(`         System '${sys.name}':`);
-      const counts: Record<string, number> = {};
-      for (const d of sys.declarations) counts[d.kind] = (counts[d.kind] || 0) + 1;
-      for (const [kind, count] of Object.entries(counts)) {
-        console.log(`           ${kind}: ${count}`);
-      }
-    }
-
-    // Stage 3: Type Check
-    const typeErrors = new TypeChecker().check(ast);
-    if (typeErrors.length > 0) {
-      console.log(`  [3/7] Type check: ${typeErrors.length} error(s)`);
-      for (const err of typeErrors) {
-        console.log(`         ${err.code} at ${err.loc.line}:${err.loc.column}: ${err.message}`);
-      }
-      process.exit(1);
-    } else {
-      console.log(`  [3/7] Type check: v (0 errors)`);
-    }
-
-    // Stage 4: Lower to IR
-    const sourceHash = createHash("sha256").update(source).digest("hex").slice(0, 16);
-    const irSystems = new Lowering().lower(ast, sourceHash);
-    const totalModules = irSystems.reduce((sum, s) => sum + s.modules.length, 0);
-    const totalEvents  = irSystems.reduce((sum, s) => sum + s.events.length, 0);
-    const totalFlows   = irSystems.reduce((sum, s) => sum + s.flows.length, 0);
-    console.log(`  [4/7] Lower to IR: ${totalModules} modules, ${totalEvents} events, ${totalFlows} flows`);
-    for (const sys of irSystems) {
-      for (const mod of sys.modules) {
-        const methodCount = mod.interfaces.reduce((s, i) => s + i.methods.length, 0);
-        console.log(`         ${mod.kind.padEnd(16)} ${mod.name.padEnd(24)} (${methodCount} methods, ${mod.models.length} models)`);
-      }
-    }
-
-    // Stage 4.5: IR Optimization
-    for (let i = 0; i < irSystems.length; i++) {
-      const result = optimize(irSystems[i]);
-      irSystems[i] = result.system;
-      if (result.log.length > 0) {
-        console.log(`  [4.5] IR optimize: ${result.modulesRemoved} modules removed, ${result.eventsDeduped} events deduped, ${result.depsRemoved} deps minimized`);
-      }
-    }
-
-    // Stage 5: Constraint Solve
-    const solver = new ConstraintSolver();
-    let totalResolved = 0;
-    let solverFailed = false;
-    for (const sys of irSystems) {
-      const result = solver.solve(sys);
-      sys.resolution = result.resolution;
-      totalResolved += Object.keys(result.resolution).length;
-      if (result.errors.length > 0) {
-        solverFailed = true;
-        console.log(`  [5/7] Constraint solve: ${result.errors.length} error(s)`);
-        for (const err of result.errors) console.log(`         x ${err}`);
-      } else {
-        console.log(`  [5/7] Constraint solve: v (${totalResolved} resolved, ${result.assumptions.length} assumptions)`);
-        for (const a of result.assumptions.slice(0, 5)) console.log(`         ${a}`);
-        if (result.assumptions.length > 5) console.log(`         ... and ${result.assumptions.length - 5} more`);
-      }
-
-      // Back-propagate resolved values into module configs so emitters pick them up.
-      // The solver resolves keys like "APIGateway.rate_limit" → write back to mod.config.
-      for (const mod of sys.modules) {
-        for (const [key, value] of Object.entries(result.resolution)) {
-          const prefix = `${mod.name}.`;
-          if (key.startsWith(prefix)) {
-            const prop = key.slice(prefix.length);
-            // Only overwrite if the module config doesn't already have an explicit value
-            if (mod.config[prop] === undefined || mod.config[prop] === null) {
-              const numVal = Number(value);
-              mod.config[prop] = isNaN(numVal) ? value : numVal;
-            }
-          }
-        }
-      }
-    }
-    if (solverFailed) process.exit(1);
-
-    // Stage 6: Code Emit
-    const emitter = new FullEmitter();
-    const allFiles: ReturnType<typeof emitter.emit> = [];
-    for (const sys of irSystems) allFiles.push(...emitter.emit(sys));
-    console.log(`  [6/7] Code emit: ${allFiles.length} files generated`);
-    const byLang: Record<string, number> = {};
-    for (const f of allFiles) byLang[f.language] = (byLang[f.language] || 0) + 1;
-    for (const [lang, count] of Object.entries(byLang)) {
-      console.log(`         ${lang}: ${count} file(s)`);
-    }
-
-    // Stage 7: Verify — check ALL systems, not just the first
-    let verifyFailed = false;
-    let totalVerifyErrors = 0;
-    let totalVerifyWarnings = 0;
-    for (const sys of irSystems) {
-      const verifyResult = new Verifier().verify(sys, allFiles);
-      const errCount  = verifyResult.issues.filter(i => i.severity === "error").length;
-      const warnCount = verifyResult.issues.filter(i => i.severity === "warning").length;
-      totalVerifyErrors   += errCount;
-      totalVerifyWarnings += warnCount;
-      if (!verifyResult.passed) verifyFailed = true;
-      for (const issue of verifyResult.issues.slice(0, 10)) {
-        console.log(`         ${issue.severity === "error" ? "x" : "!"} ${issue.code}: ${issue.message}`);
-      }
-    }
-    if (verifyFailed) {
-      console.log(`  [7/7] Verify: FAILED (${totalVerifyErrors} errors, ${totalVerifyWarnings} warnings)`);
-    } else {
-      console.log(`  [7/7] Verify: v (${allFiles.length} files, ${totalVerifyWarnings} warnings)`);
-    }
-
-    // Abort before writing output if verification failed
-    if (verifyFailed) process.exit(1);
-
-    // Write output — all writes in parallel per directory
-    const outputDir = path.resolve(path.dirname(resolved), "output");
-    const allExtensions = irSystems.flatMap(s => s.extension_points || []);
-    const extensionErrors: string[] = [];
-
-    // Collect unique directories and create them all first
-    const dirs = new Set(allFiles.map(f => path.dirname(path.join(outputDir, f.path))));
-    await Promise.all([...dirs].map(dir => fs.promises.mkdir(dir, { recursive: true })));
-
-    // Write all files (extensions.ts merged, rest written directly)
-    await Promise.all(allFiles.map(async f => {
-      const outPath = path.join(outputDir, f.path);
-
-      if (f.path === "src/extensions.ts" && allExtensions.length > 0) {
-        const astExtensions = ast.systems.flatMap(s =>
-          s.declarations.filter((d): d is any => d.kind === "ExtensionPointDecl")
-        );
-        const { content, validationErrors } = await mergeWithExisting(f.content, outPath, astExtensions);
-        for (const e of validationErrors) extensionErrors.push(e.message);
-        await fs.promises.writeFile(outPath, content, "utf-8");
-      } else {
-        await fs.promises.writeFile(outPath, f.content, "utf-8");
-      }
-    }));
-
-    if (extensionErrors.length > 0) {
-      console.log(`\n  Extension point errors:`);
-      for (const e of extensionErrors) console.log(`    x ${e}`);
-      process.exit(1);
-    }
-
-    console.log(`\nv Compilation complete. ${allFiles.length} files written to output/`);
-  } catch (e: any) {
-    console.error(`x ${e.message}`);
-    process.exit(1);
-  }
-}

package/src/commands/debug.ts

@@ -1,33 +0,0 @@
-/**
- * bonec debug <file>
- * Generate source maps (.bone.map) for runtime error annotation.
- */
-
-import * as fs from "fs";
-import * as path from "path";
-import { createHash } from "crypto";
-import { Lexer } from "../lexer";
-import { Parser } from "../parser";
-import { Lowering } from "../lowering";
-import { emitSourceMapFile } from "../emit_sourcemap";
-
-export async function runDebug(source: string, resolved: string): Promise<void> {
-  try {
-    const tokens = new Lexer(source).tokenize();
-    const ast = new Parser(tokens).parse();
-    const sourceHash = createHash("sha256").update(source).digest("hex").slice(0, 16);
-    const irSystems = new Lowering().lower(ast, sourceHash);
-
-    await Promise.all(irSystems.map(async sys => {
-      const mapContent = emitSourceMapFile(sys, path.basename(resolved));
-      const mapPath = path.join(path.dirname(resolved), `${sys.name}.bone.map`);
-      await fs.promises.writeFile(mapPath, mapContent, "utf-8");
-      console.log(`v Source map written: ${mapPath}`);
-      console.log(`  ${sys.modules.length} modules mapped`);
-      console.log(`  Use output/src/debug.ts to get annotated runtime errors`);
-    }));
-  } catch (e: any) {
-    console.error(`x ${e.message}`);
-    process.exit(1);
-  }
-}