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

package/dist/document/from-ids.js

@@ -0,0 +1,47 @@
+/* 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 { uuidv7 } from '../uuid.js';
+import { presentFields } from './fields.js';
+import { emptyMeta, STUDIO_SCHEMA_VERSION, } from './types.js';
+/** Fresh node ids for one facet: the facet itself and each present field. */
+export function mintFacetNodes(facet, newId, facetId = newId()) {
+    const constraints = {};
+    for (const field of presentFields(facet))
+        constraints[field] = newId();
+    return { id: facetId, constraints };
+}
+/** Fresh node ids for one specification, plus the spec with its ids stamped. */
+export function mintSpecNodes(spec, newId, specId = newId()) {
+    const applicability = spec.applicability.facets.map((f) => mintFacetNodes(f, newId));
+    const requirementNodes = spec.requirements.map((r) => mintFacetNodes(r.facet, newId));
+    return {
+        spec: {
+            ...spec,
+            id: specId,
+            requirements: spec.requirements.map((r, i) => ({ ...r, id: requirementNodes[i].id })),
+        },
+        nodes: { id: specId, applicability, requirements: requirementNodes },
+    };
+}
+/**
+ * Wrap `ids` in a Studio document. The input is not mutated; specification
+ * and requirement `id`s in the result are replaced by their node UUIDs.
+ */
+export function fromIdsDocument(ids, options = {}) {
+    const newId = options.newId ?? (() => uuidv7());
+    const docId = options.docId ?? newId();
+    const minted = ids.specifications.map((s) => mintSpecNodes(s, newId));
+    return {
+        docId,
+        schemaVersion: STUDIO_SCHEMA_VERSION,
+        ids: { ...ids, info: { ...ids.info }, specifications: minted.map((m) => m.spec) },
+        nodes: { document: newId(), specs: minted.map((m) => m.nodes) },
+        meta: options.meta ?? emptyMeta(),
+    };
+}
+/** An empty Studio document (no specifications). */
+export function createStudioDocument(options = {}) {
+    return fromIdsDocument({ info: { title: options.title ?? '' }, specifications: [] }, options);
+}
+//# sourceMappingURL=from-ids.js.map

package/dist/document/from-ids.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"from-ids.js","sourceRoot":"","sources":["../../src/document/from-ids.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAS/D,OAAO,EAAE,MAAM,EAAa,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,aAAa,EAAuB,MAAM,aAAa,CAAC;AACjE,OAAO,EACL,SAAS,EACT,qBAAqB,GAKtB,MAAM,YAAY,CAAC;AAUpB,6EAA6E;AAC7E,MAAM,UAAU,cAAc,CAAC,KAAe,EAAE,KAAiB,EAAE,UAAgB,KAAK,EAAE;IACxF,MAAM,WAAW,GAA0C,EAAE,CAAC;IAC9D,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,KAAK,CAAC;QAAE,WAAW,CAAC,KAAK,CAAC,GAAG,KAAK,EAAE,CAAC;IACvE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AACtC,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAC3B,IAAsB,EACtB,KAAiB,EACjB,SAAe,KAAK,EAAE;IAEtB,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACrF,MAAM,gBAAgB,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACtF,OAAO;QACL,IAAI,EAAE;YACJ,GAAG,IAAI;YACP,EAAE,EAAE,MAAM;YACV,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;SACtF;QACD,KAAK,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,gBAAgB,EAAE;KACrE,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,GAAgB,EAAE,UAA0B,EAAE;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACtE,OAAO;QACL,KAAK;QACL,aAAa,EAAE,qBAAqB;QACpC,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,EAAE,cAAc,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE;QACjF,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;QAC/D,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,SAAS,EAAE;KAClC,CAAC;AACJ,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,oBAAoB,CAAC,UAA+C,EAAE;IACpF,OAAO,eAAe,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC;AAChG,CAAC"}

package/dist/document/node-index.d.ts

