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

package/dist/lint/solver/solver.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Constraint intersection solver (03-diagnostics-audit-lint.md §3, SPEC-001
+ * / SPEC-002 / SPEC-003).
+ *
+ * Answers are three-valued. `'yes'` and `'no'` are only returned when they
+ * are certain:
+ *
+ * - finite sets (simpleValue, enumeration) are decided exactly by membership,
+ *   using the validator's own `matchConstraint` (so `and` siblings, numeric
+ *   casting and pattern translation agree with what a check would do);
+ * - numeric intervals are decided exactly;
+ * - patterns can only be proven to OVERLAP, by a sampled witness that the
+ *   validator accepts under both constraints. Disjointness or containment of
+ *   two patterns is never claimed (`'unknown'`).
+ */
+import { type IDSConstraint } from '@ifc-lite/ids';
+export type Tri = 'yes' | 'no' | 'unknown';
+export interface SolveOptions {
+    /** Entity names compare case-insensitively; values do not. */
+    caseInsensitive?: boolean;
+}
+/** Does `v` satisfy `c`, as a string or (when numeric) as a number? */
+export declare function member(c: IDSConstraint, v: string, opts?: SolveOptions): boolean;
+/** The finite value set of a constraint, or undefined when it is not finite. */
+export declare function finiteValues(c: IDSConstraint, opts?: SolveOptions): string[] | undefined;
+interface Interval {
+    lo: number;
+    loEx: boolean;
+    hi: number;
+    hiEx: boolean;
+}
+/** The numeric interval of a pure bounds constraint. */
+export declare function interval(c: IDSConstraint): Interval | undefined;
+/** Is there a value satisfying both `a` and `b`? */
+export declare function overlaps(a: IDSConstraint, b: IDSConstraint, opts?: SolveOptions): Tri;
+/** Does every value satisfying `a` also satisfy `b`? */
+export declare function implies(a: IDSConstraint, b: IDSConstraint, opts?: SolveOptions): Tri;
+export {};
+//# sourceMappingURL=solver.d.ts.map

package/dist/lint/solver/solver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"solver.d.ts","sourceRoot":"","sources":["../../../src/lint/solver/solver.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAA6C,KAAK,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9F,MAAM,MAAM,GAAG,GAAG,KAAK,GAAG,IAAI,GAAG,SAAS,CAAC;AAE3C,MAAM,WAAW,YAAY;IAC3B,8DAA8D;IAC9D,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAID,uEAAuE;AACvE,wBAAgB,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,GAAE,YAAiB,GAAG,OAAO,CAIpF;AAED,gFAAgF;AAChF,wBAAgB,YAAY,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,GAAE,YAAiB,GAAG,MAAM,EAAE,GAAG,SAAS,CAM5F;AAED,UAAU,QAAQ;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,OAAO,CAAC;CACf;AAID,wDAAwD;AACxD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,aAAa,GAAG,QAAQ,GAAG,SAAS,CAY/D;AAyCD,oDAAoD;AACpD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,GAAE,YAAiB,GAAG,GAAG,CAUzF;AAED,wDAAwD;AACxD,wBAAgB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,EAAE,IAAI,GAAE,YAAiB,GAAG,GAAG,CASxF"}

package/dist/lint/solver/solver.js

