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

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

@@ -0,0 +1,41 @@
+import { resolveProjectImport } from '../../adapters/typescript/index.js';
+import { isForeignDomain, production, violation } from './shared.js';
+export const capabilityRules = [
+    {
+        id: 'CAP-PURE',
+        ruleRevision: 'db36e0e9278c11633898b2d789247c7de69fad0dbe15c60241f337d7b8e2ea8d',
+        evaluate(project) {
+            const evidence = [];
+            for (const file of production(project, 'capabilities')) {
+                for (const sourceImport of file.imports) {
+                    const target = resolveProjectImport(project, file, sourceImport.specifier);
+                    const allowedSchemaType = target?.layer === 'schema' && sourceImport.typeOnly;
+                    const allowedSibling = target?.layer === 'capabilities';
+                    const allowedKernelType = sourceImport.typeOnly && sourceImport.specifier.startsWith('@astrale-os/kernel-');
+                    const forbiddenBoundary = executionBoundaryImport(sourceImport.specifier) ||
+                        isForeignDomain(sourceImport.specifier) ||
+                        concreteProviderImport(sourceImport.specifier) ||
+                        sourceImport.specifier.startsWith('@astrale-os/adapter-') ||
+                        (sourceImport.specifier.startsWith('@astrale-os/sdk') &&
+                            sourceImport.specifier !== '@astrale-os/sdk/capability') ||
+                        sourceImport.specifier.startsWith('@astrale-os/kernel-client');
+                    const allowedPortableType = sourceImport.typeOnly && !forbiddenBoundary;
+                    if (allowedSchemaType || allowedSibling || allowedKernelType || allowedPortableType) {
+                        continue;
+                    }
+                    if (target || forbiddenBoundary) {
+                        evidence.push(violation(file, sourceImport.node, `Capability imports boundary or concrete dependency ${sourceImport.specifier}.`));
+                    }
+                }
+            }
+            return evidence;
+        },
+    },
+];
+function concreteProviderImport(specifier) {
+    return /^(?:(?:stripe|twilio|openai)(?:$|\/)|@aws-sdk\/|@azure\/|@google-cloud\/)/.test(specifier);
+}
+function executionBoundaryImport(specifier) {
+    return /^(?:node:)?(?:child_process|cluster|dgram|dns(?:\/promises)?|fs(?:\/promises)?|http2?|https|net|process|readline(?:\/promises)?|repl|sqlite|timers(?:\/promises)?|tls|worker_threads)$/.test(specifier);
+}
+//# sourceMappingURL=capabilities.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/capabilities.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,eAAe,GAAkC;IAC5D;QACE,EAAE,EAAE,UAAU;QACd,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,CAAC;gBACvD,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,MAAM,iBAAiB,GAAG,MAAM,EAAE,KAAK,KAAK,QAAQ,IAAI,YAAY,CAAC,QAAQ,CAAA;oBAC7E,MAAM,cAAc,GAAG,MAAM,EAAE,KAAK,KAAK,cAAc,CAAA;oBACvD,MAAM,iBAAiB,GACrB,YAAY,CAAC,QAAQ,IAAI,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAA;oBACnF,MAAM,iBAAiB,GACrB,uBAAuB,CAAC,YAAY,CAAC,SAAS,CAAC;wBAC/C,eAAe,CAAC,YAAY,CAAC,SAAS,CAAC;wBACvC,sBAAsB,CAAC,YAAY,CAAC,SAAS,CAAC;wBAC9C,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,sBAAsB,CAAC;wBACzD,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,iBAAiB,CAAC;4BACnD,YAAY,CAAC,SAAS,KAAK,4BAA4B,CAAC;wBAC1D,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,2BAA2B,CAAC,CAAA;oBAChE,MAAM,mBAAmB,GAAG,YAAY,CAAC,QAAQ,IAAI,CAAC,iBAAiB,CAAA;oBACvE,IAAI,iBAAiB,IAAI,cAAc,IAAI,iBAAiB,IAAI,mBAAmB,EAAE,CAAC;wBACpF,SAAQ;oBACV,CAAC;oBACD,IAAI,MAAM,IAAI,iBAAiB,EAAE,CAAC;wBAChC,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,YAAY,CAAC,IAAI,EACjB,sDAAsD,YAAY,CAAC,SAAS,GAAG,CAChF,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;CACF,CAAA;AAED,SAAS,sBAAsB,CAAC,SAAiB;IAC/C,OAAO,2EAA2E,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;AACpG,CAAC;AAED,SAAS,uBAAuB,CAAC,SAAiB;IAChD,OAAO,wLAAwL,CAAC,IAAI,CAClM,SAAS,CACV,CAAA;AACH,CAAC"}

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

