ramosedb 0.0.1 → 0.4.0

package/dist/mcp/kernel.js

@@ -0,0 +1,344 @@
+import { fieldKey } from "../internal/authorization/validation/common.js";
+import { operationGrantAllows, principalValuesEqual, projectPrincipalTerm, } from "../internal/authorization/operation-grant.js";
+import { runOneShotRead } from "../internal/authorization/reads.js";
+import { QueryBudgetError } from "../internal/core/query/engine.js";
+import { Index, ValueTag } from "../internal/core/datom.js";
+import { toJson } from "../internal/core/json.js";
+import { RAMOSE_TYPE_IDENT } from "../internal/core/schema.js";
+import { DEFAULT_QUERY_LIMIT, MAX_DESCRIBE_ITEMS, MAX_SELECT_FIELDS, encodeOperationVersionToken, McpToolFailure, toolFailure, } from "./contract.js";
+export const describeDatabase = async (context, caller) => {
+    const catalog = context.unit.catalog;
+    const typeAttribute = context.currentDb.attr(RAMOSE_TYPE_IDENT);
+    const entities = [];
+    let truncated = false;
+    for (const entity of catalog.entities) {
+        if (typeAttribute === undefined)
+            break;
+        const row = await context.filteredDb.first(Index.AVET, {
+            a: typeAttribute.id,
+            vt: ValueTag.Str,
+            v: `:${entity.id.name}`,
+        });
+        if (row === undefined)
+            continue;
+        if (entities.length >= MAX_DESCRIBE_ITEMS) {
+            truncated = true;
+            break;
+        }
+        entities.push(entity.id.name);
+    }
+    const operations = [];
+    for (const descriptor of catalog.operations) {
+        if (!operationGrantAllows(context.unit, descriptor, caller, context.principal.subject))
+            continue;
+        if (descriptor.id.target === "required")
+            continue;
+        if (operations.length >= MAX_DESCRIBE_ITEMS) {
+            truncated = true;
+            break;
+        }
+        operations.push(Object.freeze({
+            owner: Object.freeze({
+                kind: descriptor.id.owner.kind,
+                name: descriptor.id.owner.name,
+            }),
+            name: descriptor.id.localName,
+            version: encodeOperationVersionToken(descriptor.version),
+        }));
+    }
+    return Object.freeze({
+        entities: Object.freeze(entities.sort()),
+        operations: Object.freeze(operations),
+        truncated,
+    });
+};
+export const runEntityQueryDocument = async (context, caller, document, maxCells = 100_000) => {
+    const lowered = lowerQueryDocument(context, caller, document);
+    if (lowered === undefined)
+        return { rows: [], truncated: false };
+    const result = await runOneShotRead(context.filteredDb, {
+        kind: "query",
+        query: { ...lowered.query, find: [[["pull", "?e", [":db/id", ...lowered.fields.map((field) => field.ident)]], "..."]] },
+        inputs: lowered.inputs,
+    }, { maxCells: Math.min(maxCells, 100_000) });
+    const pulled = Array.isArray(result) ? result : [];
+    return {
+        rows: pulled.flatMap((row) => {
+            if (typeof row[":db/id"] !== "number")
+                return [];
+            const data = Object.fromEntries(lowered.fields.flatMap((field) => row[field.ident] === undefined
+                ? [] : [[field.name, toJson(row[field.ident])]]));
+            return Object.keys(data).length === 0 ? [] : [{ entity: row[":db/id"], data }];
+        }),
+        truncated: pulled.length >= lowered.limit,
+    };
+};
+const composedTraits = (catalog, entity) => {
+    const names = new Set();
+    for (const composition of catalog.traitComposition) {
+        if (composition.composer.name !== entity)
+            continue;
+        names.add(composition.trait.name);
+        for (const transitive of composition.transitive)
+            names.add(transitive.name);
+    }
+    return names;
+};
+const staticRuleTruth = (expr, caller, subject) => {
+    const project = (term) => projectPrincipalTerm(term, caller, subject);
+    switch (expr._tag) {
+        case "const":
+            return expr.value;
+        case "hasClass":
+            return caller.classes.includes(expr.class);
+        case "and": {
+            let unknown = false;
+            for (const part of expr.exprs) {
+                const truth = staticRuleTruth(part, caller, subject);
+                if (truth === false)
+                    return false;
+                if (truth === undefined)
+                    unknown = true;
+            }
+            return unknown ? undefined : true;
+        }
+        case "or": {
+            let unknown = false;
+            for (const part of expr.exprs) {
+                const truth = staticRuleTruth(part, caller, subject);
+                if (truth === true)
+                    return true;
+                if (truth === undefined)
+                    unknown = true;
+            }
+            return unknown ? undefined : false;
+        }
+        case "not": {
+            const truth = staticRuleTruth(expr.expr, caller, subject);
+            return truth === undefined ? undefined : !truth;
+        }
+        case "eq": {
+            const left = project(expr.left);
+            const right = project(expr.right);
+            if (left._tag === "invalid" || right._tag === "invalid")
+                return undefined;
+            return left._tag === "present" && right._tag === "present" &&
+                principalValuesEqual(left.value, right.value);
+        }
+        case "has": {
+            const term = project(expr.term);
+            return term._tag === "invalid" ? undefined : term._tag === "present";
+        }
+        case "in": {
+            const value = project(expr.value);
+            const collection = project(expr.collection);
+            if (value._tag === "invalid" || collection._tag === "invalid") {
+                return undefined;
+            }
+            return value._tag === "present" && collection._tag === "present" &&
+                Array.isArray(collection.value) &&
+                collection.value.some((item) => principalValuesEqual(value.value, item));
+        }
+    }
+};
+const decisionStaticallyDenies = (decision, rules, caller, subject) => {
+    for (const id of decision.deny) {
+        const rule = rules.get(id);
+        if (rule === undefined)
+            return true;
+        if (staticRuleTruth(rule.expr, caller, subject) === true)
+            return true;
+    }
+    for (const id of decision.allow) {
+        const rule = rules.get(id);
+        if (rule === undefined)
+            continue;
+        if (staticRuleTruth(rule.expr, caller, subject) !== false)
+            return false;
+    }
+    return true;
+};
+const staticallyHiddenEntity = (context, caller, entity) => {
+    const policy = context.unit.policy;
+    const decision = policy.decisions.entities.find((entry) => entry.target.name === entity)?.decision;
+    if (decision === undefined)
+        return true;
+    return decisionStaticallyDenies(decision, new Map(policy.rules.map((rule) => [rule.id, rule])), caller, context.principal.subject);
+};
+const staticallyHidden = (context, caller, field) => {
+    const policy = context.unit.policy;
+    const subject = context.principal.subject;
+    const rules = new Map(policy.rules.map((rule) => [rule.id, rule]));
+    if (field.id.owner.kind === "trait") {
+        const traitDecision = policy.decisions.traits.find((entry) => entry.target.name === field.id.owner.name)?.decision;
+        if (traitDecision === undefined)
+            return true;
+        if (decisionStaticallyDenies(traitDecision, rules, caller, subject))
+            return true;
+    }
+    const decision = policy.decisions.fields.find((entry) => fieldKey(entry.target) === fieldKey(field.id))?.decision;
+    if (decision === undefined)
+        return false;
+    return decisionStaticallyDenies(decision, rules, caller, subject);
+};
+const scalarFieldsOf = (context, caller, entity) => {
+    const catalog = context.unit.catalog;
+    const traits = composedTraits(catalog, entity);
+    const fields = new Map();
+    for (const field of catalog.fields) {
+        if (field.valueType === "ref")
+            continue;
+        const owner = field.id.owner;
+        const owned = owner.kind === "entity"
+            ? owner.name === entity
+            : traits.has(owner.name);
+        if (!owned)
+            continue;
+        const ident = `:${owner.name}/${field.id.localName}`;
+        if (context.currentDb.attr(ident) === undefined)
+            continue;
+        if (staticallyHidden(context, caller, field))
+            continue;
+        fields.set(field.id.localName, Object.freeze({
+            name: field.id.localName,
+            ident,
+        }));
+    }
+    return fields;
+};
+export const requireBoundedImplicitProjection = (visibleFields) => {
+    if (visibleFields > MAX_SELECT_FIELDS) {
+        throw toolFailure("invalid_query", `this entity exposes more than ${MAX_SELECT_FIELDS} readable fields; ` +
+            "name the ones you want with an explicit select");
+    }
+};
+export const lowerQueryDocument = (context, caller, document) => {
+    const entity = context.unit.catalog.entities.find((candidate) => candidate.id.name === document.from.entity);
+    if (entity === undefined ||
+        staticallyHiddenEntity(context, caller, entity.id.name))
+        return undefined;
+    const available = scalarFieldsOf(context, caller, entity.id.name);
+    if (document.select === undefined)
+        requireBoundedImplicitProjection(available.size);
+    const selected = document.select === undefined
+        ? [...available.values()]
+        : document.select.flatMap((name) => {
+            const field = available.get(name);
+            return field === undefined ? [] : [field];
+        });
+    if (selected.length === 0)
+        return undefined;
+    const inputs = [`:${entity.id.name}`];
+    const inSpec = ["$", "?type"];
+    const where = [["?e", RAMOSE_TYPE_IDENT, "?type"]];
+    let index = 0;
+    for (const [name, value] of Object.entries(document.where ?? {})) {
+        const field = available.get(name);
+        if (field === undefined)
+            return undefined;
+        const variable = `?w${index}`;
+        index += 1;
+        inSpec.push(variable);
+        inputs.push(value);
+        where.push(["?e", field.ident, variable]);
+    }
+    const limit = document.limit ?? DEFAULT_QUERY_LIMIT;
+    return {
+        query: {
+            find: [[["pull", "?e", selected.map((field) => field.ident)], "..."]],
+            in: inSpec,
+            where,
+            limit,
+        },
+        inputs,
+        fields: selected,
+        limit,
+    };
+};
+export const queryReadFailure = (cause) => cause instanceof QueryBudgetError
+    ? toolFailure("query_budget_exceeded", "the query exceeded its read budget; narrow it with more specific " +
+        "filters or a smaller limit")
+    : undefined;
+export const runQueryDocument = async (context, caller, document, options = {}) => {
+    const lowered = lowerQueryDocument(context, caller, document);
+    if (lowered === undefined)
+        return Object.freeze({ rows: [], truncated: false });
+    let result;
+    try {
+        result = await runOneShotRead(context.filteredDb, { kind: "query", query: lowered.query, inputs: lowered.inputs }, options.maxCells === undefined ? {} : { maxCells: options.maxCells });
+    }
+    catch (cause) {
+        throw queryReadFailure(cause) ?? cause;
+    }
+    const pulled = Array.isArray(result) ? result : [];
+    const rows = [];
+    for (const row of pulled) {
+        if (row === null || typeof row !== "object")
+            continue;
+        const record = row;
+        const projected = [];
+        for (const field of lowered.fields) {
+            if (record[field.ident] !== undefined) {
+                projected.push([field.name, toJson(record[field.ident])]);
+            }
+        }
+        if (projected.length > 0)
+            rows.push(Object.fromEntries(projected));
+    }
+    if (rows.length === 0)
+        return Object.freeze({ rows: [], truncated: false });
+    return Object.freeze({
+        rows: Object.freeze(rows),
+        truncated: pulled.length >= lowered.limit,
+    });
+};
+export const OUTCOME_WITHHELD = Object.freeze({ withheld: "outcome" });
+export const publishableWithoutReferences = (shape) => {
+    switch (shape._tag) {
+        case "scalar":
+            return true;
+        case "array":
+            return publishableWithoutReferences(shape.items);
+        case "struct":
+            return shape.fields.every((field) => publishableWithoutReferences(field.shape));
+        case "ref":
+        case "opaque":
+            return false;
+    }
+};
+export const projectOperationOutcome = (shape, output) => publishableWithoutReferences(shape) ? output : OUTCOME_WITHHELD;
+export const publicMutateResult = (result, outputShape) => {
+    switch (result._tag) {
+        case "Completed":
+            return Object.freeze({
+                invocationId: result.receipt.invocationId,
+                status: "completed",
+                outcome: projectOperationOutcome(outputShape, result.output),
+            });
+        case "Conflict":
+            return toolFailure("invocation_conflict", "that invocationId already names a different invocation").envelope;
+        case "OperationChanged":
+            return toolFailure("operation_changed", "the pinned operation version is not the deployed one; rediscover it").envelope;
+        case "UpdateRequired":
+            return toolFailure("invocation_update_required", "this invocation must be retried under a fresh invocationId").envelope;
+        case "Failed":
+            return toolFailure("internal_error", "the operation did not complete").envelope;
+        case "Indeterminate":
+            return toolFailure("invocation_indeterminate", "the outcome is not yet decidable; retry the same invocationId").envelope;
+        case "Rejected":
+            switch (result.rejection.kind) {
+                case "unauthorized":
+                    return toolFailure("inaccessible", "no such operation is available here")
+                        .envelope;
+                case "invalid_request":
+                    return toolFailure("invalid_input", "the operation refused this input")
+                        .envelope;
+                case "request_rejected":
+                    return toolFailure("operation_rejected", "the operation refused the request")
+                        .envelope;
+                case "operation_rejected":
+                    return toolFailure("operation_rejected", result.rejection.message).envelope;
+            }
+    }
+};
+//# sourceMappingURL=kernel.js.map

