@ifc-lite/ids-authoring 0.0.0-stage → 0.2.1

package/dist/gate/rank.js

@@ -0,0 +1,68 @@
+/* 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/. */
+/** Optimal-string-alignment distance (Damerau-Levenshtein with adjacent transpositions). */
+export function osaDistance(a, b) {
+    if (a === b)
+        return 0;
+    if (!a.length)
+        return b.length;
+    if (!b.length)
+        return a.length;
+    let prev2 = [];
+    let prev = Array.from({ length: b.length + 1 }, (_, j) => j);
+    for (let i = 1; i <= a.length; i++) {
+        const cur = [i];
+        for (let j = 1; j <= b.length; j++) {
+            const cost = a[i - 1] === b[j - 1] ? 0 : 1;
+            let d = Math.min(prev[j] + 1, cur[j - 1] + 1, prev[j - 1] + cost);
+            if (i > 1 && j > 1 && a[i - 1] === b[j - 2] && a[i - 2] === b[j - 1])
+                d = Math.min(d, prev2[j - 2] + 1);
+            cur.push(d);
+        }
+        prev2 = prev;
+        prev = cur;
+    }
+    return prev[b.length];
+}
+export function tokens(s) {
+    const parts = s
+        .replace(/([a-z0-9])([A-Z])/g, '$1 $2')
+        .replace(/([A-Z]+)([A-Z][a-z])/g, '$1 $2')
+        .split(/[^A-Za-z0-9]+/)
+        .map((t) => t.toLowerCase())
+        .filter(Boolean);
+    return new Set(parts);
+}
+function jaccard(a, b) {
+    if (!a.size && !b.size)
+        return 1;
+    let inter = 0;
+    for (const t of a)
+        if (b.has(t))
+            inter++;
+    return inter / (a.size + b.size - inter);
+}
+export function similarity(query, candidate) {
+    const q = query.toLowerCase();
+    const c = candidate.toLowerCase();
+    const maxLen = Math.max(q.length, c.length) || 1;
+    const edit = 1 - osaDistance(q, c) / maxLen;
+    return 0.6 * edit + 0.4 * jaccard(tokens(query), tokens(candidate));
+}
+/** The best-matching `pool` entries for `query`, best first. */
+export function rankCandidates(query, pool, options = {}) {
+    const { limit = 5, minScore = 0.3, boost } = options;
+    const scored = [];
+    for (const value of pool) {
+        const base = similarity(query, value);
+        if (base < minScore)
+            continue;
+        const extra = boost?.(value);
+        const score = Math.min(1, base + (extra?.boost ?? 0));
+        scored.push(extra?.reason ? { value, score, reason: extra.reason } : { value, score });
+    }
+    scored.sort((a, b) => b.score - a.score || a.value.localeCompare(b.value));
+    return scored.slice(0, limit).map((c) => ({ ...c, score: Math.round(c.score * 1000) / 1000 }));
+}
+//# sourceMappingURL=rank.js.map

package/dist/gate/rank.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rank.js","sourceRoot":"","sources":["../../src/gate/rank.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAgB/D,4FAA4F;AAC5F,MAAM,UAAU,WAAW,CAAC,CAAS,EAAE,CAAS;IAC9C,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,CAAC,CAAC,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,CAAC,CAAC,MAAM;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC;IAC/B,IAAI,KAAK,GAAa,EAAE,CAAC;IACzB,IAAI,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;YAClE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;gBAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;QACD,KAAK,GAAG,IAAI,CAAC;QACb,IAAI,GAAG,GAAG,CAAC;IACb,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAS;IAC9B,MAAM,KAAK,GAAG,CAAC;SACZ,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC;SACtC,OAAO,CAAC,uBAAuB,EAAE,OAAO,CAAC;SACzC,KAAK,CAAC,eAAe,CAAC;SACtB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SAC3B,MAAM,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,OAAO,CAAC,CAAc,EAAE,CAAc;IAC7C,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC;IACjC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAC;IACzC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAAa,EAAE,SAAiB;IACzD,MAAM,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IAC9B,MAAM,CAAC,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;IAClC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC;IAC5C,OAAO,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;AACtE,CAAC;AASD,gEAAgE;AAChE,MAAM,UAAU,cAAc,CAAC,KAAa,EAAE,IAAsB,EAAE,UAAuB,EAAE;IAC7F,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,QAAQ,GAAG,GAAG,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACrD,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,IAAI,IAAI,GAAG,QAAQ;YAAE,SAAS;QAC9B,MAAM,KAAK,GAAG,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,KAAK,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3E,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;AACjG,CAAC"}

package/dist/gate/structural.d.ts

