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

package/dist/lint/rules/regex.js

@@ -0,0 +1,184 @@
+/* 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 { assertGuardedRegexPattern, UnsafeRegexPatternError } from '@ifc-lite/regex-guard';
+import { ALL_FACET_FIELDS, getField } from '../../document/fields.js';
+import { quickFix } from '../fix.js';
+import { allFacets, at } from '../walk.js';
+import { gated } from './util.js';
+import { rawSet } from './values.js';
+import { literalOf, tokenizeXsdPattern } from './xsd-regex.js';
+function patternSites(spec) {
+    const out = [];
+    for (const view of allFacets(spec)) {
+        for (const field of ALL_FACET_FIELDS) {
+            const c = getField(view.facet, field);
+            if (!c)
+                continue;
+            if (c.type === 'pattern')
+                out.push({ view, field, constraint: c, pattern: c.pattern, primary: true });
+            if (c.type !== 'simpleValue') {
+                for (const s of c.and ?? [])
+                    if (s.type === 'pattern')
+                        out.push({ view, field, constraint: c, pattern: s.pattern, primary: false });
+            }
+        }
+    }
+    return out;
+}
+function withPattern(c, pattern) {
+    return c.type === 'pattern' ? { ...c, pattern } : undefined;
+}
+function fixPattern(rule, site, label, pattern) {
+    const next = site.primary ? withPattern(site.constraint, pattern) : undefined;
+    return next && pattern !== '' ? quickFix(label, rule.code, site.view.facetId, `${site.field}|${pattern}`, [rawSet(site.view.facetId, site.field, next)]) : undefined;
+}
+export const REGEX_001 = {
+    code: 'IDSL-REGEX-001',
+    area: 'REGEX',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: '^ or $ in an XSD pattern',
+    rationale: 'XSD patterns are implicitly anchored: the whole value must match. "^" and "$" are not anchors there but ordinary characters, so "^EI.*$" only matches values that literally start with "^" and end with "$".',
+    fix: 'Remove the leading ^ and trailing $.',
+    references: ['https://www.w3.org/TR/xmlschema-2/#regexs'],
+    example: '<xs:pattern value="^EI[0-9]+$"/>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of patternSites(spec)) {
+            const tokens = tokenizeXsdPattern(site.pattern);
+            const anchors = tokens.filter((t) => t.kind === 'caret' || t.kind === 'dollar');
+            if (!anchors.length)
+                continue;
+            const edgeOnly = anchors.every((t) => (t.kind === 'caret' && t.start === 0) || (t.kind === 'dollar' && t.start === site.pattern.length - 1));
+            const fix = edgeOnly ? fixPattern(this, site, 'Remove the anchors', site.pattern.replace(/^\^/, '').replace(/\$$/, '')) : undefined;
+            out.push({ ...at(site.view, site.field), message: `pattern "${site.pattern}" contains ${anchors.map((t) => t.text).join(' and ')}, which XSD treats as literal characters`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+const VALUE_FIELDS = new Set(['attribute.value', 'property.value', 'classification.value', 'material.value']);
+const MATCH_ALL = /^(\.\*)+$/;
+export const REGEX_002 = {
+    code: 'IDSL-REGEX-002',
+    area: 'REGEX',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Pattern that is a plain value or matches everything',
+    rationale: 'A pattern without any regex construct ("FireRating") is the same as a simple value, which is easier to read, translate and check. A value pattern of ".*" accepts every value, so it adds nothing to an existence check. (A ".*" around other text is meaningful in XSD, "contains", and is not flagged.)',
+    fix: 'Replace by a simple value, or drop the value so only existence is checked.',
+    example: '<value><xs:restriction base="xs:string"><xs:pattern value="EI60"/></xs:restriction></value>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of patternSites(spec)) {
+            if (!site.primary || site.constraint.type !== 'pattern' || site.constraint.and?.length)
+                continue;
+            const literal = literalOf(site.pattern);
+            if (literal !== undefined && /\p{L}/u.test(literal)) {
+                const fix = quickFix(`Use the simple value "${literal}"`, this.code, site.view.facetId, site.field, [rawSet(site.view.facetId, site.field, { type: 'simpleValue', value: literal })]);
+                out.push({ ...at(site.view, site.field), message: `pattern "${site.pattern}" has no regex constructs; it is the simple value "${literal}"`, fixes: gated(doc, ctx, [fix]) });
+            }
+            else if (MATCH_ALL.test(site.pattern) && VALUE_FIELDS.has(site.field)) {
+                const fix = quickFix('Check existence only', this.code, site.view.facetId, site.field, [{ kind: 'facet.setField', payload: { facetId: site.view.facetId, field: site.field, value: null } }]);
+                out.push({ ...at(site.view, site.field), message: `pattern "${site.pattern}" accepts any value`, fixes: gated(doc, ctx, [fix]) });
+            }
+        }
+        return out;
+    },
+};
+function unsupported(t) {
+    return t.kind === 'openSpecial' || t.kind === 'lazy' || t.kind === 'invalidEscape';
+}
+/** An escaped punctuation character that is not an XSD metacharacter, e.g. `\/`. */
+function redundantEscape(t) {
+    return t.kind === 'invalidEscape' && t.text.length === 2 && /[^\p{L}\p{N}\s]/u.test(t.text[1]);
+}
+/**
+ * Constructs outside XSD 1.0 that the .NET- and JS-based reference tools
+ * read the same way, and that the buildingSMART corpus uses in pass- cases
+ * (restriction/pass-regex_patterns_work_in_OR_*: `(?:…)`; property/…: `\/`).
+ */
+function portable(t) {
+    return (t.kind === 'openSpecial' && t.text === '(?:') || redundantEscape(t);
+}
+/** Rewrite `(?:` → `(` and drop lazy markers; undefined when other unsupported constructs remain. */
+function rewrite(pattern, tokens) {
+    let out = '';
+    for (const t of tokens) {
+        if (t.kind === 'openSpecial') {
+            if (t.text !== '(?:')
+                return undefined;
+            out += '(';
+        }
+        else if (t.kind === 'lazy') {
+            if (t.text !== '?')
+                return undefined;
+        }
+        else if (t.kind === 'invalidEscape') {
+            if (!redundantEscape(t))
+                return undefined;
+            out += t.text[1];
+        }
+        else {
+            out += t.text;
+        }
+    }
+    return out === pattern ? undefined : out;
+}
+export const REGEX_003 = {
+    code: 'IDSL-REGEX-003',
+    area: 'REGEX',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Construct not supported by XSD regex',
+    rationale: 'XSD regex has no lookarounds, non-capturing or named groups, backreferences, word boundaries (\\b), lazy quantifiers or escapes of ordinary characters. A checker that implements XSD regex strictly rejects such a pattern or reads it differently. Non-capturing groups and escaped punctuation (\\/) are read the same way by the common reference tools and appear in buildingSMART pass- test cases, so those findings are info only. Note that \\d and \\w are Unicode classes in XSD and \\w excludes the underscore.',
+    fix: 'Rewrite (?:…) as (…) and drop lazy markers (an anchored full match is the same either way); other constructs need a manual rewrite.',
+    references: ['https://www.w3.org/TR/xmlschema-2/#regexs'],
+    example: '<xs:pattern value="(?:EI|REI)[0-9]+"/>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of patternSites(spec)) {
+            const tokens = tokenizeXsdPattern(site.pattern);
+            const bad = tokens.filter(unsupported);
+            if (!bad.length)
+                continue;
+            const rewritten = rewrite(site.pattern, tokens);
+            const fix = rewritten ? fixPattern(this, site, `Rewrite as "${rewritten}"`, rewritten) : undefined;
+            out.push({
+                ...at(site.view, site.field),
+                ...(bad.every(portable) ? { severity: 'info' } : {}),
+                message: `pattern "${site.pattern}" uses ${[...new Set(bad.map((t) => t.text))].join(', ')}, not part of XSD regex`,
+                fixes: gated(doc, ctx, [fix]),
+            });
+        }
+        return out;
+    },
+};
+export const REGEX_004 = {
+    code: 'IDSL-REGEX-004',
+    area: 'REGEX',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'error',
+    title: 'Catastrophic backtracking risk',
+    rationale: 'The pattern has a shape (nested or overlapping quantifiers, excessive length) that the shared ReDoS guard rejects: a backtracking engine can take exponential time on it. ifc-lite refuses to run it, and other checkers may hang.',
+    example: '<xs:pattern value="(a+)+b"/>',
+    check(spec) {
+        const out = [];
+        for (const site of patternSites(spec)) {
+            try {
+                assertGuardedRegexPattern(site.pattern);
+            }
+            catch (err) {
+                if (!(err instanceof UnsafeRegexPatternError))
+                    throw err;
+                out.push({ ...at(site.view, site.field), message: `pattern "${site.pattern}" is rejected by the ReDoS guard: ${err.reason}` });
+            }
+        }
+        return out;
+    },
+};
+//# sourceMappingURL=regex.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"regex.js","sourceRoot":"","sources":["../../../src/lint/rules/regex.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAK/D,OAAO,EAAE,yBAAyB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAC3F,OAAO,EAAE,gBAAgB,EAAE,QAAQ,EAAuB,MAAM,0BAA0B,CAAC;AAC3F,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAClC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAiB,MAAM,gBAAgB,CAAC;AAW9E,SAAS,YAAY,CAAC,IAAc;IAClC,MAAM,GAAG,GAAkB,EAAE,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,KAAK,MAAM,KAAK,IAAI,gBAAgB,EAAE,CAAC;YACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACtC,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACtG,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,EAAE;oBAAE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;wBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YACtI,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAAC,CAAgB,EAAE,OAAe;IACpD,OAAO,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAC9D,CAAC;AAED,SAAS,UAAU,CAAC,IAAc,EAAE,IAAiB,EAAE,KAAa,EAAE,OAAe;IACnF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9E,OAAO,IAAI,IAAI,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACvK,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAa;IACjC,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,0BAA0B;IACjC,SAAS,EACP,8MAA8M;IAChN,GAAG,EAAE,sCAAsC;IAC3C,UAAU,EAAE,CAAC,2CAA2C,CAAC;IACzD,OAAO,EAAE,kCAAkC;IAC3C,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;YAChF,IAAI,CAAC,OAAO,CAAC,MAAM;gBAAE,SAAS;YAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7I,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACpI,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,cAAc,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,0CAA0C,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/M,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAiB,CAAC,iBAAiB,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAC9H,MAAM,SAAS,GAAG,WAAW,CAAC;AAE9B,MAAM,CAAC,MAAM,SAAS,GAAa;IACjC,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,qDAAqD;IAC5D,SAAS,EACP,2SAA2S;IAC7S,GAAG,EAAE,4EAA4E;IACjF,OAAO,EAAE,6FAA6F;IACtG,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;gBAAE,SAAS;YACjG,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxC,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpD,MAAM,GAAG,GAAG,QAAQ,CAAC,yBAAyB,OAAO,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;gBACtL,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,sDAAsD,OAAO,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/K,CAAC;iBAAM,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxE,MAAM,GAAG,GAAG,QAAQ,CAAC,sBAAsB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;gBAC9L,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,qBAAqB,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACpI,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,SAAS,WAAW,CAAC,CAAW;IAC9B,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC;AACrF,CAAC;AAED,oFAAoF;AACpF,SAAS,eAAe,CAAC,CAAW;IAClC,OAAO,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACjG,CAAC;AAED;;;;GAIG;AACH,SAAS,QAAQ,CAAC,CAAW;IAC3B,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED,qGAAqG;AACrG,SAAS,OAAO,CAAC,OAAe,EAAE,MAAkB;IAClD,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,SAAS,CAAC;YACvC,GAAG,IAAI,GAAG,CAAC;QACb,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG;gBAAE,OAAO,SAAS,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACtC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC1C,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC;AAC3C,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAa;IACjC,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,sCAAsC;IAC7C,SAAS,EACP,8fAA8f;IAChgB,GAAG,EAAE,qIAAqI;IAC1I,UAAU,EAAE,CAAC,2CAA2C,CAAC;IACzD,OAAO,EAAE,wCAAwC;IACjD,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACvC,IAAI,CAAC,GAAG,CAAC,MAAM;gBAAE,SAAS;YAC1B,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAChD,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,eAAe,SAAS,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACnG,GAAG,CAAC,IAAI,CAAC;gBACP,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;gBAC5B,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7D,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,yBAAyB;gBACnH,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;AAEF,MAAM,CAAC,MAAM,SAAS,GAAa;IACjC,IAAI,EAAE,gBAAgB;IACtB,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,OAAO;IACxB,KAAK,EAAE,gCAAgC;IACvC,SAAS,EACP,oOAAoO;IACtO,OAAO,EAAE,8BAA8B;IACvC,KAAK,CAAC,IAAI;QACR,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC;gBACH,yBAAyB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1C,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,CAAC,CAAC,GAAG,YAAY,uBAAuB,CAAC;oBAAE,MAAM,GAAG,CAAC;gBACzD,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,YAAY,IAAI,CAAC,OAAO,qCAAqC,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACjI,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC"}