package/dist/mcp/kernel.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel.js","sourceRoot":"","sources":["../../src/mcp/kernel.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,QAAQ,EAAE,MAAM,gDAAgD,CAAC;AAE1E,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,GACrB,MAAM,8CAA8C,CAAC;AAEtD,OAAO,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EACL,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,2BAA2B,EAC3B,cAAc,EACd,WAAW,GAGZ,MAAM,eAAe,CAAC;AAYvB,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,EACnC,OAAiC,EACjC,MAA2B,EACA,EAAE;IAC7B,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;IACrC,MAAM,aAAa,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,aAAa,KAAK,SAAS;YAAE,MAAM;QACvC,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE;YACrD,CAAC,EAAE,aAAa,CAAC,EAAE;YACnB,EAAE,EAAE,QAAQ,CAAC,GAAG;YAChB,CAAC,EAAE,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE;SACxB,CAAC,CAAC;QACH,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,IAAI,QAAQ,CAAC,MAAM,IAAI,kBAAkB,EAAE,CAAC;YAC1C,SAAS,GAAG,IAAI,CAAC;YACjB,MAAM;QACR,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,UAAU,GAA6C,EAAE,CAAC;IAChE,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QAC5C,IACE,CAAC,oBAAoB,CACnB,OAAO,CAAC,IAAI,EACZ,UAAU,EACV,MAAM,EACN,OAAO,CAAC,SAAS,CAAC,OAAO,CAC1B;YACD,SAAS;QACX,IAAI,UAAU,CAAC,EAAE,CAAC,MAAM,KAAK,UAAU;YAAE,SAAS;QAClD,IAAI,UAAU,CAAC,MAAM,IAAI,kBAAkB,EAAE,CAAC;YAC5C,SAAS,GAAG,IAAI,CAAC;YACjB,MAAM;QACR,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YAC5B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI;gBAC9B,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI;aAC/B,CAAC;YACF,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,SAAS;YAC7B,OAAO,EAAE,2BAA2B,CAAC,UAAU,CAAC,OAAO,CAAC;SACzD,CAAC,CAAC,CAAC;IACN,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,SAAS;KACV,CAAC,CAAC;AACL,CAAC,CAAC;AAOF,MAAM,CAAC,MAAM,sBAAsB,GAAG,KAAK,EACzC,OAAiC,EACjC,MAA2B,EAC3B,QAAyB,EACzB,QAAQ,GAAG,OAAO,EACuH,EAAE;IAC3I,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9D,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IACjE,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,OAAO,CAAC,UAAU,EAAE;QACtD,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;QACvH,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAmC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChF,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;YAC3B,IAAI,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,QAAQ;gBAAE,OAAO,EAAE,CAAC;YACjD,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS;gBAC9F,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QACjF,CAAC,CAAC;QACF,SAAS,EAAE,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK;KAC1C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,OAAoD,EACpD,MAAc,EACO,EAAE;IACvB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,WAAW,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QACnD,IAAI,WAAW,CAAC,QAAQ,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACnD,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,UAAU;YAAE,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAMF,MAAM,eAAe,GAAG,CACtB,IAAgC,EAChC,MAA2B,EAC3B,OAAe,EACF,EAAE;IACf,MAAM,OAAO,GAAG,CAAC,IAAwB,EAAE,EAAE,CAC3C,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,KAAK,KAAK,EAAE,CAAC;YACX,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;gBACrD,IAAI,KAAK,KAAK,KAAK;oBAAE,OAAO,KAAK,CAAC;gBAClC,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,GAAG,IAAI,CAAC;YAC1C,CAAC;YACD,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QACpC,CAAC;QACD,KAAK,IAAI,EAAE,CAAC;YACV,IAAI,OAAO,GAAG,KAAK,CAAC;YACpB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;gBACrD,IAAI,KAAK,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAChC,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,GAAG,IAAI,CAAC;YAC1C,CAAC;YACD,OAAO,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;QACrC,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;YAC1D,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAClD,CAAC;QACD,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YAC1E,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;gBACxD,oBAAoB,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAClD,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,OAAO,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QACvE,CAAC;QACD,KAAK,IAAI,EAAE,CAAC;YACV,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC5C,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9D,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS;gBAC9D,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;gBAC/B,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,QAAiF,EACjF,KAAyE,EACzE,MAA2B,EAC3B,OAAe,EACN,EAAE;IACX,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;IACxE,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,OAAiC,EACjC,MAA2B,EAC3B,MAAc,EACL,EAAE;IACX,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;IACnC,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAC7C,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CACxC,EAAE,QAAQ,CAAC;IACZ,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxC,OAAO,wBAAwB,CAC7B,QAAQ,EACR,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,EACpD,MAAM,EACN,OAAO,CAAC,SAAS,CAAC,OAAO,CAC1B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,OAAiC,EACjC,MAA2B,EAC3B,KAAsB,EACb,EAAE;IACX,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;IACnC,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACpC,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAChD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CACrD,EAAE,QAAQ,CAAC;QACZ,IAAI,aAAa,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC7C,IAAI,wBAAwB,CAAC,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;IACnF,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAC3C,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CACzD,EAAE,QAAQ,CAAC;IACZ,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACzC,OAAO,wBAAwB,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,OAAiC,EACjC,MAA2B,EAC3B,MAAc,EACsB,EAAE;IACtC,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;IACrC,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,SAAS,KAAK,KAAK;YAAE,SAAS;QACxC,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ;YACnC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;YACvB,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,SAAS;QACrB,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC;QACrD,IAAI,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS;YAAE,SAAS;QAC1D,IAAI,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC;YAAE,SAAS;QACvD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;YAC3C,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,SAAS;YACxB,KAAK;SACN,CAAC,CAAC,CAAC;IACN,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,aAAqB,EAAQ,EAAE;IAC9E,IAAI,aAAa,GAAG,iBAAiB,EAAE,CAAC;QACtC,MAAM,WAAW,CACf,eAAe,EACf,iCAAiC,iBAAiB,oBAAoB;YACpE,gDAAgD,CACnD,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,OAAiC,EACjC,MAA2B,EAC3B,QAAyB,EAMb,EAAE;IACd,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAC/C,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,MAAM,CAC1D,CAAC;IACF,IACE,MAAM,KAAK,SAAS;QACpB,sBAAsB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC;QACvD,OAAO,SAAS,CAAC;IACnB,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;QAAE,gCAAgC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,KAAK,SAAS;QAC5C,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC;QACzB,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACjC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAClC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE5C,MAAM,MAAM,GAAc,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;IACjD,MAAM,MAAM,GAAa,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxC,MAAM,KAAK,GAAgB,CAAC,CAAC,IAAI,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAC,CAAC;IAChE,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;QACjE,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,QAAQ,GAAG,KAAK,KAAK,EAAE,CAAC;QAC9B,KAAK,IAAI,CAAC,CAAC;QACX,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,IAAI,mBAAmB,CAAC;IACpD,OAAO;QACL,KAAK,EAAE;YACL,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACrE,EAAE,EAAE,MAAM;YACV,KAAK;YACL,KAAK;SACN;QACD,MAAM;QACN,MAAM,EAAE,QAAQ;QAChB,KAAK;KACN,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAA8B,EAAE,CAC7E,KAAK,YAAY,gBAAgB;IAC/B,CAAC,CAAC,WAAW,CACX,uBAAuB,EACvB,mEAAmE;QACjE,4BAA4B,CAC/B;IACD,CAAC,CAAC,SAAS,CAAC;AAEhB,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,EACnC,OAAiC,EACjC,MAA2B,EAC3B,QAAyB,EACzB,OAAO,GAAmC,EAAE,EACpB,EAAE;IAC1B,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9D,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAChF,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,cAAc,CAC3B,OAAO,CAAC,UAAU,EAClB,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,EAC/D,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CACrE,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,gBAAgB,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC;IACzC,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACnD,MAAM,IAAI,GAA8B,EAAE,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,SAAS;QACtD,MAAM,MAAM,GAAG,GAA8B,CAAC;QAC9C,MAAM,SAAS,GAAmC,EAAE,CAAC;QACrD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YACnC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;gBACtC,SAAS,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAU,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;QACzB,SAAS,EAAE,MAAM,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK;KAC1C,CAAC,CAAC;AACL,CAAC,CAAC;AAQF,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;AAEvE,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,KAA0B,EACjB,EAAE;IACX,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,OAAO;YACV,OAAO,4BAA4B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnD,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAClC,4BAA4B,CAAC,KAAK,CAAC,KAAK,CAAC,CAC1C,CAAC;QACJ,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAA0B,EAC1B,MAAe,EACN,EAAE,CACX,4BAA4B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC;AAElE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAqC,EACrC,WAAgC,EACE,EAAE;IACpC,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,YAAY,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY;gBACzC,MAAM,EAAE,WAAoB;gBAC5B,OAAO,EAAE,uBAAuB,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC;aAC7D,CAAC,CAAC;QACL,KAAK,UAAU;YACb,OAAO,WAAW,CAChB,qBAAqB,EACrB,wDAAwD,CACzD,CAAC,QAAQ,CAAC;QACb,KAAK,kBAAkB;YACrB,OAAO,WAAW,CAChB,mBAAmB,EACnB,qEAAqE,CACtE,CAAC,QAAQ,CAAC;QACb,KAAK,gBAAgB;YACnB,OAAO,WAAW,CAChB,4BAA4B,EAC5B,4DAA4D,CAC7D,CAAC,QAAQ,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,gBAAgB,EAAE,gCAAgC,CAAC,CAAC,QAAQ,CAAC;QAClF,KAAK,eAAe;YAClB,OAAO,WAAW,CAChB,0BAA0B,EAC1B,+DAA+D,CAChE,CAAC,QAAQ,CAAC;QACb,KAAK,UAAU;YACb,QAAQ,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBAC9B,KAAK,cAAc;oBACjB,OAAO,WAAW,CAAC,cAAc,EAAE,qCAAqC,CAAC;yBACtE,QAAQ,CAAC;gBACd,KAAK,iBAAiB;oBACpB,OAAO,WAAW,CAAC,eAAe,EAAE,kCAAkC,CAAC;yBACpE,QAAQ,CAAC;gBACd,KAAK,kBAAkB;oBACrB,OAAO,WAAW,CAAC,oBAAoB,EAAE,mCAAmC,CAAC;yBAC1E,QAAQ,CAAC;gBACd,KAAK,oBAAoB;oBACvB,OAAO,WAAW,CAAC,oBAAoB,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC;YAChF,CAAC;IACL,CAAC;AACH,CAAC,CAAC"}

