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

package/dist/gate/context.d.ts

@@ -0,0 +1,51 @@
+/**
+ * The gate's view of the per-version IFC schema tables in `@ifc-lite/data`.
+ *
+ * `@ifc-lite/data` exposes async lookups (so a future build can lazy-load
+ * the tables); the gate runs on every keystroke and inside agent tool calls,
+ * so `createGateContext()` loads the tables once and builds synchronous,
+ * case-folded indexes. `checkOps` is then synchronous.
+ */
+import { type IfcDataTypeInfo, type IfcEntityInfo, type IfcPropertySetInfo, type IfcSchemaVersion } from '@ifc-lite/data';
+import type { IFCVersion } from '@ifc-lite/ids';
+import type { BsddUriIndex } from '../bsdd/uri-health.js';
+import type { CustomPsetDecl } from '../document/types.js';
+export interface VersionTables {
+    readonly version: IfcSchemaVersion;
+    /** UPPERCASE name → entity. EXPRESS defined types (IfcLabel, …) are excluded. */
+    readonly entities: ReadonlyMap<string, IfcEntityInfo>;
+    /** PascalCase entity names, for candidate ranking. */
+    readonly entityNames: readonly string[];
+    /** Exact name → property set (`Pset_*`, `Qto_*`). */
+    readonly psets: ReadonlyMap<string, IfcPropertySetInfo>;
+    readonly psetNames: readonly string[];
+    /** Property name → names of the standard sets that define it. */
+    readonly psetsByProperty: ReadonlyMap<string, readonly string[]>;
+    /** UPPERCASE name → IFC data type. */
+    readonly dataTypes: ReadonlyMap<string, IfcDataTypeInfo>;
+    /** Every attribute name of the version (any entity). */
+    readonly attributeNames: ReadonlySet<string>;
+    /**
+     * Whether the tables enumerate quantity sets. The upstream data only has
+     * `Qto_*` rows for IFC4X3; for IFC2X3/IFC4 a `Qto_*` name cannot be
+     * verified and is accepted until P-01's IDS-009 schema rows exist (owner
+     * decision; see the TODO in `grounding-pset.ts`).
+     */
+    readonly hasQuantitySets: boolean;
+}
+export interface GateContext {
+    readonly tables: Readonly<Record<IfcSchemaVersion, VersionTables>>;
+    /** Custom psets declared outside the document (e.g. an organisation library). */
+    readonly custom: readonly CustomPsetDecl[];
+    /** Checked bSDD URIs (GATE-BSDD-001). Absent or unchecked: URIs are not judged here, lint reports them later. */
+    readonly bsdd?: BsddUriIndex;
+}
+/** Load the schema tables (once per process) and build a gate context. */
+export declare function createGateContext(options?: {
+    custom?: readonly CustomPsetDecl[];
+    bsdd?: BsddUriIndex;
+}): Promise<GateContext>;
+export declare function tablesFor(ctx: GateContext, version: IFCVersion): VersionTables;
+/** The inheritance chain of `name` (itself first), or [] when unknown. */
+export declare function inheritanceChain(tables: VersionTables, name: string): IfcEntityInfo[];
+//# sourceMappingURL=context.d.ts.map

package/dist/gate/context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/gate/context.ts"],"names":[],"mappings":"AAIA;;;;;;;GAOG;AAEH,OAAO,EAML,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,gBAAgB,EACtB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACtD,sDAAsD;IACtD,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,qDAAqD;IACrD,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACxD,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACjE,sCAAsC;IACtC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACzD,wDAAwD;IACxD,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7C;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;CACnC;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,gBAAgB,EAAE,aAAa,CAAC,CAAC,CAAC;IACnE,iFAAiF;IACjF,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAC3C,iHAAiH;IACjH,QAAQ,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC;CAC9B;AAkDD,0EAA0E;AAC1E,wBAAsB,iBAAiB,CAAC,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,YAAY,CAAA;CAAO,GAAG,OAAO,CAAC,WAAW,CAAC,CAEvI;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,GAAG,aAAa,CAE9E;AAED,0EAA0E;AAC1E,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,EAAE,CAUrF"}

package/dist/gate/context.js