@@ -0,0 +1,43 @@
+/**
+ * Structural rules (GATE-STR-00x) and op-level value rules that the
+ * reducer itself does not enforce, plus the map from an applied op to the
+ * facet fields whose grounding it may have changed.
+ */
+import type { IDSFacet, IDSRequirement } from '@ifc-lite/ids';
+import { type FacetFieldName } from '../document/fields.js';
+import type { StudioDocument } from '../document/types.js';
+import type { PrimitiveOp } from '../ops/types.js';
+import type { Uuid } from '../uuid.js';
+import type { GateCode } from './types.js';
+export interface StructuralProblem {
+    code: GateCode;
+    message: string;
+    /** Path below `ops[i]`, e.g. `.payload.value`. */
+    at: string;
+}
+/**
+ * What a `meta.suppressions` entry can name: a lint rule code
+ * (`IDSL-SPEC-008`), an area wildcard (`IDSL-SPEC-*`) or every rule
+ * (`IDSL-*`), matching `suppressionMatches` in the linter.
+ */
+export declare const SUPPRESSION_RULE: RegExp;
+/**
+ * `meta.suppress` checks that need the document. They live in the gate, not
+ * the reducer, so undo can restore any suppression exactly as it was.
+ */
+export declare function checkSuppressionOp(op: PrimitiveOp, doc: StudioDocument): StructuralProblem[];
+/** Checks on the op payload itself, before it is applied. */
+export declare function checkOpPayload(op: PrimitiveOp): StructuralProblem[];
+/** Facet-level structural rules on the facet as it is AFTER the op. */
+export declare function checkFacetStructure(facet: IDSFacet, requirement: IDSRequirement | undefined): StructuralProblem[];
+/** Which facet fields an applied op may have changed the grounding of. */
+export interface GroundingTarget {
+    facetId: Uuid;
+    fields: FacetFieldName[];
+    /** Path below `ops[i]` to point issues at. */
+    at: (field: FacetFieldName) => string;
+}
+export declare function groundingTargets(op: PrimitiveOp, after: StudioDocument, beforeSpecOf: (facetId: Uuid) => Uuid | undefined): GroundingTarget[];
+/** Facets whose structure (not grounding) an op may have changed. */
+export declare function structureTargets(op: PrimitiveOp): Uuid[];
+//# sourceMappingURL=structural.d.ts.map

package/dist/gate/structural.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural.d.ts","sourceRoot":"","sources":["../../src/gate/structural.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC9D,OAAO,EAAiB,KAAK,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE3E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,kDAAkD;IAClD,EAAE,EAAE,MAAM,CAAC;CACZ;AAYD;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,QAAsC,CAAC;AAEpE;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,cAAc,GAAG,iBAAiB,EAAE,CAgB5F;AAED,6DAA6D;AAC7D,wBAAgB,cAAc,CAAC,EAAE,EAAE,WAAW,GAAG,iBAAiB,EAAE,CA+BnE;AAKD,uEAAuE;AACvE,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,cAAc,GAAG,SAAS,GAAG,iBAAiB,EAAE,CAmBjH;AAED,0EAA0E;AAC1E,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,IAAI,CAAC;IACd,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB,8CAA8C;IAC9C,EAAE,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,MAAM,CAAC;CACvC;AAyBD,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC,OAAO,EAAE,IAAI,KAAK,IAAI,GAAG,SAAS,GAAG,eAAe,EAAE,CA6B7I;AAED,qEAAqE;AACrE,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,WAAW,GAAG,IAAI,EAAE,CAgBxD"}

package/dist/gate/structural.js

