@ifc-lite/ids 1.14.11 → 1.15.1

package/dist/bridge/properties.js

@@ -0,0 +1,168 @@
+/* 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 { extractPropertiesOnDemand, extractQuantitiesOnDemand, extractTypePropertiesOnDemand, extractTypeEntityOwnProperties, extractAllEntityAttributes, } from '@ifc-lite/parser';
+import { RelationshipType } from '@ifc-lite/data';
+import { idsDataTypeForProperty, idsDataTypeForQuantity } from './data-types.js';
+import { applyUnitConversion } from './units.js';
+/**
+ * IDS treats `IfcElementQuantity` (Qto_*) and `IfcPropertySet` (Pset_*)
+ * uniformly — both surface as "property sets" with named values. The
+ * parser stores them in separate columnar tables, so we merge here.
+ *
+ * Surfaces three sources:
+ *   1. The instance's own property sets (IfcPropertySet via
+ *      IfcRelDefinesByProperties).
+ *   2. Predefined property sets (IfcDoorPanelProperties etc.) where
+ *      the entity's schema-defined attributes act as property names.
+ *   3. Inherited property sets from `IfcRelDefinesByType`.
+ *
+ * Length-typed properties are converted to base SI units per the
+ * project's `lengthUnitScale` so IDS literals (always in metres)
+ * compare correctly.
+ */
+export function collectAllPropertySets(store, expressId) {
+    const out = [];
+    const scale = store.lengthUnitScale;
+    appendInstancePropertySets(store, expressId, scale, out);
+    appendQuantitySets(store, expressId, out);
+    appendPredefinedPropertySets(store, expressId, out);
+    appendInheritedPropertySets(store, expressId, scale, out);
+    if (out.length === 0) {
+        appendTypeEntityOwnProperties(store, expressId, out);
+    }
+    return out;
+}
+function appendInstancePropertySets(store, expressId, scale, out) {
+    let props = store.properties?.getForEntity?.(expressId);
+    if (!props || props.length === 0) {
+        props = extractPropertiesOnDemand(store, expressId);
+    }
+    if (!props || props.length === 0)
+        return;
+    for (const pset of props) {
+        out.push({
+            name: pset.name,
+            properties: (pset.properties || []).map((p) => projectProperty(p, scale)),
+        });
+    }
+}
+function appendQuantitySets(store, expressId, out) {
+    let quantities = store.quantities?.getForEntity?.(expressId);
+    if (!quantities || quantities.length === 0) {
+        quantities = extractQuantitiesOnDemand(store, expressId);
+    }
+    if (!quantities || quantities.length === 0)
+        return;
+    for (const qset of quantities) {
+        out.push({
+            name: qset.name,
+            properties: (qset.quantities || []).map((q) => ({
+                name: q.name,
+                value: q.value,
+                dataType: idsDataTypeForQuantity(q.type),
+            })),
+        });
+    }
+}
+/**
+ * Predefined property-set entities (`IfcDoorPanelProperties`, …) are
+ * connected to elements via `IfcRelDefinesByProperties` like a normal
+ * pset, but their properties live as schema-defined ATTRIBUTES on the
+ * entity itself. Surface them as a pset whose name is the entity's
+ * `Name` and whose properties are the schema-defined attribute slots
+ * beyond Name/Description.
+ */
+function appendPredefinedPropertySets(store, expressId, out) {
+    const psetIds = store.relationships?.getRelated?.(expressId, RelationshipType.DefinesByProperties, 'inverse') || [];
+    for (const psetId of psetIds) {
+        const ref = store.entityIndex?.byId?.get?.(psetId);
+        if (!ref)
+            continue;
+        const tu = String(ref.type).toUpperCase();
+        if (tu === 'IFCPROPERTYSET' || tu === 'IFCELEMENTQUANTITY')
+            continue;
+        if (!tu.endsWith('PROPERTIES'))
+            continue;
+        const allAttrs = extractAllEntityAttributes(store, psetId);
+        const psetNameAttr = allAttrs.find((a) => a.name === 'Name')?.value;
+        if (typeof psetNameAttr !== 'string' || !psetNameAttr)
+            continue;
+        if (out.some((p) => p.name === psetNameAttr))
+            continue;
+        const properties = allAttrs
+            .filter((a) => a.name !== 'GlobalId' &&
+            a.name !== 'Name' &&
+            a.name !== 'Description' &&
+            a.value !== undefined &&
+            a.value !== '')
+            .map((a) => ({
+            name: a.name,
+            value: a.value,
+            // dataType intentionally left empty: without a per-attribute
+            // schema lookup we can't know if PanelOperation is IFCDOORPANELOPERATIONENUM
+            // vs anything else. The IDS dataType gate then no-ops for these slots.
+            dataType: '',
+        }));
+        if (properties.length > 0)
+            out.push({ name: psetNameAttr, properties });
+    }
+}
+function appendInheritedPropertySets(store, expressId, scale, out) {
+    const inherited = extractTypePropertiesOnDemand(store, expressId);
+    if (!inherited || !inherited.properties || inherited.properties.length === 0)
+        return;
+    const seen = new Set(out.map((p) => p.name));
+    for (const pset of inherited.properties) {
+        if (seen.has(pset.name))
+            continue;
+        out.push({
+            name: pset.name,
+            properties: (pset.properties || []).map((p) => projectProperty(p, scale)),
+        });
+    }
+}
+function appendTypeEntityOwnProperties(store, expressId, out) {
+    const typePsets = extractTypeEntityOwnProperties(store, expressId);
+    if (typePsets.length === 0)
+        return;
+    for (const pset of typePsets) {
+        out.push({
+            name: pset.name,
+            properties: (pset.properties || []).map((p) => ({
+                name: p.name,
+                value: Array.isArray(p.value)
+                    ? JSON.stringify(p.value)
+                    : p.value,
+                dataType: idsDataTypeForProperty(p.type),
+                ...(Array.isArray(p.values) && p.values.length > 0
+                    ? { values: p.values }
+                    : {}),
+            })),
+        });
+    }
+}
+/**
+ * Project a raw parser property record into the validator's
+ * `PropertySetInfo['properties'][number]` shape — applies unit
+ * conversion and resolves the IDS dataType. Multi-valued properties
+ * (lists, enumerations, table values) suppress dataType so the
+ * validator's dataType gate falls through to the value match.
+ */
+function projectProperty(p, scale) {
+    const hasMultiValue = Array.isArray(p.values) && p.values.length > 0;
+    const dataType = p.dataType ??
+        (hasMultiValue ? undefined : idsDataTypeForProperty(p.type));
+    const baseValue = Array.isArray(p.value)
+        ? JSON.stringify(p.value)
+        : p.value;
+    const baseValues = hasMultiValue ? p.values : undefined;
+    const converted = applyUnitConversion(baseValue, baseValues, dataType, scale);
+    return {
+        name: p.name,
+        value: converted.value,
+        dataType: dataType ?? '',
+        ...(converted.values ? { values: converted.values } : {}),
+    };
+}
+//# sourceMappingURL=properties.js.map