@@ -0,0 +1,74 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * The gate's view of the per-version IFC schema tables in `@ifc-lite/data`.
+ *
+ * `@ifc-lite/data` exposes async lookups (so a future build can lazy-load
+ * the tables); the gate runs on every keystroke and inside agent tool calls,
+ * so `createGateContext()` loads the tables once and builds synchronous,
+ * case-folded indexes. `checkOps` is then synchronous.
+ */
+import { getAttributes, getDataTypes, getEntities, getPropertySets, IFC_DATA_TYPES, } from '@ifc-lite/data';
+const VERSIONS = ['IFC2X3', 'IFC4', 'IFC4X3', 'IFC4X3_ADD2'];
+const DEFINED_TYPE_NAMES = new Set(IFC_DATA_TYPES.map((t) => t.name.toUpperCase()));
+async function loadVersion(version) {
+    const [entityList, psetList, dataTypeList, attributeList] = await Promise.all([
+        getEntities(version),
+        getPropertySets(version),
+        getDataTypes(version),
+        getAttributes(version),
+    ]);
+    const entities = new Map();
+    for (const e of entityList) {
+        const upper = e.name.toUpperCase();
+        if (!DEFINED_TYPE_NAMES.has(upper))
+            entities.set(upper, e);
+    }
+    const psets = new Map();
+    const psetsByProperty = new Map();
+    for (const p of psetList) {
+        psets.set(p.name, p);
+        for (const prop of p.properties) {
+            const list = psetsByProperty.get(prop.name) ?? [];
+            list.push(p.name);
+            psetsByProperty.set(prop.name, list);
+        }
+    }
+    return {
+        version,
+        entities,
+        entityNames: [...entities.values()].map((e) => e.name),
+        psets,
+        psetNames: [...psets.keys()],
+        psetsByProperty,
+        dataTypes: new Map(dataTypeList.map((t) => [t.name.toUpperCase(), t])),
+        attributeNames: new Set(attributeList.map((a) => a.name)),
+        hasQuantitySets: psetList.some((p) => p.name.startsWith('Qto_')),
+    };
+}
+let shared;
+function loadAll() {
+    shared ??= Promise.all(VERSIONS.map(loadVersion)).then((list) => Object.fromEntries(list.map((t) => [t.version, t])));
+    return shared;
+}
+/** Load the schema tables (once per process) and build a gate context. */
+export async function createGateContext(options = {}) {
+    return { tables: await loadAll(), custom: options.custom ?? [], ...(options.bsdd ? { bsdd: options.bsdd } : {}) };
+}
+export function tablesFor(ctx, version) {
+    return ctx.tables[version];
+}
+/** The inheritance chain of `name` (itself first), or [] when unknown. */
+export function inheritanceChain(tables, name) {
+    const chain = [];
+    const seen = new Set();
+    let cursor = tables.entities.get(name.toUpperCase());
+    while (cursor && !seen.has(cursor.name)) {
+        chain.push(cursor);
+        seen.add(cursor.name);
+        cursor = cursor.parent ? tables.entities.get(cursor.parent.toUpperCase()) : undefined;
+    }
+    return chain;
+}
+//# sourceMappingURL=context.js.map

package/dist/gate/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/gate/context.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;GAOG;AAEH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,WAAW,EACX,eAAe,EACf,cAAc,GAKf,MAAM,gBAAgB,CAAC;AAqCxB,MAAM,QAAQ,GAAgC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,CAAC,CAAC;AAE1F,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;AAEpF,KAAK,UAAU,WAAW,CAAC,OAAyB;IAClD,MAAM,CAAC,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,aAAa,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC5E,WAAW,CAAC,OAAO,CAAC;QACpB,eAAe,CAAC,OAAO,CAAC;QACxB,YAAY,CAAC,OAAO,CAAC;QACrB,aAAa,CAAC,OAAO,CAAC;KACvB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACnC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA8B,CAAC;IACpD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAoB,CAAC;IACpD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAClB,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,OAAO;QACL,OAAO;QACP,QAAQ;QACR,WAAW,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACtD,KAAK;QACL,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAC5B,eAAe;QACf,SAAS,EAAE,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACtE,cAAc,EAAE,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzD,eAAe,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;KACjE,CAAC;AACJ,CAAC;AAED,IAAI,MAA8E,CAAC;AAEnF,SAAS,OAAO;IACd,MAAM,KAAK,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CACpD,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAA4C,CACzG,CAAC;IACF,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,0EAA0E;AAC1E,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,UAAuE,EAAE;IAC/G,OAAO,EAAE,MAAM,EAAE,MAAM,OAAO,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACpH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,GAAgB,EAAE,OAAmB;IAC7D,OAAO,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAAC,MAAqB,EAAE,IAAY;IAClE,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACrD,OAAO,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtB,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACxF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/gate/grounding-pset.d.ts

@@ -0,0 +1,5 @@
+import { type FieldScope, type GroundingProblem } from './grounding.js';
+export declare function isReservedPsetName(name: string): boolean;
+/** Property-facet grounding for one field. */
+export declare function groundPropertyFields(scope: FieldScope): GroundingProblem[];
+//# sourceMappingURL=grounding-pset.d.ts.map

package/dist/gate/grounding-pset.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"grounding-pset.d.ts","sourceRoot":"","sources":["../../src/gate/grounding-pset.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAuD,KAAK,UAAU,EAAE,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAG7H,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAExD;AA+ID,8CAA8C;AAC9C,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,UAAU,GAAG,gBAAgB,EAAE,CAe1E"}

package/dist/gate/grounding-pset.js

