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

package/dist/lint/rules/units.js

@@ -0,0 +1,101 @@
+/* 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 { quickFix } from '../fix.js';
+import { at } from '../walk.js';
+import { gated, single } from './util.js';
+import { FLOAT_XSD, mapLiterals, siteLiterals, valueSites } from './value-sites.js';
+import { rawSet } from './values.js';
+const NUMBER = /^[+-]?(\d+(\.\d*)?|\.\d+)([eE][+-]?\d+)?$/;
+export const VAL_008 = {
+    code: 'IDSL-VAL-008',
+    area: 'VAL',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'Exact match on a real number',
+    rationale: 'The value is an exact real number on a floating-point data type. IDS 1.0 compares reals with a small relative tolerance (1e-6, see the buildingSMART tolerance test cases), which absorbs rounding but not unit conversion or modelling tolerance: 2.4 does not match 2.4004. A range states the tolerance explicitly. Tolerance handling is under discussion for IDS 1.1 (IDS issue #418).',
+    references: ['https://github.com/buildingSMART/IDS/issues/418'],
+    example: '<property dataType="IFCLENGTHMEASURE">…<value><simpleValue>2.4</simpleValue></value></property>',
+    check(spec, { ctx }) {
+        const out = [];
+        for (const site of valueSites(ctx, spec)) {
+            if (site.field !== 'property.value' || !site.xsd.some((x) => FLOAT_XSD.has(x)))
+                continue;
+            const nums = siteLiterals(site.constraint).filter((v) => NUMBER.test(v.trim()));
+            if (!nums.length || site.constraint.type === 'bounds')
+                continue;
+            out.push({ ...at(site.view, site.field), message: `exact match on the real ${nums.join(', ')} (${site.dataType}); consider a range` });
+        }
+        return out;
+    },
+};
+const LENGTH = { kind: 'length', threshold: 1000, factor: 1e3, unit: 'mm' };
+const SHORT_LENGTH = { ...LENGTH, threshold: 100 };
+const AREA = { kind: 'area', threshold: 1e6, factor: 1e6, unit: 'mm²' };
+const VOLUME = { kind: 'volume', threshold: 1e9, factor: 1e9, unit: 'mm³' };
+const DIMENSION_NAME = /(Height|Width|Depth|Thickness|Diameter|Radius)$/;
+function quantityOf(dataType, baseName) {
+    switch (dataType) {
+        case 'IFCLENGTHMEASURE':
+        case 'IFCPOSITIVELENGTHMEASURE':
+        case 'IFCNONNEGATIVELENGTHMEASURE':
+            return baseName && DIMENSION_NAME.test(baseName) ? SHORT_LENGTH : LENGTH;
+        case 'IFCAREAMEASURE':
+            return AREA;
+        case 'IFCVOLUMEMEASURE':
+            return VOLUME;
+        default:
+            return undefined;
+    }
+}
+const BOUND_KEYS = ['minInclusive', 'maxInclusive', 'minExclusive', 'maxExclusive'];
+function magnitudes(c) {
+    if (c.type === 'bounds')
+        return BOUND_KEYS.map((k) => c[k]).filter((x) => x !== undefined);
+    return siteLiterals(c).filter((v) => NUMBER.test(v.trim())).map(Number);
+}
+function scaled(n, factor) {
+    return Number((n / factor).toPrecision(12));
+}
+function convert(c, factor) {
+    if (c.type !== 'bounds')
+        return mapLiterals(c, (v) => (NUMBER.test(v.trim()) ? String(scaled(Number(v), factor)) : v));
+    const next = { ...c };
+    for (const k of BOUND_KEYS)
+        if (c[k] !== undefined)
+            next[k] = scaled(c[k], factor);
+    return next;
+}
+export const UNIT_001 = {
+    code: 'IDSL-UNIT-001',
+    area: 'UNIT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Magnitude suggests a non-SI unit',
+    rationale: 'IDS values are in SI units: metres, square metres, cubic metres. A door height of 2400 or a wall thickness of 240 is almost certainly in millimetres and will never match a model, which stores 2.4 and 0.24 in IDS terms. Thresholds: lengths from 1000 (from 100 for Height, Width, Depth, Thickness, Diameter, Radius), areas from 1e6, volumes from 1e9.',
+    fix: 'Convert the value from millimetres to SI.',
+    example: '<property dataType="IFCLENGTHMEASURE">…<baseName><simpleValue>Height</simpleValue></baseName><value><simpleValue>2400</simpleValue></value></property>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of valueSites(ctx, spec)) {
+            if (site.field !== 'property.value' || site.view.facet.type !== 'property')
+                continue;
+            const q = quantityOf(site.dataType, single(site.view.facet.baseName));
+            if (!q)
+                continue;
+            const big = magnitudes(site.constraint).filter((n) => Math.abs(n) >= q.threshold);
+            if (!big.length)
+                continue;
+            const fix = quickFix(`Convert from ${q.unit}`, this.code, site.view.facetId, q.unit, [rawSet(site.view.facetId, site.field, convert(site.constraint, q.factor))]);
+            out.push({
+                ...at(site.view, site.field),
+                message: `${big.join(', ')} as a ${q.kind} in SI units is implausible; probably ${q.unit} (= ${big.map((n) => scaled(n, q.factor)).join(', ')})`,
+                fixes: gated(doc, ctx, [fix]),
+            });
+        }
+        return out;
+    },
+};
+//# sourceMappingURL=units.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"units.js","sourceRoot":"","sources":["../../../src/lint/rules/units.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAK/D,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AAChC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACpF,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAErC,MAAM,MAAM,GAAG,2CAA2C,CAAC;AAE3D,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,8BAA8B;IACrC,SAAS,EACP,6XAA6X;IAC/X,UAAU,EAAE,CAAC,iDAAiD,CAAC;IAC/D,OAAO,EAAE,iGAAiG;IAC1G,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;QACjB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,KAAK,KAAK,gBAAgB,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YACzF,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAChF,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YAChE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,2BAA2B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ,qBAAqB,EAAE,CAAC,CAAC;QACzI,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAUF,MAAM,MAAM,GAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACtF,MAAM,YAAY,GAAa,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;AAC7D,MAAM,IAAI,GAAa,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAClF,MAAM,MAAM,GAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAEtF,MAAM,cAAc,GAAG,iDAAiD,CAAC;AAEzE,SAAS,UAAU,CAAC,QAA4B,EAAE,QAA4B;IAC5E,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,kBAAkB,CAAC;QACxB,KAAK,0BAA0B,CAAC;QAChC,KAAK,6BAA6B;YAChC,OAAO,QAAQ,IAAI,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3E,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC;QACd,KAAK,kBAAkB;YACrB,OAAO,MAAM,CAAC;QAChB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,EAAE,cAAc,CAAU,CAAC;AAE7F,SAAS,UAAU,CAAC,CAAgB;IAClC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;IACxG,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,MAAM,CAAC,CAAS,EAAE,MAAc;IACvC,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED,SAAS,OAAO,CAAC,CAAgB,EAAE,MAAc;IAC/C,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvH,MAAM,IAAI,GAAwB,EAAE,GAAG,CAAC,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,UAAU;QAAE,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS;YAAE,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAW,EAAE,MAAM,CAAC,CAAC;IAC7F,OAAO,IAAI,CAAC;AACd,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,kCAAkC;IACzC,SAAS,EACP,8VAA8V;IAChW,GAAG,EAAE,2CAA2C;IAChD,OAAO,EAAE,wJAAwJ;IACjK,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,KAAK,KAAK,gBAAgB,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;gBAAE,SAAS;YACrF,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YACtE,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC;YAClF,IAAI,CAAC,GAAG,CAAC,MAAM;gBAAE,SAAS;YAC1B,MAAM,GAAG,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAClK,GAAG,CAAC,IAAI,CAAC;gBACP,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;gBAC5B,OAAO,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,yCAAyC,CAAC,CAAC,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBAChJ,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;aAC9B,CAAC,CAAC;QACL,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC"}

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

@@ -0,0 +1,37 @@
+/** Shared helpers for catalogue rules: schema lookups and gated fixes. */
+import type { IfcEntityInfo } from '@ifc-lite/data';
+import type { IDSConstraint, IDSEntityFacet, IFCVersion } from '@ifc-lite/ids';
+import type { StudioDocument } from '../../document/types.js';
+import { type VersionTables } from '../../gate/context.js';
+import type { FacetView, LintContext, QuickFix, SpecView } from '../types.js';
+export { literals, single } from '../../gate/grounding.js';
+export declare function tables(ctx: LintContext, version: IFCVersion): VersionTables;
+/** Keep only fixes that pass the grounding gate on `doc`. */
+export declare function gated(doc: StudioDocument, ctx: LintContext, fixes: readonly (QuickFix | undefined)[]): QuickFix[] | undefined;
+/** Every descendant of `name` (not itself), breadth first. Iterative: no recursion over table data. */
+export declare function descendants(t: VersionTables, name: string): IfcEntityInfo[];
+export declare function isSubtypeOf(t: VersionTables, name: string, ancestor: string): boolean;
+/**
+ * Concrete descendants of `name` that exist and are concrete in EVERY
+ * version, as PascalCase names in the order of the first version.
+ */
+export declare function concreteDescendants(ctx: LintContext, versions: readonly IFCVersion[], name: string): string[];
+/** Canonical PascalCase name of an entity literal, from the first version that knows it. */
+export declare function canonicalEntity(ctx: LintContext, versions: readonly IFCVersion[], name: string): string | undefined;
+/** Literal entity names (upper case) of the spec's applicability entity facets. */
+export declare function applicabilityEntityNames(spec: SpecView): string[];
+/** The single applicability entity facet, when there is exactly one. */
+export declare function soleEntityFacet(spec: SpecView): IDSEntityFacet | undefined;
+/** Facets carrying an entity name: entity facets and partOf related entities. */
+export declare function entityNameSites(spec: SpecView): {
+    view: FacetView;
+    field: 'entity.name' | 'partOf.entity.name';
+    constraint: IDSConstraint;
+    pdt?: IDSConstraint;
+}[];
+/** Replace `value` by `replacement` (in place) in the literal list of `c`. */
+export declare function replaceLiteral(c: IDSConstraint, value: string, replacement: readonly string[]): string[];
+export declare function plural(n: number, word: string): string;
+/** Up to `n` items, then "…and k more". */
+export declare function listSome(items: readonly string[], n?: number): string;
+//# sourceMappingURL=util.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"util.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/util.ts"],"names":[],"mappings":"AAIA,0EAA0E;AAE1E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9D,OAAO,EAAoB,KAAK,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAE7E,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE9E,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAE3D,wBAAgB,MAAM,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,GAAG,aAAa,CAE3E;AAED,6DAA6D;AAC7D,wBAAgB,KAAK,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,CAAC,QAAQ,GAAG,SAAS,CAAC,EAAE,GAAG,QAAQ,EAAE,GAAG,SAAS,CAG7H;AAoBD,uGAAuG;AACvG,wBAAgB,WAAW,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,EAAE,CAgB3E;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGrF;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAO7G;AAED,4FAA4F;AAC5F,wBAAgB,eAAe,CAAC,GAAG,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,UAAU,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAMnH;AAED,mFAAmF;AACnF,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,EAAE,CAEjE;AAED,wEAAwE;AACxE,wBAAgB,eAAe,CAAC,IAAI,EAAE,QAAQ,GAAG,cAAc,GAAG,SAAS,CAI1E;AAED,iFAAiF;AACjF,wBAAgB,eAAe,CAAC,IAAI,EAAE,QAAQ,GAAG;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,aAAa,GAAG,oBAAoB,CAAC;IAAC,UAAU,EAAE,aAAa,CAAC;IAAC,GAAG,CAAC,EAAE,aAAa,CAAA;CAAE,EAAE,CAQlK;AAED,8EAA8E;AAC9E,wBAAgB,cAAc,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAMxG;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED,2CAA2C;AAC3C,wBAAgB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,CAAC,SAAI,GAAG,MAAM,CAEhE"}

