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

package/dist/linter/implementations/source/shared.js

@@ -0,0 +1,239 @@
+import ts from 'typescript';
+import { importedSymbol, location, objectProperty, propertyChain, resolveImportedSymbol, resolveProjectImport, staticText, unwrap, visit, } from '../../adapters/typescript/index.js';
+export const SDK_MODULES = new Set([
+    '@astrale-os/sdk',
+    '@astrale-os/sdk/capability',
+    '@astrale-os/sdk/query',
+    '@astrale-os/sdk/mutation',
+    '@astrale-os/sdk/state',
+    '@astrale-os/sdk/workflow',
+]);
+export const DSL_MODULES = new Set([
+    '@astrale-os/sdk/schema',
+    '@astrale-os/sdk/schema/v1',
+    '@astrale-os/kernel-dsl',
+    '@astrale-os/kernel-dsl/v1',
+    '@astrale-os/kernel-core',
+]);
+export function production(project, layer) {
+    return project.files.filter((file) => file.role === 'production' && (layer === undefined || file.layer === layer));
+}
+export function calls(file, importedName, modules = SDK_MODULES) {
+    const result = [];
+    visit(file.source, (node) => {
+        if (!ts.isCallExpression(node))
+            return;
+        const symbol = resolveImportedSymbol(file, node.expression);
+        if (symbol.kind === 'resolved' && symbol.name === importedName && modules.has(symbol.module)) {
+            result.push({ call: node, origin: 'resolved' });
+        }
+        else if (symbol.kind === 'ambiguous' && symbol.name === importedName) {
+            result.push({ call: node, origin: 'ambiguous' });
+        }
+    });
+    return result;
+}
+export function memberCalls(file, importedName, member, modules = SDK_MODULES) {
+    const result = [];
+    visit(file.source, (node) => {
+        if (!ts.isCallExpression(node) || !ts.isPropertyAccessExpression(unwrap(node.expression)))
+            return;
+        const expression = unwrap(node.expression);
+        if (expression.name.text !== member)
+            return;
+        const symbol = resolveImportedSymbol(file, expression.expression);
+        if (symbol.kind === 'resolved' && symbol.name === importedName && modules.has(symbol.module)) {
+            result.push({ call: node, origin: 'resolved' });
+        }
+        else if (symbol.kind === 'ambiguous' && symbol.name === importedName) {
+            result.push({ call: node, origin: 'ambiguous' });
+        }
+    });
+    return result;
+}
+export function definitionObjects(file, importedName, member, modules = SDK_MODULES, argumentIndex = 0) {
+    return (member ? memberCalls(file, importedName, member, modules) : calls(file, importedName, modules)).map(({ call, origin }) => ({
+        call,
+        origin,
+        object: objectArgumentAt(call, argumentIndex),
+    }));
+}
+export function definitionOriginAmbiguity(file, definition, name) {
+    return definition.origin === 'ambiguous'
+        ? ambiguity(file, definition.call, `${name} resolves through a local facade whose ultimate public constructor origin is unknown.`)
+        : undefined;
+}
+function objectArgumentAt(call, index) {
+    const value = call.arguments[index];
+    return value && ts.isObjectLiteralExpression(unwrap(value))
+        ? unwrap(value)
+        : undefined;
+}
+export function violation(file, node, evidence) {
+    return { kind: 'violation', evidence, location: location(file, node) };
+}
+export function ambiguity(file, node, evidence) {
+    return { kind: 'ambiguity', evidence, location: location(file, node) };
+}
+export function localTarget(project, file, sourceImport) {
+    return resolveProjectImport(project, file, sourceImport.specifier);
+}
+export function importedLayer(project, file, sourceImport) {
+    return localTarget(project, file, sourceImport)?.layer;
+}
+export function isForeignDomain(specifier) {
+    if (specifier.startsWith('@astrale-domains/'))
+        return true;
+    const root = packageRoot(specifier);
+    return /(?:^|[-/])domain$/.test(root) || root.endsWith('-domain');
+}
+export function packageRoot(specifier) {
+    if (!specifier.startsWith('@'))
+        return specifier.split('/')[0] ?? specifier;
+    return specifier.split('/').slice(0, 2).join('/');
+}
+export function isDeepPackageImport(specifier) {
+    return specifier !== packageRoot(specifier);
+}
+export function propertyExpression(object, name) {
+    const property = objectProperty(object, name);
+    if (property && ts.isPropertyAssignment(property))
+        return unwrap(property.initializer);
+    return undefined;
+}
+export function callback(object, name) {
+    const property = objectProperty(object, name);
+    if (property && ts.isMethodDeclaration(property))
+        return property;
+    if (property && ts.isPropertyAssignment(property)) {
+        const value = unwrap(property.initializer);
+        if (ts.isArrowFunction(value) || ts.isFunctionExpression(value))
+            return value;
+    }
+    return undefined;
+}
+export function returnedExpressions(fn) {
+    if (!fn.body)
+        return [];
+    if (!ts.isBlock(fn.body))
+        return [unwrap(fn.body)];
+    const expressions = [];
+    const walk = (node) => {
+        if (node !== fn && ts.isFunctionLike(node))
+            return;
+        if (ts.isReturnStatement(node) && node.expression)
+            expressions.push(unwrap(node.expression));
+        node.forEachChild(walk);
+    };
+    fn.body.forEachChild(walk);
+    return expressions;
+}
+export function callChain(expression) {
+    const target = unwrap(expression);
+    if (ts.isCallExpression(target))
+        return propertyChain(target.expression);
+    if (ts.isPropertyAccessExpression(target))
+        return propertyChain(target);
+    return undefined;
+}
+export function staticId(expression) {
+    return staticText(expression);
+}
+export function hasForbiddenGlobalCall(file) {
+    const forbidden = new Set(['fetch', 'setTimeout', 'setInterval', 'queueMicrotask']);
+    const result = [];
+    visit(file.source, (node) => {
+        if (!ts.isCallExpression(node))
+            return;
+        const expression = unwrap(node.expression);
+        if (ts.isIdentifier(expression)) {
+            const name = expression.text;
+            if (forbidden.has(name) &&
+                !importedSymbol(file, expression) &&
+                !isLocallyBound(expression, name)) {
+                result.push({ node, name });
+            }
+            return;
+        }
+        const chain = propertyChain(expression);
+        if (chain?.length === 2 && chain[0] === 'globalThis' && forbidden.has(chain[1])) {
+            result.push({ node, name: chain[1] });
+        }
+    });
+    return result;
+}
+export function isLocallyBoundIdentifier(node) {
+    return isLocallyBound(node, node.text);
+}
+export function forbiddenIoImport(specifier) {
+    return (specifier.startsWith('node:') &&
+        !specifier.startsWith('node:assert') &&
+        !specifier.startsWith('node:util/types'));
+}
+export function variableName(call) {
+    const parent = call.parent;
+    return ts.isVariableDeclaration(parent) && ts.isIdentifier(parent.name)
+        ? parent.name.text
+        : undefined;
+}
+export function allPropertyNames(object) {
+    return object.properties.flatMap((property) => {
+        if (!('name' in property) || !property.name)
+            return [];
+        const name = ts.isIdentifier(property.name) || ts.isStringLiteral(property.name)
+            ? property.name.text
+            : undefined;
+        return name ? [name] : [];
+    });
+}
+function isLocallyBound(node, name) {
+    let current = node.parent;
+    while (current) {
+        if (ts.isFunctionLike(current)) {
+            if (current.parameters.some((parameter) => bindingContains(parameter.name, name)) ||
+                ('name' in current &&
+                    current.name &&
+                    ts.isIdentifier(current.name) &&
+                    current.name.text === name)) {
+                return true;
+            }
+        }
+        if (ts.isBlock(current) || ts.isSourceFile(current)) {
+            if (current.statements.some((statement) => statementDeclares(statement, name)))
+                return true;
+        }
+        if (ts.isCatchClause(current) && current.variableDeclaration) {
+            if (bindingContains(current.variableDeclaration.name, name))
+                return true;
+        }
+        current = current.parent;
+    }
+    return false;
+}
+function statementDeclares(statement, name) {
+    if (ts.isVariableStatement(statement)) {
+        return statement.declarationList.declarations.some((declaration) => bindingContains(declaration.name, name));
+    }
+    if ((ts.isFunctionDeclaration(statement) ||
+        ts.isClassDeclaration(statement) ||
+        ts.isEnumDeclaration(statement)) &&
+        statement.name?.text === name) {
+        return true;
+    }
+    if (ts.isImportDeclaration(statement) && statement.importClause) {
+        const clause = statement.importClause;
+        if (clause.name?.text === name)
+            return true;
+        const bindings = clause.namedBindings;
+        if (bindings && ts.isNamespaceImport(bindings))
+            return bindings.name.text === name;
+        return Boolean(bindings && bindings.elements.some((element) => element.name.text === name));
+    }
+    return false;
+}
+function bindingContains(binding, name) {
+    if (ts.isIdentifier(binding))
+        return binding.text === name;
+    return binding.elements.some((element) => ts.isOmittedExpression(element) ? false : bindingContains(element.name, name));
+}
+//# sourceMappingURL=shared.js.map

