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

package/dist/ops/schema-values.js

@@ -0,0 +1,233 @@
+/* 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/. */
+/**
+ * JSON Schema `$defs` for values and raw IDS content (constraints, facets,
+ * specifications, node snapshots). The op schemas in `./schema.ts`
+ * reference these. Hand-kept in sync with `./types.ts` and
+ * `@ifc-lite/ids`' types; `schema.test.ts` round-trips every corpus
+ * document through them.
+ */
+import { ALL_FACET_FIELDS } from '../document/fields.js';
+/** Object schema with `additionalProperties: false`. */
+export function obj(properties, required = []) {
+    return { type: 'object', properties, required, additionalProperties: false };
+}
+const ref = (name) => ({ $ref: `#/$defs/${name}` });
+const str = { type: 'string' };
+const num = { type: 'number' };
+const int0 = { type: 'integer', minimum: 0 };
+const bool = { type: 'boolean' };
+const uri = { type: 'string', minLength: 1 };
+const DRAFTS = {
+    DraftAny: obj({ kind: { const: 'any' } }, ['kind']),
+    DraftEquals: obj({ kind: { const: 'equals' }, value: ref('Scalar') }, ['kind', 'value']),
+    DraftOneOf: obj({ kind: { const: 'oneOf' }, values: { type: 'array', items: ref('Scalar'), minItems: 1 }, base: ref('XsdBase') }, ['kind', 'values']),
+    DraftPattern: obj({ kind: { const: 'pattern' }, pattern: { type: 'string', minLength: 1 }, base: ref('XsdBase') }, [
+        'kind',
+        'pattern',
+    ]),
+    DraftRange: obj({
+        kind: { const: 'range' },
+        min: num,
+        minInclusive: bool,
+        max: num,
+        maxInclusive: bool,
+        unit: str,
+        base: ref('XsdBase'),
+    }, ['kind']),
+    DraftLength: obj({ kind: { const: 'length' }, exact: int0, min: int0, max: int0 }, ['kind']),
+    DraftDigits: obj({ kind: { const: 'digits' }, total: { type: 'integer', minimum: 1 }, fraction: int0 }, ['kind']),
+    DraftAll: obj({ kind: { const: 'all' }, of: { type: 'array', items: ref('ConstraintDraft'), minItems: 1 } }, [
+        'kind',
+        'of',
+    ]),
+    RawConstraint: obj({ kind: { const: 'raw' }, constraint: ref('IDSConstraint') }, ['kind', 'constraint']),
+};
+const DRAFT_NAMES = Object.keys(DRAFTS).filter((n) => n !== 'RawConstraint');
+const conjunct = { type: 'array', items: ref('IDSConstraint') };
+const IDS_CONTENT = {
+    IDSSimpleValue: obj({ type: { const: 'simpleValue' }, value: str }, ['type', 'value']),
+    IDSPattern: obj({ type: { const: 'pattern' }, pattern: str, base: str, and: conjunct }, ['type', 'pattern']),
+    IDSEnumeration: obj({ type: { const: 'enumeration' }, values: { type: 'array', items: str }, base: str, and: conjunct }, [
+        'type',
+        'values',
+    ]),
+    IDSBounds: obj({
+        type: { const: 'bounds' },
+        minInclusive: num,
+        maxInclusive: num,
+        minExclusive: num,
+        maxExclusive: num,
+        length: num,
+        minLength: num,
+        maxLength: num,
+        totalDigits: num,
+        fractionDigits: num,
+        base: str,
+        and: conjunct,
+        unparseableFacets: { type: 'array', items: obj({ facet: str, rawValue: str }, ['facet', 'rawValue']) },
+    }, ['type']),
+    IDSConstraint: { oneOf: [ref('IDSSimpleValue'), ref('IDSPattern'), ref('IDSEnumeration'), ref('IDSBounds')] },
+    IDSEntityFacet: obj({ type: { const: 'entity' }, name: ref('IDSConstraint'), predefinedType: ref('IDSConstraint') }, [
+        'type',
+        'name',
+    ]),
+    IDSAttributeFacet: obj({ type: { const: 'attribute' }, name: ref('IDSConstraint'), value: ref('IDSConstraint') }, [
+        'type',
+        'name',
+    ]),
+    IDSPropertyFacet: obj({
+        type: { const: 'property' },
+        propertySet: ref('IDSConstraint'),
+        baseName: ref('IDSConstraint'),
+        dataType: ref('IDSConstraint'),
+        value: ref('IDSConstraint'),
+        uri,
+    }, ['type', 'propertySet', 'baseName']),
+    IDSClassificationFacet: obj({ type: { const: 'classification' }, system: ref('IDSConstraint'), value: ref('IDSConstraint'), uri }, ['type']),
+    IDSMaterialFacet: obj({ type: { const: 'material' }, value: ref('IDSConstraint'), uri }, ['type']),
+    IDSPartOfFacet: obj({ type: { const: 'partOf' }, relation: ref('PartOfRelation'), rawRelation: str, entity: ref('IDSEntityFacet') }, ['type', 'relation']),
+    IDSFacet: {
+        oneOf: [
+            ref('IDSEntityFacet'),
+            ref('IDSAttributeFacet'),
+            ref('IDSPropertyFacet'),
+            ref('IDSClassificationFacet'),
+            ref('IDSMaterialFacet'),
+            ref('IDSPartOfFacet'),
+        ],
+    },
+    IDSRequirement: obj({
+        id: str,
+        facet: ref('IDSFacet'),
+        optionality: ref('Optionality'),
+        cardinalityRaw: str,
+        description: str,
+        instructions: str,
+    }, ['id', 'facet', 'optionality']),
+    IDSSpecification: obj({
+        id: str,
+        name: str,
+        description: str,
+        instructions: str,
+        ifcVersions: { type: 'array', items: ref('IfcVersion') },
+        ifcVersionRaw: str,
+        identifier: str,
+        applicability: obj({ facets: { type: 'array', items: ref('IDSFacet') }, cardinality: str }, ['facets']),
+        requirements: { type: 'array', items: ref('IDSRequirement') },
+        minOccurs: num,
+        maxOccurs: { anyOf: [num, { const: 'unbounded' }] },
+    }, ['id', 'name', 'ifcVersions', 'applicability', 'requirements']),
+    FacetNodes: obj({
+        id: ref('Uuid'),
+        constraints: obj(Object.fromEntries(ALL_FACET_FIELDS.map((f) => [f, ref('Uuid')]))),
+    }, ['id', 'constraints']),
+    SpecNodes: obj({
+        id: ref('Uuid'),
+        applicability: { type: 'array', items: ref('FacetNodes') },
+        requirements: { type: 'array', items: ref('FacetNodes') },
+    }, ['id', 'applicability', 'requirements']),
+};
+const vi = ref('ValueInput');
+const FACET_DRAFTS = {
+    EntityDraft: obj({ type: { const: 'entity' }, name: vi, predefinedType: vi }, ['type', 'name']),
+    AttributeDraft: obj({ type: { const: 'attribute' }, name: vi, value: vi }, ['type', 'name']),
+    PropertyDraft: obj({ type: { const: 'property' }, propertySet: vi, baseName: vi, dataType: vi, value: vi, uri }, ['type', 'propertySet', 'baseName']),
+    ClassificationDraft: obj({ type: { const: 'classification' }, system: vi, value: vi, uri }, ['type']),
+    MaterialDraft: obj({ type: { const: 'material' }, value: vi, uri }, ['type']),
+    PartOfDraft: obj({
+        type: { const: 'partOf' },
+        relation: ref('PartOfRelation'),
+        entity: obj({ name: vi, predefinedType: vi }, ['name']),
+    }, ['type', 'relation']),
+};
+export const VALUE_DEFS = {
+    Uuid: { type: 'string', pattern: '^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$' },
+    Scalar: { type: ['string', 'number', 'boolean'] },
+    XsdBase: {
+        enum: [
+            'xs:string',
+            'xs:boolean',
+            'xs:integer',
+            'xs:double',
+            'xs:decimal',
+            'xs:float',
+            'xs:date',
+            'xs:dateTime',
+            'xs:time',
+            'xs:duration',
+            'xs:anyURI',
+        ],
+    },
+    IfcVersion: { enum: ['IFC2X3', 'IFC4', 'IFC4X3_ADD2', 'IFC4X3'] },
+    PartOfRelation: {
+        enum: [
+            'IfcRelAggregates',
+            'IfcRelAssignsToGroup',
+            'IfcRelContainedInSpatialStructure',
+            'IfcRelNests',
+            'IfcRelVoidsElement',
+            'IfcRelFillsElement',
+            'IfcRelVoidsElement IfcRelFillsElement',
+        ],
+    },
+    Optionality: { enum: ['required', 'optional', 'prohibited'] },
+    Section: { enum: ['applicability', 'requirements'] },
+    FacetField: { enum: [...ALL_FACET_FIELDS] },
+    ...DRAFTS,
+    ConstraintDraft: { oneOf: DRAFT_NAMES.map(ref) },
+    ValueInput: { oneOf: [...DRAFT_NAMES.map(ref), ref('RawConstraint')] },
+    ...FACET_DRAFTS,
+    FacetDraft: { oneOf: Object.keys(FACET_DRAFTS).map(ref) },
+    ...IDS_CONTENT,
+    CommentThread: obj({
+        id: { $ref: '#/$defs/Uuid' },
+        resolved: { type: 'boolean' },
+        comments: {
+            type: 'array',
+            minItems: 1,
+            items: obj({ author: { type: 'string', minLength: 1 }, at: { type: 'string', minLength: 1 }, text: { type: 'string', minLength: 1 } }, [
+                'author',
+                'at',
+                'text',
+            ]),
+        },
+    }, ['id', 'resolved', 'comments']),
+    TestExpectation: { enum: ['pass', 'fail', 'notApplicable'] },
+    TestCase: obj({
+        id: { $ref: '#/$defs/Uuid' },
+        name: { type: 'string', minLength: 1 },
+        fixture: {
+            oneOf: [
+                obj({
+                    kind: { const: 'synthetic' },
+                    recipe: obj({
+                        generator: { const: 'ids-testgen/1' },
+                        ifcVersion: { $ref: '#/$defs/IfcVersion' },
+                        variant: {
+                            oneOf: [
+                                obj({ kind: { const: 'pass' } }, ['kind']),
+                                obj({ kind: { const: 'fail' }, requirementId: { $ref: '#/$defs/Uuid' } }, ['kind', 'requirementId']),
+                                obj({ kind: { const: 'notApplicable' } }, ['kind']),
+                            ],
+                        },
+                    }, ['generator', 'ifcVersion', 'variant']),
+                }, ['kind', 'recipe']),
+                obj({ kind: { const: 'snapshot' }, ifcRef: { type: 'string', minLength: 1 }, entityRefs: { type: 'array', items: { type: 'string' } } }, [
+                    'kind',
+                    'ifcRef',
+                    'entityRefs',
+                ]),
+                obj({ kind: { const: 'file' }, path: { type: 'string', minLength: 1 } }, ['kind', 'path']),
+            ],
+        },
+        expect: { $ref: '#/$defs/TestExpectation' },
+        expectFailureOn: { type: 'array', items: { $ref: '#/$defs/Uuid' } },
+    }, ['id', 'name', 'fixture', 'expect']),
+    CustomPsetDecl: obj({
+        name: { type: 'string', minLength: 1 },
+        properties: { type: 'array', items: obj({ name: { type: 'string', minLength: 1 }, dataType: str }, ['name']) },
+    }, ['name']),
+};
+//# sourceMappingURL=schema-values.js.map