package/dist/lint/rules/util.js

@@ -0,0 +1,117 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { checkOps } from '../../gate/check.js';
+import { inheritanceChain } from '../../gate/context.js';
+import { literals } from '../../gate/grounding.js';
+export { literals, single } from '../../gate/grounding.js';
+export function tables(ctx, version) {
+    return ctx.gate.tables[version];
+}
+/** Keep only fixes that pass the grounding gate on `doc`. */
+export function gated(doc, ctx, fixes) {
+    const ok = fixes.filter((f) => !!f && f.ops.length > 0 && checkOps(f.ops, doc, ctx.gate).ok);
+    return ok.length ? ok : undefined;
+}
+const CHILDREN = new WeakMap();
+function childrenIndex(t) {
+    let map = CHILDREN.get(t);
+    if (!map) {
+        map = new Map();
+        for (const e of t.entities.values()) {
+            if (!e.parent)
+                continue;
+            const key = e.parent.toUpperCase();
+            const list = map.get(key) ?? [];
+            list.push(e);
+            map.set(key, list);
+        }
+        CHILDREN.set(t, map);
+    }
+    return map;
+}
+/** Every descendant of `name` (not itself), breadth first. Iterative: no recursion over table data. */
+export function descendants(t, name) {
+    const index = childrenIndex(t);
+    const out = [];
+    const seen = new Set([name.toUpperCase()]);
+    const queue = [name.toUpperCase()];
+    while (queue.length) {
+        const next = queue.shift();
+        for (const child of index.get(next) ?? []) {
+            const key = child.name.toUpperCase();
+            if (seen.has(key))
+                continue;
+            seen.add(key);
+            out.push(child);
+            queue.push(key);
+        }
+    }
+    return out;
+}
+export function isSubtypeOf(t, name, ancestor) {
+    const target = ancestor.toUpperCase();
+    return inheritanceChain(t, name).some((e) => e.name.toUpperCase() === target);
+}
+/**
+ * Concrete descendants of `name` that exist and are concrete in EVERY
+ * version, as PascalCase names in the order of the first version.
+ */
+export function concreteDescendants(ctx, versions, name) {
+    if (!versions.length)
+        return [];
+    const [first, ...rest] = versions;
+    return descendants(tables(ctx, first), name)
+        .filter((e) => !e.abstract)
+        .filter((e) => rest.every((v) => tables(ctx, v).entities.get(e.name.toUpperCase())?.abstract === false))
+        .map((e) => e.name);
+}
+/** Canonical PascalCase name of an entity literal, from the first version that knows it. */
+export function canonicalEntity(ctx, versions, name) {
+    for (const v of versions) {
+        const e = tables(ctx, v).entities.get(name.toUpperCase());
+        if (e)
+            return e.name;
+    }
+    return undefined;
+}
+/** Literal entity names (upper case) of the spec's applicability entity facets. */
+export function applicabilityEntityNames(spec) {
+    return spec.applicability.flatMap((f) => (f.facet.type === 'entity' ? literals(f.facet.name).map((n) => n.toUpperCase()) : []));
+}
+/** The single applicability entity facet, when there is exactly one. */
+export function soleEntityFacet(spec) {
+    const facets = spec.applicability.filter((f) => f.facet.type === 'entity');
+    const only = facets.length === 1 ? facets[0].facet : undefined;
+    return only?.type === 'entity' ? only : undefined;
+}
+/** Facets carrying an entity name: entity facets and partOf related entities. */
+export function entityNameSites(spec) {
+    const out = [];
+    for (const view of [...spec.applicability, ...spec.requirements]) {
+        const f = view.facet;
+        if (f.type === 'entity')
+            out.push({ view, field: 'entity.name', constraint: f.name, pdt: f.predefinedType });
+        if (f.type === 'partOf' && f.entity)
+            out.push({ view, field: 'partOf.entity.name', constraint: f.entity.name, pdt: f.entity.predefinedType });
+    }
+    return out;
+}
+/** Replace `value` by `replacement` (in place) in the literal list of `c`. */
+export function replaceLiteral(c, value, replacement) {
+    const out = [];
+    for (const v of literals(c)) {
+        for (const r of v === value ? replacement : [v])
+            if (!out.some((o) => o.toUpperCase() === r.toUpperCase()))
+                out.push(r);
+    }
+    return out;
+}
+export function plural(n, word) {
+    return `${n} ${word}${n === 1 ? '' : 's'}`;
+}
+/** Up to `n` items, then "…and k more". */
+export function listSome(items, n = 5) {
+    return items.length <= n ? items.join(', ') : `${items.slice(0, n).join(', ')} and ${items.length - n} more`;
+}
+//# sourceMappingURL=util.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"util.js","sourceRoot":"","sources":["../../../src/lint/rules/util.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAO/D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAsB,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGnD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AAE3D,MAAM,UAAU,MAAM,CAAC,GAAgB,EAAE,OAAmB;IAC1D,OAAO,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAClC,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,KAAK,CAAC,GAAmB,EAAE,GAAgB,EAAE,KAAwC;IACnG,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5G,OAAO,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACpC,CAAC;AAED,MAAM,QAAQ,GAAG,IAAI,OAAO,EAA+C,CAAC;AAE5E,SAAS,aAAa,CAAC,CAAgB;IACrC,IAAI,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,GAAG,GAAG,IAAI,GAAG,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,CAAC,MAAM;gBAAE,SAAS;YACxB,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACb,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACrB,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uGAAuG;AACvG,MAAM,UAAU,WAAW,CAAC,CAAgB,EAAE,IAAY;IACxD,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACnC,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAY,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,CAAgB,EAAE,IAAY,EAAE,QAAgB;IAC1E,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACtC,OAAO,gBAAgB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,CAAC;AAChF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAgB,EAAE,QAA+B,EAAE,IAAY;IACjG,IAAI,CAAC,QAAQ,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,QAAQ,CAAC;IAClC,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC;SACzC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;SAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,KAAK,KAAK,CAAC,CAAC;SACvG,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,eAAe,CAAC,GAAgB,EAAE,QAA+B,EAAE,IAAY;IAC7F,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IACvB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,wBAAwB,CAAC,IAAc;IACrD,OAAO,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,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,CAAC;AAClI,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,eAAe,CAAC,IAAc;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/D,OAAO,IAAI,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,eAAe,CAAC,IAAc;IAC5C,MAAM,GAAG,GAAuC,EAAE,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;QACjE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QACrB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC;QAC7G,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,oBAAoB,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;IAChJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,cAAc,CAAC,CAAgB,EAAE,KAAa,EAAE,WAA8B;IAC5F,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1H,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAS,EAAE,IAAY;IAC5C,OAAO,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAC7C,CAAC;AAED,2CAA2C;AAC3C,MAAM,UAAU,QAAQ,CAAC,KAAwB,EAAE,CAAC,GAAG,CAAC;IACtD,OAAO,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,CAAC,MAAM,GAAG,CAAC,OAAO,CAAC;AAC/G,CAAC"}