package/dist/linter/implementations/source/shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAI3B,OAAO,EACL,cAAc,EACd,QAAQ,EACR,cAAc,EACd,aAAa,EACb,qBAAqB,EACrB,oBAAoB,EACpB,UAAU,EACV,MAAM,EACN,KAAK,GAIN,MAAM,oCAAoC,CAAA;AAE3C,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IACjC,iBAAiB;IACjB,4BAA4B;IAC5B,uBAAuB;IACvB,0BAA0B;IAC1B,uBAAuB;IACvB,0BAA0B;CAC3B,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IACjC,wBAAwB;IACxB,2BAA2B;IAC3B,wBAAwB;IACxB,2BAA2B;IAC3B,yBAAyB;CAC1B,CAAC,CAAA;AAQF,MAAM,UAAU,UAAU,CAAC,OAAsB,EAAE,KAAc;IAC/D,OAAO,OAAO,CAAC,KAAK,CAAC,MAAM,CACzB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CACtF,CAAA;AACH,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,IAAgB,EAChB,YAAoB,EACpB,OAAO,GAAG,WAAW;IAErB,MAAM,MAAM,GAGP,EAAE,CAAA;IACP,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAM;QACtC,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;QAC3D,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7F,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAA;QACjD,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAA;QAClD,CAAC;IACH,CAAC,CAAC,CAAA;IACF,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,IAAgB,EAChB,YAAoB,EACpB,MAAc,EACd,OAAO,GAAG,WAAW;IAErB,MAAM,MAAM,GAGP,EAAE,CAAA;IACP,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvF,OAAM;QACR,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAgC,CAAA;QACzE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,OAAM;QAC3C,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAA;QACjE,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7F,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAA;QACjD,CAAC;aAAM,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAA;QAClD,CAAC;IACH,CAAC,CAAC,CAAA;IACF,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAgB,EAChB,YAAoB,EACpB,MAAe,EACf,OAAO,GAAG,WAAW,EACrB,aAAa,GAAG,CAAC;IAEjB,OAAO,CACL,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,CAAC,CAC/F,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3B,IAAI;QACJ,MAAM;QACN,MAAM,EAAE,gBAAgB,CAAC,IAAI,EAAE,aAAa,CAAC;KAC9C,CAAC,CAAC,CAAA;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,IAAgB,EAChB,UAA4B,EAC5B,IAAY;IAEZ,OAAO,UAAU,CAAC,MAAM,KAAK,WAAW;QACtC,CAAC,CAAC,SAAS,CACP,IAAI,EACJ,UAAU,CAAC,IAAI,EACf,GAAG,IAAI,uFAAuF,CAC/F;QACH,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAuB,EACvB,KAAa;IAEb,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;IACnC,OAAO,KAAK,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzD,CAAC,CAAE,MAAM,CAAC,KAAK,CAAgC;QAC/C,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAgB,EAAE,IAAa,EAAE,QAAgB;IACzE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAA;AACxE,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAgB,EAAE,IAAa,EAAE,QAAgB;IACzE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAA;AACxE,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,OAAsB,EACtB,IAAgB,EAChB,YAA0B;IAE1B,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,SAAS,CAAC,CAAA;AACpE,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAAsB,EACtB,IAAgB,EAChB,YAA0B;IAE1B,OAAO,WAAW,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,KAAK,CAAA;AACxD,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,IAAI,SAAS,CAAC,UAAU,CAAC,mBAAmB,CAAC;QAAE,OAAO,IAAI,CAAA;IAC1D,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,CAAA;IACnC,OAAO,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;AACnE,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,SAAiB;IAC3C,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,SAAS,CAAA;IAC3E,OAAO,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,SAAiB;IACnD,OAAO,SAAS,KAAK,WAAW,CAAC,SAAS,CAAC,CAAA;AAC7C,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,MAA8C,EAC9C,IAAY;IAEZ,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC7C,IAAI,QAAQ,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IACtF,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,MAAM,UAAU,QAAQ,CACtB,MAA8C,EAC9C,IAAY;IAEZ,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC7C,IAAI,QAAQ,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAA;IACjE,IAAI,QAAQ,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAC1C,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;IAC/E,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,EAA8B;IAChE,IAAI,CAAC,EAAE,CAAC,IAAI;QAAE,OAAO,EAAE,CAAA;IACvB,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;IAClD,MAAM,WAAW,GAAoB,EAAE,CAAA;IACvC,MAAM,IAAI,GAAG,CAAC,IAAa,EAAQ,EAAE;QACnC,IAAI,IAAI,KAAK,EAAE,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YAAE,OAAM;QAClD,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU;YAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAA;QAC5F,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC,CAAA;IACD,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;IAC1B,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,UAAyB;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACjC,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAAE,OAAO,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACxE,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,aAAa,CAAC,MAAM,CAAC,CAAA;IACvE,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,UAAqC;IAC5D,OAAO,UAAU,CAAC,UAAU,CAAC,CAAA;AAC/B,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAgB;IACrD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAA;IACnF,MAAM,MAAM,GAA2C,EAAE,CAAA;IACzD,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAM;QACtC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAC1C,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAA;YAC5B,IACE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;gBACnB,CAAC,cAAc,CAAC,IAAI,EAAE,UAAU,CAAC;gBACjC,CAAC,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;YAC7B,CAAC;YACD,OAAM;QACR,CAAC;QACD,MAAM,KAAK,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;QACvC,IAAI,KAAK,EAAE,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,YAAY,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAChF,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACvC,CAAC;IACH,CAAC,CAAC,CAAA;IACF,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAmB;IAC1D,OAAO,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;AACxC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,SAAiB;IACjD,OAAO,CACL,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC;QAC7B,CAAC,SAAS,CAAC,UAAU,CAAC,aAAa,CAAC;QACpC,CAAC,SAAS,CAAC,UAAU,CAAC,iBAAiB,CAAC,CACzC,CAAA;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAuB;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAA;IAC1B,OAAO,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;QACrE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;QAClB,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MAAkC;IACjE,OAAO,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC5C,IAAI,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;YAAE,OAAO,EAAE,CAAA;QACtD,MAAM,IAAI,GACR,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC;YACjE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI;YACpB,CAAC,CAAC,SAAS,CAAA;QACf,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC3B,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAmB,EAAE,IAAY;IACvD,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,CAAA;IAC9C,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,IACE,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAC7E,CAAC,MAAM,IAAI,OAAO;oBAChB,OAAO,CAAC,IAAI;oBACZ,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;oBAC7B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,EAC7B,CAAC;gBACD,OAAO,IAAI,CAAA;YACb,CAAC;QACH,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;YACpD,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAA;QAC7F,CAAC;QACD,IAAI,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;YAC7D,IAAI,eAAe,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAA;QAC1E,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,SAAuB,EAAE,IAAY;IAC9D,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC,eAAe,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CACjE,eAAe,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CACxC,CAAA;IACH,CAAC;IACD,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;QAClC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;QAChC,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAClC,SAAS,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI,EAC7B,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;QAChE,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAA;QACrC,IAAI,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAA;QAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAA;QACrC,IAAI,QAAQ,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC;YAAE,OAAO,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAA;QAClF,OAAO,OAAO,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAA;IAC7F,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,eAAe,CAAC,OAAuB,EAAE,IAAY;IAC5D,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC,IAAI,KAAK,IAAI,CAAA;IAC1D,OAAO,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CACvC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAC9E,CAAA;AACH,CAAC"}