@@ -0,0 +1,175 @@
+/* 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/. */
+import { presentFields } from '../document/fields.js';
+import { facetAt, locateFacet, locateNode, locateSpec } from '../document/node-index.js';
+import { isReservedPsetName } from './grounding-pset.js';
+// IDS 1.0 XSD: author is `[^@]+@[^\.]+\..+`, date is xs:date.
+const AUTHOR = /^[^@]+@[^.]+\..+$/;
+const XS_DATE = /^-?\d{4,}-(0[1-9]|1[0-2])-(0[1-9]|[12]\d|3[01])(Z|[+-]\d{2}:\d{2})?$/;
+function versionsProblem(versions) {
+    return new Set(versions).size === versions.length
+        ? []
+        : [{ code: 'GATE-STR-007', message: 'ifcVersions lists a version twice', at: '.payload' }];
+}
+/**
+ * What a `meta.suppressions` entry can name: a lint rule code
+ * (`IDSL-SPEC-008`), an area wildcard (`IDSL-SPEC-*`) or every rule
+ * (`IDSL-*`), matching `suppressionMatches` in the linter.
+ */
+export const SUPPRESSION_RULE = /^IDSL-(?:\*|[A-Z]+-(?:\d{3}|\*))$/;
+/**
+ * `meta.suppress` checks that need the document. They live in the gate, not
+ * the reducer, so undo can restore any suppression exactly as it was.
+ */
+export function checkSuppressionOp(op, doc) {
+    if (op.kind !== 'meta.suppress')
+        return [];
+    const { nodeId, suppression } = op.payload;
+    const out = [];
+    if (!locateNode(doc, nodeId))
+        out.push({ code: 'GATE-STR-001', message: `unknown node ${nodeId}`, at: '.payload.nodeId' });
+    if (!SUPPRESSION_RULE.test(suppression.rule)) {
+        out.push({
+            code: 'GATE-SUP-001',
+            message: `"${suppression.rule}" is not a lint rule code; use IDSL-<AREA>-<nnn>, IDSL-<AREA>-* or IDSL-*`,
+            at: '.payload.suppression.rule',
+        });
+    }
+    if (suppression.reason.trim() === '') {
+        out.push({ code: 'GATE-SUP-002', message: `a suppression of ${suppression.rule} needs a reason`, at: '.payload.suppression.reason' });
+    }
+    return out;
+}
+/** Checks on the op payload itself, before it is applied. */
+export function checkOpPayload(op) {
+    switch (op.kind) {
+        case 'doc.setInfo': {
+            const { field, value } = op.payload;
+            if (value === null)
+                return [];
+            if (field === 'title' && value.trim() === '')
+                return [{ code: 'GATE-STR-007', message: 'title cannot be empty', at: '.payload.value' }];
+            if (field === 'author' && !AUTHOR.test(value))
+                return [{ code: 'GATE-VAL-007', message: `author "${value}" is not an e-mail address`, at: '.payload.value' }];
+            if (field === 'date' && !XS_DATE.test(value))
+                return [{ code: 'GATE-VAL-007', message: `date "${value}" is not an xs:date (YYYY-MM-DD)`, at: '.payload.value' }];
+            return [];
+        }
+        case 'spec.add':
+            return [
+                ...(op.payload.name.trim() === '' ? [{ code: 'GATE-STR-007', message: 'specification name cannot be empty', at: '.payload.name' }] : []),
+                ...versionsProblem(op.payload.ifcVersions),
+            ];
+        case 'spec.set':
+            return op.payload.field === 'name' && (op.payload.value ?? '').trim() === ''
+                ? [{ code: 'GATE-STR-007', message: 'specification name cannot be empty', at: '.payload.value' }]
+                : [];
+        case 'spec.setIfcVersions':
+            return versionsProblem(op.payload.versions);
+        case 'spec.patch':
+            if (op.payload.set.ifcVersions?.length === 0)
+                return [{ code: 'GATE-STR-007', message: 'ifcVersions cannot be empty', at: '.payload.set.ifcVersions' }];
+            return op.payload.set.ifcVersions ? versionsProblem(op.payload.set.ifcVersions) : [];
+        case 'meta.custom.declarePset':
+            return isReservedPsetName(op.payload.decl.name)
+                ? [{ code: 'GATE-CUST-002', message: `custom property sets cannot use a reserved prefix (${op.payload.decl.name}); use a project prefix such as "Project_"`, at: '.payload.decl.name' }]
+                : [];
+        default:
+            return [];
+    }
+}
+// An absolute URI without whitespace (xs:anyURI as IDS tools use it: a scheme, then the rest).
+const ABSOLUTE_URI = /^[A-Za-z][A-Za-z0-9+.-]*:\S+$/;
+/** Facet-level structural rules on the facet as it is AFTER the op. */
+export function checkFacetStructure(facet, requirement) {
+    const out = [];
+    if (facet.type === 'partOf' && !facet.entity) {
+        out.push({ code: 'GATE-STR-004', message: 'a partOf facet needs its related entity (IDS 1.0)', at: '.payload' });
+    }
+    if (facet.type === 'property' && facet.dataType && facet.dataType.type !== 'simpleValue') {
+        out.push({ code: 'GATE-STR-005', message: 'a property dataType must be a single value', at: '.payload' });
+    }
+    if (facet.type === 'entity' && requirement && requirement.optionality !== 'required') {
+        out.push({ code: 'GATE-STR-008', message: 'an entity requirement has no cardinality in IDS 1.0; it can only be required', at: '.payload' });
+    }
+    const uri = 'uri' in facet ? facet.uri : undefined;
+    if (uri !== undefined && !requirement) {
+        out.push({ code: 'GATE-STR-009', message: 'IDS 1.0 allows a uri only on requirement facets, not in the applicability', at: '.payload' });
+    }
+    if (uri !== undefined && !ABSOLUTE_URI.test(uri)) {
+        out.push({ code: 'GATE-VAL-009', message: `uri "${uri}" is not an absolute URI`, at: '.payload' });
+    }
+    return out;
+}
+const DEPENDENTS = {
+    'entity.name': ['entity.predefinedType'],
+    'partOf.entity.name': ['partOf.entity.predefinedType'],
+    'property.propertySet': ['property.baseName', 'property.dataType', 'property.value'],
+    'property.baseName': ['property.dataType', 'property.value'],
+};
+function draftPath(field) {
+    return `.payload.facet.${field.slice(field.indexOf('.') + 1)}`;
+}
+function allFacetsOf(doc, specId) {
+    const i = locateSpec(doc, specId);
+    if (i === undefined)
+        return [];
+    const spec = doc.ids.specifications[i];
+    const nodes = doc.nodes.specs[i];
+    const facets = [
+        ...spec.applicability.facets.map((f, j) => [nodes.applicability[j].id, f]),
+        ...spec.requirements.map((r) => [r.id, r.facet]),
+    ];
+    return facets.map(([facetId, facet]) => ({ facetId, fields: presentFields(facet), at: () => '' }));
+}
+export function groundingTargets(op, after, beforeSpecOf) {
+    switch (op.kind) {
+        case 'facet.add':
+        case 'facet.replace': {
+            const loc = locateFacet(after, op.payload.facetId);
+            return loc ? [{ facetId: op.payload.facetId, fields: presentFields(facetAt(after, loc)), at: draftPath }] : [];
+        }
+        case 'facet.restore':
+            return [{ facetId: op.payload.nodes.id, fields: presentFields(op.payload.facet), at: () => '.payload.facet' }];
+        case 'facet.move': {
+            const loc = locateFacet(after, op.payload.facetId);
+            if (!loc || beforeSpecOf(op.payload.facetId) === loc.specId)
+                return [];
+            return [{ facetId: op.payload.facetId, fields: presentFields(facetAt(after, loc)), at: () => '' }];
+        }
+        case 'facet.setField':
+        case 'value.set':
+        case 'value.addEnumValue':
+        case 'value.removeEnumValue': {
+            const { facetId, field } = op.payload;
+            return [{ facetId, fields: [field, ...(DEPENDENTS[field] ?? [])], at: (f) => (f === field ? '.payload.value' : '') }];
+        }
+        case 'spec.setIfcVersions':
+        case 'spec.restore':
+            return allFacetsOf(after, op.kind === 'spec.restore' ? op.payload.spec.id : op.payload.specId);
+        case 'spec.patch':
+            return op.payload.set.ifcVersions ? allFacetsOf(after, op.payload.specId) : [];
+        default:
+            return [];
+    }
+}
+/** Facets whose structure (not grounding) an op may have changed. */
+export function structureTargets(op) {
+    switch (op.kind) {
+        case 'facet.add':
+        case 'facet.replace':
+        case 'facet.move':
+        case 'facet.setField':
+        case 'value.set':
+        case 'facet.patch':
+        case 'facet.setUri':
+        case 'requirement.setOptionality':
+            return [op.payload.facetId];
+        case 'facet.restore':
+            return [op.payload.nodes.id];
+        default:
+            return [];
+    }
+}
+//# sourceMappingURL=structural.js.map

