@ifc-lite/mcp 0.7.1 → 0.8.0

package/dist/tools/layer-store.js

@@ -0,0 +1,271 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * In-memory draft / layer / review workspace backing the agent draft-layer
+ * tool family (docs/architecture/layer-prs/06-agents.md).
+ *
+ * Drafts are keyed by transport session id (#1030) and disposed with the
+ * session; published layers, refs, and reviews are process-shared so
+ * other principals' sessions can build on and review them. Tests call
+ * `resetLayerWorkspace()` for isolation. A draft is a CRDT session (Y.Doc
+ * seeded with the resolved base stack) plus the baseline snapshot
+ * `publishLayer` diffs against.
+ */
+import { randomUUID } from 'node:crypto';
+import * as Y from 'yjs';
+import { createCollabDoc, createEntity, deleteAttribute, deleteEntity, hasEntity, removeChild, removeInherit, setAttribute, setChild, setInherit, } from '@ifc-lite/collab';
+import { IFCLITE_ATTR, ATTR, computeStackHash } from '@ifc-lite/ifcx';
+import { ToolErrorCode, ToolExecutionError } from '../errors.js';
+export function createLayerWorkspace() {
+    return {
+        drafts: new Map(),
+        layers: new Map(),
+        refs: new Map([['main', []]]),
+        reviews: new Map(),
+    };
+}
+// Storage model (#1030). Drafts are private CRDT sessions, so they are
+// the per-transport-session state: keyed by session id, disposed with the
+// session. Published layers, refs, and reviews are the collaboration
+// surface — content-addressed immutable layers, shared branch heads, and
+// reviews that *other* principals must be able to act on from their own
+// HTTP sessions (each principal necessarily holds a different session,
+// since the transport rejects scope mismatches) — so they live in one
+// process-wide store, gated by the visibility checks below. stdio /
+// in-process transports carry no session id and use the local draft
+// space — registry-less local mode (10-registry.md); durable,
+// registry-backed persistence stays future work.
+const shared = {
+    layers: new Map(),
+    refs: new Map([['main', []]]),
+    reviews: new Map(),
+};
+const draftSpaces = new Map();
+/** Draft-space key for transports without a session id (stdio, in-process, tests). */
+const LOCAL_WORKSPACE_KEY = 'local';
+export function getLayerWorkspace(sessionId) {
+    const key = sessionId ?? LOCAL_WORKSPACE_KEY;
+    let drafts = draftSpaces.get(key);
+    if (!drafts) {
+        drafts = new Map();
+        draftSpaces.set(key, drafts);
+    }
+    return { drafts, layers: shared.layers, refs: shared.refs, reviews: shared.reviews };
+}
+/** Drafts hold live Y.Docs — destroy them or the CRDT state lingers. */
+function destroyDrafts(drafts) {
+    for (const draft of drafts.values())
+        draft.doc.destroy();
+}
+/**
+ * Drop a session's draft space when the transport session ends. Layers,
+ * refs, and reviews deliberately survive — they are the published shared
+ * record other sessions keep building on.
+ */
+export function disposeLayerWorkspace(sessionId) {
+    const drafts = draftSpaces.get(sessionId);
+    if (!drafts)
+        return;
+    destroyDrafts(drafts);
+    draftSpaces.delete(sessionId);
+}
+/** Test hook: drop all draft spaces and shared state; return a fresh local workspace. */
+export function resetLayerWorkspace() {
+    for (const drafts of draftSpaces.values())
+        destroyDrafts(drafts);
+    draftSpaces.clear();
+    shared.layers.clear();
+    shared.reviews.clear();
+    shared.refs.clear();
+    shared.refs.set('main', []);
+    return getLayerWorkspace();
+}
+/** Files for a ref, erroring on dangling layer ids (corrupt workspace). */
+export function refLayerFiles(ws, name) {
+    const ids = ws.refs.get(name);
+    if (!ids) {
+        throw new ToolExecutionError({
+            code: ToolErrorCode.ENTITY_NOT_FOUND,
+            message: `Unknown ref '${name}'.`,
+            details: { refs: Array.from(ws.refs.keys()) },
+        });
+    }
+    return ids.map((id) => {
+        const file = ws.layers.get(id);
+        if (!file) {
+            throw new ToolExecutionError({
+                code: ToolErrorCode.INTERNAL_ERROR,
+                message: `Ref '${name}' points at unknown layer ${id}.`,
+            });
+        }
+        return file;
+    });
+}
+/** Resolve a base spec (ref name or layer id; absent → no base). */
+export function resolveBase(ws, ref) {
+    if (ref === undefined)
+        return { base: null, files: [] };
+    if (ws.refs.has(ref)) {
+        const ids = ws.refs.get(ref) ?? [];
+        const files = refLayerFiles(ws, ref);
+        return {
+            base: ids.length > 0 ? { kind: 'stack', id: computeStackHash(ids) } : null,
+            files,
+        };
+    }
+    const layer = ws.layers.get(ref);
+    if (layer) {
+        // Seed from the full ancestor stack when the layer sits inside a ref
+        // history — a lone delta would lose all earlier state and put drafts
+        // on the wrong baseline for previews and merge planning.
+        const base = { kind: 'layer', id: ref };
+        const files = resolveAncestorFilesAnyRef(ws, base);
+        return { base, files: files.length > 0 ? files : [layer] };
+    }
+    throw new ToolExecutionError({
+        code: ToolErrorCode.ENTITY_NOT_FOUND,
+        message: `Unknown base '${ref}' — not a ref name or published layer id.`,
+        details: { refs: Array.from(ws.refs.keys()) },
+    });
+}
+/**
+ * Resolve a manifest base against a ref's layer ids: a stack base matches
+ * a prefix stack hash, a layer base matches a prefix end (or a stored
+ * stray layer). Best effort — unknown bases resolve to [].
+ */
+export function resolveAncestorFiles(ws, base, refIds) {
+    if (!base)
+        return [];
+    if (base.kind === 'stack') {
+        for (let i = 0; i <= refIds.length; i += 1) {
+            if (computeStackHash(refIds.slice(0, i)) === base.id) {
+                return refIds.slice(0, i).map((id) => ws.layers.get(id)).filter((f) => f !== undefined);
+            }
+        }
+        return [];
+    }
+    const idx = refIds.indexOf(base.id);
+    if (idx !== -1) {
+        return refIds.slice(0, idx + 1).map((id) => ws.layers.get(id)).filter((f) => f !== undefined);
+    }
+    const single = ws.layers.get(base.id);
+    return single ? [single] : [];
+}
+/**
+ * Resolve a manifest base by searching every ref's layer list — used when
+ * a tool gets a published layer without an explicit `into` ref, where an
+ * empty ref list could never reconstruct a stack-hash base.
+ */
+export function resolveAncestorFilesAnyRef(ws, base) {
+    if (!base)
+        return [];
+    for (const refIds of ws.refs.values()) {
+        const files = resolveAncestorFiles(ws, base, refIds);
+        if (files.length > 0)
+            return files;
+    }
+    // Fall back to the lone-layer case resolveAncestorFiles also covers.
+    return resolveAncestorFiles(ws, base, []);
+}
+/** Read the IfcClass code off the well-known class attribute, if present. */
+export function ifcClassOfAttributes(attributes) {
+    const cls = attributes?.[ATTR.CLASS];
+    if (cls && typeof cls === 'object' && 'code' in cls) {
+        const code = cls.code;
+        if (typeof code === 'string')
+            return code;
+    }
+    return undefined;
+}
+/**
+ * Fold an ordered layer stack (weakest first) into a draft Y.Doc.
+ *
+ * Unlike `seedFromIfcx` (whose `createEntity` is a no-op on existing
+ * paths), this applies later layers' opinions on top: nulls remove,
+ * tombstones delete, values overwrite.
+ */
+export function seedDraftDoc(doc, files) {
+    doc.transact(() => {
+        // Composition resolves `ifclite::deleted` like any other attribute —
+        // the strongest (latest) opinion wins after ALL layers merge — so
+        // deletion cannot run per-layer: base → delete → resurrect must seed
+        // the entity with its base state, exactly as composition reveals it.
+        const tombstoned = new Map();
+        for (const file of files) {
+            for (const node of file.data) {
+                const opinion = node.attributes?.[IFCLITE_ATTR.DELETED];
+                if (typeof opinion === 'boolean')
+                    tombstoned.set(node.path, opinion);
+                applyNode(doc, file, node);
+            }
+        }
+        for (const [path, deleted] of tombstoned) {
+            if (deleted)
+                deleteEntity(doc, path);
+        }
+    });
+}
+function applyNode(doc, file, node) {
+    if (!hasEntity(doc, node.path)) {
+        const ifcClass = ifcClassOfAttributes(node.attributes);
+        const inherits = {};
+        for (const [role, target] of Object.entries(node.inherits ?? {})) {
+            if (typeof target === 'string')
+                inherits[role] = target;
+        }
+        createEntity(doc, node.path, {
+            ifcClass,
+            inherits,
+            meta: {
+                ifcClass,
+                createdAt: file.header.timestamp,
+                createdBy: file.header.author,
+            },
+        });
+    }
+    for (const [key, value] of Object.entries(node.attributes ?? {})) {
+        if (key === IFCLITE_ATTR.DELETED)
+            continue;
+        if (value === null)
+            deleteAttribute(doc, node.path, key);
+        else
+            setAttribute(doc, node.path, key, value);
+    }
+    for (const [role, child] of Object.entries(node.children ?? {})) {
+        if (child === null)
+            removeChild(doc, node.path, role);
+        else
+            setChild(doc, node.path, role, child);
+    }
+    // Inherits deltas must replay on existing entities too — `createEntity`
+    // only applies them on first creation, but later base layers may add,
+    // retarget, or null out inheritance opinions.
+    for (const [role, target] of Object.entries(node.inherits ?? {})) {
+        if (target === null)
+            removeInherit(doc, node.path, role);
+        else if (typeof target === 'string')
+            setInherit(doc, node.path, role, target);
+    }
+}
+/** Build, seed, baseline, and register a new draft. */
+export function createDraft(ws, init) {
+    const doc = createCollabDoc({ gc: false });
+    seedDraftDoc(doc, init.baseFiles);
+    const draft = {
+        id: randomUUID(),
+        doc,
+        baseline: Y.encodeStateAsUpdate(doc),
+        base: init.base,
+        baseFiles: init.baseFiles,
+        intent: init.intent,
+        claims: init.claims,
+        rawClaims: init.rawClaims,
+        session: init.session ?? randomUUID(),
+        owner: init.owner,
+        createdAt: new Date().toISOString(),
+    };
+    ws.drafts.set(draft.id, draft);
+    return draft;
+}
+//# sourceMappingURL=layer-store.js.map

package/dist/tools/layer-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer-store.js","sourceRoot":"","sources":["../../src/tools/layer-store.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EACL,eAAe,EACf,YAAY,EACZ,eAAe,EACf,YAAY,EACZ,SAAS,EACT,WAAW,EACX,aAAa,EACb,YAAY,EACZ,QAAQ,EACR,UAAU,GACX,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEtE,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAgDjE,MAAM,UAAU,oBAAoB;IAClC,OAAO;QACL,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7B,OAAO,EAAE,IAAI,GAAG,EAAE;KACnB,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,0EAA0E;AAC1E,qEAAqE;AACrE,yEAAyE;AACzE,wEAAwE;AACxE,uEAAuE;AACvE,sEAAsE;AACtE,oEAAoE;AACpE,oEAAoE;AACpE,8DAA8D;AAC9D,iDAAiD;AACjD,MAAM,MAAM,GAAG;IACb,MAAM,EAAE,IAAI,GAAG,EAAoB;IACnC,IAAI,EAAE,IAAI,GAAG,CAAmB,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/C,OAAO,EAAE,IAAI,GAAG,EAAuB;CACxC,CAAC;AAEF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmC,CAAC;AAE/D,sFAAsF;AACtF,MAAM,mBAAmB,GAAG,OAAO,CAAC;AAEpC,MAAM,UAAU,iBAAiB,CAAC,SAAkB;IAClD,MAAM,GAAG,GAAG,SAAS,IAAI,mBAAmB,CAAC;IAC7C,IAAI,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACnB,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;AACvF,CAAC;AAED,wEAAwE;AACxE,SAAS,aAAa,CAAC,MAA+B;IACpD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE;QAAE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,SAAiB;IACrD,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM;QAAE,OAAO;IACpB,aAAa,CAAC,MAAM,CAAC,CAAC;IACtB,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;AAChC,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,mBAAmB;IACjC,KAAK,MAAM,MAAM,IAAI,WAAW,CAAC,MAAM,EAAE;QAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACjE,WAAW,CAAC,KAAK,EAAE,CAAC;IACpB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACvB,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;IACpB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5B,OAAO,iBAAiB,EAAE,CAAC;AAC7B,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,aAAa,CAAC,EAAkB,EAAE,IAAY;IAC5D,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,MAAM,IAAI,kBAAkB,CAAC;YAC3B,IAAI,EAAE,aAAa,CAAC,gBAAgB;YACpC,OAAO,EAAE,gBAAgB,IAAI,IAAI;YACjC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;SAC9C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QACpB,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,IAAI,kBAAkB,CAAC;gBAC3B,IAAI,EAAE,aAAa,CAAC,cAAc;gBAClC,OAAO,EAAE,QAAQ,IAAI,6BAA6B,EAAE,GAAG;aACxD,CAAC,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAOD,oEAAoE;AACpE,MAAM,UAAU,WAAW,CAAC,EAAkB,EAAE,GAAY;IAC1D,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACxD,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACrC,OAAO;YACL,IAAI,EAAE,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI;YAC1E,KAAK;SACN,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,KAAK,EAAE,CAAC;QACV,qEAAqE;QACrE,qEAAqE;QACrE,yDAAyD;QACzD,MAAM,IAAI,GAAmB,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;QACxD,MAAM,KAAK,GAAG,0BAA0B,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IAC7D,CAAC;IACD,MAAM,IAAI,kBAAkB,CAAC;QAC3B,IAAI,EAAE,aAAa,CAAC,gBAAgB;QACpC,OAAO,EAAE,iBAAiB,GAAG,2CAA2C;QACxE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;KAC9C,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,EAAkB,EAClB,IAA2B,EAC3B,MAAyB;IAEzB,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,IAAI,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;gBACrD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;YACzG,CAAC;QACH,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAC/G,CAAC;IACD,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,EAAkB,EAClB,IAA2B;IAE3B,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,oBAAoB,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACrD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IACrC,CAAC;IACD,qEAAqE;IACrE,OAAO,oBAAoB,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,oBAAoB,CAAC,UAA+C;IAClF,MAAM,GAAG,GAAG,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,IAAI,GAAG,EAAE,CAAC;QACpD,MAAM,IAAI,GAAI,GAA0B,CAAC,IAAI,CAAC;QAC9C,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,GAAU,EAAE,KAA0B;IACjE,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE;QAChB,qEAAqE;QACrE,kEAAkE;QAClE,qEAAqE;QACrE,qEAAqE;QACrE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC9C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;gBACxD,IAAI,OAAO,OAAO,KAAK,SAAS;oBAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACrE,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;YACzC,IAAI,OAAO;gBAAE,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,SAAS,CAAC,GAAU,EAAE,IAAc,EAAE,IAAkB;IAC/D,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvD,MAAM,QAAQ,GAA2B,EAAE,CAAC;QAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;YACjE,IAAI,OAAO,MAAM,KAAK,QAAQ;gBAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QAC1D,CAAC;QACD,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;YAC3B,QAAQ;YACR,QAAQ;YACR,IAAI,EAAE;gBACJ,QAAQ;gBACR,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS;gBAChC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM;aAC9B;SACF,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;QACjE,IAAI,GAAG,KAAK,YAAY,CAAC,OAAO;YAAE,SAAS;QAC3C,IAAI,KAAK,KAAK,IAAI;YAAE,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;;YACpD,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAChD,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;QAChE,IAAI,KAAK,KAAK,IAAI;YAAE,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;;YACjD,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IACD,wEAAwE;IACxE,sEAAsE;IACtE,8CAA8C;IAC9C,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,CAAC;QACjE,IAAI,MAAM,KAAK,IAAI;YAAE,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;aACpD,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAmBD,uDAAuD;AACvD,MAAM,UAAU,WAAW,CAAC,EAAkB,EAAE,IAAqB;IACnE,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3C,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAClC,MAAM,KAAK,GAAe;QACxB,EAAE,EAAE,UAAU,EAAE;QAChB,GAAG;QACH,QAAQ,EAAE,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC;QACpC,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,UAAU,EAAE;QACrC,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC;IACF,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/tools/layer.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Agent draft-layer lifecycle tools (spec 06-agents.md §6.2/§6.3):
+ *
+ *   create_draft_layer → n × draft_apply_ops → publish_layer
+ *
+ * Every mutation lands in a draft (a CRDT session bound to a base);
+ * publishing freezes it into an immutable, content-addressed,
+ * provenance-stamped layer. Scope claims are enforced twice: per op at
+ * write time (before the Y.Doc is touched) and re-verified against the
+ * frozen layer at publish time (`scope_verified` + `mismatches`).
+ */
+import { publishLayer } from '@ifc-lite/collab';
+import type { Tool } from './types.js';
+import type { ToolContext } from '../context.js';
+import type { DraftLayer } from './layer-store.js';
+/** Freeze a draft via `publishLayer` without registering the result (previews). */
+export declare function publishDraftFile(draft: DraftLayer, ctx: ToolContext): ReturnType<typeof publishLayer>;
+export declare const draftLayerTools: Tool[];
+//# sourceMappingURL=layer.d.ts.map

package/dist/tools/layer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer.d.ts","sourceRoot":"","sources":["../../src/tools/layer.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,OAAO,EAML,YAAY,EAEb,MAAM,kBAAkB,CAAC;AAI1B,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AASjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAiNnD,mFAAmF;AACnF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,WAAW,GAAG,UAAU,CAAC,OAAO,YAAY,CAAC,CAarG;AAyCD,eAAO,MAAM,eAAe,EAAE,IAAI,EAAwD,CAAC"}

package/dist/tools/layer.js

@@ -0,0 +1,257 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * Agent draft-layer lifecycle tools (spec 06-agents.md §6.2/§6.3):
+ *
+ *   create_draft_layer → n × draft_apply_ops → publish_layer
+ *
+ * Every mutation lands in a draft (a CRDT session bound to a base);
+ * publishing freezes it into an immutable, content-addressed,
+ * provenance-stamped layer. Scope claims are enforced twice: per op at
+ * write time (before the Y.Doc is touched) and re-verified against the
+ * frozen layer at publish time (`scope_verified` + `mismatches`).
+ */
+import { createEntity, deleteEntity, entityToJSON, getEntity, hasEntity, publishLayer, setAttribute, } from '@ifc-lite/collab';
+import { parseScopeClaims } from '@ifc-lite/extensions';
+import { ATTR, isTypedPropertyValue } from '@ifc-lite/ifcx';
+import { okResult, fmtCount } from './util.js';
+import { ToolErrorCode, ToolExecutionError } from '../errors.js';
+import { createDraft, getLayerWorkspace, resolveBase, } from './layer-store.js';
+import { requireOwnedDraft } from './layer-access.js';
+import { assertOpWithinClaims, descriptorForDraftOp, verifyLayerAgainstClaims, } from './layer-ops.js';
+/**
+ * Attribute key a `set_property` op writes. Carries the Pset/Qto name so
+ * the merge engine groups it under `pset:<name>` and publish-time
+ * verification re-derives `model.mutate:<name>` from the key.
+ */
+function psetAttributeKey(pset, prop) {
+    return `bsi::ifc::v5a::${pset}::${prop}`;
+}
+/**
+ * Canonical wire shape for property values (#1031): scalars are wrapped
+ * in the typed record the collab snapshot pipeline emits, so equivalent
+ * edits hash identically in the merge engine regardless of which writer
+ * produced them. Already-typed records pass through; anything else
+ * (arrays, foreign objects, null) is written verbatim.
+ */
+function typedPropertyRecord(value) {
+    if (isTypedPropertyValue(value))
+        return value;
+    if (typeof value === 'boolean')
+        return { type: 'IfcBoolean', value };
+    if (typeof value === 'number') {
+        return { type: Number.isInteger(value) ? 'IfcInteger' : 'IfcReal', value };
+    }
+    if (typeof value === 'string')
+        return { type: 'IfcLabel', value };
+    return value;
+}
+function ifcClassOfEntity(doc, path) {
+    const entity = getEntity(doc, path);
+    if (!entity)
+        return undefined;
+    const ifcClass = entityToJSON(entity).meta.ifcClass;
+    return typeof ifcClass === 'string' ? ifcClass : undefined;
+}
+function requireField(op, index, field) {
+    const value = op[field];
+    if (typeof value !== 'string' || value.length === 0) {
+        throw new ToolExecutionError({
+            code: ToolErrorCode.INVALID_INPUT,
+            message: `ops[${index}]: '${op.op}' requires '${field}'.`,
+            details: { op: { ...op } },
+        });
+    }
+    return value;
+}
+function requireEntity(draft, op, index) {
+    if (!hasEntity(draft.doc, op.path)) {
+        throw new ToolExecutionError({
+            code: ToolErrorCode.ENTITY_NOT_FOUND,
+            message: `ops[${index}]: entity '${op.path}' not found in draft ${draft.id}.`,
+            details: { op: { ...op } },
+        });
+    }
+}
+const createDraftLayer = {
+    name: 'create_draft_layer',
+    description: 'Open a draft layer (CRDT session) bound to a base ref or layer. All writes land in drafts; ' +
+        '`scope` is a list of capability scope-claims that bound what the draft may touch.',
+    scope: 'mutate',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            base: { type: 'string', description: 'Ref name (e.g. "main") or published layer id. Omit for a baseless draft.' },
+            intent: { type: 'string', minLength: 1, description: 'Human-readable why — the layer log line.' },
+            scope: {
+                type: 'array',
+                items: { type: 'string' },
+                description: 'Scope claims, e.g. "model.mutate:Pset_FireSafety*@IfcWall". Empty/omitted = unrestricted.',
+            },
+        },
+        required: ['intent'],
+        additionalProperties: false,
+    },
+    handler(input, ctx) {
+        const ws = getLayerWorkspace(ctx.session?.id);
+        const rawClaims = input.scope ?? [];
+        const parsed = parseScopeClaims(rawClaims);
+        if (!parsed.ok) {
+            throw new ToolExecutionError({
+                code: ToolErrorCode.INVALID_INPUT,
+                message: 'Invalid scope claims.',
+                details: { errors: parsed.errors },
+                hint: 'Claims follow "scope.action[:target][@IfcType[&key=value]]".',
+            });
+        }
+        const { base, files } = resolveBase(ws, input.base);
+        const draft = createDraft(ws, {
+            base,
+            baseFiles: files,
+            intent: input.intent,
+            claims: parsed.value,
+            rawClaims,
+            owner: ctx.session?.principal,
+        });
+        return okResult(`Draft ${draft.id} created${base ? ` on ${base.kind} ${base.id}` : ' (no base)'}; ${fmtCount(rawClaims.length, 'scope claim')}.`, { draft_id: draft.id, base, scope: rawClaims });
+    },
+};
+const draftApplyOps = {
+    name: 'draft_apply_ops',
+    description: 'Apply entity operations to a draft layer. Each op is checked against the draft\'s scope claims ' +
+        'before it touches the document; violations return a structured error.',
+    scope: 'mutate',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            draft_id: { type: 'string' },
+            ops: {
+                type: 'array',
+                minItems: 1,
+                items: {
+                    type: 'object',
+                    properties: {
+                        op: { type: 'string', enum: ['create_entity', 'set_attribute', 'set_property', 'delete_entity'] },
+                        path: { type: 'string', description: 'Entity path, e.g. "site/wall-1".' },
+                        ifc_type: { type: 'string', minLength: 1, description: 'IFC class — required for create_entity, e.g. "IfcWall".' },
+                        name: { type: 'string', description: 'Attribute name for set_attribute.' },
+                        pset: { type: 'string', description: 'Property-set name for set_property.' },
+                        prop: { type: 'string', description: 'Property name for set_property.' },
+                        value: { description: 'Value for set_attribute / set_property.' },
+                    },
+                    required: ['op', 'path'],
+                    additionalProperties: false,
+                },
+            },
+        },
+        required: ['draft_id', 'ops'],
+        additionalProperties: false,
+    },
+    handler(input, ctx) {
+        const ws = getLayerWorkspace(ctx.session?.id);
+        const draft = requireOwnedDraft(ws, input.draft_id, ctx.session?.principal);
+        const ops = input.ops;
+        // WRITE-TIME ENFORCEMENT — derive and check every capability before a
+        // single op lands, so a denied batch leaves the draft untouched.
+        // `pendingTypes` lets later ops in the batch see classes of entities
+        // an earlier `create_entity` in the same batch will create.
+        const pendingTypes = new Map();
+        ops.forEach((op, index) => {
+            if (op.op === 'set_attribute')
+                requireField(op, index, 'name');
+            if (op.op === 'set_property') {
+                requireField(op, index, 'pset');
+                requireField(op, index, 'prop');
+            }
+            let ifcType;
+            if (op.op === 'create_entity') {
+                // A typeless entity would publish without bsi::ifc::class, losing
+                // the only stable signal type-scoped claims and merge rely on.
+                requireField(op, index, 'ifc_type');
+                ifcType = op.ifc_type;
+                pendingTypes.set(op.path, op.ifc_type);
+            }
+            else {
+                ifcType = ifcClassOfEntity(draft.doc, op.path) ?? pendingTypes.get(op.path);
+            }
+            assertOpWithinClaims(draft.claims, draft.rawClaims, descriptorForDraftOp(op, ifcType), op);
+        });
+        draft.doc.transact(() => {
+            ops.forEach((op, index) => {
+                switch (op.op) {
+                    case 'create_entity':
+                        createEntity(draft.doc, op.path, {
+                            ifcClass: op.ifc_type,
+                            attributes: { [ATTR.CLASS]: { code: op.ifc_type } },
+                        });
+                        break;
+                    case 'set_attribute':
+                        requireEntity(draft, op, index);
+                        setAttribute(draft.doc, op.path, op.name, op.value);
+                        break;
+                    case 'set_property':
+                        requireEntity(draft, op, index);
+                        setAttribute(draft.doc, op.path, psetAttributeKey(op.pset, op.prop), typedPropertyRecord(op.value));
+                        break;
+                    case 'delete_entity':
+                        requireEntity(draft, op, index);
+                        deleteEntity(draft.doc, op.path);
+                        break;
+                }
+            });
+        });
+        return okResult(`Applied ${fmtCount(ops.length, 'op')} to draft ${draft.id}.`, {
+            draft_id: draft.id,
+            applied: ops.length,
+        });
+    },
+};
+/** Freeze a draft via `publishLayer` without registering the result (previews). */
+export function publishDraftFile(draft, ctx) {
+    return publishLayer(draft.doc, {
+        intent: draft.intent,
+        author: {
+            kind: 'agent',
+            principal: ctx.scope.user ?? 'mcp-agent',
+            tool: '@ifc-lite/mcp',
+            session: draft.session,
+        },
+        baseline: draft.baseline,
+        base: draft.base,
+        scope_claim: [...draft.rawClaims],
+    });
+}
+const publishLayerTool = {
+    name: 'publish_layer',
+    description: 'Freeze a draft into an immutable content-addressed layer (blake3 id + provenance manifest). ' +
+        'Actual ops are re-verified against the manifest scope claims; mismatches are reported.',
+    scope: 'mutate',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            draft_id: { type: 'string' },
+        },
+        required: ['draft_id'],
+        additionalProperties: false,
+    },
+    handler(input, ctx) {
+        const ws = getLayerWorkspace(ctx.session?.id);
+        const draft = requireOwnedDraft(ws, input.draft_id, ctx.session?.principal);
+        const published = publishDraftFile(draft, ctx);
+        // PUBLISH-TIME verification: claims vs the ops actually frozen into
+        // the layer. Mismatches are surfaced, never silently accepted.
+        const verification = verifyLayerAgainstClaims(published.file, draft.baseFiles, draft.rawClaims);
+        ws.layers.set(published.layerId, published.file);
+        ws.drafts.delete(draft.id);
+        return okResult(`Published ${published.layerId} (${fmtCount(published.opCount, 'op')}); scope_verified=${verification.verified}.`, {
+            layer_id: published.layerId,
+            op_count: published.opCount,
+            scope_verified: verification.verified,
+            ...(verification.mismatches.length > 0 ? { mismatches: verification.mismatches } : {}),
+            checks: [],
+        });
+    },
+};
+export const draftLayerTools = [createDraftLayer, draftApplyOps, publishLayerTool];
+//# sourceMappingURL=layer.js.map