package/dist/linter/implementations/source/states.d.ts

@@ -0,0 +1,3 @@
+import type { SourceRuleVerifier } from './contract.js';
+export declare const stateRules: readonly SourceRuleVerifier[];
+//# sourceMappingURL=states.d.ts.map

package/dist/linter/implementations/source/states.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"states.d.ts","sourceRoot":"","sources":["../../../../src/linter/implementations/source/states.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAA;AAEvD,eAAO,MAAM,UAAU,EAAE,SAAS,kBAAkB,EAAO,CAAA"}

package/dist/linter/implementations/source/states.js

@@ -0,0 +1,2 @@
+export const stateRules = [];
+//# sourceMappingURL=states.js.map

package/dist/linter/implementations/source/states.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"states.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/states.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,UAAU,GAAkC,EAAE,CAAA"}

package/dist/linter/implementations/source/tests.d.ts

@@ -0,0 +1,3 @@
+import type { SourceRuleVerifier } from './contract.js';
+export declare const testRules: readonly SourceRuleVerifier[];
+//# sourceMappingURL=tests.d.ts.map

package/dist/linter/implementations/source/tests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tests.d.ts","sourceRoot":"","sources":["../../../../src/linter/implementations/source/tests.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAsB,MAAM,eAAe,CAAA;AAI3E,eAAO,MAAM,SAAS,EAAE,SAAS,kBAAkB,EAkClD,CAAA"}