@@ -0,0 +1,32 @@
+/**
+ * `Uuid → NodeLocation` lookups over a `NodeIndex`, plus the invariant
+ * check behind "every node in `doc.ids` has exactly one Uuid" (§2 inv. 3).
+ *
+ * The lookup map is derived lazily and cached per `NodeIndex` object. The
+ * reducer never mutates a `NodeIndex` (structural sharing), so the cache
+ * can never go stale.
+ */
+import type { IDSFacet } from '@ifc-lite/ids';
+import type { Uuid } from '../uuid.js';
+import type { FacetNodes, NodeLocation, Section, StudioDocument } from './types.js';
+/** Where node `id` currently lives, or `undefined` for an unknown id. */
+export declare function locateNode(doc: StudioDocument, id: Uuid): NodeLocation | undefined;
+/** Every node id of the document, in document order. */
+export declare function allNodeIds(doc: StudioDocument): Uuid[];
+export interface FacetLocation {
+    specIndex: number;
+    specId: Uuid;
+    section: Section;
+    facetIndex: number;
+}
+export declare function locateFacet(doc: StudioDocument, facetId: Uuid): FacetLocation | undefined;
+export declare function locateSpec(doc: StudioDocument, specId: Uuid): number | undefined;
+/** The IDS facet a `FacetLocation` points at. */
+export declare function facetAt(doc: StudioDocument, loc: FacetLocation): IDSFacet;
+export declare function facetNodesAt(doc: StudioDocument, loc: FacetLocation): FacetNodes;
+/**
+ * Check that `nodes` mirrors `ids` exactly and that every id is unique.
+ * Returns human-readable problems; an empty list means the invariants hold.
+ */
+export declare function verifyNodeIndex(doc: StudioDocument): string[];
+//# sourceMappingURL=node-index.d.ts.map

package/dist/document/node-index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-index.d.ts","sourceRoot":"","sources":["../../src/document/node-index.ts"],"names":[],"mappings":"AAIA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvC,OAAO,KAAK,EAAE,UAAU,EAAa,YAAY,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AA4C/F,yEAAyE;AACzE,wBAAgB,UAAU,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE,EAAE,IAAI,GAAG,YAAY,GAAG,SAAS,CAElF;AAED,wDAAwD;AACxD,wBAAgB,UAAU,CAAC,GAAG,EAAE,cAAc,GAAG,IAAI,EAAE,CAEtD;AAED,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI,GAAG,aAAa,GAAG,SAAS,CAIzF;AAED,wBAAgB,UAAU,CAAC,GAAG,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,GAAG,MAAM,GAAG,SAAS,CAGhF;AAED,iDAAiD;AACjD,wBAAgB,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,QAAQ,CAKzE;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,UAAU,CAGhF;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,cAAc,GAAG,MAAM,EAAE,CA4C7D"}

package/dist/document/node-index.js

@@ -0,0 +1,127 @@
+/* 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 './fields.js';
+const LOOKUP_CACHE = new WeakMap();
+function buildLookup(nodes) {
+    const map = new Map();
+    map.set(nodes.document, { kind: 'document' });
+    nodes.specs.forEach((spec, specIndex) => {
+        map.set(spec.id, { kind: 'spec', specIndex, specId: spec.id });
+        const sections = [
+            ['applicability', spec.applicability],
+            ['requirements', spec.requirements],
+        ];
+        for (const [section, facets] of sections) {
+            facets.forEach((facet, facetIndex) => {
+                const kind = section === 'applicability' ? 'applicabilityFacet' : 'requirement';
+                map.set(facet.id, { kind, specIndex, specId: spec.id, section, facetIndex });
+                for (const [field, cid] of Object.entries(facet.constraints)) {
+                    if (!cid)
+                        continue;
+                    map.set(cid, {
+                        kind: 'constraint',
+                        specIndex,
+                        specId: spec.id,
+                        section,
+                        facetIndex,
+                        facetId: facet.id,
+                        field: field,
+                    });
+                }
+            });
+        }
+    });
+    return map;
+}
+function lookup(nodes) {
+    let map = LOOKUP_CACHE.get(nodes);
+    if (!map) {
+        map = buildLookup(nodes);
+        LOOKUP_CACHE.set(nodes, map);
+    }
+    return map;
+}
+/** Where node `id` currently lives, or `undefined` for an unknown id. */
+export function locateNode(doc, id) {
+    return lookup(doc.nodes).get(id);
+}
+/** Every node id of the document, in document order. */
+export function allNodeIds(doc) {
+    return [...lookup(doc.nodes).keys()];
+}
+export function locateFacet(doc, facetId) {
+    const loc = locateNode(doc, facetId);
+    if (!loc || (loc.kind !== 'applicabilityFacet' && loc.kind !== 'requirement'))
+        return undefined;
+    return { specIndex: loc.specIndex, specId: loc.specId, section: loc.section, facetIndex: loc.facetIndex };
+}
+export function locateSpec(doc, specId) {
+    const loc = locateNode(doc, specId);
+    return loc?.kind === 'spec' ? loc.specIndex : undefined;
+}
+/** The IDS facet a `FacetLocation` points at. */
+export function facetAt(doc, loc) {
+    const spec = doc.ids.specifications[loc.specIndex];
+    return loc.section === 'applicability'
+        ? spec.applicability.facets[loc.facetIndex]
+        : spec.requirements[loc.facetIndex].facet;
+}
+export function facetNodesAt(doc, loc) {
+    const spec = doc.nodes.specs[loc.specIndex];
+    return loc.section === 'applicability' ? spec.applicability[loc.facetIndex] : spec.requirements[loc.facetIndex];
+}
+/**
+ * Check that `nodes` mirrors `ids` exactly and that every id is unique.
+ * Returns human-readable problems; an empty list means the invariants hold.
+ */
+export function verifyNodeIndex(doc) {
+    const problems = [];
+    const seen = new Set();
+    const claim = (id, what) => {
+        if (seen.has(id))
+            problems.push(`duplicate node id ${id} (${what})`);
+        seen.add(id);
+    };
+    claim(doc.nodes.document, 'document');
+    const specs = doc.ids.specifications;
+    if (specs.length !== doc.nodes.specs.length) {
+        problems.push(`spec count ${specs.length} != node count ${doc.nodes.specs.length}`);
+        return problems;
+    }
+    specs.forEach((spec, i) => {
+        const sn = doc.nodes.specs[i];
+        claim(sn.id, `spec ${i}`);
+        if (spec.id !== sn.id)
+            problems.push(`spec ${i}: ids.id ${spec.id} != node ${sn.id}`);
+        const check = (facets, nodes, label) => {
+            if (facets.length !== nodes.length) {
+                problems.push(`spec ${i} ${label}: ${facets.length} facets != ${nodes.length} nodes`);
+                return;
+            }
+            facets.forEach((facet, j) => {
+                const fn = nodes[j];
+                claim(fn.id, `spec ${i} ${label} ${j}`);
+                const present = presentFields(facet);
+                const indexed = Object.keys(fn.constraints).filter((k) => fn.constraints[k]);
+                if (present.length !== indexed.length || present.some((f) => !fn.constraints[f])) {
+                    problems.push(`spec ${i} ${label} ${j}: constraint ids [${indexed}] != fields [${present}]`);
+                }
+                for (const f of present) {
+                    const cid = fn.constraints[f];
+                    if (cid)
+                        claim(cid, `spec ${i} ${label} ${j} ${f}`);
+                }
+            });
+        };
+        check(spec.applicability.facets, sn.applicability, 'applicability');
+        check(spec.requirements.map((r) => r.facet), sn.requirements, 'requirements');
+        spec.requirements.forEach((req, j) => {
+            const fn = sn.requirements[j];
+            if (fn && req.id !== fn.id)
+                problems.push(`spec ${i} requirement ${j}: ids.id ${req.id} != node ${fn.id}`);
+        });
+    });
+    return problems;
+}
+//# sourceMappingURL=node-index.js.map