@@ -0,0 +1,126 @@
+/* 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/. */
+/**
+ * Constraint intersection solver (03-diagnostics-audit-lint.md §3, SPEC-001
+ * / SPEC-002 / SPEC-003).
+ *
+ * Answers are three-valued. `'yes'` and `'no'` are only returned when they
+ * are certain:
+ *
+ * - finite sets (simpleValue, enumeration) are decided exactly by membership,
+ *   using the validator's own `matchConstraint` (so `and` siblings, numeric
+ *   casting and pattern translation agree with what a check would do);
+ * - numeric intervals are decided exactly;
+ * - patterns can only be proven to OVERLAP, by a sampled witness that the
+ *   validator accepts under both constraints. Disjointness or containment of
+ *   two patterns is never claimed (`'unknown'`).
+ */
+import { matchConstraint } from '@ifc-lite/ids';
+import { samplePattern } from './sample.js';
+const NUMBER = /^[+-]?(\d+(\.\d*)?|\.\d+)([eE][+-]?\d+)?$/;
+/** Does `v` satisfy `c`, as a string or (when numeric) as a number? */
+export function member(c, v, opts = {}) {
+    const o = { caseInsensitive: opts.caseInsensitive ?? false };
+    if (matchConstraint(c, v, o))
+        return true;
+    return NUMBER.test(v.trim()) && matchConstraint(c, Number(v), o);
+}
+/** The finite value set of a constraint, or undefined when it is not finite. */
+export function finiteValues(c, opts = {}) {
+    let values;
+    if (c.type === 'simpleValue')
+        values = [c.value];
+    else if (c.type === 'enumeration')
+        values = c.values;
+    else if (c.type === 'bounds' && point(c) !== undefined)
+        values = [String(point(c))];
+    return values?.filter((v) => member(c, v, opts));
+}
+const LENGTH_OR_DIGITS = ['length', 'minLength', 'maxLength', 'totalDigits', 'fractionDigits'];
+/** The numeric interval of a pure bounds constraint. */
+export function interval(c) {
+    if (c.type !== 'bounds' || c.and?.length || c.unparseableFacets?.length)
+        return undefined;
+    if (LENGTH_OR_DIGITS.some((k) => c[k] !== undefined))
+        return undefined;
+    const lo = c.minInclusive ?? c.minExclusive;
+    const hi = c.maxInclusive ?? c.maxExclusive;
+    if (lo === undefined && hi === undefined)
+        return undefined;
+    return {
+        lo: lo ?? -Infinity,
+        loEx: c.minInclusive === undefined && c.minExclusive !== undefined,
+        hi: hi ?? Infinity,
+        hiEx: c.maxInclusive === undefined && c.maxExclusive !== undefined,
+    };
+}
+function point(c) {
+    const i = interval(c);
+    return i && i.lo === i.hi && !i.loEx && !i.hiEx ? i.lo : undefined;
+}
+function intervalsOverlap(a, b) {
+    const lo = Math.max(a.lo, b.lo);
+    const hi = Math.min(a.hi, b.hi);
+    if (lo < hi)
+        return true;
+    if (lo > hi)
+        return false;
+    const loEx = (a.lo === lo && a.loEx) || (b.lo === lo && b.loEx);
+    const hiEx = (a.hi === hi && a.hiEx) || (b.hi === hi && b.hiEx);
+    return !loEx && !hiEx;
+}
+function intervalWithin(a, b) {
+    const loOk = a.lo > b.lo || (a.lo === b.lo && (!b.loEx || a.loEx));
+    const hiOk = a.hi < b.hi || (a.hi === b.hi && (!b.hiEx || a.hiEx));
+    return loOk && hiOk;
+}
+function patternsOf(c) {
+    const own = c.type === 'pattern' ? [c.pattern] : [];
+    const siblings = c.type === 'simpleValue' ? [] : (c.and ?? []).flatMap((s) => (s.type === 'pattern' ? [s.pattern] : []));
+    return [...own, ...siblings];
+}
+/** A sampled value that satisfies both constraints, if one is found. */
+function witness(a, b, opts) {
+    for (const p of [...patternsOf(a), ...patternsOf(b)]) {
+        for (const s of samplePattern(p))
+            if (member(a, s, opts) && member(b, s, opts))
+                return s;
+    }
+    return undefined;
+}
+function sameConstraint(a, b) {
+    return JSON.stringify(a) === JSON.stringify(b);
+}
+/** Is there a value satisfying both `a` and `b`? */
+export function overlaps(a, b, opts = {}) {
+    if (sameConstraint(a, b))
+        return finiteValues(a, opts)?.length === 0 ? 'no' : 'yes';
+    const fa = finiteValues(a, opts);
+    if (fa)
+        return fa.some((v) => member(b, v, opts)) ? 'yes' : 'no';
+    const fb = finiteValues(b, opts);
+    if (fb)
+        return fb.some((v) => member(a, v, opts)) ? 'yes' : 'no';
+    const ia = interval(a);
+    const ib = interval(b);
+    if (ia && ib)
+        return intervalsOverlap(ia, ib) ? 'yes' : 'no';
+    return witness(a, b, opts) !== undefined ? 'yes' : 'unknown';
+}
+/** Does every value satisfying `a` also satisfy `b`? */
+export function implies(a, b, opts = {}) {
+    if (sameConstraint(a, b))
+        return 'yes';
+    const fa = finiteValues(a, opts);
+    if (fa)
+        return fa.every((v) => member(b, v, opts)) ? 'yes' : 'no';
+    const ia = interval(a);
+    const ib = interval(b);
+    if (ia && ib)
+        return intervalWithin(ia, ib) ? 'yes' : 'no';
+    if (ia && finiteValues(b, opts))
+        return 'no'; // a non-degenerate interval is infinite
+    return 'unknown';
+}
+//# sourceMappingURL=solver.js.map

