@ifc-lite/mcp 0.7.2 → 0.9.0

package/dist/tools/layer-store.d.ts

@@ -0,0 +1,112 @@
+import * as Y from 'yjs';
+import type { ScopeClaim } from '@ifc-lite/extensions';
+import type { IfcxFile, ProvenanceBase } from '@ifc-lite/ifcx';
+export interface DraftLayer {
+    id: string;
+    doc: Y.Doc;
+    /** `Y.encodeStateAsUpdate(doc)` at creation — what `publishLayer` diffs against. */
+    baseline: Uint8Array;
+    base: ProvenanceBase | null;
+    /** Resolved base stack (weakest first) for merge previews; may be []. */
+    baseFiles: IfcxFile[];
+    intent: string;
+    claims: ScopeClaim[];
+    rawClaims: string[];
+    session: string;
+    /** Creating principal; undefined = unauthenticated/local → accessible to anyone in the workspace. */
+    owner?: string;
+    createdAt: string;
+}
+export interface ReviewDecision {
+    entity: string;
+    componentKey?: string;
+    decision: 'accept' | 'reject';
+    comment?: string;
+}
+export type ReviewStatus = 'open' | 'changes-requested' | 'approved';
+/**
+ * A review comment as a BCF-shaped topic bound to (review, entity,
+ * componentKey?) per 08-review.md §8.6 — same shape the registry stores,
+ * so agents read one structure in both places.
+ */
+export interface ReviewTopic {
+    guid: string;
+    title: string;
+    description?: string;
+    entity: string;
+    componentKey?: string;
+    author?: string;
+    createdAt: string;
+}
+export interface LayerReview {
+    id: string;
+    layerId: string;
+    into: string;
+    reviewers: string[];
+    status: ReviewStatus;
+    feedback: ReviewDecision[];
+    /** BCF-shaped review comments (8.6); empty until someone comments. */
+    topics: ReviewTopic[];
+    /** Follow-up draft ids opened via `respond_to_review`. */
+    responses: string[];
+    /** Requesting principal; undefined = unauthenticated/local → accessible to anyone in the workspace. */
+    owner?: string;
+}
+export interface LayerWorkspace {
+    drafts: Map<string, DraftLayer>;
+    layers: Map<string, IfcxFile>;
+    refs: Map<string, string[]>;
+    reviews: Map<string, LayerReview>;
+}
+export declare function createLayerWorkspace(): LayerWorkspace;
+export declare function getLayerWorkspace(sessionId?: string): LayerWorkspace;
+/**
+ * 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 declare function disposeLayerWorkspace(sessionId: string): void;
+/** Test hook: drop all draft spaces and shared state; return a fresh local workspace. */
+export declare function resetLayerWorkspace(): LayerWorkspace;
+/** Files for a ref, erroring on dangling layer ids (corrupt workspace). */
+export declare function refLayerFiles(ws: LayerWorkspace, name: string): IfcxFile[];
+export interface ResolvedBase {
+    base: ProvenanceBase | null;
+    files: IfcxFile[];
+}
+/** Resolve a base spec (ref name or layer id; absent → no base). */
+export declare function resolveBase(ws: LayerWorkspace, ref?: string): ResolvedBase;
+/**
+ * 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 declare function resolveAncestorFiles(ws: LayerWorkspace, base: ProvenanceBase | null, refIds: readonly string[]): IfcxFile[];
+/**
+ * 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 declare function resolveAncestorFilesAnyRef(ws: LayerWorkspace, base: ProvenanceBase | null): IfcxFile[];
+/** Read the IfcClass code off the well-known class attribute, if present. */
+export declare function ifcClassOfAttributes(attributes: Record<string, unknown> | undefined): string | 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 declare function seedDraftDoc(doc: Y.Doc, files: readonly IfcxFile[]): void;
+export interface CreateDraftInit {
+    base: ProvenanceBase | null;
+    baseFiles: IfcxFile[];
+    intent: string;
+    claims: ScopeClaim[];
+    rawClaims: string[];
+    session?: string;
+    owner?: string;
+}
+/** Build, seed, baseline, and register a new draft. */
+export declare function createDraft(ws: LayerWorkspace, init: CreateDraftInit): DraftLayer;
+//# sourceMappingURL=layer-store.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"layer-store.d.ts","sourceRoot":"","sources":["../../src/tools/layer-store.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAazB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAG/D,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC;IACX,oFAAoF;IACpF,QAAQ,EAAE,UAAU,CAAC;IACrB,IAAI,EAAE,cAAc,GAAG,IAAI,CAAC;IAC5B,yEAAyE;IACzE,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,qGAAqG;IACrG,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC9B,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,mBAAmB,GAAG,UAAU,CAAC;AAErE;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,YAAY,CAAC;IACrB,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,sEAAsE;IACtE,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,uGAAuG;IACvG,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9B,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC5B,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CACnC;AAED,wBAAgB,oBAAoB,IAAI,cAAc,CAOrD;AAwBD,wBAAgB,iBAAiB,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,cAAc,CAQpE;AAOD;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAK7D;AAED,yFAAyF;AACzF,wBAAgB,mBAAmB,IAAI,cAAc,CAQpD;AAED,2EAA2E;AAC3E,wBAAgB,aAAa,CAAC,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAmB1E;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,cAAc,GAAG,IAAI,CAAC;IAC5B,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB;AAED,oEAAoE;AACpE,wBAAgB,WAAW,CAAC,EAAE,EAAE,cAAc,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,YAAY,CAwB1E;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,EAAE,EAAE,cAAc,EAClB,IAAI,EAAE,cAAc,GAAG,IAAI,EAC3B,MAAM,EAAE,SAAS,MAAM,EAAE,GACxB,QAAQ,EAAE,CAgBZ;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,EAAE,EAAE,cAAc,EAClB,IAAI,EAAE,cAAc,GAAG,IAAI,GAC1B,QAAQ,EAAE,CAQZ;AAED,6EAA6E;AAC7E,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAOxG;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,SAAS,QAAQ,EAAE,GAAG,IAAI,CAkBzE;AA4CD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,cAAc,GAAG,IAAI,CAAC;IAC5B,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,uDAAuD;AACvD,wBAAgB,WAAW,CAAC,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,eAAe,GAAG,UAAU,CAkBjF"}

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;AAiEjE,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"}