package/dist/document/node-index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-index.js","sourceRoot":"","sources":["../../src/document/node-index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAa/D,OAAO,EAAE,aAAa,EAAuB,MAAM,aAAa,CAAC;AAGjE,MAAM,YAAY,GAAG,IAAI,OAAO,EAAsC,CAAC;AAEvE,SAAS,WAAW,CAAC,KAAgB;IACnC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IAC9C,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;QACtC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAuC;YACnD,CAAC,eAAe,EAAE,IAAI,CAAC,aAAa,CAAC;YACrC,CAAC,cAAc,EAAE,IAAI,CAAC,YAAY,CAAC;SACpC,CAAC;QACF,KAAK,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;gBACnC,MAAM,IAAI,GAAG,OAAO,KAAK,eAAe,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,aAAa,CAAC;gBAChF,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;gBAC7E,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;oBAC7D,IAAI,CAAC,GAAG;wBAAE,SAAS;oBACnB,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE;wBACX,IAAI,EAAE,YAAY;wBAClB,SAAS;wBACT,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,OAAO;wBACP,UAAU;wBACV,OAAO,EAAE,KAAK,CAAC,EAAE;wBACjB,KAAK,EAAE,KAAuB;qBAC/B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,MAAM,CAAC,KAAgB;IAC9B,IAAI,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QACzB,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,UAAU,CAAC,GAAmB,EAAE,EAAQ;IACtD,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACnC,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,UAAU,CAAC,GAAmB;IAC5C,OAAO,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AACvC,CAAC;AASD,MAAM,UAAU,WAAW,CAAC,GAAmB,EAAE,OAAa;IAC5D,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACrC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,oBAAoB,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,CAAC;QAAE,OAAO,SAAS,CAAC;IAChG,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,CAAC;AAC5G,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAmB,EAAE,MAAY;IAC1D,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACpC,OAAO,GAAG,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1D,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,OAAO,CAAC,GAAmB,EAAE,GAAkB;IAC7D,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACnD,OAAO,GAAG,CAAC,OAAO,KAAK,eAAe;QACpC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;QAC3C,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAmB,EAAE,GAAkB;IAClE,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC5C,OAAO,GAAG,CAAC,OAAO,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AAClH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,GAAmB;IACjD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAQ,CAAC;IAC7B,MAAM,KAAK,GAAG,CAAC,EAAQ,EAAE,IAAY,EAAQ,EAAE;QAC7C,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,qBAAqB,EAAE,KAAK,IAAI,GAAG,CAAC,CAAC;QACrE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACf,CAAC,CAAC;IACF,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC;IACrC,IAAI,KAAK,CAAC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAC5C,QAAQ,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACpF,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QACxB,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;YAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,CAAC,MAA2B,EAAE,KAA4B,EAAE,KAAa,EAAQ,EAAE;YAC/F,IAAI,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;gBACnC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,MAAM,CAAC,MAAM,cAAc,KAAK,CAAC,MAAM,QAAQ,CAAC,CAAC;gBACtF,OAAO;YACT,CAAC;YACD,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;gBAC1B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBACpB,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxC,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;gBACrC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAmB,CAAC,CAAC,CAAC;gBAC/F,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjF,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,qBAAqB,OAAO,gBAAgB,OAAO,GAAG,CAAC,CAAC;gBAC/F,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;oBACxB,MAAM,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;oBAC9B,IAAI,GAAG;wBAAE,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACtD,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;QAC9E,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACnC,MAAM,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;gBAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,YAAY,GAAG,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7G,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/document/types.d.ts