@@ -0,0 +1,179 @@
+/* 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/. */
+/**
+ * Property grounding (§5): standard set (GATE-PSET-001), property
+ * (GATE-PROP-001), enumeration value (GATE-ENUM-001), dataType
+ * (GATE-DT-001) and custom-set declarations (GATE-CUST-00x).
+ *
+ * A set name with a reserved prefix (`Pset_`, `Qto_`) must be a standard
+ * set of every IFC version of the spec. Any other literal set name is a
+ * CUSTOM set and must be declared (`meta.custom.declarePset`, or the
+ * context's library) so a typo of a standard name cannot slip through as
+ * "custom".
+ */
+import { RESERVED_PSET_PREFIXES } from '@ifc-lite/data';
+import { inheritanceChain } from './context.js';
+import { applicabilityEntities, literals, perVersion, single } from './grounding.js';
+import { rankCandidates } from './rank.js';
+export function isReservedPsetName(name) {
+    return RESERVED_PSET_PREFIXES.some((p) => name.startsWith(p));
+}
+function declaredCustom(scope, name) {
+    return scope.customPsets.find((d) => d.name === name) ?? scope.ctx.custom.find((d) => d.name === name);
+}
+/** Boost sets applicable to the applicability entities (or their supertypes). */
+function applicableBoost(t, entities) {
+    const ancestors = new Set(entities.flatMap((e) => inheritanceChain(t, e).map((x) => x.name.toUpperCase())));
+    return (name) => {
+        const pset = t.psets.get(name);
+        if (!pset || !ancestors.size)
+            return undefined;
+        const hit = pset.applicableEntities.find((a) => ancestors.has(a.toUpperCase()));
+        return hit ? { boost: 0.25, reason: `applicable to ${entities.join(', ')}` } : undefined;
+    };
+}
+function checkPropertySet(scope, facet) {
+    const names = literals(facet.propertySet);
+    const entities = applicabilityEntities(scope.spec);
+    const custom = names.filter((n) => !isReservedPsetName(n) && !declaredCustom(scope, n));
+    const out = [];
+    if (custom.length) {
+        // Version-independent: suggest the closest standard names of the first version.
+        const t = scope.ctx.tables[scope.versions[0]];
+        for (const n of custom) {
+            out.push({
+                code: 'GATE-CUST-001',
+                message: `"${n}" is not a standard property set and is not declared as custom; declare it with meta.custom.declarePset or use a standard set`,
+                value: n,
+                candidates: rankCandidates(n, t.psetNames, { boost: applicableBoost(t, entities) }),
+            });
+        }
+    }
+    const reserved = names.filter(isReservedPsetName);
+    // TODO(IDS-009, P-01): `Qto_*` names for IFC2X3 and IFC4 stay unverified
+    // (accepted) until P-01 adds their quantity-set schema rows. This is an
+    // owner decision for P-02: no tables here. When the rows land,
+    // `hasQuantitySets` becomes true for those versions, this branch starts
+    // refusing invented `Qto_` names, and the hallucination set should gain
+    // `Qto_` fakes for IFC2X3 and IFC4.
+    out.push(...perVersion(scope.versions, scope.ctx, (t) => reserved
+        .filter((n) => !t.psets.has(n) && !(n.startsWith('Qto_') && !t.hasQuantitySets))
+        .map((n) => ({
+        code: 'GATE-PSET-001',
+        message: `"${n}" uses a reserved prefix but is not a standard ${n.startsWith('Qto_') ? 'quantity' : 'property'} set`,
+        value: n,
+        candidates: rankCandidates(n, t.psetNames, { boost: applicableBoost(t, entities) }),
+    }))));
+    return out;
+}
+function standardProperty(t, facet) {
+    const psetName = single(facet.propertySet);
+    const pset = psetName ? t.psets.get(psetName) : undefined;
+    if (!pset)
+        return undefined;
+    const name = single(facet.baseName);
+    return { pset, name, prop: name ? pset.properties.find((p) => p.name === name) : undefined };
+}
+function checkBaseName(scope, facet) {
+    const names = literals(facet.baseName);
+    const psetName = single(facet.propertySet);
+    if (!names.length || !psetName)
+        return [];
+    const decl = declaredCustom(scope, psetName);
+    if (decl && !isReservedPsetName(psetName)) {
+        if (!decl.properties)
+            return [];
+        const allowed = decl.properties.map((p) => p.name);
+        return names
+            .filter((n) => !allowed.includes(n))
+            .map((n) => ({
+            code: 'GATE-CUST-003',
+            message: `"${n}" is not declared in custom property set ${psetName}`,
+            value: n,
+            candidates: rankCandidates(n, allowed, { minScore: 0 }),
+        }));
+    }
+    return perVersion(scope.versions, scope.ctx, (t) => {
+        const pset = t.psets.get(psetName);
+        if (!pset)
+            return []; // reported on propertySet (or an unverifiable Qto_)
+        const own = pset.properties.map((p) => p.name);
+        return names
+            .filter((n) => !own.includes(n))
+            .map((n) => {
+            const elsewhere = (t.psetsByProperty.get(n) ?? []).slice(0, 3).map((other) => ({ value: `${other}.${n}`, score: 1, reason: `${n} is defined in ${other}` }));
+            return {
+                code: 'GATE-PROP-001',
+                message: `"${n}" is not a property of ${psetName}`,
+                value: n,
+                candidates: [...rankCandidates(n, own), ...elsewhere],
+            };
+        });
+    });
+}
+function checkDataType(scope, facet) {
+    const dt = single(facet.dataType);
+    if (!dt)
+        return [];
+    const upper = dt.toUpperCase();
+    return perVersion(scope.versions, scope.ctx, (t) => {
+        if (!t.dataTypes.has(upper)) {
+            return [{ code: 'GATE-DT-001', message: `"${dt}" is not an IFC data type`, value: dt, candidates: rankCandidates(dt, [...t.dataTypes.keys()]) }];
+        }
+        const prop = standardProperty(t, facet)?.prop;
+        const expected = prop?.dataType ?? (prop?.kind === 'enumeration' ? 'IfcLabel' : undefined);
+        if (!prop || !expected || expected.toUpperCase() === upper)
+            return [];
+        return [
+            {
+                code: 'GATE-DT-001',
+                message: `${single(facet.propertySet)}.${prop.name} is typed ${expected.toUpperCase()} in the standard, not ${upper}`,
+                value: dt,
+                candidates: [{ value: expected.toUpperCase(), score: 1, reason: 'standard data type' }],
+            },
+        ];
+    });
+}
+function checkEnumValue(scope, facet) {
+    const values = literals(facet.value);
+    if (!values.length)
+        return [];
+    return perVersion(scope.versions, scope.ctx, (t) => {
+        const prop = standardProperty(t, facet)?.prop;
+        const allowed = prop?.kind === 'enumeration' ? prop.enumeration : undefined;
+        if (!prop || !allowed?.length)
+            return [];
+        return values
+            .filter((v) => !allowed.includes(v))
+            .map((v) => {
+            const folded = allowed.find((a) => a.toLowerCase() === v.toLowerCase());
+            const ranked = rankCandidates(v, allowed, { minScore: 0 });
+            return {
+                code: 'GATE-ENUM-001',
+                message: `"${v}" is not a value of ${single(facet.propertySet)}.${prop.name}`,
+                value: v,
+                candidates: folded ? [{ value: folded, score: 1, reason: 'same value, different case' }, ...ranked.filter((c) => c.value !== folded)] : ranked,
+            };
+        });
+    });
+}
+/** Property-facet grounding for one field. */
+export function groundPropertyFields(scope) {
+    const f = scope.facet;
+    if (f.type !== 'property')
+        return [];
+    switch (scope.field) {
+        case 'property.propertySet':
+            return checkPropertySet(scope, f);
+        case 'property.baseName':
+            return checkBaseName(scope, f);
+        case 'property.dataType':
+            return checkDataType(scope, f);
+        case 'property.value':
+            return checkEnumValue(scope, f);
+        default:
+            return [];
+    }
+}
+//# sourceMappingURL=grounding-pset.js.map