package/dist/linter/implementations/source/tests.js

@@ -0,0 +1,28 @@
+import { production, violation } from './shared.js';
+export const testRules = [
+    {
+        id: 'TST-COLOCATED',
+        ruleRevision: 'be48ff455304d184c5691a3f14877ead47404226ba22d0a44e9df5f1b65ff3dc',
+        evaluate(project) {
+            const evidence = [];
+            const owners = new Map();
+            for (const file of production(project)) {
+                if (file.layer && file.layer !== 'tests' && file.submodule) {
+                    owners.set(`${file.layer}/${file.submodule}`, file);
+                }
+            }
+            for (const [owner, file] of owners) {
+                const [layer, submodule] = owner.split('/');
+                const hasFocusedEvidence = project.files.some((candidate) => candidate.layer === layer &&
+                    candidate.submodule === submodule &&
+                    candidate.role === 'focused-test' &&
+                    candidate.path.startsWith(`${layer}/${submodule}/__tests__/`));
+                if (!hasFocusedEvidence) {
+                    evidence.push(violation(file, file.source, `Semantic submodule ${owner} has no local __tests__ evidence.`));
+                }
+            }
+            return evidence;
+        },
+    },
+];
+//# sourceMappingURL=tests.js.map

package/dist/linter/implementations/source/tests.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tests.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/tests.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAEnD,MAAM,CAAC,MAAM,SAAS,GAAkC;IACtD;QACE,EAAE,EAAE,eAAe;QACnB,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0C,CAAA;YAChE,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvC,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;oBAC3D,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,CAAC,CAAA;gBACrD,CAAC;YACH,CAAC;YACD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC;gBACnC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAA;gBAC/D,MAAM,kBAAkB,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAC3C,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,KAAK,KAAK,KAAK;oBACzB,SAAS,CAAC,SAAS,KAAK,SAAS;oBACjC,SAAS,CAAC,IAAI,KAAK,cAAc;oBACjC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,KAAK,IAAI,SAAS,aAAa,CAAC,CAChE,CAAA;gBACD,IAAI,CAAC,kBAAkB,EAAE,CAAC;oBACxB,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,IAAI,CAAC,MAAM,EACX,sBAAsB,KAAK,mCAAmC,CAC/D,CACF,CAAA;gBACH,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;CACF,CAAA"}