@@ -0,0 +1,170 @@
+/**
+ * The Studio document model (02-document-model-and-ops.md §2, ADR-001).
+ *
+ * `ids` is pure IDS content — the same `IDSDocument` the parser, validator,
+ * audit and writer share. Everything Studio-specific lives beside it:
+ *
+ * - `nodes` gives every node a stable UUID. It MIRRORS the shape of `ids`
+ *   (one `SpecNodes` per specification, one `FacetNodes` per applicability
+ *   facet and per requirement, one constraint id per present field) rather
+ *   than holding positional paths, so a reorder moves the ids along with the
+ *   content and no path ever goes stale. `locateNode` derives the
+ *   `Uuid → NodePath` direction on demand.
+ * - `meta` is the sidecar (`studio.json`).
+ *
+ * Specification and requirement `id` fields inside `ids` carry the same
+ * UUIDs as their nodes, so validator results (which echo those ids) map
+ * straight back to Studio nodes.
+ */
+import type { IDSDocument } from '@ifc-lite/ids';
+import type { Uuid } from '../uuid.js';
+import type { TestSuite } from '../testing/types.js';
+import type { FacetFieldName } from './fields.js';
+/** Version of the sidecar / document format. */
+export declare const STUDIO_SCHEMA_VERSION = 1;
+export interface StudioDocument {
+    /** Stable across revisions. */
+    readonly docId: Uuid;
+    readonly schemaVersion: typeof STUDIO_SCHEMA_VERSION;
+    /** Canonical IDS content; no Studio-only fields. */
+    readonly ids: IDSDocument;
+    readonly nodes: NodeIndex;
+    readonly meta: StudioMeta;
+}
+export interface NodeIndex {
+    /** The node id of the document (`info`) itself. */
+    readonly document: Uuid;
+    /** Parallel to `ids.specifications`. */
+    readonly specs: readonly SpecNodes[];
+}
+export interface SpecNodes {
+    readonly id: Uuid;
+    /** Parallel to `spec.applicability.facets`. */
+    readonly applicability: readonly FacetNodes[];
+    /** Parallel to `spec.requirements`. */
+    readonly requirements: readonly FacetNodes[];
+}
+export interface FacetNodes {
+    readonly id: Uuid;
+    /** One id per constraint field present on the facet. */
+    readonly constraints: Readonly<Partial<Record<FacetFieldName, Uuid>>>;
+}
+export type NodeKind = 'document' | 'spec' | 'applicabilityFacet' | 'requirement' | 'constraint';
+export type Section = 'applicability' | 'requirements';
+/** Where a node lives right now. Indices are positions in `ids`. */
+export type NodeLocation = {
+    kind: 'document';
+} | {
+    kind: 'spec';
+    specIndex: number;
+    specId: Uuid;
+} | {
+    kind: 'applicabilityFacet' | 'requirement';
+    specIndex: number;
+    specId: Uuid;
+    section: Section;
+    facetIndex: number;
+} | {
+    kind: 'constraint';
+    specIndex: number;
+    specId: Uuid;
+    section: Section;
+    facetIndex: number;
+    facetId: Uuid;
+    field: FacetFieldName;
+};
+export type Provenance = {
+    by: 'user';
+    userId?: string;
+    at: string;
+    opId: Uuid;
+} | {
+    by: 'ai';
+    runId: Uuid;
+    model: string;
+    at: string;
+    opId: Uuid;
+} | {
+    by: 'import';
+    format: 'ids' | 'xlsx' | 'csv' | 'yaml' | 'bsdd' | 'template' | 'infer';
+    ref?: string;
+    at: string;
+    opId: Uuid;
+};
+export interface SourceSpan {
+    docRef: string;
+    kind: 'pdf' | 'docx' | 'xlsx' | 'text';
+    page?: number;
+    para?: number;
+    sheet?: string;
+    cell?: string;
+    quote: string;
+}
+export interface CommentThread {
+    id: Uuid;
+    resolved: boolean;
+    comments: {
+        author: string;
+        at: string;
+        text: string;
+    }[];
+}
+export interface Suppression {
+    rule: string;
+    reason: string;
+    by?: string;
+    at: string;
+}
+/** A custom (non-standard) property set the author declared on purpose. */
+export interface CustomPsetDecl {
+    name: string;
+    /** When present, `baseName` literals must be one of these. */
+    properties?: {
+        name: string;
+        dataType?: string;
+    }[];
+}
+/**
+ * A user-defined predefined type the author declared on purpose. In IDS a
+ * predefinedType outside the entity's enumeration matches the element's
+ * ObjectType / ElementType when PredefinedType is USERDEFINED; the gate only
+ * accepts such a value when it is declared, so an invented enum member
+ * cannot pass as "user-defined" by accident.
+ */
+export interface UserDefinedTypeDecl {
+    /** Entity name as written (compared case-insensitively). */
+    entity: string;
+    /** The user-defined value (compared case-insensitively). */
+    value: string;
+}
+export interface RevisionInfo {
+    parentHash?: string;
+    label?: string;
+    signOffs?: {
+        by: string;
+        at: string;
+        role?: string;
+    }[];
+}
+/**
+ * Studio-only metadata, persisted as the `studio.json` sidecar. Collections
+ * owned by later pitches (mappings, unresolved requirements) are kept as
+ * opaque JSON until their owners define them.
+ */
+export interface StudioMeta {
+    provenance: Record<Uuid, Provenance[]>;
+    sources: Record<Uuid, SourceSpan[]>;
+    comments: Record<Uuid, CommentThread[]>;
+    suppressions: Record<Uuid, Suppression[]>;
+    /** IDS test suites per specification id (`meta.test.*` ops). */
+    tests: Record<Uuid, TestSuite>;
+    mappings: unknown[];
+    revision: RevisionInfo;
+    unresolved: unknown[];
+    custom: {
+        psets: CustomPsetDecl[];
+        userDefinedTypes: UserDefinedTypeDecl[];
+    };
+}
+export declare function emptyMeta(): StudioMeta;
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/document/types.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAElD,gDAAgD;AAChD,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,MAAM,WAAW,cAAc;IAC7B,+BAA+B;IAC/B,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;IACrB,QAAQ,CAAC,aAAa,EAAE,OAAO,qBAAqB,CAAC;IACrD,oDAAoD;IACpD,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,mDAAmD;IACnD,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,wCAAwC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,+CAA+C;IAC/C,QAAQ,CAAC,aAAa,EAAE,SAAS,UAAU,EAAE,CAAC;IAC9C,uCAAuC;IACvC,QAAQ,CAAC,YAAY,EAAE,SAAS,UAAU,EAAE,CAAC;CAC9C;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,wDAAwD;IACxD,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;CACvE;AAED,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,MAAM,GAAG,oBAAoB,GAAG,aAAa,GAAG,YAAY,CAAC;AAEjG,MAAM,MAAM,OAAO,GAAG,eAAe,GAAG,cAAc,CAAC;AAEvD,oEAAoE;AACpE,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,GACpB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,IAAI,CAAA;CAAE,GACjD;IACE,IAAI,EAAE,oBAAoB,GAAG,aAAa,CAAC;IAC3C,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB,GACD;IACE,IAAI,EAAE,YAAY,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,IAAI,CAAC;IACd,KAAK,EAAE,cAAc,CAAC;CACvB,CAAC;AAMN,MAAM,MAAM,UAAU,GAClB;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvD;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GAChE;IACE,EAAE,EAAE,QAAQ,CAAC;IACb,MAAM,EAAE,KAAK,GAAG,MAAM,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,UAAU,GAAG,OAAO,CAAC;IACxE,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,IAAI,CAAC;CACZ,CAAC;AAEN,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IACvC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,IAAI,CAAC;IACT,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CAC1D;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,2EAA2E;AAC3E,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,8DAA8D;IAC9D,UAAU,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACpD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IAClC,4DAA4D;IAC5D,MAAM,EAAE,MAAM,CAAC;IACf,4DAA4D;IAC5D,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACxD;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,UAAU,EAAE,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IACvC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;IACxC,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;IAC1C,gEAAgE;IAChE,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC/B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,QAAQ,EAAE,YAAY,CAAC;IACvB,UAAU,EAAE,OAAO,EAAE,CAAC;IACtB,MAAM,EAAE;QAAE,KAAK,EAAE,cAAc,EAAE,CAAC;QAAC,gBAAgB,EAAE,mBAAmB,EAAE,CAAA;KAAE,CAAC;CAC9E;AAED,wBAAgB,SAAS,IAAI,UAAU,CAYtC"}

