@ifc-lite/mcp 0.7.1 → 0.8.0

package/dist/tools/layer-ops.js

@@ -0,0 +1,130 @@
+/* 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/. */
+/**
+ * Capability derivation for draft ops — the shared vocabulary between
+ * write-time enforcement (each op matched against the draft's scope
+ * claims *before* it touches the Y.Doc) and publish-time verification
+ * (descriptors re-derived from the frozen layer's data nodes and checked
+ * against the manifest's `scope_claim`; mismatches are reported, never
+ * silently accepted).
+ *
+ * Spec: docs/architecture/layer-prs/06-agents.md §6.4, 07-security.md §7.1.
+ */
+import { findCoveringClaim, parseScopeClaims } from '@ifc-lite/extensions';
+import { extractStackState } from '@ifc-lite/merge';
+import { IFCLITE_ATTR } from '@ifc-lite/ifcx';
+import { ToolErrorCode, ToolExecutionError } from '../errors.js';
+import { ifcClassOfAttributes } from './layer-store.js';
+/** `Pset_*` / `Qto_*` segment anywhere in a namespaced attribute key. */
+const PSET_QTO_RE = /(?:^|::)((?:Pset|Qto)_[A-Za-z0-9_]+)(?:::|$)/;
+/**
+ * Capability target for an attribute key: the Pset/Qto set name when the
+ * key carries one, else the last `::` segment (write-time and publish-time
+ * use the same normalization so they cannot drift).
+ */
+export function mutationTarget(attributeKey) {
+    const match = PSET_QTO_RE.exec(attributeKey);
+    if (match)
+        return match[1];
+    const segments = attributeKey.split('::');
+    return segments[segments.length - 1];
+}
+/** Write-time descriptor for one draft op. */
+export function descriptorForDraftOp(op, ifcType) {
+    switch (op.op) {
+        case 'create_entity':
+            return { capability: 'model.create', ...(ifcType !== undefined ? { ifcType } : {}) };
+        case 'delete_entity':
+            return { capability: 'model.delete', ...(ifcType !== undefined ? { ifcType } : {}) };
+        case 'set_property':
+            return { capability: `model.mutate:${op.pset}`, ...(ifcType !== undefined ? { ifcType } : {}) };
+        case 'set_attribute':
+            return {
+                capability: `model.mutate:${mutationTarget(op.name ?? '')}`,
+                ...(ifcType !== undefined ? { ifcType } : {}),
+            };
+    }
+}
+/**
+ * Write-time enforcement: drafts with claims only accept covered ops;
+ * drafts with empty claims are unrestricted. Throws the structured error
+ * the agent can reason about.
+ */
+export function assertOpWithinClaims(claims, rawClaims, descriptor, op) {
+    if (claims.length === 0)
+        return;
+    if (findCoveringClaim(claims, descriptor))
+        return;
+    throw new ToolExecutionError({
+        code: ToolErrorCode.PERMISSION_DENIED,
+        message: `scope does not permit ${descriptor.capability}; request elevation or narrow the task`,
+        details: {
+            op: { ...op },
+            capability: descriptor.capability,
+            ifcType: descriptor.ifcType,
+            claims: [...rawClaims],
+        },
+        hint: 'Create a new draft with a wider scope, or drop the offending op.',
+    });
+}
+/**
+ * Publish-time descriptors from a frozen layer's data nodes (same mapping
+ * as the CLI's `deriveScopeOps`):
+ *   - tombstone opinion (`ifclite::deleted`) → model.delete
+ *   - path absent from the base stack state  → model.create
+ *   - attribute keys on existing entities    → model.mutate:<target>
+ * `ifclite::*` bookkeeping keys never produce ops.
+ */
+export function deriveLayerDescriptors(file, baseFiles) {
+    const baseState = extractStackState(baseFiles);
+    const out = [];
+    for (const node of file.data) {
+        const baseEntity = baseState.get(node.path);
+        const baseClassAttrs = baseEntity?.components.get('attr:class');
+        const ifcType = ifcClassOfAttributes(baseClassAttrs) ?? ifcClassOfAttributes(node.attributes);
+        const typed = ifcType !== undefined ? { ifcType } : {};
+        if (node.attributes?.[IFCLITE_ATTR.DELETED] === true) {
+            out.push({ capability: 'model.delete', path: node.path, ...typed });
+            continue;
+        }
+        if (baseEntity === undefined || baseEntity.deleted) {
+            out.push({ capability: 'model.create', path: node.path, ...typed });
+            continue;
+        }
+        for (const key of Object.keys(node.attributes ?? {})) {
+            if (key === IFCLITE_ATTR.DELETED || key.startsWith(IFCLITE_ATTR.DERIVED))
+                continue;
+            out.push({ capability: `model.mutate:${mutationTarget(key)}`, path: node.path, ...typed });
+        }
+    }
+    return out;
+}
+/**
+ * Verify a published layer's actual ops against its manifest scope claims.
+ * Empty claims mean an unrestricted draft — trivially verified.
+ */
+export function verifyLayerAgainstClaims(file, baseFiles, rawClaims) {
+    if (rawClaims.length === 0)
+        return { verified: true, mismatches: [] };
+    const parsed = parseScopeClaims(rawClaims);
+    if (!parsed.ok) {
+        throw new ToolExecutionError({
+            code: ToolErrorCode.INVALID_INPUT,
+            message: 'Manifest scope claims failed to parse during publish verification.',
+            details: { errors: parsed.errors },
+        });
+    }
+    const mismatches = [];
+    for (const descriptor of deriveLayerDescriptors(file, baseFiles)) {
+        if (findCoveringClaim(parsed.value, descriptor))
+            continue;
+        mismatches.push({
+            path: descriptor.path,
+            capability: descriptor.capability,
+            ...(descriptor.ifcType !== undefined ? { ifcType: descriptor.ifcType } : {}),
+        });
+    }
+    return { verified: mismatches.length === 0, mismatches };
+}
+//# sourceMappingURL=layer-ops.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"layer-ops.js","sourceRoot":"","sources":["../../src/tools/layer-ops.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;GASG;AAEH,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAE3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAcxD,yEAAyE;AACzE,MAAM,WAAW,GAAG,8CAA8C,CAAC;AAEnE;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,YAAoB;IACjD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC7C,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1C,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACvC,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,oBAAoB,CAAC,EAAgB,EAAE,OAA2B;IAChF,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QACd,KAAK,eAAe;YAClB,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACvF,KAAK,eAAe;YAClB,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QACvF,KAAK,cAAc;YACjB,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAClG,KAAK,eAAe;YAClB,OAAO;gBACL,UAAU,EAAE,gBAAgB,cAAc,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE;gBAC3D,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9C,CAAC;IACN,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAA6B,EAC7B,SAA4B,EAC5B,UAA6B,EAC7B,EAAgB;IAEhB,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAChC,IAAI,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC;QAAE,OAAO;IAClD,MAAM,IAAI,kBAAkB,CAAC;QAC3B,IAAI,EAAE,aAAa,CAAC,iBAAiB;QACrC,OAAO,EAAE,yBAAyB,UAAU,CAAC,UAAU,wCAAwC;QAC/F,OAAO,EAAE;YACP,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE;YACb,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,MAAM,EAAE,CAAC,GAAG,SAAS,CAAC;SACvB;QACD,IAAI,EAAE,kEAAkE;KACzE,CAAC,CAAC;AACL,CAAC;AAaD;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAc,EACd,SAA8B;IAE9B,MAAM,SAAS,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAgD,EAAE,CAAC;IAE5D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,cAAc,GAAG,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAChE,MAAM,OAAO,GACX,oBAAoB,CAAC,cAAc,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChF,MAAM,KAAK,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAEvD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;YACrD,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;YACpE,SAAS;QACX,CAAC;QACD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YACnD,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;YACpE,SAAS;QACX,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;YACrD,IAAI,GAAG,KAAK,YAAY,CAAC,OAAO,IAAI,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC;gBAAE,SAAS;YACnF,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,gBAAgB,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAAc,EACd,SAA8B,EAC9B,SAA4B;IAE5B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAEtE,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,IAAI,kBAAkB,CAAC;YAC3B,IAAI,EAAE,aAAa,CAAC,aAAa;YACjC,OAAO,EAAE,oEAAoE;YAC7E,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;SACnC,CAAC,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAoB,EAAE,CAAC;IACvC,KAAK,MAAM,UAAU,IAAI,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;QACjE,IAAI,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC;YAAE,SAAS;QAC1D,UAAU,CAAC,IAAI,CAAC;YACd,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,GAAG,CAAC,UAAU,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC7E,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC"}

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