package/dist/gate/grounding-pset.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"grounding-pset.js","sourceRoot":"","sources":["../../src/gate/grounding-pset.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,sBAAsB,EAAiD,MAAM,gBAAgB,CAAC;AAGvG,OAAO,EAAE,gBAAgB,EAAsB,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAA0C,MAAM,gBAAgB,CAAC;AAC7H,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE3C,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CAAC,KAAiB,EAAE,IAAY;IACrD,OAAO,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACzG,CAAC;AAED,iFAAiF;AACjF,SAAS,eAAe,CAAC,CAAgB,EAAE,QAAkB;IAC3D,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5G,OAAO,CAAC,IAAY,EAAE,EAAE;QACtB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAChF,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3F,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAiB,EAAE,KAAuB;IAClE,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,gFAAgF;QAChF,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,IAAI,CAAC,+HAA+H;gBAC7I,KAAK,EAAE,CAAC;gBACR,UAAU,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;aACpF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IAClD,yEAAyE;IACzE,wEAAwE;IACxE,+DAA+D;IAC/D,wEAAwE;IACxE,wEAAwE;IACxE,oCAAoC;IACpC,GAAG,CAAC,IAAI,CACN,GAAG,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAC7C,QAAQ;SACL,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;SAC/E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,eAAwB;QAC9B,OAAO,EAAE,IAAI,CAAC,kDAAkD,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,MAAM;QACpH,KAAK,EAAE,CAAC;QACR,UAAU,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;KACpF,CAAC,CAAC,CACN,CACF,CAAC;IACF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAgB,EAAE,KAAuB;IACjE,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AAC/F,CAAC;AAED,SAAS,aAAa,CAAC,KAAiB,EAAE,KAAuB;IAC/D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,IAAI,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnD,OAAO,KAAK;aACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,eAAwB;YAC9B,OAAO,EAAE,IAAI,CAAC,4CAA4C,QAAQ,EAAE;YACpE,KAAK,EAAE,CAAC;YACR,UAAU,EAAE,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;SACxD,CAAC,CAAC,CAAC;IACR,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;QACjD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,CAAC,CAAC,oDAAoD;QAC1E,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/C,OAAO,KAAK;aACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,MAAM,SAAS,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,KAAK,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,kBAAkB,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;YAC7J,OAAO;gBACL,IAAI,EAAE,eAAwB;gBAC9B,OAAO,EAAE,IAAI,CAAC,0BAA0B,QAAQ,EAAE;gBAClD,KAAK,EAAE,CAAC;gBACR,UAAU,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,SAAS,CAAC;aACtD,CAAC;QACJ,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CAAC,KAAiB,EAAE,KAAuB;IAC/D,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAClC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,CAAC;IACnB,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;IAC/B,OAAO,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;QACjD,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,EAAE,IAAI,EAAE,aAAsB,EAAE,OAAO,EAAE,IAAI,EAAE,2BAA2B,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,cAAc,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5J,CAAC;QACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,EAAE,QAAQ,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC3F,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,WAAW,EAAE,KAAK,KAAK;YAAE,OAAO,EAAE,CAAC;QACtE,OAAO;YACL;gBACE,IAAI,EAAE,aAAsB;gBAC5B,OAAO,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,IAAI,aAAa,QAAQ,CAAC,WAAW,EAAE,yBAAyB,KAAK,EAAE;gBACrH,KAAK,EAAE,EAAE;gBACT,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;aACxF;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAAiB,EAAE,KAAuB;IAChE,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC9B,OAAO,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;QACjD,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAI,EAAE,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5E,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM;YAAE,OAAO,EAAE,CAAC;QACzC,OAAO,MAAM;aACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YACxE,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3D,OAAO;gBACL,IAAI,EAAE,eAAwB;gBAC9B,OAAO,EAAE,IAAI,CAAC,uBAAuB,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE;gBAC7E,KAAK,EAAE,CAAC;gBACR,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,4BAA4B,EAAE,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;aAC/I,CAAC;QACJ,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACL,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,oBAAoB,CAAC,KAAiB;IACpD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,CAAC;IACrC,QAAQ,KAAK,CAAC,KAAK,EAAE,CAAC;QACpB,KAAK,sBAAsB;YACzB,OAAO,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACpC,KAAK,mBAAmB;YACtB,OAAO,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACjC,KAAK,mBAAmB;YACtB,OAAO,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACjC,KAAK,gBAAgB;YACnB,OAAO,cAAc,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAClC;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/gate/grounding.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Grounding of LITERAL names against the per-version schema tables (§5):
+ * entity (GATE-ENT-001), predefined type (GATE-PDT-001) and attribute
+ * (GATE-ATT-001, including inherited attributes). Property-set grounding is
+ * in `./grounding-pset.ts`.
+ *
+ * Only literals are grounded: a `simpleValue`, or each value of an
+ * `enumeration`. Patterns and bounds on names are legal IDS and are left to
+ * lint (ADR-003).
+ */
+import { type IDSConstraint, type IDSFacet, type IDSSpecification, type IFCVersion } from '@ifc-lite/ids';
+import type { FacetFieldName } from '../document/fields.js';
+import type { CustomPsetDecl, UserDefinedTypeDecl } from '../document/types.js';
+import { type GateContext, type VersionTables } from './context.js';
+import type { GateCandidate, GateCode } from './types.js';
+export interface GroundingProblem {
+    code: GateCode;
+    message: string;
+    candidates: GateCandidate[];
+    value?: string;
+    versions?: IFCVersion[];
+}
+/** What a field check may look at besides the facet itself. */
+export interface FieldScope {
+    ctx: GateContext;
+    spec: IDSSpecification;
+    versions: IFCVersion[];
+    facet: IDSFacet;
+    field: FacetFieldName;
+    customPsets: readonly CustomPsetDecl[];
+    userDefinedTypes: readonly UserDefinedTypeDecl[];
+}
+/** The literal values of a constraint (simpleValue, or each enumeration value). */
+export declare function literals(c: IDSConstraint | undefined): string[];
+/** The single literal of a constraint, if it is a non-empty simpleValue. */
+export declare function single(c: IDSConstraint | undefined): string | undefined;
+/** Distinct, known IFC versions of a spec. */
+export declare function specVersions(spec: IDSSpecification): IFCVersion[];
+/** Literal entity names in the spec's applicability. */
+export declare function applicabilityEntities(spec: IDSSpecification): string[];
+/**
+ * Run `probe` per version and merge failures that are identical across
+ * versions (same code and value) into one problem listing the versions.
+ */
+export declare function perVersion(versions: IFCVersion[], ctx: GateContext, probe: (tables: VersionTables, version: IFCVersion) => GroundingProblem[]): GroundingProblem[];
+/** Entity, predefined-type and attribute grounding for one field. */
+export declare function groundEntityFields(scope: FieldScope): GroundingProblem[];
+//# sourceMappingURL=grounding.d.ts.map

package/dist/gate/grounding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"grounding.d.ts","sourceRoot":"","sources":["../../src/gate/grounding.ts"],"names":[],"mappings":"AAIA;;;;;;;;;GASG;AAEH,OAAO,EAA6B,KAAK,aAAa,EAAE,KAAK,QAAQ,EAAE,KAAK,gBAAgB,EAAE,KAAK,UAAU,EAAE,MAAM,eAAe,CAAC;AACrI,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAChF,OAAO,EAA+B,KAAK,WAAW,EAAE,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC;AAEjG,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE1D,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,aAAa,EAAE,CAAC;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC;CACzB;AAED,+DAA+D;AAC/D,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,WAAW,CAAC;IACjB,IAAI,EAAE,gBAAgB,CAAC;IACvB,QAAQ,EAAE,UAAU,EAAE,CAAC;IACvB,KAAK,EAAE,QAAQ,CAAC;IAChB,KAAK,EAAE,cAAc,CAAC;IACtB,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;IACvC,gBAAgB,EAAE,SAAS,mBAAmB,EAAE,CAAC;CAClD;AAED,mFAAmF;AACnF,wBAAgB,QAAQ,CAAC,CAAC,EAAE,aAAa,GAAG,SAAS,GAAG,MAAM,EAAE,CAK/D;AAED,4EAA4E;AAC5E,wBAAgB,MAAM,CAAC,CAAC,EAAE,aAAa,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAEvE;AAED,8CAA8C;AAC9C,wBAAgB,YAAY,CAAC,IAAI,EAAE,gBAAgB,GAAG,UAAU,EAAE,CAEjE;AAED,wDAAwD;AACxD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,EAAE,CAEtE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CACxB,QAAQ,EAAE,UAAU,EAAE,EACtB,GAAG,EAAE,WAAW,EAChB,KAAK,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,KAAK,gBAAgB,EAAE,GACxE,gBAAgB,EAAE,CAWpB;AA+ED,qEAAqE;AACrE,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,UAAU,GAAG,gBAAgB,EAAE,CAgBxE"}