package/dist/document/types.js

@@ -0,0 +1,19 @@
+/* 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/. */
+/** Version of the sidecar / document format. */
+export const STUDIO_SCHEMA_VERSION = 1;
+export function emptyMeta() {
+    return {
+        provenance: {},
+        sources: {},
+        comments: {},
+        suppressions: {},
+        tests: {},
+        mappings: [],
+        revision: {},
+        unresolved: [],
+        custom: { psets: [], userDefinedTypes: [] },
+    };
+}
+//# sourceMappingURL=types.js.map

package/dist/document/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/document/types.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AA0B/D,gDAAgD;AAChD,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AA6IvC,MAAM,UAAU,SAAS;IACvB,OAAO;QACL,UAAU,EAAE,EAAE;QACd,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,EAAE;QACZ,YAAY,EAAE,EAAE;QAChB,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,EAAE;QACZ,UAAU,EAAE,EAAE;QACd,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE;KAC5C,CAAC;AACJ,CAAC"}

package/dist/gate/bsdd.d.ts

@@ -0,0 +1,12 @@
+/**
+ * GATE-BSDD-001 (§5): a facet `@uri` that the bSDD index knows to be
+ * unresolvable is refused; a deprecated (inactive) one is a non-blocking
+ * warning. Unchecked URIs (offline, not yet checked) pass: the gate is
+ * synchronous and never calls bSDD, and lint IDSL-BSDD-001 reports them
+ * once URI health has run.
+ */
+import type { IDSFacet } from '@ifc-lite/ids';
+import type { GateContext } from './context.js';
+import type { GateIssue } from './types.js';
+export declare function checkBsddUri(facet: IDSFacet, ctx: GateContext): Pick<GateIssue, 'code' | 'message' | 'candidates' | 'value' | 'severity'>[];
+//# sourceMappingURL=bsdd.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bsdd.d.ts","sourceRoot":"","sources":["../../src/gate/bsdd.ts"],"names":[],"mappings":"AAIA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAiB,SAAS,EAAE,MAAM,YAAY,CAAC;AAE3D,wBAAgB,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,GAAG,YAAY,GAAG,OAAO,GAAG,UAAU,CAAC,EAAE,CAU3I"}