@@ -0,0 +1,3 @@
+import type { Tool } from './types.js';
+export declare const layerReviewTools: Tool[];
+//# sourceMappingURL=layer-review.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"layer-review.d.ts","sourceRoot":"","sources":["../../src/tools/layer-review.ts"],"names":[],"mappings":"AAkBA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAmYvC,eAAO,MAAM,gBAAgB,EAAE,IAAI,EAQlC,CAAC"}

package/dist/tools/layer-review.js

@@ -0,0 +1,347 @@
+/* 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/. */
+/**
+ * Layer review tools (spec 06-agents.md §6.3): structured diff, dry-run
+ * merge previews, and the review loop (`request_review` →
+ * `add_review_feedback` → `get_review_feedback` → `respond_to_review`)
+ * that lets a reviewer reject per-entity decisions and the agent open a
+ * follow-up draft on the same base to address them.
+ */
+import { randomUUID } from 'node:crypto';
+import { computeStackHash, getProvenance } from '@ifc-lite/ifcx';
+import { parseScopeClaims } from '@ifc-lite/extensions';
+import { diffStackStates, extractStackState, planThreeWayMerge } from '@ifc-lite/merge';
+import { okResult, fmtCount } from './util.js';
+import { ToolErrorCode, ToolExecutionError } from '../errors.js';
+import { createDraft, getLayerWorkspace, refLayerFiles, resolveAncestorFiles, resolveAncestorFilesAnyRef, } from './layer-store.js';
+import { requireOwnedReview, requireReview, visibleDraftIds } from './layer-access.js';
+import { publishDraftFile } from './layer.js';
+/** Resolve a draft id or layer id into state/base/delta files. */
+function resolveCandidate(ws, id, ctx, into) {
+    const draft = ws.drafts.get(id);
+    if (draft) {
+        // Publish preview: `publishLayer` is pure w.r.t. the draft.
+        const preview = publishDraftFile(draft, ctx).file;
+        return {
+            stateFiles: [...draft.baseFiles, preview],
+            baseFiles: draft.baseFiles,
+            candidateFile: preview,
+            baseResolved: true,
+        };
+    }
+    const layer = ws.layers.get(id);
+    if (layer) {
+        const base = getProvenance(layer)?.base ?? null;
+        // With an explicit ref, resolve against it; otherwise search every
+        // ref — an empty ref list could never reconstruct a stack-hash base
+        // and the diff would misreport the whole layer as newly added.
+        const baseFiles = into !== undefined
+            ? resolveAncestorFiles(ws, base, ws.refs.get(into) ?? [])
+            : resolveAncestorFilesAnyRef(ws, base);
+        const baseResolved = base === null ||
+            baseFiles.length > 0 ||
+            (base.kind === 'stack' && base.id === computeStackHash([]));
+        return { stateFiles: [...baseFiles, layer], baseFiles, candidateFile: layer, baseResolved };
+    }
+    // Published layers carry no owner (immutable, workspace-shared); drafts
+    // do, so only the caller's own / unowned draft ids may be enumerated.
+    throw new ToolExecutionError({
+        code: ToolErrorCode.ENTITY_NOT_FOUND,
+        message: `'${id}' is neither an open draft nor a published layer.`,
+        details: { drafts: visibleDraftIds(ws, ctx.session?.principal), layers: Array.from(ws.layers.keys()) },
+    });
+}
+/** Resolve the `against` side of a diff: ref name, layer id, or draft id. */
+function resolveStateFiles(ws, id, ctx) {
+    if (ws.refs.has(id))
+        return refLayerFiles(ws, id);
+    return resolveCandidate(ws, id, ctx).stateFiles;
+}
+function planMerge(ws, input, ctx) {
+    const into = input.into;
+    if (!ws.refs.has(into)) {
+        throw new ToolExecutionError({
+            code: ToolErrorCode.ENTITY_NOT_FOUND,
+            message: `Unknown ref '${into}'.`,
+            details: { refs: Array.from(ws.refs.keys()) },
+        });
+    }
+    const ours = refLayerFiles(ws, into);
+    const candidate = resolveCandidate(ws, input.layer_or_draft, ctx, into);
+    const plan = planThreeWayMerge({
+        ancestor: candidate.baseFiles,
+        ours,
+        theirs: [...candidate.baseFiles, candidate.candidateFile],
+    });
+    return { plan, baseResolved: candidate.baseResolved };
+}
+function conflictsJson(plan) {
+    return plan.conflicts.map((c) => ({
+        kind: c.kind,
+        path: c.path,
+        ...(c.componentKey !== undefined ? { componentKey: c.componentKey } : {}),
+    }));
+}
+const diffLayer = {
+    name: 'diff_layer',
+    description: 'Structured diff of a draft or published layer against a ref, layer, or draft ' +
+        '(defaults to the candidate\'s own base). Same JSON shape the review UI consumes.',
+    scope: 'read',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            layer_or_draft: { type: 'string', description: 'Draft id or published layer id.' },
+            against: { type: 'string', description: 'Ref name, layer id, or draft id to diff against. Defaults to the candidate\'s base.' },
+        },
+        required: ['layer_or_draft'],
+        additionalProperties: false,
+    },
+    handler(input, ctx) {
+        const ws = getLayerWorkspace(ctx.session?.id);
+        const candidate = resolveCandidate(ws, input.layer_or_draft, ctx);
+        const leftFiles = input.against !== undefined
+            ? resolveStateFiles(ws, input.against, ctx)
+            : candidate.baseFiles;
+        // The shared contract from `@ifc-lite/merge` — CLI and review UI emit
+        // the identical JSON (deterministically ordered).
+        const diff = diffStackStates(extractStackState(leftFiles), extractStackState(candidate.stateFiles));
+        return okResult(`Diff: +${diff.added.length} / -${diff.deleted.length} / ~${diff.modified.length} entities.`, {
+            added: diff.added,
+            deleted: diff.deleted,
+            modified: diff.modified,
+            base_resolved: candidate.baseResolved,
+        });
+    },
+};
+const dryRunMerge = {
+    name: 'dry_run_merge',
+    description: 'Preview merging a draft or layer into a ref: MergePlan conflicts and auto-op count. No side effects.',
+    scope: 'read',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            layer_or_draft: { type: 'string' },
+            into: { type: 'string', description: 'Target ref name.' },
+        },
+        required: ['layer_or_draft', 'into'],
+        additionalProperties: false,
+    },
+    handler(input, ctx) {
+        const { plan, baseResolved } = planMerge(getLayerWorkspace(ctx.session?.id), input, ctx);
+        return okResult(`Merge preview into '${input.into}': ${fmtCount(plan.conflicts.length, 'conflict')}, ${plan.autoOps.length} auto op(s).`, { conflicts: conflictsJson(plan), auto_op_count: plan.autoOps.length, base_resolved: baseResolved });
+    },
+};
+const listConflicts = {
+    name: 'list_conflicts',
+    description: 'Conflict records a merge of the candidate into the ref would produce. No side effects.',
+    scope: 'read',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            layer_or_draft: { type: 'string' },
+            into: { type: 'string', description: 'Target ref name.' },
+        },
+        required: ['layer_or_draft', 'into'],
+        additionalProperties: false,
+    },
+    handler(input, ctx) {
+        const { plan, baseResolved } = planMerge(getLayerWorkspace(ctx.session?.id), input, ctx);
+        return okResult(`${fmtCount(plan.conflicts.length, 'conflict')}.`, {
+            conflicts: conflictsJson(plan),
+            base_resolved: baseResolved,
+        });
+    },
+};
+const requestReview = {
+    name: 'request_review',
+    description: 'Open a review (the PR object) proposing a published layer for merge into a ref.',
+    scope: 'mutate',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            layer_id: { type: 'string' },
+            into: { type: 'string', description: 'Target ref name.' },
+            reviewers: { type: 'array', items: { type: 'string' } },
+        },
+        required: ['layer_id', 'into'],
+        additionalProperties: false,
+    },
+    handler(input, ctx) {
+        const ws = getLayerWorkspace(ctx.session?.id);
+        const layerId = input.layer_id;
+        if (!ws.layers.has(layerId)) {
+            throw new ToolExecutionError({
+                code: ToolErrorCode.ENTITY_NOT_FOUND,
+                message: `Unknown layer '${layerId}'. Publish the draft first.`,
+            });
+        }
+        const into = input.into;
+        if (!ws.refs.has(into)) {
+            throw new ToolExecutionError({
+                code: ToolErrorCode.ENTITY_NOT_FOUND,
+                message: `Unknown ref '${into}' — a review must target an existing ref.`,
+                details: { refs: Array.from(ws.refs.keys()) },
+            });
+        }
+        const review = {
+            id: randomUUID(),
+            layerId,
+            into,
+            reviewers: input.reviewers ?? [],
+            status: 'open',
+            feedback: [],
+            responses: [],
+            owner: ctx.session?.principal,
+        };
+        ws.reviews.set(review.id, review);
+        return okResult(`Review ${review.id} opened: ${layerId} → '${review.into}'.`, { review_id: review.id });
+    },
+};
+const addReviewFeedback = {
+    name: 'add_review_feedback',
+    description: 'Record per-entity reviewer decisions (and optionally a status change) on an open review.',
+    scope: 'mutate',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            review_id: { type: 'string' },
+            decisions: {
+                type: 'array',
+                minItems: 1,
+                items: {
+                    type: 'object',
+                    properties: {
+                        entity: { type: 'string' },
+                        component_key: { type: 'string' },
+                        decision: { type: 'string', enum: ['accept', 'reject'] },
+                        comment: { type: 'string' },
+                    },
+                    required: ['entity', 'decision'],
+                    additionalProperties: false,
+                },
+            },
+            status: { type: 'string', enum: ['changes-requested', 'approved'] },
+        },
+        required: ['review_id', 'decisions'],
+        additionalProperties: false,
+    },
+    handler(input, ctx) {
+        const ws = getLayerWorkspace(ctx.session?.id);
+        const review = requireOwnedReview(ws, input.review_id, ctx.session?.principal, {
+            allowReviewers: true,
+        });
+        const decisions = input.decisions;
+        for (const d of decisions) {
+            const entry = { entity: d.entity, decision: d.decision };
+            if (d.component_key !== undefined)
+                entry.componentKey = d.component_key;
+            if (d.comment !== undefined)
+                entry.comment = d.comment;
+            review.feedback.push(entry);
+        }
+        if (input.status === 'approved') {
+            // No self-approval — mirrors the registry route: the layer's
+            // manifest author cannot satisfy the approval their own merge needs.
+            const layer = ws.layers.get(review.layerId);
+            const author = layer ? getProvenance(layer)?.author.principal : undefined;
+            if (author !== undefined && ctx.session?.principal !== undefined && author === ctx.session.principal) {
+                throw new ToolExecutionError({
+                    code: ToolErrorCode.INVALID_INPUT,
+                    message: `Layer author '${author}' cannot approve their own review ${review.id}.`,
+                });
+            }
+        }
+        if (input.status !== undefined)
+            review.status = input.status;
+        return okResult(`Recorded ${fmtCount(decisions.length, 'decision')} on review ${review.id}; status=${review.status}.`, { review_id: review.id, status: review.status, decision_count: review.feedback.length });
+    },
+};
+const getReviewFeedback = {
+    name: 'get_review_feedback',
+    description: 'Read a review\'s status and per-entity decisions, structured for the agent to act on.',
+    scope: 'read',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            review_id: { type: 'string' },
+        },
+        required: ['review_id'],
+        additionalProperties: false,
+    },
+    handler(input, ctx) {
+        const review = requireReview(getLayerWorkspace(ctx.session?.id), input.review_id, ctx.session?.principal);
+        return okResult(`Review ${review.id}: status=${review.status}, ${fmtCount(review.feedback.length, 'decision')}.`, {
+            review_id: review.id,
+            layer_id: review.layerId,
+            into: review.into,
+            status: review.status,
+            decisions: review.feedback.map((d) => ({
+                entity: d.entity,
+                ...(d.componentKey !== undefined ? { component_key: d.componentKey } : {}),
+                decision: d.decision,
+                ...(d.comment !== undefined ? { comment: d.comment } : {}),
+            })),
+            responses: [...review.responses],
+        });
+    },
+};
+const respondToReview = {
+    name: 'respond_to_review',
+    description: 'Open a follow-up draft on the reviewed layer\'s base so the agent can address feedback; ' +
+        'the draft is recorded as a response on the review.',
+    scope: 'mutate',
+    inputSchema: {
+        type: 'object',
+        properties: {
+            review_id: { type: 'string' },
+            intent: { type: 'string', description: 'Intent for the follow-up draft. Defaults to a reference to the review.' },
+        },
+        required: ['review_id'],
+        additionalProperties: false,
+    },
+    handler(input, ctx) {
+        const ws = getLayerWorkspace(ctx.session?.id);
+        const review = requireOwnedReview(ws, input.review_id, ctx.session?.principal);
+        const layer = ws.layers.get(review.layerId);
+        if (!layer) {
+            throw new ToolExecutionError({
+                code: ToolErrorCode.INTERNAL_ERROR,
+                message: `Review ${review.id} references unknown layer ${review.layerId}.`,
+            });
+        }
+        const manifest = getProvenance(layer);
+        const base = manifest?.base ?? null;
+        const baseFiles = resolveAncestorFiles(ws, base, ws.refs.get(review.into) ?? []);
+        const rawClaims = manifest?.scope_claim ?? [];
+        const parsed = parseScopeClaims(rawClaims);
+        if (!parsed.ok) {
+            throw new ToolExecutionError({
+                code: ToolErrorCode.INVALID_INPUT,
+                message: `Reviewed layer carries unparseable scope claims.`,
+                details: { errors: parsed.errors },
+            });
+        }
+        const draft = createDraft(ws, {
+            base,
+            baseFiles,
+            intent: input.intent ?? `Address review ${review.id} feedback on ${review.layerId}`,
+            claims: parsed.value,
+            rawClaims: [...rawClaims],
+            session: manifest?.author.session,
+            owner: ctx.session?.principal,
+        });
+        review.responses.push(draft.id);
+        return okResult(`Follow-up draft ${draft.id} opened for review ${review.id} (same base and scope as ${review.layerId}).`, { draft_id: draft.id, review_id: review.id, base, scope: [...rawClaims] });
+    },
+};
+export const layerReviewTools = [
+    diffLayer,
+    dryRunMerge,
+    listConflicts,
+    requestReview,
+    addReviewFeedback,
+    getReviewFeedback,
+    respondToReview,
+];
+//# sourceMappingURL=layer-review.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"layer-review.js","sourceRoot":"","sources":["../../src/tools/layer-review.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;GAMG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAEjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAIxF,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,aAAa,EACb,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEvF,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAkB9C,kEAAkE;AAClE,SAAS,gBAAgB,CAAC,EAAkB,EAAE,EAAU,EAAE,GAAgB,EAAE,IAAa;IACvF,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,KAAK,EAAE,CAAC;QACV,4DAA4D;QAC5D,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC;QAClD,OAAO;YACL,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC;YACzC,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,aAAa,EAAE,OAAO;YACtB,YAAY,EAAE,IAAI;SACnB,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC;QAChD,mEAAmE;QACnE,oEAAoE;QACpE,+DAA+D;QAC/D,MAAM,SAAS,GACb,IAAI,KAAK,SAAS;YAChB,CAAC,CAAC,oBAAoB,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACzD,CAAC,CAAC,0BAA0B,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3C,MAAM,YAAY,GAChB,IAAI,KAAK,IAAI;YACb,SAAS,CAAC,MAAM,GAAG,CAAC;YACpB,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,EAAE,KAAK,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9D,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,SAAS,EAAE,KAAK,CAAC,EAAE,SAAS,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;IAC9F,CAAC;IACD,wEAAwE;IACxE,sEAAsE;IACtE,MAAM,IAAI,kBAAkB,CAAC;QAC3B,IAAI,EAAE,aAAa,CAAC,gBAAgB;QACpC,OAAO,EAAE,IAAI,EAAE,mDAAmD;QAClE,OAAO,EAAE,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE;KACvG,CAAC,CAAC;AACL,CAAC;AAED,6EAA6E;AAC7E,SAAS,iBAAiB,CAAC,EAAkB,EAAE,EAAU,EAAE,GAAgB;IACzE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,aAAa,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAClD,OAAO,gBAAgB,CAAC,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC;AAClD,CAAC;AAED,SAAS,SAAS,CAChB,EAAkB,EAClB,KAA8B,EAC9B,GAAgB;IAEhB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,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,MAAM,IAAI,GAAG,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,cAAwB,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAClF,MAAM,IAAI,GAAG,iBAAiB,CAAC;QAC7B,QAAQ,EAAE,SAAS,CAAC,SAAS;QAC7B,IAAI;QACJ,MAAM,EAAE,CAAC,GAAG,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,aAAa,CAAC;KAC1D,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,CAAC,YAAY,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,aAAa,CAAC,IAAe;IACpC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChC,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,GAAG,CAAC,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1E,CAAC,CAAC,CAAC;AACN,CAAC;AAED,MAAM,SAAS,GAAS;IACtB,IAAI,EAAE,YAAY;IAClB,WAAW,EACT,+EAA+E;QAC/E,kFAAkF;IACpF,KAAK,EAAE,MAAM;IACb,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iCAAiC,EAAE;YAClF,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qFAAqF,EAAE;SAChI;QACD,QAAQ,EAAE,CAAC,gBAAgB,CAAC;QAC5B,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,GAAG,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,cAAwB,EAAE,GAAG,CAAC,CAAC;QAC5E,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,KAAK,SAAS;YAC3C,CAAC,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,OAAiB,EAAE,GAAG,CAAC;YACrD,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC;QACxB,sEAAsE;QACtE,kDAAkD;QAClD,MAAM,IAAI,GAAG,eAAe,CAAC,iBAAiB,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;QACpG,OAAO,QAAQ,CACb,UAAU,IAAI,CAAC,KAAK,CAAC,MAAM,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,YAAY,EAC5F;YACE,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,aAAa,EAAE,SAAS,CAAC,YAAY;SACtC,CACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,WAAW,GAAS;IACxB,IAAI,EAAE,eAAe;IACrB,WAAW,EACT,sGAAsG;IACxG,KAAK,EAAE,MAAM;IACb,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,kBAAkB,EAAE;SAC1D;QACD,QAAQ,EAAE,CAAC,gBAAgB,EAAE,MAAM,CAAC;QACpC,oBAAoB,EAAE,KAAK;KAC5B;IACD,OAAO,CAAC,KAAK,EAAE,GAAG;QAChB,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACzF,OAAO,QAAQ,CACb,uBAAuB,KAAK,CAAC,IAAc,MAAM,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,cAAc,EAClI,EAAE,SAAS,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,CACpG,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,aAAa,GAAS;IAC1B,IAAI,EAAE,gBAAgB;IACtB,WAAW,EAAE,wFAAwF;IACrG,KAAK,EAAE,MAAM;IACb,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAClC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,kBAAkB,EAAE;SAC1D;QACD,QAAQ,EAAE,CAAC,gBAAgB,EAAE,MAAM,CAAC;QACpC,oBAAoB,EAAE,KAAK;KAC5B;IACD,OAAO,CAAC,KAAK,EAAE,GAAG;QAChB,MAAM,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QACzF,OAAO,QAAQ,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,EAAE;YACjE,SAAS,EAAE,aAAa,CAAC,IAAI,CAAC;YAC9B,aAAa,EAAE,YAAY;SAC5B,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF,MAAM,aAAa,GAAS;IAC1B,IAAI,EAAE,gBAAgB;IACtB,WAAW,EAAE,iFAAiF;IAC9F,KAAK,EAAE,QAAQ;IACf,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC5B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,kBAAkB,EAAE;YACzD,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;SACxD;QACD,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC;QAC9B,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,OAAO,GAAG,KAAK,CAAC,QAAkB,CAAC;QACzC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,kBAAkB,CAAC;gBAC3B,IAAI,EAAE,aAAa,CAAC,gBAAgB;gBACpC,OAAO,EAAE,kBAAkB,OAAO,6BAA6B;aAChE,CAAC,CAAC;QACL,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAc,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,kBAAkB,CAAC;gBAC3B,IAAI,EAAE,aAAa,CAAC,gBAAgB;gBACpC,OAAO,EAAE,gBAAgB,IAAI,2CAA2C;gBACxE,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;aAC9C,CAAC,CAAC;QACL,CAAC;QACD,MAAM,MAAM,GAAgB;YAC1B,EAAE,EAAE,UAAU,EAAE;YAChB,OAAO;YACP,IAAI;YACJ,SAAS,EAAG,KAAK,CAAC,SAAkC,IAAI,EAAE;YAC1D,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,EAAE;YACZ,SAAS,EAAE,EAAE;YACb,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS;SAC9B,CAAC;QACF,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAClC,OAAO,QAAQ,CAAC,UAAU,MAAM,CAAC,EAAE,YAAY,OAAO,OAAO,MAAM,CAAC,IAAI,IAAI,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1G,CAAC;CACF,CAAC;AASF,MAAM,iBAAiB,GAAS;IAC9B,IAAI,EAAE,qBAAqB;IAC3B,WAAW,EAAE,0FAA0F;IACvG,KAAK,EAAE,QAAQ;IACf,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC7B,SAAS,EAAE;gBACT,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,CAAC;gBACX,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,UAAU,EAAE;wBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;wBAC1B,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;wBACjC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;wBACxD,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;qBAC5B;oBACD,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;oBAChC,oBAAoB,EAAE,KAAK;iBAC5B;aACF;YACD,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,mBAAmB,EAAE,UAAU,CAAC,EAAE;SACpE;QACD,QAAQ,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC;QACpC,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,MAAM,GAAG,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,SAAmB,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE;YACvF,cAAc,EAAE,IAAI;SACrB,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,KAAK,CAAC,SAA4B,CAAC;QACrD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAmB,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;YACzE,IAAI,CAAC,CAAC,aAAa,KAAK,SAAS;gBAAE,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,aAAa,CAAC;YACxE,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;gBAAE,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;YACvD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAChC,6DAA6D;YAC7D,qEAAqE;YACrE,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YAC5C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;YAC1E,IAAI,MAAM,KAAK,SAAS,IAAI,GAAG,CAAC,OAAO,EAAE,SAAS,KAAK,SAAS,IAAI,MAAM,KAAK,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;gBACrG,MAAM,IAAI,kBAAkB,CAAC;oBAC3B,IAAI,EAAE,aAAa,CAAC,aAAa;oBACjC,OAAO,EAAE,iBAAiB,MAAM,qCAAqC,MAAM,CAAC,EAAE,GAAG;iBAClF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,MAAM,CAAC,MAAM,GAAG,KAAK,CAAC,MAAsB,CAAC;QAC7E,OAAO,QAAQ,CACb,YAAY,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,cAAc,MAAM,CAAC,EAAE,YAAY,MAAM,CAAC,MAAM,GAAG,EACrG,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CACxF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,iBAAiB,GAAS;IAC9B,IAAI,EAAE,qBAAqB;IAC3B,WAAW,EAAE,uFAAuF;IACpG,KAAK,EAAE,MAAM;IACb,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC9B;QACD,QAAQ,EAAE,CAAC,WAAW,CAAC;QACvB,oBAAoB,EAAE,KAAK;KAC5B;IACD,OAAO,CAAC,KAAK,EAAE,GAAG;QAChB,MAAM,MAAM,GAAG,aAAa,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,SAAmB,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACpH,OAAO,QAAQ,CACb,UAAU,MAAM,CAAC,EAAE,YAAY,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,EAChG;YACE,SAAS,EAAE,MAAM,CAAC,EAAE;YACpB,QAAQ,EAAE,MAAM,CAAC,OAAO;YACxB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrC,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,GAAG,CAAC,CAAC,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1E,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,GAAG,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC3D,CAAC,CAAC;YACH,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;SACjC,CACF,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,eAAe,GAAS;IAC5B,IAAI,EAAE,mBAAmB;IACzB,WAAW,EACT,0FAA0F;QAC1F,oDAAoD;IACtD,KAAK,EAAE,QAAQ;IACf,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;YAC7B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,wEAAwE,EAAE;SAClH;QACD,QAAQ,EAAE,CAAC,WAAW,CAAC;QACvB,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,MAAM,GAAG,kBAAkB,CAAC,EAAE,EAAE,KAAK,CAAC,SAAmB,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QACzF,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,kBAAkB,CAAC;gBAC3B,IAAI,EAAE,aAAa,CAAC,cAAc;gBAClC,OAAO,EAAE,UAAU,MAAM,CAAC,EAAE,6BAA6B,MAAM,CAAC,OAAO,GAAG;aAC3E,CAAC,CAAC;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,QAAQ,EAAE,IAAI,IAAI,IAAI,CAAC;QACpC,MAAM,SAAS,GAAG,oBAAoB,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACjF,MAAM,SAAS,GAAG,QAAQ,EAAE,WAAW,IAAI,EAAE,CAAC;QAC9C,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,kDAAkD;gBAC3D,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;aACnC,CAAC,CAAC;QACL,CAAC;QACD,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,EAAE;YAC5B,IAAI;YACJ,SAAS;YACT,MAAM,EAAG,KAAK,CAAC,MAA6B,IAAI,kBAAkB,MAAM,CAAC,EAAE,gBAAgB,MAAM,CAAC,OAAO,EAAE;YAC3G,MAAM,EAAE,MAAM,CAAC,KAAK;YACpB,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC;YACzB,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO;YACjC,KAAK,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS;SAC9B,CAAC,CAAC;QACH,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChC,OAAO,QAAQ,CACb,mBAAmB,KAAK,CAAC,EAAE,sBAAsB,MAAM,CAAC,EAAE,4BAA4B,MAAM,CAAC,OAAO,IAAI,EACxG,EAAE,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,CAC1E,CAAC;IACJ,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAW;IACtC,SAAS;IACT,WAAW;IACX,aAAa;IACb,aAAa;IACb,iBAAiB;IACjB,iBAAiB;IACjB,eAAe;CAChB,CAAC"}

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

@@ -0,0 +1,96 @@
+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';
+export interface LayerReview {
+    id: string;
+    layerId: string;
+    into: string;
+    reviewers: string[];
+    status: ReviewStatus;
+    feedback: ReviewDecision[];
+    /** 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,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,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"}