package/dist/gate/grounding.js

@@ -0,0 +1,146 @@
+/* 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/. */
+/**
+ * Grounding of LITERAL names against the per-version schema tables (§5):
+ * entity (GATE-ENT-001), predefined type (GATE-PDT-001) and attribute
+ * (GATE-ATT-001, including inherited attributes). Property-set grounding is
+ * in `./grounding-pset.ts`.
+ *
+ * Only literals are grounded: a `simpleValue`, or each value of an
+ * `enumeration`. Patterns and bounds on names are legal IDS and are left to
+ * lint (ADR-003).
+ */
+import { ifc2x3TypeMappingForAlias } from '@ifc-lite/ids';
+import { inheritanceChain, tablesFor } from './context.js';
+import { rankCandidates } from './rank.js';
+/** The literal values of a constraint (simpleValue, or each enumeration value). */
+export function literals(c) {
+    if (!c)
+        return [];
+    if (c.type === 'simpleValue')
+        return c.value === '' ? [] : [c.value];
+    if (c.type === 'enumeration')
+        return c.values.filter((v) => v !== '');
+    return [];
+}
+/** The single literal of a constraint, if it is a non-empty simpleValue. */
+export function single(c) {
+    return c?.type === 'simpleValue' && c.value !== '' ? c.value : undefined;
+}
+/** Distinct, known IFC versions of a spec. */
+export function specVersions(spec) {
+    return [...new Set(spec.ifcVersions)];
+}
+/** Literal entity names in the spec's applicability. */
+export function applicabilityEntities(spec) {
+    return spec.applicability.facets.flatMap((f) => (f.type === 'entity' ? literals(f.name) : []));
+}
+/**
+ * Run `probe` per version and merge failures that are identical across
+ * versions (same code and value) into one problem listing the versions.
+ */
+export function perVersion(versions, ctx, probe) {
+    const merged = new Map();
+    for (const version of versions) {
+        for (const p of probe(tablesFor(ctx, version), version)) {
+            const key = `${p.code}|${p.value ?? ''}`;
+            const seen = merged.get(key);
+            if (seen)
+                seen.versions = [...(seen.versions ?? []), version];
+            else
+                merged.set(key, { ...p, versions: [version] });
+        }
+    }
+    return [...merged.values()].map((p) => ({ ...p, message: `${p.message} (${(p.versions ?? []).join(', ')})` }));
+}
+/**
+ * IFC2X3 has no IfcAirTerminal & co.: the IDS occurrence/type mapping table
+ * lets a facet name the IFC4 class, matched through its IFC2X3 type object
+ * (IfcFlowTerminal + IfcAirTerminalType). Returns that type object's name.
+ */
+function ifc2x3MappedType(version, name) {
+    return version === 'IFC2X3' ? ifc2x3TypeMappingForAlias(name.toUpperCase())?.typeEntity : undefined;
+}
+function checkEntityName(scope, c) {
+    const names = literals(c);
+    if (!names.length)
+        return [];
+    return perVersion(scope.versions, scope.ctx, (t, version) => names
+        .filter((n) => !t.entities.has(n.toUpperCase()) && !ifc2x3MappedType(version, n))
+        .map((n) => ({
+        code: 'GATE-ENT-001',
+        message: `"${n}" is not an IFC entity`,
+        value: n,
+        candidates: rankCandidates(n, t.entityNames),
+    })));
+}
+function checkPredefinedType(scope, entity, c) {
+    const entityName = single(entity);
+    const values = literals(c);
+    if (!entityName || !values.length)
+        return [];
+    return perVersion(scope.versions, scope.ctx, (t, version) => {
+        // A mapped IFC2X3 alias takes the predefined types of its type object.
+        const info = t.entities.get(ifc2x3MappedType(version, entityName) ?? entityName.toUpperCase());
+        // Unknown entity is reported on the name; an entity without a
+        // PredefinedType enumeration in the tables cannot be checked.
+        if (!info || info.predefinedTypes.length === 0)
+            return [];
+        const allowed = new Set(info.predefinedTypes.map((p) => p.toUpperCase()));
+        const userDefinable = allowed.has('USERDEFINED');
+        const declared = (v) => scope.userDefinedTypes.some((d) => (d.entity.toUpperCase() === info.name.toUpperCase() || d.entity.toUpperCase() === entityName.toUpperCase()) &&
+            d.value.toUpperCase() === v.toUpperCase());
+        return values
+            .filter((v) => !allowed.has(v.toUpperCase()) && !(userDefinable && declared(v)))
+            .map((v) => ({
+            code: 'GATE-PDT-001',
+            message: userDefinable
+                ? `"${v}" is not a predefined type of ${info.name}; if it is a user-defined type (ObjectType), declare it with meta.custom.declareUserDefinedType`
+                : `"${v}" is not a predefined type of ${info.name}`,
+            value: v,
+            candidates: rankCandidates(v, info.predefinedTypes, { minScore: 0 }),
+        }));
+    });
+}
+function checkAttributeName(scope, c) {
+    const names = literals(c);
+    if (!names.length)
+        return [];
+    const entities = applicabilityEntities(scope.spec);
+    return perVersion(scope.versions, scope.ctx, (t) => {
+        // Against the applicability entity (inherited attributes included) when
+        // it is a single known literal, else against every attribute of the version.
+        const chain = entities.length === 1 ? inheritanceChain(t, entities[0]) : [];
+        const pool = chain.length ? new Set(chain.flatMap((e) => e.attributes)) : t.attributeNames;
+        const folded = new Set([...pool].map((a) => a.toLowerCase()));
+        const where = chain.length ? `on ${chain[0].name}` : 'on any IFC entity';
+        return names
+            .filter((n) => !folded.has(n.toLowerCase()))
+            .map((n) => ({
+            code: 'GATE-ATT-001',
+            message: `attribute "${n}" does not exist ${where}`,
+            value: n,
+            candidates: rankCandidates(n, pool),
+        }));
+    });
+}
+/** Entity, predefined-type and attribute grounding for one field. */
+export function groundEntityFields(scope) {
+    const f = scope.facet;
+    switch (scope.field) {
+        case 'entity.name':
+            return f.type === 'entity' ? checkEntityName(scope, f.name) : [];
+        case 'entity.predefinedType':
+            return f.type === 'entity' ? checkPredefinedType(scope, f.name, f.predefinedType) : [];
+        case 'partOf.entity.name':
+            return f.type === 'partOf' ? checkEntityName(scope, f.entity?.name) : [];
+        case 'partOf.entity.predefinedType':
+            return f.type === 'partOf' ? checkPredefinedType(scope, f.entity?.name, f.entity?.predefinedType) : [];
+        case 'attribute.name':
+            return f.type === 'attribute' ? checkAttributeName(scope, f.name) : [];
+        default:
+            return [];
+    }
+}
+//# sourceMappingURL=grounding.js.map

