@ifc-lite/ids 1.14.11 → 1.15.1

package/dist/audit/ifc-schema/index.js

@@ -0,0 +1,637 @@
+/* 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/. */
+/**
+ * IFC schema cross-checks for an IDS document.
+ *
+ * Backed by the full per-IFC-version schema tables in `@ifc-lite/data`
+ * (generated from buildingSMART/IDS-Audit-tool's `SchemaInfo.*.g.cs`):
+ *
+ *  - 771 entities for IFC2X3, 932 for IFC4, 1008 for IFC4X3
+ *  - 1485 property sets covering 7624 properties total
+ *  - 18 partOf relation rows (6 per version)
+ *
+ * Verifies that entity names, predefined types, property sets, properties,
+ * attributes and partOf relations referenced in facets actually exist in
+ * the IFC version declared on each specification.
+ */
+import { findAttribute, findDataType, findEntity, findPropertySet, getInheritanceChain, getPartOfRelations, isEntitySubtypeOf, RESERVED_PSET_PREFIXES, } from '@ifc-lite/data';
+export async function runIfcSchemaAudit(doc, options) {
+    const issues = [];
+    for (let i = 0; i < doc.specifications.length; i++) {
+        const spec = doc.specifications[i];
+        const versions = pickVersions(spec, options.ifcVersion);
+        if (versions.length === 0)
+            continue; // XSD audit will already have flagged this
+        // IDS specs apply to *every* listed `@ifcVersion`. A constraint
+        // valid in IFC2X3 but not in IFC4 must surface even when IFC2X3
+        // appears first. Walk each version and dedupe issues that fire
+        // identically across them (same code + path) — only carry the
+        // first version's `detail` so reports stay readable.
+        const seen = new Set();
+        for (const version of versions) {
+            const perVersion = [];
+            await auditSpec(spec, version, `specifications[${i}]`, perVersion);
+            for (const iss of perVersion) {
+                const key = `${iss.code}|${iss.path}|${iss.message}`;
+                if (seen.has(key))
+                    continue;
+                seen.add(key);
+                issues.push(iss);
+            }
+        }
+    }
+    return issues;
+}
+function pickVersions(spec, override) {
+    if (override) {
+        const n = normaliseSchemaVersion(override);
+        return n ? [n] : [];
+    }
+    const out = [];
+    const seen = new Set();
+    for (const v of spec.ifcVersions) {
+        const n = normaliseSchemaVersion(v);
+        if (n && !seen.has(n)) {
+            seen.add(n);
+            out.push(n);
+        }
+    }
+    return out;
+}
+function normaliseSchemaVersion(v) {
+    switch (v) {
+        case 'IFC2X3':
+        case 'IFC4':
+        case 'IFC4X3':
+        case 'IFC4X3_ADD2':
+            return v;
+        default:
+            return undefined;
+    }
+}
+async function auditSpec(spec, version, basePath, issues) {
+    // The applicability block can declare an entity facet that requirement
+    // facets (attribute / property) need to cross-check against.
+    const applicabilityEntity = spec.applicability.facets.find((f) => f.type === 'entity');
+    for (let fi = 0; fi < spec.applicability.facets.length; fi++) {
+        const facet = spec.applicability.facets[fi];
+        await auditFacet(facet, version, `${basePath}.applicability.facets[${fi}]`, applicabilityEntity, issues);
+    }
+    for (let ri = 0; ri < spec.requirements.length; ri++) {
+        const req = spec.requirements[ri];
+        await auditFacet(req.facet, version, `${basePath}.requirements[${ri}]`, applicabilityEntity, issues);
+    }
+}
+async function auditFacet(facet, version, path, applicabilityEntity, issues) {
+    switch (facet.type) {
+        case 'entity':
+            await auditEntityFacet(facet, version, path, issues);
+            break;
+        case 'property':
+            await auditPropertyFacet(facet, version, path, applicabilityEntity, issues);
+            break;
+        case 'attribute':
+            await auditAttributeFacet(facet, version, path, applicabilityEntity, issues);
+            break;
+        case 'partOf':
+            await auditPartOfFacet(facet, version, path, applicabilityEntity, issues);
+            break;
+        case 'classification':
+            await auditClassificationFacet(version, applicabilityEntity, path, issues);
+            break;
+        case 'material':
+            await auditMaterialFacet(version, applicabilityEntity, path, issues);
+            break;
+    }
+}
+/**
+ * Classification facets bind via `IfcRelAssociatesClassification`,
+ * which only accepts subtypes of `IfcObjectDefinition` (IFC4+) or
+ * `IfcRoot` (IFC2X3). Applicability entities outside that hierarchy —
+ * e.g. `IfcCurve`, `IfcGeometricRepresentationItem` — can never be
+ * classified. Mirrors upstream `schema.GetRelAsssignClassificationClasses`.
+ */
+async function auditClassificationFacet(version, applicabilityEntity, path, issues) {
+    if (!applicabilityEntity)
+        return;
+    if (applicabilityEntity.name.type !== 'simpleValue')
+        return;
+    const entityName = applicabilityEntity.name.value;
+    if (!entityName)
+        return;
+    // IFC4 / IFC4X3 use IfcObjectDefinition; IFC2X3 uses IfcRoot.
+    const expected = version === 'IFC2X3' ? 'IfcRoot' : 'IfcObjectDefinition';
+    const ok = await isEntitySubtypeOf(version, entityName, expected);
+    if (!ok) {
+        issues.push({
+            severity: 'error',
+            code: 'E_IFC_PARTOF_ENTITY',
+            message: `applicability entity "${entityName}" cannot be classified in ${version} (must be a subtype of ${expected})`,
+            path,
+            facetType: 'classification',
+            detail: { value: entityName, required: expected, version },
+        });
+    }
+}
+async function auditMaterialFacet(version, applicabilityEntity, path, issues) {
+    if (!applicabilityEntity)
+        return;
+    if (applicabilityEntity.name.type !== 'simpleValue')
+        return;
+    const entityName = applicabilityEntity.name.value;
+    if (!entityName)
+        return;
+    // Same rule as classification — material associations require a
+    // subtype of IfcObjectDefinition (IFC4+) / IfcRoot (IFC2X3).
+    const expected = version === 'IFC2X3' ? 'IfcRoot' : 'IfcObjectDefinition';
+    const ok = await isEntitySubtypeOf(version, entityName, expected);
+    if (!ok) {
+        issues.push({
+            severity: 'error',
+            code: 'E_IFC_PARTOF_ENTITY',
+            message: `applicability entity "${entityName}" cannot have a material in ${version} (must be a subtype of ${expected})`,
+            path,
+            facetType: 'material',
+            detail: { value: entityName, required: expected, version },
+        });
+    }
+}
+async function auditEntityFacet(facet, version, path, issues) {
+    if (facet.name.type !== 'simpleValue') {
+        // Pattern / enumeration / bounds: cross-check is impossible without
+        // resolving every match, so we skip — a regex like `IFC.*` is valid.
+        return;
+    }
+    const name = facet.name.value;
+    if (!name)
+        return;
+    const entity = await findEntity(version, name);
+    if (!entity) {
+        issues.push({
+            severity: 'error',
+            code: 'E_IFC_ENTITY_UNKNOWN',
+            message: `entity name "${name}" is not a known IFC entity for ${version}`,
+            path: `${path}.name`,
+            facetType: 'entity',
+            detail: { value: name, version },
+        });
+        return;
+    }
+    if (facet.predefinedType && entity.predefinedTypes.length > 0) {
+        checkPredefinedType(facet.predefinedType, entity, version, `${path}.predefinedType`, issues);
+    }
+}
+function checkPredefinedType(c, entity, version, path, issues) {
+    const valid = (v) => entity.predefinedTypes.includes(v.toUpperCase());
+    switch (c.type) {
+        case 'simpleValue': {
+            const v = c.value;
+            if (v && !valid(v)) {
+                issues.push({
+                    severity: 'error',
+                    code: 'E_IFC_PREDEF_TYPE_INVALID',
+                    message: `predefined type "${v}" is not valid for ${entity.name} (${version})`,
+                    path,
+                    facetType: 'entity',
+                    detail: { value: v, entity: entity.name, version },
+                });
+            }
+            break;
+        }
+        case 'enumeration': {
+            for (const v of c.values) {
+                if (v && !valid(v)) {
+                    issues.push({
+                        severity: 'error',
+                        code: 'E_IFC_PREDEF_TYPE_INVALID',
+                        message: `predefined type enumeration value "${v}" is not valid for ${entity.name} (${version})`,
+                        path,
+                        facetType: 'entity',
+                        detail: { value: v, entity: entity.name, version },
+                    });
+                }
+            }
+            break;
+        }
+        case 'pattern': {
+            // If the pattern compiles, test each known predefined type to be
+            // sure at least one matches. Otherwise warn (pattern syntax check
+            // already produces W_REGEX_UNVERIFIED).
+            try {
+                const rx = new RegExp(`^${c.pattern}$`);
+                const anyMatch = entity.predefinedTypes.some((p) => rx.test(p));
+                if (!anyMatch) {
+                    issues.push({
+                        severity: 'error',
+                        code: 'E_IFC_PREDEF_TYPE_INVALID',
+                        message: `predefined type pattern "${c.pattern}" matches no value for ${entity.name} (${version})`,
+                        path,
+                        facetType: 'entity',
+                        detail: { pattern: c.pattern, entity: entity.name, version },
+                    });
+                }
+            }
+            catch {
+                /* coherence pass already warned */
+            }
+            break;
+        }
+        case 'bounds':
+            // Bounds make no sense on a predefined-type enum — XSD audit will
+            // already have flagged the structural mismatch indirectly.
+            break;
+    }
+}
+async function auditPropertyFacet(facet, version, path, applicabilityEntity, issues) {
+    // Always cross-check the @dataType when present, even before pset
+    // existence — an invalid IFC dataType is its own error class.
+    if (facet.dataType && facet.dataType.type === 'simpleValue') {
+        const dt = facet.dataType.value;
+        if (dt) {
+            const found = await findDataType(version, dt);
+            if (!found) {
+                issues.push({
+                    severity: 'error',
+                    code: 'E_IFC_DATATYPE_UNKNOWN',
+                    message: `dataType "${dt}" is not a known IFC measure/type for ${version}`,
+                    path: `${path}.dataType`,
+                    facetType: 'property',
+                    detail: { value: dt, version },
+                });
+            }
+            else if (facet.value) {
+                // Restriction-base compatibility (upstream Report 303): when a
+                // <value> is set with an xs:restriction, its base must match the
+                // dataType's backing type.
+                checkRestrictionBase(facet.value, found.backingType, dt, `${path}.value`, issues);
+            }
+        }
+    }
+    if (facet.propertySet.type !== 'simpleValue')
+        return;
+    const psetName = facet.propertySet.value;
+    if (!psetName)
+        return;
+    const pset = await findPropertySet(version, psetName);
+    // Reserved-prefix check: `Pset_*` and `Qto_*` are reserved for
+    // buildingSMART-published sets. Mirrors `IdsProperty.cs` upstream.
+    const isReserved = RESERVED_PSET_PREFIXES.some((p) => psetName.startsWith(p));
+    if (!pset) {
+        if (isReserved) {
+            issues.push({
+                severity: 'warning',
+                code: 'W_IFC_PSET_RESERVED_PREFIX',
+                message: `property set "${psetName}" uses a reserved buildingSMART prefix but is not a known standard ${psetName.startsWith('Qto_') ? 'quantity set' : 'pset'} for ${version}`,
+                path: `${path}.propertySet`,
+                facetType: 'property',
+                detail: { value: psetName, version },
+            });
+        }
+        return;
+    }
+    // Applicability cross-check: warn when the spec restricts applicability
+    // to an entity that isn't on the pset's `applicableEntities` list (or
+    // a subtype of one). Works for simpleValue entity names and for
+    // pattern/enumeration constraints — in the latter case we resolve
+    // candidate entity names by matching the constraint against the
+    // schema's full entity list.
+    if (applicabilityEntity && pset.applicableEntities.length > 0) {
+        const candidates = await resolveEntityCandidates(applicabilityEntity, version);
+        if (candidates.length > 0) {
+            const anyMatches = (await Promise.all(candidates.map((c) => psetApplies(version, c, pset.applicableEntities)))).some(Boolean);
+            if (!anyMatches) {
+                const label = candidates.length === 1 ? candidates[0] : `{${candidates.join(', ')}}`;
+                issues.push({
+                    severity: 'error',
+                    code: 'E_IFC_PROP_NOT_IN_PSET',
+                    message: `${pset.name} is not applicable to ${label} in ${version}`,
+                    path: `${path}.propertySet`,
+                    facetType: 'property',
+                    detail: { pset: pset.name, entity: label, version },
+                });
+            }
+        }
+    }
+    if (facet.baseName.type === 'simpleValue') {
+        const propName = facet.baseName.value;
+        if (propName) {
+            const prop = pset.properties.find((p) => p.name === propName);
+            if (!prop) {
+                issues.push({
+                    severity: 'error',
+                    code: 'E_IFC_PROP_NOT_IN_PSET',
+                    message: `property "${propName}" is not part of ${pset.name} (${version})`,
+                    path: `${path}.baseName`,
+                    facetType: 'property',
+                    detail: { property: propName, pset: pset.name, version },
+                });
+            }
+            else if (facet.dataType &&
+                facet.dataType.type === 'simpleValue' &&
+                facet.dataType.value) {
+                checkDataTypeMatch(prop, facet.dataType.value, path, pset.name, propName, issues);
+            }
+        }
+    }
+}
+function checkDataTypeMatch(prop, declared, path, psetName, propName, issues) {
+    // `IDSPROPERTYSINGLEVALUE` etc. — the IDS spec uses the IFC pset
+    // template type name, not the IFC datatype. We allow both: if the
+    // declared value matches either the property's IFC datatype (e.g.
+    // `IfcLabel`) or the canonical IDS template form (`IFCPROPERTYSINGLEVALUE`
+    // for kind=`single`, `IFCPROPERTYENUMERATEDVALUE` for kind=`enumeration`,
+    // etc.), we don't warn.
+    const declaredUpper = declared.toUpperCase();
+    if (prop.dataType && prop.dataType.toUpperCase() === declaredUpper)
+        return;
+    const idsTemplate = idsTemplateForKind(prop.kind);
+    if (idsTemplate && declaredUpper === idsTemplate)
+        return;
+    // Upstream IDS-Audit-tool treats this as an error (Report 303 family)
+    // — declaring a different dataType than the standard pset specifies is
+    // an authoring mistake, not a stylistic warning.
+    issues.push({
+        severity: 'error',
+        code: 'W_IFC_DATATYPE_MISMATCH',
+        message: `${psetName}.${propName} is typed ${prop.dataType ?? prop.kind} in the standard, not ${declared}`,
+        path: `${path}.dataType`,
+        facetType: 'property',
+        detail: {
+            expected: prop.dataType ?? prop.kind,
+            actual: declared,
+            property: propName,
+        },
+    });
+}
+/**
+ * Upstream IDS-Audit-tool's Report 303 — when a `<value>` carries an
+ * `xs:restriction`, its `@base` must be compatible with the dataType's
+ * backing XSD type. The parser preserves the raw `@base` attribute on
+ * pattern/enumeration/bounds constraints, so we use that directly when
+ * present and only fall back to inferring from the restriction shape
+ * when the source XML didn't carry a base.
+ *
+ * Inferring from shape alone is ambiguous: `<xs:enumeration value="1"/>`
+ * looks like a string enumeration unless we know the parent
+ * `<xs:restriction base="xs:integer">`.
+ */
+function checkRestrictionBase(c, backingType, dataType, path, issues) {
+    // Only restrictions can mismatch — simpleValue is always treated as
+    // string-compatible by the IDS XSD.
+    if (c.type === 'simpleValue')
+        return;
+    const declaredBase = c.type === 'pattern' || c.type === 'enumeration' || c.type === 'bounds'
+        ? c.base
+        : undefined;
+    let inferred;
+    if (declaredBase) {
+        inferred = declaredBase;
+    }
+    else {
+        switch (c.type) {
+            case 'pattern':
+            case 'enumeration':
+                inferred = 'xs:string';
+                break;
+            case 'bounds':
+                if (typeof c.length === 'number' ||
+                    typeof c.minLength === 'number' ||
+                    typeof c.maxLength === 'number') {
+                    inferred = 'xs:string';
+                }
+                else {
+                    inferred = 'xs:double';
+                }
+                break;
+        }
+    }
+    if (!inferred)
+        return;
+    if (!isXsTypeCompatible(inferred, backingType)) {
+        issues.push({
+            severity: 'error',
+            code: 'E_RESTRICTION_BASE_MISMATCH',
+            message: `xs:restriction base (${inferred}) is not compatible with dataType "${dataType}" (backing ${backingType})`,
+            path,
+            facetType: 'property',
+            detail: { inferred, expected: backingType, dataType },
+        });
+    }
+}
+/**
+ * XSD type compatibility per upstream `IdsProperty.cs`: the restriction
+ * `@base` must equal the IFC dataType's backing XSD type exactly. The
+ * one wrinkle is the `xs:double` / `xs:decimal` / `xs:float` family —
+ * upstream's `XsTypes.IsValid` accepts any of them as
+ * floating-point — so those three are treated as equivalent.
+ *
+ * `xs:integer` is *not* promoted to floats: upstream rejects an
+ * `xs:integer` restriction on an `IFCREAL`-backing property since
+ * decimal values would be invalid against the integer pattern.
+ */
+function isXsTypeCompatible(inferred, expected) {
+    if (inferred === expected)
+        return true;
+    const floats = new Set(['xs:double', 'xs:decimal', 'xs:float']);
+    if (floats.has(inferred) && floats.has(expected))
+        return true;
+    return false;
+}
+function idsTemplateForKind(kind) {
+    switch (kind) {
+        case 'single':
+            return 'IFCPROPERTYSINGLEVALUE';
+        case 'enumeration':
+            return 'IFCPROPERTYENUMERATEDVALUE';
+        case 'list':
+            return 'IFCPROPERTYLISTVALUE';
+        case 'bounded':
+            return 'IFCPROPERTYBOUNDEDVALUE';
+        case 'reference':
+            return 'IFCPROPERTYREFERENCEVALUE';
+        default:
+            return undefined;
+    }
+}
+async function psetApplies(version, entityName, applicable) {
+    for (const candidate of applicable) {
+        if (await isEntitySubtypeOf(version, entityName, candidate))
+            return true;
+    }
+    return false;
+}
+/**
+ * Resolve the set of candidate entity names matched by an entity facet's
+ * `name` constraint. simpleValue → singleton list; enumeration → its
+ * values; pattern → entity names from the schema that match the regex.
+ * Returns an empty list when the constraint can't be resolved.
+ */
+async function resolveEntityCandidates(facet, version) {
+    switch (facet.name.type) {
+        case 'simpleValue':
+            return facet.name.value ? [facet.name.value] : [];
+        case 'enumeration':
+            return facet.name.values.filter((v) => !!v);
+        case 'pattern': {
+            try {
+                const rx = new RegExp(`^${facet.name.pattern}$`);
+                const { getEntities } = await import('@ifc-lite/data');
+                const list = await getEntities(version);
+                return list
+                    .filter((e) => rx.test(e.name.toUpperCase()) || rx.test(e.name))
+                    .map((e) => e.name);
+            }
+            catch {
+                return [];
+            }
+        }
+        default:
+            return [];
+    }
+}
+async function auditAttributeFacet(facet, version, path, applicabilityEntity, issues) {
+    if (!applicabilityEntity)
+        return; // Can't cross-check without an entity.
+    if (applicabilityEntity.name.type !== 'simpleValue')
+        return;
+    if (facet.name.type !== 'simpleValue')
+        return;
+    const entityName = applicabilityEntity.name.value;
+    const attrName = facet.name.value;
+    if (!entityName || !attrName)
+        return;
+    const chain = await getInheritanceChain(version, entityName);
+    if (chain.length === 0)
+        return; // Unknown entity already flagged.
+    if (!chainHasAttribute(chain, attrName)) {
+        issues.push({
+            severity: 'error',
+            code: 'E_IFC_ATTR_UNKNOWN_FOR_ENTITY',
+            message: `attribute "${attrName}" is not defined on ${chain[0].name} (${version})`,
+            path: `${path}.name`,
+            facetType: 'attribute',
+            detail: { attribute: attrName, entity: chain[0].name, version },
+        });
+        return;
+    }
+    // Upstream Report 102: when a `<value>` constraint is supplied on an
+    // attribute that doesn't admit a simple value (e.g. complex/entity-
+    // typed attributes like `IfcTask.TaskTime`), surface as an error.
+    if (facet.value === undefined)
+        return;
+    const meta = await findAttribute(version, attrName);
+    if (!meta)
+        return; // unknown to lookup → defer to schema fix
+    // The applicability entity must appear in `simpleValueEntities` for
+    // the value constraint to be meaningful.
+    const entityUpper = chain[0].name.toUpperCase();
+    const inheritedEntities = chain.map((e) => e.name.toUpperCase());
+    const allowsSimpleValue = inheritedEntities.some((e) => meta.simpleValueEntities.includes(e));
+    const isComplexHere = inheritedEntities.some((e) => meta.complexEntities.includes(e));
+    if (!allowsSimpleValue && isComplexHere) {
+        issues.push({
+            severity: 'error',
+            code: 'E_IFC_ATTR_UNKNOWN_FOR_ENTITY',
+            message: `attribute "${attrName}" on ${entityUpper} is a complex/entity-typed attribute and cannot carry a simple <value> constraint (${version})`,
+            path: `${path}.value`,
+            facetType: 'attribute',
+            detail: { attribute: attrName, entity: entityUpper, version },
+        });
+    }
+}
+function chainHasAttribute(chain, attrName) {
+    const lower = attrName.toLowerCase();
+    for (const entity of chain) {
+        for (const a of entity.attributes) {
+            if (a.toLowerCase() === lower)
+                return true;
+        }
+    }
+    return false;
+}
+async function auditPartOfFacet(facet, version, path, applicabilityEntity, issues) {
+    const relations = await getPartOfRelations(version);
+    // The parser normalises unrecognised relations to a fallback enum
+    // value; when it does, it preserves the original string in
+    // `rawRelation`. Prefer the raw value for cross-checking so we can
+    // flag bogus inputs.
+    const probe = facet.rawRelation ?? facet.relation;
+    const probeUpper = probe.toUpperCase();
+    const relation = relations.find((r) => r.relation === probeUpper);
+    if (!relation) {
+        issues.push({
+            severity: 'error',
+            code: 'E_IFC_PARTOF_RELATION',
+            message: `partOf relation "${probe}" is not valid for ${version}`,
+            path: `${path}.relation`,
+            facetType: 'partOf',
+            detail: { value: probe, version },
+        });
+        return;
+    }
+    if (facet.entity &&
+        facet.entity.name.type === 'simpleValue' &&
+        facet.entity.name.value) {
+        const name = facet.entity.name.value;
+        const entity = await findEntity(version, name);
+        if (!entity) {
+            issues.push({
+                severity: 'error',
+                code: 'E_IFC_PARTOF_ENTITY',
+                message: `partOf entity "${name}" is not a known IFC entity for ${version}`,
+                path: `${path}.entity.name`,
+                facetType: 'partOf',
+                detail: { value: name, version },
+            });
+            return;
+        }
+        // Upstream (`PartOfRelationInformation`) further constrains the
+        // partOf entity to be a subtype of the relation's `owner`. Apply
+        // that too — it's the most useful signal for catching e.g.
+        // "IFCRELCONTAINEDINSPATIALSTRUCTURE on an IfcWindow" mistakes.
+        const ownerName = relation.owner;
+        const ok = await isEntitySubtypeOf(version, entity.name, ownerName);
+        if (!ok) {
+            issues.push({
+                severity: 'error',
+                code: 'E_IFC_PARTOF_ENTITY',
+                message: `partOf @entity "${entity.name}" is not a subtype of "${ownerName}" required by ${facet.relation} (${version})`,
+                path: `${path}.entity.name`,
+                facetType: 'partOf',
+                detail: {
+                    value: entity.name,
+                    required: ownerName,
+                    relation: facet.relation,
+                    version,
+                },
+            });
+        }
+    }
+    // The applicability entity (the "thing we're filtering on") must be a
+    // subtype of the relation's `member` constraint, e.g. an
+    // `IfcRelNests` requirement only makes sense if the applicability
+    // entity is itself an `IfcObjectDefinition`.
+    if (applicabilityEntity &&
+        applicabilityEntity.name.type === 'simpleValue' &&
+        applicabilityEntity.name.value) {
+        const appName = applicabilityEntity.name.value;
+        const memberOk = await isEntitySubtypeOf(version, appName, relation.member);
+        if (!memberOk) {
+            issues.push({
+                severity: 'error',
+                code: 'E_IFC_PARTOF_ENTITY',
+                message: `applicability entity "${appName}" cannot be the member of ${facet.relation}; ${facet.relation} requires the member to be a subtype of "${relation.member}" (${version})`,
+                path: `${path}.relation`,
+                facetType: 'partOf',
+                detail: {
+                    applicability: appName,
+                    required: relation.member,
+                    relation: facet.relation,
+                    version,
+                },
+            });
+        }
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/audit/ifc-schema/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/audit/ifc-schema/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACL,aAAa,EACb,YAAY,EACZ,UAAU,EACV,eAAe,EACf,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,sBAAsB,GAIvB,MAAM,gBAAgB,CAAC;AAWxB,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,GAAgB,EAChB,OAA4C;IAE5C,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QACxD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS,CAAC,2CAA2C;QAChF,gEAAgE;QAChE,gEAAgE;QAChE,+DAA+D;QAC/D,8DAA8D;QAC9D,qDAAqD;QACrD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,UAAU,GAAoB,EAAE,CAAC;YACvC,MAAM,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,kBAAkB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YACnE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;gBACrD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CACnB,IAAsB,EACtB,QAAqB;IAErB,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,CAAC,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QAC3C,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,sBAAsB,CAAC,CAAa;IAC3C,QAAQ,CAAC,EAAE,CAAC;QACV,KAAK,QAAQ,CAAC;QACd,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ,CAAC;QACd,KAAK,aAAa;YAChB,OAAO,CAAC,CAAC;QACX;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,SAAS,CACtB,IAAsB,EACtB,OAAyB,EACzB,QAAgB,EAChB,MAAuB;IAEvB,uEAAuE;IACvE,6DAA6D;IAC7D,MAAM,mBAAmB,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CACxD,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAChD,CAAC;IAEF,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,UAAU,CACd,KAAK,EACL,OAAO,EACP,GAAG,QAAQ,yBAAyB,EAAE,GAAG,EACzC,mBAAmB,EACnB,MAAM,CACP,CAAC;IACJ,CAAC;IAED,KAAK,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;QACrD,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAClC,MAAM,UAAU,CACd,GAAG,CAAC,KAAK,EACT,OAAO,EACP,GAAG,QAAQ,iBAAiB,EAAE,GAAG,EACjC,mBAAmB,EACnB,MAAM,CACP,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,UAAU,CACvB,KAAe,EACf,OAAyB,EACzB,IAAY,EACZ,mBAA+C,EAC/C,MAAuB;IAEvB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,MAAM,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACrD,MAAM;QACR,KAAK,UAAU;YACb,MAAM,kBAAkB,CACtB,KAAK,EACL,OAAO,EACP,IAAI,EACJ,mBAAmB,EACnB,MAAM,CACP,CAAC;YACF,MAAM;QACR,KAAK,WAAW;YACd,MAAM,mBAAmB,CACvB,KAAK,EACL,OAAO,EACP,IAAI,EACJ,mBAAmB,EACnB,MAAM,CACP,CAAC;YACF,MAAM;QACR,KAAK,QAAQ;YACX,MAAM,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;YAC1E,MAAM;QACR,KAAK,gBAAgB;YACnB,MAAM,wBAAwB,CAAC,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC3E,MAAM;QACR,KAAK,UAAU;YACb,MAAM,kBAAkB,CAAC,OAAO,EAAE,mBAAmB,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YACrE,MAAM;IACV,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,wBAAwB,CACrC,OAAyB,EACzB,mBAA+C,EAC/C,IAAY,EACZ,MAAuB;IAEvB,IAAI,CAAC,mBAAmB;QAAE,OAAO;IACjC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO;IAC5D,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;IAClD,IAAI,CAAC,UAAU;QAAE,OAAO;IACxB,8DAA8D;IAC9D,MAAM,QAAQ,GAAG,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC;IAC1E,MAAM,EAAE,GAAG,MAAM,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IAClE,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,yBAAyB,UAAU,6BAA6B,OAAO,0BAA0B,QAAQ,GAAG;YACrH,IAAI;YACJ,SAAS,EAAE,gBAAgB;YAC3B,MAAM,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE;SAC3D,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,OAAyB,EACzB,mBAA+C,EAC/C,IAAY,EACZ,MAAuB;IAEvB,IAAI,CAAC,mBAAmB;QAAE,OAAO;IACjC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO;IAC5D,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;IAClD,IAAI,CAAC,UAAU;QAAE,OAAO;IACxB,gEAAgE;IAChE,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,qBAAqB,CAAC;IAC1E,MAAM,EAAE,GAAG,MAAM,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IAClE,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,qBAAqB;YAC3B,OAAO,EAAE,yBAAyB,UAAU,+BAA+B,OAAO,0BAA0B,QAAQ,GAAG;YACvH,IAAI;YACJ,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE;SAC3D,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,KAAqB,EACrB,OAAyB,EACzB,IAAY,EACZ,MAAuB;IAEvB,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,oEAAoE;QACpE,qEAAqE;QACrE,OAAO;IACT,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;IAC9B,IAAI,CAAC,IAAI;QAAE,OAAO;IAElB,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,sBAAsB;YAC5B,OAAO,EAAE,gBAAgB,IAAI,mCAAmC,OAAO,EAAE;YACzE,IAAI,EAAE,GAAG,IAAI,OAAO;YACpB,SAAS,EAAE,QAAQ;YACnB,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;SACjC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,cAAc,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9D,mBAAmB,CACjB,KAAK,CAAC,cAAc,EACpB,MAAM,EACN,OAAO,EACP,GAAG,IAAI,iBAAiB,EACxB,MAAM,CACP,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,CAAyC,EACzC,MAAqB,EACrB,OAAyB,EACzB,IAAY,EACZ,MAAuB;IAEvB,MAAM,KAAK,GAAG,CAAC,CAAS,EAAW,EAAE,CACnC,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACnD,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YAClB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnB,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,oBAAoB,CAAC,sBAAsB,MAAM,CAAC,IAAI,KAAK,OAAO,GAAG;oBAC9E,IAAI;oBACJ,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE;iBACnD,CAAC,CAAC;YACL,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnB,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,2BAA2B;wBACjC,OAAO,EAAE,sCAAsC,CAAC,sBAAsB,MAAM,CAAC,IAAI,KAAK,OAAO,GAAG;wBAChG,IAAI;wBACJ,SAAS,EAAE,QAAQ;wBACnB,MAAM,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE;qBACnD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,iEAAiE;YACjE,kEAAkE;YAClE,wCAAwC;YACxC,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;gBACxC,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChE,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,CAAC,IAAI,CAAC;wBACV,QAAQ,EAAE,OAAO;wBACjB,IAAI,EAAE,2BAA2B;wBACjC,OAAO,EAAE,4BAA4B,CAAC,CAAC,OAAO,0BAA0B,MAAM,CAAC,IAAI,KAAK,OAAO,GAAG;wBAClG,IAAI;wBACJ,SAAS,EAAE,QAAQ;wBACnB,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE;qBAC7D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,mCAAmC;YACrC,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,QAAQ;YACX,kEAAkE;YAClE,2DAA2D;YAC3D,MAAM;IACV,CAAC;AACH,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,KAA8C,EAC9C,OAAyB,EACzB,IAAY,EACZ,mBAA+C,EAC/C,MAAuB;IAEvB,kEAAkE;IAClE,8DAA8D;IAC9D,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC5D,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChC,IAAI,EAAE,EAAE,CAAC;YACP,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC9C,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,aAAa,EAAE,yCAAyC,OAAO,EAAE;oBAC1E,IAAI,EAAE,GAAG,IAAI,WAAW;oBACxB,SAAS,EAAE,UAAU;oBACrB,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE;iBAC/B,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBACvB,+DAA+D;gBAC/D,iEAAiE;gBACjE,2BAA2B;gBAC3B,oBAAoB,CAClB,KAAK,CAAC,KAAK,EACX,KAAK,CAAC,WAAW,EACjB,EAAE,EACF,GAAG,IAAI,QAAQ,EACf,MAAM,CACP,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO;IACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC;IACzC,IAAI,CAAC,QAAQ;QAAE,OAAO;IACtB,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAEtD,+DAA+D;IAC/D,mEAAmE;IACnE,MAAM,UAAU,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,SAAS;gBACnB,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,iBAAiB,QAAQ,sEAAsE,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,QAAQ,OAAO,EAAE;gBAC9K,IAAI,EAAE,GAAG,IAAI,cAAc;gBAC3B,SAAS,EAAE,UAAU;gBACrB,MAAM,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE;aACrC,CAAC,CAAC;QACL,CAAC;QACD,OAAO;IACT,CAAC;IAED,wEAAwE;IACxE,sEAAsE;IACtE,gEAAgE;IAChE,kEAAkE;IAClE,gEAAgE;IAChE,6BAA6B;IAC7B,IAAI,mBAAmB,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9D,MAAM,UAAU,GAAG,MAAM,uBAAuB,CAC9C,mBAAmB,EACnB,OAAO,CACR,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,CACjB,MAAM,OAAO,CAAC,GAAG,CACf,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAAC,CACxE,CACF,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChB,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,KAAK,GACT,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBACzE,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,yBAAyB,KAAK,OAAO,OAAO,EAAE;oBACnE,IAAI,EAAE,GAAG,IAAI,cAAc;oBAC3B,SAAS,EAAE,UAAU;oBACrB,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE;iBACpD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;QACtC,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;YAC9D,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,aAAa,QAAQ,oBAAoB,IAAI,CAAC,IAAI,KAAK,OAAO,GAAG;oBAC1E,IAAI,EAAE,GAAG,IAAI,WAAW;oBACxB,SAAS,EAAE,UAAU;oBACrB,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE;iBACzD,CAAC,CAAC;YACL,CAAC;iBAAM,IACL,KAAK,CAAC,QAAQ;gBACd,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa;gBACrC,KAAK,CAAC,QAAQ,CAAC,KAAK,EACpB,CAAC;gBACD,kBAAkB,CAChB,IAAI,EACJ,KAAK,CAAC,QAAQ,CAAC,KAAK,EACpB,IAAI,EACJ,IAAI,CAAC,IAAI,EACT,QAAQ,EACR,MAAM,CACP,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAqB,EACrB,QAAgB,EAChB,IAAY,EACZ,QAAgB,EAChB,QAAgB,EAChB,MAAuB;IAEvB,iEAAiE;IACjE,kEAAkE;IAClE,kEAAkE;IAClE,2EAA2E;IAC3E,0EAA0E;IAC1E,wBAAwB;IACxB,MAAM,aAAa,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IAC7C,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,aAAa;QAAE,OAAO;IAC3E,MAAM,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,WAAW,IAAI,aAAa,KAAK,WAAW;QAAE,OAAO;IACzD,sEAAsE;IACtE,uEAAuE;IACvE,iDAAiD;IACjD,MAAM,CAAC,IAAI,CAAC;QACV,QAAQ,EAAE,OAAO;QACjB,IAAI,EAAE,yBAAyB;QAC/B,OAAO,EAAE,GAAG,QAAQ,IAAI,QAAQ,aAC9B,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IACxB,yBAAyB,QAAQ,EAAE;QACnC,IAAI,EAAE,GAAG,IAAI,WAAW;QACxB,SAAS,EAAE,UAAU;QACrB,MAAM,EAAE;YACN,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI;YACpC,MAAM,EAAE,QAAQ;YAChB,QAAQ,EAAE,QAAQ;SACnB;KACF,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,oBAAoB,CAC3B,CAAyC,EACzC,WAAmB,EACnB,QAAgB,EAChB,IAAY,EACZ,MAAuB;IAEvB,oEAAoE;IACpE,oCAAoC;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO;IACrC,MAAM,YAAY,GAChB,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QACrE,CAAC,CAAC,CAAC,CAAC,IAAI;QACR,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,QAA4B,CAAC;IACjC,IAAI,YAAY,EAAE,CAAC;QACjB,QAAQ,GAAG,YAAY,CAAC;IAC1B,CAAC;SAAM,CAAC;QACN,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,SAAS,CAAC;YACf,KAAK,aAAa;gBAChB,QAAQ,GAAG,WAAW,CAAC;gBACvB,MAAM;YACR,KAAK,QAAQ;gBACX,IACE,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ;oBAC5B,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ;oBAC/B,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,EAC/B,CAAC;oBACD,QAAQ,GAAG,WAAW,CAAC;gBACzB,CAAC;qBAAM,CAAC;oBACN,QAAQ,GAAG,WAAW,CAAC;gBACzB,CAAC;gBACD,MAAM;QACV,CAAC;IACH,CAAC;IACD,IAAI,CAAC,QAAQ;QAAE,OAAO;IACtB,IAAI,CAAC,kBAAkB,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,wBAAwB,QAAQ,sCAAsC,QAAQ,cAAc,WAAW,GAAG;YACnH,IAAI;YACJ,SAAS,EAAE,UAAU;YACrB,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE;SACtD,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,kBAAkB,CAAC,QAAgB,EAAE,QAAgB;IAC5D,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,UAAU,CAAC,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,IAA6B;IACvD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,wBAAwB,CAAC;QAClC,KAAK,aAAa;YAChB,OAAO,4BAA4B,CAAC;QACtC,KAAK,MAAM;YACT,OAAO,sBAAsB,CAAC;QAChC,KAAK,SAAS;YACZ,OAAO,yBAAyB,CAAC;QACnC,KAAK,WAAW;YACd,OAAO,2BAA2B,CAAC;QACrC;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,OAAyB,EACzB,UAAkB,EAClB,UAA6B;IAE7B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,MAAM,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,uBAAuB,CACpC,KAAqB,EACrB,OAAyB;IAEzB,QAAQ,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,aAAa;YAChB,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,KAAK,aAAa;YAChB,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,CAAC;gBACH,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;gBACjD,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,gBAAgB,CAAC,CAAC;gBACvD,MAAM,IAAI,GAAG,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;gBACxC,OAAO,IAAI;qBACR,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;qBAC/D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,EAAE,CAAC;YACZ,CAAC;QACH,CAAC;QACD;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,KAAK,UAAU,mBAAmB,CAChC,KAA+C,EAC/C,OAAyB,EACzB,IAAY,EACZ,mBAA+C,EAC/C,MAAuB;IAEvB,IAAI,CAAC,mBAAmB;QAAE,OAAO,CAAC,uCAAuC;IACzE,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO;IAC5D,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO;IAE9C,MAAM,UAAU,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;IAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;IAClC,IAAI,CAAC,UAAU,IAAI,CAAC,QAAQ;QAAE,OAAO;IAErC,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,kCAAkC;IAElE,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,+BAA+B;YACrC,OAAO,EAAE,cAAc,QAAQ,uBAAuB,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,GAAG;YAClF,IAAI,EAAE,GAAG,IAAI,OAAO;YACpB,SAAS,EAAE,WAAW;YACtB,MAAM,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE;SAChE,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IAED,qEAAqE;IACrE,oEAAoE;IACpE,kEAAkE;IAClE,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO;IACtC,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACpD,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,0CAA0C;IAC7D,oEAAoE;IACpE,yCAAyC;IACzC,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAChD,MAAM,iBAAiB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;IACjE,MAAM,iBAAiB,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACrD,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC,CAAC,CACrC,CAAC;IACF,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACjD,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CACjC,CAAC;IACF,IAAI,CAAC,iBAAiB,IAAI,aAAa,EAAE,CAAC;QACxC,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,+BAA+B;YACrC,OAAO,EAAE,cAAc,QAAQ,QAAQ,WAAW,sFAAsF,OAAO,GAAG;YAClJ,IAAI,EAAE,GAAG,IAAI,QAAQ;YACrB,SAAS,EAAE,WAAW;YACtB,MAAM,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE;SAC9D,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CACxB,KAA+B,EAC/B,QAAgB;IAEhB,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACrC,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK;gBAAE,OAAO,IAAI,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,KAA4C,EAC5C,OAAyB,EACzB,IAAY,EACZ,mBAA+C,EAC/C,MAAuB;IAEvB,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,OAAO,CAAC,CAAC;IACpD,kEAAkE;IAClE,2DAA2D;IAC3D,mEAAmE;IACnE,qBAAqB;IACrB,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,QAAQ,CAAC;IAClD,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC;IAClE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,OAAO;YACjB,IAAI,EAAE,uBAAuB;YAC7B,OAAO,EAAE,oBAAoB,KAAK,sBAAsB,OAAO,EAAE;YACjE,IAAI,EAAE,GAAG,IAAI,WAAW;YACxB,SAAS,EAAE,QAAQ;YACnB,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE;SAClC,CAAC,CAAC;QACH,OAAO;IACT,CAAC;IACD,IACE,KAAK,CAAC,MAAM;QACZ,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QACxC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EACvB,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;QACrC,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,kBAAkB,IAAI,mCAAmC,OAAO,EAAE;gBAC3E,IAAI,EAAE,GAAG,IAAI,cAAc;gBAC3B,SAAS,EAAE,QAAQ;gBACnB,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;aACjC,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,gEAAgE;QAChE,iEAAiE;QACjE,2DAA2D;QAC3D,gEAAgE;QAChE,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC;QACjC,MAAM,EAAE,GAAG,MAAM,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACpE,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,mBAAmB,MAAM,CAAC,IAAI,0BAA0B,SAAS,iBAAiB,KAAK,CAAC,QAAQ,KAAK,OAAO,GAAG;gBACxH,IAAI,EAAE,GAAG,IAAI,cAAc;gBAC3B,SAAS,EAAE,QAAQ;gBACnB,MAAM,EAAE;oBACN,KAAK,EAAE,MAAM,CAAC,IAAI;oBAClB,QAAQ,EAAE,SAAS;oBACnB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,OAAO;iBACR;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,sEAAsE;IACtE,yDAAyD;IACzD,kEAAkE;IAClE,6CAA6C;IAC7C,IACE,mBAAmB;QACnB,mBAAmB,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa;QAC/C,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAC9B,CAAC;QACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;QAC/C,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC5E,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,OAAO;gBACjB,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,yBAAyB,OAAO,6BAA6B,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,4CAA4C,QAAQ,CAAC,MAAM,MAAM,OAAO,GAAG;gBAClL,IAAI,EAAE,GAAG,IAAI,WAAW;gBACxB,SAAS,EAAE,QAAQ;gBACnB,MAAM,EAAE;oBACN,aAAa,EAAE,OAAO;oBACtB,QAAQ,EAAE,QAAQ,CAAC,MAAM;oBACzB,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,OAAO;iBACR;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC"}