package/dist/bridge/properties.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"properties.js","sourceRoot":"","sources":["../../src/bridge/properties.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EAEL,yBAAyB,EACzB,yBAAyB,EACzB,6BAA6B,EAC7B,8BAA8B,EAC9B,0BAA0B,GAC3B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGlD,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAUjD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,sBAAsB,CACpC,KAAmB,EACnB,SAAiB;IAEjB,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,MAAM,KAAK,GAAG,KAAK,CAAC,eAAe,CAAC;IAEpC,0BAA0B,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACzD,kBAAkB,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IAC1C,4BAA4B,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACpD,2BAA2B,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAE1D,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,6BAA6B,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAmB,EACnB,SAAiB,EACjB,KAAyB,EACzB,GAAsB;IAEtB,IAAI,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,SAAS,CAEzC,CAAC;IACd,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,KAAK,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAGhD,CAAC;IACL,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;SAC1E,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAmB,EACnB,SAAiB,EACjB,GAAsB;IAEtB,IAAI,UAAU,GAAG,KAAK,CAAC,UAAU,EAAE,YAAY,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7D,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3C,UAAU,GAAG,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAEnD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC9C,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,QAAQ,EAAE,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC;aACzC,CAAC,CAAC;SACJ,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,4BAA4B,CACnC,KAAmB,EACnB,SAAiB,EACjB,GAAsB;IAEtB,MAAM,OAAO,GACX,KAAK,CAAC,aAAa,EAAE,UAAU,EAAE,CAC/B,SAAS,EACT,gBAAgB,CAAC,mBAAmB,EACpC,SAAS,CACV,IAAI,EAAE,CAAC;IAEV,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,EAAE,GAAG,MAAM,CAAE,GAA0B,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAClE,IAAI,EAAE,KAAK,gBAAgB,IAAI,EAAE,KAAK,oBAAoB;YAAE,SAAS;QACrE,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,YAAY,CAAC;YAAE,SAAS;QAEzC,MAAM,QAAQ,GAAG,0BAA0B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,KAAK,CAAC;QACpE,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,CAAC,YAAY;YAAE,SAAS;QAChE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;YAAE,SAAS;QAEvD,MAAM,UAAU,GAAG,QAAQ;aACxB,MAAM,CACL,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;YACrB,CAAC,CAAC,IAAI,KAAK,MAAM;YACjB,CAAC,CAAC,IAAI,KAAK,aAAa;YACxB,CAAC,CAAC,KAAK,KAAK,SAAS;YACrB,CAAC,CAAC,KAAK,KAAK,EAAE,CACjB;aACA,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,6DAA6D;YAC7D,6EAA6E;YAC7E,uEAAuE;YACvE,QAAQ,EAAE,EAAE;SACb,CAAC,CAAC,CAAC;QACN,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAClC,KAAmB,EACnB,SAAiB,EACjB,KAAyB,EACzB,GAAsB;IAEtB,MAAM,SAAS,GAAG,6BAA6B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAClE,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,UAAU,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAC1E,OAAO;IAET,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAClC,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5C,eAAe,CAAC,CAAY,EAAE,KAAK,CAAC,CACrC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,KAAmB,EACnB,SAAiB,EACjB,GAAsB;IAEtB,MAAM,SAAS,GAAG,8BAA8B,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACnE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACnC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC9C,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;oBAC3B,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;oBACzB,CAAC,CAAE,CAAC,CAAC,KAA0C;gBACjD,QAAQ,EAAE,sBAAsB,CAAC,CAAC,CAAC,IAAmC,CAAC;gBACvE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;oBAChD,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;oBACtB,CAAC,CAAC,EAAE,CAAC;aACR,CAAC,CAAC;SACJ,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CACtB,CAAU,EACV,KAAyB;IAEzB,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IACrE,MAAM,QAAQ,GACZ,CAAC,CAAC,QAAQ;QACV,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAmC,CAAC,CAAC,CAAC;IAC9F,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QACtC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;QACzB,CAAC,CAAE,CAAC,CAAC,KAA0C,CAAC;IAClD,MAAM,UAAU,GAAG,aAAa,CAAC,CAAC,CAAE,CAAC,CAAC,MAAmB,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,MAAM,SAAS,GAAG,mBAAmB,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC9E,OAAO;QACL,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,QAAQ,EAAE,QAAQ,IAAI,EAAE;QACxB,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC"}