package/dist/tools/layer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer.js","sourceRoot":"","sources":["../../src/tools/layer.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;GAUG;AAEH,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,SAAS,EACT,SAAS,EACT,YAAY,EACZ,YAAY,GACb,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,IAAI,EAAE,oBAAoB,EAA2B,MAAM,gBAAgB,CAAC;AAIrF,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EACL,WAAW,EACX,iBAAiB,EACjB,WAAW,GACZ,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAEtD,OAAO,EACL,oBAAoB,EACpB,oBAAoB,EACpB,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AAGxB;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,IAAY,EAAE,IAAY;IAClD,OAAO,kBAAkB,IAAI,KAAK,IAAI,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,oBAAoB,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAA+B,CAAC;IAClG,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,EAA+B,CAAC;IAC1G,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAA+B,CAAC;IAC/F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAU,EAAE,IAAY;IAChD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;IACpD,OAAO,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,SAAS,YAAY,CAAC,EAAgB,EAAE,KAAa,EAAE,KAA4C;IACjG,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;IACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,kBAAkB,CAAC;YAC3B,IAAI,EAAE,aAAa,CAAC,aAAa;YACjC,OAAO,EAAE,OAAO,KAAK,OAAO,EAAE,CAAC,EAAE,eAAe,KAAK,IAAI;YACzD,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;SAC3B,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAiB,EAAE,EAAgB,EAAE,KAAa;IACvE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,kBAAkB,CAAC;YAC3B,IAAI,EAAE,aAAa,CAAC,gBAAgB;YACpC,OAAO,EAAE,OAAO,KAAK,cAAc,EAAE,CAAC,IAAI,wBAAwB,KAAK,CAAC,EAAE,GAAG;YAC7E,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;SAC3B,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,gBAAgB,GAAS;IAC7B,IAAI,EAAE,oBAAoB;IAC1B,WAAW,EACT,6FAA6F;QAC7F,mFAAmF;IACrF,KAAK,EAAE,QAAQ;IACf,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0EAA0E,EAAE;YACjH,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,0CAA0C,EAAE;YACjG,KAAK,EAAE;gBACL,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACzB,WAAW,EAAE,2FAA2F;aACzG;SACF;QACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;QACpB,oBAAoB,EAAE,KAAK;KAC5B;IACD,OAAO,CAAC,KAAK,EAAE,GAAG;QAChB,MAAM,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC9C,MAAM,SAAS,GAAI,KAAK,CAAC,KAA8B,IAAI,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,MAAM,IAAI,kBAAkB,CAAC;gBAC3B,IAAI,EAAE,aAAa,CAAC,aAAa;gBACjC,OAAO,EAAE,uBAAuB;gBAChC,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;gBAClC,IAAI,EAAE,8DAA8D;aACrE,CAAC,CAAC;QACL,CAAC;QACD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,WAAW,CAAC,EAAE,EAAE,KAAK,CAAC,IAA0B,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE;YAC5B,IAAI;YACJ,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,KAAK,CAAC,MAAgB;YAC9B,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,SAAS;YACT,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS;SAC9B,CAAC,CAAC;QACH,OAAO,QAAQ,CACb,SAAS,KAAK,CAAC,EAAE,WAAW,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,KAAK,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,EAChI,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAC/C,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,aAAa,GAAS;IAC1B,IAAI,EAAE,iBAAiB;IACvB,WAAW,EACT,iGAAiG;QACjG,uEAAuE;IACzE,KAAK,EAAE,QAAQ;IACf,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,GAAG,EAAE;gBACH,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE;wBACV,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,eAAe,EAAE,eAAe,EAAE,cAAc,EAAE,eAAe,CAAC,EAAE;wBACjG,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,kCAAkC,EAAE;wBACzE,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,yDAAyD,EAAE;wBAClH,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,mCAAmC,EAAE;wBAC1E,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qCAAqC,EAAE;wBAC5E,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iCAAiC,EAAE;wBACxE,KAAK,EAAE,EAAE,WAAW,EAAE,yCAAyC,EAAE;qBAClE;oBACD,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC;oBACxB,oBAAoB,EAAE,KAAK;iBAC5B;aACF;SACF;QACD,QAAQ,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC;QAC7B,oBAAoB,EAAE,KAAK;KAC5B;IACD,OAAO,CAAC,KAAK,EAAE,GAAG;QAChB,MAAM,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,QAAkB,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACtF,MAAM,GAAG,GAAG,KAAK,CAAC,GAAqB,CAAC;QAExC,sEAAsE;QACtE,iEAAiE;QACjE,qEAAqE;QACrE,4DAA4D;QAC5D,MAAM,YAAY,GAAG,IAAI,GAAG,EAA8B,CAAC;QAC3D,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;YACxB,IAAI,EAAE,CAAC,EAAE,KAAK,eAAe;gBAAE,YAAY,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC/D,IAAI,EAAE,CAAC,EAAE,KAAK,cAAc,EAAE,CAAC;gBAC7B,YAAY,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;gBAChC,YAAY,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAClC,CAAC;YACD,IAAI,OAA2B,CAAC;YAChC,IAAI,EAAE,CAAC,EAAE,KAAK,eAAe,EAAE,CAAC;gBAC9B,kEAAkE;gBAClE,+DAA+D;gBAC/D,YAAY,CAAC,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;gBACpC,OAAO,GAAG,EAAE,CAAC,QAAQ,CAAC;gBACtB,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;YACzC,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,gBAAgB,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC9E,CAAC;YACD,oBAAoB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE,oBAAoB,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7F,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE;YACtB,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;gBACxB,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;oBACd,KAAK,eAAe;wBAClB,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE;4BAC/B,QAAQ,EAAE,EAAE,CAAC,QAAQ;4BACrB,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,EAAE;yBACpD,CAAC,CAAC;wBACH,MAAM;oBACR,KAAK,eAAe;wBAClB,aAAa,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;wBAChC,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAc,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;wBAC9D,MAAM;oBACR,KAAK,cAAc;wBACjB,aAAa,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;wBAChC,YAAY,CACV,KAAK,CAAC,GAAG,EACT,EAAE,CAAC,IAAI,EACP,gBAAgB,CAAC,EAAE,CAAC,IAAc,EAAE,EAAE,CAAC,IAAc,CAAC,EACtD,mBAAmB,CAAC,EAAE,CAAC,KAAK,CAAC,CAC9B,CAAC;wBACF,MAAM;oBACR,KAAK,eAAe;wBAClB,aAAa,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;wBAChC,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;wBACjC,MAAM;gBACV,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,QAAQ,CAAC,WAAW,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,aAAa,KAAK,CAAC,EAAE,GAAG,EAAE;YAC7E,QAAQ,EAAE,KAAK,CAAC,EAAE;YAClB,OAAO,EAAE,GAAG,CAAC,MAAM;SACpB,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF,mFAAmF;AACnF,MAAM,UAAU,gBAAgB,CAAC,KAAiB,EAAE,GAAgB;IAClE,OAAO,YAAY,CAAC,KAAK,CAAC,GAAG,EAAE;QAC7B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE;YACN,IAAI,EAAE,OAAO;YACb,SAAS,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,WAAW;YACxC,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB;QACD,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,WAAW,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC;KAClC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,gBAAgB,GAAS;IAC7B,IAAI,EAAE,eAAe;IACrB,WAAW,EACT,8FAA8F;QAC9F,wFAAwF;IAC1F,KAAK,EAAE,QAAQ;IACf,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC7B;QACD,QAAQ,EAAE,CAAC,UAAU,CAAC;QACtB,oBAAoB,EAAE,KAAK;KAC5B;IACD,OAAO,CAAC,KAAK,EAAE,GAAG;QAChB,MAAM,EAAE,GAAG,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,QAAkB,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAEtF,MAAM,SAAS,GAAG,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/C,oEAAoE;QACpE,+DAA+D;QAC/D,MAAM,YAAY,GAAG,wBAAwB,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QAEhG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;QACjD,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAE3B,OAAO,QAAQ,CACb,aAAa,SAAS,CAAC,OAAO,KAAK,QAAQ,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,qBAAqB,YAAY,CAAC,QAAQ,GAAG,EACjH;YACE,QAAQ,EAAE,SAAS,CAAC,OAAO;YAC3B,QAAQ,EAAE,SAAS,CAAC,OAAO;YAC3B,cAAc,EAAE,YAAY,CAAC,QAAQ;YACrC,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACtF,MAAM,EAAE,EAAE;SACX,CACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAW,CAAC,gBAAgB,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC"}