package/dist/linter/implementations/source/ui.d.ts

@@ -0,0 +1,3 @@
+import type { SourceRuleVerifier } from './contract.js';
+export declare const uiRules: readonly SourceRuleVerifier[];
+//# sourceMappingURL=ui.d.ts.map

package/dist/linter/implementations/source/ui.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ui.d.ts","sourceRoot":"","sources":["../../../../src/linter/implementations/source/ui.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAsB,MAAM,eAAe,CAAA;AAK3E,eAAO,MAAM,OAAO,EAAE,SAAS,kBAAkB,EAuBhD,CAAA"}

package/dist/linter/implementations/source/ui.js

@@ -0,0 +1,21 @@
+import { resolveProjectImport } from '../../adapters/typescript/index.js';
+import { isForeignDomain, production, violation } from './shared.js';
+export const uiRules = [
+    {
+        id: 'UI-NO-DOMAIN',
+        ruleRevision: '042a25c0aaa76576e6c9b4f9f4f1cc9b08fe5860b9d77a3e5cc64be0f121214c',
+        evaluate(project) {
+            const evidence = [];
+            for (const file of production(project, 'ui')) {
+                for (const sourceImport of file.imports) {
+                    const target = resolveProjectImport(project, file, sourceImport.specifier);
+                    if ((target?.layer && target.layer !== 'ui') || isForeignDomain(sourceImport.specifier)) {
+                        evidence.push(violation(file, sourceImport.node, `UI imports Domain dependency ${sourceImport.specifier}.`));
+                    }
+                }
+            }
+            return evidence;
+        },
+    },
+];
+//# sourceMappingURL=ui.js.map