package/dist/gate/bsdd.js

@@ -0,0 +1,17 @@
+/* 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 function checkBsddUri(facet, ctx) {
+    const uri = 'uri' in facet ? facet.uri : undefined;
+    const record = uri ? ctx.bsdd?.get(uri) : undefined;
+    if (!uri || !record)
+        return [];
+    const candidates = (record.replacedBy ?? []).map((value) => ({ value, score: 1, reason: 'replacement published by bSDD' }));
+    if (record.state === 'notFound')
+        return [{ code: 'GATE-BSDD-001', message: `bSDD does not know ${uri}`, candidates, value: uri }];
+    if (record.state === 'inactive') {
+        return [{ code: 'GATE-BSDD-001', message: `${uri} is inactive (deprecated) in bSDD`, candidates, value: uri, severity: 'warning' }];
+    }
+    return [];
+}
+//# sourceMappingURL=bsdd.js.map

package/dist/gate/bsdd.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bsdd.js","sourceRoot":"","sources":["../../src/gate/bsdd.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAc/D,MAAM,UAAU,YAAY,CAAC,KAAe,EAAE,GAAgB;IAC5D,MAAM,GAAG,GAAG,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;IACnD,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpD,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC/B,MAAM,UAAU,GAAoB,CAAC,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC,CAAC,CAAC;IAC7I,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,sBAAsB,GAAG,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;IAClI,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,GAAG,GAAG,mCAAmC,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;IACtI,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC"}

package/dist/gate/check.d.ts

@@ -0,0 +1,6 @@
+import type { StudioDocument } from '../document/types.js';
+import type { GateContext } from './context.js';
+import type { GateResult } from './types.js';
+/** Check a batch of untrusted ops against `doc`. Never throws on bad input. */
+export declare function checkOps(ops: readonly unknown[], doc: StudioDocument, ctx: GateContext): GateResult;
+//# sourceMappingURL=check.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/gate/check.ts"],"names":[],"mappings":"AAyBA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAQ3D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAIhD,OAAO,KAAK,EAAuB,UAAU,EAAE,MAAM,YAAY,CAAC;AAuElE,+EAA+E;AAC/E,wBAAgB,QAAQ,CAAC,GAAG,EAAE,SAAS,OAAO,EAAE,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,WAAW,GAAG,UAAU,CAkCnG"}

