@astrale-os/sdk 0.6.0-beta.3 → 0.6.0-beta.30

package/dist/tooling/linter/implementations/source/migrations.js

@@ -1,113 +0,0 @@
-import ts from 'typescript';
-import { importedSymbol, propertyChain, resolveProjectImport, unwrap, visit, } from '../../adapters/typescript/index.js';
-import { ambiguity, definitionOriginAmbiguity, definitionObjects, forbiddenIoImport, production, propertyExpression, violation, } from './shared.js';
-const FORBIDDEN_LAYERS = new Set([
-    'integrations',
-    'functions',
-    'providers',
-    'mutations',
-    'queries',
-    'scripts',
-    'ui',
-    'views',
-]);
-export const migrationRules = [
-    {
-        id: 'MIG-EXACT-REVS',
-        ruleRevision: '2353d23e19e0afa948b8c8c15b906a2e1427622cea441001d7e28c6fea81c860',
-        evaluate(project) {
-            const evidence = [];
-            const origins = schemaOrigins(project);
-            for (const file of production(project, 'migrations')) {
-                for (const definition of definitionObjects(file, 'defineMigration')) {
-                    const uncertain = definitionOriginAmbiguity(file, definition, 'Migration definition');
-                    if (uncertain) {
-                        evidence.push(uncertain);
-                        continue;
-                    }
-                    const { call, object } = definition;
-                    if (!object) {
-                        evidence.push(ambiguity(file, call, 'Migration descriptor is not a static object literal.'));
-                        continue;
-                    }
-                    const from = propertyExpression(object, 'from');
-                    const to = propertyExpression(object, 'to');
-                    if (!from || !to) {
-                        evidence.push(violation(file, object, 'Migration must declare exactly one from and one to revision.'));
-                        continue;
-                    }
-                    const fromSchema = revisionSchema(file, from);
-                    const toSchema = revisionSchema(file, to);
-                    if (!fromSchema || !toSchema) {
-                        evidence.push(ambiguity(file, !fromSchema ? from : to, 'Migration revision is not one static schema.revision binding.'));
-                        continue;
-                    }
-                    if (fromSchema === toSchema) {
-                        evidence.push(violation(file, to, `Migration source and target are both ${toSchema}.`));
-                        continue;
-                    }
-                    const fromOrigin = origins.get(fromSchema);
-                    const toOrigin = origins.get(toSchema);
-                    if (!fromOrigin || !toOrigin) {
-                        evidence.push(ambiguity(file, object, `Cannot establish origins for ${fromSchema} and ${toSchema}.`));
-                    }
-                    else if (fromOrigin !== toOrigin) {
-                        evidence.push(violation(file, object, `Migration crosses Domain origins ${fromOrigin} and ${toOrigin}.`));
-                    }
-                }
-            }
-            return evidence;
-        },
-    },
-    {
-        id: 'MIG-DEDICATED-CTX',
-        ruleRevision: 'be6389211e5ac1c0a2805a45dbc394aace48167f462947edc1db47cb4d34bf1e',
-        evaluate(project) {
-            const evidence = [];
-            for (const file of production(project, 'migrations')) {
-                for (const sourceImport of file.imports) {
-                    const target = resolveProjectImport(project, file, sourceImport.specifier);
-                    const layer = target?.layer ?? sourceImport.specifier.match(/^#([^/]+)\//)?.[1];
-                    if ((layer && FORBIDDEN_LAYERS.has(layer)) ||
-                        forbiddenIoImport(sourceImport.specifier) ||
-                        sourceImport.specifier.startsWith('@astrale-os/adapter-')) {
-                        evidence.push(violation(file, sourceImport.node, `Migration imports forbidden boundary ${sourceImport.specifier}.`));
-                    }
-                }
-            }
-            return evidence;
-        },
-    },
-];
-function revisionSchema(file, expression) {
-    const target = unwrap(expression);
-    if (!ts.isCallExpression(target) || target.arguments.length !== 1)
-        return undefined;
-    const chain = propertyChain(target.expression);
-    if (chain?.at(-1) !== 'revision')
-        return undefined;
-    const schema = unwrap(target.arguments[0]);
-    if (!ts.isIdentifier(schema))
-        return undefined;
-    const symbol = importedSymbol(file, schema);
-    return symbol?.name ?? schema.text;
-}
-function schemaOrigins(project) {
-    const result = new Map();
-    for (const file of production(project, 'schema')) {
-        visit(file.source, (node) => {
-            if (!ts.isVariableDeclaration(node) || !ts.isIdentifier(node.name) || !node.initializer)
-                return;
-            const value = unwrap(node.initializer);
-            if (!ts.isCallExpression(value))
-                return;
-            const symbol = importedSymbol(file, value.expression);
-            if (symbol?.name !== 'defineSchema')
-                return;
-            const origin = value.arguments[0];
-            if (origin && ts.isStringLiteral(unwrap(origin)))
-                result.set(node.name.text, unwrap(origin).text);
-        });
-    }
-    return result;
-}

package/dist/tooling/linter/qualification/index.d.ts

@@ -1,10 +0,0 @@
-export { queryQualificationFixtures } from './query-fixtures.js';
-export { runQueryQualificationFixture } from './runner.js';
-import type { QueryDefinitionObservation } from '../analysis/query/index.js';
-import type { RuleEvaluationStatus } from '../evaluation/index.js';
-export interface QueryQualificationFixture {
-    readonly id: string;
-    readonly ruleId: 'QRY-CANON' | 'QRY-SINGLE';
-    readonly observations: readonly QueryDefinitionObservation[];
-    readonly expectedStatus: RuleEvaluationStatus;
-}

package/dist/tooling/linter/qualification/index.js

@@ -1,2 +0,0 @@
-export { queryQualificationFixtures } from './query-fixtures.js';
-export { runQueryQualificationFixture } from './runner.js';

package/dist/tooling/linter/qualification/query-fixtures.d.ts

@@ -1,2 +0,0 @@
-import type { QueryQualificationFixture } from './index.js';
-export declare const queryQualificationFixtures: readonly QueryQualificationFixture[];

package/dist/tooling/linter/qualification/query-fixtures.js

@@ -1,68 +0,0 @@
-import { ambiguous, known, unknown, unsupported, } from '../analysis/query/index.js';
-const VALID = Object.freeze({
-    subjectId: 'query.valid',
-    constructorIdentity: known(Object.freeze({
-        kind: 'sdk-query',
-        canonicalId: 'astrale.sdk.defineQuery',
-        aliases: Object.freeze([]),
-    })),
-    definitionKind: known('single'),
-    canonicalRequestCount: known(1),
-    buildCallbackCount: known(1),
-    projectCallbackCount: known(1),
-});
-export const queryQualificationFixtures = Object.freeze([
-    fixture('query-canonical-known', 'QRY-CANON', VALID, 'pass'),
-    fixture('query-canonical-fail', 'QRY-CANON', { ...VALID, subjectId: 'query.noncanonical', canonicalRequestCount: known(0) }, 'fail'),
-    fixture('query-canonical-unknown', 'QRY-CANON', {
-        ...VALID,
-        subjectId: 'query.unknown',
-        canonicalRequestCount: unknown('helper return is outside the admitted value bound'),
-    }, 'indeterminate'),
-    fixture('query-canonical-ambiguous', 'QRY-CANON', {
-        ...VALID,
-        subjectId: 'query.ambiguous',
-        canonicalRequestCount: ambiguous('two canonical candidates remain'),
-    }, 'indeterminate'),
-    fixture('query-canonical-unsupported', 'QRY-CANON', {
-        ...VALID,
-        subjectId: 'query.unsupported',
-        canonicalRequestCount: unsupported('dynamic decorator rewrites the callback'),
-    }, 'indeterminate'),
-    fixture('query-alias-barrel', 'QRY-CANON', {
-        ...VALID,
-        subjectId: 'query.barrel',
-        constructorIdentity: known(Object.freeze({
-            kind: 'sdk-query',
-            canonicalId: 'astrale.sdk.defineQuery',
-            aliases: Object.freeze(['#queries/facade', 'defineQuery']),
-        })),
-    }, 'pass'),
-    fixture('query-spelling-collision', 'QRY-CANON', {
-        ...VALID,
-        subjectId: 'query.collision',
-        constructorIdentity: known(Object.freeze({ kind: 'other', displayName: 'local defineQuery' })),
-        definitionKind: known('other'),
-        canonicalRequestCount: known(0),
-    }, 'pass'),
-    fixture('query-helper-forwarding', 'QRY-CANON', {
-        ...VALID,
-        subjectId: 'query.helper',
-        canonicalRequestCount: unknown('helper forwarding exceeds the current adapter bound'),
-    }, 'indeterminate'),
-    fixture('query-single-callbacks', 'QRY-SINGLE', VALID, 'pass'),
-    fixture('query-single-fail', 'QRY-SINGLE', { ...VALID, subjectId: 'query.no-build', buildCallbackCount: known(0) }, 'fail'),
-    fixture('query-single-ambiguous-callback', 'QRY-SINGLE', {
-        ...VALID,
-        subjectId: 'query.forwarded-build',
-        buildCallbackCount: ambiguous('callback is forwarded through an unresolved binding'),
-    }, 'indeterminate'),
-]);
-function fixture(id, ruleId, observation, expectedStatus) {
-    return Object.freeze({
-        id,
-        ruleId,
-        observations: Object.freeze([Object.freeze(observation)]),
-        expectedStatus,
-    });
-}

package/dist/tooling/linter/qualification/runner.d.ts

@@ -1,3 +0,0 @@
-import type { RuleDecision } from '../evaluation/index.js';
-import type { QueryQualificationFixture } from './index.js';
-export declare function runQueryQualificationFixture(fixture: QueryQualificationFixture): RuleDecision;

package/dist/tooling/linter/qualification/runner.js

@@ -1,6 +0,0 @@
-import { decideCanonicalQuery, decideSingleQuery } from '../analysis/query/index.js';
-export function runQueryQualificationFixture(fixture) {
-    return fixture.ruleId === 'QRY-CANON'
-        ? decideCanonicalQuery(fixture.observations)
-        : decideSingleQuery(fixture.observations);
-}