package/dist/linter/implementations/source/ui.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ui.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/ui.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAA;AACzE,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAEpE,MAAM,CAAC,MAAM,OAAO,GAAkC;IACpD;QACE,EAAE,EAAE,cAAc;QAClB,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC7C,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBACxC,MAAM,MAAM,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,SAAS,CAAC,CAAA;oBAC1E,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,eAAe,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;wBACxF,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,YAAY,CAAC,IAAI,EACjB,gCAAgC,YAAY,CAAC,SAAS,GAAG,CAC1D,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;CACF,CAAA"}

package/dist/linter/implementations/source/utils.d.ts

@@ -0,0 +1,3 @@
+import type { SourceRuleVerifier } from './contract.js';
+export declare const utilRules: readonly SourceRuleVerifier[];
+//# sourceMappingURL=utils.d.ts.map

package/dist/linter/implementations/source/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../../src/linter/implementations/source/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAsB,MAAM,eAAe,CAAA;AAK3E,eAAO,MAAM,SAAS,EAAE,SAAS,kBAAkB,EAyClD,CAAA"}

package/dist/linter/implementations/source/utils.js

@@ -0,0 +1,29 @@
+import { resolveProjectImport } from '../../adapters/typescript/index.js';
+import { production, violation } from './shared.js';
+export const utilRules = [
+    {
+        id: 'UTL-PUBLIC-DEPS',
+        ruleRevision: '8046a80ca754d9bda011219ab2555675c83f03208a8be3d4415a15f4ff49bf65',
+        evaluate(project) {
+            const evidence = [];
+            for (const file of production(project, 'utils')) {
+                for (const sourceImport of file.imports) {
+                    const target = resolveProjectImport(project, file, sourceImport.specifier);
+                    if (target?.layer && target.layer !== 'utils') {
+                        evidence.push(violation(file, sourceImport.node, `Utils imports Domain layer ${target.layer}.`));
+                    }
+                    if (sourceImport.specifier.startsWith('@astrale-os/sdk/src/') ||
+                        sourceImport.specifier.startsWith('@astrale-os/kernel-core/src/') ||
+                        sourceImport.specifier.startsWith('@astrale-os/kernel-dsl/src/')) {
+                        evidence.push(violation(file, sourceImport.node, `Utils deep-imports private package path ${sourceImport.specifier}.`));
+                    }
+                    if (sourceImport.specifier.startsWith('@astrale-domains/')) {
+                        evidence.push(violation(file, sourceImport.node, `Utils imports foreign Domain ${sourceImport.specifier}.`));
+                    }
+                }
+            }
+            return evidence;
+        },
+    },
+];
+//# sourceMappingURL=utils.js.map