package/dist/mcp/server.d.ts

@@ -0,0 +1,8 @@
+export type KernelTools = {
+    readonly describe: (args: unknown) => Promise<unknown>;
+    readonly query: (args: unknown) => Promise<unknown>;
+    readonly mutate?: (args: unknown) => Promise<unknown>;
+    readonly changeset?: (args: unknown) => Promise<unknown>;
+};
+export declare const handleMcpRequest: (request: Request, tools: KernelTools) => Promise<Response>;
+//# sourceMappingURL=server.d.ts.map

package/dist/mcp/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../src/mcp/server.ts"],"names":[],"mappings":"AAgBA,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACvD,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACpD,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACtD,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CAC1D,CAAC;AAiKF,eAAO,MAAM,gBAAgB,YAClB,OAAO,SACT,WAAW,KACjB,OAAO,CAAC,QAAQ,CA4BlB,CAAC"}

package/dist/mcp/server.js

@@ -0,0 +1,182 @@
+import { Server } from "@modelcontextprotocol/sdk/server/index.js";
+import { WebStandardStreamableHTTPServerTransport } from "@modelcontextprotocol/sdk/server/webStandardStreamableHttp.js";
+import { CallToolRequestSchema, ErrorCode, ListToolsRequestSchema, McpError, } from "@modelcontextprotocol/sdk/types.js";
+import { MAX_QUERY_LIMIT, McpToolFailure, errorEnvelope, } from "./contract.js";
+const EXPERIMENTAL = "EXPERIMENTAL: Ramose's MCP surface makes no compatibility promise yet. " +
+    "Tool shapes, error codes, and results may change without notice.";
+const INSTRUCTIONS = `${EXPERIMENTAL}
+
+Use the application's authorized tools to read data and prepare work.
+
+1. describe — visible entity names and invocable operations.
+2. query — read rows of one entity with equality filters and a field projection.
+3. mutate — invoke one discovered operation with the version describe returned
+   and your own invocationId. Repeating the same invocationId replays the first
+   outcome exactly rather than acting twice.
+
+Use changeset to prepare, inspect, or discard a reviewable proposal. A human approves it in the application.
+
+Anything you cannot see is reported as if it did not exist.`;
+const TOOLS = Object.freeze([
+    {
+        name: "describe",
+        title: "Describe visible capabilities",
+        description: "List the entity names and invocable operations visible to you. " +
+            "Names only; lists are capped and report truncated.",
+        inputSchema: {
+            type: "object",
+            properties: {},
+            additionalProperties: false,
+        },
+    },
+    {
+        name: "query",
+        title: "Query application state",
+        description: "Read rows of one entity. The query document is { version: 1, from: " +
+            "{ entity }, where?: equality on field names, select?: field names, limit? }. " +
+            "Anything you cannot see reads as absent.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                query: {
+                    type: "object",
+                    properties: {
+                        version: { const: 1 },
+                        from: {
+                            type: "object",
+                            properties: { entity: { type: "string", minLength: 1 } },
+                            required: ["entity"],
+                            additionalProperties: false,
+                        },
+                        where: {
+                            type: "object",
+                            additionalProperties: {
+                                type: ["string", "number", "boolean"],
+                            },
+                            description: "Field name to required value. Equality only.",
+                        },
+                        select: {
+                            type: "array",
+                            items: { type: "string", minLength: 1 },
+                            maxItems: 64,
+                        },
+                        limit: { type: "integer", minimum: 1, maximum: MAX_QUERY_LIMIT },
+                    },
+                    required: ["version", "from"],
+                    additionalProperties: false,
+                },
+            },
+            required: ["query"],
+            additionalProperties: false,
+        },
+    },
+    {
+        name: "mutate",
+        title: "Invoke one declared operation",
+        description: "Invoke exactly one operation describe listed, pinned to the version it " +
+            "returned. Supply your own invocationId; sending it again replays the first " +
+            "outcome instead of acting twice.",
+        inputSchema: {
+            type: "object",
+            properties: {
+                operation: {
+                    type: "object",
+                    properties: {
+                        owner: {
+                            type: "object",
+                            properties: {
+                                kind: { enum: ["entity", "trait"] },
+                                name: { type: "string", minLength: 1 },
+                            },
+                            required: ["kind", "name"],
+                            additionalProperties: false,
+                        },
+                        name: { type: "string", minLength: 1 },
+                        version: {
+                            type: "string",
+                            description: "Opaque version from describe. Send it back verbatim.",
+                        },
+                    },
+                    required: ["owner", "name", "version"],
+                    additionalProperties: false,
+                },
+                input: { type: "object", description: "The operation's declared input." },
+                invocationId: {
+                    type: "string",
+                    minLength: 1,
+                    description: "Your idempotency key for this one intent.",
+                },
+            },
+            required: ["operation", "input", "invocationId"],
+            additionalProperties: false,
+        },
+    },
+]);
+const CHANGESET_TOOL = {
+    name: "changeset",
+    title: "Prepare a reviewable proposal",
+    description: "Prepare up to 100 operations in an isolated draft, inspect its changes, or discard it. First use action describe to discover authorized transaction operations and inputs. Use action query to get entity handles from live data (omit id) or a draft (include id). Use the versions from action describe. Return the proposal id and revision to the user for review in the app. To revise, provide its current revision. Use append to add operations to an existing draft while preserving newly created entity handles; prepare replaces its operations. Never claims to have changed live data.",
+    inputSchema: {
+        type: "object",
+        properties: {
+            action: { enum: ["describe", "list", "query", "append", "prepare", "inspect", "discard"] },
+            id: { type: "string", description: "Proposal id. Omit for describe and live queries; include for draft queries." },
+            after: { type: "string", description: "Pagination cursor returned by list." },
+            limit: { type: "integer", minimum: 1, maximum: 100 },
+            query: TOOLS[1].inputSchema.properties.query,
+            revision: { type: "string" },
+            title: { type: "string", maxLength: 200 },
+            reviewers: { type: "array", items: { type: "string" }, maxItems: 32, description: "Subjects explicitly invited to review this proposal. Their own database permissions still apply." },
+            operations: { type: "array", minItems: 1, maxItems: 100,
+                items: { type: "object", properties: {
+                        operation: TOOLS[2].inputSchema.properties.operation,
+                        input: { type: "object" }, target: { type: "string" },
+                    }, required: ["operation", "input"], additionalProperties: false } },
+        }, required: ["action"], additionalProperties: false,
+    },
+};
+const INERT_VALIDATOR = {
+    getValidator: () => () => ({
+        valid: false,
+        data: undefined,
+        errorMessage: "ramose/mcp: schema validation is not available on this surface",
+    }),
+};
+const toolResult = (value) => ({
+    content: [{ type: "text", text: JSON.stringify(value) }],
+    structuredContent: value,
+});
+const failedResult = (envelope) => ({
+    ...toolResult(envelope),
+    isError: true,
+});
+export const handleMcpRequest = async (request, tools) => {
+    const server = new Server({ name: "ramose", title: "Ramose (experimental)", version: "experimental" }, {
+        capabilities: { tools: {} },
+        instructions: INSTRUCTIONS,
+        jsonSchemaValidator: INERT_VALIDATOR,
+    });
+    server.setRequestHandler(ListToolsRequestSchema, () => ({ tools: [...TOOLS.filter((tool) => tools[tool.name] !== undefined), ...(tools.changeset === undefined ? [] : [CHANGESET_TOOL])] }));
+    server.setRequestHandler(CallToolRequestSchema, async (call) => {
+        const body = tools[call.params.name];
+        if (body === undefined || !Object.hasOwn(tools, call.params.name)) {
+            throw new McpError(ErrorCode.InvalidParams, "unknown tool");
+        }
+        try {
+            return toolResult(await body(call.params.arguments));
+        }
+        catch (cause) {
+            if (cause instanceof McpToolFailure)
+                return failedResult(cause.envelope);
+            if (cause instanceof McpError)
+                throw cause;
+            return failedResult(errorEnvelope("internal_error", "the request failed"));
+        }
+    });
+    const transport = new WebStandardStreamableHTTPServerTransport({
+        enableJsonResponse: true,
+    });
+    await server.connect(transport);
+    return transport.handleRequest(request);
+};
+//# sourceMappingURL=server.js.map