package/dist/gate/structural.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"structural.js","sourceRoot":"","sources":["../../src/gate/structural.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAS/D,OAAO,EAAE,aAAa,EAAuB,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAIzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAUzD,8DAA8D;AAC9D,MAAM,MAAM,GAAG,mBAAmB,CAAC;AACnC,MAAM,OAAO,GAAG,sEAAsE,CAAC;AAEvF,SAAS,eAAe,CAAC,QAA2B;IAClD,OAAO,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM;QAC/C,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,mCAAmC,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;AAC/F,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,mCAAmC,CAAC;AAEpE;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,EAAe,EAAE,GAAmB;IACrE,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,EAAE,CAAC;IAC3C,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IAC3C,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,gBAAgB,MAAM,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,CAAC,CAAC;IAC3H,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,IAAI,WAAW,CAAC,IAAI,2EAA2E;YACxG,EAAE,EAAE,2BAA2B;SAChC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACrC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,oBAAoB,WAAW,CAAC,IAAI,iBAAiB,EAAE,EAAE,EAAE,6BAA6B,EAAE,CAAC,CAAC;IACxI,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,cAAc,CAAC,EAAe;IAC5C,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;YACpC,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;YAC9B,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE;gBAAE,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,uBAAuB,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC;YACxI,IAAI,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,KAAK,4BAA4B,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC9J,IAAI,KAAK,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,SAAS,KAAK,kCAAkC,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC;YACjK,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,KAAK,UAAU;YACb,OAAO;gBACL,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAuB,EAAE,OAAO,EAAE,oCAAoC,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjJ,GAAG,eAAe,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC;aAC3C,CAAC;QACJ,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;gBAC1E,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,oCAAoC,EAAE,EAAE,EAAE,gBAAgB,EAAE,CAAC;gBACjG,CAAC,CAAC,EAAE,CAAC;QACT,KAAK,qBAAqB;YACxB,OAAO,eAAe,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC9C,KAAK,YAAY;YACf,IAAI,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,KAAK,CAAC;gBAAE,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,6BAA6B,EAAE,EAAE,EAAE,0BAA0B,EAAE,CAAC,CAAC;YACxJ,OAAO,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACvF,KAAK,yBAAyB;YAC5B,OAAO,kBAAkB,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC7C,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,sDAAsD,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,4CAA4C,EAAE,EAAE,EAAE,oBAAoB,EAAE,CAAC;gBACxL,CAAC,CAAC,EAAE,CAAC;QACT;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,+FAA+F;AAC/F,MAAM,YAAY,GAAG,+BAA+B,CAAC;AAErD,uEAAuE;AACvE,MAAM,UAAU,mBAAmB,CAAC,KAAe,EAAE,WAAuC;IAC1F,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,mDAAmD,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IACnH,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACzF,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,4CAA4C,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IAC5G,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,WAAW,IAAI,WAAW,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;QACrF,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,8EAA8E,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IAC9I,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,WAAW,EAAE,CAAC;QACtC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,2EAA2E,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3I,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,GAAG,0BAA0B,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;IACrG,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAUD,MAAM,UAAU,GAAsD;IACpE,aAAa,EAAE,CAAC,uBAAuB,CAAC;IACxC,oBAAoB,EAAE,CAAC,8BAA8B,CAAC;IACtD,sBAAsB,EAAE,CAAC,mBAAmB,EAAE,mBAAmB,EAAE,gBAAgB,CAAC;IACpF,mBAAmB,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;CAC7D,CAAC;AAEF,SAAS,SAAS,CAAC,KAAqB;IACtC,OAAO,kBAAkB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,GAAmB,EAAE,MAAY;IACpD,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAClC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,MAAM,GAAuB;QACjC,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAoB,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC5F,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;KACnE,CAAC;IACF,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;AACrG,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,EAAe,EAAE,KAAqB,EAAE,YAAiD;IACxH,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACnD,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjH,CAAC;QACD,KAAK,eAAe;YAClB,OAAO,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC;QACjH,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACnD,IAAI,CAAC,GAAG,IAAI,YAAY,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,MAAM;gBAAE,OAAO,EAAE,CAAC;YACvE,OAAO,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACrG,CAAC;QACD,KAAK,gBAAgB,CAAC;QACtB,KAAK,WAAW,CAAC;QACjB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,uBAAuB,CAAC,CAAC,CAAC;YAC7B,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;YACtC,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACxH,CAAC;QACD,KAAK,qBAAqB,CAAC;QAC3B,KAAK,cAAc;YACjB,OAAO,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACjG,KAAK,YAAY;YACf,OAAO,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,gBAAgB,CAAC,EAAe;IAC9C,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,eAAe,CAAC;QACrB,KAAK,YAAY,CAAC;QAClB,KAAK,gBAAgB,CAAC;QACtB,KAAK,WAAW,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,cAAc,CAAC;QACpB,KAAK,4BAA4B;YAC/B,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC9B,KAAK,eAAe;YAClB,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/B;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/gate/types.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Grounding gate result shapes (§5, ADR-003). Gate output is DATA: it is
+ * returned verbatim to an agent and rendered by the UI, never thrown.
+ */
+import type { IFCVersion } from '@ifc-lite/ids';
+import type { FacetFieldName } from '../document/fields.js';
+import type { Uuid } from '../uuid.js';
+export type GateCode = 'GATE-OP-001' | 'GATE-OP-002' | 'GATE-ENT-001' | 'GATE-PDT-001' | 'GATE-ATT-001' | 'GATE-PSET-001' | 'GATE-PROP-001' | 'GATE-ENUM-001' | 'GATE-DT-001' | 'GATE-CUST-001' | 'GATE-CUST-002' | 'GATE-CUST-003' | 'GATE-CUST-004' | 'GATE-SUP-001' | 'GATE-SUP-002' | 'GATE-SUP-003' | 'GATE-STR-001' | 'GATE-STR-002' | 'GATE-STR-003' | 'GATE-STR-004' | 'GATE-STR-005' | 'GATE-STR-006' | 'GATE-STR-007' | 'GATE-STR-008' | 'GATE-STR-009' | 'GATE-VAL-001' | 'GATE-VAL-002' | 'GATE-VAL-003' | 'GATE-VAL-004' | 'GATE-VAL-005' | 'GATE-VAL-006' | 'GATE-VAL-007' | 'GATE-VAL-008' | 'GATE-VAL-009' | 'GATE-BSDD-001';
+/** A ranked "did you mean" suggestion. */
+export interface GateCandidate {
+    value: string;
+    /** 0..1, higher is better. */
+    score: number;
+    /** Why it is suggested, e.g. "applicable to IfcWall" or "in Pset_DoorCommon". */
+    reason?: string;
+}
+export interface GateIssue {
+    ok: false;
+    code: GateCode;
+    /** Where in the submitted batch: `ops[2].payload.facet.baseName`. */
+    path: string;
+    message: string;
+    candidates: GateCandidate[];
+    /** Index of the offending op in the submitted batch. */
+    opIndex: number;
+    opId?: Uuid;
+    /** The facet and field the issue is about, when there is one. */
+    facetId?: Uuid;
+    field?: FacetFieldName;
+    /** The offending literal, when there is one. */
+    value?: string;
+    /** IFC versions of the spec in which the literal does not resolve. */
+    versions?: IFCVersion[];
+    /**
+     * `warning`: reported but not blocking (e.g. a deprecated bSDD URI).
+     * Absent: the issue blocks the batch.
+     */
+    severity?: 'warning';
+}
+export interface GateResult {
+    /** True when no blocking issue was found and the batch may be applied (warnings may remain). */
+    ok: boolean;
+    issues: GateIssue[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/gate/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/gate/types.ts"],"names":[],"mappings":"AAIA;;;GAGG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvC,MAAM,MAAM,QAAQ,GAEhB,aAAa,GACb,aAAa,GAEb,cAAc,GACd,cAAc,GACd,cAAc,GACd,eAAe,GACf,eAAe,GACf,eAAe,GACf,aAAa,GAEb,eAAe,GACf,eAAe,GACf,eAAe,GACf,eAAe,GAEf,cAAc,GACd,cAAc,GACd,cAAc,GAEd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GAEd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GACd,cAAc,GAEd,eAAe,CAAC;AAEpB,0CAA0C;AAC1C,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,8BAA8B;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,iFAAiF;IACjF,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,KAAK,CAAC;IACV,IAAI,EAAE,QAAQ,CAAC;IACf,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,wDAAwD;IACxD,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,iEAAiE;IACjE,OAAO,CAAC,EAAE,IAAI,CAAC;IACf,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,gDAAgD;IAChD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sEAAsE;IACtE,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,EAAE,SAAS,CAAC;CACtB;AAED,MAAM,WAAW,UAAU;IACzB,gGAAgG;IAChG,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,SAAS,EAAE,CAAC;CACrB"}

package/dist/gate/types.js

@@ -0,0 +1,5 @@
+/* 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/. */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/gate/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/gate/types.ts"],"names":[],"mappings":"AAAA;;+DAE+D"}

package/dist/gate/values.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Value well-formedness (GATE-VAL-00x). Runs on the normalised
+ * `IDSConstraint`, so drafts and raw constraints get the same checks, and
+ * recurses into the conjunctive `and` siblings (which the IDS audit does
+ * not lint).
+ *
+ * Patterns go through the same XSD → JS translator and ReDoS guard the
+ * validator uses, so a pattern the gate accepts is one the checker can run.
+ */
+import type { IDSConstraint } from '@ifc-lite/ids';
+import type { GateCode } from './types.js';
+export interface ValueProblem {
+    code: GateCode;
+    message: string;
+}
+export declare function checkPattern(pattern: string): ValueProblem[];
+/** Every well-formedness problem of `c` (including its `and` siblings). */
+export declare function checkConstraint(c: IDSConstraint, base?: string): ValueProblem[];
+//# sourceMappingURL=values.d.ts.map

package/dist/gate/values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../../src/gate/values.ts"],"names":[],"mappings":"AAIA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAuB,aAAa,EAAE,MAAM,eAAe,CAAC;AAGxE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;CACjB;AAsBD,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,EAAE,CAe5D;AAmDD,2EAA2E;AAC3E,wBAAgB,eAAe,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,YAAY,EAAE,CAkB/E"}

package/dist/gate/values.js

@@ -0,0 +1,124 @@
+/* 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/. */
+import { translateXsdRegex } from '@ifc-lite/ids';
+import { assertGuardedRegexPattern, UnsafeRegexPatternError } from '@ifc-lite/regex-guard';
+const NUMERIC_BASES = new Set(['xs:double', 'xs:decimal', 'xs:float', 'xs:integer']);
+const XSD_DECIMAL = /^[+-]?(\d+(\.\d*)?|\.\d+)$/;
+const XSD_DOUBLE = /^([+-]?(\d+(\.\d*)?|\.\d+)([eE][+-]?\d+)?|[+-]?INF|NaN)$/;
+const XSD_INTEGER = /^[+-]?\d+$/;
+function numericLiteralOk(base, value) {
+    const v = value.trim();
+    if (base === 'xs:integer')
+        return XSD_INTEGER.test(v);
+    if (base === 'xs:decimal')
+        return XSD_DECIMAL.test(v);
+    return XSD_DOUBLE.test(v);
+}
+/** Lexical check of one literal against a restriction base. */
+function literalOk(base, value) {
+    if (!base)
+        return true;
+    if (NUMERIC_BASES.has(base))
+        return numericLiteralOk(base, value);
+    if (base === 'xs:boolean')
+        return ['true', 'false', '1', '0'].includes(value.trim());
+    return true;
+}
+export function checkPattern(pattern) {
+    if (pattern === '')
+        return [{ code: 'GATE-VAL-003', message: 'pattern is empty' }];
+    try {
+        assertGuardedRegexPattern(pattern);
+    }
+    catch (err) {
+        const reason = err instanceof UnsafeRegexPatternError ? err.reason : String(err);
+        return [{ code: 'GATE-VAL-004', message: `pattern "${pattern}" is rejected by the ReDoS guard: ${reason}` }];
+    }
+    const translated = translateXsdRegex(pattern);
+    try {
+        new RegExp(`^(?:${translated.pattern})$`, 'u');
+    }
+    catch (err) {
+        return [{ code: 'GATE-VAL-003', message: `pattern "${pattern}" does not compile: ${err instanceof Error ? err.message : String(err)}` }];
+    }
+    return [];
+}
+function lower(b) {
+    if (b.minExclusive !== undefined)
+        return { v: b.minExclusive, exclusive: true };
+    if (b.minInclusive !== undefined)
+        return { v: b.minInclusive, exclusive: false };
+    return undefined;
+}
+function upper(b) {
+    if (b.maxExclusive !== undefined)
+        return { v: b.maxExclusive, exclusive: true };
+    if (b.maxInclusive !== undefined)
+        return { v: b.maxInclusive, exclusive: false };
+    return undefined;
+}
+function checkBounds(b) {
+    const out = [];
+    const keys = ['minInclusive', 'maxInclusive', 'minExclusive', 'maxExclusive', 'length', 'minLength', 'maxLength', 'totalDigits', 'fractionDigits'];
+    for (const k of keys) {
+        const v = b[k];
+        if (v !== undefined && !Number.isFinite(v))
+            out.push({ code: 'GATE-VAL-001', message: `${k} must be a finite number` });
+    }
+    if (b.minInclusive !== undefined && b.minExclusive !== undefined) {
+        out.push({ code: 'GATE-VAL-002', message: 'minInclusive and minExclusive cannot both be set' });
+    }
+    if (b.maxInclusive !== undefined && b.maxExclusive !== undefined) {
+        out.push({ code: 'GATE-VAL-002', message: 'maxInclusive and maxExclusive cannot both be set' });
+    }
+    const lo = lower(b);
+    const hi = upper(b);
+    if (lo && hi && (lo.v > hi.v || (lo.v === hi.v && (lo.exclusive || hi.exclusive)))) {
+        out.push({ code: 'GATE-VAL-002', message: `lower bound ${lo.v} is not below upper bound ${hi.v}; no value can match` });
+    }
+    for (const k of ['length', 'minLength', 'maxLength', 'fractionDigits']) {
+        const v = b[k];
+        if (v !== undefined && (!Number.isInteger(v) || v < 0))
+            out.push({ code: 'GATE-VAL-005', message: `${k} must be a non-negative integer` });
+    }
+    if (b.totalDigits !== undefined && (!Number.isInteger(b.totalDigits) || b.totalDigits < 1)) {
+        out.push({ code: 'GATE-VAL-005', message: 'totalDigits must be a positive integer' });
+    }
+    if (b.minLength !== undefined && b.maxLength !== undefined && b.minLength > b.maxLength) {
+        out.push({ code: 'GATE-VAL-005', message: `minLength ${b.minLength} exceeds maxLength ${b.maxLength}` });
+    }
+    if (b.totalDigits !== undefined && b.fractionDigits !== undefined && b.fractionDigits > b.totalDigits) {
+        out.push({ code: 'GATE-VAL-005', message: `fractionDigits ${b.fractionDigits} exceeds totalDigits ${b.totalDigits}` });
+    }
+    if (b.unparseableFacets?.length) {
+        out.push({ code: 'GATE-VAL-006', message: `unparseable facets: ${b.unparseableFacets.map((f) => `${f.facet}="${f.rawValue}"`).join(', ')}` });
+    }
+    return out;
+}
+/** Every well-formedness problem of `c` (including its `and` siblings). */
+export function checkConstraint(c, base) {
+    switch (c.type) {
+        case 'simpleValue':
+            return [];
+        case 'pattern':
+            return [...checkPattern(c.pattern), ...siblings(c.and, c.base ?? base)];
+        case 'enumeration': {
+            const out = [];
+            if (c.values.length === 0)
+                out.push({ code: 'GATE-VAL-001', message: 'enumeration has no values' });
+            const b = c.base ?? base;
+            for (const v of c.values) {
+                if (!literalOk(b, v))
+                    out.push({ code: 'GATE-VAL-006', message: `"${v}" is not a valid ${b} literal` });
+            }
+            return [...out, ...siblings(c.and, b)];
+        }
+        case 'bounds':
+            return [...checkBounds(c), ...siblings(c.and, c.base ?? base)];
+    }
+}
+function siblings(and, base) {
+    return (and ?? []).flatMap((s) => checkConstraint(s, base));
+}
+//# sourceMappingURL=values.js.map

package/dist/gate/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../src/gate/values.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAa/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAClD,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAQ3F,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;AACrF,MAAM,WAAW,GAAG,4BAA4B,CAAC;AACjD,MAAM,UAAU,GAAG,0DAA0D,CAAC;AAC9E,MAAM,WAAW,GAAG,YAAY,CAAC;AAEjC,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa;IACnD,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC;AAED,+DAA+D;AAC/D,SAAS,SAAS,CAAC,IAAwB,EAAE,KAAa;IACxD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClE,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACrF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,IAAI,OAAO,KAAK,EAAE;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC,CAAC;IACnF,IAAI,CAAC;QACH,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,GAAG,YAAY,uBAAuB,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjF,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,OAAO,qCAAqC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC/G,CAAC;IACD,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,IAAI,MAAM,CAAC,OAAO,UAAU,CAAC,OAAO,IAAI,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,OAAO,uBAAuB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3I,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,KAAK,CAAC,CAAsB;IACnC,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAChF,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,YAAY,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IACjF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,KAAK,CAAC,CAAsB;IACnC,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAChF,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC,YAAY,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;IACjF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,CAAsB;IACzC,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,CAAU,CAAC;IAC5J,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,CAAC,0BAA0B,EAAE,CAAC,CAAC;IAC1H,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACjE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,kDAAkD,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACjE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,kDAAkD,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACpB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC,6BAA6B,EAAE,CAAC,CAAC,sBAAsB,EAAE,CAAC,CAAC;IAC1H,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,gBAAgB,CAAU,EAAE,CAAC;QAChF,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,CAAC,iCAAiC,EAAE,CAAC,CAAC;IAC7I,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3F,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,wCAAwC,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC;QACxF,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,SAAS,sBAAsB,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,CAAC,cAAc,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACtG,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,kBAAkB,CAAC,CAAC,cAAc,wBAAwB,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACzH,CAAC;IACD,IAAI,CAAC,CAAC,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAChC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,uBAAuB,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAChJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,eAAe,CAAC,CAAgB,EAAE,IAAa;IAC7D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,EAAE,CAAC;QACZ,KAAK,SAAS;YACZ,OAAO,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC;QAC1E,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,GAAG,GAAmB,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC,CAAC;YACpG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACzB,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;oBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,CAAC,CAAC;YAC1G,CAAC;YACD,OAAO,CAAC,GAAG,GAAG,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,GAAyC,EAAE,IAAwB;IACnF,OAAO,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AAC9D,CAAC"}

package/dist/headless/apply-gated.d.ts

@@ -0,0 +1,32 @@
+/**
+ * The one entry point through which a headless caller (an MCP client, an
+ * SDK script, a Flow node) changes an IDS document: untrusted ops are
+ * validated against the op JSON Schema (`validateOp`) and checked by the
+ * grounding gate (`checkOps`) as a batch; only a batch that passes is
+ * applied. A refused batch returns the gate's issues as data, each with
+ * its path, message and ranked candidates, so the caller can correct the
+ * names and retry. ADR-002/003: nothing else writes a document.
+ */
+import type { StudioDocument } from '../document/types.js';
+import type { GateContext } from '../gate/context.js';
+import type { GateIssue } from '../gate/types.js';
+import type { PrimitiveOp } from '../ops/types.js';
+import type { Uuid } from '../uuid.js';
+export type GatedApplyResult = {
+    ok: true;
+    doc: StudioDocument;
+    /** The primitive ops applied (compound ops expanded). */
+    applied: PrimitiveOp[];
+    /** Ops that undo the batch, in order. */
+    inverses: PrimitiveOp[];
+    /** Node ids created, changed, moved or removed. */
+    touched: Uuid[];
+} | {
+    ok: false;
+    /** The input document, unchanged. */
+    doc: StudioDocument;
+    issues: GateIssue[];
+};
+/** Validate, gate and apply `ops` (untrusted) to `doc`. Never applies part of a batch. */
+export declare function applyOpsGated(doc: StudioDocument, ops: unknown, ctx: GateContext): GatedApplyResult;
+//# sourceMappingURL=apply-gated.d.ts.map

package/dist/headless/apply-gated.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-gated.d.ts","sourceRoot":"","sources":["../../src/headless/apply-gated.ts"],"names":[],"mappings":"AAIA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,KAAK,EAAE,WAAW,EAAY,MAAM,iBAAiB,CAAC;AAE7D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvC,MAAM,MAAM,gBAAgB,GACxB;IACE,EAAE,EAAE,IAAI,CAAC;IACT,GAAG,EAAE,cAAc,CAAC;IACpB,yDAAyD;IACzD,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,yCAAyC;IACzC,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,mDAAmD;IACnD,OAAO,EAAE,IAAI,EAAE,CAAC;CACjB,GACD;IACE,EAAE,EAAE,KAAK,CAAC;IACV,qCAAqC;IACrC,GAAG,EAAE,cAAc,CAAC;IACpB,MAAM,EAAE,SAAS,EAAE,CAAC;CACrB,CAAC;AAEN,0FAA0F;AAC1F,wBAAgB,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,GAAG,gBAAgB,CAenG"}

package/dist/headless/apply-gated.js

@@ -0,0 +1,26 @@
+/* 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/. */
+import { checkOps } from '../gate/check.js';
+import { validateOp } from '../ops/schema.js';
+import { apply } from '../reducer/apply.js';
+/** Validate, gate and apply `ops` (untrusted) to `doc`. Never applies part of a batch. */
+export function applyOpsGated(doc, ops, ctx) {
+    if (!Array.isArray(ops)) {
+        const issue = { ok: false, code: 'GATE-OP-001', path: 'ops', message: 'ops must be an array of operations', candidates: [], opIndex: -1 };
+        return { ok: false, doc, issues: [issue] };
+    }
+    const gate = checkOps(ops, doc, ctx);
+    if (!gate.ok)
+        return { ok: false, doc, issues: gate.issues };
+    // The gate validated every op; re-validating here yields the typed value.
+    const typed = ops.map((raw) => {
+        const v = validateOp(raw);
+        if (!v.ok)
+            throw new Error('an op that passed the gate failed validation');
+        return v.op;
+    });
+    const result = apply(doc, typed);
+    return { ok: true, doc: result.doc, applied: result.expanded, inverses: result.inverses, touched: [...result.touched] };
+}
+//# sourceMappingURL=apply-gated.js.map

package/dist/headless/apply-gated.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply-gated.js","sourceRoot":"","sources":["../../src/headless/apply-gated.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAa/D,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAG5C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAqB5C,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAAC,GAAmB,EAAE,GAAY,EAAE,GAAgB;IAC/E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,KAAK,GAAc,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,oCAAoC,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;QACrJ,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;IAC7C,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7D,0EAA0E;IAC1E,MAAM,KAAK,GAAe,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACxC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAC3E,OAAO,CAAC,CAAC,EAAE,CAAC;IACd,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACjC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;AAC1H,CAAC"}