package/dist/gate/grounding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"grounding.js","sourceRoot":"","sources":["../../src/gate/grounding.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;GASG;AAEH,OAAO,EAAE,yBAAyB,EAA6E,MAAM,eAAe,CAAC;AAGrI,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAwC,MAAM,cAAc,CAAC;AACjG,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAsB3C,mFAAmF;AACnF,MAAM,UAAU,QAAQ,CAAC,CAA4B;IACnD,IAAI,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAClB,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACrE,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACtE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,MAAM,CAAC,CAA4B;IACjD,OAAO,CAAC,EAAE,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3E,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,YAAY,CAAC,IAAsB;IACjD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,qBAAqB,CAAC,IAAsB;IAC1D,OAAO,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjG,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,QAAsB,EACtB,GAAgB,EAChB,KAAyE;IAEzE,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IACnD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7B,IAAI,IAAI;gBAAE,IAAI,CAAC,QAAQ,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;;gBACzD,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AACjH,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,OAAmB,EAAE,IAAY;IACzD,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;AACtG,CAAC;AAED,SAAS,eAAe,CAAC,KAAiB,EAAE,CAA4B;IACtE,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC7B,OAAO,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAC1D,KAAK;SACF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;SAChF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAI,EAAE,cAAuB;QAC7B,OAAO,EAAE,IAAI,CAAC,wBAAwB;QACtC,KAAK,EAAE,CAAC;QACR,UAAU,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC;KAC7C,CAAC,CAAC,CACN,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAiB,EAAE,MAAiC,EAAE,CAA4B;IAC7G,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC3B,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC7C,OAAO,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE;QAC1D,uEAAuE;QACvE,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,IAAI,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/F,8DAA8D;QAC9D,8DAA8D;QAC9D,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QAC1D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC1E,MAAM,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,CAC7B,KAAK,CAAC,gBAAgB,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,WAAW,EAAE,CAAC;YAC3G,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,WAAW,EAAE,CAC5C,CAAC;QACJ,OAAO,MAAM;aACV,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC,aAAa,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;aAC/E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,cAAuB;YAC7B,OAAO,EAAE,aAAa;gBACpB,CAAC,CAAC,IAAI,CAAC,iCAAiC,IAAI,CAAC,IAAI,iGAAiG;gBAClJ,CAAC,CAAC,IAAI,CAAC,iCAAiC,IAAI,CAAC,IAAI,EAAE;YACrD,KAAK,EAAE,CAAC;YACR,UAAU,EAAE,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;SACrE,CAAC,CAAC,CAAC;IACR,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAiB,EAAE,CAA4B;IACzE,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,KAAK,CAAC,MAAM;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACnD,OAAO,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;QACjD,wEAAwE;QACxE,6EAA6E;QAC7E,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC;QAC3F,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC;QACzE,OAAO,KAAK;aACT,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;aAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,cAAuB;YAC7B,OAAO,EAAE,cAAc,CAAC,oBAAoB,KAAK,EAAE;YACnD,KAAK,EAAE,CAAC;YACR,UAAU,EAAE,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC;SACpC,CAAC,CAAC,CAAC;IACR,CAAC,CAAC,CAAC;AACL,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,kBAAkB,CAAC,KAAiB;IAClD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IACtB,QAAQ,KAAK,CAAC,KAAK,EAAE,CAAC;QACpB,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnE,KAAK,uBAAuB;YAC1B,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,KAAK,oBAAoB;YACvB,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,KAAK,8BAA8B;YACjC,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzG,KAAK,gBAAgB;YACnB,OAAO,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC"}