package/dist/lint/solver/solver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"solver.js","sourceRoot":"","sources":["../../../src/lint/solver/solver.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,eAAe,EAAgD,MAAM,eAAe,CAAC;AAC9F,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAS5C,MAAM,MAAM,GAAG,2CAA2C,CAAC;AAE3D,uEAAuE;AACvE,MAAM,UAAU,MAAM,CAAC,CAAgB,EAAE,CAAS,EAAE,OAAqB,EAAE;IACzE,MAAM,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,eAAe,IAAI,KAAK,EAAE,CAAC;IAC7D,IAAI,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1C,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,YAAY,CAAC,CAAgB,EAAE,OAAqB,EAAE;IACpE,IAAI,MAA4B,CAAC;IACjC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,MAAM,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;SAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;SAChD,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS;QAAE,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,OAAO,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;AACnD,CAAC;AASD,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,gBAAgB,CAAU,CAAC;AAExG,wDAAwD;AACxD,MAAM,UAAU,QAAQ,CAAC,CAAgB;IACvC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,GAAG,EAAE,MAAM,IAAI,CAAC,CAAC,iBAAiB,EAAE,MAAM;QAAE,OAAO,SAAS,CAAC;IAC1F,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACvE,MAAM,EAAE,GAAG,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,YAAY,CAAC;IAC5C,MAAM,EAAE,GAAG,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,YAAY,CAAC;IAC5C,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3D,OAAO;QACL,EAAE,EAAE,EAAE,IAAI,CAAC,QAAQ;QACnB,IAAI,EAAE,CAAC,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;QAClE,EAAE,EAAE,EAAE,IAAI,QAAQ;QAClB,IAAI,EAAE,CAAC,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;KACnE,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,CAAsB;IACnC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACtB,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACrE,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAW,EAAE,CAAW;IAChD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,EAAE,GAAG,EAAE;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,EAAE,GAAG,EAAE;QAAE,OAAO,KAAK,CAAC;IAC1B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;IAChE,OAAO,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC;AACxB,CAAC;AAED,SAAS,cAAc,CAAC,CAAW,EAAE,CAAW;IAC9C,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnE,OAAO,IAAI,IAAI,IAAI,CAAC;AACtB,CAAC;AAED,SAAS,UAAU,CAAC,CAAgB;IAClC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzH,OAAO,CAAC,GAAG,GAAG,EAAE,GAAG,QAAQ,CAAC,CAAC;AAC/B,CAAC;AAED,wEAAwE;AACxE,SAAS,OAAO,CAAC,CAAgB,EAAE,CAAgB,EAAE,IAAkB;IACrE,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC;YAAE,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;gBAAE,OAAO,CAAC,CAAC;IAC3F,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,CAAgB,EAAE,CAAgB;IACxD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,QAAQ,CAAC,CAAgB,EAAE,CAAgB,EAAE,OAAqB,EAAE;IAClF,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IACpF,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACjC,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACjC,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,IAAI,EAAE;QAAE,OAAO,gBAAgB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC/D,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,OAAO,CAAC,CAAgB,EAAE,CAAgB,EAAE,OAAqB,EAAE;IACjF,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,MAAM,EAAE,GAAG,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACjC,IAAI,EAAE;QAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,IAAI,EAAE;QAAE,OAAO,cAAc,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,IAAI,EAAE,IAAI,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,wCAAwC;IACtF,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/lint/suppress.d.ts

@@ -0,0 +1,12 @@
+import type { StudioDocument, Suppression } from '../document/types.js';
+import type { Uuid } from '../uuid.js';
+import type { Diagnostic, SuppressedDiagnostic } from './types.js';
+/** The node and its ancestors, most specific first. */
+export declare function ancestry(doc: StudioDocument, nodeId: Uuid): Uuid[];
+export declare function suppressionMatches(s: Suppression, code: string): boolean;
+/** Split diagnostics into active and suppressed ones. */
+export declare function applySuppressions(doc: StudioDocument, diagnostics: readonly Diagnostic[]): {
+    active: Diagnostic[];
+    suppressed: SuppressedDiagnostic[];
+};
+//# sourceMappingURL=suppress.d.ts.map

package/dist/lint/suppress.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"suppress.d.ts","sourceRoot":"","sources":["../../src/lint/suppress.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEnE,uDAAuD;AACvD,wBAAgB,QAAQ,CAAC,GAAG,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,GAAG,IAAI,EAAE,CAOlE;AAED,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAIxE;AAED,yDAAyD;AACzD,wBAAgB,iBAAiB,CAC/B,GAAG,EAAE,cAAc,EACnB,WAAW,EAAE,SAAS,UAAU,EAAE,GACjC;IAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAAC,UAAU,EAAE,oBAAoB,EAAE,CAAA;CAAE,CAkB9D"}

package/dist/lint/suppress.js

@@ -0,0 +1,56 @@
+/* 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/. */
+/**
+ * Suppressions (`StudioMeta.suppressions`, keyed by node id).
+ *
+ * A suppression attached to a node silences a rule on that node and on
+ * every node below it (constraint → facet → specification → document).
+ * `rule` is a full code (`IDSL-SPEC-008`) or an area wildcard
+ * (`IDSL-SPEC-*`). A suppression must carry a non-empty `reason`; one
+ * without a reason is ignored, so the finding stays visible.
+ */
+import { locateNode } from '../document/node-index.js';
+/** The node and its ancestors, most specific first. */
+export function ancestry(doc, nodeId) {
+    const loc = locateNode(doc, nodeId);
+    const chain = [nodeId];
+    if (loc && loc.kind === 'constraint')
+        chain.push(loc.facetId, loc.specId);
+    else if (loc && (loc.kind === 'applicabilityFacet' || loc.kind === 'requirement'))
+        chain.push(loc.specId);
+    if (nodeId !== doc.nodes.document)
+        chain.push(doc.nodes.document);
+    return chain;
+}
+export function suppressionMatches(s, code) {
+    if (s.reason.trim() === '')
+        return false;
+    if (s.rule === code)
+        return true;
+    return s.rule.endsWith('*') && code.startsWith(s.rule.slice(0, -1));
+}
+/** Split diagnostics into active and suppressed ones. */
+export function applySuppressions(doc, diagnostics) {
+    const all = doc.meta.suppressions;
+    const active = [];
+    const suppressed = [];
+    if (Object.keys(all).length === 0)
+        return { active: [...diagnostics], suppressed };
+    for (const d of diagnostics) {
+        let hit;
+        for (const nodeId of ancestry(doc, d.nodeId)) {
+            const s = (all[nodeId] ?? []).find((x) => suppressionMatches(x, d.code));
+            if (s) {
+                hit = { diagnostic: d, suppressedAt: nodeId, suppression: s };
+                break;
+            }
+        }
+        if (hit)
+            suppressed.push(hit);
+        else
+            active.push(d);
+    }
+    return { active, suppressed };
+}
+//# sourceMappingURL=suppress.js.map

package/dist/lint/suppress.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"suppress.js","sourceRoot":"","sources":["../../src/lint/suppress.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;GAQG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAKvD,uDAAuD;AACvD,MAAM,UAAU,QAAQ,CAAC,GAAmB,EAAE,MAAY;IACxD,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC;IACvB,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;SACrE,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,oBAAoB,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1G,IAAI,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,CAAc,EAAE,IAAY;IAC7D,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC;AAED,yDAAyD;AACzD,MAAM,UAAU,iBAAiB,CAC/B,GAAmB,EACnB,WAAkC;IAElC,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC;IAClC,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC;IACnF,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,GAAqC,CAAC;QAC1C,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACzE,IAAI,CAAC,EAAE,CAAC;gBACN,GAAG,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;gBAC9D,MAAM;YACR,CAAC;QACH,CAAC;QACD,IAAI,GAAG;YAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;YACzB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAChC,CAAC"}

package/dist/lint/types.d.ts

@@ -0,0 +1,162 @@
+/**
+ * Lint shapes (03-diagnostics-audit-lint.md §1, §4).
+ *
+ * Lint answers "does this IDS mean what the author intends?", where the
+ * audit answers "is this a valid IDS 1.0 file?". Every surface (UI, agent,
+ * CLI, MCP) consumes the same `Diagnostic[]`.
+ *
+ * A quick fix is DATA: a labelled batch of Studio ops. Nothing in lint
+ * mutates a document; a host checks the batch with `checkOps` (the
+ * grounding gate) and commits it like any other edit. Fixes are never
+ * applied automatically.
+ */
+import type { IfcAttributeInfo, IfcSchemaVersion } from '@ifc-lite/data';
+import type { IDSFacet, IDSRequirement, IDSSpecification, IFCVersion } from '@ifc-lite/ids';
+import type { FacetFieldName } from '../document/fields.js';
+import type { Section, SpecNodes, StudioDocument, Suppression } from '../document/types.js';
+import type { BsddUriIndex } from '../bsdd/uri-health.js';
+import type { GateContext } from '../gate/context.js';
+import type { StudioOp } from '../ops/types.js';
+import type { Uuid } from '../uuid.js';
+export type LintSeverity = 'error' | 'warning' | 'info';
+/** Rule areas of the catalogue (`IDSL-<AREA>-<nnn>`). */
+export type LintArea = 'ENT' | 'PDT' | 'ATT' | 'PSET' | 'PROP' | 'VAL' | 'UNIT' | 'REGEX' | 'CARD' | 'SPEC' | 'DOC' | 'VER' | 'PART' | 'BSDD';
+export interface QuickFix {
+    /** Short imperative label, e.g. `Remove the anchors`. */
+    label: string;
+    /** The op batch. Run it through `checkOps` before committing it. */
+    ops: StudioOp[];
+}
+export interface Diagnostic {
+    /** Stable rule code, e.g. `IDSL-REGEX-001`. */
+    code: string;
+    severity: LintSeverity;
+    /**
+     * The most specific node the finding is about: a constraint node when
+     * `field` is set, else a requirement / applicability facet, a
+     * specification or the document node.
+     */
+    nodeId: Uuid;
+    /** The specification the node belongs to (absent for document findings). */
+    specId?: Uuid;
+    field?: FacetFieldName;
+    message: string;
+    /** Long-form explanation (the rule's rationale). */
+    why?: string;
+    fixes?: QuickFix[];
+    /** Per-rule documentation page. */
+    docsUrl: string;
+}
+/** A diagnostic silenced by a `Suppression` in `meta.suppressions`. */
+export interface SuppressedDiagnostic {
+    diagnostic: Diagnostic;
+    /** Node the suppression is attached to (the node itself or an ancestor). */
+    suppressedAt: Uuid;
+    suppression: Suppression;
+}
+/** One facet of a specification, with its node ids. */
+export interface FacetView {
+    facet: IDSFacet;
+    facetId: Uuid;
+    section: Section;
+    /** Position within its section. */
+    index: number;
+    /** Present for requirements. */
+    requirement?: IDSRequirement;
+    constraintIds: Readonly<Partial<Record<FacetFieldName, Uuid>>>;
+}
+/** A specification as rules see it. */
+export interface SpecView {
+    spec: IDSSpecification;
+    nodes: SpecNodes;
+    specId: Uuid;
+    index: number;
+    /** Distinct IFC versions of the spec. */
+    versions: IFCVersion[];
+    applicability: FacetView[];
+    requirements: FacetView[];
+}
+/** What a finding carries before the engine stamps code, severity and docs. */
+export interface Finding {
+    nodeId: Uuid;
+    /**
+     * Demote this finding below the rule's default severity (e.g. a construct
+     * the reference tools accept in practice). Ignored when the caller
+     * overrides the rule's severity.
+     */
+    severity?: LintSeverity;
+    field?: FacetFieldName;
+    message: string;
+    fixes?: QuickFix[];
+}
+export interface LintContext {
+    /** Schema tables (shared with the grounding gate). */
+    readonly gate: GateContext;
+    /** Attribute metadata per IFC version, keyed by lower-case attribute name. */
+    readonly attributes: Readonly<Record<IfcSchemaVersion, ReadonlyMap<string, IfcAttributeInfo>>>;
+    /** Checked bSDD URIs (IDSL-BSDD-*). Without it the bSDD rules find nothing. */
+    readonly bsdd?: BsddUriIndex;
+}
+export interface RuleInput {
+    ctx: LintContext;
+    doc: StudioDocument;
+}
+export interface LintRuleMeta {
+    code: string;
+    area: LintArea;
+    defaultSeverity: LintSeverity;
+    /** `static` rules need no model; `model` rules are run by the model loop (P-05). */
+    kind: 'static' | 'model';
+    /**
+     * Off by default (noisy on real documents). The rule runs only when the
+     * linter config enables it: `LintOptions.rules` names it, or
+     * `LintOptions.severity` gives it a severity other than `'off'`.
+     */
+    optIn?: boolean;
+    /** One-line title for tables and the docs index. */
+    title: string;
+    /** Long-form rationale, shown as `Diagnostic.why` and on the docs page. */
+    rationale: string;
+    /** What the quick fix does, when the rule offers one. */
+    fix?: string;
+    /** RAID assumptions the rule depends on, with how they were verified. */
+    assumptions?: {
+        id: string;
+        verified: string;
+    }[];
+    /** Upstream references (IDS issues, documentation). */
+    references?: string[];
+    /** A minimal triggering example (IDS XML fragment) for the docs. */
+    example?: string;
+}
+/** Re-run when the specification (or the document's custom declarations) changes. */
+export interface SpecRule extends LintRuleMeta {
+    scope: 'spec';
+    check(spec: SpecView, input: RuleInput): Finding[];
+}
+/** Re-run on every lint pass; sees all specifications at once. */
+export interface DocumentRule extends LintRuleMeta {
+    scope: 'document';
+    check(specs: readonly SpecView[], input: RuleInput): Finding[];
+}
+export type LintRule = SpecRule | DocumentRule;
+export interface LintOptions {
+    /**
+     * Restrict to these rule codes (default: every registered rule that is
+     * not opt-in). Naming an opt-in rule here enables it.
+     */
+    rules?: readonly string[];
+    /** Per-code severity override; `'off'` disables the rule, any other value enables an opt-in rule. */
+    severity?: Readonly<Record<string, LintSeverity | 'off'>>;
+}
+export interface LintResult {
+    diagnostics: Diagnostic[];
+    suppressed: SuppressedDiagnostic[];
+    stats: {
+        /** Specifications whose spec-scoped rules ran in this pass. */
+        specsLinted: number;
+        /** Specifications whose cached findings were reused. */
+        specsReused: number;
+    };
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/lint/types.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACzE,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC5F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAC5F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvC,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAExD,yDAAyD;AACzD,MAAM,MAAM,QAAQ,GAChB,KAAK,GACL,KAAK,GACL,KAAK,GACL,MAAM,GACN,MAAM,GACN,KAAK,GACL,MAAM,GACN,OAAO,GACP,MAAM,GACN,MAAM,GACN,KAAK,GACL,KAAK,GACL,MAAM,GACN,MAAM,CAAC;AAEX,MAAM,WAAW,QAAQ;IACvB,yDAAyD;IACzD,KAAK,EAAE,MAAM,CAAC;IACd,oEAAoE;IACpE,GAAG,EAAE,QAAQ,EAAE,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,YAAY,CAAC;IACvB;;;;OAIG;IACH,MAAM,EAAE,IAAI,CAAC;IACb,4EAA4E;IAC5E,MAAM,CAAC,EAAE,IAAI,CAAC;IACd,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,oDAAoD;IACpD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;IACnB,mCAAmC;IACnC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,uEAAuE;AACvE,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,UAAU,CAAC;IACvB,4EAA4E;IAC5E,YAAY,EAAE,IAAI,CAAC;IACnB,WAAW,EAAE,WAAW,CAAC;CAC1B;AAED,uDAAuD;AACvD,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,QAAQ,CAAC;IAChB,OAAO,EAAE,IAAI,CAAC;IACd,OAAO,EAAE,OAAO,CAAC;IACjB,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,gCAAgC;IAChC,WAAW,CAAC,EAAE,cAAc,CAAC;IAC7B,aAAa,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;CAChE;AAED,uCAAuC;AACvC,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,gBAAgB,CAAC;IACvB,KAAK,EAAE,SAAS,CAAC;IACjB,MAAM,EAAE,IAAI,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,yCAAyC;IACzC,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,aAAa,EAAE,SAAS,EAAE,CAAC;IAC3B,YAAY,EAAE,SAAS,EAAE,CAAC;CAC3B;AAED,+EAA+E;AAC/E,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,IAAI,CAAC;IACb;;;;OAIG;IACH,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,KAAK,CAAC,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,WAAW;IAC1B,sDAAsD;IACtD,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,8EAA8E;IAC9E,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC/F,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,GAAG,EAAE,WAAW,CAAC;IACjB,GAAG,EAAE,cAAc,CAAC;CACrB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,QAAQ,CAAC;IACf,eAAe,EAAE,YAAY,CAAC;IAC9B,oFAAoF;IACpF,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IACzB;;;;OAIG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,oDAAoD;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,2EAA2E;IAC3E,SAAS,EAAE,MAAM,CAAC;IAClB,yDAAyD;IACzD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,WAAW,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjD,uDAAuD;IACvD,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,oEAAoE;IACpE,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,qFAAqF;AACrF,MAAM,WAAW,QAAS,SAAQ,YAAY;IAC5C,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,EAAE,CAAC;CACpD;AAED,kEAAkE;AAClE,MAAM,WAAW,YAAa,SAAQ,YAAY;IAChD,KAAK,EAAE,UAAU,CAAC;IAClB,KAAK,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,EAAE,CAAC;CAChE;AAED,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,YAAY,CAAC;AAE/C,MAAM,WAAW,WAAW;IAC1B;;;OAGG;IACH,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,qGAAqG;IACrG,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC;CAC3D;AAED,MAAM,WAAW,UAAU;IACzB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,UAAU,EAAE,oBAAoB,EAAE,CAAC;IACnC,KAAK,EAAE;QACL,+DAA+D;QAC/D,WAAW,EAAE,MAAM,CAAC;QACpB,wDAAwD;QACxD,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH"}

package/dist/lint/types.js

@@ -0,0 +1,5 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/lint/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/lint/types.ts"],"names":[],"mappings":"AAAA;;+DAE+D"}

package/dist/lint/walk.d.ts

@@ -0,0 +1,20 @@
+/** Read-only views of a Studio document for lint rules. */
+import type { IDSSpecification } from '@ifc-lite/ids';
+import type { FacetFieldName } from '../document/fields.js';
+import type { SpecNodes, StudioDocument } from '../document/types.js';
+import type { Uuid } from '../uuid.js';
+import type { FacetView, SpecView } from './types.js';
+export declare function specView(spec: IDSSpecification, nodes: SpecNodes, index: number): SpecView;
+export declare function specViews(doc: StudioDocument): SpecView[];
+/** Every facet of a spec, applicability first. */
+export declare function allFacets(spec: SpecView): FacetView[];
+/** The node a field-level finding should point at (constraint node, else the facet). */
+export declare function fieldNode(view: FacetView, field: FacetFieldName): Uuid;
+/** Field-level finding location. */
+export declare function at(view: FacetView, field: FacetFieldName): {
+    nodeId: Uuid;
+    field: FacetFieldName;
+};
+/** Human label for a facet's position, e.g. `requirement 2`. */
+export declare function where(view: FacetView): string;
+//# sourceMappingURL=walk.d.ts.map

package/dist/lint/walk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk.d.ts","sourceRoot":"","sources":["../../src/lint/walk.ts"],"names":[],"mappings":"AAIA,2DAA2D;AAE3D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAuB1F;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,cAAc,GAAG,QAAQ,EAAE,CAEzD;AAED,kDAAkD;AAClD,wBAAgB,SAAS,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,EAAE,CAErD;AAED,wFAAwF;AACxF,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,GAAG,IAAI,CAEtE;AAED,oCAAoC;AACpC,wBAAgB,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,cAAc,GAAG;IAAE,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE,CAElG;AAED,gEAAgE;AAChE,wBAAgB,KAAK,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAE7C"}

package/dist/lint/walk.js

@@ -0,0 +1,47 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+export function specView(spec, nodes, index) {
+    return {
+        spec,
+        nodes,
+        specId: nodes.id,
+        index,
+        versions: [...new Set(spec.ifcVersions)],
+        applicability: spec.applicability.facets.map((facet, i) => ({
+            facet,
+            facetId: nodes.applicability[i].id,
+            section: 'applicability',
+            index: i,
+            constraintIds: nodes.applicability[i].constraints,
+        })),
+        requirements: spec.requirements.map((requirement, i) => ({
+            facet: requirement.facet,
+            facetId: nodes.requirements[i].id,
+            section: 'requirements',
+            index: i,
+            requirement,
+            constraintIds: nodes.requirements[i].constraints,
+        })),
+    };
+}
+export function specViews(doc) {
+    return doc.ids.specifications.map((spec, i) => specView(spec, doc.nodes.specs[i], i));
+}
+/** Every facet of a spec, applicability first. */
+export function allFacets(spec) {
+    return [...spec.applicability, ...spec.requirements];
+}
+/** The node a field-level finding should point at (constraint node, else the facet). */
+export function fieldNode(view, field) {
+    return view.constraintIds[field] ?? view.facetId;
+}
+/** Field-level finding location. */
+export function at(view, field) {
+    return { nodeId: fieldNode(view, field), field };
+}
+/** Human label for a facet's position, e.g. `requirement 2`. */
+export function where(view) {
+    return view.section === 'applicability' ? `applicability facet ${view.index + 1}` : `requirement ${view.index + 1}`;
+}
+//# sourceMappingURL=walk.js.map

package/dist/lint/walk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk.js","sourceRoot":"","sources":["../../src/lint/walk.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAU/D,MAAM,UAAU,QAAQ,CAAC,IAAsB,EAAE,KAAgB,EAAE,KAAa;IAC9E,OAAO;QACL,IAAI;QACJ,KAAK;QACL,MAAM,EAAE,KAAK,CAAC,EAAE;QAChB,KAAK;QACL,QAAQ,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxC,aAAa,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAC1D,KAAK;YACL,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE;YAClC,OAAO,EAAE,eAAe;YACxB,KAAK,EAAE,CAAC;YACR,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,WAAW;SAClD,CAAC,CAAC;QACH,YAAY,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACvD,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE;YACjC,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,CAAC;YACR,WAAW;YACX,aAAa,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,WAAW;SACjD,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAmB;IAC3C,OAAO,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,SAAS,CAAC,IAAc;IACtC,OAAO,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC;AACvD,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,SAAS,CAAC,IAAe,EAAE,KAAqB;IAC9D,OAAO,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC;AACnD,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,EAAE,CAAC,IAAe,EAAE,KAAqB;IACvD,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,CAAC;AACnD,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,KAAK,CAAC,IAAe;IACnC,OAAO,IAAI,CAAC,OAAO,KAAK,eAAe,CAAC,CAAC,CAAC,uBAAuB,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;AACtH,CAAC"}

package/dist/match/cascade.d.ts

@@ -0,0 +1,53 @@
+/**
+ * The node matcher shared by re-identification and the semantic diff
+ * (02-document-model-and-ops.md §2 and §6: "shared with diff").
+ *
+ * Within one Studio lineage (two revisions of one document) nodes match by
+ * node id only. Otherwise specifications match by, in order: the same
+ * non-empty `identifier`;
+ * the same name and applicability signature; then the best similarity over
+ * name tokens and facet signatures above a threshold. Facets match within a
+ * section by: identical content; the same
+ * type and key (pset + property, entity name, …); then key similarity.
+ * Every step is one-to-one and greedy by score.
+ */
+import type { IDSFacet, IDSSpecification } from '@ifc-lite/ids';
+export type MatchStep = 'nodeId' | 'identifier' | 'signature' | 'similarity';
+export type FacetMatchStep = 'nodeId' | 'exact' | 'key' | 'similar';
+/** Default minimum similarity for the last cascade step (0..1). */
+export declare const DEFAULT_MATCH_THRESHOLD = 0.55;
+/** What a facet is "about": stable across value edits. */
+export declare function facetKey(f: IDSFacet): string;
+/** Canonical JSON-like rendering: sorted keys, `undefined` dropped. */
+export declare function canonical(value: unknown): string;
+/** Result of a cascade: next index → matched previous index and the step that matched it. */
+export interface Pairing<S extends string> {
+    pairs: Map<number, {
+        prev: number;
+        by: S;
+    }>;
+    usedPrev: Set<number>;
+}
+/**
+ * Greedy one-to-one matching over the cascade. `steps` are tried in order;
+ * each returns a score (> 0 means a candidate pair) for unmatched pairs.
+ * `seed` pre-assigns pairs (e.g. matched by node id elsewhere).
+ */
+export declare function cascade<A, B, S extends string>(prev: readonly A[], next: readonly B[], steps: [S, (a: A, b: B) => number][], seed?: Pairing<S>): Pairing<S>;
+export interface MatchOptions {
+    /** Minimum similarity for the last cascade step (0..1). */
+    threshold?: number;
+    /** Match identical `id`s first (both sides share one Studio lineage). */
+    byNodeId?: boolean;
+}
+/** Pair specifications of `next` with those of `prev`. */
+export declare function matchSpecs(prev: readonly IDSSpecification[], next: readonly IDSSpecification[], options?: MatchOptions): Pairing<MatchStep>;
+/**
+ * Pair facets of one section. `seed` carries pairs already decided
+ * elsewhere (by node id); the cascade only fills in the rest.
+ */
+export declare function matchFacetList(prev: readonly IDSFacet[], next: readonly IDSFacet[], options?: {
+    threshold?: number;
+    seed?: Pairing<FacetMatchStep>;
+}): Pairing<FacetMatchStep>;
+//# sourceMappingURL=cascade.d.ts.map

package/dist/match/cascade.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cascade.d.ts","sourceRoot":"","sources":["../../src/match/cascade.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAiB,QAAQ,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAG/E,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,YAAY,GAAG,WAAW,GAAG,YAAY,CAAC;AAC7E,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,OAAO,GAAG,KAAK,GAAG,SAAS,CAAC;AAEpE,mEAAmE;AACnE,eAAO,MAAM,uBAAuB,OAAO,CAAC;AAgB5C,0DAA0D;AAC1D,wBAAgB,QAAQ,CAAC,CAAC,EAAE,QAAQ,GAAG,MAAM,CAe5C;AAED,uEAAuE;AACvE,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAUhD;AAoBD,6FAA6F;AAC7F,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,MAAM;IACvC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IAC5C,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CACvB;AAED;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,MAAM,EAC5C,IAAI,EAAE,SAAS,CAAC,EAAE,EAClB,IAAI,EAAE,SAAS,CAAC,EAAE,EAClB,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,MAAM,CAAC,EAAE,EACpC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAChB,OAAO,CAAC,CAAC,CAAC,CAsBZ;AAED,MAAM,WAAW,YAAY;IAC3B,2DAA2D;IAC3D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,yEAAyE;IACzE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,0DAA0D;AAC1D,wBAAgB,UAAU,CACxB,IAAI,EAAE,SAAS,gBAAgB,EAAE,EACjC,IAAI,EAAE,SAAS,gBAAgB,EAAE,EACjC,OAAO,GAAE,YAAiB,GACzB,OAAO,CAAC,SAAS,CAAC,CAcpB;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,SAAS,QAAQ,EAAE,EACzB,IAAI,EAAE,SAAS,QAAQ,EAAE,EACzB,OAAO,GAAE;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,CAAA;CAAO,GACnE,OAAO,CAAC,cAAc,CAAC,CAgBzB"}