package/dist/ops/schema-values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-values.js","sourceRoot":"","sources":["../../src/ops/schema-values.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;GAMG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAGzD,wDAAwD;AACxD,MAAM,UAAU,GAAG,CAAC,UAAsC,EAAE,WAAqB,EAAE;IACjF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,oBAAoB,EAAE,KAAK,EAAE,CAAC;AAC/E,CAAC;AAED,MAAM,GAAG,GAAG,CAAC,IAAY,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,IAAI,EAAE,EAAE,CAAC,CAAC;AACxE,MAAM,GAAG,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC3C,MAAM,GAAG,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC3C,MAAM,IAAI,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AACzD,MAAM,IAAI,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAC7C,MAAM,GAAG,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;AAEzD,MAAM,MAAM,GAA+B;IACzC,QAAQ,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACnD,WAAW,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxF,UAAU,EAAE,GAAG,CACb,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,EAChH,CAAC,MAAM,EAAE,QAAQ,CAAC,CACnB;IACD,YAAY,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE;QACjH,MAAM;QACN,SAAS;KACV,CAAC;IACF,UAAU,EAAE,GAAG,CACb;QACE,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;QACxB,GAAG,EAAE,GAAG;QACR,YAAY,EAAE,IAAI;QAClB,GAAG,EAAE,GAAG;QACR,YAAY,EAAE,IAAI;QAClB,IAAI,EAAE,GAAG;QACT,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC;KACrB,EACD,CAAC,MAAM,CAAC,CACT;IACD,WAAW,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC5F,WAAW,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACjH,QAAQ,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE;QAC3G,MAAM;QACN,IAAI;KACL,CAAC;IACF,aAAa,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;CACzG,CAAC;AAEF,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC;AAE7E,MAAM,QAAQ,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,CAAC;AAE5E,MAAM,WAAW,GAA+B;IAC9C,cAAc,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtF,UAAU,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC5G,cAAc,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE;QACvH,MAAM;QACN,QAAQ;KACT,CAAC;IACF,SAAS,EAAE,GAAG,CACZ;QACE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE;QACzB,YAAY,EAAE,GAAG;QACjB,YAAY,EAAE,GAAG;QACjB,YAAY,EAAE,GAAG;QACjB,YAAY,EAAE,GAAG;QACjB,MAAM,EAAE,GAAG;QACX,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,GAAG;QACd,WAAW,EAAE,GAAG;QAChB,cAAc,EAAE,GAAG;QACnB,IAAI,EAAE,GAAG;QACT,GAAG,EAAE,QAAQ;QACb,iBAAiB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,EAAE;KACvG,EACD,CAAC,MAAM,CAAC,CACT;IACD,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,EAAE;IAC7G,cAAc,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,cAAc,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,EAAE;QACnH,MAAM;QACN,MAAM;KACP,CAAC;IACF,iBAAiB,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,EAAE;QAChH,MAAM;QACN,MAAM;KACP,CAAC;IACF,gBAAgB,EAAE,GAAG,CACnB;QACE,IAAI,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE;QAC3B,WAAW,EAAE,GAAG,CAAC,eAAe,CAAC;QACjC,QAAQ,EAAE,GAAG,CAAC,eAAe,CAAC;QAC9B,QAAQ,EAAE,GAAG,CAAC,eAAe,CAAC;QAC9B,KAAK,EAAE,GAAG,CAAC,eAAe,CAAC;QAC3B,GAAG;KACJ,EACD,CAAC,MAAM,EAAE,aAAa,EAAE,UAAU,CAAC,CACpC;IACD,sBAAsB,EAAE,GAAG,CACzB,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,EACrG,CAAC,MAAM,CAAC,CACT;IACD,gBAAgB,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAClG,cAAc,EAAE,GAAG,CACjB,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,gBAAgB,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,gBAAgB,CAAC,EAAE,EAC/G,CAAC,MAAM,EAAE,UAAU,CAAC,CACrB;IACD,QAAQ,EAAE;QACR,KAAK,EAAE;YACL,GAAG,CAAC,gBAAgB,CAAC;YACrB,GAAG,CAAC,mBAAmB,CAAC;YACxB,GAAG,CAAC,kBAAkB,CAAC;YACvB,GAAG,CAAC,wBAAwB,CAAC;YAC7B,GAAG,CAAC,kBAAkB,CAAC;YACvB,GAAG,CAAC,gBAAgB,CAAC;SACtB;KACF;IACD,cAAc,EAAE,GAAG,CACjB;QACE,EAAE,EAAE,GAAG;QACP,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC;QACtB,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;QAC/B,cAAc,EAAE,GAAG;QACnB,WAAW,EAAE,GAAG;QAChB,YAAY,EAAE,GAAG;KAClB,EACD,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,CAC/B;IACD,gBAAgB,EAAE,GAAG,CACnB;QACE,EAAE,EAAE,GAAG;QACP,IAAI,EAAE,GAAG;QACT,WAAW,EAAE,GAAG;QAChB,YAAY,EAAE,GAAG;QACjB,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE;QACxD,aAAa,EAAE,GAAG;QAClB,UAAU,EAAE,GAAG;QACf,aAAa,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;QACvG,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,gBAAgB,CAAC,EAAE;QAC7D,SAAS,EAAE,GAAG;QACd,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE;KACpD,EACD,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,eAAe,EAAE,cAAc,CAAC,CAC/D;IACD,UAAU,EAAE,GAAG,CACb;QACE,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC;QACf,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;KACpF,EACD,CAAC,IAAI,EAAE,aAAa,CAAC,CACtB;IACD,SAAS,EAAE,GAAG,CACZ;QACE,EAAE,EAAE,GAAG,CAAC,MAAM,CAAC;QACf,aAAa,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE;QAC1D,YAAY,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE;KAC1D,EACD,CAAC,IAAI,EAAE,eAAe,EAAE,cAAc,CAAC,CACxC;CACF,CAAC;AAEF,MAAM,EAAE,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;AAE7B,MAAM,YAAY,GAA+B;IAC/C,WAAW,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/F,cAAc,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5F,aAAa,EAAE,GAAG,CAChB,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAC5F,CAAC,MAAM,EAAE,aAAa,EAAE,UAAU,CAAC,CACpC;IACD,mBAAmB,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,gBAAgB,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACrG,aAAa,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC7E,WAAW,EAAE,GAAG,CACd;QACE,IAAI,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE;QACzB,QAAQ,EAAE,GAAG,CAAC,gBAAgB,CAAC;QAC/B,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;KACxD,EACD,CAAC,MAAM,EAAE,UAAU,CAAC,CACrB;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAA+B;IACpD,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,gEAAgE,EAAE;IACnG,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE;IACjD,OAAO,EAAE;QACP,IAAI,EAAE;YACJ,WAAW;YACX,YAAY;YACZ,YAAY;YACZ,WAAW;YACX,YAAY;YACZ,UAAU;YACV,SAAS;YACT,aAAa;YACb,SAAS;YACT,aAAa;YACb,WAAW;SACZ;KACF;IACD,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,QAAQ,CAAC,EAAE;IACjE,cAAc,EAAE;QACd,IAAI,EAAE;YACJ,kBAAkB;YAClB,sBAAsB;YACtB,mCAAmC;YACnC,aAAa;YACb,oBAAoB;YACpB,oBAAoB;YACpB,uCAAuC;SACxC;KACF;IACD,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,CAAC,EAAE;IAC7D,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC,EAAE;IACpD,UAAU,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,gBAAgB,CAAC,EAAE;IAC3C,GAAG,MAAM;IACT,eAAe,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;IAChD,UAAU,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,EAAE;IACtE,GAAG,YAAY;IACf,UAAU,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;IACzD,GAAG,WAAW;IACd,aAAa,EAAE,GAAG,CAChB;QACE,EAAE,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE;QAC5B,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC7B,QAAQ,EAAE;YACR,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE;gBACrI,QAAQ;gBACR,IAAI;gBACJ,MAAM;aACP,CAAC;SACH;KACF,EACD,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,CAC/B;IACD,eAAe,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE;IAC5D,QAAQ,EAAE,GAAG,CACX;QACE,EAAE,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE;QAC5B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;QACtC,OAAO,EAAE;YACP,KAAK,EAAE;gBACL,GAAG,CACD;oBACE,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE;oBAC5B,MAAM,EAAE,GAAG,CACT;wBACE,SAAS,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE;wBACrC,UAAU,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE;wBAC1C,OAAO,EAAE;4BACP,KAAK,EAAE;gCACL,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;gCAC1C,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,aAAa,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;gCACpG,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;6BACpD;yBACF;qBACF,EACD,CAAC,WAAW,EAAE,YAAY,EAAE,SAAS,CAAC,CACvC;iBACF,EACD,CAAC,MAAM,EAAE,QAAQ,CAAC,CACnB;gBACD,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE;oBACvI,MAAM;oBACN,QAAQ;oBACR,YAAY;iBACb,CAAC;gBACF,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;aAC3F;SACF;QACD,MAAM,EAAE,EAAE,IAAI,EAAE,yBAAyB,EAAE;QAC3C,eAAe,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE;KACpE,EACD,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,CACpC;IACD,cAAc,EAAE,GAAG,CACjB;QACE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE;QACtC,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE;KAC/G,EACD,CAAC,MAAM,CAAC,CACT;CACF,CAAC"}