package/dist/bridge/schema-version.d.ts

@@ -0,0 +1,10 @@
+import type { IfcSchemaVersion } from '@ifc-lite/data';
+/**
+ * Narrow a parser schema-version string to the subset
+ * `@ifc-lite/data` carries lookup tables for. The parser surfaces a
+ * wider union (`'IFC2X3' | 'IFC4' | 'IFC4X3' | 'IFC5'`) than the
+ * schema package supports; IFC5 has no published EXPRESS schema yet so
+ * we treat it as IFC4X3 for type lookups.
+ */
+export declare function narrowSchemaVersion(raw: string | undefined): IfcSchemaVersion;
+//# sourceMappingURL=schema-version.d.ts.map

package/dist/bridge/schema-version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-version.d.ts","sourceRoot":"","sources":["../../src/bridge/schema-version.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEvD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,gBAAgB,CAa7E"}

package/dist/bridge/schema-version.js

@@ -0,0 +1,25 @@
+/* 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/. */
+/**
+ * Narrow a parser schema-version string to the subset
+ * `@ifc-lite/data` carries lookup tables for. The parser surfaces a
+ * wider union (`'IFC2X3' | 'IFC4' | 'IFC4X3' | 'IFC5'`) than the
+ * schema package supports; IFC5 has no published EXPRESS schema yet so
+ * we treat it as IFC4X3 for type lookups.
+ */
+export function narrowSchemaVersion(raw) {
+    switch ((raw || '').toUpperCase()) {
+        case 'IFC2X3':
+            return 'IFC2X3';
+        case 'IFC4':
+            return 'IFC4';
+        case 'IFC4X3':
+        case 'IFC4X3_ADD2':
+        case 'IFC5':
+            return 'IFC4X3';
+        default:
+            return 'IFC4';
+    }
+}
+//# sourceMappingURL=schema-version.js.map

