@ifc-lite/semantic 0.1.0

package/dist/profiles.js

@@ -0,0 +1,174 @@
+/* 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/. */
+/** Technology-neutral profile. This is the only source for exchange and graph constraints. */
+import { isObject, GUID_PATTERN, assertIri } from './types.js';
+export { GUID_PATTERN } from './types.js';
+export const PROFILE_ID = 'https://example.org/ifc-lite/semantic-pilot/v1';
+export const VOCAB = 'https://example.org/ifc-lite/semantic-pilot#';
+export const RESOURCE_TYPES = ['Building', 'Logbook', 'Installation', 'Product', 'Passport', 'Inspection'];
+const iri = (name, targetType) => ({ iri: VOCAB + name, kind: 'iri', targetType });
+const common = ['label', 'dictionaryUri', 'evidenceId'];
+const type = (name, extra, required) => ({ iri: VOCAB + name,
+    fields: Object.fromEntries([...common, ...extra].map(key => [key, { maxCount: 1, minCount: key === 'label' || required.includes(key) ? 1 : 0 }])) });
+export const DEFAULT_PROFILE = {
+    id: PROFILE_ID, version: '1.0.0', vocabulary: VOCAB,
+    fields: {
+        label: { iri: VOCAB + 'label', kind: 'string' },
+        buildingId: iri('buildingId', 'Building'), productId: iri('productId', 'Product'), passportId: iri('passportId', 'Passport'),
+        installationId: iri('installationId', 'Installation'), replacesId: iri('replacesId', 'Installation'),
+        evidenceId: { ...iri('evidenceId'), external: true }, dictionaryUri: { ...iri('dictionaryUri'), external: true },
+        modelRevision: { ...iri('modelRevision'), external: true }, GlobalId: { iri: VOCAB + 'GlobalId', kind: 'string', pattern: GUID_PATTERN },
+        granularity: { iri: VOCAB + 'granularity', kind: 'string', enum: ['model', 'batch', 'item'] }, fireRating: { iri: VOCAB + 'fireRating', kind: 'string' },
+        thermalTransmittance: { iri: VOCAB + 'thermalTransmittance', kind: 'number', minimum: 0, unit: 'W/(m2.K)' },
+    },
+    types: {
+        Building: type('Building', [], []), Logbook: type('Logbook', ['buildingId'], ['buildingId']),
+        Installation: type('Installation', ['buildingId', 'productId', 'replacesId', 'GlobalId', 'modelRevision'], ['buildingId', 'productId']),
+        Product: type('Product', ['passportId', 'granularity', 'fireRating', 'thermalTransmittance'], ['granularity']),
+        Passport: type('Passport', ['productId', 'granularity', 'fireRating', 'thermalTransmittance'], ['productId', 'granularity']),
+        Inspection: type('Inspection', ['installationId'], ['installationId']),
+    },
+};
+export function isUri(value) {
+    try {
+        assertIri(value);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/** Shared bounded pattern policy for both profile-generated and imported shapes. */
+export function assertBoundedPattern(pattern, location) {
+    // Several optional/ranged repetitions can backtrack combinatorially even
+    // without groups. Count actual quantifiers, ignoring escapes and classes.
+    let variableRepetitions = 0;
+    let inClass = false;
+    let alternation = false;
+    for (let index = 0; index < pattern.length; index++) {
+        const character = pattern[index];
+        if (character === '\\') {
+            // XPath/SPARQL and JavaScript assign different alphabets to shorthand
+            // and property classes. Require explicit ranges, including in classes.
+            if ('dDwWsSpP'.includes(pattern[index + 1] ?? '\0'))
+                throw new Error(`Pattern for ${location} requires explicit character ranges instead of shorthand or property classes`);
+            index++;
+            continue;
+        }
+        if (inClass) {
+            if (character === ']')
+                inClass = false;
+            continue;
+        }
+        if (character === '[') {
+            inClass = true;
+            continue;
+        }
+        if (character === '|')
+            alternation = true;
+        if ('+*?'.includes(character))
+            variableRepetitions++;
+        if (character === '{') {
+            const range = /^\{(\d+)(?:,(\d+))?\}/.exec(pattern.slice(index));
+            if (range) {
+                if (range[2] !== undefined && Number(range[1]) !== Number(range[2]))
+                    variableRepetitions++;
+                index += range[0].length - 1;
+            }
+        }
+    }
+    if (pattern.length > 256 || /[()]|\\[1-9]/.test(pattern) || /[{}]/.test(pattern.replace(/\{[0-9]+(?:,[0-9]+)?\}/g, ''))
+        || variableRepetitions > 1 || variableRepetitions > 0 && (!pattern.startsWith('^') || alternation)
+        || [...pattern.matchAll(/\{([0-9]+)(?:,([0-9]+))?\}/g)].some(match => Number(match[1]) > 5000 || Number(match[2] ?? 0) > 5000)) {
+        throw new Error(`Pattern for ${location} exceeds the supported bounded regular-expression subset`);
+    }
+    new RegExp(pattern, 'u');
+}
+/** Validate profiles before compiling schemas or executing graph validation. */
+export function assertProfile(value) {
+    if (!isObject(value) || typeof value.id !== 'string' || typeof value.vocabulary !== 'string'
+        || typeof value.version !== 'string' || !isObject(value.fields) || !isObject(value.types))
+        throw new Error('Profile requires id, version, vocabulary, fields and types');
+    const closed = (object, allowed, location) => {
+        const unknown = Object.keys(object).find(key => !allowed.includes(key));
+        if (unknown)
+            throw new Error(`Unsupported profile member ${location}.${unknown}`);
+    };
+    closed(value, ['id', 'version', 'vocabulary', 'fields', 'types'], 'profile');
+    const labels = (candidate) => candidate === undefined || isObject(candidate) && Object.values(candidate).every(label => typeof label === 'string');
+    for (const [name, field] of Object.entries(value.fields)) {
+        if (!isObject(field) || typeof field.iri !== 'string' || typeof field.kind !== 'string'
+            || !labels(field.labels) || field.enum !== undefined && (!Array.isArray(field.enum) || field.enum.some(item => !['string', 'number', 'boolean'].includes(typeof item)))
+            || field.pattern !== undefined && typeof field.pattern !== 'string' || field.minimum !== undefined && typeof field.minimum !== 'number'
+            || field.maximum !== undefined && typeof field.maximum !== 'number' || field.unit !== undefined && typeof field.unit !== 'string'
+            || field.targetType !== undefined && typeof field.targetType !== 'string' || field.external !== undefined && typeof field.external !== 'boolean')
+            throw new Error('Invalid profile field definition');
+        closed(field, ['iri', 'kind', 'labels', 'enum', 'pattern', 'minimum', 'maximum', 'unit', 'targetType', 'external'], `field ${name}`);
+    }
+    for (const [name, definition] of Object.entries(value.types)) {
+        if (!isObject(definition) || typeof definition.iri !== 'string' || !isObject(definition.fields) || !labels(definition.labels))
+            throw new Error('Invalid profile type definition');
+        closed(definition, ['iri', 'labels', 'fields'], `type ${name}`);
+        for (const [key, count] of Object.entries(definition.fields)) {
+            if (!isObject(count) || count.minCount !== undefined && typeof count.minCount !== 'number'
+                || count.maxCount !== undefined && typeof count.maxCount !== 'number')
+                throw new Error('Invalid profile cardinality');
+            closed(count, ['minCount', 'maxCount'], `${name}.${key}`);
+        }
+    }
+    const profile = value;
+    if (!isUri(profile.id) || !isUri(profile.vocabulary) || !profile.version)
+        throw new Error('Profile requires absolute identifiers and a version');
+    if (!Object.keys(profile.types).length || Object.keys(profile.types).length > 100 || Object.keys(profile.fields).length > 500)
+        throw new Error('Profile exceeds the 100 type / 500 field limit');
+    const terms = new Set();
+    for (const [name, field] of Object.entries(profile.fields)) {
+        if (['id', 'type', '__proto__', 'constructor', 'prototype'].includes(name) || !isUri(field.iri) || terms.has(field.iri))
+            throw new Error(`Invalid or duplicate profile field: ${name}`);
+        terms.add(field.iri);
+        if (!['string', 'number', 'integer', 'boolean', 'iri', 'language'].includes(field.kind))
+            throw new Error(`Unsupported field kind: ${name}`);
+        if (field.pattern && !['string', 'iri'].includes(field.kind))
+            throw new Error(`Pattern requires a string field: ${name}`);
+        if ((field.minimum !== undefined || field.maximum !== undefined) && !['number', 'integer'].includes(field.kind))
+            throw new Error(`Range requires a numeric field: ${name}`);
+        if (field.pattern)
+            assertBoundedPattern(field.pattern, name);
+        if (field.enum && (!field.enum.length || field.enum.length > 1000))
+            throw new Error(`Invalid enum: ${name}`);
+        if (field.enum?.some(value => field.kind === 'iri' ? typeof value !== 'string' || !isUri(value)
+            : field.kind === 'integer' ? typeof value !== 'number' || !Number.isSafeInteger(value)
+                : field.kind === 'number' ? typeof value !== 'number' || !Number.isFinite(value)
+                    : field.kind === 'language' || typeof value !== field.kind))
+            throw new Error(`Enum values do not match field kind: ${name}`);
+        if (field.minimum !== undefined && !Number.isFinite(field.minimum) || field.maximum !== undefined && !Number.isFinite(field.maximum))
+            throw new Error(`Non-finite range: ${name}`);
+        if (field.minimum !== undefined && field.maximum !== undefined && field.minimum > field.maximum)
+            throw new Error(`Inverted range: ${name}`);
+        if (field.kind === 'integer' && (field.minimum !== undefined && !Number.isSafeInteger(field.minimum)
+            || field.maximum !== undefined && !Number.isSafeInteger(field.maximum)))
+            throw new Error(`Integer profile ranges must use JavaScript safe integers: ${name}`);
+        if (field.targetType && (!Object.hasOwn(profile.types, field.targetType) || field.kind !== 'iri'))
+            throw new Error(`Invalid target type: ${name}`);
+    }
+    for (const [name, definition] of Object.entries(profile.types)) {
+        if (!isUri(definition.iri) || terms.has(definition.iri) || ['id', 'type', '__proto__', 'constructor', 'prototype'].includes(name) || Object.hasOwn(profile.fields, name))
+            throw new Error(`Invalid type: ${name}`);
+        if (!definition.fields.label || profile.fields.label?.kind !== 'string'
+            || definition.fields.label.minCount !== 1 || (definition.fields.label.maxCount ?? 1) !== 1)
+            throw new Error(`Type ${name} requires exactly one common string label field`);
+        terms.add(definition.iri);
+        for (const [key, count] of Object.entries(definition.fields)) {
+            if (!Object.hasOwn(profile.fields, key))
+                throw new Error(`Unknown field ${key} on ${name}`);
+            const min = count.minCount ?? 0;
+            const max = count.maxCount ?? 1;
+            if (!Number.isInteger(min) || !Number.isInteger(max) || min < 0 || max < min || max < 1 || max > 5000)
+                throw new Error(`Invalid cardinality: ${name}.${key}`);
+            if (profile.fields[key].kind === 'language' && (max !== 1 || min > 1))
+                throw new Error(`Language maps use one value per language: ${name}.${key}`);
+        }
+    }
+}
+//# sourceMappingURL=profiles.js.map

package/dist/profiles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"profiles.js","sourceRoot":"","sources":["../src/profiles.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,8FAA8F;AAC9F,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAe1C,MAAM,CAAC,MAAM,UAAU,GAAG,gDAAgD,CAAC;AAC3E,MAAM,CAAC,MAAM,KAAK,GAAG,8CAA8C,CAAC;AACpE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,UAAU,EAAE,YAAY,CAAU,CAAC;AACpH,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,UAAmB,EAAgB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;AAClH,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;AACxD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAe,EAAE,QAAkB,EAAe,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,GAAG,IAAI;IACnG,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,KAAK,OAAO,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACvJ,MAAM,CAAC,MAAM,eAAe,GAAsB;IAChD,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK;IACnD,MAAM,EAAE;QACN,KAAK,EAAE,EAAE,GAAG,EAAE,KAAK,GAAG,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC/C,UAAU,EAAE,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,WAAW,EAAE,SAAS,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,YAAY,EAAE,UAAU,CAAC;QAC5H,cAAc,EAAE,GAAG,CAAC,gBAAgB,EAAE,cAAc,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,YAAY,EAAE,cAAc,CAAC;QACpG,UAAU,EAAE,EAAE,GAAG,GAAG,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,aAAa,EAAE,EAAE,GAAG,GAAG,CAAC,eAAe,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE;QAChH,aAAa,EAAE,EAAE,GAAG,GAAG,CAAC,eAAe,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,KAAK,GAAG,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE;QACxI,WAAW,EAAE,EAAE,GAAG,EAAE,KAAK,GAAG,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,KAAK,GAAG,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE;QACxJ,oBAAoB,EAAE,EAAE,GAAG,EAAE,KAAK,GAAG,sBAAsB,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE;KAC5G;IACD,KAAK,EAAE;QACL,QAAQ,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;QAC5F,YAAY,EAAE,IAAI,CAAC,cAAc,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,eAAe,CAAC,EAAE,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;QACvI,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,YAAY,EAAE,sBAAsB,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;QAC9G,QAAQ,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,sBAAsB,CAAC,EAAE,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QAC5H,UAAU,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC;KACvE;CACF,CAAC;AACF,MAAM,UAAU,KAAK,CAAC,KAAa;IACjC,IAAI,CAAC;QAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AAChE,CAAC;AACD,oFAAoF;AACpF,MAAM,UAAU,oBAAoB,CAAC,OAAe,EAAE,QAAgB;IACpE,yEAAyE;IACzE,0EAA0E;IAC1E,IAAI,mBAAmB,GAAG,CAAC,CAAC;IAAC,IAAI,OAAO,GAAG,KAAK,CAAC;IAAC,IAAI,WAAW,GAAG,KAAK,CAAC;IAC1E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,sEAAsE;YACtE,uEAAuE;YACvE,IAAI,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,eAAe,QAAQ,8EAA8E,CAAC,CAAC;YAC5K,KAAK,EAAE,CAAC;YAAC,SAAS;QACpB,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YAAC,IAAI,SAAS,KAAK,GAAG;gBAAE,OAAO,GAAG,KAAK,CAAC;YAAC,SAAS;QAAC,CAAC;QAClE,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YAAC,OAAO,GAAG,IAAI,CAAC;YAAC,SAAS;QAAC,CAAC;QACpD,IAAI,SAAS,KAAK,GAAG;YAAE,WAAW,GAAG,IAAI,CAAC;QAC1C,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,mBAAmB,EAAE,CAAC;QACrD,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YACjE,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAAE,mBAAmB,EAAE,CAAC;gBAC3F,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,GAAG,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,yBAAyB,EAAE,EAAE,CAAC,CAAC;WAClH,mBAAmB,GAAG,CAAC,IAAI,mBAAmB,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC;WAC/F,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,6BAA6B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QACjI,MAAM,IAAI,KAAK,CAAC,eAAe,QAAQ,0DAA0D,CAAC,CAAC;IACrG,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AAC3B,CAAC;AACD,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ;WACvF,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAC3K,MAAM,MAAM,GAAG,CAAC,MAA+B,EAAE,OAA0B,EAAE,QAAgB,EAAE,EAAE;QAC/F,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QACxE,IAAI,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,IAAI,OAAO,EAAE,CAAC,CAAC;IACpF,CAAC,CAAC;IACF,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,CAAC,SAAkB,EAAE,EAAE,CAAC,SAAS,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC;IAC5J,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACzD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;eACpF,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;eACpK,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ;eACpI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;eAC9H,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACtM,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC;IACvI,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7D,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,OAAO,UAAU,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QAClL,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;mBACrF,KAAK,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;YACxH,MAAM,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,KAAqC,CAAC;IACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACjJ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACjM,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3D,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,EAAE,CAAC,CAAC;QACxL,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC;QAC5I,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,EAAE,CAAC,CAAC;QAC1H,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,IAAI,EAAE,CAAC,CAAC;QAC5K,IAAI,KAAK,CAAC,OAAO;YAAE,oBAAoB,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7D,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;QAC7G,IAAI,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAC7F,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;gBACpF,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAC9E,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,IAAI,EAAE,CAAC,CAAC;QACnI,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,EAAE,CAAC,CAAC;QACnL,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,EAAE,CAAC,CAAC;QAC5I,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC;eAC/F,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6DAA6D,IAAI,EAAE,CAAC,CAAC;QAChK,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,EAAE,CAAC,CAAC;IACrJ,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC;QACnN,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,KAAK,QAAQ;eAClE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,IAAI,iDAAiD,CAAC,CAAC;QAC7K,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAC1B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,OAAO,IAAI,EAAE,CAAC,CAAC;YAC5F,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;YAAC,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,IAAI,CAAC,CAAC;YACjE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,GAAG,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;YAC9J,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;QACrJ,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/projection.d.ts

@@ -0,0 +1,8 @@
+import { type ProfileDefinition } from './profiles.js';
+import type { SemanticDocument } from './profile-types.js';
+import type { SparqlResults } from './types.js';
+export type BindingMapping = Record<string, string>;
+export declare const DEFAULT_MAPPING: BindingMapping;
+/** Explicit profile projection; raw SELECT rows remain the authoritative lossless data. */
+export declare function resourcesFromResults(results: SparqlResults, source: string, mapping?: BindingMapping, profile?: ProfileDefinition): SemanticDocument;
+//# sourceMappingURL=projection.d.ts.map

package/dist/projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection.d.ts","sourceRoot":"","sources":["../src/projection.ts"],"names":[],"mappings":"AAIA,OAAO,EAAmB,KAAK,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,KAAK,EAAoB,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,KAAK,EAAc,aAAa,EAAE,MAAM,YAAY,CAAC;AAE5D,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AACpD,eAAO,MAAM,eAAe,EAAE,cAAiH,CAAC;AAsBhJ,2FAA2F;AAC3F,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE,cAAgC,EACpH,OAAO,GAAE,iBAAmC,GAAG,gBAAgB,CAqBhE"}

package/dist/projection.js

@@ -0,0 +1,70 @@
+/* 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 { DEFAULT_PROFILE } from './profiles.js';
+import { documentOf } from './validation.js';
+export const DEFAULT_MAPPING = { id: 'id', type: 'type', label: 'label', GlobalId: 'GlobalId', modelRevision: 'modelRevision' };
+const XSD = 'http://www.w3.org/2001/XMLSchema#';
+function projected(term, kind, field) {
+    if (kind === 'iri') {
+        if (term.type !== 'uri')
+            throw new Error(`Expected IRI: ${field}`);
+        return term.value;
+    }
+    if (term.type !== 'literal')
+        throw new Error(`Expected literal: ${field}`);
+    if (kind === 'language') {
+        if (!term['xml:lang'])
+            throw new Error(`Expected language-tagged literal: ${field}`);
+        return { [term['xml:lang']]: term.value };
+    }
+    if (term['xml:lang'])
+        throw new Error(`Profile string cannot discard language: ${field}`);
+    if (kind === 'string') {
+        if (term.datatype && term.datatype !== XSD + 'string')
+            throw new Error(`Expected string datatype: ${field}`);
+        return term.value;
+    }
+    if (kind === 'boolean') {
+        if (term.datatype !== XSD + 'boolean' || !['true', 'false', '1', '0'].includes(term.value))
+            throw new Error(`Expected boolean: ${field}`);
+        return term.value === 'true' || term.value === '1';
+    }
+    if (!term.datatype || ![XSD + 'integer', XSD + 'decimal', XSD + 'double', XSD + 'float'].includes(term.datatype)
+        || !term.value.trim() || !Number.isFinite(Number(term.value)) || (kind === 'integer' && !Number.isSafeInteger(Number(term.value))))
+        throw new Error(`Expected bounded numeric literal: ${field}`);
+    return Number(term.value);
+}
+/** Explicit profile projection; raw SELECT rows remain the authoritative lossless data. */
+export function resourcesFromResults(results, source, mapping = DEFAULT_MAPPING, profile = DEFAULT_PROFILE) {
+    const records = new Map();
+    for (const row of results.rows) {
+        const id = row[mapping.id ?? 'id'];
+        const type = row[mapping.type ?? 'type'];
+        const label = row[mapping.label ?? 'label'];
+        if (id?.type !== 'uri' || !type || type.type === 'bnode' || label?.type !== 'literal')
+            throw new Error('Project resource id, type and label columns explicitly');
+        const typeName = type.type === 'uri' ? Object.keys(profile.types).find(key => profile.types[key].iri === type.value) : type.value;
+        if (!typeName || !Object.hasOwn(profile.types, typeName))
+            throw new Error(`Unsupported profile type: ${type.value}`);
+        const projectedLabel = projected(label, 'string', 'label');
+        if (typeof projectedLabel !== 'string')
+            throw new Error('Label must be a profile string');
+        const record = { id: id.value, type: typeName, label: projectedLabel };
+        for (const key of Object.keys(profile.types[typeName].fields)) {
+            if (key === 'label')
+                continue;
+            const term = row[mapping[key] ?? key];
+            if (!term)
+                continue;
+            const value = projected(term, profile.fields[key].kind, key);
+            record[key] = (profile.types[typeName].fields[key].maxCount ?? 1) > 1 ? [value] : value;
+        }
+        const existing = records.get(record.id);
+        if (existing && JSON.stringify(existing) !== JSON.stringify(record))
+            throw new Error(`Conflicting profile rows for ${record.id}; raw dataset is preserved, aggregate projection explicitly`);
+        records.set(record.id, record);
+    }
+    return documentOf([...records.values()], source, profile);
+}
+//# sourceMappingURL=projection.js.map

package/dist/projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection.js","sourceRoot":"","sources":["../src/projection.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EAAE,eAAe,EAA0B,MAAM,eAAe,CAAC;AAGxE,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,MAAM,CAAC,MAAM,eAAe,GAAmB,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,CAAC;AAChJ,MAAM,GAAG,GAAG,mCAAmC,CAAC;AAChD,SAAS,SAAS,CAAC,IAAgB,EAAE,IAAY,EAAE,KAAa;IAC9D,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,EAAE,CAAC,CAAC;QAAC,OAAO,IAAI,CAAC,KAAK,CAAC;IAAC,CAAC;IAC9G,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,EAAE,CAAC,CAAC;IAC3E,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,EAAE,CAAC,CAAC;QACrF,OAAO,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC5C,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,KAAK,EAAE,CAAC,CAAC;IAC1F,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,GAAG,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,KAAK,EAAE,CAAC,CAAC;QAC7G,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,QAAQ,KAAK,GAAG,GAAG,SAAS,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,KAAK,EAAE,CAAC,CAAC;QAC1I,OAAO,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,GAAG,CAAC;IACrD,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,GAAG,SAAS,EAAE,GAAG,GAAG,SAAS,EAAE,GAAG,GAAG,QAAQ,EAAE,GAAG,GAAG,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC;WAC3G,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,KAAK,EAAE,CAAC,CAAC;IACpM,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5B,CAAC;AACD,2FAA2F;AAC3F,MAAM,UAAU,oBAAoB,CAAC,OAAsB,EAAE,MAAc,EAAE,UAA0B,eAAe,EACpH,UAA6B,eAAe;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAA4B,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC;QAAC,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC;QAAC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC;QAC1H,IAAI,EAAE,EAAE,IAAI,KAAK,KAAK,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QACjK,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAClI,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACrH,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3D,IAAI,OAAO,cAAc,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;QAC1F,MAAM,MAAM,GAAqB,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;QACzF,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,IAAI,GAAG,KAAK,OAAO;gBAAE,SAAS;YAC9B,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;YAAC,IAAI,CAAC,IAAI;gBAAE,SAAS;YAC3D,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC7D,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1F,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxC,IAAI,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,MAAM,CAAC,EAAE,6DAA6D,CAAC,CAAC;QAC7L,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,UAAU,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AAC5D,CAAC"}

package/dist/provider.d.ts

@@ -0,0 +1,35 @@
+import { type FetchTransport } from '@ifc-lite/sandbox/network';
+import { type SparqlResults } from './types.js';
+export interface ProviderReadOptions {
+    endpoint: string;
+    host: string;
+    kind: 'json' | 'select' | 'construct';
+    query?: string;
+    bearer?: string;
+    authorizedGraphs?: readonly string[];
+    relayProvider?: string;
+    timeoutMs?: number;
+    maxBytes?: number;
+}
+export type ProviderResult = {
+    source: string;
+    retrievedAt: string;
+} & ({
+    kind: 'json';
+    value: unknown;
+} | {
+    kind: 'select';
+    value: SparqlResults;
+} | {
+    kind: 'construct';
+    value: string;
+    format: 'text/turtle';
+    quadCount: number;
+});
+export interface SemanticProvider {
+    read(options: ProviderReadOptions, signal?: AbortSignal): Promise<ProviderResult>;
+}
+export declare function createSemanticProvider(transport?: FetchTransport): SemanticProvider;
+/** Compatibility helper for existing JSON/SELECT integrations. Credentials are never persisted. */
+export declare function request(endpoint: string, host: string, signal?: AbortSignal, query?: string, transport?: FetchTransport, options?: Pick<ProviderReadOptions, 'bearer' | 'authorizedGraphs' | 'relayProvider'>): Promise<unknown>;
+//# sourceMappingURL=provider.d.ts.map

package/dist/provider.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider.d.ts","sourceRoot":"","sources":["../src/provider.ts"],"names":[],"mappings":"AAIA,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAKpF,OAAO,EAAU,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AACxD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,WAAW,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACtF,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CACtH;AACD,MAAM,MAAM,cAAc,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,CACnE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,aAAa,CAAA;CAAE,GAC3E;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AACpF,MAAM,WAAW,gBAAgB;IAAG,IAAI,CAAC,OAAO,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,CAAA;CAAE;AAYvH,wBAAgB,sBAAsB,CAAC,SAAS,CAAC,EAAE,cAAc,GAAG,gBAAgB,CAuCnF;AACD,mGAAmG;AACnG,wBAAsB,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,cAAc,EAC5H,OAAO,GAAE,IAAI,CAAC,mBAAmB,EAAE,QAAQ,GAAG,kBAAkB,GAAG,eAAe,CAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAK5G"}

package/dist/provider.js

@@ -0,0 +1,98 @@
+/* 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 { coreNetworkRequest } from '@ifc-lite/sandbox/network';
+import { parseCapability } from '@ifc-lite/extensions';
+import { Parser as RdfParser } from 'n3';
+import { assertReadOnlyQuery } from './query.js';
+import { parseResults } from './results.js';
+import { LIMITS } from './types.js';
+/** Inspect decoded strings and keys so JSON escapes cannot conceal a credential. */
+function assertNoCredential(value, bearer) {
+    if (!bearer)
+        return;
+    const pending = [value];
+    while (pending.length) {
+        const item = pending.pop();
+        if (typeof item === 'string' && item.includes(bearer))
+            throw new Error('Provider response contained a credential');
+        if (Array.isArray(item))
+            for (const nested of item)
+                pending.push(nested);
+        else if (item !== null && typeof item === 'object')
+            for (const [key, nested] of Object.entries(item))
+                pending.push(key, nested);
+    }
+}
+export function createSemanticProvider(transport) {
+    return { async read(options, signal) {
+            const timeoutMs = options.timeoutMs ?? LIMITS.timeoutMs;
+            const maxBytes = options.maxBytes ?? LIMITS.bytes;
+            if (!Number.isInteger(timeoutMs) || timeoutMs < 1 || timeoutMs > 60000 || !Number.isInteger(maxBytes) || maxBytes < 1 || maxBytes > LIMITS.bytes)
+                throw new Error('Invalid semantic provider limits');
+            if (options.relayProvider !== undefined && !/^[A-Za-z0-9_-]{1,80}$/.test(options.relayProvider))
+                throw new Error('Invalid relay provider id');
+            const capability = parseCapability(`network.fetch:${options.host}`);
+            if (!capability.ok)
+                throw new Error('Enter a valid explicitly granted hostname');
+            const endpoint = new URL(options.endpoint);
+            if (endpoint.username || endpoint.password || endpoint.search || endpoint.hash)
+                throw new Error('Endpoint credentials must be supplied separately; query parameters and fragments are disabled');
+            if (options.kind !== 'json' && (!options.query || assertReadOnlyQuery(options.query, options.authorizedGraphs) !== options.kind))
+                throw new Error('Query kind does not match provider request');
+            if (options.bearer !== undefined && (!options.bearer || /[\r\n]/u.test(options.bearer)))
+                throw new Error('Invalid bearer credential');
+            const headers = { Accept: options.kind === 'construct' ? 'text/turtle' : options.kind === 'select' ? 'application/sparql-results+json' : 'application/json' };
+            if (options.bearer)
+                headers.Authorization = `Bearer ${options.bearer}`;
+            if (options.relayProvider)
+                headers['Content-Type'] = 'application/json';
+            else if (options.kind !== 'json')
+                headers['Content-Type'] = 'application/x-www-form-urlencoded';
+            const response = await coreNetworkRequest({ url: endpoint.href, method: options.relayProvider || options.kind !== 'json' ? 'POST' : 'GET', headers,
+                body: options.relayProvider ? JSON.stringify({ providerId: options.relayProvider, kind: options.kind, query: options.query })
+                    : options.kind === 'json' ? undefined : new URLSearchParams({ query: options.query }).toString(),
+                signal, maxBytes, timeoutMs }, [capability.value], transport);
+            if (response.status < 200 || response.status >= 300)
+                throw new Error(`Endpoint returned HTTP ${response.status}`);
+            if (response.truncated)
+                throw new Error('Endpoint response exceeded semantic byte limit');
+            if (options.bearer && response.body.includes(options.bearer))
+                throw new Error('Provider response contained a credential');
+            const contentType = Object.entries(response.headers).find(([name]) => name.toLowerCase() === 'content-type')?.[1].split(';')[0].trim().toLowerCase();
+            const allowedContent = options.kind === 'construct' ? ['text/turtle'] : options.kind === 'select' ? ['application/sparql-results+json', 'application/json'] : ['application/json', 'application/ld+json'];
+            if (!contentType || !allowedContent.includes(contentType))
+                throw new Error('Unsupported semantic provider content type');
+            const source = new URL(endpoint.href);
+            source.search = '';
+            source.hash = '';
+            const provenance = { source: source.href, retrievedAt: new Date().toISOString() };
+            if (options.kind === 'construct') {
+                const quads = new RdfParser({ format: 'text/turtle' }).parse(response.body);
+                if (quads.length > LIMITS.quads)
+                    throw new Error('CONSTRUCT response exceeded quad limit');
+                if (options.bearer)
+                    for (const quad of quads)
+                        assertNoCredential([quad.subject.value, quad.predicate.value, quad.object.value, quad.graph.value], options.bearer);
+                return { ...provenance, kind: 'construct', value: response.body, format: 'text/turtle', quadCount: quads.length };
+            }
+            let value;
+            try {
+                value = JSON.parse(response.body);
+            }
+            catch {
+                throw new Error('Invalid semantic provider JSON');
+            }
+            assertNoCredential(value, options.bearer);
+            return options.kind === 'select' ? { ...provenance, kind: 'select', value: parseResults(value) } : { ...provenance, kind: 'json', value };
+        } };
+}
+/** Compatibility helper for existing JSON/SELECT integrations. Credentials are never persisted. */
+export async function request(endpoint, host, signal, query, transport, options = {}) {
+    const kind = query === undefined ? 'json' : assertReadOnlyQuery(query, options.authorizedGraphs);
+    const result = await createSemanticProvider(transport).read({ endpoint, host, kind, query, ...options }, signal);
+    if (result.kind === 'select')
+        return { head: { vars: result.value.columns }, results: { bindings: result.value.rows } };
+    return result.value;
+}
+//# sourceMappingURL=provider.js.map

package/dist/provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provider.js","sourceRoot":"","sources":["../src/provider.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EAAE,kBAAkB,EAAuB,MAAM,2BAA2B,CAAC;AACpF,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,MAAM,IAAI,SAAS,EAAE,MAAM,IAAI,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAsB,MAAM,YAAY,CAAC;AASxD,oFAAoF;AACpF,SAAS,kBAAkB,CAAC,KAAc,EAAE,MAA0B;IACpE,IAAI,CAAC,MAAM;QAAE,OAAO;IACpB,MAAM,OAAO,GAAc,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;QACnH,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,KAAK,MAAM,MAAM,IAAI,IAAI;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;aACpE,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;IAClI,CAAC;AACH,CAAC;AACD,MAAM,UAAU,sBAAsB,CAAC,SAA0B;IAC/D,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM;YACjC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC;YAAC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC;YAC3G,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,KAAK,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,IAAI,QAAQ,GAAG,MAAM,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;YACtM,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC9I,MAAM,UAAU,GAAG,eAAe,CAAC,iBAAiB,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACpE,IAAI,CAAC,UAAU,CAAC,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;YACjF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,+FAA+F,CAAC,CAAC;YACjM,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,IAAI,mBAAmB,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;YAChM,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;YACtI,MAAM,OAAO,GAA2B,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,kBAAkB,EAAE,CAAC;YACtL,IAAI,OAAO,CAAC,MAAM;gBAAE,OAAO,CAAC,aAAa,GAAG,UAAU,OAAO,CAAC,MAAM,EAAE,CAAC;YACvE,IAAI,OAAO,CAAC,aAAa;gBAAE,OAAO,CAAC,cAAc,CAAC,GAAG,kBAAkB,CAAC;iBACnE,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;gBAAE,OAAO,CAAC,cAAc,CAAC,GAAG,mCAAmC,CAAC;YAChG,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,aAAa,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO;gBAChJ,IAAI,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,aAAa,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;oBAC3H,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;gBACnG,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;YAChE,IAAI,QAAQ,CAAC,MAAM,GAAG,GAAG,IAAI,QAAQ,CAAC,MAAM,IAAI,GAAG;gBAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;YAClH,IAAI,QAAQ,CAAC,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;YAC1F,IAAI,OAAO,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YAC1H,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACrJ,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,iCAAiC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,EAAE,qBAAqB,CAAC,CAAC;YAC1M,IAAI,CAAC,WAAW,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;YACzH,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAAC,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC;YAAC,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YAC5E,MAAM,UAAU,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;YAClF,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC5E,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK;oBAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;gBAC3F,IAAI,OAAO,CAAC,MAAM;oBAAE,KAAK,MAAM,IAAI,IAAI,KAAK;wBAAE,kBAAkB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;gBAClK,OAAO,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;YACpH,CAAC;YACD,IAAI,KAAc,CAAC;YACnB,IAAI,CAAC;gBAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAAC,CAAC;YAC1C,MAAM,CAAC;gBAAC,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;YAAC,CAAC;YAC5D,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1C,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC5I,CAAC,EAAE,CAAC;AACN,CAAC;AACD,mGAAmG;AACnG,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,QAAgB,EAAE,IAAY,EAAE,MAAoB,EAAE,KAAc,EAAE,SAA0B,EAC5H,UAAsF,EAAE;IACxF,MAAM,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACjG,MAAM,MAAM,GAAG,MAAM,sBAAsB,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC;IACjH,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;IACxH,OAAO,MAAM,CAAC,KAAK,CAAC;AACtB,CAAC"}

package/dist/query.d.ts

@@ -0,0 +1,7 @@
+/** Parse the grammar first, then inspect nested AST nodes (including subqueries). */
+export declare function assertReadOnlyQuery(query: string, authorizedGraphs?: readonly string[]): 'select' | 'construct';
+/** VALUES uses validated IRIs, never interpolated user syntax or unescaped literals. */
+export declare function relatedResourceQuery(ids: readonly string[], limit?: number): string;
+/** Discover subjects by an explicit identity predicate, preserving the same bounded adjacency query. */
+export declare function relatedIdentityQuery(predicate: string, identities: readonly string[], limit?: number): string;
+//# sourceMappingURL=query.d.ts.map

package/dist/query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../src/query.ts"],"names":[],"mappings":"AAOA,qFAAqF;AACrF,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,gBAAgB,GAAE,SAAS,MAAM,EAAO,GAAG,QAAQ,GAAG,WAAW,CAmBnH;AASD,wFAAwF;AACxF,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,GAAE,MAAoB,GAAG,MAAM,CAIhG;AACD,wGAAwG;AACxG,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,GAAE,MAAoB,GAAG,MAAM,CAM1H"}

package/dist/query.js

@@ -0,0 +1,57 @@
+/* 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 { Parser } from '@traqula/parser-sparql-1-1';
+import { LIMITS, assertIri, isObject } from './types.js';
+/** Parse the grammar first, then inspect nested AST nodes (including subqueries). */
+export function assertReadOnlyQuery(query, authorizedGraphs = []) {
+    if (query.length > LIMITS.query)
+        throw new Error('SPARQL query exceeds limit');
+    const ast = new Parser().parse(query);
+    if (!isObject(ast) || ast.type !== 'query' || (ast.subType !== 'select' && ast.subType !== 'construct'))
+        throw new Error('Only SELECT and CONSTRUCT queries are supported');
+    const pending = [ast];
+    while (pending.length) {
+        const current = pending.pop();
+        if (Array.isArray(current))
+            pending.push(...current);
+        else if (isObject(current)) {
+            if (current.subType === 'service')
+                throw new Error('Federated SERVICE queries are not permitted');
+            if (current.type === 'datasetClauses' && Array.isArray(current.clauses)) {
+                for (const clause of current.clauses) {
+                    if (!isObject(clause) || !isObject(clause.value) || !authorizedGraphs.includes(String(clause.value.value)))
+                        throw new Error('FROM graph has not been explicitly authorized');
+                }
+            }
+            pending.push(...Object.values(current));
+        }
+    }
+    return ast.subType;
+}
+// Bind each branch from its own triple pattern before joining the outer resource constraints.
+const RELATED_PATTERN = '{ ?resource ?predicate ?object BIND(?resource AS ?subject) } UNION { ?subject ?predicate ?resource BIND(?resource AS ?object) }';
+function boundedRelatedQuery(selector, count, limit) {
+    if (!count || count > LIMITS.rows || !Number.isInteger(limit) || limit < 1 || limit > LIMITS.rows)
+        throw new Error('Invalid related query bounds');
+    const query = `SELECT DISTINCT ?subject ?predicate ?object WHERE { ${selector} ${RELATED_PATTERN} } LIMIT ${limit}`;
+    if (query.length > LIMITS.query)
+        throw new Error('Related query exceeds query limit');
+    return query;
+}
+/** VALUES uses validated IRIs, never interpolated user syntax or unescaped literals. */
+export function relatedResourceQuery(ids, limit = LIMITS.rows) {
+    ids.forEach(assertIri);
+    const unique = [...new Set(ids)];
+    return boundedRelatedQuery(`VALUES ?resource { ${unique.map(id => `<${id}>`).join(' ')} }`, unique.length, limit);
+}
+/** Discover subjects by an explicit identity predicate, preserving the same bounded adjacency query. */
+export function relatedIdentityQuery(predicate, identities, limit = LIMITS.rows) {
+    assertIri(predicate);
+    if (identities.some(value => typeof value !== 'string'))
+        throw new Error('Identity query values must be strings');
+    const unique = [...new Set(identities)];
+    const values = unique.map(value => JSON.stringify(value)).join(' ');
+    return boundedRelatedQuery(`VALUES ?identity { ${values} } ?resource <${predicate}> ?identity .`, unique.length, limit);
+}
+//# sourceMappingURL=query.js.map

package/dist/query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.js","sourceRoot":"","sources":["../src/query.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AACpD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEzD,qFAAqF;AACrF,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,mBAAsC,EAAE;IACzF,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC/E,MAAM,GAAG,GAAY,IAAI,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,QAAQ,IAAI,GAAG,CAAC,OAAO,KAAK,WAAW,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IAC5K,MAAM,OAAO,GAAc,CAAC,GAAG,CAAC,CAAC;IACjC,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;aAChD,IAAI,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3B,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;YAClG,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxE,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;oBACrC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;wBAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;gBAC/K,CAAC;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,OAAO,CAAC;AACrB,CAAC;AACD,8FAA8F;AAC9F,MAAM,eAAe,GAAG,iIAAiI,CAAC;AAC1J,SAAS,mBAAmB,CAAC,QAAgB,EAAE,KAAa,EAAE,KAAa;IACzE,IAAI,CAAC,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,MAAM,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;IACnJ,MAAM,KAAK,GAAG,uDAAuD,QAAQ,IAAI,eAAe,YAAY,KAAK,EAAE,CAAC;IACpH,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACtF,OAAO,KAAK,CAAC;AACf,CAAC;AACD,wFAAwF;AACxF,MAAM,UAAU,oBAAoB,CAAC,GAAsB,EAAE,QAAgB,MAAM,CAAC,IAAI;IACtF,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACvB,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,OAAO,mBAAmB,CAAC,sBAAsB,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AACpH,CAAC;AACD,wGAAwG;AACxG,MAAM,UAAU,oBAAoB,CAAC,SAAiB,EAAE,UAA6B,EAAE,QAAgB,MAAM,CAAC,IAAI;IAChH,SAAS,CAAC,SAAS,CAAC,CAAC;IACrB,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAClH,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpE,OAAO,mBAAmB,CAAC,sBAAsB,MAAM,iBAAiB,SAAS,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC1H,CAAC"}

package/dist/resolver.d.ts

@@ -0,0 +1,56 @@
+export { GUID_PATTERN } from './types.js';
+export interface EntityAddress {
+    modelId: string;
+    expressId: number;
+}
+export interface LiveEntity extends EntityAddress {
+    GlobalId: string;
+}
+export type Resolution = {
+    status: 'resolved';
+    ref: EntityAddress;
+} | {
+    status: 'ambiguous';
+    candidates: EntityAddress[];
+} | {
+    status: 'unmatched' | 'unscoped' | 'external' | 'invalid';
+};
+export interface IdentityRecord {
+    GlobalId?: unknown;
+    modelRevision?: unknown;
+    [key: string]: unknown;
+}
+export interface ResolverContext {
+    entities: readonly LiveEntity[];
+    revisions: ReadonlyMap<string, string>;
+    modelScope?: string;
+}
+export interface IdentityStrategy {
+    id: string;
+    resolve(record: IdentityRecord, context: ResolverContext): Resolution;
+}
+/** Generic revision identifiers are non-empty opaque strings; profiles may constrain them further. */
+export declare function assertRevisionIdentifier(value: unknown): asserts value is string;
+export declare const IFC_GLOBAL_ID_STRATEGY: IdentityStrategy;
+/** Strategies are explicit: never try increasingly permissive fallbacks after a failed match. */
+export declare class ResolverRegistry {
+    private readonly strategies;
+    constructor(strategies?: readonly IdentityStrategy[]);
+    register(strategy: IdentityStrategy): void;
+    resolve(strategyId: string, record: IdentityRecord, context: ResolverContext): Resolution;
+    ids(): string[];
+}
+export declare function resolveResource(record: IdentityRecord, entities: readonly LiveEntity[], revisions: ReadonlyMap<string, string>, modelScope?: string): Resolution;
+/** Portable association references semantic revision and IFC GlobalId, never express ids. */
+export interface ResourceIdentityLink {
+    resourceId: string;
+    modelRevision: string;
+    GlobalId: string;
+}
+export declare function createResourceLinkStrategy(links: readonly ResourceIdentityLink[], id?: string): IdentityStrategy;
+/** Map named domain identity fields explicitly, retaining the same safe IFC strategy. */
+export declare function createProfileMappingStrategy(id: string, fields: {
+    GlobalId: string;
+    modelRevision?: string;
+}): IdentityStrategy;
+//# sourceMappingURL=resolver.d.ts.map

package/dist/resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.d.ts","sourceRoot":"","sources":["../src/resolver.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,MAAM,WAAW,aAAa;IAAG,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;AACrE,MAAM,WAAW,UAAW,SAAQ,aAAa;IAAG,QAAQ,EAAE,MAAM,CAAA;CAAE;AACtE,MAAM,MAAM,UAAU,GAAG;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,aAAa,CAAA;CAAE,GAAG;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,UAAU,EAAE,aAAa,EAAE,CAAA;CAAE,GACtH;IAAE,MAAM,EAAE,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAA;CAAE,CAAC;AAClE,MAAM,WAAW,cAAc;IAAG,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IAAC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE;AACvG,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9F;AACD,MAAM,WAAW,gBAAgB;IAAG,EAAE,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,eAAe,GAAG,UAAU,CAAA;CAAE;AAEvH,sGAAsG;AACtG,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAEhF;AAED,eAAO,MAAM,sBAAsB,EAAE,gBAgBpC,CAAC;AACF,iGAAiG;AACjG,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAuC;gBACtD,UAAU,GAAE,SAAS,gBAAgB,EAA6B;IAC9E,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,GAAG,IAAI;IAI1C,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,eAAe,GAAG,UAAU;IAKzF,GAAG,IAAI,MAAM,EAAE;CAChB;AACD,wBAAgB,eAAe,CAAC,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,UAAU,EAAE,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,UAAU,CAEhK;AACD,6FAA6F;AAC7F,MAAM,WAAW,oBAAoB;IAAG,UAAU,EAAE,MAAM,CAAC;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE;AACrG,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,SAAS,oBAAoB,EAAE,EAAE,EAAE,SAAmB,GAAG,gBAAgB,CAsB1H;AACD,yFAAyF;AACzF,wBAAgB,4BAA4B,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,gBAAgB,CAK/H"}