package/dist/ops/schema.d.ts

@@ -0,0 +1,27 @@
+/**
+ * The op contract as JSON Schema — the single source the runtime validator
+ * (`validateOp`) interprets and `getOpJsonSchema()` hands to AI tools, MCP
+ * and other non-TypeScript callers (§8: the agent's contract cannot drift
+ * from the reducer because both read this object).
+ */
+import { type SchemaError } from './json-schema-lite.js';
+import { type OpKind, type StudioOp } from './types.js';
+/** Every op kind of vocabulary v1, in schema order. */
+export declare const OP_KINDS: OpKind[];
+/**
+ * The JSON Schema (2020-12) of one op of vocabulary v1. Self-contained
+ * (`$defs` included); safe to embed in an AI tool definition.
+ */
+export declare function getOpJsonSchema(): Record<string, unknown>;
+export type OpValidation = {
+    ok: true;
+    op: StudioOp;
+} | {
+    ok: false;
+    errors: SchemaError[];
+};
+/** Runtime check of an untrusted value against the op schema. */
+export declare function validateOp(value: unknown): OpValidation;
+/** Validate an arbitrary named `$def` (used for template expansion). */
+export declare function validateAgainstDef(value: unknown, def: string): SchemaError[];
+//# sourceMappingURL=schema.d.ts.map