package/dist/bridge/schema-version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-version.js","sourceRoot":"","sources":["../../src/bridge/schema-version.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAI/D;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAuB;IACzD,QAAQ,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;QAClC,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,aAAa,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC;QAClB;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC"}

package/dist/bridge/units.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Per IDS spec, IDS literal values for IFC measure types are always in
+ * base SI units. The IFC store keeps the raw author value, so when the
+ * project's length unit is `MILLI`, a stored `1000` length means
+ * `1.0 metre` and the IDS check `1` should match. This helper applies
+ * the project's `lengthUnitScale` to numeric values for length
+ * measures.
+ *
+ * Properties without a declared dataType (notably `IfcPropertyTableValue`,
+ * where columns mix labels and measures) get a conservative double-up:
+ * every numeric candidate is surfaced both raw and scaled, so an IDS
+ * check using either unit space matches.
+ */
+export declare function applyUnitConversion(rawValue: string | number | boolean | null, rawValues: string[] | undefined, dataType: string | undefined, scale: number | undefined): {
+    value: string | number | boolean | null;
+    values: string[] | undefined;
+};
+//# sourceMappingURL=units.d.ts.map

package/dist/bridge/units.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"units.d.ts","sourceRoot":"","sources":["../../src/bridge/units.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,EAC1C,SAAS,EAAE,MAAM,EAAE,GAAG,SAAS,EAC/B,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB;IAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,GAAG,SAAS,CAAA;CAAE,CAyC3E"}

package/dist/bridge/units.js

@@ -0,0 +1,55 @@
+/* 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/. */
+/**
+ * Per IDS spec, IDS literal values for IFC measure types are always in
+ * base SI units. The IFC store keeps the raw author value, so when the
+ * project's length unit is `MILLI`, a stored `1000` length means
+ * `1.0 metre` and the IDS check `1` should match. This helper applies
+ * the project's `lengthUnitScale` to numeric values for length
+ * measures.
+ *
+ * Properties without a declared dataType (notably `IfcPropertyTableValue`,
+ * where columns mix labels and measures) get a conservative double-up:
+ * every numeric candidate is surfaced both raw and scaled, so an IDS
+ * check using either unit space matches.
+ */
+export function applyUnitConversion(rawValue, rawValues, dataType, scale) {
+    if (!scale || scale === 1) {
+        return { value: rawValue, values: rawValues };
+    }
+    const upper = dataType ? dataType.toUpperCase() : '';
+    const isLength = upper === 'IFCLENGTHMEASURE' || upper === 'IFCPOSITIVELENGTHMEASURE';
+    const isUntypedTable = !dataType && Array.isArray(rawValues) && rawValues.length > 0;
+    if (!isLength && !isUntypedTable) {
+        return { value: rawValue, values: rawValues };
+    }
+    const convertNum = (v) => {
+        const n = typeof v === 'number' ? v : parseFloat(String(v));
+        return Number.isFinite(n) ? n * scale : null;
+    };
+    if (isLength) {
+        const converted = (() => {
+            const c = convertNum(rawValue);
+            return c == null ? rawValue : c;
+        })();
+        const values = Array.isArray(rawValues)
+            ? rawValues.map((v) => {
+                const c = convertNum(v);
+                return c == null ? String(v) : String(c);
+            })
+            : rawValues;
+        return { value: converted, values };
+    }
+    // Untyped table — keep raw values and append scaled copies for every
+    // numeric candidate so either unit space matches.
+    const expanded = [];
+    for (const v of rawValues) {
+        expanded.push(String(v));
+        const c = convertNum(v);
+        if (c != null && String(c) !== String(v))
+            expanded.push(String(c));
+    }
+    return { value: rawValue, values: expanded };
+}
+//# sourceMappingURL=units.js.map