@@ -0,0 +1,17 @@
+import type { SourceProject } from '../../adapters/typescript/index.js';
+import type { AmbiguityReason, DiagnosticLocation } from '../../diagnostics/index.js';
+import type { RuleDecision, RuleImplementation } from '../../evaluation/index.js';
+export interface SourceRuleEvidence {
+    readonly kind: 'violation' | 'ambiguity';
+    readonly evidence: string;
+    readonly ambiguityReason?: AmbiguityReason;
+    readonly location?: DiagnosticLocation;
+}
+export interface SourceRuleVerifier {
+    readonly id: string;
+    readonly ruleRevision: string;
+    evaluate(project: SourceProject): readonly SourceRuleEvidence[];
+}
+export declare function sourceImplementation(verifier: SourceRuleVerifier): RuleImplementation<SourceProject>;
+export declare function sourceEvidence(decision: RuleDecision): readonly SourceRuleEvidence[];
+//# sourceMappingURL=contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../../../src/linter/implementations/source/contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAA;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AACrF,OAAO,KAAK,EACV,YAAY,EAEZ,kBAAkB,EAEnB,MAAM,2BAA2B,CAAA;AAIlC,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,WAAW,CAAA;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAA;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAA;CACvC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,aAAa,GAAG,SAAS,kBAAkB,EAAE,CAAA;CAChE;AAOD,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE,kBAAkB,GAC3B,kBAAkB,CAAC,aAAa,CAAC,CAkBnC;AAED,wBAAgB,cAAc,CAAC,QAAQ,EAAE,YAAY,GAAG,SAAS,kBAAkB,EAAE,CAqBpF"}

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

@@ -0,0 +1,53 @@
+import { requirementsFor } from '../../requirements/index.js';
+const SOURCE_IMPLEMENTATION = Object.freeze({
+    id: 'astrale.sdk.typescript-source',
+    version: '1',
+});
+export function sourceImplementation(verifier) {
+    const requirements = requirementsFor(verifier.id);
+    if (!requirements)
+        throw new TypeError(`Source verifier ${verifier.id} has no requirements.`);
+    return Object.freeze({
+        ruleId: verifier.id,
+        ruleRevision: verifier.ruleRevision,
+        requiredFacts: requirements.facts,
+        implementation: SOURCE_IMPLEMENTATION,
+        evaluate(project) {
+            const evidence = verifier.evaluate(project);
+            if (evidence.length === 0)
+                return Object.freeze({ status: 'pass' });
+            const findings = evidence.map(toFinding);
+            return Object.freeze({
+                status: findings.some(({ kind }) => kind === 'fail') ? 'fail' : 'indeterminate',
+                findings: Object.freeze(findings),
+            });
+        },
+    });
+}
+export function sourceEvidence(decision) {
+    switch (decision.status) {
+        case 'pass':
+        case 'not-applicable':
+            return [];
+        case 'error':
+            throw new TypeError(decision.evidence);
+        case 'fail':
+        case 'indeterminate':
+            break;
+    }
+    return Object.freeze(decision.findings.map((finding) => Object.freeze({
+        kind: finding.kind === 'fail' ? 'violation' : 'ambiguity',
+        evidence: finding.evidence,
+        ...(finding.ambiguityReason ? { ambiguityReason: finding.ambiguityReason } : {}),
+        ...(finding.location ? { location: finding.location } : {}),
+    })));
+}
+function toFinding(evidence) {
+    return Object.freeze({
+        kind: evidence.kind === 'violation' ? 'fail' : 'indeterminate',
+        evidence: evidence.evidence,
+        ...(evidence.ambiguityReason ? { ambiguityReason: evidence.ambiguityReason } : {}),
+        ...(evidence.location ? { location: evidence.location } : {}),
+    });
+}
+//# sourceMappingURL=contract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/contract.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAA;AAe7D,MAAM,qBAAqB,GAA+B,MAAM,CAAC,MAAM,CAAC;IACtE,EAAE,EAAE,+BAA+B;IACnC,OAAO,EAAE,GAAG;CACb,CAAC,CAAA;AAEF,MAAM,UAAU,oBAAoB,CAClC,QAA4B;IAE5B,MAAM,YAAY,GAAG,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IACjD,IAAI,CAAC,YAAY;QAAE,MAAM,IAAI,SAAS,CAAC,mBAAmB,QAAQ,CAAC,EAAE,uBAAuB,CAAC,CAAA;IAC7F,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,QAAQ,CAAC,EAAE;QACnB,YAAY,EAAE,QAAQ,CAAC,YAAY;QACnC,aAAa,EAAE,YAAY,CAAC,KAAK;QACjC,cAAc,EAAE,qBAAqB;QACrC,QAAQ,CAAC,OAAsB;YAC7B,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YAC3C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;YACnE,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;YACxC,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe;gBAC/E,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;aAClC,CAAC,CAAA;QACJ,CAAC;KACF,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,QAAsB;IACnD,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC;QACZ,KAAK,gBAAgB;YACnB,OAAO,EAAE,CAAA;QACX,KAAK,OAAO;YACV,MAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;QACxC,KAAK,MAAM,CAAC;QACZ,KAAK,eAAe;YAClB,MAAK;IACT,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAClB,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAChC,MAAM,CAAC,MAAM,CAAC;QACZ,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAE,WAAqB,CAAC,CAAC,CAAE,WAAqB;QAC/E,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,GAAG,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5D,CAAC,CACH,CACF,CAAA;AACH,CAAC;AAED,SAAS,SAAS,CAAC,QAA4B;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe;QAC9D,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,GAAG,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAC,CAAA;AACJ,CAAC"}

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

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

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

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

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