package/dist/ops/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/ops/schema.ts"],"names":[],"mappings":"AAIA;;;;;GAKG;AAEH,OAAO,EAAiC,KAAK,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAExF,OAAO,EAAe,KAAK,MAAM,EAAE,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AAqNrE,uDAAuD;AACvD,eAAO,MAAM,QAAQ,EAA4B,MAAM,EAAE,CAAC;AAiF1D;;;GAGG;AACH,wBAAgB,eAAe,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAQzD;AAED,MAAM,MAAM,YAAY,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,QAAQ,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,WAAW,EAAE,CAAA;CAAE,CAAC;AAE7F,iEAAiE;AACjE,wBAAgB,UAAU,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,CAGvD;AAED,wEAAwE;AACxE,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,GAAG,WAAW,EAAE,CAE7E"}

package/dist/ops/schema.js

@@ -0,0 +1,258 @@
+/* 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/. */
+/**
+ * The op contract as JSON Schema — the single source the runtime validator
+ * (`validateOp`) interprets and `getOpJsonSchema()` hands to AI tools, MCP
+ * and other non-TypeScript callers (§8: the agent's contract cannot drift
+ * from the reducer because both read this object).
+ */
+import { validateJson } from './json-schema-lite.js';
+import { obj, VALUE_DEFS } from './schema-values.js';
+import { OPS_VERSION } from './types.js';
+const ref = (name) => ({ $ref: `#/$defs/${name}` });
+const str = { type: 'string' };
+const nonEmpty = { type: 'string', minLength: 1 };
+const nullableStr = { type: ['string', 'null'] };
+const index = { type: 'integer', minimum: 0 };
+const uuid = ref('Uuid');
+const versions = { type: 'array', items: ref('IfcVersion'), minItems: 1 };
+const scope = { type: 'array', items: uuid };
+const PAYLOADS = {
+    'doc.setInfo': obj({
+        field: { enum: ['title', 'copyright', 'version', 'description', 'author', 'date', 'purpose', 'milestone'] },
+        value: nullableStr,
+    }, ['field', 'value']),
+    'spec.add': obj({
+        specId: uuid,
+        index,
+        name: str,
+        ifcVersions: versions,
+        description: str,
+        instructions: str,
+        identifier: str,
+        cardinality: ref('Optionality'),
+    }, ['specId', 'name', 'ifcVersions']),
+    'spec.remove': obj({ specId: uuid }, ['specId']),
+    'spec.duplicate': obj({ specId: uuid, newSpecId: uuid, nameSuffix: str }, ['specId', 'newSpecId']),
+    'spec.move': obj({ specId: uuid, toIndex: index }, ['specId', 'toIndex']),
+    'spec.set': obj({ specId: uuid, field: { enum: ['name', 'description', 'instructions', 'identifier'] }, value: nullableStr }, ['specId', 'field', 'value']),
+    'spec.setCardinality': obj({ specId: uuid, cardinality: ref('Optionality') }, ['specId', 'cardinality']),
+    'spec.setIfcVersions': obj({ specId: uuid, versions }, ['specId', 'versions']),
+    'spec.restore': obj({ index, spec: ref('IDSSpecification'), nodes: ref('SpecNodes') }, ['index', 'spec', 'nodes']),
+    'spec.patch': obj({
+        specId: uuid,
+        set: obj({
+            name: str,
+            description: nullableStr,
+            instructions: nullableStr,
+            identifier: nullableStr,
+            ifcVersions: { type: 'array', items: ref('IfcVersion') },
+            ifcVersionRaw: nullableStr,
+            minOccurs: { type: ['number', 'null'] },
+            maxOccurs: { anyOf: [{ type: ['number', 'null'] }, { const: 'unbounded' }] },
+            applicabilityCardinality: nullableStr,
+        }),
+    }, ['specId', 'set']),
+    'facet.add': obj({
+        specId: uuid,
+        section: ref('Section'),
+        facetId: uuid,
+        index,
+        facet: ref('FacetDraft'),
+        optionality: ref('Optionality'),
+        description: str,
+        instructions: str,
+        constraintIds: ref('ConstraintIds'),
+    }, ['specId', 'section', 'facetId', 'facet']),
+    'facet.remove': obj({ facetId: uuid }, ['facetId']),
+    'facet.move': obj({ facetId: uuid, toSpecId: uuid, toSection: ref('Section'), toIndex: index }, [
+        'facetId',
+        'toIndex',
+    ]),
+    'facet.replace': obj({ facetId: uuid, facet: ref('FacetDraft'), constraintIds: ref('ConstraintIds') }, [
+        'facetId',
+        'facet',
+    ]),
+    'facet.setField': obj({ facetId: uuid, field: ref('FacetField'), value: { anyOf: [ref('ValueInput'), { type: 'null' }] }, constraintId: uuid }, ['facetId', 'field', 'value']),
+    'facet.setRelation': obj({ facetId: uuid, relation: ref('PartOfRelation') }, ['facetId', 'relation']),
+    'facet.setUri': obj({ facetId: uuid, uri: { type: ['string', 'null'], minLength: 1 } }, ['facetId', 'uri']),
+    'facet.restore': obj({
+        specId: uuid,
+        section: ref('Section'),
+        index,
+        facet: ref('IDSFacet'),
+        requirement: obj({ optionality: ref('Optionality'), cardinalityRaw: str, description: str, instructions: str }, ['optionality']),
+        nodes: ref('FacetNodes'),
+    }, ['specId', 'section', 'index', 'facet', 'nodes']),
+    'facet.patch': obj({
+        facetId: uuid,
+        set: obj({
+            optionality: ref('Optionality'),
+            cardinalityRaw: nullableStr,
+            description: nullableStr,
+            instructions: nullableStr,
+            relation: ref('PartOfRelation'),
+            rawRelation: nullableStr,
+            uri: nullableStr,
+        }),
+    }, ['facetId', 'set']),
+    'requirement.setOptionality': obj({ facetId: uuid, optionality: ref('Optionality') }, ['facetId', 'optionality']),
+    'requirement.set': obj({ facetId: uuid, field: { enum: ['description', 'instructions'] }, value: nullableStr }, ['facetId', 'field', 'value']),
+    'value.set': obj({ facetId: uuid, field: ref('FacetField'), value: ref('ValueInput'), constraintId: uuid }, [
+        'facetId',
+        'field',
+        'value',
+    ]),
+    'value.addEnumValue': obj({ facetId: uuid, field: ref('FacetField'), value: ref('Scalar'), constraintId: uuid }, [
+        'facetId',
+        'field',
+        'value',
+    ]),
+    'value.removeEnumValue': obj({ facetId: uuid, field: ref('FacetField'), value: ref('Scalar') }, [
+        'facetId',
+        'field',
+        'value',
+    ]),
+    'meta.custom.declarePset': obj({ decl: ref('CustomPsetDecl'), index }, ['decl']),
+    'meta.custom.removePset': obj({ name: nonEmpty }, ['name']),
+    'meta.custom.declareUserDefinedType': obj({ entity: nonEmpty, value: nonEmpty, index }, ['entity', 'value']),
+    'meta.custom.removeUserDefinedType': obj({ entity: nonEmpty, value: nonEmpty }, ['entity', 'value']),
+    'meta.comment.add': obj({ nodeId: uuid, threadId: uuid, author: nonEmpty, at: nonEmpty, text: nonEmpty }, [
+        'nodeId',
+        'threadId',
+        'author',
+        'at',
+        'text',
+    ]),
+    'meta.comment.reply': obj({ threadId: uuid, author: nonEmpty, at: nonEmpty, text: nonEmpty }, ['threadId', 'author', 'at', 'text']),
+    'meta.comment.removeReply': obj({ threadId: uuid }, ['threadId']),
+    'meta.comment.resolve': obj({ threadId: uuid, resolved: { type: 'boolean' } }, ['threadId', 'resolved']),
+    'meta.comment.removeThread': obj({ threadId: uuid }, ['threadId']),
+    'meta.comment.restoreThread': obj({ nodeId: uuid, index, thread: ref('CommentThread') }, ['nodeId', 'index', 'thread']),
+    'meta.test.add': obj({ specId: uuid, testCase: ref('TestCase'), index }, ['specId', 'testCase']),
+    'meta.test.remove': obj({ testId: uuid }, ['testId']),
+    'meta.test.restore': obj({ specId: uuid, index, testCase: ref('TestCase') }, ['specId', 'index', 'testCase']),
+    'meta.test.setExpectation': obj({ testId: uuid, expect: ref('TestExpectation'), expectFailureOn: { anyOf: [{ type: 'array', items: uuid }, { type: 'null' }] } }, ['testId', 'expect', 'expectFailureOn']),
+    'meta.suppress': obj({
+        nodeId: uuid,
+        // Rule format and a non-blank reason are gate checks (GATE-SUP-001/002),
+        // so an inverse can restore an imported suppression exactly.
+        suppression: obj({ rule: str, reason: str, by: str, at: str }, ['rule', 'reason', 'at']),
+        index,
+    }, ['nodeId', 'suppression']),
+    'meta.unsuppress': obj({ nodeId: uuid, rule: str, keepEmpty: { type: 'boolean' } }, ['nodeId', 'rule']),
+    'bulk.renameProperty': obj({ fromPset: nonEmpty, fromName: nonEmpty, toPset: nonEmpty, toName: nonEmpty, scope }, ['fromPset', 'fromName', 'toPset', 'toName']),
+    'bulk.retargetEntity': obj({ from: nonEmpty, to: nonEmpty, scope }, ['from', 'to']),
+    'bulk.applyTemplate': obj({ template: ref('OpTemplate'), params: { type: 'object', additionalProperties: str } }, ['template', 'params']),
+    'bulk.fromBsddClass': obj({
+        classes: { type: 'array', items: ref('BsddClassSnapshot'), minItems: 1 },
+        target: {
+            oneOf: [
+                obj({ specId: uuid }, ['specId']),
+                obj({
+                    newSpec: obj({ specId: uuid, name: nonEmpty, ifcVersions: versions, index, description: str, identifier: str, cardinality: ref('Optionality') }, ['specId', 'name', 'ifcVersions']),
+                }, ['newSpec']),
+            ],
+        },
+        classification: obj({ section: ref('Section'), uri: { type: 'boolean' } }, ['section']),
+        entity: obj({ section: ref('Section'), entities: { type: 'array', items: nonEmpty, minItems: 1 } }, ['section']),
+        properties: obj({
+            select: { type: 'array', items: nonEmpty, minItems: 1 },
+            optionality: { enum: ['fromClass', 'required', 'optional'] },
+            fallbackPropertySet: nonEmpty,
+            uri: { type: 'boolean' },
+        }, ['select']),
+    }, ['classes', 'target']),
+};
+/** Every op kind of vocabulary v1, in schema order. */
+export const OP_KINDS = Object.keys(PAYLOADS);
+const COMPOUND = new Set(['bulk.renameProperty', 'bulk.retargetEntity', 'bulk.applyTemplate', 'bulk.fromBsddClass']);
+function opDefName(kind) {
+    return `Op_${kind.replace(/\./g, '_')}`;
+}
+function buildDefs() {
+    const defs = { ...VALUE_DEFS };
+    defs.ConstraintIds = VALUE_DEFS.FacetNodes.properties?.constraints ?? {};
+    for (const kind of OP_KINDS) {
+        defs[opDefName(kind)] = obj({ kind: { const: kind }, opId: uuid, payload: PAYLOADS[kind] }, [
+            'kind',
+            'opId',
+            'payload',
+        ]);
+    }
+    defs.TemplateOp = {
+        type: 'object',
+        properties: {
+            kind: { enum: OP_KINDS.filter((k) => !COMPOUND.has(k)) },
+            payload: { type: 'object' },
+        },
+        required: ['kind', 'payload'],
+        additionalProperties: false,
+    };
+    defs.OpTemplate = obj({
+        id: nonEmpty,
+        title: str,
+        params: {
+            type: 'array',
+            items: obj({ name: { type: 'string', pattern: '^[A-Za-z_][A-Za-z0-9_]*$' }, description: str, default: str }, [
+                'name',
+            ]),
+        },
+        ops: { type: 'array', items: ref('TemplateOp'), minItems: 1 },
+    }, ['id', 'params', 'ops']);
+    defs.BsddClassSnapshot = obj({
+        uri: nonEmpty,
+        code: nonEmpty,
+        name: str,
+        dictionaryUri: nonEmpty,
+        dictionaryName: nonEmpty,
+        relatedIfcEntities: { type: 'array', items: obj({ entity: nonEmpty, predefinedType: nonEmpty }, ['entity']) },
+        properties: { type: 'array', items: ref('BsddPropertySnapshot') },
+    }, ['uri', 'code', 'name', 'dictionaryUri', 'dictionaryName']);
+    const num = { type: 'number' };
+    defs.BsddPropertySnapshot = obj({
+        code: nonEmpty,
+        name: str,
+        uri: nonEmpty,
+        propertySet: nonEmpty,
+        dataType: nonEmpty,
+        propertyValueKind: nonEmpty,
+        dimension: nonEmpty,
+        units: { type: 'array', items: nonEmpty },
+        allowedValues: { type: 'array', items: obj({ code: nonEmpty, value: str }, ['code']) },
+        minInclusive: num,
+        maxInclusive: num,
+        minExclusive: num,
+        maxExclusive: num,
+        pattern: nonEmpty,
+        isRequired: { type: 'boolean' },
+        standardDataType: nonEmpty,
+    }, ['code']);
+    defs.StudioOp = { oneOf: OP_KINDS.map((k) => ref(opDefName(k))) };
+    return defs;
+}
+const DEFS = buildDefs();
+/**
+ * The JSON Schema (2020-12) of one op of vocabulary v1. Self-contained
+ * (`$defs` included); safe to embed in an AI tool definition.
+ */
+export function getOpJsonSchema() {
+    return {
+        $schema: 'https://json-schema.org/draft/2020-12/schema',
+        $id: `https://ifclite.dev/schemas/ids-authoring/ops-v${OPS_VERSION}.json`,
+        title: `IDS Studio operation (opsVersion ${OPS_VERSION})`,
+        ...structuredClone(DEFS.StudioOp),
+        $defs: structuredClone(DEFS),
+    };
+}
+/** Runtime check of an untrusted value against the op schema. */
+export function validateOp(value) {
+    const errors = validateJson(value, DEFS.StudioOp, DEFS);
+    return errors.length === 0 ? { ok: true, op: value } : { ok: false, errors };
+}
+/** Validate an arbitrary named `$def` (used for template expansion). */
+export function validateAgainstDef(value, def) {
+    return validateJson(value, ref(def), DEFS);
+}
+//# sourceMappingURL=schema.js.map