package/dist/bridge/units.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"units.js","sourceRoot":"","sources":["../../src/bridge/units.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CACjC,QAA0C,EAC1C,SAA+B,EAC/B,QAA4B,EAC5B,KAAyB;IAEzB,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAChD,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,MAAM,QAAQ,GACZ,KAAK,KAAK,kBAAkB,IAAI,KAAK,KAAK,0BAA0B,CAAC;IACvE,MAAM,cAAc,GAClB,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC;IAChE,IAAI,CAAC,QAAQ,IAAI,CAAC,cAAc,EAAE,CAAC;QACjC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAChD,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,CAAU,EAAiB,EAAE;QAC/C,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/C,CAAC,CAAC;IAEF,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE;YACtB,MAAM,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC/B,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,EAAE,CAAC;QACL,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;YACrC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAClB,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;gBACxB,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC3C,CAAC,CAAC;YACJ,CAAC,CAAC,SAAS,CAAC;QACd,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;IACtC,CAAC;IAED,qEAAqE;IACrE,kDAAkD;IAClD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,SAAU,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC/C,CAAC"}

package/dist/constraints/comparators.d.ts

@@ -0,0 +1,32 @@
+export declare function numericEpsilon(castValue: number, actual?: number): number;
+/**
+ * Compare an IDS literal `expected` (always a string from the XML) to
+ * `actual` as numbers. Returns:
+ *   - `true` / `false` when both sides parse cleanly as numerics, OR
+ *   - `undefined` when either side isn't a strict numeric literal,
+ *     in which case the caller should fall back to other comparators
+ *     (string equality, regex, etc.).
+ *
+ * Strictness is the whole point: `parseFloat('2022-01-01')` returns
+ * `2022`, which would silently equate dates with their year. Requiring
+ * `NUMERIC_RE.test(...)` on both sides keeps date-like strings opaque.
+ */
+export declare function compareNumeric(expected: string, actual: string | number | boolean): boolean | undefined;
+/**
+ * Compare an IDS boolean literal to a stored value. Per IDS 1.0 spec
+ * the literal MUST be lowercase `true` / `false`; uppercase or
+ * numeric forms (`1` / `0`) are malformed and never match.
+ *
+ * Returns:
+ *   - `true` / `false` when both sides resolve to a boolean, OR
+ *   - `undefined` when neither side is a recognised boolean — caller
+ *     should fall through to other comparators.
+ */
+export declare function compareBoolean(expected: string, actual: string | number | boolean): boolean | undefined;
+/**
+ * Plain string equality with optional case-insensitive shortcut.
+ * Returns `undefined` when no decision can be made so callers can
+ * try the numeric / boolean comparators next.
+ */
+export declare function compareString(expected: string, actual: string | number | boolean, caseInsensitive: boolean): boolean | undefined;
+//# sourceMappingURL=comparators.d.ts.map

package/dist/constraints/comparators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparators.d.ts","sourceRoot":"","sources":["../../src/constraints/comparators.ts"],"names":[],"mappings":"AA6BA,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CASzE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAChC,OAAO,GAAG,SAAS,CAYrB;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAChC,OAAO,GAAG,SAAS,CAgBrB;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,EACjC,eAAe,EAAE,OAAO,GACvB,OAAO,GAAG,SAAS,CAOrB"}

package/dist/constraints/comparators.js

