@astrale-os/sdk 0.4.18 → 0.5.0-beta.1

package/dist/linter/policy/compile.js

@@ -0,0 +1,256 @@
+import { createHash } from 'node:crypto';
+import { compileRuleCatalog } from '../catalog/index.js';
+import { LinterToolError } from '../diagnostics/index.js';
+const DEPENDENCY_KINDS = new Set(['runtime', 'type-only', 'composition', 'evidence']);
+const TOKEN = /^[a-z][a-z0-9.-]*$/;
+const MAX_LAYERS = 64;
+const MAX_DEPENDENCIES = 1_024;
+const MAX_ROOT_FILES = 64;
+const MAX_ALIASES = 128;
+const MAX_POLICY_STRING_BYTES = 4_096;
+const ROOT_FILE_ROLES = new Set(['configuration', 'composition', 'package-facade', 'tooling']);
+export function compileDomainPolicy(source) {
+    if (!record(source))
+        invalid('Domain policy source must be an object.');
+    if (typeof source.rules !== 'string')
+        invalid('Domain policy rules must be a string.');
+    const sourceLayers = array(source.layers, 'layers', MAX_LAYERS);
+    const sourceDependencies = array(source.dependencies, 'dependencies', MAX_DEPENDENCIES);
+    const catalog = compileRuleCatalog(source.rules);
+    const layerIds = new Set();
+    const sourcePaths = new Set();
+    const layers = sourceLayers.map((layer, index) => admitLayer(layer, index, layerIds, sourcePaths));
+    if (layers.length === 0)
+        invalid('Domain policy must declare at least one layer.');
+    const sourceRootFiles = array(source.rootFiles, 'root files', MAX_ROOT_FILES);
+    const rootIds = new Set();
+    const rootPaths = new Set();
+    const rootFiles = sourceRootFiles.map((rootFile, index) => admitRootFile(rootFile, index, rootIds, rootPaths));
+    if (rootFiles.filter(({ role }) => role === 'composition').length > 1) {
+        invalid('Domain policy may declare at most one composition root file.');
+    }
+    if (rootFiles.filter(({ role }) => role === 'package-facade').length !== 1) {
+        invalid('Domain policy must declare exactly one package-facade root file.');
+    }
+    const dependencyRootIds = new Set(rootFiles
+        .filter(({ role }) => role === 'composition' || role === 'package-facade')
+        .map(({ id }) => id));
+    const dependencyKeys = new Set();
+    const dependencies = sourceDependencies.map((dependency, index) => {
+        const admitted = admitDependency(dependency, index);
+        if (!layerIds.has(admitted.source) &&
+            !dependencyRootIds.has(admitted.source) &&
+            !isExternalSurface(admitted.source)) {
+            invalid(`Dependency row ${index + 1} has unknown source ${admitted.source}.`);
+        }
+        if (!layerIds.has(admitted.target) &&
+            !dependencyRootIds.has(admitted.target) &&
+            !isExternalSurface(admitted.target)) {
+            invalid(`Dependency row ${index + 1} has unknown target ${admitted.target}.`);
+        }
+        const key = `${admitted.source}\0${admitted.target}\0${admitted.kind}`;
+        if (dependencyKeys.has(key))
+            invalid(`Domain policy has duplicate dependency ${key.replaceAll('\0', ' -> ')}.`);
+        dependencyKeys.add(key);
+        return admitted;
+    });
+    const sourceAliases = array(source.aliases, 'aliases', MAX_ALIASES);
+    const aliasSpecifiers = new Set();
+    const admittedAliases = sourceAliases.map((alias, index) => admitAlias(alias, index, layerIds, layers, aliasSpecifiers));
+    requireAliasPairs(layers, admittedAliases);
+    rejectLayerCycles(layers, dependencies);
+    const payload = { layers, dependencies, rootFiles, aliases: admittedAliases };
+    return Object.freeze({
+        catalog,
+        digest: createHash('sha256')
+            .update(source.rules)
+            .update('\0')
+            .update(JSON.stringify(payload))
+            .digest('hex'),
+        layers: Object.freeze(layers),
+        dependencies: Object.freeze(dependencies),
+        rootFiles: Object.freeze(rootFiles),
+        aliases: Object.freeze(admittedAliases),
+    });
+}
+function admitLayer(layer, index, ids, paths) {
+    if (!record(layer))
+        invalid(`Layer row ${index + 1} must be an object.`);
+    string(layer.id, `Layer row ${index + 1} ID`);
+    string(layer.sourcePath, `Layer ${layer.id} source path`);
+    if (!TOKEN.test(layer.id))
+        invalid(`Layer row ${index + 1} has invalid ID ${layer.id}.`);
+    if (ids.has(layer.id))
+        invalid(`Domain policy has duplicate layer ${layer.id}.`);
+    ids.add(layer.id);
+    if (!/^[a-z][a-z0-9-]*\/$/.test(layer.sourcePath)) {
+        invalid(`Layer ${layer.id} has invalid source path ${layer.sourcePath}.`);
+    }
+    if (paths.has(layer.sourcePath))
+        invalid(`Domain policy has duplicate source path ${layer.sourcePath}.`);
+    paths.add(layer.sourcePath);
+    if (typeof layer.required !== 'boolean')
+        invalid(`Layer ${layer.id} required must be boolean.`);
+    return Object.freeze({ id: layer.id, sourcePath: layer.sourcePath, required: layer.required });
+}
+function admitDependency(dependency, index) {
+    if (!record(dependency))
+        invalid(`Dependency row ${index + 1} must be an object.`);
+    string(dependency.source, `Dependency row ${index + 1} source`);
+    string(dependency.target, `Dependency row ${index + 1} target`);
+    string(dependency.kind, `Dependency row ${index + 1} kind`);
+    string(dependency.condition, `Dependency row ${index + 1} condition`);
+    if (!TOKEN.test(dependency.source) || !TOKEN.test(dependency.target)) {
+        invalid(`Dependency row ${index + 1} has an invalid endpoint.`);
+    }
+    if (!DEPENDENCY_KINDS.has(dependency.kind)) {
+        invalid(`Dependency row ${index + 1} has invalid kind ${dependency.kind}.`);
+    }
+    if (!dependency.condition || dependency.condition !== dependency.condition.trim()) {
+        invalid(`Dependency row ${index + 1} has an invalid condition.`);
+    }
+    return Object.freeze({ ...dependency });
+}
+function admitRootFile(rootFile, index, ids, paths) {
+    if (!record(rootFile))
+        invalid(`Root file row ${index + 1} must be an object.`);
+    string(rootFile.id, `Root file row ${index + 1} ID`);
+    string(rootFile.sourcePath, `Root file ${rootFile.id} source path`);
+    string(rootFile.role, `Root file ${rootFile.id} role`);
+    if (!TOKEN.test(rootFile.id))
+        invalid(`Root file row ${index + 1} has invalid ID ${rootFile.id}.`);
+    if (ids.has(rootFile.id))
+        invalid(`Domain policy has duplicate root file ${rootFile.id}.`);
+    ids.add(rootFile.id);
+    if (!relativeFile(rootFile.sourcePath)) {
+        invalid(`Root file ${rootFile.id} has invalid source path ${rootFile.sourcePath}.`);
+    }
+    if (paths.has(rootFile.sourcePath)) {
+        invalid(`Domain policy has duplicate root path ${rootFile.sourcePath}.`);
+    }
+    paths.add(rootFile.sourcePath);
+    if (!ROOT_FILE_ROLES.has(rootFile.role)) {
+        invalid(`Root file ${rootFile.id} has invalid role ${rootFile.role}.`);
+    }
+    if (typeof rootFile.required !== 'boolean') {
+        invalid(`Root file ${rootFile.id} required must be boolean.`);
+    }
+    return Object.freeze({
+        id: rootFile.id,
+        sourcePath: rootFile.sourcePath,
+        role: rootFile.role,
+        required: rootFile.required,
+    });
+}
+function admitAlias(alias, index, layerIds, layers, specifiers) {
+    if (!record(alias))
+        invalid(`Alias row ${index + 1} must be an object.`);
+    string(alias.layer, `Alias row ${index + 1} layer`);
+    string(alias.kind, `Alias row ${index + 1} kind`);
+    string(alias.specifier, `Alias row ${index + 1} specifier`);
+    string(alias.typescriptTarget, `Alias row ${index + 1} TypeScript target`);
+    string(alias.packageTarget, `Alias row ${index + 1} package target`);
+    if (!layerIds.has(alias.layer))
+        invalid(`Alias row ${index + 1} has unknown layer ${alias.layer}.`);
+    const layer = layers.find(({ id }) => id === alias.layer);
+    const facade = `#${alias.layer}`;
+    const wildcard = `${facade}/*`;
+    if (alias.kind !== 'facade' && alias.kind !== 'submodule') {
+        invalid(`Alias row ${index + 1} has invalid kind ${alias.kind}.`);
+    }
+    if ((alias.kind === 'facade' && alias.specifier !== facade) ||
+        (alias.kind === 'submodule' && alias.specifier !== wildcard)) {
+        invalid(`Alias ${alias.specifier} kind does not match its specifier.`);
+    }
+    if (alias.specifier !== facade && alias.specifier !== wildcard) {
+        invalid(`Alias row ${index + 1} has invalid specifier ${alias.specifier}.`);
+    }
+    if (specifiers.has(alias.specifier)) {
+        invalid(`Domain policy has duplicate alias ${alias.specifier}.`);
+    }
+    specifiers.add(alias.specifier);
+    const expected = alias.specifier === facade
+        ? {
+            typescriptTarget: `./${layer.sourcePath}index.ts`,
+            packageTarget: `./${layer.sourcePath}index.ts`,
+        }
+        : {
+            typescriptTarget: `./${layer.sourcePath}*/index.ts`,
+            packageTarget: `./${layer.sourcePath}*/index.ts`,
+        };
+    if (alias.typescriptTarget !== expected.typescriptTarget) {
+        invalid(`Alias ${alias.specifier} TypeScript target must be ${expected.typescriptTarget}.`);
+    }
+    if (alias.packageTarget !== expected.packageTarget) {
+        invalid(`Alias ${alias.specifier} package target must be ${expected.packageTarget}.`);
+    }
+    return Object.freeze({
+        layer: alias.layer,
+        kind: alias.kind,
+        specifier: alias.specifier,
+        typescriptTarget: alias.typescriptTarget,
+        packageTarget: alias.packageTarget,
+    });
+}
+function requireAliasPairs(layers, aliases) {
+    const actual = new Set(aliases.map(({ specifier }) => specifier));
+    const missing = layers.flatMap(({ id }) => [`#${id}`, `#${id}/*`].filter((specifier) => !actual.has(specifier)));
+    if (missing.length > 0)
+        invalid(`Domain policy lacks aliases: ${missing.join(', ')}.`);
+}
+function isExternalSurface(value) {
+    return value === 'foreign-domain';
+}
+function rejectLayerCycles(layers, dependencies) {
+    const layerIds = new Set(layers.map(({ id }) => id));
+    const graph = new Map(layers.map(({ id }) => [id, []]));
+    for (const dependency of dependencies) {
+        if (dependency.kind !== 'evidence' &&
+            layerIds.has(dependency.source) &&
+            layerIds.has(dependency.target)) {
+            graph.get(dependency.source)?.push(dependency.target);
+        }
+    }
+    const visiting = new Set();
+    const visited = new Set();
+    const visit = (id, route) => {
+        if (visiting.has(id))
+            invalid(`Domain policy dependency cycle: ${[...route, id].join(' -> ')}.`);
+        if (visited.has(id))
+            return;
+        visiting.add(id);
+        for (const target of graph.get(id) ?? [])
+            visit(target, [...route, id]);
+        visiting.delete(id);
+        visited.add(id);
+    };
+    for (const layer of layers)
+        visit(layer.id, []);
+}
+function invalid(message) {
+    throw new LinterToolError(message, { code: 'LINTER_POLICY_INVALID' });
+}
+function array(value, name, maximum) {
+    if (!Array.isArray(value))
+        invalid(`Domain policy ${name} must be an array.`);
+    if (value.length > maximum) {
+        invalid(`Domain policy has ${value.length} ${name}; maximum is ${maximum}.`);
+    }
+    return value;
+}
+function string(value, name) {
+    if (typeof value !== 'string' || Buffer.byteLength(value, 'utf8') > MAX_POLICY_STRING_BYTES) {
+        invalid(`${name} must be a string of at most ${MAX_POLICY_STRING_BYTES} bytes.`);
+    }
+}
+function record(value) {
+    return Boolean(value && typeof value === 'object' && !Array.isArray(value));
+}
+function relativeFile(value) {
+    return (!value.startsWith('/') &&
+        !value.startsWith('./') &&
+        !value.includes('\\') &&
+        !value.split('/').includes('..') &&
+        !value.endsWith('/'));
+}
+//# sourceMappingURL=compile.js.map