package/dist/transport/http.d.ts

@@ -27,7 +27,15 @@ export interface HttpAuthenticator {
     authenticate(req: IncomingMessage): Promise<AuthScope | null> | AuthScope | null;
 }
 export interface SessionFactory {
-    /** Build a fresh MCPServer for this session. Called on `initialize`. */
+    /**
+     * Build a fresh MCPServer for this session. Called on `initialize`.
+     *
+     * The server MUST be constructed with `sessionId` (i.e.
+     * `createMCPServer({ ..., sessionId })`): it keys per-session state —
+     * the layer workspace in particular (#1030) — and its disposal on
+     * session end. The transport rejects servers built without it rather
+     * than letting every HTTP session silently share the local workspace.
+     */
     build(scope: AuthScope, sessionId: string): Promise<MCPServer> | MCPServer;
 }
 export interface HttpTransportOptions {
@@ -62,6 +70,8 @@ export declare class HttpTransport {
     private enforceHostCheck;
     constructor(opts: HttpTransportOptions);
     listen(): Promise<void>;
+    /** Actual bound port — differs from `opts.port` when listening on 0. */
+    port(): number | undefined;
     close(): Promise<void>;
     private handle;
     private openSse;

package/dist/transport/http.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"http.d.ts","sourceRoot":"","sources":["../../src/transport/http.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAgB,eAAe,EAA0B,MAAM,WAAW,CAAC;AAKlF,OAAO,EAAE,SAAS,EAAuB,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,MAAM,WAAW,iBAAiB;IAChC;;;OAGG;IACH,YAAY,CAAC,GAAG,EAAE,eAAe,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,SAAS,GAAG,IAAI,CAAC;CAClF;AAED,MAAM,WAAW,cAAc;IAC7B,wEAAwE;IACxE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC;CAC5E;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,iBAAiB,CAAC;IACjC,cAAc,EAAE,cAAc,CAAC;IAC/B,kCAAkC;IAClC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAUD,qBAAa,aAAa;IACxB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,QAAQ,CAA8B;IAC9C,OAAO,CAAC,IAAI,CAAuB;IACnC,kEAAkE;IAClE,OAAO,CAAC,cAAc,CAAc;IACpC,4DAA4D;IAC5D,OAAO,CAAC,YAAY,CAAc;IAClC;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB,CAAU;gBAEtB,IAAI,EAAE,oBAAoB;IA6BtC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC;IAOvB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAWR,MAAM;IAmHpB,OAAO,CAAC,OAAO;IAcf,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,WAAW;CAUpB;AA0ED,qBAAa,eAAgB,YAAW,iBAAiB;IAC3C,OAAO,CAAC,MAAM;gBAAN,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC;IAElD,YAAY,CAAC,GAAG,EAAE,eAAe,GAAG,SAAS,GAAG,IAAI;CAMrD;AAED,4EAA4E;AAC5E,qBAAa,YAAa,YAAW,iBAAiB;IACxC,OAAO,CAAC,KAAK;gBAAL,KAAK,EAAE,SAAS;IACpC,YAAY,IAAI,SAAS;CAC1B"}
+{"version":3,"file":"http.d.ts","sourceRoot":"","sources":["../../src/transport/http.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAgB,eAAe,EAA0B,MAAM,WAAW,CAAC;AAKlF,OAAO,EAAE,SAAS,EAAuB,MAAM,cAAc,CAAC;AAC9D,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAE7C,MAAM,WAAW,iBAAiB;IAChC;;;OAGG;IACH,YAAY,CAAC,GAAG,EAAE,eAAe,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,SAAS,GAAG,IAAI,CAAC;CAClF;AAED,MAAM,WAAW,cAAc;IAC7B;;;;;;;;OAQG;IACH,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC;CAC5E;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,iBAAiB,CAAC;IACjC,cAAc,EAAE,cAAc,CAAC;IAC/B,kCAAkC;IAClC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;CAC3B;AAUD,qBAAa,aAAa;IACxB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,QAAQ,CAA8B;IAC9C,OAAO,CAAC,IAAI,CAAuB;IACnC,kEAAkE;IAClE,OAAO,CAAC,cAAc,CAAc;IACpC,4DAA4D;IAC5D,OAAO,CAAC,YAAY,CAAc;IAClC;;;;;OAKG;IACH,OAAO,CAAC,gBAAgB,CAAU;gBAEtB,IAAI,EAAE,oBAAoB;IA6BtC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC;IAOvB,wEAAwE;IACxE,IAAI,IAAI,MAAM,GAAG,SAAS;IAK1B,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;YAWR,MAAM;IAkJpB,OAAO,CAAC,OAAO;IAcf,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,WAAW;CAUpB;AA0ED,qBAAa,eAAgB,YAAW,iBAAiB;IAC3C,OAAO,CAAC,MAAM;gBAAN,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC;IAElD,YAAY,CAAC,GAAG,EAAE,eAAe,GAAG,SAAS,GAAG,IAAI;CAMrD;AAED,4EAA4E;AAC5E,qBAAa,YAAa,YAAW,iBAAiB;IACxC,OAAO,CAAC,KAAK;gBAAL,KAAK,EAAE,SAAS;IACpC,YAAY,IAAI,SAAS;CAC1B"}