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

package/dist/lint/rules/index.js

@@ -0,0 +1,63 @@
+/* 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 { ENT_001, ENT_002, ENT_003, ENT_004, ENT_005 } from './entity.js';
+import { ATT_001, ATT_002, PDT_001, PDT_002, PDT_003 } from './pdt-att.js';
+import { DOC_001, PART_001, VER_001 } from './doc-ver-part.js';
+import { CARD_001, CARD_002, CARD_003, CARD_004 } from './card.js';
+import { SPEC_001, SPEC_002, SPEC_003, SPEC_007, SPEC_008 } from './spec.js';
+import { SPEC_005, SPEC_006, SPEC_009 } from './spec-doc.js';
+import { REGEX_001, REGEX_002, REGEX_003, REGEX_004 } from './regex.js';
+import { UNIT_001, VAL_008 } from './units.js';
+import { VAL_001, VAL_002, VAL_003, VAL_004, VAL_005, VAL_006 } from './values.js';
+import { PROP_001, PROP_002, PROP_003, PSET_001, PSET_002, PSET_003 } from './pset.js';
+import { BSDD_001, BSDD_002, BSDD_003 } from './bsdd.js';
+export const LINT_RULES = [
+    ENT_001,
+    ENT_002,
+    ENT_003,
+    ENT_004,
+    ENT_005,
+    PDT_001,
+    PDT_002,
+    PDT_003,
+    ATT_001,
+    ATT_002,
+    PSET_001,
+    PSET_002,
+    PSET_003,
+    PROP_001,
+    PROP_002,
+    PROP_003,
+    VAL_001,
+    VAL_002,
+    VAL_003,
+    VAL_004,
+    VAL_005,
+    VAL_006,
+    VAL_008,
+    UNIT_001,
+    REGEX_001,
+    REGEX_002,
+    REGEX_003,
+    REGEX_004,
+    CARD_001,
+    CARD_002,
+    CARD_003,
+    CARD_004,
+    SPEC_001,
+    SPEC_002,
+    SPEC_003,
+    SPEC_005,
+    SPEC_006,
+    SPEC_007,
+    SPEC_008,
+    SPEC_009,
+    DOC_001,
+    VER_001,
+    PART_001,
+    BSDD_001,
+    BSDD_002,
+    BSDD_003,
+];
+//# sourceMappingURL=index.js.map

package/dist/lint/rules/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lint/rules/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAK/D,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC1E,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACnE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACxE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACnF,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACvF,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAEzD,MAAM,CAAC,MAAM,UAAU,GAAwB;IAC7C,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,OAAO;IACP,QAAQ;IACR,SAAS;IACT,SAAS;IACT,SAAS;IACT,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,OAAO;IACP,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC"}

package/dist/lint/rules/pdt-att.d.ts

@@ -0,0 +1,7 @@
+import type { SpecRule } from '../types.js';
+export declare const PDT_001: SpecRule;
+export declare const PDT_003: SpecRule;
+export declare const PDT_002: SpecRule;
+export declare const ATT_001: SpecRule;
+export declare const ATT_002: SpecRule;
+//# sourceMappingURL=pdt-att.d.ts.map

package/dist/lint/rules/pdt-att.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pdt-att.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/pdt-att.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAwB,QAAQ,EAAY,MAAM,aAAa,CAAC;AAgD5E,eAAO,MAAM,OAAO,EAAE,QAoBrB,CAAC;AAEF,eAAO,MAAM,OAAO,EAAE,QA2BrB,CAAC;AAUF,eAAO,MAAM,OAAO,EAAE,QAqCrB,CAAC;AAEF,eAAO,MAAM,OAAO,EAAE,QAoCrB,CAAC;AAEF,eAAO,MAAM,OAAO,EAAE,QAgCrB,CAAC"}

package/dist/lint/rules/pdt-att.js

@@ -0,0 +1,209 @@
+/* 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 { inheritanceChain } from '../../gate/context.js';
+import { rankCandidates } from '../../gate/rank.js';
+import { fixIds, quickFix } from '../fix.js';
+import { at } from '../walk.js';
+import { setValues } from './entity.js';
+import { applicabilityEntityNames, entityNameSites, gated, literals, single, tables } from './util.js';
+/** Predefined-type literals outside the entity's enumeration, per site. */
+function pdtProblems(spec, ctx, declared) {
+    const out = [];
+    for (const site of entityNameSites(spec)) {
+        const name = single(site.constraint);
+        if (!name || !site.pdt)
+            continue;
+        for (const value of literals(site.pdt)) {
+            for (const v of spec.versions) {
+                const info = tables(ctx, v).entities.get(name.toUpperCase());
+                if (!info || info.predefinedTypes.length === 0 || info.predefinedTypes.includes(value))
+                    continue;
+                if (declared(info.name, value))
+                    continue;
+                out.push({ site, entity: info.name, value, enumeration: info.predefinedTypes, userDefinable: info.predefinedTypes.includes('USERDEFINED') });
+                break;
+            }
+        }
+    }
+    return out;
+}
+function pdtField(field) {
+    return field === 'entity.name' ? 'entity.predefinedType' : 'partOf.entity.predefinedType';
+}
+function nearest(p, code, n) {
+    const field = pdtField(p.site.field);
+    const ranked = rankCandidates(p.value, p.enumeration, { minScore: 0.4, limit: n });
+    const exactCase = p.enumeration.find((e) => e.toUpperCase() === p.value.toUpperCase());
+    const picks = exactCase ? [exactCase] : ranked.map((c) => c.value);
+    return picks.map((pick) => quickFix(`Use ${pick}`, code, p.site.view.facetId, `${field}|${p.value}|${pick}`, [
+        setValues(p.site.view.facetId, field, literals(p.site.pdt).map((v) => (v === p.value ? pick : v))),
+    ]));
+}
+export const PDT_001 = {
+    code: 'IDSL-PDT-001',
+    area: 'PDT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'error',
+    title: 'Predefined type not in the entity enumeration',
+    rationale: "The predefinedType is not a member of the entity's PredefinedType enumeration in this IFC version, and the enumeration has no USERDEFINED member, so no element can carry it. Predefined types are compared case-sensitively.",
+    fix: 'Replace it by the closest enumeration value.',
+    example: '<entity><name><simpleValue>IFCSITE</simpleValue></name><predefinedType><simpleValue>FOO</simpleValue></predefinedType></entity>',
+    check(spec, { ctx, doc }) {
+        return pdtProblems(spec, ctx, () => false)
+            .filter((p) => !p.userDefinable)
+            .map((p) => ({
+            ...at(p.site.view, pdtField(p.site.field)),
+            message: `"${p.value}" is not a predefined type of ${p.entity}`,
+            fixes: gated(doc, ctx, nearest(p, this.code, 3)),
+        }));
+    },
+};
+export const PDT_003 = {
+    code: 'IDSL-PDT-003',
+    area: 'PDT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'Undeclared user-defined predefined type',
+    rationale: 'The value is not in the PredefinedType enumeration, but the enumeration has USERDEFINED, so IDS matches it against the ObjectType (occurrences) or ElementType / ProcessType (types) of elements whose PredefinedType is USERDEFINED. That is valid (buildingSMART corpus: entity/pass-a_predefined_type_may_specify_a_user_defined_object_type), but it is also what a typo of an enumeration value looks like. Declaring it records that it is intentional.',
+    fix: 'Replace it by the closest enumeration value, or declare it as a user-defined type in the Studio sidecar.',
+    example: '<entity><name><simpleValue>IFCWALL</simpleValue></name><predefinedType><simpleValue>PARAPETT</simpleValue></predefinedType></entity>',
+    check(spec, { ctx, doc }) {
+        const decls = doc.meta.custom.userDefinedTypes;
+        const declared = (entity, value) => decls.some((d) => d.entity.toUpperCase() === entity.toUpperCase() && d.value.toUpperCase() === value.toUpperCase());
+        return pdtProblems(spec, ctx, declared)
+            .filter((p) => p.userDefinable)
+            .map((p) => {
+            const declare = quickFix(`Declare "${p.value}" as a user-defined type of ${p.entity}`, this.code, p.site.view.facetId, `declare|${p.value}`, [
+                { kind: 'meta.custom.declareUserDefinedType', payload: { entity: p.entity, value: p.value } },
+            ]);
+            return {
+                ...at(p.site.view, pdtField(p.site.field)),
+                message: `"${p.value}" is not a predefined type of ${p.entity}; it only matches user-defined types`,
+                fixes: gated(doc, ctx, [...nearest(p, this.code, 2), declare]),
+            };
+        });
+    },
+};
+/** The attribute holding a user-defined type for `entity`. */
+function userTypeAttribute(ctx, versions, entity) {
+    for (const attr of ['ObjectType', 'ElementType', 'ProcessType']) {
+        if (versions.every((v) => inheritanceChain(tables(ctx, v), entity).some((e) => e.attributes.includes(attr))))
+            return attr;
+    }
+    return undefined;
+}
+export const PDT_002 = {
+    code: 'IDSL-PDT-002',
+    area: 'PDT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'USERDEFINED predefined type without an ObjectType requirement',
+    rationale: 'An element with PredefinedType USERDEFINED is meant to say what it is in ObjectType (ElementType for types, ProcessType for process types). A specification that selects USERDEFINED elements without requiring that attribute accepts elements that never say what they are (IDS issues #178, #447).',
+    fix: 'Add a requirement that the ObjectType (or ElementType / ProcessType) attribute is present.',
+    references: ['https://github.com/buildingSMART/IDS/issues/178', 'https://github.com/buildingSMART/IDS/issues/447'],
+    example: '<entity><name><simpleValue>IFCWALL</simpleValue></name><predefinedType><simpleValue>USERDEFINED</simpleValue></predefinedType></entity>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        const attrs = new Set([...spec.applicability, ...spec.requirements].flatMap((f) => (f.facet.type === 'attribute' ? literals(f.facet.name).map((n) => n.toLowerCase()) : [])));
+        for (const view of spec.applicability) {
+            if (view.facet.type !== 'entity' || !literals(view.facet.predefinedType).includes('USERDEFINED'))
+                continue;
+            const entity = single(view.facet.name);
+            const attr = entity ? userTypeAttribute(ctx, spec.versions, entity) : undefined;
+            if (!attr || attrs.has(attr.toLowerCase()))
+                continue;
+            const fix = quickFix(`Require ${attr}`, this.code, view.facetId, attr, [
+                {
+                    kind: 'facet.add',
+                    payload: {
+                        specId: spec.specId,
+                        section: 'requirements',
+                        facetId: fixIds(this.code, view.facetId, 'facet')(),
+                        facet: { type: 'attribute', name: { kind: 'equals', value: attr } },
+                    },
+                },
+            ]);
+            out.push({ ...at(view, 'entity.predefinedType'), message: `USERDEFINED elements are selected but ${attr} is not required`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+export const ATT_001 = {
+    code: 'IDSL-ATT-001',
+    area: 'ATT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'error',
+    title: 'Attribute not defined on the entity',
+    rationale: 'The attribute does not exist on any applicability entity, including inherited attributes, so an attribute requirement always fails and an attribute applicability selects nothing. Attribute names are the EXPRESS names (Name, Description, ObjectType, Tag, …).',
+    fix: 'Replace it by the closest attribute of the entity.',
+    example: '<entity><name><simpleValue>IFCWALL</simpleValue></name></entity> + <attribute><name><simpleValue>Nmae</simpleValue></name></attribute>',
+    check(spec, { ctx, doc }) {
+        const entities = applicabilityEntityNames(spec);
+        if (!entities.length)
+            return [];
+        const out = [];
+        for (const view of [...spec.applicability, ...spec.requirements]) {
+            if (view.facet.type !== 'attribute')
+                continue;
+            const facet = view.facet;
+            for (const name of literals(facet.name)) {
+                for (const v of spec.versions) {
+                    const t = tables(ctx, v);
+                    const chains = entities.map((e) => inheritanceChain(t, e));
+                    if (chains.some((c) => c.length === 0))
+                        continue; // unknown entity: the audit reports it
+                    const pool = [...new Set(chains.flatMap((c) => c.flatMap((e) => e.attributes)))];
+                    if (pool.some((a) => a.toLowerCase() === name.toLowerCase()))
+                        continue;
+                    const picks = rankCandidates(name, pool, { minScore: 0.4, limit: 3 }).map((c) => c.value);
+                    const fixes = picks.map((p) => quickFix(`Use ${p}`, this.code, view.facetId, `${name}|${p}`, [setValues(view.facetId, 'attribute.name', literals(facet.name).map((x) => (x === name ? p : x)))]));
+                    out.push({ ...at(view, 'attribute.name'), message: `attribute "${name}" is not defined on ${chains.map((c) => c[0].name).join(' / ')} (${v})`, fixes: gated(doc, ctx, fixes) });
+                    break;
+                }
+            }
+        }
+        return out;
+    },
+};
+export const ATT_002 = {
+    code: 'IDSL-ATT-002',
+    area: 'ATT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Value check on an entity-typed attribute',
+    rationale: 'The attribute holds a reference to another entity (for example ObjectPlacement or OwnerHistory), not a simple value, so a value constraint on it cannot match. Only its existence can be checked.',
+    fix: 'Remove the value so the facet checks existence only.',
+    example: '<attribute><name><simpleValue>ObjectPlacement</simpleValue></name><value><simpleValue>x</simpleValue></value></attribute>',
+    check(spec, { ctx, doc }) {
+        const entities = applicabilityEntityNames(spec);
+        if (entities.length !== 1)
+            return [];
+        const out = [];
+        for (const view of [...spec.applicability, ...spec.requirements]) {
+            if (view.facet.type !== 'attribute' || !view.facet.value)
+                continue;
+            const name = single(view.facet.name);
+            if (!name)
+                continue;
+            const complex = spec.versions.find((v) => {
+                const meta = ctx.attributes[v].get(name.toLowerCase());
+                const chain = inheritanceChain(tables(ctx, v), entities[0]).map((e) => e.name.toUpperCase());
+                return !!meta && !chain.some((e) => meta.simpleValueEntities.includes(e)) && chain.some((e) => meta.complexEntities.includes(e));
+            });
+            if (!complex)
+                continue;
+            const fix = quickFix('Check existence only', this.code, view.facetId, 'value', [
+                { kind: 'facet.setField', payload: { facetId: view.facetId, field: 'attribute.value', value: null } },
+            ]);
+            out.push({ ...at(view, 'attribute.value'), message: `${name} is an entity-typed attribute in ${complex}; its value cannot be compared`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+//# sourceMappingURL=pdt-att.js.map

package/dist/lint/rules/pdt-att.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pdt-att.js","sourceRoot":"","sources":["../../../src/lint/rules/pdt-att.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAK/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE7C,OAAO,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AAChC,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,wBAAwB,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAUvG,2EAA2E;AAC3E,SAAS,WAAW,CAAC,IAAc,EAAE,GAAgB,EAAE,QAAoD;IACzG,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG;YAAE,SAAS;QACjC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;gBAC7D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACjG,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;oBAAE,SAAS;gBACzC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,eAAe,EAAE,aAAa,EAAE,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;gBAC7I,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,KAA2C;IAC3D,OAAO,KAAK,KAAK,aAAa,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,8BAA8B,CAAC;AAC5F,CAAC;AAED,SAAS,OAAO,CAAC,CAAa,EAAE,IAAY,EAAE,CAAS;IACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACnF,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IACvF,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CACxB,QAAQ,CAAC,OAAO,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,IAAI,EAAE,EAAE;QAChF,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KACnG,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,OAAO;IACxB,KAAK,EAAE,+CAA+C;IACtD,SAAS,EACP,+NAA+N;IACjO,GAAG,EAAE,8CAA8C;IACnD,OAAO,EAAE,iIAAiI;IAC1I,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,OAAO,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC;aACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1C,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,iCAAiC,CAAC,CAAC,MAAM,EAAE;YAC/D,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;SACjD,CAAC,CAAC,CAAC;IACR,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,MAAM;IACvB,KAAK,EAAE,yCAAyC;IAChD,SAAS,EACP,+bAA+b;IACjc,GAAG,EAAE,0GAA0G;IAC/G,OAAO,EAAE,sIAAsI;IAC/I,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAC/C,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAE,KAAa,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;QACxK,OAAO,WAAW,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC;aACpC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;aAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC,KAAK,+BAA+B,CAAC,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,KAAK,EAAE,EAAE;gBAC3I,EAAE,IAAI,EAAE,oCAAoC,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE;aAC9F,CAAC,CAAC;YACH,OAAO;gBACL,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC1C,OAAO,EAAE,IAAI,CAAC,CAAC,KAAK,iCAAiC,CAAC,CAAC,MAAM,sCAAsC;gBACnG,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;aAC/D,CAAC;QACJ,CAAC,CAAC,CAAC;IACP,CAAC;CACF,CAAC;AAEF,8DAA8D;AAC9D,SAAS,iBAAiB,CAAC,GAAgB,EAAE,QAAsB,EAAE,MAAc;IACjF,KAAK,MAAM,IAAI,IAAI,CAAC,YAAY,EAAE,aAAa,EAAE,aAAa,CAAC,EAAE,CAAC;QAChE,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC5H,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,MAAM;IACvB,KAAK,EAAE,+DAA+D;IACtE,SAAS,EACP,uSAAuS;IACzS,GAAG,EAAE,4FAA4F;IACjG,UAAU,EAAE,CAAC,iDAAiD,EAAE,iDAAiD,CAAC;IAClH,OAAO,EAAE,yIAAyI;IAClJ,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACvJ,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC;gBAAE,SAAS;YAC3G,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAChF,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;gBAAE,SAAS;YACrD,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,IAAI,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE;gBACrE;oBACE,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE;wBACP,MAAM,EAAE,IAAI,CAAC,MAAM;wBACnB,OAAO,EAAE,cAAc;wBACvB,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE;wBACnD,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;qBACpE;iBACF;aACF,CAAC,CAAC;YACH,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,uBAAuB,CAAC,EAAE,OAAO,EAAE,yCAAyC,IAAI,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9J,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,OAAO;IACxB,KAAK,EAAE,qCAAqC;IAC5C,SAAS,EACP,mQAAmQ;IACrQ,GAAG,EAAE,oDAAoD;IACzD,OAAO,EAAE,wIAAwI;IACjJ,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QAChC,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YACjE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW;gBAAE,SAAS;YAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBAC9B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;oBACzB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBAC3D,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;wBAAE,SAAS,CAAC,uCAAuC;oBACzF,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;oBACjF,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC;wBAAE,SAAS;oBACvE,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAC1F,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,gBAAgB,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAClK,CAAC;oBACF,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,OAAO,EAAE,cAAc,IAAI,uBAAuB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;oBAChL,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,0CAA0C;IACjD,SAAS,EACP,mMAAmM;IACrM,GAAG,EAAE,sDAAsD;IAC3D,OAAO,EAAE,2HAA2H;IACpI,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACrC,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YACjE,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,SAAS;YACnE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACvC,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;gBACvD,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;gBAC7F,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACnI,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE;gBAC7E,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;aACtG,CAAC,CAAC;YACH,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,OAAO,EAAE,GAAG,IAAI,oCAAoC,OAAO,gCAAgC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3K,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC"}

package/dist/lint/rules/pset.d.ts

@@ -0,0 +1,12 @@
+/** Property-set and property rules: IDSL-PSET-001 … 003, IDSL-PROP-001 … 003. */
+import type { IfcPropertyInfo } from '@ifc-lite/data';
+import type { SpecRule } from '../types.js';
+export declare const PSET_001: SpecRule;
+export declare const PSET_002: SpecRule;
+export declare const PSET_003: SpecRule;
+export declare const PROP_001: SpecRule;
+/** The standard data type of a property (IfcLabel for enumerations, as the audit). */
+export declare function expectedDataType(prop: IfcPropertyInfo | undefined): string | undefined;
+export declare const PROP_002: SpecRule;
+export declare const PROP_003: SpecRule;
+//# sourceMappingURL=pset.d.ts.map

package/dist/lint/rules/pset.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pset.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/pset.ts"],"names":[],"mappings":"AAIA,iFAAiF;AAEjF,OAAO,KAAK,EAAE,eAAe,EAAsB,MAAM,gBAAgB,CAAC;AAM1E,OAAO,KAAK,EAAmC,QAAQ,EAAY,MAAM,aAAa,CAAC;AAsCvF,eAAO,MAAM,QAAQ,EAAE,QAuCtB,CAAC;AAIF,eAAO,MAAM,QAAQ,EAAE,QAmCtB,CAAC;AASF,eAAO,MAAM,QAAQ,EAAE,QAgCtB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,QAgCtB,CAAC;AAUF,sFAAsF;AACtF,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,eAAe,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAEtF;AAED,eAAO,MAAM,QAAQ,EAAE,QA2BtB,CAAC;AAeF,eAAO,MAAM,QAAQ,EAAE,QAuBtB,CAAC"}

package/dist/lint/rules/pset.js

@@ -0,0 +1,263 @@
+/* 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 { isReservedPsetName } from '../../gate/grounding-pset.js';
+import { rankCandidates } from '../../gate/rank.js';
+import { quickFix } from '../fix.js';
+import { at } from '../walk.js';
+import { setValues } from './entity.js';
+import { applicabilityEntityNames, gated, isSubtypeOf, listSome, literals, single, tables } from './util.js';
+function propertySites(spec) {
+    return [...spec.applicability, ...spec.requirements].flatMap((view) => (view.facet.type === 'property' ? [{ view, facet: view.facet }] : []));
+}
+/** The standard property (and its set) per version, when both names are literals. */
+function standardProperty(t, facet) {
+    const psetName = single(facet.propertySet);
+    const pset = psetName ? t.psets.get(psetName) : undefined;
+    if (!pset)
+        return undefined;
+    const name = single(facet.baseName);
+    return { pset, prop: name ? pset.properties.find((p) => p.name === name) : undefined };
+}
+/** `applicableEntities` plus each class's companion type (mirrors the audit, #1441). */
+function applicableWithTypes(t, pset) {
+    const out = new Set(pset.applicableEntities);
+    for (const name of pset.applicableEntities) {
+        const e = t.entities.get(name.toUpperCase());
+        if (e?.typeEntity)
+            out.add(e.typeEntity);
+        else if (t.entities.has(`${name.toUpperCase()}TYPE`))
+            out.add(`${name}Type`);
+    }
+    return [...out];
+}
+function psetApplies(t, pset, entity) {
+    return applicableWithTypes(t, pset).some((a) => isSubtypeOf(t, entity, a));
+}
+export const PSET_001 = {
+    code: 'IDSL-PSET-001',
+    area: 'PSET',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Standard property set not applicable to the entity',
+    rationale: "The standard property set is not defined for any applicability entity (per its applicable entities, including subtypes and companion type objects). Authoring tools will not offer it on those elements, so the requirement is likely to fail on every model. The audit reports the same mismatch; lint adds the applicable alternatives.",
+    fix: 'Switch to an applicable standard set that defines the same property.',
+    example: '<entity><name><simpleValue>IFCDOOR</simpleValue></name></entity> + <property><propertySet><simpleValue>Pset_WallCommon</simpleValue></propertySet>…',
+    check(spec, { ctx, doc }) {
+        const entities = applicabilityEntityNames(spec);
+        if (!entities.length)
+            return [];
+        const out = [];
+        for (const { view, facet } of propertySites(spec)) {
+            const psetName = single(facet.propertySet);
+            if (!psetName)
+                continue;
+            const version = spec.versions.find((v) => {
+                const t = tables(ctx, v);
+                const pset = t.psets.get(psetName);
+                if (!pset || !pset.applicableEntities.length || entities.some((e) => !t.entities.has(e)))
+                    return false;
+                return !entities.some((e) => psetApplies(t, pset, e));
+            });
+            if (!version)
+                continue;
+            const t = tables(ctx, version);
+            const name = single(facet.baseName);
+            const alternatives = name
+                ? (t.psetsByProperty.get(name) ?? []).filter((p) => p !== psetName && entities.some((e) => psetApplies(t, t.psets.get(p), e))).slice(0, 3)
+                : [];
+            const fixes = alternatives.map((p) => quickFix(`Use ${p}`, this.code, view.facetId, p, [setValues(view.facetId, 'property.propertySet', [p])]));
+            out.push({
+                ...at(view, 'property.propertySet'),
+                message: `${psetName} is not applicable to ${listSome(entities.map((e) => t.entities.get(e)?.name ?? e))} (${version})`,
+                fixes: gated(doc, ctx, fixes),
+            });
+        }
+        return out;
+    },
+};
+const PROJECT_PREFIX = 'Project_';
+export const PSET_002 = {
+    code: 'IDSL-PSET-002',
+    area: 'PSET',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'error',
+    title: 'Custom property set with a reserved prefix',
+    rationale: 'The prefixes Pset_ and Qto_ are reserved for sets published by buildingSMART. A set with such a name that is not a standard set of the IFC version is either a typo of a standard name or a custom set that must use its own prefix. (Qto_ names cannot be verified for IFC2X3 and IFC4, whose tables have no quantity sets; they are not flagged.)',
+    fix: 'Use the closest standard set, or rename it with a project prefix and declare it as a custom set.',
+    example: '<propertySet><simpleValue>Pset_MyCompanyData</simpleValue></propertySet>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const { view, facet } of propertySites(spec)) {
+            const psetName = single(facet.propertySet);
+            if (!psetName || !isReservedPsetName(psetName))
+                continue;
+            const version = spec.versions.find((v) => {
+                const t = tables(ctx, v);
+                return !t.psets.has(psetName) && !(psetName.startsWith('Qto_') && !t.hasQuantitySets);
+            });
+            if (!version)
+                continue;
+            const t = tables(ctx, version);
+            const near = rankCandidates(psetName, t.psetNames, { minScore: 0.6, limit: 2 }).map((c) => quickFix(`Use ${c.value}`, this.code, view.facetId, c.value, [setValues(view.facetId, 'property.propertySet', [c.value])]));
+            const renamed = PROJECT_PREFIX + psetName.slice(psetName.indexOf('_') + 1);
+            const declared = doc.meta.custom.psets.some((p) => p.name === renamed);
+            const rename = quickFix(`Rename to ${renamed} (custom set)`, this.code, view.facetId, renamed, [
+                ...(declared ? [] : [{ kind: 'meta.custom.declarePset', payload: { decl: { name: renamed } } }]),
+                setValues(view.facetId, 'property.propertySet', [renamed]),
+            ]);
+            out.push({ ...at(view, 'property.propertySet'), message: `${psetName} uses a reserved prefix but is not a standard set (${version})`, fixes: gated(doc, ctx, [...near, rename]) });
+        }
+        return out;
+    },
+};
+function backing(t, dataType) {
+    return dataType ? t.dataTypes.get(dataType.toUpperCase())?.backingType : undefined;
+}
+const NUMERIC_BACKING = new Set(['xs:double', 'xs:integer', 'xs:decimal', 'xs:float']);
+const NUMBER = /^[+-]?(\d+(\.\d*)?|\.\d+)([eE][+-]?\d+)?$/;
+export const PSET_003 = {
+    code: 'IDSL-PSET-003',
+    area: 'PSET',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Quantity set with a non-measure data type or value',
+    rationale: 'Quantities (Qto_ sets) are always numeric measures (length, area, volume, count, weight, time). A Qto_ requirement with a text data type such as IFCLABEL, or a non-numeric value, can never be satisfied by a real quantity.',
+    fix: "Use the quantity's standard data type (where the tables define it).",
+    example: '<property dataType="IFCLABEL"><propertySet><simpleValue>Qto_WallBaseQuantities</simpleValue></propertySet><baseName><simpleValue>Length</simpleValue></baseName></property>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const { view, facet } of propertySites(spec)) {
+            const psetName = single(facet.propertySet);
+            if (!psetName?.startsWith('Qto_'))
+                continue;
+            const dt = single(facet.dataType);
+            const t = tables(ctx, spec.versions[0]);
+            const b = backing(t, dt);
+            if (dt && b && !NUMERIC_BACKING.has(b)) {
+                const expected = spec.versions.map((v) => standardProperty(tables(ctx, v), facet)?.prop?.dataType).find(Boolean);
+                const fix = expected
+                    ? quickFix(`Use ${expected.toUpperCase()}`, this.code, view.facetId, 'dt', [setValues(view.facetId, 'property.dataType', [expected.toUpperCase()])])
+                    : undefined;
+                out.push({ ...at(view, 'property.dataType'), message: `${psetName} holds numeric quantities, but the data type is ${dt.toUpperCase()} (${b})`, fixes: gated(doc, ctx, [fix]) });
+                continue;
+            }
+            const text = literals(facet.value).filter((v) => !NUMBER.test(v.trim()));
+            if (text.length)
+                out.push({ ...at(view, 'property.value'), message: `${psetName} holds numeric quantities, but the value ${text.map((v) => `"${v}"`).join(', ')} is not a number` });
+        }
+        return out;
+    },
+};
+export const PROP_001 = {
+    code: 'IDSL-PROP-001',
+    area: 'PROP',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'error',
+    title: 'Property not in the standard property set',
+    rationale: 'The standard set does not define this property, so no conforming model carries it there. It is usually a typo, or a property that lives in another standard set.',
+    fix: 'Use the closest property of the set, or the standard set that defines this property.',
+    example: '<propertySet><simpleValue>Pset_DoorCommon</simpleValue></propertySet><baseName><simpleValue>FireRatng</simpleValue></baseName>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const { view, facet } of propertySites(spec)) {
+            const name = single(facet.baseName);
+            if (!name)
+                continue;
+            const version = spec.versions.find((v) => {
+                const s = standardProperty(tables(ctx, v), facet);
+                return s && !s.prop;
+            });
+            if (!version)
+                continue;
+            const t = tables(ctx, version);
+            const pset = standardProperty(t, facet)?.pset;
+            const own = rankCandidates(name, pset.properties.map((p) => p.name), { minScore: 0.4, limit: 2 }).map((c) => quickFix(`Use ${c.value}`, this.code, view.facetId, c.value, [setValues(view.facetId, 'property.baseName', [c.value])]));
+            const elsewhere = (t.psetsByProperty.get(name) ?? []).slice(0, 2).map((p) => quickFix(`Use ${p}.${name}`, this.code, view.facetId, `pset|${p}`, [setValues(view.facetId, 'property.propertySet', [p])]));
+            out.push({ ...at(view, 'property.baseName'), message: `"${name}" is not a property of ${pset.name} (${version})`, fixes: gated(doc, ctx, [...own, ...elsewhere]) });
+        }
+        return out;
+    },
+};
+const TEMPLATE_FOR_KIND = {
+    single: 'IFCPROPERTYSINGLEVALUE',
+    enumeration: 'IFCPROPERTYENUMERATEDVALUE',
+    list: 'IFCPROPERTYLISTVALUE',
+    bounded: 'IFCPROPERTYBOUNDEDVALUE',
+    reference: 'IFCPROPERTYREFERENCEVALUE',
+};
+/** The standard data type of a property (IfcLabel for enumerations, as the audit). */
+export function expectedDataType(prop) {
+    return prop?.dataType ?? (prop?.kind === 'enumeration' ? 'IfcLabel' : undefined);
+}
+export const PROP_002 = {
+    code: 'IDSL-PROP-002',
+    area: 'PROP',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Data type differs from the standard property',
+    rationale: 'The dataType differs from the type the standard property set declares for this property. Conforming models carry the standard type, so the requirement fails on them; value comparison also follows the data type.',
+    fix: 'Set the standard data type.',
+    example: '<property dataType="IFCREAL"><propertySet><simpleValue>Pset_WallCommon</simpleValue></propertySet><baseName><simpleValue>IsExternal</simpleValue></baseName></property>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const { view, facet } of propertySites(spec)) {
+            const dt = single(facet.dataType)?.toUpperCase();
+            if (!dt)
+                continue;
+            for (const v of spec.versions) {
+                const prop = standardProperty(tables(ctx, v), facet)?.prop;
+                const expected = expectedDataType(prop)?.toUpperCase();
+                if (!prop || !expected || expected === dt || TEMPLATE_FOR_KIND[prop.kind] === dt)
+                    continue;
+                const fix = quickFix(`Use ${expected}`, this.code, view.facetId, expected, [setValues(view.facetId, 'property.dataType', [expected])]);
+                out.push({ ...at(view, 'property.dataType'), message: `${single(facet.propertySet)}.${prop.name} is ${expected} in the standard, not ${dt} (${v})`, fixes: gated(doc, ctx, [fix]) });
+                break;
+            }
+        }
+        return out;
+    },
+};
+function numericLooking(facet) {
+    const c = facet.value;
+    if (!c)
+        return false;
+    if (c.type === 'bounds')
+        return [c.minInclusive, c.maxInclusive, c.minExclusive, c.maxExclusive].some((x) => x !== undefined);
+    return c.type !== 'simpleValue' && !!c.base && NUMERIC_BACKING.has(c.base);
+}
+function standardTypeIn(ctx, versions, facet) {
+    const types = new Set(versions.map((v) => expectedDataType(standardProperty(tables(ctx, v), facet)?.prop)?.toUpperCase()));
+    const [only] = types;
+    return types.size === 1 ? only : undefined;
+}
+export const PROP_003 = {
+    code: 'IDSL-PROP-003',
+    area: 'PROP',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'Numeric constraint without a data type',
+    rationale: 'The value is a numeric range or a numeric restriction, but the property has no dataType. The data type decides how values are compared (and which unit applies), so checkers may compare such a value as text or skip it.',
+    fix: "Add the standard property's data type (when the set is standard).",
+    example: '<property><propertySet>…</propertySet><baseName>…</baseName><value><xs:restriction base="xs:double"><xs:minInclusive value="0"/></xs:restriction></value></property>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const { view, facet } of propertySites(spec)) {
+            if (facet.dataType || !numericLooking(facet))
+                continue;
+            const dt = standardTypeIn(ctx, spec.versions, facet);
+            const fix = dt
+                ? quickFix(`Add dataType ${dt}`, this.code, view.facetId, dt, [{ kind: 'facet.setField', payload: { facetId: view.facetId, field: 'property.dataType', value: { kind: 'equals', value: dt } } }])
+                : undefined;
+            out.push({ ...at(view, 'property.value'), message: `numeric value on ${single(facet.baseName) ?? 'a property'} without a dataType`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+//# sourceMappingURL=pset.js.map

package/dist/lint/rules/pset.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pset.js","sourceRoot":"","sources":["../../../src/lint/rules/pset.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAO/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AAChC,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,wBAAwB,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAO7G,SAAS,aAAa,CAAC,IAAc;IACnC,OAAO,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChJ,CAAC;AAED,qFAAqF;AACrF,SAAS,gBAAgB,CAAC,CAAgB,EAAE,KAAuB;IACjE,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACzF,CAAC;AAED,wFAAwF;AACxF,SAAS,mBAAmB,CAAC,CAAgB,EAAE,IAAwB;IACrE,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,EAAE,UAAU;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;aACpC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,MAAM,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,WAAW,CAAC,CAAgB,EAAE,IAAwB,EAAE,MAAc;IAC7E,OAAO,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,oDAAoD;IAC3D,SAAS,EACP,2UAA2U;IAC7U,GAAG,EAAE,sEAAsE;IAC3E,OAAO,EAAE,qJAAqJ;IAC9J,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QAChC,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC3C,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACvC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACzB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACnC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACvG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YACxD,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACpC,MAAM,YAAY,GAAG,IAAI;gBACvB,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAuB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChK,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChJ,GAAG,CAAC,IAAI,CAAC;gBACP,GAAG,EAAE,CAAC,IAAI,EAAE,sBAAsB,CAAC;gBACnC,OAAO,EAAE,GAAG,QAAQ,yBAAyB,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,GAAG;gBACvH,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC;aAC9B,CAAC,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,cAAc,GAAG,UAAU,CAAC;AAElC,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,OAAO;IACxB,KAAK,EAAE,4CAA4C;IACnD,SAAS,EACP,qVAAqV;IACvV,GAAG,EAAE,kGAAkG;IACvG,OAAO,EAAE,0EAA0E;IACnF,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC3C,IAAI,CAAC,QAAQ,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACzD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACvC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACzB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;YACxF,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,cAAc,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACxF,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAC3H,CAAC;YACF,MAAM,OAAO,GAAG,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3E,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;YACvE,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,OAAO,eAAe,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE;gBAC7F,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,yBAAkC,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;gBACzG,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,sBAAsB,EAAE,CAAC,OAAO,CAAC,CAAC;aAC3D,CAAC,CAAC;YACH,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,sBAAsB,CAAC,EAAE,OAAO,EAAE,GAAG,QAAQ,sDAAsD,OAAO,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;QACrL,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,SAAS,OAAO,CAAC,CAAgB,EAAE,QAA4B;IAC7D,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;AACrF,CAAC;AAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;AACvF,MAAM,MAAM,GAAG,2CAA2C,CAAC;AAE3D,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,oDAAoD;IAC3D,SAAS,EACP,+NAA+N;IACjO,GAAG,EAAE,qEAAqE;IAC1E,OAAO,EAAE,6KAA6K;IACtL,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC3C,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC5C,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAClC,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACzB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACjH,MAAM,GAAG,GAAG,QAAQ;oBAClB,CAAC,CAAC,QAAQ,CAAC,OAAO,QAAQ,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,mBAAmB,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;oBACpJ,CAAC,CAAC,SAAS,CAAC;gBACd,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,OAAO,EAAE,GAAG,QAAQ,mDAAmD,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBAChL,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACzE,IAAI,IAAI,CAAC,MAAM;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,OAAO,EAAE,GAAG,QAAQ,4CAA4C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC;QACvL,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,OAAO;IACxB,KAAK,EAAE,2CAA2C;IAClD,SAAS,EAAE,kKAAkK;IAC7K,GAAG,EAAE,sFAAsF;IAC3F,OAAO,EAAE,gIAAgI;IACzI,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACpC,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACvC,MAAM,CAAC,GAAG,gBAAgB,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;gBAClD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YACtB,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAA0B,CAAC;YACpE,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1G,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CACxH,CAAC;YACF,MAAM,SAAS,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1E,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC3H,CAAC;YACF,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,OAAO,EAAE,IAAI,IAAI,0BAA0B,IAAI,CAAC,IAAI,KAAK,OAAO,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;QACtK,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,iBAAiB,GAAqD;IAC1E,MAAM,EAAE,wBAAwB;IAChC,WAAW,EAAE,4BAA4B;IACzC,IAAI,EAAE,sBAAsB;IAC5B,OAAO,EAAE,yBAAyB;IAClC,SAAS,EAAE,2BAA2B;CACvC,CAAC;AAEF,sFAAsF;AACtF,MAAM,UAAU,gBAAgB,CAAC,IAAiC;IAChE,OAAO,IAAI,EAAE,QAAQ,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,8CAA8C;IACrD,SAAS,EACP,oNAAoN;IACtN,GAAG,EAAE,6BAA6B;IAClC,OAAO,EAAE,yKAAyK;IAClL,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;YACjD,IAAI,CAAC,EAAE;gBAAE,SAAS;YAClB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC;gBAC3D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC;gBACvD,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,IAAI,QAAQ,KAAK,EAAE,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE;oBAAE,SAAS;gBAC3F,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,QAAQ,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,mBAAmB,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvI,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,IAAI,OAAO,QAAQ,yBAAyB,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrL,MAAM;YACR,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,SAAS,cAAc,CAAC,KAAuB;IAC7C,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IAC9H,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAC7E,CAAC;AAED,SAAS,cAAc,CAAC,GAAgB,EAAE,QAAsB,EAAE,KAAuB;IACvF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IAC3H,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACrB,OAAO,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7C,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,MAAM;IACvB,KAAK,EAAE,wCAAwC;IAC/C,SAAS,EACP,2NAA2N;IAC7N,GAAG,EAAE,mEAAmE;IACxE,OAAO,EAAE,sKAAsK;IAC/K,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;gBAAE,SAAS;YACvD,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACrD,MAAM,GAAG,GAAG,EAAE;gBACZ,CAAC,CAAC,QAAQ,CAAC,gBAAgB,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;gBACjM,CAAC,CAAC,SAAS,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,OAAO,EAAE,oBAAoB,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,YAAY,qBAAqB,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACvK,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC"}

package/dist/lint/rules/regex.d.ts

@@ -0,0 +1,6 @@
+import type { SpecRule } from '../types.js';
+export declare const REGEX_001: SpecRule;
+export declare const REGEX_002: SpecRule;
+export declare const REGEX_003: SpecRule;
+export declare const REGEX_004: SpecRule;
+//# sourceMappingURL=regex.d.ts.map

package/dist/lint/rules/regex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"regex.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/regex.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAsB,QAAQ,EAAY,MAAM,aAAa,CAAC;AAuC1E,eAAO,MAAM,SAAS,EAAE,QAwBvB,CAAC;AAKF,eAAO,MAAM,SAAS,EAAE,QA0BvB,CAAC;AAuCF,eAAO,MAAM,SAAS,EAAE,QA6BvB,CAAC;AAEF,eAAO,MAAM,SAAS,EAAE,QAsBvB,CAAC"}