@@ -0,0 +1,94 @@
+/* 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/. */
+/**
+ * Shared comparators used by every IDS constraint matcher.
+ *
+ * These helpers encode IDS 1.0 cast-and-compare semantics in one
+ * place so `matchSimpleValue`, `matchEnumeration`, and `matchBounds`
+ * agree — the older code had `matchEnumeration` using a looser
+ * `parseFloat` path that silently equated date-shaped strings.
+ */
+/**
+ * A "clean" numeric literal: optional sign, digits, optional decimal,
+ * optional scientific exponent. Anchored end-to-end so trailing garbage
+ * (`'2022-01-01'`) doesn't smuggle through.
+ */
+const NUMERIC_RE = /^[+-]?(\d+\.?\d*|\.\d+)([eE][+-]?\d+)?$/;
+/**
+ * Numeric tolerance for floating-point comparisons.
+ *
+ * Mirrors upstream IfcOpenShell `ifctester`'s `is_x` rules: anchored
+ * on the IDS-side cast value with a ULP-scaled fudge to absorb the
+ * floating-point noise introduced when each side is decoded from text.
+ */
+const RELATIVE_TOLERANCE = 1e-6;
+export function numericEpsilon(castValue, actual) {
+    const relative = RELATIVE_TOLERANCE * (1 + Math.abs(castValue));
+    const ulp = 16 * Number.EPSILON *
+        Math.max(Math.abs(castValue), typeof actual === 'number' ? Math.abs(actual) : 0);
+    return relative + ulp;
+}
+/**
+ * Compare an IDS literal `expected` (always a string from the XML) to
+ * `actual` as numbers. Returns:
+ *   - `true` / `false` when both sides parse cleanly as numerics, OR
+ *   - `undefined` when either side isn't a strict numeric literal,
+ *     in which case the caller should fall back to other comparators
+ *     (string equality, regex, etc.).
+ *
+ * Strictness is the whole point: `parseFloat('2022-01-01')` returns
+ * `2022`, which would silently equate dates with their year. Requiring
+ * `NUMERIC_RE.test(...)` on both sides keeps date-like strings opaque.
+ */
+export function compareNumeric(expected, actual) {
+    const actualStr = String(actual);
+    const expectedIsNumeric = NUMERIC_RE.test(expected);
+    const actualIsNumeric = typeof actual === 'number' || NUMERIC_RE.test(actualStr);
+    if (!expectedIsNumeric || !actualIsNumeric)
+        return undefined;
+    const expectedNum = parseFloat(expected);
+    const actualNum = typeof actual === 'number' ? actual : parseFloat(actualStr);
+    if (Number.isNaN(expectedNum) || Number.isNaN(actualNum))
+        return undefined;
+    return Math.abs(expectedNum - actualNum) <= numericEpsilon(expectedNum, actualNum);
+}
+/**
+ * Compare an IDS boolean literal to a stored value. Per IDS 1.0 spec
+ * the literal MUST be lowercase `true` / `false`; uppercase or
+ * numeric forms (`1` / `0`) are malformed and never match.
+ *
+ * Returns:
+ *   - `true` / `false` when both sides resolve to a boolean, OR
+ *   - `undefined` when neither side is a recognised boolean — caller
+ *     should fall through to other comparators.
+ */
+export function compareBoolean(expected, actual) {
+    if (expected !== 'true' && expected !== 'false') {
+        // Expected isn't a valid boolean literal — caller falls through.
+        return undefined;
+    }
+    if (typeof actual === 'boolean') {
+        return expected === 'true' ? actual === true : actual === false;
+    }
+    if (actual === 'true' || actual === 'false') {
+        return actual === expected;
+    }
+    // Anything else against a boolean literal: malformed.
+    return false;
+}
+/**
+ * Plain string equality with optional case-insensitive shortcut.
+ * Returns `undefined` when no decision can be made so callers can
+ * try the numeric / boolean comparators next.
+ */
+export function compareString(expected, actual, caseInsensitive) {
+    const actualStr = String(actual);
+    if (actualStr === expected)
+        return true;
+    if (caseInsensitive && actualStr.toUpperCase() === expected.toUpperCase()) {
+        return true;
+    }
+    return undefined;
+}
+//# sourceMappingURL=comparators.js.map

package/dist/constraints/comparators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparators.js","sourceRoot":"","sources":["../../src/constraints/comparators.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;GAOG;AAEH;;;;GAIG;AACH,MAAM,UAAU,GAAG,yCAAyC,CAAC;AAE7D;;;;;;GAMG;AACH,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAEhC,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,MAAe;IAC/D,MAAM,QAAQ,GAAG,kBAAkB,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAChE,MAAM,GAAG,GACP,EAAE,GAAG,MAAM,CAAC,OAAO;QACnB,IAAI,CAAC,GAAG,CACN,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EACnB,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAClD,CAAC;IACJ,OAAO,QAAQ,GAAG,GAAG,CAAC;AACxB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAC5B,QAAgB,EAChB,MAAiC;IAEjC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACjC,MAAM,iBAAiB,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpD,MAAM,eAAe,GACnB,OAAO,MAAM,KAAK,QAAQ,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC3D,IAAI,CAAC,iBAAiB,IAAI,CAAC,eAAe;QAAE,OAAO,SAAS,CAAC;IAE7D,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC9E,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAE3E,OAAO,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,SAAS,CAAC,IAAI,cAAc,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;AACrF,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,QAAgB,EAChB,MAAiC;IAEjC,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;QAChD,iEAAiE;QACjE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,OAAO,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC;IAClE,CAAC;IAED,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QAC5C,OAAO,MAAM,KAAK,QAAQ,CAAC;IAC7B,CAAC;IAED,sDAAsD;IACtD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,QAAgB,EAChB,MAAiC,EACjC,eAAwB;IAExB,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IACjC,IAAI,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,eAAe,IAAI,SAAS,CAAC,WAAW,EAAE,KAAK,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/constraints/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/constraints/index.ts"],"names":[],"mappings":"AAIA;;GAEG;AAEH,OAAO,KAAK,EACV,aAAa,EAKd,MAAM,aAAa,CAAC;AAKrB,sCAAsC;AACtC,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,aAAa,EACzB,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,EACzD,OAAO,CAAC,EAAE,YAAY,GACrB,OAAO,CAmBT;AA8JD;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,aAAa,EACzB,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,GACxD,MAAM,CAiBR;AA0CD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,aAAa,GAAG,MAAM,CAgBlE"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/constraints/index.ts"],"names":[],"mappings":"AAIA;;GAEG;AAEH,OAAO,KAAK,EACV,aAAa,EAKd,MAAM,aAAa,CAAC;AAYrB,sCAAsC;AACtC,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,aAAa,EACzB,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,EACzD,OAAO,CAAC,EAAE,YAAY,GACrB,OAAO,CAmBT;AAmKD;;GAEG;AACH,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,aAAa,EACzB,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,GACxD,MAAM,CAiBR;AA0CD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,aAAa,GAAG,MAAM,CAgBlE"}