package/dist/gate/rank.d.ts

@@ -0,0 +1,28 @@
+/**
+ * "Did you mean" ranking: Damerau-Levenshtein (optimal string alignment)
+ * similarity blended with token overlap, plus an optional caller boost
+ * (e.g. property sets applicable to the spec's applicability entities).
+ *
+ * score = 0.6 · (1 − osa / maxLen) + 0.4 · jaccard(tokens) + boost
+ *
+ * Comparison is case-insensitive. Tokens split on case changes, digits and
+ * separators, so `FireRatng` ↔ `FireRating` and `WallCommon` ↔
+ * `Pset_WallCommon` both rank high.
+ */
+import type { GateCandidate } from './types.js';
+/** Optimal-string-alignment distance (Damerau-Levenshtein with adjacent transpositions). */
+export declare function osaDistance(a: string, b: string): number;
+export declare function tokens(s: string): Set<string>;
+export declare function similarity(query: string, candidate: string): number;
+export interface RankOptions {
+    limit?: number;
+    /** Candidates below this blended score (before boost) are dropped. */
+    minScore?: number;
+    boost?: (candidate: string) => {
+        boost: number;
+        reason?: string;
+    } | undefined;
+}
+/** The best-matching `pool` entries for `query`, best first. */
+export declare function rankCandidates(query: string, pool: Iterable<string>, options?: RankOptions): GateCandidate[];
+//# sourceMappingURL=rank.d.ts.map

package/dist/gate/rank.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rank.d.ts","sourceRoot":"","sources":["../../src/gate/rank.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,4FAA4F;AAC5F,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAkBxD;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAQ7C;AASD,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,CAMnE;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;CAC/E;AAED,gEAAgE;AAChE,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,GAAE,WAAgB,GAAG,aAAa,EAAE,CAYhH"}