package/dist/lint/rules/spec-doc.d.ts

@@ -0,0 +1,5 @@
+import type { DocumentRule } from '../types.js';
+export declare const SPEC_005: DocumentRule;
+export declare const SPEC_006: DocumentRule;
+export declare const SPEC_009: DocumentRule;
+//# sourceMappingURL=spec-doc.d.ts.map

package/dist/lint/rules/spec-doc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-doc.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/spec-doc.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,YAAY,EAAqB,MAAM,aAAa,CAAC;AA8BnE,eAAO,MAAM,QAAQ,EAAE,YA0BtB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,YAwBtB,CAAC;AAgBF,eAAO,MAAM,QAAQ,EAAE,YA+BtB,CAAC"}

package/dist/lint/rules/spec-doc.js

@@ -0,0 +1,132 @@
+/* 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 { overlaps } from '../solver/solver.js';
+import { quickFix } from '../fix.js';
+import { where } from '../walk.js';
+import { subjectOf } from './spec.js';
+import { gated } from './util.js';
+/** Key-sorted JSON, so equal content gives equal text regardless of key order. */
+function canonical(value) {
+    if (Array.isArray(value))
+        return `[${value.map(canonical).join(',')}]`;
+    if (value && typeof value === 'object') {
+        const entries = Object.entries(value).filter(([, v]) => v !== undefined).sort(([a], [b]) => a.localeCompare(b));
+        return `{${entries.map(([k, v]) => `${JSON.stringify(k)}:${canonical(v)}`).join(',')}}`;
+    }
+    return JSON.stringify(value);
+}
+const SIGNATURES = new WeakMap();
+/** Order-insensitive content signatures of a spec, cached per spec object. */
+function signatures(spec) {
+    let s = SIGNATURES.get(spec);
+    if (!s) {
+        const facets = (list) => list.map(canonical).sort();
+        const applicability = canonical({ versions: [...spec.ifcVersions].sort(), facets: facets(spec.applicability.facets) });
+        const requirements = spec.requirements.map((r) => canonical({ facet: r.facet, optionality: r.optionality })).sort();
+        s = { applicability, full: canonical({ applicability, requirements, min: spec.minOccurs ?? 0, max: spec.maxOccurs ?? 'unbounded' }) };
+        SIGNATURES.set(spec, s);
+    }
+    return s;
+}
+export const SPEC_005 = {
+    code: 'IDSL-SPEC-005',
+    area: 'SPEC',
+    scope: 'document',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Duplicate specification',
+    rationale: 'Two specifications have the same IFC versions, applicability, requirements and cardinality (names and descriptions aside). Every element is checked twice and reported twice, and an edit to one copy silently diverges from the other.',
+    fix: 'Remove the later copy.',
+    example: 'Two <specification> elements with identical content and different names.',
+    check(specs, { ctx, doc }) {
+        const seen = new Map();
+        const out = [];
+        for (const s of specs) {
+            const key = signatures(s.spec).full;
+            const first = seen.get(key);
+            if (!first) {
+                seen.set(key, s);
+                continue;
+            }
+            const fix = quickFix(`Remove "${s.spec.name}"`, this.code, s.specId, 'remove', [{ kind: 'spec.remove', payload: { specId: s.specId } }]);
+            out.push({ nodeId: s.specId, message: `"${s.spec.name}" duplicates "${first.spec.name}" (specification ${first.index + 1})`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+export const SPEC_006 = {
+    code: 'IDSL-SPEC-006',
+    area: 'SPEC',
+    scope: 'document',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Overlapping specifications with conflicting requirements',
+    rationale: 'Two specifications select exactly the same elements (identical applicability and IFC versions) but require values with nothing in common for the same attribute or property. No element can pass both. This rule only compares identical applicabilities; partially overlapping ones need a model to decide (SPEC-004, model-aware).',
+    example: 'Spec A: IfcDoor, FireRating = EI30. Spec B: IfcDoor, FireRating = EI60.',
+    check(specs) {
+        const out = [];
+        specs.forEach((b, j) => {
+            for (const a of specs.slice(0, j)) {
+                if (signatures(a.spec).applicability !== signatures(b.spec).applicability)
+                    continue;
+                const clash = conflict(a, b);
+                if (clash) {
+                    out.push({ nodeId: clash.facetId, message: `${where(clash)} of "${b.spec.name}" conflicts with "${a.spec.name}", which selects the same elements` });
+                    return;
+                }
+            }
+        });
+        return out;
+    },
+};
+function conflict(a, b) {
+    const required = (s) => s.requirements.filter((r) => r.requirement?.optionality === 'required');
+    for (const rb of required(b)) {
+        const sb = subjectOf(rb.facet);
+        if (!sb?.constraint)
+            continue;
+        for (const ra of required(a)) {
+            const sa = subjectOf(ra.facet);
+            if (!sa?.constraint || sa.key !== sb.key || (sa.dataType && sb.dataType && sa.dataType !== sb.dataType))
+                continue;
+            if (overlaps(sa.constraint, sb.constraint, sb.opts) === 'no')
+                return rb;
+        }
+    }
+    return undefined;
+}
+export const SPEC_009 = {
+    code: 'IDSL-SPEC-009',
+    area: 'SPEC',
+    scope: 'document',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Duplicate identifier',
+    rationale: 'Specification identifiers are how reports, BCF issues and contracts refer to a requirement. Two specifications sharing one identifier make those references ambiguous.',
+    fix: 'Give the later specification a unique identifier.',
+    example: '<specification identifier="FS-01" …/> twice',
+    check(specs, { ctx, doc }) {
+        const used = new Set(specs.map((s) => s.spec.identifier?.trim()).filter((x) => !!x));
+        const seen = new Map();
+        const out = [];
+        for (const s of specs) {
+            const id = s.spec.identifier?.trim();
+            if (!id)
+                continue;
+            const first = seen.get(id);
+            if (!first) {
+                seen.set(id, s);
+                continue;
+            }
+            let n = 2;
+            while (used.has(`${id}-${n}`))
+                n++;
+            used.add(`${id}-${n}`);
+            const fix = quickFix(`Renumber to ${id}-${n}`, this.code, s.specId, `${id}-${n}`, [{ kind: 'spec.set', payload: { specId: s.specId, field: 'identifier', value: `${id}-${n}` } }]);
+            out.push({ nodeId: s.specId, message: `identifier "${id}" is also used by "${first.spec.name}"`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+//# sourceMappingURL=spec-doc.js.map

package/dist/lint/rules/spec-doc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-doc.js","sourceRoot":"","sources":["../../../src/lint/rules/spec-doc.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAK/D,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAElC,kFAAkF;AAClF,SAAS,SAAS,CAAC,KAAc;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACvE,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3I,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC1F,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,GAAG,IAAI,OAAO,EAA6D,CAAC;AAE5F,8EAA8E;AAC9E,SAAS,UAAU,CAAC,IAAsB;IACxC,IAAI,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;QAChE,MAAM,aAAa,GAAG,SAAS,CAAC,EAAE,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvH,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACpH,CAAC,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,IAAI,WAAW,EAAE,CAAC,EAAE,CAAC;QACtI,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAiB;IACpC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,yBAAyB;IAChC,SAAS,EACP,yOAAyO;IAC3O,GAAG,EAAE,wBAAwB;IAC7B,OAAO,EAAE,0EAA0E;IACnF,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACvB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;QACzC,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;YACpC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;YACzI,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,iBAAiB,KAAK,CAAC,IAAI,CAAC,IAAI,oBAAoB,KAAK,CAAC,KAAK,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAChK,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAiB;IACpC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,0DAA0D;IACjE,SAAS,EACP,sUAAsU;IACxU,OAAO,EAAE,yEAAyE;IAClF,KAAK,CAAC,KAAK;QACT,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACrB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBAClC,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa;oBAAE,SAAS;gBACpF,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC7B,IAAI,KAAK,EAAE,CAAC;oBACV,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,CAAC,IAAI,CAAC,IAAI,oCAAoC,EAAE,CAAC,CAAC;oBACrJ,OAAO;gBACT,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QACH,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,SAAS,QAAQ,CAAC,CAAW,EAAE,CAAW;IACxC,MAAM,QAAQ,GAAG,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,WAAW,KAAK,UAAU,CAAC,CAAC;IAC1G,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,CAAC,EAAE,EAAE,UAAU;YAAE,SAAS;QAC9B,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,CAAC,EAAE,EAAE,UAAU,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,KAAK,EAAE,CAAC,QAAQ,CAAC;gBAAE,SAAS;YAClH,IAAI,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAiB;IACpC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,sBAAsB;IAC7B,SAAS,EACP,wKAAwK;IAC1K,GAAG,EAAE,mDAAmD;IACxD,OAAO,EAAE,6CAA6C;IACtD,KAAK,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACvB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;QACzC,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC;YACrC,IAAI,CAAC,EAAE;gBAAE,SAAS;YAClB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,CAAC;YACV,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;gBAAE,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YACvB,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YACnL,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,eAAe,EAAE,sBAAsB,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACpI,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC"}

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

@@ -0,0 +1,24 @@
+/** Specification semantics: IDSL-SPEC-001, 002, 003, 007, 008. */
+import type { IDSConstraint, IDSFacet } from '@ifc-lite/ids';
+import { type SolveOptions } from '../solver/solver.js';
+import type { SpecRule } from '../types.js';
+/**
+ * What a facet is ABOUT (its identity) and the constraint on it. Only
+ * single-valued subjects get a key: an element has one class, one value per
+ * attribute and one value per property. Classifications and materials can
+ * be multiple, so two different values are not a contradiction there.
+ */
+export interface Subject {
+    key: string;
+    constraint?: IDSConstraint;
+    /** Property data type (values are compared under it). */
+    dataType?: string;
+    opts: SolveOptions;
+}
+export declare function subjectOf(facet: IDSFacet): Subject | undefined;
+export declare const SPEC_001: SpecRule;
+export declare const SPEC_002: SpecRule;
+export declare const SPEC_003: SpecRule;
+export declare const SPEC_007: SpecRule;
+export declare const SPEC_008: SpecRule;
+//# sourceMappingURL=spec.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"spec.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/spec.ts"],"names":[],"mappings":"AAIA,kEAAkE;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC7D,OAAO,EAAqB,KAAK,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAE3E,OAAO,KAAK,EAAsB,QAAQ,EAAE,MAAM,aAAa,CAAC;AAKhE;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,GAAG,EAAE,MAAM,CAAC;IACZ,UAAU,CAAC,EAAE,aAAa,CAAC;IAC3B,yDAAyD;IACzD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,YAAY,CAAC;CACpB;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,QAAQ,GAAG,OAAO,GAAG,SAAS,CAgB9D;AAUD,eAAO,MAAM,QAAQ,EAAE,QA6BtB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,QAkCtB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,QAwBtB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,QAiBtB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,QAgBtB,CAAC"}

package/dist/lint/rules/spec.js

@@ -0,0 +1,162 @@
+/* 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 { implies, overlaps } from '../solver/solver.js';
+import { quickFix } from '../fix.js';
+import { where } from '../walk.js';
+import { isProhibitedSpec, isRequiredSpec } from './card.js';
+import { gated, single } from './util.js';
+export function subjectOf(facet) {
+    switch (facet.type) {
+        case 'entity':
+            return facet.predefinedType ? undefined : { key: 'entity', constraint: facet.name, opts: { caseInsensitive: true } };
+        case 'attribute': {
+            const name = single(facet.name);
+            return name ? { key: `attribute|${name.toLowerCase()}`, constraint: facet.value, opts: {} } : undefined;
+        }
+        case 'property': {
+            const pset = single(facet.propertySet);
+            const name = single(facet.baseName);
+            return pset && name ? { key: `property|${pset}|${name}`, constraint: facet.value, dataType: single(facet.dataType)?.toUpperCase(), opts: {} } : undefined;
+        }
+        default:
+            return undefined;
+    }
+}
+function comparable(a, b) {
+    return a.key === b.key && (a.dataType === undefined || b.dataType === undefined || a.dataType === b.dataType);
+}
+function binding(r) {
+    return r.requirement?.optionality === 'required' || r.requirement?.optionality === 'optional';
+}
+export const SPEC_001 = {
+    code: 'IDSL-SPEC-001',
+    area: 'SPEC',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Requirement that can never fail',
+    rationale: 'The requirement asks for something the applicability already guarantees: the same entity, attribute or property with the same or a weaker constraint. Every applicable element satisfies it by construction, so it checks nothing. Usually the facet belongs in only one of the two sections.',
+    fix: 'Remove the requirement.',
+    example: '<applicability>…<property>…<value><simpleValue>EI60</simpleValue></value></property></applicability><requirements><property>… (same property, no value)</property></requirements>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const r of spec.requirements) {
+            if (r.requirement?.optionality !== 'required')
+                continue;
+            const rs = subjectOf(r.facet);
+            if (!rs)
+                continue;
+            const implied = spec.applicability.find((a) => {
+                const as = subjectOf(a.facet);
+                if (!as || as.key !== rs.key || (rs.dataType && rs.dataType !== as.dataType))
+                    return false;
+                if (!rs.constraint)
+                    return true;
+                return !!as.constraint && implies(as.constraint, rs.constraint, rs.opts) === 'yes';
+            });
+            if (!implied)
+                continue;
+            const fix = quickFix('Remove the requirement', this.code, r.facetId, 'remove', [{ kind: 'facet.remove', payload: { facetId: r.facetId } }]);
+            out.push({ nodeId: r.facetId, message: `${where(r)} is already guaranteed by ${where(implied)}, so it can never fail`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+export const SPEC_002 = {
+    code: 'IDSL-SPEC-002',
+    area: 'SPEC',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'error',
+    title: 'Contradictory requirements',
+    rationale: 'Two constraints on the same single-valued subject (the entity class, one attribute, one property) have no value in common: two requirements with disjoint enumerations or bounds, or a requirement that excludes every value the applicability selects. No element can pass. The solver only reports a contradiction it can prove (finite sets and numeric ranges exactly; patterns are never declared disjoint).',
+    example: '<requirements><property>…<value><simpleValue>EI60</simpleValue></value></property><property>… (same property) <value><simpleValue>EI90</simpleValue></value></property></requirements>',
+    check(spec) {
+        const out = [];
+        const reqs = spec.requirements.filter(binding);
+        reqs.forEach((r, i) => {
+            const rs = subjectOf(r.facet);
+            if (!rs?.constraint)
+                return;
+            for (const a of spec.applicability) {
+                const as = subjectOf(a.facet);
+                if (as?.constraint && comparable(as, rs) && overlaps(as.constraint, rs.constraint, rs.opts) === 'no') {
+                    out.push({ nodeId: r.facetId, message: `${where(r)} excludes every element that ${where(a)} selects; no applicable element can pass` });
+                    return;
+                }
+            }
+            for (const other of reqs.slice(0, i)) {
+                const os = subjectOf(other.facet);
+                const eitherRequired = r.requirement?.optionality === 'required' || other.requirement?.optionality === 'required';
+                if (os?.constraint && eitherRequired && comparable(os, rs) && overlaps(os.constraint, rs.constraint, rs.opts) === 'no') {
+                    out.push({ nodeId: r.facetId, message: `${where(r)} and ${where(other)} constrain the same ${rs.key.split('|')[0]} to values with nothing in common` });
+                    return;
+                }
+            }
+        });
+        return out;
+    },
+};
+export const SPEC_003 = {
+    code: 'IDSL-SPEC-003',
+    area: 'SPEC',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Applicability that can never match',
+    rationale: 'All applicability facets must hold at once. Two of them constrain the same single-valued subject (two different entity classes, two disjoint values of one property) so no element can match, and the specification never applies.',
+    example: '<applicability><entity>IFCWALL</entity><entity>IFCSLAB</entity></applicability>',
+    check(spec) {
+        const out = [];
+        spec.applicability.forEach((a, i) => {
+            const as = subjectOf(a.facet);
+            const ac = as?.constraint;
+            if (!as || !ac)
+                return;
+            const clash = spec.applicability.slice(0, i).find((b) => {
+                const bs = subjectOf(b.facet);
+                return !!bs?.constraint && comparable(as, bs) && overlaps(bs.constraint, ac, as.opts) === 'no';
+            });
+            if (clash)
+                out.push({ nodeId: a.facetId, message: `${where(a)} and ${where(clash)} cannot both hold; the specification never applies` });
+        });
+        return out;
+    },
+};
+export const SPEC_007 = {
+    code: 'IDSL-SPEC-007',
+    area: 'SPEC',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'Specification without requirements',
+    rationale: 'A specification with no requirements only checks whether applicable elements exist (when it is required), or checks nothing at all (when it is optional). That is sometimes intended, but often a requirement was forgotten. Prohibited specifications are exempt: "no element may match" needs no requirements.',
+    example: '<specification …><applicability>…</applicability></specification>',
+    check(spec) {
+        if (spec.requirements.length || isProhibitedSpec(spec.spec))
+            return [];
+        const message = isRequiredSpec(spec.spec)
+            ? 'the specification has no requirements; it only checks that applicable elements exist'
+            : 'the specification has no requirements and is optional, so it checks nothing';
+        return [{ nodeId: spec.specId, message }];
+    },
+};
+export const SPEC_008 = {
+    code: 'IDSL-SPEC-008',
+    area: 'SPEC',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    // Owner decision (#7144): fires on nearly every specification in practice.
+    optIn: true,
+    title: 'Specification without description or instructions',
+    rationale: 'Modellers see the description and instructions when a check fails. Without them the failure report shows only facet text, which rarely tells a modeller what to change or why the requirement exists.',
+    example: '<specification name="Doors" ifcVersion="IFC4"> (no description, no instructions)',
+    check(spec) {
+        if (spec.spec.description?.trim() || spec.spec.instructions?.trim())
+            return [];
+        return [{ nodeId: spec.specId, message: `"${spec.spec.name}" has neither a description nor instructions for modellers` }];
+    },
+};
+//# sourceMappingURL=spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"spec.js","sourceRoot":"","sources":["../../../src/lint/rules/spec.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAK/D,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAqB,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAgB1C,MAAM,UAAU,SAAS,CAAC,KAAe;IACvC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,EAAE,CAAC;QACvH,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAChC,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1G,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACpC,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,YAAY,IAAI,IAAI,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,WAAW,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5J,CAAC;QACD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,CAAU,EAAE,CAAU;IACxC,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC;AAChH,CAAC;AAED,SAAS,OAAO,CAAC,CAAY;IAC3B,OAAO,CAAC,CAAC,WAAW,EAAE,WAAW,KAAK,UAAU,IAAI,CAAC,CAAC,WAAW,EAAE,WAAW,KAAK,UAAU,CAAC;AAChG,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,iCAAiC;IACxC,SAAS,EACP,+RAA+R;IACjS,GAAG,EAAE,yBAAyB;IAC9B,OAAO,EAAE,mLAAmL;IAC5L,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,WAAW,EAAE,WAAW,KAAK,UAAU;gBAAE,SAAS;YACxD,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,CAAC,EAAE;gBAAE,SAAS;YAClB,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC5C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC9B,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,KAAK,EAAE,CAAC,QAAQ,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAC3F,IAAI,CAAC,EAAE,CAAC,UAAU;oBAAE,OAAO,IAAI,CAAC;gBAChC,OAAO,CAAC,CAAC,EAAE,CAAC,UAAU,IAAI,OAAO,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC;YACrF,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,OAAO;gBAAE,SAAS;YACvB,MAAM,GAAG,GAAG,QAAQ,CAAC,wBAAwB,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;YAC5I,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,6BAA6B,KAAK,CAAC,OAAO,CAAC,wBAAwB,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1J,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,4BAA4B;IACnC,SAAS,EACP,mZAAmZ;IACrZ,OAAO,EAAE,wLAAwL;IACjM,KAAK,CAAC,IAAI;QACR,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC/C,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACpB,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC9B,IAAI,CAAC,EAAE,EAAE,UAAU;gBAAE,OAAO;YAC5B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC9B,IAAI,EAAE,EAAE,UAAU,IAAI,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACrG,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,gCAAgC,KAAK,CAAC,CAAC,CAAC,0CAA0C,EAAE,CAAC,CAAC;oBACxI,OAAO;gBACT,CAAC;YACH,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACrC,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAClC,MAAM,cAAc,GAAG,CAAC,CAAC,WAAW,EAAE,WAAW,KAAK,UAAU,IAAI,KAAK,CAAC,WAAW,EAAE,WAAW,KAAK,UAAU,CAAC;gBAClH,IAAI,EAAE,EAAE,UAAU,IAAI,cAAc,IAAI,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;oBACvH,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,KAAK,CAAC,uBAAuB,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,mCAAmC,EAAE,CAAC,CAAC;oBACxJ,OAAO;gBACT,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QACH,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,SAAS;IAC1B,KAAK,EAAE,oCAAoC;IAC3C,SAAS,EACP,oOAAoO;IACtO,OAAO,EAAE,iFAAiF;IAC1F,KAAK,CAAC,IAAI;QACR,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAClC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC9B,MAAM,EAAE,GAAG,EAAE,EAAE,UAAU,CAAC;YAC1B,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;gBAAE,OAAO;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACtD,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC9B,OAAO,CAAC,CAAC,EAAE,EAAE,UAAU,IAAI,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,QAAQ,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;YACjG,CAAC,CAAC,CAAC;YACH,IAAI,KAAK;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,KAAK,CAAC,oDAAoD,EAAE,CAAC,CAAC;QAC3I,CAAC,CAAC,CAAC;QACH,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,MAAM;IACvB,KAAK,EAAE,oCAAoC;IAC3C,SAAS,EACP,kTAAkT;IACpT,OAAO,EAAE,mEAAmE;IAC5E,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC;QACvE,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;YACvC,CAAC,CAAC,sFAAsF;YACxF,CAAC,CAAC,6EAA6E,CAAC;QAClF,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;IAC5C,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,MAAM;IACvB,2EAA2E;IAC3E,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,mDAAmD;IAC1D,SAAS,EACP,uMAAuM;IACzM,OAAO,EAAE,kFAAkF;IAC3F,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE;YAAE,OAAO,EAAE,CAAC;QAC/E,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,4DAA4D,EAAE,CAAC,CAAC;IAC5H,CAAC;CACF,CAAC"}

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

@@ -0,0 +1,4 @@
+import type { SpecRule } from '../types.js';
+export declare const VAL_008: SpecRule;
+export declare const UNIT_001: SpecRule;
+//# sourceMappingURL=units.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"units.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/units.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAW,QAAQ,EAAE,MAAM,aAAa,CAAC;AAQrD,eAAO,MAAM,OAAO,EAAE,QAqBrB,CAAC;AAkDF,eAAO,MAAM,QAAQ,EAAE,QA4BtB,CAAC"}