package/dist/constraints/index.js

@@ -1,7 +1,8 @@
 /* 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/. */
-/** Numeric tolerance for floating point comparisons (per IDS spec) */
+import { compareBoolean, compareNumeric, compareString, } from './comparators.js';
+/** Tolerance for the bounds matcher's exclusive comparators. */
 const NUMERIC_TOLERANCE = 1e-6;
 /**
  * Check if a value matches a constraint
@@ -15,7 +16,7 @@ export function matchConstraint(constraint, actualValue, options) {
         case 'simpleValue':
             return matchSimpleValue(constraint, actualValue, ci);
         case 'pattern':
-            return matchPattern(constraint, actualValue);
+            return matchPattern(constraint, actualValue, ci);
         case 'enumeration':
             return matchEnumeration(constraint, actualValue, ci);
         case 'bounds':
@@ -25,54 +26,44 @@ export function matchConstraint(constraint, actualValue, options) {
     }
 }
 /**
- * Match against a simple value (exact match)
+ * Match against a simple value. Tries each comparator in order:
+ * string → numeric → boolean. The first decisive result wins;
+ * `undefined` lets the next strategy run.
  */
 function matchSimpleValue(constraint, actualValue, caseInsensitive) {
     const expected = constraint.value;
-    const actualStr = String(actualValue);
-    // Exact string match
-    if (actualStr === expected)
-        return true;
-    // Case-insensitive match only when explicitly requested (IFC entity/predefined type names)
-    if (caseInsensitive && actualStr.toUpperCase() === expected.toUpperCase())
-        return true;
-    // Numeric comparison with tolerance
-    const expectedNum = parseFloat(expected);
-    const actualNum = typeof actualValue === 'number' ? actualValue : parseFloat(actualStr);
-    if (!isNaN(expectedNum) && !isNaN(actualNum)) {
-        return Math.abs(expectedNum - actualNum) <= NUMERIC_TOLERANCE;
-    }
-    // Boolean comparison
-    if (typeof actualValue === 'boolean') {
-        const expectedLower = expected.toLowerCase();
-        if (expectedLower === 'true' || expectedLower === '1') {
-            return actualValue === true;
-        }
-        if (expectedLower === 'false' || expectedLower === '0') {
-            return actualValue === false;
-        }
-    }
-    // Boolean string comparison
-    const actualLower = actualStr.toLowerCase();
-    const expectedLower = expected.toLowerCase();
-    if ((actualLower === 'true' || actualLower === 'false') &&
-        (expectedLower === 'true' || expectedLower === 'false')) {
-        return actualLower === expectedLower;
-    }
+    const stringResult = compareString(expected, actualValue, caseInsensitive);
+    if (stringResult !== undefined)
+        return stringResult;
+    const numericResult = compareNumeric(expected, actualValue);
+    if (numericResult !== undefined)
+        return numericResult;
+    const booleanResult = compareBoolean(expected, actualValue);
+    if (booleanResult !== undefined)
+        return booleanResult;
     return false;
 }
 /**
  * Match against a regex pattern
  * IDS uses XSD regex syntax which is slightly different from JavaScript
  */