package/dist/linter/implementations/source/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/utils.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAA;AACzE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAEnD,MAAM,CAAC,MAAM,SAAS,GAAkC;IACtD;QACE,EAAE,EAAE,iBAAiB;QACrB,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAChD,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBACxC,MAAM,MAAM,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,SAAS,CAAC,CAAA;oBAC1E,IAAI,MAAM,EAAE,KAAK,IAAI,MAAM,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;wBAC9C,QAAQ,CAAC,IAAI,CACX,SAAS,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,8BAA8B,MAAM,CAAC,KAAK,GAAG,CAAC,CAClF,CAAA;oBACH,CAAC;oBACD,IACE,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,sBAAsB,CAAC;wBACzD,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,8BAA8B,CAAC;wBACjE,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,6BAA6B,CAAC,EAChE,CAAC;wBACD,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,YAAY,CAAC,IAAI,EACjB,2CAA2C,YAAY,CAAC,SAAS,GAAG,CACrE,CACF,CAAA;oBACH,CAAC;oBACD,IAAI,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;wBAC3D,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,YAAY,CAAC,IAAI,EACjB,gCAAgC,YAAY,CAAC,SAAS,GAAG,CAC1D,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;CACF,CAAA"}

package/dist/linter/implementations/source/verifiers.d.ts

@@ -0,0 +1,3 @@
+import type { SourceRuleVerifier } from './contract.js';
+export declare const sourceRuleVerifiers: readonly SourceRuleVerifier[];
+//# sourceMappingURL=verifiers.d.ts.map

package/dist/linter/implementations/source/verifiers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifiers.d.ts","sourceRoot":"","sources":["../../../../src/linter/implementations/source/verifiers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAA;AAkBvD,eAAO,MAAM,mBAAmB,EAAE,SAAS,kBAAkB,EAgB3D,CAAA"}

package/dist/linter/implementations/source/verifiers.js

@@ -0,0 +1,33 @@
+import { capabilityRules } from './capabilities.js';
+import { functionRules } from './functions.js';
+import { globalRules } from './global.js';
+import { integrationRules } from './integrations.js';
+import { migrationRules } from './migrations.js';
+import { mutationRules } from './mutations.js';
+import { queryRules } from './queries.js';
+import { pureRuleRules } from './rules.js';
+import { schemaRules } from './schema.js';
+import { stateRules } from './states.js';
+import { testRules } from './tests.js';
+import { uiRules } from './ui.js';
+import { utilRules } from './utils.js';
+import { viewRules } from './views.js';
+import { workflowRules } from './workflows.js';
+export const sourceRuleVerifiers = Object.freeze([
+    ...globalRules,
+    ...schemaRules,
+    ...stateRules,
+    ...pureRuleRules,
+    ...queryRules,
+    ...mutationRules,
+    ...workflowRules,
+    ...migrationRules,
+    ...capabilityRules,
+    ...functionRules,
+    ...integrationRules,
+    ...viewRules,
+    ...uiRules,
+    ...utilRules,
+    ...testRules,
+]);
+//# sourceMappingURL=verifiers.js.map

package/dist/linter/implementations/source/verifiers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifiers.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/verifiers.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACjC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AACtC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAA;AAE9C,MAAM,CAAC,MAAM,mBAAmB,GAAkC,MAAM,CAAC,MAAM,CAAC;IAC9E,GAAG,WAAW;IACd,GAAG,WAAW;IACd,GAAG,UAAU;IACb,GAAG,aAAa;IAChB,GAAG,UAAU;IACb,GAAG,aAAa;IAChB,GAAG,aAAa;IAChB,GAAG,cAAc;IACjB,GAAG,eAAe;IAClB,GAAG,aAAa;IAChB,GAAG,gBAAgB;IACnB,GAAG,SAAS;IACZ,GAAG,OAAO;IACV,GAAG,SAAS;IACZ,GAAG,SAAS;CACb,CAAC,CAAA"}