package/dist/linter/policy/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../../src/linter/policy/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAWxC,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAEzD,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,CAAC,CAAC,CAAA;AACrF,MAAM,KAAK,GAAG,oBAAoB,CAAA;AAClC,MAAM,UAAU,GAAG,EAAE,CAAA;AACrB,MAAM,gBAAgB,GAAG,KAAK,CAAA;AAC9B,MAAM,cAAc,GAAG,EAAE,CAAA;AACzB,MAAM,WAAW,GAAG,GAAG,CAAA;AACvB,MAAM,uBAAuB,GAAG,KAAK,CAAA;AACrC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,aAAa,EAAE,gBAAgB,EAAE,SAAS,CAAC,CAAC,CAAA;AAE9F,MAAM,UAAU,mBAAmB,CAAC,MAA0B;IAC5D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,yCAAyC,CAAC,CAAA;IACvE,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,CAAC,uCAAuC,CAAC,CAAA;IACtF,MAAM,YAAY,GAAG,KAAK,CAAoB,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;IAClF,MAAM,kBAAkB,GAAG,KAAK,CAC9B,MAAM,CAAC,YAAY,EACnB,cAAc,EACd,gBAAgB,CACjB,CAAA;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAA;IAClG,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,gDAAgD,CAAC,CAAA;IAElF,MAAM,eAAe,GAAG,KAAK,CAC3B,MAAM,CAAC,SAAS,EAChB,YAAY,EACZ,cAAc,CACf,CAAA;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CACxD,aAAa,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CACnD,CAAA;IACD,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtE,OAAO,CAAC,8DAA8D,CAAC,CAAA;IACzE,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,kEAAkE,CAAC,CAAA;IAC7E,CAAC;IACD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAC/B,SAAS;SACN,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,KAAK,gBAAgB,CAAC;SACzE,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CACvB,CAAA;IAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAA;IACxC,MAAM,YAAY,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE;QAChE,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,CAAA;QACnD,IACE,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC9B,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;YACvC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,EACnC,CAAC;YACD,OAAO,CAAC,kBAAkB,KAAK,GAAG,CAAC,uBAAuB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;QAC/E,CAAC;QACD,IACE,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC9B,CAAC,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;YACvC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,EACnC,CAAC;YACD,OAAO,CAAC,kBAAkB,KAAK,GAAG,CAAC,uBAAuB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAA;QAC/E,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAA;QACtE,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC;YACzB,OAAO,CAAC,0CAA0C,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAA;QACpF,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACvB,OAAO,QAAQ,CAAA;IACjB,CAAC,CAAC,CAAA;IACF,MAAM,aAAa,GAAG,KAAK,CAAoB,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,CAAA;IACtF,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAA;IACzC,MAAM,eAAe,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACzD,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,eAAe,CAAC,CAC5D,CAAA;IACD,iBAAiB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;IAC1C,iBAAiB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;IACvC,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,eAAe,EAAE,CAAA;IAC7E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO;QACP,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;aACzB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;aACpB,MAAM,CAAC,IAAI,CAAC;aACZ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;aAC/B,MAAM,CAAC,KAAK,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAC7B,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;QACzC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC;QACnC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC;KACxC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,KAAwB,EACxB,KAAa,EACb,GAAgB,EAChB,KAAkB;IAElB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,aAAa,KAAK,GAAG,CAAC,qBAAqB,CAAC,CAAA;IACxE,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,aAAa,KAAK,GAAG,CAAC,KAAK,CAAC,CAAA;IAC7C,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,SAAS,KAAK,CAAC,EAAE,cAAc,CAAC,CAAA;IACzD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,CAAC,aAAa,KAAK,GAAG,CAAC,mBAAmB,KAAK,CAAC,EAAE,GAAG,CAAC,CAAA;IACxF,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAAE,OAAO,CAAC,qCAAqC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAA;IAChF,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IACjB,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QAClD,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,4BAA4B,KAAK,CAAC,UAAU,GAAG,CAAC,CAAA;IAC3E,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC;QAC7B,OAAO,CAAC,2CAA2C,KAAK,CAAC,UAAU,GAAG,CAAC,CAAA;IACzE,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;IAC3B,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,SAAS,KAAK,CAAC,EAAE,4BAA4B,CAAC,CAAA;IAC/F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAA;AAChG,CAAC;AAED,SAAS,eAAe,CACtB,UAAkC,EAClC,KAAa;IAEb,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,CAAC,kBAAkB,KAAK,GAAG,CAAC,qBAAqB,CAAC,CAAA;IAClF,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,kBAAkB,KAAK,GAAG,CAAC,SAAS,CAAC,CAAA;IAC/D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,kBAAkB,KAAK,GAAG,CAAC,SAAS,CAAC,CAAA;IAC/D,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,kBAAkB,KAAK,GAAG,CAAC,OAAO,CAAC,CAAA;IAC3D,MAAM,CAAC,UAAU,CAAC,SAAS,EAAE,kBAAkB,KAAK,GAAG,CAAC,YAAY,CAAC,CAAA;IACrE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACrE,OAAO,CAAC,kBAAkB,KAAK,GAAG,CAAC,2BAA2B,CAAC,CAAA;IACjE,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,kBAAkB,KAAK,GAAG,CAAC,qBAAqB,UAAU,CAAC,IAAI,GAAG,CAAC,CAAA;IAC7E,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS,KAAK,UAAU,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC;QAClF,OAAO,CAAC,kBAAkB,KAAK,GAAG,CAAC,4BAA4B,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,CAAA;AACzC,CAAC;AAED,SAAS,aAAa,CACpB,QAA8B,EAC9B,KAAa,EACb,GAAgB,EAChB,KAAkB;IAElB,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QAAE,OAAO,CAAC,iBAAiB,KAAK,GAAG,CAAC,qBAAqB,CAAC,CAAA;IAC/E,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,iBAAiB,KAAK,GAAG,CAAC,KAAK,CAAC,CAAA;IACpD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,aAAa,QAAQ,CAAC,EAAE,cAAc,CAAC,CAAA;IACnE,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAA;IACtD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,CAAC,iBAAiB,KAAK,GAAG,CAAC,mBAAmB,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAA;IAClG,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,CAAC,yCAAyC,QAAQ,CAAC,EAAE,GAAG,CAAC,CAAA;IAC1F,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IACpB,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,aAAa,QAAQ,CAAC,EAAE,4BAA4B,QAAQ,CAAC,UAAU,GAAG,CAAC,CAAA;IACrF,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,OAAO,CAAC,yCAAyC,QAAQ,CAAC,UAAU,GAAG,CAAC,CAAA;IAC1E,CAAC;IACD,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;IAC9B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,CAAC,aAAa,QAAQ,CAAC,EAAE,qBAAqB,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAA;IACxE,CAAC;IACD,IAAI,OAAO,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3C,OAAO,CAAC,aAAa,QAAQ,CAAC,EAAE,4BAA4B,CAAC,CAAA;IAC/D,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,QAAQ,CAAC,EAAE;QACf,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;KAC5B,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,KAAwB,EACxB,KAAa,EACb,QAA6B,EAC7B,MAAoC,EACpC,UAAuB;IAEvB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,aAAa,KAAK,GAAG,CAAC,qBAAqB,CAAC,CAAA;IACxE,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAA;IACnD,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,KAAK,GAAG,CAAC,OAAO,CAAC,CAAA;IACjD,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,aAAa,KAAK,GAAG,CAAC,YAAY,CAAC,CAAA;IAC3D,MAAM,CAAC,KAAK,CAAC,gBAAgB,EAAE,aAAa,KAAK,GAAG,CAAC,oBAAoB,CAAC,CAAA;IAC1E,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,aAAa,KAAK,GAAG,CAAC,iBAAiB,CAAC,CAAA;IACpE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;QAC5B,OAAO,CAAC,aAAa,KAAK,GAAG,CAAC,sBAAsB,KAAK,CAAC,KAAK,GAAG,CAAC,CAAA;IACrE,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAE,CAAA;IAC1D,MAAM,MAAM,GAAG,IAAI,KAAK,CAAC,KAAK,EAAE,CAAA;IAChC,MAAM,QAAQ,GAAG,GAAG,MAAM,IAAI,CAAA;IAC9B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC1D,OAAO,CAAC,aAAa,KAAK,GAAG,CAAC,qBAAqB,KAAK,CAAC,IAAI,GAAG,CAAC,CAAA;IACnE,CAAC;IACD,IACE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,KAAK,MAAM,CAAC;QACvD,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,IAAI,KAAK,CAAC,SAAS,KAAK,QAAQ,CAAC,EAC5D,CAAC;QACD,OAAO,CAAC,SAAS,KAAK,CAAC,SAAS,qCAAqC,CAAC,CAAA;IACxE,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC/D,OAAO,CAAC,aAAa,KAAK,GAAG,CAAC,0BAA0B,KAAK,CAAC,SAAS,GAAG,CAAC,CAAA;IAC7E,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,qCAAqC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAA;IAClE,CAAC;IACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAA;IAC/B,MAAM,QAAQ,GACZ,KAAK,CAAC,SAAS,KAAK,MAAM;QACxB,CAAC,CAAC;YACE,gBAAgB,EAAE,KAAK,KAAK,CAAC,UAAU,UAAU;YACjD,aAAa,EAAE,KAAK,KAAK,CAAC,UAAU,UAAU;SAC/C;QACH,CAAC,CAAC;YACE,gBAAgB,EAAE,KAAK,KAAK,CAAC,UAAU,YAAY;YACnD,aAAa,EAAE,KAAK,KAAK,CAAC,UAAU,YAAY;SACjD,CAAA;IACP,IAAI,KAAK,CAAC,gBAAgB,KAAK,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACzD,OAAO,CAAC,SAAS,KAAK,CAAC,SAAS,8BAA8B,QAAQ,CAAC,gBAAgB,GAAG,CAAC,CAAA;IAC7F,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,EAAE,CAAC;QACnD,OAAO,CAAC,SAAS,KAAK,CAAC,SAAS,2BAA2B,QAAQ,CAAC,aAAa,GAAG,CAAC,CAAA;IACvF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,aAAa,EAAE,KAAK,CAAC,aAAa;KACnC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAoC,EACpC,OAAqC;IAErC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAA;IACjE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CACxC,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CACrE,CAAA;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,gCAAgC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACxF,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,OAAO,KAAK,KAAK,gBAAgB,CAAA;AACnC,CAAC;AAED,SAAS,iBAAiB,CACxB,MAAoC,EACpC,YAA+C;IAE/C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACpD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAc,CAAC,CAAC,CAAC,CAAA;IACnE,KAAK,MAAM,UAAU,IAAI,YAAY,EAAE,CAAC;QACtC,IACE,UAAU,CAAC,IAAI,KAAK,UAAU;YAC9B,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;YAC/B,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAC/B,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;QACvD,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,KAAwB,EAAQ,EAAE;QAC3D,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,mCAAmC,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QAChG,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAM;QAC3B,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QAChB,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE;YAAE,KAAK,CAAC,MAAM,EAAE,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC,CAAC,CAAA;QACvE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QACnB,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CAAA;IACD,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,KAAK,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;AACjD,CAAC;AAED,SAAS,OAAO,CAAC,OAAe;IAC9B,MAAM,IAAI,eAAe,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC,CAAA;AACvE,CAAC;AAED,SAAS,KAAK,CAAI,KAAc,EAAE,IAAY,EAAE,OAAe;IAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,iBAAiB,IAAI,oBAAoB,CAAC,CAAA;IAC7E,IAAI,KAAK,CAAC,MAAM,GAAG,OAAO,EAAE,CAAC;QAC3B,OAAO,CAAC,qBAAqB,KAAK,CAAC,MAAM,IAAI,IAAI,gBAAgB,OAAO,GAAG,CAAC,CAAA;IAC9E,CAAC;IACD,OAAO,KAAqB,CAAA;AAC9B,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,IAAY;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,uBAAuB,EAAE,CAAC;QAC5F,OAAO,CAAC,GAAG,IAAI,gCAAgC,uBAAuB,SAAS,CAAC,CAAA;IAClF,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,CACL,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QACtB,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QACvB,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAChC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CACrB,CAAA;AACH,CAAC"}

package/dist/linter/policy/generated.d.ts

@@ -0,0 +1,5 @@
+import type { DomainPolicySource } from './index.js';
+/** Generated from the validated Domain knowledge catalog. Do not edit by hand. */
+export declare const domainPolicyDigest: string;
+export declare const domainPolicySource: DomainPolicySource;
+//# sourceMappingURL=generated.d.ts.map

package/dist/linter/policy/generated.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generated.d.ts","sourceRoot":"","sources":["../../../src/linter/policy/generated.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA;AAEpD,kFAAkF;AAClF,eAAO,MAAM,kBAAkB,EAAE,MACmC,CAAA;AAEpE,eAAO,MAAM,kBAAkB,EAAE,kBAsvB/B,CAAA"}