package/dist/mcp/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../../src/mcp/server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,2CAA2C,CAAC;AACnE,OAAO,EAAE,wCAAwC,EAAE,MAAM,+DAA+D,CAAC;AACzH,OAAO,EACL,qBAAqB,EACrB,SAAS,EACT,sBAAsB,EACtB,QAAQ,GACT,MAAM,oCAAoC,CAAC;AAE5C,OAAO,EACL,eAAe,EACf,cAAc,EACd,aAAa,GAEd,MAAM,eAAe,CAAC;AASvB,MAAM,YAAY,GAChB,yEAAyE;IACzE,kEAAkE,CAAC;AAErE,MAAM,YAAY,GAAG,GAAG,YAAY;;;;;;;;;;;;4DAYwB,CAAC;AAE7D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B;QACE,IAAI,EAAE,UAAU;QAChB,KAAK,EAAE,+BAA+B;QACtC,WAAW,EACT,iEAAiE;YACjE,oDAAoD;QACtD,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE;YACd,oBAAoB,EAAE,KAAK;SAC5B;KACF;IACD;QACE,IAAI,EAAE,OAAO;QACb,KAAK,EAAE,yBAAyB;QAChC,WAAW,EACT,qEAAqE;YACrE,+EAA+E;YAC/E,0CAA0C;QAC5C,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE;wBACV,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;wBACrB,IAAI,EAAE;4BACJ,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE;4BACxD,QAAQ,EAAE,CAAC,QAAQ,CAAC;4BACpB,oBAAoB,EAAE,KAAK;yBAC5B;wBACD,KAAK,EAAE;4BACL,IAAI,EAAE,QAAQ;4BACd,oBAAoB,EAAE;gCACpB,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC;6BACtC;4BACD,WAAW,EAAE,8CAA8C;yBAC5D;wBACD,MAAM,EAAE;4BACN,IAAI,EAAE,OAAO;4BACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;4BACvC,QAAQ,EAAE,EAAE;yBACb;wBACD,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE;qBACjE;oBACD,QAAQ,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC;oBAC7B,oBAAoB,EAAE,KAAK;iBAC5B;aACF;YACD,QAAQ,EAAE,CAAC,OAAO,CAAC;YACnB,oBAAoB,EAAE,KAAK;SAC5B;KACF;IACD;QACE,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,+BAA+B;QACtC,WAAW,EACT,yEAAyE;YACzE,6EAA6E;YAC7E,kCAAkC;QACpC,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,SAAS,EAAE;oBACT,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE;wBACV,KAAK,EAAE;4BACL,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE;gCACV,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE;gCACnC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;6BACvC;4BACD,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;4BAC1B,oBAAoB,EAAE,KAAK;yBAC5B;wBACD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;wBACtC,OAAO,EAAE;4BACP,IAAI,EAAE,QAAQ;4BACd,WAAW,EAAE,sDAAsD;yBACpE;qBACF;oBACD,QAAQ,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC;oBACtC,oBAAoB,EAAE,KAAK;iBAC5B;gBACD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iCAAiC,EAAE;gBACzE,YAAY,EAAE;oBACZ,IAAI,EAAE,QAAQ;oBACd,SAAS,EAAE,CAAC;oBACZ,WAAW,EAAE,2CAA2C;iBACzD;aACF;YACD,QAAQ,EAAE,CAAC,WAAW,EAAE,OAAO,EAAE,cAAc,CAAC;YAChD,oBAAoB,EAAE,KAAK;SAC5B;KACF;CACF,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG;IACrB,IAAI,EAAE,WAAW;IACjB,KAAK,EAAE,+BAA+B;IACtC,WAAW,EAAE,skBAAskB;IACnlB,WAAW,EAAE;QACX,IAAI,EAAE,QAAiB;QACvB,UAAU,EAAE;YACV,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,EAAE;YAC1F,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6EAA6E,EAAE;YAClH,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qCAAqC,EAAE;YAC7E,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE;YACpD,KAAK,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK;YAC7C,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE;YACzC,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,kGAAkG,EAAE;YACtL,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG;gBACrD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE;wBACnC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,WAAW,CAAC,UAAU,CAAC,SAAS;wBACrD,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;qBACtD,EAAE,QAAQ,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,oBAAoB,EAAE,KAAK,EAAE,EAAE;SACvE,EAAE,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,oBAAoB,EAAE,KAAK;KACrD;CACF,CAAC;AAEF,MAAM,eAAe,GAAwB;IAC3C,YAAY,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QACzB,KAAK,EAAE,KAAK;QACZ,IAAI,EAAE,SAAS;QACf,YAAY,EAAE,gEAAgE;KAC/E,CAAC;CACH,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,KAAc,EAAE,EAAE,CAAC,CAAC;IACtC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;IACjE,iBAAiB,EAAE,KAAgC;CACpD,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,QAAyB,EAAE,EAAE,CAAC,CAAC;IACnD,GAAG,UAAU,CAAC,QAAQ,CAAC;IACvB,OAAO,EAAE,IAAI;CACd,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,EACnC,OAAgB,EAChB,KAAkB,EACC,EAAE;IACrB,MAAM,MAAM,GAAG,IAAI,MAAM,CACvB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,uBAAuB,EAAE,OAAO,EAAE,cAAc,EAAE,EAC3E;QACE,YAAY,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;QAC3B,YAAY,EAAE,YAAY;QAC1B,mBAAmB,EAAE,eAAe;KACrC,CACF,CAAC;IACF,MAAM,CAAC,iBAAiB,CAAC,sBAAsB,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAyB,CAAC,KAAK,SAAS,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClN,MAAM,CAAC,iBAAiB,CAAC,qBAAqB,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAyB,CAAC,CAAC;QAC1D,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,QAAQ,CAAC,SAAS,CAAC,aAAa,EAAE,cAAc,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,CAAC;YACH,OAAO,UAAU,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QACvD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,cAAc;gBAAE,OAAO,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACzE,IAAI,KAAK,YAAY,QAAQ;gBAAE,MAAM,KAAK,CAAC;YAC3C,OAAO,YAAY,CAAC,aAAa,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,IAAI,wCAAwC,CAAC;QAC7D,kBAAkB,EAAE,IAAI;KACzB,CAAC,CAAC;IACH,MAAM,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAChC,OAAO,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC,CAAC"}