package/dist/lint/rules/value-sites.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Value sites: the constraint fields that hold VALUES (not names), with
+ * the data type they are compared under where it is known.
+ */
+import type { IDSConstraint } from '@ifc-lite/ids';
+import type { FacetFieldName } from '../../document/fields.js';
+import type { FacetView, LintContext, SpecView } from '../types.js';
+export interface ValueSite {
+    view: FacetView;
+    field: FacetFieldName;
+    constraint: IDSConstraint;
+    /** Upper-case IFC data type (explicit, else from the standard property). */
+    dataType?: string;
+    /** XSD backing type of the data type, or the XSD types an attribute slot accepts. */
+    xsd: readonly string[];
+    /** Whether `dataType` was written on the facet. */
+    explicit: boolean;
+}
+export declare function valueSites(ctx: LintContext, spec: SpecView): ValueSite[];
+export declare const NUMERIC_XSD: Set<string>;
+export declare const FLOAT_XSD: Set<string>;
+/** The XSD base a constraint declares, if any. */
+export declare function baseOf(c: IDSConstraint): string | undefined;
+/** Literal values of a site (simpleValue, or each enumeration value). */
+export declare function siteLiterals(c: IDSConstraint): string[];
+/** A copy of `c` with its literals mapped (simpleValue / enumeration only). */
+export declare function mapLiterals(c: IDSConstraint, fn: (v: string) => string): IDSConstraint;
+//# sourceMappingURL=value-sites.d.ts.map