-function matchPattern(constraint, actualValue) {
+function matchPattern(constraint, actualValue, caseInsensitive = false) {
+    // Per IDS 1.0 spec patterns ONLY apply to string values. A pattern
+    // tested against a number / boolean fails outright — even if the
+    // textual representation would happen to match — so the validator
+    // can distinguish "wrong shape" from "wrong value".
+    if (typeof actualValue === 'number' || typeof actualValue === 'boolean') {
+        return false;
+    }
     const actualStr = String(actualValue);
     try {
         // Convert XSD regex to JavaScript regex
         const jsPattern = xsdToJsRegex(constraint.pattern);
-        // IDS patterns must match the entire string
-        // Per XSD/IDS spec, patterns are case-sensitive (no 'i' flag)
-        const regex = new RegExp(`^${jsPattern}$`);
+        // IDS patterns must match the entire string. Case-insensitive
+        // matching is opt-in per the call site (entity / predefined-type
+        // names use it; property and attribute values do not).
+        const flags = caseInsensitive ? 'i' : '';
+        const regex = new RegExp(`^${jsPattern}$`, flags);
         return regex.test(actualStr);
     }
     catch {
@@ -95,24 +86,21 @@ function xsdToJsRegex(xsdPattern) {
         .replace(/\[([^\]]+)-\[[^\]]+\]\]/g, '[$1]'));
 }
 /**
- * Match against an enumeration (one of a list)
+ * Match against an enumeration. The actual value matches if ANY of the
+ * declared options matches under string / numeric / boolean comparison
+ * — same strategy table as `matchSimpleValue`, just iterated.
  */
 function matchEnumeration(constraint, actualValue, caseInsensitive) {
-    const actualStr = String(actualValue);
-    const actualUpper = actualStr.toUpperCase();
     return constraint.values.some((v) => {
-        // Try exact match first
-        if (v === actualStr)
-            return true;
-        // Case-insensitive match only when explicitly requested
-        if (caseInsensitive && v.toUpperCase() === actualUpper)
-            return true;
-        // Numeric comparison
-        const vNum = parseFloat(v);
-        const actualNum = typeof actualValue === 'number' ? actualValue : parseFloat(actualStr);
-        if (!isNaN(vNum) && !isNaN(actualNum)) {
-            return Math.abs(vNum - actualNum) <= NUMERIC_TOLERANCE;
-        }
+        const stringResult = compareString(v, actualValue, caseInsensitive);
+        if (stringResult !== undefined)
+            return stringResult;
+        const numericResult = compareNumeric(v, actualValue);
+        if (numericResult !== undefined)
+            return numericResult;
+        const booleanResult = compareBoolean(v, actualValue);
+        if (booleanResult !== undefined)
+            return booleanResult;
         return false;
     });
 }
@@ -120,17 +108,43 @@ function matchEnumeration(constraint, actualValue, caseInsensitive) {
  * Match against numeric bounds
  */
 function matchBounds(constraint, actualValue) {
+    // String-length facets (xs:length / xs:minLength / xs:maxLength)
+    // operate on the textual length, not on numeric magnitude. When any
+    // of them are present, evaluate the length constraints first.
+    if (constraint.length !== undefined ||
+        constraint.minLength !== undefined ||
+        constraint.maxLength !== undefined) {
+        const str = String(actualValue);
+        if (constraint.length !== undefined && str.length !== constraint.length) {
+            return false;
+        }
+        if (constraint.minLength !== undefined && str.length < constraint.minLength) {
+            return false;
+        }
+        if (constraint.maxLength !== undefined && str.length > constraint.maxLength) {
+            return false;
+        }
+        // Length-only restrictions don't impose numeric bounds; if the
+        // constraint also carries min/max we fall through to the numeric
+        // check below (rare in practice).
+        if (constraint.minInclusive === undefined &&
+            constraint.maxInclusive === undefined &&
+            constraint.minExclusive === undefined &&
+            constraint.maxExclusive === undefined) {
+            return true;
+        }
+    }
     const num = typeof actualValue === 'number'
         ? actualValue
         : parseFloat(String(actualValue));
     if (isNaN(num))
         return false;
     if (constraint.minInclusive !== undefined &&
-        num < constraint.minInclusive - NUMERIC_TOLERANCE) {
+        num < constraint.minInclusive) {
         return false;
     }
     if (constraint.maxInclusive !== undefined &&
-        num > constraint.maxInclusive + NUMERIC_TOLERANCE) {
+        num > constraint.maxInclusive) {
         return false;
     }
     if (constraint.minExclusive !== undefined && num <= constraint.minExclusive) {