package/dist/linter/implementations/source/views.d.ts

@@ -0,0 +1,3 @@
+import type { SourceRuleVerifier } from './contract.js';
+export declare const viewRules: readonly SourceRuleVerifier[];
+//# sourceMappingURL=views.d.ts.map

package/dist/linter/implementations/source/views.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"views.d.ts","sourceRoot":"","sources":["../../../../src/linter/implementations/source/views.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAsB,MAAM,eAAe,CAAA;AAsB3E,eAAO,MAAM,SAAS,EAAE,SAAS,kBAAkB,EAwBlD,CAAA"}

package/dist/linter/implementations/source/views.js

@@ -0,0 +1,36 @@
+import { DSL_MODULES, definitionOriginAmbiguity, definitionObjects, production, violation, } from './shared.js';
+const DECLARATIONS = [
+    'defineSchema',
+    'edgeClass',
+    'edgeInterface',
+    'fn',
+    'nodeClass',
+    'nodeInterface',
+    'policy',
+    'property',
+    'view',
+];
+export const viewRules = [
+    {
+        id: 'VIW-SCHEMA-DECL',
+        ruleRevision: 'a73c3f39d4fd69f3b0c4cd12c4d770d107d91a628cb498c64a2ef322be9ad29a',
+        evaluate(project) {
+            const evidence = [];
+            for (const file of production(project, 'views')) {
+                for (const name of DECLARATIONS) {
+                    for (const definition of definitionObjects(file, name, undefined, DSL_MODULES)) {
+                        const uncertain = definitionOriginAmbiguity(file, definition, `${name} declaration`);
+                        if (uncertain) {
+                            evidence.push(uncertain);
+                            continue;
+                        }
+                        const { call } = definition;
+                        evidence.push(violation(file, call, `Views declares DSL construct ${name}; Schema owns it.`));
+                    }
+                }
+            }
+            return evidence;
+        },
+    },
+];
+//# sourceMappingURL=views.js.map

package/dist/linter/implementations/source/views.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"views.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/views.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,WAAW,EACX,yBAAyB,EACzB,iBAAiB,EACjB,UAAU,EACV,SAAS,GACV,MAAM,aAAa,CAAA;AAEpB,MAAM,YAAY,GAAG;IACnB,cAAc;IACd,WAAW;IACX,eAAe;IACf,IAAI;IACJ,WAAW;IACX,eAAe;IACf,QAAQ;IACR,UAAU;IACV,MAAM;CACP,CAAA;AAED,MAAM,CAAC,MAAM,SAAS,GAAkC;IACtD;QACE,EAAE,EAAE,iBAAiB;QACrB,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;gBAChD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;oBAChC,KAAK,MAAM,UAAU,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC;wBAC/E,MAAM,SAAS,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,IAAI,cAAc,CAAC,CAAA;wBACpF,IAAI,SAAS,EAAE,CAAC;4BACd,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;4BACxB,SAAQ;wBACV,CAAC;wBACD,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAA;wBAC3B,QAAQ,CAAC,IAAI,CACX,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,gCAAgC,IAAI,mBAAmB,CAAC,CAC/E,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;CACF,CAAA"}

package/dist/linter/implementations/source/workflows.d.ts

@@ -0,0 +1,3 @@
+import type { SourceRuleVerifier } from './contract.js';
+export declare const workflowRules: readonly SourceRuleVerifier[];
+//# sourceMappingURL=workflows.d.ts.map

package/dist/linter/implementations/source/workflows.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflows.d.ts","sourceRoot":"","sources":["../../../../src/linter/implementations/source/workflows.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAsB,MAAM,eAAe,CAAA;AAuB3E,eAAO,MAAM,aAAa,EAAE,SAAS,kBAAkB,EAgPtD,CAAA"}