@astrale-os/sdk 0.4.19 → 0.5.0-beta.2

package/dist/linter/adapters/typescript/type-universe.js

@@ -0,0 +1,265 @@
+import { existsSync } from 'node:fs';
+import { readFile, readdir, realpath, stat } from 'node:fs/promises';
+import { createRequire } from 'node:module';
+import { dirname, join, relative, resolve } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { LinterToolError } from '../../diagnostics/index.js';
+const BRANDED = [
+    '@astrale-os/kernel-client',
+    '@astrale-os/kernel-core',
+    '@astrale-os/kernel-dsl',
+];
+const CONVENTIONAL_MEMBERS = ['client', 'frontend', 'schema', 'worker'];
+const MAX_MANIFESTS = 256;
+const MAX_DEPENDENCIES = 2_048;
+const MAX_MEMBER_ENTRIES = 4_096;
+const MAX_MANIFEST_BYTES = 1024 * 1024;
+const MAX_DEPENDENCY_DEPTH = 32;
+export async function assertSingleTypeUniverse(root, signal) {
+    ensureActive(signal);
+    const manifests = await consumerManifests(root, signal);
+    const consumers = [
+        ...manifests.map((path) => ({ label: relative(root, dirname(path)) || '.', path })),
+        { label: '@astrale-os/sdk/linter', path: sdkPackageJson() },
+    ];
+    for (const packageName of BRANDED) {
+        ensureActive(signal);
+        const resolutions = (await Promise.all(consumers.map(async (consumer) => ({
+            ...consumer,
+            resolved: await packageRoot(packageName, consumer.path, signal),
+        })))).filter((entry) => entry.resolved !== undefined);
+        const paths = new Set(resolutions.map(({ resolved }) => resolved));
+        if (paths.size <= 1)
+            continue;
+        const detail = [...paths]
+            .sort()
+            .map((path) => {
+            const owners = resolutions
+                .filter(({ resolved }) => resolved === path)
+                .map(({ label }) => label);
+            return `  ${path}\n    from: ${[...new Set(owners)].sort().join(', ')}`;
+        })
+            .join('\n');
+        throw new LinterToolError(`Multiple physical installations of ${packageName} among admitted discovered consumers would create incompatible Astrale types.\n${detail}\nReinstall the workspace so every admitted discovered consumer resolves one compatible package instance.`, { code: 'LINTER_PREFLIGHT_FAILED' });
+    }
+}
+async function consumerManifests(root, signal) {
+    ensureActive(signal);
+    const manifest = join(root, 'package.json');
+    if (!existsSync(manifest))
+        return [];
+    const manifests = new Set([manifest]);
+    const rootPackage = await readPackage(manifest, signal);
+    const packageWorkspaces = Array.isArray(rootPackage?.workspaces)
+        ? rootPackage.workspaces
+        : rootPackage?.workspaces?.packages;
+    const pnpmWorkspaces = await readPnpmWorkspace(root, signal);
+    const workspaces = [...(packageWorkspaces ?? []), ...pnpmWorkspaces];
+    for (const member of workspaces) {
+        ensureActive(signal);
+        if (typeof member !== 'string' || !safeMemberPattern(member))
+            continue;
+        for (const path of await expandMember(root, member, signal))
+            addManifest(manifests, path);
+    }
+    for (const member of CONVENTIONAL_MEMBERS) {
+        const path = resolveMember(root, member);
+        if (path && existsSync(path))
+            addManifest(manifests, path);
+    }
+    const pending = [...manifests].map((path) => ({ path, depth: 0 }));
+    let dependencyCount = 0;
+    for (let index = 0; index < pending.length; index += 1) {
+        ensureActive(signal);
+        const { path: consumer, depth } = pending[index];
+        const packageJson = await readPackage(consumer, signal);
+        const dependencies = { ...packageJson?.optionalDependencies, ...packageJson?.dependencies };
+        for (const name of Object.keys(dependencies).sort()) {
+            ensureActive(signal);
+            dependencyCount += 1;
+            if (dependencyCount > MAX_DEPENDENCIES)
+                preflightLimit(`dependency count ${MAX_DEPENDENCIES}`);
+            if (!name.startsWith('@astrale-domains/'))
+                continue;
+            if (depth >= MAX_DEPENDENCY_DEPTH)
+                preflightLimit(`dependency depth ${MAX_DEPENDENCY_DEPTH}`);
+            const dependency = await dependencyManifest(name, consumer, signal);
+            if (dependency && !manifests.has(dependency)) {
+                addManifest(manifests, dependency);
+                pending.push({ path: dependency, depth: depth + 1 });
+            }
+        }
+    }
+    return [...manifests].sort();
+}
+async function dependencyManifest(name, consumer, signal) {
+    ensureActive(signal);
+    const require = createRequire(consumer);
+    try {
+        const resolved = await realpath(require.resolve(`${name}/package.json`));
+        ensureActive(signal);
+        return resolved;
+    }
+    catch (cause) {
+        if (cause instanceof LinterToolError)
+            throw cause;
+        return undefined;
+    }
+}
+async function packageRoot(name, manifest, signal) {
+    ensureActive(signal);
+    if (!existsSync(manifest))
+        return undefined;
+    try {
+        const resolved = await realpath(dirname(createRequire(manifest).resolve(`${name}/package.json`)));
+        ensureActive(signal);
+        return resolved;
+    }
+    catch (cause) {
+        if (cause instanceof LinterToolError)
+            throw cause;
+        return undefined;
+    }
+}
+function addManifest(manifests, manifest) {
+    manifests.add(manifest);
+    if (manifests.size > MAX_MANIFESTS)
+        preflightLimit(`manifest count ${MAX_MANIFESTS}`);
+}
+async function readPackage(path, signal) {
+    ensureActive(signal);
+    try {
+        const metadata = await stat(path);
+        if (metadata.size > MAX_MANIFEST_BYTES)
+            preflightLimit(`manifest bytes ${MAX_MANIFEST_BYTES}`);
+        const value = JSON.parse(await readFile(path, 'utf8'));
+        ensureActive(signal);
+        return value;
+    }
+    catch (cause) {
+        if (cause instanceof LinterToolError)
+            throw cause;
+        return undefined;
+    }
+}
+async function expandMember(root, pattern, signal) {
+    ensureActive(signal);
+    const star = pattern.indexOf('*');
+    if (star === -1) {
+        const manifest = resolveMember(root, pattern);
+        return manifest && existsSync(manifest) ? [manifest] : [];
+    }
+    const prefix = pattern.slice(0, star).replace(/\/$/, '');
+    const suffix = pattern.slice(star + 1).replace(/^\//, '');
+    const directory = resolveMemberDirectory(root, prefix);
+    if (!directory)
+        return [];
+    let entries;
+    try {
+        entries = await readdir(directory, { withFileTypes: true });
+        ensureActive(signal);
+    }
+    catch {
+        return [];
+    }
+    if (entries.length > MAX_MEMBER_ENTRIES)
+        preflightLimit(`workspace entries ${MAX_MEMBER_ENTRIES}`);
+    const manifests = [];
+    for (const entry of entries) {
+        ensureActive(signal);
+        if (!entry.isDirectory() || entry.isSymbolicLink())
+            continue;
+        const member = suffix ? join(prefix, entry.name, suffix) : join(prefix, entry.name);
+        const manifest = resolveMember(root, member);
+        if (manifest && existsSync(manifest))
+            manifests.push(manifest);
+    }
+    return manifests;
+}
+async function readPnpmWorkspace(root, signal) {
+    const path = join(root, 'pnpm-workspace.yaml');
+    if (!existsSync(path))
+        return [];
+    ensureActive(signal);
+    const metadata = await stat(path);
+    if (metadata.size > MAX_MANIFEST_BYTES)
+        preflightLimit(`workspace bytes ${MAX_MANIFEST_BYTES}`);
+    const source = await readFile(path, 'utf8');
+    ensureActive(signal);
+    const members = [];
+    let packages = false;
+    for (const rawLine of source.split(/\r?\n/)) {
+        const line = rawLine.replace(/\s+#.*$/, '');
+        if (/^packages:\s*\[\s*\]\s*$/.test(line)) {
+            packages = false;
+            continue;
+        }
+        if (/^packages:\s*$/.test(line)) {
+            packages = true;
+            continue;
+        }
+        if (packages && /^\S/.test(line))
+            break;
+        if (!packages)
+            continue;
+        const match = /^\s+-\s+(.+?)\s*$/.exec(line);
+        if (!match)
+            continue;
+        const value = unquote(match[1]);
+        if (safeMemberPattern(value))
+            members.push(value);
+    }
+    return members;
+}
+function unquote(value) {
+    if (value.length >= 2 &&
+        ((value.startsWith("'") && value.endsWith("'")) ||
+            (value.startsWith('"') && value.endsWith('"')))) {
+        return value.slice(1, -1);
+    }
+    return value;
+}
+function safeMemberPattern(value) {
+    return (value.length > 0 &&
+        value.length <= 512 &&
+        !value.startsWith('/') &&
+        !value.includes('\\') &&
+        !value.split('/').includes('..') &&
+        !/[?[\]{}!]/u.test(value) &&
+        (value.match(/\*/g)?.length ?? 0) <= 1);
+}
+function resolveMember(root, member) {
+    const directory = resolveMemberDirectory(root, member);
+    return directory ? join(directory, 'package.json') : undefined;
+}
+function resolveMemberDirectory(root, member) {
+    const directory = resolve(root, member);
+    const child = relative(root, directory);
+    return child === '' || (!child.startsWith('..') && !child.startsWith('/')) ? directory : undefined;
+}
+function preflightLimit(limit) {
+    throw new LinterToolError(`Type-universe discovery exceeded ${limit}.`, {
+        code: 'LINTER_PREFLIGHT_FAILED',
+    });
+}
+function ensureActive(signal) {
+    if (signal?.aborted) {
+        throw new LinterToolError('Domain lint was cancelled.', {
+            code: 'LINTER_CANCELLED',
+            cause: signal.reason,
+        });
+    }
+}
+function sdkPackageJson() {
+    let directory = dirname(fileURLToPath(import.meta.url));
+    for (;;) {
+        const candidate = join(directory, 'package.json');
+        if (existsSync(candidate))
+            return candidate;
+        const parent = dirname(directory);
+        if (parent === directory)
+            return candidate;
+        directory = parent;
+    }
+}
+//# sourceMappingURL=type-universe.js.map

package/dist/linter/adapters/typescript/type-universe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-universe.js","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/type-universe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AACpC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACpE,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAC3C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAExC,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAA;AAE5D,MAAM,OAAO,GAAG;IACd,2BAA2B;IAC3B,yBAAyB;IACzB,wBAAwB;CAChB,CAAA;AACV,MAAM,oBAAoB,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAU,CAAA;AAChF,MAAM,aAAa,GAAG,GAAG,CAAA;AACzB,MAAM,gBAAgB,GAAG,KAAK,CAAA;AAC9B,MAAM,kBAAkB,GAAG,KAAK,CAAA;AAChC,MAAM,kBAAkB,GAAG,IAAI,GAAG,IAAI,CAAA;AACtC,MAAM,oBAAoB,GAAG,EAAE,CAAA;AAS/B,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,IAAY,EAAE,MAAoB;IAC/E,YAAY,CAAC,MAAM,CAAC,CAAA;IACpB,MAAM,SAAS,GAAG,MAAM,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACvD,MAAM,SAAS,GAAG;QAChB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACnF,EAAE,KAAK,EAAE,wBAAwB,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE;KAC5D,CAAA;IACD,KAAK,MAAM,WAAW,IAAI,OAAO,EAAE,CAAC;QAClC,YAAY,CAAC,MAAM,CAAC,CAAA;QACpB,MAAM,WAAW,GAAG,CAClB,MAAM,OAAO,CAAC,GAAG,CACf,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;YACjC,GAAG,QAAQ;YACX,QAAQ,EAAE,MAAM,WAAW,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;SAChE,CAAC,CAAC,CACJ,CACF,CAAC,MAAM,CAAC,CAAC,KAAK,EAAgD,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAA;QAC/F,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAA;QAClE,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC;YAAE,SAAQ;QAC7B,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC;aACtB,IAAI,EAAE;aACN,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACZ,MAAM,MAAM,GAAG,WAAW;iBACvB,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,IAAI,CAAC;iBAC3C,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAA;YAC5B,OAAO,KAAK,IAAI,eAAe,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;QACzE,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAA;QACb,MAAM,IAAI,eAAe,CACvB,sCAAsC,WAAW,kFAAkF,MAAM,2GAA2G,EACpP,EAAE,IAAI,EAAE,yBAAyB,EAAE,CACpC,CAAA;IACH,CAAC;AACH,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,IAAY,EAAE,MAAoB;IACjE,YAAY,CAAC,MAAM,CAAC,CAAA;IACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAA;IAC3C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAA;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA;IACrC,MAAM,WAAW,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IACvD,MAAM,iBAAiB,GAAG,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,UAAU,CAAC;QAC9D,CAAC,CAAC,WAAW,CAAC,UAAU;QACxB,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,QAAQ,CAAA;IACrC,MAAM,cAAc,GAAG,MAAM,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAC5D,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,iBAAiB,IAAI,EAAE,CAAC,EAAE,GAAG,cAAc,CAAC,CAAA;IACpE,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,YAAY,CAAC,MAAM,CAAC,CAAA;QACpB,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAAE,SAAQ;QACtE,KAAK,MAAM,IAAI,IAAI,MAAM,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC;YAAE,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IAC3F,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,oBAAoB,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QACxC,IAAI,IAAI,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,WAAW,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IAC5D,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IAClE,IAAI,eAAe,GAAG,CAAC,CAAA;IACvB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,YAAY,CAAC,MAAM,CAAC,CAAA;QACpB,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,CAAE,CAAA;QACjD,MAAM,WAAW,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;QACvD,MAAM,YAAY,GAAG,EAAE,GAAG,WAAW,EAAE,oBAAoB,EAAE,GAAG,WAAW,EAAE,YAAY,EAAE,CAAA;QAC3F,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACpD,YAAY,CAAC,MAAM,CAAC,CAAA;YACpB,eAAe,IAAI,CAAC,CAAA;YACpB,IAAI,eAAe,GAAG,gBAAgB;gBAAE,cAAc,CAAC,oBAAoB,gBAAgB,EAAE,CAAC,CAAA;YAC9F,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,mBAAmB,CAAC;gBAAE,SAAQ;YACnD,IAAI,KAAK,IAAI,oBAAoB;gBAAE,cAAc,CAAC,oBAAoB,oBAAoB,EAAE,CAAC,CAAA;YAC7F,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;YACnE,IAAI,UAAU,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC7C,WAAW,CAAC,SAAS,EAAE,UAAU,CAAC,CAAA;gBAClC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAA;YACtD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,EAAE,CAAA;AAC9B,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,IAAY,EACZ,QAAgB,EAChB,MAAoB;IAEpB,YAAY,CAAC,MAAM,CAAC,CAAA;IACpB,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAA;IACvC,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,eAAe,CAAC,CAAC,CAAA;QACxE,YAAY,CAAC,MAAM,CAAC,CAAA;QACpB,OAAO,QAAQ,CAAA;IACjB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,eAAe;YAAE,MAAM,KAAK,CAAA;QACjD,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,IAA8B,EAC9B,QAAgB,EAChB,MAAoB;IAEpB,YAAY,CAAC,MAAM,CAAC,CAAA;IACpB,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAA;IAC3C,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,QAAQ,CAC7B,OAAO,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,eAAe,CAAC,CAAC,CACjE,CAAA;QACD,YAAY,CAAC,MAAM,CAAC,CAAA;QACpB,OAAO,QAAQ,CAAA;IACjB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,eAAe;YAAE,MAAM,KAAK,CAAA;QACjD,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,SAAsB,EAAE,QAAgB;IAC3D,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACvB,IAAI,SAAS,CAAC,IAAI,GAAG,aAAa;QAAE,cAAc,CAAC,kBAAkB,aAAa,EAAE,CAAC,CAAA;AACvF,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,IAAY,EAAE,MAAoB;IAC3D,YAAY,CAAC,MAAM,CAAC,CAAA;IACpB,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,QAAQ,CAAC,IAAI,GAAG,kBAAkB;YAAE,cAAc,CAAC,kBAAkB,kBAAkB,EAAE,CAAC,CAAA;QAC9F,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAgB,CAAA;QACrE,YAAY,CAAC,MAAM,CAAC,CAAA;QACpB,OAAO,KAAK,CAAA;IACd,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,eAAe;YAAE,MAAM,KAAK,CAAA;QACjD,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,YAAY,CACzB,IAAY,EACZ,OAAe,EACf,MAAoB;IAEpB,YAAY,CAAC,MAAM,CAAC,CAAA;IACpB,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACjC,IAAI,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC;QAChB,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAC7C,OAAO,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC3D,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACxD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACzD,MAAM,SAAS,GAAG,sBAAsB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACtD,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAA;IACzB,IAAI,OAAO,CAAA;IACX,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAA;QAC3D,YAAY,CAAC,MAAM,CAAC,CAAA;IACtB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAA;IACX,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,kBAAkB;QAAE,cAAc,CAAC,qBAAqB,kBAAkB,EAAE,CAAC,CAAA;IAClG,MAAM,SAAS,GAAa,EAAE,CAAA;IAC9B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,YAAY,CAAC,MAAM,CAAC,CAAA;QACpB,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,KAAK,CAAC,cAAc,EAAE;YAAE,SAAQ;QAC5D,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QACnF,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QAC5C,IAAI,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC;YAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAChE,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,IAAY,EAAE,MAAoB;IACjE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAA;IAC9C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAA;IAChC,YAAY,CAAC,MAAM,CAAC,CAAA;IACpB,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAA;IACjC,IAAI,QAAQ,CAAC,IAAI,GAAG,kBAAkB;QAAE,cAAc,CAAC,mBAAmB,kBAAkB,EAAE,CAAC,CAAA;IAC/F,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IAC3C,YAAY,CAAC,MAAM,CAAC,CAAA;IACpB,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,IAAI,QAAQ,GAAG,KAAK,CAAA;IACpB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;QAC3C,IAAI,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,QAAQ,GAAG,KAAK,CAAA;YAChB,SAAQ;QACV,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,QAAQ,GAAG,IAAI,CAAA;YACf,SAAQ;QACV,CAAC;QACD,IAAI,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAK;QACvC,IAAI,CAAC,QAAQ;YAAE,SAAQ;QACvB,MAAM,KAAK,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC5C,IAAI,CAAC,KAAK;YAAE,SAAQ;QACpB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAA;QAChC,IAAI,iBAAiB,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACnD,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,KAAa;IAC5B,IACE,KAAK,CAAC,MAAM,IAAI,CAAC;QACjB,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC7C,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EACjD,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAC3B,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAa;IACtC,OAAO,CACL,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,CAAC,MAAM,IAAI,GAAG;QACnB,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;QACtB,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;QACrB,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC;QAChC,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;QACzB,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,CACvC,CAAA;AACH,CAAC;AAED,SAAS,aAAa,CAAC,IAAY,EAAE,MAAc;IACjD,MAAM,SAAS,GAAG,sBAAsB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACtD,OAAO,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAChE,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY,EAAE,MAAc;IAC1D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACvC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,CAAA;IACvC,OAAO,KAAK,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAA;AACpG,CAAC;AAED,SAAS,cAAc,CAAC,KAAa;IACnC,MAAM,IAAI,eAAe,CAAC,oCAAoC,KAAK,GAAG,EAAE;QACtE,IAAI,EAAE,yBAAyB;KAChC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,MAA+B;IACnD,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,eAAe,CAAC,4BAA4B,EAAE;YACtD,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,MAAM,CAAC,MAAM;SACrB,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,SAAS,cAAc;IACrB,IAAI,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;IACvD,SAAS,CAAC;QACR,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,CAAA;QACjD,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAA;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAA;QACjC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QAC1C,SAAS,GAAG,MAAM,CAAA;IACpB,CAAC;AACH,CAAC"}

package/dist/linter/catalog/compile.d.ts

@@ -0,0 +1,3 @@
+import type { RuleCatalog } from './index.js';
+export declare function compileRuleCatalog(source: string): RuleCatalog;
+//# sourceMappingURL=compile.d.ts.map

package/dist/linter/catalog/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../../src/linter/catalog/compile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAA0C,MAAM,YAAY,CAAA;AAuBrF,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW,CA8E9D"}

package/dist/linter/catalog/compile.js

@@ -0,0 +1,111 @@
+import { LinterToolError } from '../diagnostics/index.js';
+const HEADER = ['id', 'scope', 'kind', 'severity', 'message', 'verification', 'example'];
+const RULE_KINDS = new Set([
+    'architecture',
+    'structure',
+    'dependency',
+    'declaration',
+    'dataflow',
+    'behavior',
+    'evidence',
+]);
+const RULE_SEVERITIES = new Set(['error', 'warning']);
+const ID = /^[A-Z]+(?:-[A-Z]+)+$/;
+const SCOPE = /^[a-z][a-z0-9.-]*$/;
+const EXAMPLE = /^[a-z][a-z0-9-]*[.]md$/;
+const MAX_CATALOG_BYTES = 2 * 1024 * 1024;
+const MAX_RULES = 512;
+const MAX_CELL_BYTES = 16 * 1024;
+export function compileRuleCatalog(source) {
+    if (typeof source !== 'string')
+        invalid('Rule catalog must be a string.');
+    const bytes = Buffer.byteLength(source, 'utf8');
+    if (bytes > MAX_CATALOG_BYTES) {
+        invalid(`Rule catalog is ${bytes} bytes; maximum is ${MAX_CATALOG_BYTES}.`);
+    }
+    if (source.includes('\r'))
+        invalid('Rule catalog must use LF line endings.');
+    if (!source.endsWith('\n'))
+        invalid('Rule catalog must end with one newline.');
+    if (source.endsWith('\n\n'))
+        invalid('Rule catalog must not contain empty rows.');
+    const lines = source.slice(0, -1).split('\n');
+    const header = lines.shift()?.split('\t') ?? [];
+    if (!same(header, HEADER)) {
+        invalid(`Rule catalog header must be exactly: ${HEADER.join('\t')}`);
+    }
+    if (lines.length > MAX_RULES) {
+        invalid(`Rule catalog has ${lines.length} rows; maximum is ${MAX_RULES}.`);
+    }
+    const seen = new Set();
+    const rules = lines.map((line, index) => {
+        const number = index + 2;
+        if (!line)
+            invalid(`Rule catalog row ${number} is empty.`);
+        const cells = line.split('\t');
+        if (cells.length !== HEADER.length) {
+            invalid(`Rule catalog row ${number} has ${cells.length} cells; expected ${HEADER.length}.`);
+        }
+        for (let cell = 0; cell < cells.length; cell += 1) {
+            const value = cells[cell] ?? '';
+            if (!value)
+                invalid(`Rule catalog row ${number} has an empty ${HEADER[cell]} cell.`);
+            if (Buffer.byteLength(value, 'utf8') > MAX_CELL_BYTES) {
+                invalid(`Rule catalog row ${number} ${HEADER[cell]} exceeds ${MAX_CELL_BYTES} bytes.`);
+            }
+            if (hasControl(value)) {
+                invalid(`Rule catalog row ${number} has a control character in ${HEADER[cell]}.`);
+            }
+            if (value !== value.trim()) {
+                invalid(`Rule catalog row ${number} has surrounding whitespace in ${HEADER[cell]}.`);
+            }
+        }
+        const [id, scope, kind, severity, message, verification, example] = cells;
+        if (!ID.test(id) || id.length > 18)
+            invalid(`Rule catalog row ${number} has invalid ID ${id}.`);
+        if (seen.has(id))
+            invalid(`Rule catalog contains duplicate ID ${id}.`);
+        seen.add(id);
+        if (!SCOPE.test(scope))
+            invalid(`Rule ${id} has invalid scope ${scope}.`);
+        if (!RULE_KINDS.has(kind))
+            invalid(`Rule ${id} has invalid kind ${kind}.`);
+        if (!RULE_SEVERITIES.has(severity)) {
+            invalid(`Rule ${id} has invalid severity ${severity}.`);
+        }
+        if (!EXAMPLE.test(example))
+            invalid(`Rule ${id} has invalid example ${example}.`);
+        return Object.freeze({
+            id,
+            scope,
+            kind: kind,
+            severity: severity,
+            message,
+            verification,
+            example,
+        });
+    });
+    if (rules.length === 0)
+        invalid('Rule catalog must contain at least one rule.');
+    const byId = new Map(rules.map((rule) => [rule.id, rule]));
+    return Object.freeze({
+        size: rules.length,
+        rules: Object.freeze(rules),
+        get(id) {
+            return byId.get(id);
+        },
+    });
+}
+function hasControl(value) {
+    return Array.from(value).some((character) => {
+        const code = character.charCodeAt(0);
+        return code <= 8 || code === 11 || code === 12 || (code >= 14 && code <= 31) || code === 127;
+    });
+}
+function same(left, right) {
+    return left.length === right.length && left.every((value, index) => value === right[index]);
+}
+function invalid(message) {
+    throw new LinterToolError(message, { code: 'LINTER_POLICY_INVALID' });
+}
+//# sourceMappingURL=compile.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../../src/linter/catalog/compile.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAEzD,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,CAAU,CAAA;AAEjG,MAAM,UAAU,GAAG,IAAI,GAAG,CAAW;IACnC,cAAc;IACd,WAAW;IACX,YAAY;IACZ,aAAa;IACb,UAAU;IACV,UAAU;IACV,UAAU;CACX,CAAC,CAAA;AACF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAe,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAA;AACnE,MAAM,EAAE,GAAG,sBAAsB,CAAA;AACjC,MAAM,KAAK,GAAG,oBAAoB,CAAA;AAClC,MAAM,OAAO,GAAG,wBAAwB,CAAA;AACxC,MAAM,iBAAiB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAA;AACzC,MAAM,SAAS,GAAG,GAAG,CAAA;AACrB,MAAM,cAAc,GAAG,EAAE,GAAG,IAAI,CAAA;AAEhC,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,CAAC,gCAAgC,CAAC,CAAA;IACzE,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/C,IAAI,KAAK,GAAG,iBAAiB,EAAE,CAAC;QAC9B,OAAO,CAAC,mBAAmB,KAAK,sBAAsB,iBAAiB,GAAG,CAAC,CAAA;IAC7E,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,wCAAwC,CAAC,CAAA;IAC5E,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,yCAAyC,CAAC,CAAA;IAC9E,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,2CAA2C,CAAC,CAAA;IAEjF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;IAC/C,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,wCAAwC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACtE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;QAC7B,OAAO,CAAC,oBAAoB,KAAK,CAAC,MAAM,qBAAqB,SAAS,GAAG,CAAC,CAAA;IAC5E,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAkB,EAAE;QACtD,MAAM,MAAM,GAAG,KAAK,GAAG,CAAC,CAAA;QACxB,IAAI,CAAC,IAAI;YAAE,OAAO,CAAC,oBAAoB,MAAM,YAAY,CAAC,CAAA;QAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YACnC,OAAO,CAAC,oBAAoB,MAAM,QAAQ,KAAK,CAAC,MAAM,oBAAoB,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;QAC7F,CAAC;QACD,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;YAC/B,IAAI,CAAC,KAAK;gBAAE,OAAO,CAAC,oBAAoB,MAAM,iBAAiB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YACpF,IAAI,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,cAAc,EAAE,CAAC;gBACtD,OAAO,CAAC,oBAAoB,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,cAAc,SAAS,CAAC,CAAA;YACxF,CAAC;YACD,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtB,OAAO,CAAC,oBAAoB,MAAM,+BAA+B,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACnF,CAAC;YACD,IAAI,KAAK,KAAK,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC3B,OAAO,CAAC,oBAAoB,MAAM,kCAAkC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACtF,CAAC;QACH,CAAC;QACD,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,GAAG,KAQnE,CAAA;QACD,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,EAAE;YAAE,OAAO,CAAC,oBAAoB,MAAM,mBAAmB,EAAE,GAAG,CAAC,CAAA;QAC/F,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,sCAAsC,EAAE,GAAG,CAAC,CAAA;QACtE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACZ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,QAAQ,EAAE,sBAAsB,KAAK,GAAG,CAAC,CAAA;QACzE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAgB,CAAC;YAAE,OAAO,CAAC,QAAQ,EAAE,qBAAqB,IAAI,GAAG,CAAC,CAAA;QACtF,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAwB,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,QAAQ,EAAE,yBAAyB,QAAQ,GAAG,CAAC,CAAA;QACzD,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,OAAO,CAAC,QAAQ,EAAE,wBAAwB,OAAO,GAAG,CAAC,CAAA;QACjF,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,EAAE;YACF,KAAK;YACL,IAAI,EAAE,IAAgB;YACtB,QAAQ,EAAE,QAAwB;YAClC,OAAO;YACP,YAAY;YACZ,OAAO;SACR,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,8CAA8C,CAAC,CAAA;IAC/E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,KAAK,CAAC,MAAM;QAClB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;QAC3B,GAAG,CAAC,EAAU;YACZ,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACrB,CAAC;KACF,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE;QAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QACpC,OAAO,IAAI,IAAI,CAAC,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,IAAI,IAAI,KAAK,GAAG,CAAA;IAC9F,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,IAAuB,EAAE,KAAwB;IAC7D,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC7F,CAAC;AAED,SAAS,OAAO,CAAC,OAAe;IAC9B,MAAM,IAAI,eAAe,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE,CAAC,CAAA;AACvE,CAAC"}

package/dist/linter/catalog/index.d.ts

@@ -0,0 +1,19 @@
+export { compileRuleCatalog } from './compile.js';
+export { ruleRevision } from './revision.js';
+export type RuleKind = 'architecture' | 'structure' | 'dependency' | 'declaration' | 'dataflow' | 'behavior' | 'evidence';
+export type RuleSeverity = 'error' | 'warning';
+export interface RuleDefinition {
+    readonly id: string;
+    readonly scope: string;
+    readonly kind: RuleKind;
+    readonly severity: RuleSeverity;
+    readonly message: string;
+    readonly verification: string;
+    readonly example: string;
+}
+export interface RuleCatalog {
+    readonly size: number;
+    readonly rules: readonly RuleDefinition[];
+    get(id: string): RuleDefinition | undefined;
+}
+//# sourceMappingURL=index.d.ts.map

package/dist/linter/catalog/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/linter/catalog/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AAE5C,MAAM,MAAM,QAAQ,GAChB,cAAc,GACd,WAAW,GACX,YAAY,GACZ,aAAa,GACb,UAAU,GACV,UAAU,GACV,UAAU,CAAA;AAEd,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,CAAA;AAE9C,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAA;IACzC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAA;CAC5C"}

package/dist/linter/catalog/index.js

@@ -0,0 +1,3 @@
+export { compileRuleCatalog } from './compile.js';
+export { ruleRevision } from './revision.js';
+//# sourceMappingURL=index.js.map

package/dist/linter/catalog/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/linter/catalog/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAA;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA"}

package/dist/linter/catalog/revision.d.ts

@@ -0,0 +1,7 @@
+import type { RuleDefinition } from './index.js';
+/**
+ * Revision the governed evaluation meaning. Presentation policy remains in the
+ * complete policy digest and does not unnecessarily stale a compatible verifier.
+ */
+export declare function ruleRevision(definition: RuleDefinition): string;
+//# sourceMappingURL=revision.d.ts.map

package/dist/linter/catalog/revision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision.d.ts","sourceRoot":"","sources":["../../../src/linter/catalog/revision.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAIhD;;;GAGG;AACH,wBAAgB,YAAY,CAAC,UAAU,EAAE,cAAc,GAAG,MAAM,CAQ/D"}

package/dist/linter/catalog/revision.js

@@ -0,0 +1,13 @@
+import { createHash } from 'node:crypto';
+const REVISION_DOMAIN = 'astrale-domain-rule-evaluation-revision:v1\n';
+/**
+ * Revision the governed evaluation meaning. Presentation policy remains in the
+ * complete policy digest and does not unnecessarily stale a compatible verifier.
+ */
+export function ruleRevision(definition) {
+    return createHash('sha256')
+        .update(REVISION_DOMAIN)
+        .update([definition.id, definition.scope, definition.kind, definition.verification].join('\0'), 'utf8')
+        .digest('hex');
+}
+//# sourceMappingURL=revision.js.map

package/dist/linter/catalog/revision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision.js","sourceRoot":"","sources":["../../../src/linter/catalog/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAIxC,MAAM,eAAe,GAAG,8CAA8C,CAAA;AAEtE;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,UAA0B;IACrD,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CAAC,eAAe,CAAC;SACvB,MAAM,CACL,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EACtF,MAAM,CACP;SACA,MAAM,CAAC,KAAK,CAAC,CAAA;AAClB,CAAC"}

package/dist/linter/diagnostics/error.d.ts

@@ -0,0 +1,10 @@
+import type { LinterToolErrorCode } from './index.js';
+export declare class LinterToolError extends Error {
+    readonly exitCode: 2;
+    readonly code: LinterToolErrorCode;
+    constructor(message: string, options: {
+        readonly code: LinterToolErrorCode;
+        readonly cause?: unknown;
+    });
+}
+//# sourceMappingURL=error.d.ts.map

package/dist/linter/diagnostics/error.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error.d.ts","sourceRoot":"","sources":["../../../src/linter/diagnostics/error.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAErD,qBAAa,eAAgB,SAAQ,KAAK;IACxC,QAAQ,CAAC,QAAQ,EAAG,CAAC,CAAS;IAC9B,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;IAElC,YACE,OAAO,EAAE,MAAM,EACf,OAAO,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;QAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,EAK1E;CACF"}

package/dist/linter/diagnostics/error.js

@@ -0,0 +1,10 @@
+export class LinterToolError extends Error {
+    exitCode = 2;
+    code;
+    constructor(message, options) {
+        super(message, options.cause === undefined ? undefined : { cause: options.cause });
+        this.name = 'LinterToolError';
+        this.code = options.code;
+    }
+}
+//# sourceMappingURL=error.js.map

package/dist/linter/diagnostics/error.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error.js","sourceRoot":"","sources":["../../../src/linter/diagnostics/error.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAC/B,QAAQ,GAAG,CAAU,CAAA;IACrB,IAAI,CAAqB;IAElC,YACE,OAAe,EACf,OAAyE;QAEzE,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAA;QAClF,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAA;QAC7B,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAA;IAC1B,CAAC;CACF"}

package/dist/linter/diagnostics/index.d.ts

@@ -0,0 +1,29 @@
+import type { RuleKind } from '../catalog/index.js';
+export { LinterToolError } from './error.js';
+export { sortDiagnostics } from './sort.js';
+export type DiagnosticKind = 'violation' | 'ambiguity';
+export type DiagnosticSeverity = 'error' | 'warning' | 'notice';
+export type DiagnosticSource = 'domain-rule' | 'linter' | 'oxlint';
+export type DiagnosticAnalysisKind = RuleKind | 'generic';
+export type AmbiguityReason = 'analysis-limit' | 'dynamic-value' | 'external-evidence' | 'insufficient-evidence' | 'unresolved-import' | 'unresolved-symbol' | 'unsupported-syntax';
+export interface DiagnosticLocation {
+    readonly path: string;
+    readonly line: number;
+    readonly column: number;
+    readonly offset?: number;
+    readonly length?: number;
+}
+export interface LintDiagnostic {
+    readonly id: string;
+    readonly source: DiagnosticSource;
+    readonly scope: string;
+    readonly analysis: DiagnosticAnalysisKind;
+    readonly kind: DiagnosticKind;
+    readonly ambiguityReason?: AmbiguityReason;
+    readonly severity: DiagnosticSeverity;
+    readonly message: string;
+    readonly evidence?: string;
+    readonly location?: DiagnosticLocation;
+}
+export type LinterToolErrorCode = 'LINTER_CANCELLED' | 'LINTER_POLICY_INVALID' | 'LINTER_RULE_COVERAGE' | 'LINTER_RULE_FAILED' | 'LINTER_PROJECT_INVALID' | 'LINTER_PREFLIGHT_FAILED' | 'LINTER_SEMANTIC_FAILED' | 'OXLINT_CANCELLED' | 'OXLINT_FAILED' | 'OXLINT_INVALID_OUTPUT' | 'OXLINT_NOT_INSTALLED' | 'OXLINT_OUTPUT_LIMIT' | 'OXLINT_START_FAILED' | 'OXLINT_TIMEOUT';
+//# sourceMappingURL=index.d.ts.map

package/dist/linter/diagnostics/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/linter/diagnostics/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAEnD,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AAE3C,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG,WAAW,CAAA;AACtD,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,SAAS,GAAG,QAAQ,CAAA;AAC/D,MAAM,MAAM,gBAAgB,GAAG,aAAa,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAClE,MAAM,MAAM,sBAAsB,GAAG,QAAQ,GAAG,SAAS,CAAA;AACzD,MAAM,MAAM,eAAe,GACvB,gBAAgB,GAChB,eAAe,GACf,mBAAmB,GACnB,uBAAuB,GACvB,mBAAmB,GACnB,mBAAmB,GACnB,oBAAoB,CAAA;AAExB,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,QAAQ,EAAE,sBAAsB,CAAA;IACzC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAA;IAC1C,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAA;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAA;CACvC;AAED,MAAM,MAAM,mBAAmB,GAC3B,kBAAkB,GAClB,uBAAuB,GACvB,sBAAsB,GACtB,oBAAoB,GACpB,wBAAwB,GACxB,yBAAyB,GACzB,wBAAwB,GACxB,kBAAkB,GAClB,eAAe,GACf,uBAAuB,GACvB,sBAAsB,GACtB,qBAAqB,GACrB,qBAAqB,GACrB,gBAAgB,CAAA"}

package/dist/linter/diagnostics/index.js

@@ -0,0 +1,3 @@
+export { LinterToolError } from './error.js';
+export { sortDiagnostics } from './sort.js';
+//# sourceMappingURL=index.js.map

package/dist/linter/diagnostics/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/linter/diagnostics/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA"}

package/dist/linter/diagnostics/sort.d.ts

@@ -0,0 +1,3 @@
+import type { LintDiagnostic } from './index.js';
+export declare function sortDiagnostics(input: readonly LintDiagnostic[]): LintDiagnostic[];
+//# sourceMappingURL=sort.d.ts.map

package/dist/linter/diagnostics/sort.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sort.d.ts","sourceRoot":"","sources":["../../../src/linter/diagnostics/sort.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAEhD,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,GAAG,cAAc,EAAE,CA2BlF"}

package/dist/linter/diagnostics/sort.js

@@ -0,0 +1,27 @@
+export function sortDiagnostics(input) {
+    const unique = new Map();
+    for (const diagnostic of input) {
+        const location = diagnostic.location;
+        const key = [
+            diagnostic.source,
+            diagnostic.id,
+            diagnostic.kind,
+            location?.path ?? '',
+            location?.line ?? 0,
+            location?.column ?? 0,
+            diagnostic.evidence ?? '',
+        ].join('\0');
+        unique.set(key, diagnostic);
+    }
+    return [...unique.values()].sort((left, right) => {
+        const leftLocation = left.location;
+        const rightLocation = right.location;
+        return ((leftLocation?.path ?? '').localeCompare(rightLocation?.path ?? '') ||
+            (leftLocation?.line ?? 0) - (rightLocation?.line ?? 0) ||
+            (leftLocation?.column ?? 0) - (rightLocation?.column ?? 0) ||
+            left.id.localeCompare(right.id) ||
+            left.kind.localeCompare(right.kind) ||
+            (left.evidence ?? '').localeCompare(right.evidence ?? ''));
+    });
+}
+//# sourceMappingURL=sort.js.map

package/dist/linter/diagnostics/sort.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sort.js","sourceRoot":"","sources":["../../../src/linter/diagnostics/sort.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,eAAe,CAAC,KAAgC;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAA;IAChD,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAA;QACpC,MAAM,GAAG,GAAG;YACV,UAAU,CAAC,MAAM;YACjB,UAAU,CAAC,EAAE;YACb,UAAU,CAAC,IAAI;YACf,QAAQ,EAAE,IAAI,IAAI,EAAE;YACpB,QAAQ,EAAE,IAAI,IAAI,CAAC;YACnB,QAAQ,EAAE,MAAM,IAAI,CAAC;YACrB,UAAU,CAAC,QAAQ,IAAI,EAAE;SAC1B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACZ,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAA;IAC7B,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAA;QAClC,MAAM,aAAa,GAAG,KAAK,CAAC,QAAQ,CAAA;QACpC,OAAO,CACL,CAAC,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC;YACnE,CAAC,YAAY,EAAE,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,IAAI,CAAC,CAAC;YACtD,CAAC,YAAY,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;YAC1D,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;YACnC,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAC1D,CAAA;IACH,CAAC,CAAC,CAAA;AACJ,CAAC"}

package/dist/linter/evaluation/binding/bind.d.ts

@@ -0,0 +1,5 @@
+import type { RuleCatalog } from '../../catalog/index.js';
+import type { DomainRulePack } from '../../packs/index.js';
+import type { EvaluationBinding, RuleImplementationPlan } from '../contract/index.js';
+export declare function bindEvaluation<TInput>(catalog: RuleCatalog, pack: DomainRulePack, plan: RuleImplementationPlan<TInput>): EvaluationBinding<TInput>;
+//# sourceMappingURL=bind.d.ts.map

package/dist/linter/evaluation/binding/bind.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bind.d.ts","sourceRoot":"","sources":["../../../../src/linter/evaluation/binding/bind.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAkB,MAAM,wBAAwB,CAAA;AACzE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EACV,iBAAiB,EASjB,sBAAsB,EAEvB,MAAM,sBAAsB,CAAA;AA0B7B,wBAAgB,cAAc,CAAC,MAAM,EACnC,OAAO,EAAE,WAAW,EACpB,IAAI,EAAE,cAAc,EACpB,IAAI,EAAE,sBAAsB,CAAC,MAAM,CAAC,GACnC,iBAAiB,CAAC,MAAM,CAAC,CA0E3B"}