package/dist/gate/check.js

@@ -0,0 +1,125 @@
+/* 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 { getField } from '../document/fields.js';
+import { locateFacet } from '../document/node-index.js';
+import { expandCompound } from '../compound/expand.js';
+import { DraftError } from '../ops/draft.js';
+import { validateOp } from '../ops/schema.js';
+import { applyPrimitive } from '../reducer/apply.js';
+import { itemAt, OpApplyError } from '../reducer/edit.js';
+import { groundEntityFields, specVersions } from './grounding.js';
+import { groundPropertyFields } from './grounding-pset.js';
+import { checkFacetStructure, checkOpPayload, checkSuppressionOp, groundingTargets, structureTargets } from './structural.js';
+import { checkConstraint } from './values.js';
+import { checkBsddUri } from './bsdd.js';
+function push(c, issue) {
+    c.issues.push({ ok: false, opIndex: c.opIndex, ...(c.opId ? { opId: c.opId } : {}), candidates: [], ...issue });
+}
+function refusal(err) {
+    if (err instanceof OpApplyError)
+        return { code: err.code, message: err.message };
+    if (err instanceof DraftError)
+        return { code: err.code, message: err.message };
+    return undefined;
+}
+/** Well-formedness, structure and grounding of the facets an applied op touched. */
+function checkAfter(c, op, before, after, ctx) {
+    for (const facetId of structureTargets(op)) {
+        const loc = locateFacet(after, facetId);
+        if (!loc)
+            continue;
+        const item = itemAt(after, loc);
+        for (const p of checkFacetStructure(item.facet, item.requirement))
+            push(c, { code: p.code, message: p.message, path: c.base + p.at, facetId });
+        for (const p of checkBsddUri(item.facet, ctx))
+            push(c, { ...p, path: c.base + '.payload', facetId });
+    }
+    const specOfBefore = (id) => locateFacet(before, id)?.specId;
+    for (const target of groundingTargets(op, after, specOfBefore)) {
+        const loc = locateFacet(after, target.facetId);
+        if (!loc)
+            continue;
+        const spec = after.ids.specifications[loc.specIndex];
+        const facet = itemAt(after, loc).facet;
+        for (const field of new Set(target.fields)) {
+            const constraint = getField(facet, field);
+            if (!constraint)
+                continue;
+            const path = c.base + target.at(field);
+            for (const p of checkConstraint(constraint))
+                push(c, { code: p.code, message: `${field}: ${p.message}`, path, facetId: target.facetId, field });
+            const scope = { ctx, spec, versions: specVersions(spec), facet, field, customPsets: after.meta.custom.psets, userDefinedTypes: after.meta.custom.userDefinedTypes };
+            for (const g of [...groundEntityFields(scope), ...groundPropertyFields(scope)]) {
+                push(c, { ...g, path, facetId: target.facetId, field });
+            }
+        }
+    }
+}
+function checkPrimitive(c, op, doc, ctx) {
+    const before = c.issues.length;
+    for (const p of [...checkOpPayload(op), ...checkSuppressionOp(op, doc)])
+        push(c, { code: p.code, message: p.message, path: c.base + p.at });
+    if (c.issues.length > before)
+        return undefined;
+    let next;
+    try {
+        next = applyPrimitive(doc, op).doc;
+    }
+    catch (err) {
+        const r = refusal(err);
+        if (!r)
+            throw err;
+        push(c, { code: r.code, message: r.message, path: c.base });
+        return undefined;
+    }
+    checkAfter(c, op, doc, next, ctx);
+    // A warning (e.g. a deprecated bSDD URI) does not stop the batch.
+    return c.issues.slice(before).some((i) => i.severity !== 'warning') ? undefined : next;
+}
+function isCompound(op) {
+    return op.kind.startsWith('bulk.');
+}
+/** Check a batch of untrusted ops against `doc`. Never throws on bad input. */
+export function checkOps(ops, doc, ctx) {
+    const issues = [];
+    let current = doc;
+    ops.forEach((raw, opIndex) => {
+        const c = { issues, opIndex, base: `ops[${opIndex}]` };
+        const valid = validateOp(raw);
+        if (!valid.ok) {
+            for (const e of valid.errors)
+                push(c, { code: 'GATE-OP-001', message: e.message, path: c.base + e.path.slice(1) });
+            return;
+        }
+        const op = valid.op;
+        c.opId = op.opId;
+        let primitives;
+        if (isCompound(op)) {
+            try {
+                primitives = expandCompound(current, op);
+            }
+            catch (err) {
+                const r = refusal(err);
+                if (!r)
+                    throw err;
+                push(c, { code: r.code, message: r.message, path: c.base });
+                return;
+            }
+        }
+        else {
+            primitives = [op];
+        }
+        let working = current;
+        primitives.forEach((p, j) => {
+            if (!working)
+                return;
+            const sub = { ...c, base: primitives.length > 1 || p !== op ? `${c.base}.expanded[${j}]` : c.base };
+            working = checkPrimitive(sub, p, working, ctx);
+        });
+        if (working)
+            current = working;
+    });
+    return { ok: issues.every((i) => i.severity === 'warning'), issues };
+}
+//# sourceMappingURL=check.js.map