package/dist/lint/rules/value-sites.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-sites.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/value-sites.ts"],"names":[],"mappings":"AAIA;;;GAGG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAoB,MAAM,eAAe,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG/D,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAIpE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,cAAc,CAAC;IACtB,UAAU,EAAE,aAAa,CAAC;IAC1B,4EAA4E;IAC5E,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qFAAqF;IACrF,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;IACvB,mDAAmD;IACnD,QAAQ,EAAE,OAAO,CAAC;CACnB;AA+BD,wBAAgB,UAAU,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,GAAG,SAAS,EAAE,CAmBxE;AAED,eAAO,MAAM,WAAW,aAAiE,CAAC;AAC1F,eAAO,MAAM,SAAS,aAAmD,CAAC;AAE1E,kDAAkD;AAClD,wBAAgB,MAAM,CAAC,CAAC,EAAE,aAAa,GAAG,MAAM,GAAG,SAAS,CAE3D;AAED,yEAAyE;AACzE,wBAAgB,YAAY,CAAC,CAAC,EAAE,aAAa,GAAG,MAAM,EAAE,CAIvD;AAED,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,MAAM,GAAG,aAAa,CAItF"}

package/dist/lint/rules/value-sites.js

@@ -0,0 +1,81 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { getField } from '../../document/fields.js';
+import { inheritanceChain } from '../../gate/context.js';
+import { expectedDataType } from './pset.js';
+import { applicabilityEntityNames, single, tables } from './util.js';
+const VALUE_FIELDS = ['property.value', 'attribute.value', 'classification.value', 'classification.system', 'material.value'];
+function propertyType(ctx, spec, facet) {
+    const explicit = single(facet.dataType)?.toUpperCase();
+    if (explicit)
+        return { dataType: explicit, explicit: true };
+    const psetName = single(facet.propertySet);
+    const name = single(facet.baseName);
+    if (!psetName || !name)
+        return { explicit: false };
+    const types = new Set(spec.versions.map((v) => expectedDataType(tables(ctx, v).psets.get(psetName)?.properties.find((p) => p.name === name))?.toUpperCase()));
+    const [only] = types;
+    return { dataType: types.size === 1 ? only : undefined, explicit: false };
+}
+function attributeXsd(ctx, spec, name) {
+    const entities = applicabilityEntityNames(spec);
+    if (!name || entities.length !== 1)
+        return [];
+    const sets = spec.versions.map((v) => {
+        const meta = ctx.attributes[v].get(name.toLowerCase());
+        if (!meta)
+            return [];
+        const chain = inheritanceChain(tables(ctx, v), entities[0]).map((e) => e.name.toUpperCase());
+        const key = chain.find((e) => meta.xsdTypesByEntity[e]);
+        return key ? [...meta.xsdTypesByEntity[key]] : [];
+    });
+    const [first, ...rest] = sets;
+    return first && rest.every((s) => s.join() === first.join()) ? first : [];
+}
+export function valueSites(ctx, spec) {
+    const out = [];
+    for (const view of [...spec.applicability, ...spec.requirements]) {
+        for (const field of VALUE_FIELDS) {
+            const constraint = getField(view.facet, field);
+            if (!constraint)
+                continue;
+            const f = view.facet;
+            if (f.type === 'property') {
+                const { dataType, explicit } = propertyType(ctx, spec, f);
+                const backing = dataType ? tables(ctx, spec.versions[0]).dataTypes.get(dataType)?.backingType : undefined;
+                out.push({ view, field, constraint, dataType, explicit, xsd: backing ? [backing] : [] });
+            }
+            else if (f.type === 'attribute') {
+                out.push({ view, field, constraint, explicit: false, xsd: attributeXsd(ctx, spec, single(f.name)) });
+            }
+            else {
+                out.push({ view, field, constraint, explicit: false, xsd: [] });
+            }
+        }
+    }
+    return out;
+}
+export const NUMERIC_XSD = new Set(['xs:double', 'xs:integer', 'xs:decimal', 'xs:float']);
+export const FLOAT_XSD = new Set(['xs:double', 'xs:decimal', 'xs:float']);
+/** The XSD base a constraint declares, if any. */
+export function baseOf(c) {
+    return c.type === 'simpleValue' ? undefined : c.base;
+}
+/** Literal values of a site (simpleValue, or each enumeration value). */
+export function siteLiterals(c) {
+    if (c.type === 'simpleValue')
+        return [c.value];
+    if (c.type === 'enumeration')
+        return [...c.values];
+    return [];
+}
+/** A copy of `c` with its literals mapped (simpleValue / enumeration only). */
+export function mapLiterals(c, fn) {
+    if (c.type === 'simpleValue')
+        return { ...c, value: fn(c.value) };
+    if (c.type === 'enumeration')
+        return { ...c, values: c.values.map(fn) };
+    return c;
+}
+//# sourceMappingURL=value-sites.js.map