package/dist/ops/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/ops/schema.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAqC,MAAM,uBAAuB,CAAC;AACxF,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,WAAW,EAA8B,MAAM,YAAY,CAAC;AAErE,MAAM,GAAG,GAAG,CAAC,IAAY,EAAc,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,IAAI,EAAE,EAAE,CAAC,CAAC;AACxE,MAAM,GAAG,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC3C,MAAM,QAAQ,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;AAC9D,MAAM,WAAW,GAAe,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;AAC7D,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;AAC1D,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;AACzB,MAAM,QAAQ,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;AACtF,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAEzD,MAAM,QAAQ,GAA+B;IAC3C,aAAa,EAAE,GAAG,CAChB;QACE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE;QAC3G,KAAK,EAAE,WAAW;KACnB,EACD,CAAC,OAAO,EAAE,OAAO,CAAC,CACnB;IACD,UAAU,EAAE,GAAG,CACb;QACE,MAAM,EAAE,IAAI;QACZ,KAAK;QACL,IAAI,EAAE,GAAG;QACT,WAAW,EAAE,QAAQ;QACrB,WAAW,EAAE,GAAG;QAChB,YAAY,EAAE,GAAG;QACjB,UAAU,EAAE,GAAG;QACf,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;KAChC,EACD,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,CAAC,CAClC;IACD,aAAa,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;IAChD,gBAAgB,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;IAClG,WAAW,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACzE,UAAU,EAAE,GAAG,CACb,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,cAAc,EAAE,YAAY,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAC5G,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAC7B;IACD,qBAAqB,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACxG,qBAAqB,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC9E,cAAc,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,kBAAkB,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IAClH,YAAY,EAAE,GAAG,CACf;QACE,MAAM,EAAE,IAAI;QACZ,GAAG,EAAE,GAAG,CAAC;YACP,IAAI,EAAE,GAAG;YACT,WAAW,EAAE,WAAW;YACxB,YAAY,EAAE,WAAW;YACzB,UAAU,EAAE,WAAW;YACvB,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE;YACxD,aAAa,EAAE,WAAW;YAC1B,SAAS,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE;YACvC,SAAS,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE;YAC5E,wBAAwB,EAAE,WAAW;SACtC,CAAC;KACH,EACD,CAAC,QAAQ,EAAE,KAAK,CAAC,CAClB;IACD,WAAW,EAAE,GAAG,CACd;QACE,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC;QACvB,OAAO,EAAE,IAAI;QACb,KAAK;QACL,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC;QACxB,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;QAC/B,WAAW,EAAE,GAAG;QAChB,YAAY,EAAE,GAAG;QACjB,aAAa,EAAE,GAAG,CAAC,eAAe,CAAC;KACpC,EACD,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,CAAC,CAC1C;IACD,cAAc,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;IACnD,YAAY,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE;QAC9F,SAAS;QACT,SAAS;KACV,CAAC;IACF,eAAe,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,EAAE;QACrG,SAAS;QACT,OAAO;KACR,CAAC;IACF,gBAAgB,EAAE,GAAG,CACnB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,EACxH,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAC9B;IACD,mBAAmB,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,gBAAgB,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;IACrG,cAAc,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAC3G,eAAe,EAAE,GAAG,CAClB;QACE,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC;QACvB,KAAK;QACL,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC;QACtB,WAAW,EAAE,GAAG,CACd,EAAE,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,cAAc,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,EAC7F,CAAC,aAAa,CAAC,CAChB;QACD,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC;KACzB,EACD,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CACjD;IACD,aAAa,EAAE,GAAG,CAChB;QACE,OAAO,EAAE,IAAI;QACb,GAAG,EAAE,GAAG,CAAC;YACP,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC;YAC/B,cAAc,EAAE,WAAW;YAC3B,WAAW,EAAE,WAAW;YACxB,YAAY,EAAE,WAAW;YACzB,QAAQ,EAAE,GAAG,CAAC,gBAAgB,CAAC;YAC/B,WAAW,EAAE,WAAW;YACxB,GAAG,EAAE,WAAW;SACjB,CAAC;KACH,EACD,CAAC,SAAS,EAAE,KAAK,CAAC,CACnB;IACD,4BAA4B,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;IACjH,iBAAiB,EAAE,GAAG,CACpB,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EACvF,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,CAAC,CAC9B;IACD,WAAW,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE;QAC1G,SAAS;QACT,OAAO;QACP,OAAO;KACR,CAAC;IACF,oBAAoB,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE;QAC/G,SAAS;QACT,OAAO;QACP,OAAO;KACR,CAAC;IACF,uBAAuB,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE;QAC9F,SAAS;QACT,OAAO;QACP,OAAO;KACR,CAAC;IACF,yBAAyB,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,gBAAgB,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAChF,wBAAwB,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IAC3D,oCAAoC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC5G,mCAAmC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACpG,kBAAkB,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;QACxG,QAAQ;QACR,UAAU;QACV,QAAQ;QACR,IAAI;QACJ,MAAM;KACP,CAAC;IACF,oBAAoB,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACnI,0BAA0B,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IACjE,sBAAsB,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACxG,2BAA2B,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IAClE,4BAA4B,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACvH,eAAe,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAChG,kBAAkB,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;IACrD,mBAAmB,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7G,0BAA0B,EAAE,GAAG,CAC7B,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,iBAAiB,CAAC,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,EAChI,CAAC,QAAQ,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CACxC;IACD,eAAe,EAAE,GAAG,CAClB;QACE,MAAM,EAAE,IAAI;QACZ,yEAAyE;QACzE,6DAA6D;QAC7D,WAAW,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACxF,KAAK;KACN,EACD,CAAC,QAAQ,EAAE,aAAa,CAAC,CAC1B;IACD,iBAAiB,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACvG,qBAAqB,EAAE,GAAG,CACxB,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EACrF,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAC7C;IACD,qBAAqB,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACnF,oBAAoB,EAAE,GAAG,CACvB,EAAE,QAAQ,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,oBAAoB,EAAE,GAAG,EAAE,EAAE,EACtF,CAAC,UAAU,EAAE,QAAQ,CAAC,CACvB;IACD,oBAAoB,EAAE,GAAG,CACvB;QACE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,mBAAmB,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;QACxE,MAAM,EAAE;YACN,KAAK,EAAE;gBACL,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC;gBACjC,GAAG,CACD;oBACE,OAAO,EAAE,GAAG,CACV,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,CAAC,aAAa,CAAC,EAAE,EAClI,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,CAAC,CAClC;iBACF,EACD,CAAC,SAAS,CAAC,CACZ;aACF;SACF;QACD,cAAc,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;QACvF,MAAM,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;QAChH,UAAU,EAAE,GAAG,CACb;YACE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE;YACvD,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,UAAU,CAAC,EAAE;YAC5D,mBAAmB,EAAE,QAAQ;YAC7B,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SACzB,EACD,CAAC,QAAQ,CAAC,CACX;KACF,EACD,CAAC,SAAS,EAAE,QAAQ,CAAC,CACtB;CACF,CAAC;AAEF,uDAAuD;AACvD,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAa,CAAC;AAE1D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,qBAAqB,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAE7H,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;AAC1C,CAAC;AAED,SAAS,SAAS;IAChB,MAAM,IAAI,GAA+B,EAAE,GAAG,UAAU,EAAE,CAAC;IAC3D,IAAI,CAAC,aAAa,GAAG,UAAU,CAAC,UAAU,CAAC,UAAU,EAAE,WAAW,IAAI,EAAE,CAAC;IACzE,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE;YAC1F,MAAM;YACN,MAAM;YACN,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,UAAU,GAAG;QAChB,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;YACxD,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC5B;QACD,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;QAC7B,oBAAoB,EAAE,KAAK;KAC5B,CAAC;IACF,IAAI,CAAC,UAAU,GAAG,GAAG,CACnB;QACE,EAAE,EAAE,QAAQ;QACZ,KAAK,EAAE,GAAG;QACV,MAAM,EAAE;YACN,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,0BAA0B,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE;gBAC5G,MAAM;aACP,CAAC;SACH;QACD,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE;KAC9D,EACD,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CACxB,CAAC;IACF,IAAI,CAAC,iBAAiB,GAAG,GAAG,CAC1B;QACE,GAAG,EAAE,QAAQ;QACb,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,GAAG;QACT,aAAa,EAAE,QAAQ;QACvB,cAAc,EAAE,QAAQ;QACxB,kBAAkB,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE;QAC7G,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,sBAAsB,CAAC,EAAE;KAClE,EACD,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,gBAAgB,CAAC,CAC3D,CAAC;IACF,MAAM,GAAG,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC3C,IAAI,CAAC,oBAAoB,GAAG,GAAG,CAC7B;QACE,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,GAAG;QACT,GAAG,EAAE,QAAQ;QACb,WAAW,EAAE,QAAQ;QACrB,QAAQ,EAAE,QAAQ;QAClB,iBAAiB,EAAE,QAAQ;QAC3B,SAAS,EAAE,QAAQ;QACnB,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE;QACzC,aAAa,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE;QACtF,YAAY,EAAE,GAAG;QACjB,YAAY,EAAE,GAAG;QACjB,YAAY,EAAE,GAAG;QACjB,YAAY,EAAE,GAAG;QACjB,OAAO,EAAE,QAAQ;QACjB,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;QAC/B,gBAAgB,EAAE,QAAQ;KAC3B,EACD,CAAC,MAAM,CAAC,CACT,CAAC;IACF,IAAI,CAAC,QAAQ,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,IAAI,GAAG,SAAS,EAAE,CAAC;AAEzB;;;GAGG;AACH,MAAM,UAAU,eAAe;IAC7B,OAAO;QACL,OAAO,EAAE,8CAA8C;QACvD,GAAG,EAAE,kDAAkD,WAAW,OAAO;QACzE,KAAK,EAAE,oCAAoC,WAAW,GAAG;QACzD,GAAG,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;QACjC,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC;KAC7B,CAAC;AACJ,CAAC;AAID,iEAAiE;AACjE,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3F,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,kBAAkB,CAAC,KAAc,EAAE,GAAW;IAC5D,OAAO,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;AAC7C,CAAC"}