@@ -0,0 +1,102 @@
+import ts from 'typescript';
+import { importedSymbol, resolveProjectImport, unwrap, visit, } from '../../adapters/typescript/index.js';
+import { ambiguity, production, violation } from './shared.js';
+export const functionRules = [
+    {
+        id: 'FUN-ONE-IMPL',
+        ruleRevision: '70c044b0240e21fff25794a9cef3fb0ee209c5f19ef411b58ad23753c72325dd',
+        evaluate(project) {
+            const evidence = [];
+            const registered = new Map();
+            const compositionPaths = new Set(project.policy.rootFiles
+                .filter(({ role }) => role === 'composition')
+                .map(({ sourcePath }) => sourcePath));
+            const roots = production(project).filter(({ path }) => compositionPaths.has(path));
+            for (const file of roots) {
+                visit(file.source, (node) => {
+                    if (!ts.isCallExpression(node) ||
+                        importedSymbol(file, node.expression)?.name !== 'defineDomain')
+                        return;
+                    const input = node.arguments[0] && unwrap(node.arguments[0]);
+                    if (!input || !ts.isObjectLiteralExpression(input)) {
+                        evidence.push(ambiguity(file, node, 'defineDomain input is not a static object literal.'));
+                        return;
+                    }
+                    const handlers = input.properties.find((property) => (ts.isPropertyAssignment(property) || ts.isShorthandPropertyAssignment(property)) &&
+                        (ts.isIdentifier(property.name) || ts.isStringLiteral(property.name)) &&
+                        property.name.text === 'handlers');
+                    if (!handlers)
+                        return;
+                    const registry = ts.isPropertyAssignment(handlers)
+                        ? unwrap(handlers.initializer)
+                        : ts.isShorthandPropertyAssignment(handlers)
+                            ? resolveLocalInitializer(file.source, handlers.name.text)
+                            : undefined;
+                    if (!registry) {
+                        evidence.push(ambiguity(file, handlers, 'defineDomain handlers binding cannot be resolved locally.'));
+                        return;
+                    }
+                    if (!ts.isObjectLiteralExpression(registry)) {
+                        evidence.push(ambiguity(file, registry, 'defineDomain handlers registry is not a static object literal.'));
+                        return;
+                    }
+                    visitHandlerLeaves(registry, (expression) => {
+                        const value = unwrap(expression);
+                        if (!ts.isIdentifier(value)) {
+                            evidence.push(violation(file, value, 'Handler implementation must be one imported Functions binding.'));
+                            return;
+                        }
+                        const symbol = importedSymbol(file, value);
+                        const sourceImport = symbol && file.imports.find(({ specifier }) => specifier === symbol.module);
+                        const target = sourceImport && resolveProjectImport(project, file, sourceImport.specifier);
+                        if (target?.layer === 'functions' && !target.submodule) {
+                            evidence.push(ambiguity(file, value, `Handler ${value.text} reaches the Functions layer facade but its ultimate semantic submodule owner is unresolved.`));
+                            return;
+                        }
+                        if (!target || target.layer !== 'functions' || !target.submodule) {
+                            evidence.push(violation(file, value, `Handler ${value.text} is not owned by one Functions submodule.`));
+                            return;
+                        }
+                        const key = `${target.path}\0${symbol.name}`;
+                        if (registered.has(key)) {
+                            evidence.push(violation(file, value, `Handler ${value.text} is registered more than once from ${target.path}.`));
+                        }
+                        else {
+                            registered.set(key, value);
+                        }
+                    });
+                });
+            }
+            return evidence;
+        },
+    },
+];
+function visitHandlerLeaves(object, callback) {
+    for (const property of object.properties) {
+        if (ts.isSpreadAssignment(property)) {
+            callback(property.expression);
+            continue;
+        }
+        if (!ts.isPropertyAssignment(property))
+            continue;
+        const value = unwrap(property.initializer);
+        if (ts.isObjectLiteralExpression(value))
+            visitHandlerLeaves(value, callback);
+        else
+            callback(value);
+    }
+}
+function resolveLocalInitializer(source, name) {
+    let result;
+    visit(source, (node) => {
+        if (!result &&
+            ts.isVariableDeclaration(node) &&
+            ts.isIdentifier(node.name) &&
+            node.name.text === name &&
+            node.initializer) {
+            result = unwrap(node.initializer);
+        }
+    });
+    return result;
+}
+//# sourceMappingURL=functions.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"functions.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/functions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAI3B,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,MAAM,EACN,KAAK,GACN,MAAM,oCAAoC,CAAA;AAC3C,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAE9D,MAAM,CAAC,MAAM,aAAa,GAAkC;IAC1D;QACE,EAAE,EAAE,cAAc;QAClB,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAA;YAC7C,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,OAAO,CAAC,MAAM,CAAC,SAAS;iBACrB,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,aAAa,CAAC;iBAC5C,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,CACvC,CAAA;YACD,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;YAClF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;oBAC1B,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;wBAC1B,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,KAAK,cAAc;wBAE9D,OAAM;oBACR,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;oBAC5D,IAAI,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;wBACnD,QAAQ,CAAC,IAAI,CACX,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,oDAAoD,CAAC,CAC5E,CAAA;wBACD,OAAM;oBACR,CAAC;oBACD,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CACpC,CAAC,QAAQ,EAAE,EAAE,CACX,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC;wBACjF,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;wBACrE,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CACpC,CAAA;oBACD,IAAI,CAAC,QAAQ;wBAAE,OAAM;oBACrB,MAAM,QAAQ,GAAG,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;wBAChD,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;wBAC9B,CAAC,CAAC,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC;4BAC1C,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;4BAC1D,CAAC,CAAC,SAAS,CAAA;oBACf,IAAI,CAAC,QAAQ,EAAE,CAAC;wBACd,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,QAAQ,EACR,2DAA2D,CAC5D,CACF,CAAA;wBACD,OAAM;oBACR,CAAC;oBACD,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,EAAE,CAAC;wBAC5C,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,QAAQ,EACR,gEAAgE,CACjE,CACF,CAAA;wBACD,OAAM;oBACR,CAAC;oBACD,kBAAkB,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE;wBAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;wBAChC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;4BAC5B,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,KAAK,EACL,gEAAgE,CACjE,CACF,CAAA;4BACD,OAAM;wBACR,CAAC;wBACD,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;wBAC1C,MAAM,YAAY,GAChB,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,CAAA;wBAC7E,MAAM,MAAM,GACV,YAAY,IAAI,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,SAAS,CAAC,CAAA;wBAC7E,IAAI,MAAM,EAAE,KAAK,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;4BACvD,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,KAAK,EACL,WAAW,KAAK,CAAC,IAAI,8FAA8F,CACpH,CACF,CAAA;4BACD,OAAM;wBACR,CAAC;wBACD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;4BACjE,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,KAAK,EACL,WAAW,KAAK,CAAC,IAAI,2CAA2C,CACjE,CACF,CAAA;4BACD,OAAM;wBACR,CAAC;wBACD,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAA;wBAC5C,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;4BACxB,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,KAAK,EACL,WAAW,KAAK,CAAC,IAAI,sCAAsC,MAAM,CAAC,IAAI,GAAG,CAC1E,CACF,CAAA;wBACH,CAAC;6BAAM,CAAC;4BACN,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;wBAC5B,CAAC;oBACH,CAAC,CAAC,CAAA;gBACJ,CAAC,CAAC,CAAA;YACJ,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;CACF,CAAA;AAED,SAAS,kBAAkB,CACzB,MAAkC,EAClC,QAA6C;IAE7C,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,EAAE,CAAC,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;YAC7B,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;YAAE,SAAQ;QAChD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAC1C,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;YAAE,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;;YACvE,QAAQ,CAAC,KAAK,CAAC,CAAA;IACtB,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,MAAqB,EAAE,IAAY;IAClE,IAAI,MAAiC,CAAA;IACrC,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACrB,IACE,CAAC,MAAM;YACP,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;YACvB,IAAI,CAAC,WAAW,EAChB,CAAC;YACD,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;QACnC,CAAC;IACH,CAAC,CAAC,CAAA;IACF,OAAO,MAAM,CAAA;AACf,CAAC"}

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

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

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

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