package/dist/lint/rules/value-sites.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-sites.js","sourceRoot":"","sources":["../../../src/lint/rules/value-sites.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAS/D,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAEzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAcrE,MAAM,YAAY,GAA8B,CAAC,gBAAgB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,gBAAgB,CAAC,CAAC;AAEzJ,SAAS,YAAY,CAAC,GAAgB,EAAE,IAAc,EAAE,KAAuB;IAC7E,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,CAAC;IACvD,IAAI,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC5D,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CACvI,CAAC;IACF,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACrB,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC5E,CAAC;AAED,SAAS,YAAY,CAAC,GAAgB,EAAE,IAAc,EAAE,IAAwB;IAC9E,MAAM,QAAQ,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnC,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC;QACrB,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;QAC7F,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC9B,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,GAAgB,EAAE,IAAc;IACzD,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;QACjE,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC/C,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC1B,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC1D,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC1G,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC3F,CAAC;iBAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAClC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;YACvG,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;AAC1F,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;AAE1E,kDAAkD;AAClD,MAAM,UAAU,MAAM,CAAC,CAAgB;IACrC,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,YAAY,CAAC,CAAgB;IAC3C,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,WAAW,CAAC,CAAgB,EAAE,EAAyB;IACrE,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IAClE,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;IACxE,OAAO,CAAC,CAAC;AACX,CAAC"}

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