package/dist/gate/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/gate/check.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAqB/D,OAAO,EAAE,QAAQ,EAAuB,MAAM,uBAAuB,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAG1D,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAmB,MAAM,gBAAgB,CAAC;AACnF,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,cAAc,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAE9H,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AASzC,SAAS,IAAI,CAAC,CAAY,EAAE,KAAyG;IACnI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;AAClH,CAAC;AAED,SAAS,OAAO,CAAC,GAAY;IAC3B,IAAI,GAAG,YAAY,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAgB,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAC7F,IAAI,GAAG,YAAY,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC;IAC/E,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,oFAAoF;AACpF,SAAS,UAAU,CAAC,CAAY,EAAE,EAAe,EAAE,MAAsB,EAAE,KAAqB,EAAE,GAAgB;IAChH,KAAK,MAAM,OAAO,IAAI,gBAAgB,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC;YAAE,IAAI,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAC/I,KAAK,MAAM,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC;YAAE,IAAI,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,YAAY,GAAG,CAAC,EAAQ,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC;IACnE,KAAK,MAAM,MAAM,IAAI,gBAAgB,CAAC,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC;QAC/D,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,KAAK,GAAa,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC;QACjD,KAAK,MAAM,KAAK,IAAI,IAAI,GAAG,CAAiB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3D,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC1C,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACvC,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,UAAU,CAAC;gBAAE,IAAI,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,KAAK,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YAChJ,MAAM,KAAK,GAAe,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,gBAAgB,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAChL,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAAE,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC/E,IAAI,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,CAAY,EAAE,EAAe,EAAE,GAAmB,EAAE,GAAgB;IAC1F,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,EAAE,CAAC,EAAE,GAAG,kBAAkB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAAE,IAAI,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5I,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM;QAAE,OAAO,SAAS,CAAC;IAC/C,IAAI,IAAoB,CAAC;IACzB,IAAI,CAAC;QACH,IAAI,GAAG,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC;IACrC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,CAAC,CAAC;YAAE,MAAM,GAAG,CAAC;QAClB,IAAI,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5D,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,UAAU,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAClC,kEAAkE;IAClE,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AACzF,CAAC;AAED,SAAS,UAAU,CAAC,EAAY;IAC9B,OAAO,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,QAAQ,CAAC,GAAuB,EAAE,GAAmB,EAAE,GAAgB;IACrF,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,IAAI,OAAO,GAAG,GAAG,CAAC;IAClB,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE;QAC3B,MAAM,CAAC,GAAc,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,OAAO,GAAG,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;YACd,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM;gBAAE,IAAI,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACnH,OAAO;QACT,CAAC;QACD,MAAM,EAAE,GAAa,KAAK,CAAC,EAAE,CAAC;QAC9B,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;QACjB,IAAI,UAAyB,CAAC;QAC9B,IAAI,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACnB,IAAI,CAAC;gBACH,UAAU,GAAG,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC3C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvB,IAAI,CAAC,CAAC;oBAAE,MAAM,GAAG,CAAC;gBAClB,IAAI,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5D,OAAO;YACT,CAAC;QACH,CAAC;aAAM,CAAC;YACN,UAAU,GAAG,CAAC,EAAE,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,OAAO,GAA+B,OAAO,CAAC;QAClD,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC1B,IAAI,CAAC,OAAO;gBAAE,OAAO;YACrB,MAAM,GAAG,GAAc,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC/G,OAAO,GAAG,cAAc,CAAC,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QACH,IAAI,OAAO;YAAE,OAAO,GAAG,OAAO,CAAC;IACjC,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;AACvE,CAAC"}