@@ -0,0 +1,22 @@
+/** Value rules IDSL-VAL-001 … 006. */
+import type { IDSConstraint } from '@ifc-lite/ids';
+import type { FacetFieldName } from '../../document/fields.js';
+import type { Uuid } from '../../uuid.js';
+import { type OpBody } from '../fix.js';
+import type { SpecRule } from '../types.js';
+export declare function rawSet(facetId: Uuid, field: FacetFieldName, constraint: IDSConstraint): OpBody;
+export declare const VAL_001: SpecRule;
+export declare const VAL_002: SpecRule;
+/** The items of a value that looks like a list, or undefined. */
+export declare function listItems(value: string): string[] | undefined;
+export declare const VAL_003: SpecRule;
+export interface Comparison {
+    op: '>' | '>=' | '<' | '<=';
+    value: number;
+    unit?: string;
+}
+export declare function parseComparison(value: string): Comparison | undefined;
+export declare const VAL_004: SpecRule;
+export declare const VAL_005: SpecRule;
+export declare const VAL_006: SpecRule;
+//# sourceMappingURL=values.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/values.ts"],"names":[],"mappings":"AAIA,sCAAsC;AAEtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AACnD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAG/D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAC1C,OAAO,EAAY,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,KAAK,EAAW,QAAQ,EAAE,MAAM,aAAa,CAAC;AAKrD,wBAAgB,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,GAAG,MAAM,CAE9F;AAED,eAAO,MAAM,OAAO,EAAE,QAoCrB,CAAC;AAcF,eAAO,MAAM,OAAO,EAAE,QAuBrB,CAAC;AAKF,iEAAiE;AACjE,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS,CAS7D;AAED,eAAO,MAAM,OAAO,EAAE,QAwBrB,CAAC;AAIF,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,SAAS,CAKrE;AAED,eAAO,MAAM,OAAO,EAAE,QA2BrB,CAAC;AAOF,eAAO,MAAM,OAAO,EAAE,QA+BrB,CAAC;AAQF,eAAO,MAAM,OAAO,EAAE,QA0BrB,CAAC"}