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

package/dist/linter/adapters/typescript/imports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/imports.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACjF,OAAO,EAAE,MAAM,YAAY,CAAA;AAI3B,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AAE/C,MAAM,UAAU,cAAc,CAAC,MAAqB;IAClD,MAAM,OAAO,GAAmB,EAAE,CAAA;IAClC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC,EAAE,CAAC;YACvF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAA;YAC1C,IAAI,SAA6B,CAAA;YACjC,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAA;YACrC,IAAI,MAAM,EAAE,IAAI;gBAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC3D,IAAI,MAAM,EAAE,aAAa,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;gBACxE,SAAS,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAA;YAC5C,CAAC;iBAAM,IAAI,MAAM,EAAE,aAAa,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC5E,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;oBACpD,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;gBAClF,CAAC;YACH,CAAC;YACD,MAAM,aAAa,GAAG,MAAM,EAAE,aAAa,CAAA;YAC3C,MAAM,gBAAgB,GACpB,aAAa,KAAK,SAAS;gBAC3B,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC;gBAChC,aAAa,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACjC,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,CAAA;YAC9D,OAAO,CAAC,IAAI,CAAC;gBACX,SAAS,EAAE,SAAS,CAAC,eAAe,CAAC,IAAI;gBACzC,QAAQ,EAAE,MAAM,EAAE,UAAU,KAAK,IAAI,IAAI,gBAAgB,KAAK,IAAI;gBAClE,OAAO,EAAE,KAAK;gBACd,QAAQ;gBACR,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACnC,IAAI,EAAE,SAAS;aAChB,CAAC,CAAA;YACF,SAAQ;QACV,CAAC;QACD,IACE,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;YACjC,SAAS,CAAC,eAAe;YACzB,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC,EAC7C,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,SAAS,EAAE,SAAS,CAAC,eAAe,CAAC,IAAI;gBACzC,QAAQ,EAAE,SAAS,CAAC,UAAU;gBAC9B,OAAO,EAAE,KAAK;gBACd,QAAQ,EAAE,IAAI,GAAG,EAAE;gBACnB,IAAI,EAAE,SAAS;aAChB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,CAAC,IAAa,EAAQ,EAAE;QAC7C,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;YAC9B,IACE,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC;gBAC9B,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC;oBACnC,EAAE,CAAC,+BAA+B,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EACvD,CAAC;gBACD,OAAO,CAAC,IAAI,CAAC;oBACX,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC,IAAI;oBAChC,QAAQ,EAAE,IAAI;oBACd,OAAO,EAAE,KAAK;oBACd,QAAQ,EAAE,IAAI,GAAG,EAAE;oBACnB,IAAI;iBACL,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;YACpD,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC3B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACrC,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;gBACjC,QAAQ,EAAE,KAAK;gBACf,OAAO,EAAE,IAAI;gBACb,QAAQ,EAAE,IAAI,GAAG,EAAE;gBACnB,IAAI;aACL,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,CAAA;IACnC,CAAC,CAAA;IACD,MAAM,CAAC,YAAY,CAAC,cAAc,CAAC,CAAA;IACnC,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,MAAqB;IAC3D,MAAM,MAAM,GAA4B,EAAE,CAAA;IAC1C,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACrB,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAA;YAC5C,OAAM;QACR,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAA;YAC9B,IACE,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC;gBAC/B,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,OAAO,CAAC;oBACpC,CAAC,EAAE,CAAC,+BAA+B,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EACxD,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAA;YAClD,CAAC;YACD,OAAM;QACR,CAAC;QACD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAM;QACtC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;YACzD,IACE,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;gBAC3B,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;oBACrC,CAAC,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EACzD,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAA;YAClD,CAAC;YACD,OAAM;QACR,CAAC;QACD,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC;YAChC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;YAClC,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,EACnC,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QACxC,CAAC;IACH,CAAC,CAAC,CAAA;IACF,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAAsB,EACtB,QAAoB,EACpB,SAAiB;IAEjB,IAAI,MAA0B,CAAA;IAC9B,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAChG,CAAC;SAAM,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,KAAK,SAAS,CAAC,CAAA;QAChG,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,GAAG,KAAK,CAAC,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;QACtD,CAAC;aAAM,CAAC;YACN,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,EAAE;gBACxE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAA;gBAC3C,OAAO,SAAS,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;YACrD,CAAC,CAAC,CAAA;YACF,IAAI,CAAC,QAAQ;gBAAE,OAAO,SAAS,CAAA;YAC/B,MAAM,GAAG,QAAQ,CAAC,gBAAgB;iBAC/B,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;iBACpB,OAAO,CAAC,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAA;QACjE,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QAC/C,IAAI,IAAI;YAAE,OAAO,IAAI,CAAA;IACvB,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC/B,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,CAAA;IACzB,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;QAC7C,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,GAAG,IAAI,MAAM,EAAE,GAAG,IAAI,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,CAAA;IAC5E,CAAC;IACD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,UAAU,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,EAAE,GAAG,IAAI,MAAM,EAAE,GAAG,IAAI,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,CAAA;QAC1E,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;AAClC,CAAC;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,KAAK,CAAC,IAAa,EAAE,QAAiC;IAC7D,QAAQ,CAAC,IAAI,CAAC,CAAA;IACd,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAA;AACtD,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,SAAiB,EAAE,IAAY;IACtD,MAAM,KAAK,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,CAAA;IACvC,OAAO,KAAK,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;AACxE,CAAC"}

package/dist/linter/adapters/typescript/index.d.ts

@@ -0,0 +1,48 @@
+export { discoverProject } from './discover.js';
+export { sourceEvidenceAdmission } from './evidence-admission.js';
+export { collectDependencyIssues, resolveProjectImport } from './imports.js';
+export { importedSymbol, isLocallyDeclared, resolveImportedSymbol, location, objectProperty, propertyChain, staticText, unwrap, visit, } from './syntax.js';
+export { assertSingleTypeUniverse } from './type-universe.js';
+export { observeQueryDefinitions } from './query-observation.js';
+export { collectSuppressionDirectives } from './suppression-directives.js';
+import type ts from 'typescript';
+import type { DomainPolicy } from '../../policy/index.js';
+export type SourceRole = 'production' | 'focused-test' | 'system-test';
+export interface SourceImport {
+    readonly specifier: string;
+    readonly typeOnly: boolean;
+    readonly dynamic: boolean;
+    readonly bindings: ReadonlyMap<string, string>;
+    readonly namespace?: string;
+    readonly node: ts.Node;
+}
+export interface SourceDependencyIssue {
+    readonly kind: 'require' | 'import-equals' | 'nonliteral-import';
+    readonly node: ts.Node;
+}
+export interface SourceFile {
+    readonly absolutePath: string;
+    readonly path: string;
+    readonly text: string;
+    readonly source: ts.SourceFile;
+    readonly role: SourceRole;
+    readonly layer?: string;
+    readonly submodule?: string;
+    readonly imports: readonly SourceImport[];
+    readonly dependencyIssues: readonly SourceDependencyIssue[];
+}
+export interface SourceProjectConfiguration {
+    readonly rootEntries: readonly string[];
+    readonly typescriptAliases: Readonly<Record<string, readonly string[] | null>>;
+    readonly packageAliases: Readonly<Record<string, string | null>>;
+    readonly workspacePatterns: readonly string[];
+}
+export interface SourceProject {
+    readonly root: string;
+    readonly sourceSnapshotDigest: string;
+    readonly policy: DomainPolicy;
+    readonly configuration: SourceProjectConfiguration;
+    readonly files: readonly SourceFile[];
+    readonly filesByPath: ReadonlyMap<string, SourceFile>;
+}
+//# sourceMappingURL=index.d.ts.map

package/dist/linter/adapters/typescript/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC/C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAC5E,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,qBAAqB,EACrB,QAAQ,EACR,cAAc,EACd,aAAa,EACb,UAAU,EACV,MAAM,EACN,KAAK,GACN,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAA;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAA;AAChE,OAAO,EAAE,4BAA4B,EAAE,MAAM,6BAA6B,CAAA;AAE1E,OAAO,KAAK,EAAE,MAAM,YAAY,CAAA;AAEhC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAA;AAEzD,MAAM,MAAM,UAAU,GAAG,YAAY,GAAG,cAAc,GAAG,aAAa,CAAA;AAEtE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAA;CACvB;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,eAAe,GAAG,mBAAmB,CAAA;IAChE,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAA;CACvB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAA;IAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;IACzC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,qBAAqB,EAAE,CAAA;CAC5D;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;IACvC,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAA;IAC9E,QAAQ,CAAC,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAA;IAChE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAA;CAC9C;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAA;IACrC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;IAC7B,QAAQ,CAAC,aAAa,EAAE,0BAA0B,CAAA;IAClD,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAA;IACrC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;CACtD"}

package/dist/linter/adapters/typescript/index.js

@@ -0,0 +1,8 @@
+export { discoverProject } from './discover.js';
+export { sourceEvidenceAdmission } from './evidence-admission.js';
+export { collectDependencyIssues, resolveProjectImport } from './imports.js';
+export { importedSymbol, isLocallyDeclared, resolveImportedSymbol, location, objectProperty, propertyChain, staticText, unwrap, visit, } from './syntax.js';
+export { assertSingleTypeUniverse } from './type-universe.js';
+export { observeQueryDefinitions } from './query-observation.js';
+export { collectSuppressionDirectives } from './suppression-directives.js';
+//# sourceMappingURL=index.js.map

package/dist/linter/adapters/typescript/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAC/C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAC5E,OAAO,EACL,cAAc,EACd,iBAAiB,EACjB,qBAAqB,EACrB,QAAQ,EACR,cAAc,EACd,aAAa,EACb,UAAU,EACV,MAAM,EACN,KAAK,GACN,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,wBAAwB,EAAE,MAAM,oBAAoB,CAAA;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAA;AAChE,OAAO,EAAE,4BAA4B,EAAE,MAAM,6BAA6B,CAAA"}

package/dist/linter/adapters/typescript/query-observation.d.ts

@@ -0,0 +1,4 @@
+import type { SourceProject } from './index.js';
+import { type QueryDefinitionObservation } from '../../semantics/query/index.js';
+export declare function observeQueryDefinitions(project: SourceProject): readonly QueryDefinitionObservation[];
+//# sourceMappingURL=query-observation.d.ts.map

package/dist/linter/adapters/typescript/query-observation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-observation.d.ts","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/query-observation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAc,aAAa,EAAE,MAAM,YAAY,CAAA;AAE3D,OAAO,EAML,KAAK,0BAA0B,EAChC,MAAM,gCAAgC,CAAA;AAUvC,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,aAAa,GACrB,SAAS,0BAA0B,EAAE,CAMvC"}

package/dist/linter/adapters/typescript/query-observation.js

@@ -0,0 +1,172 @@
+import ts from 'typescript';
+import { ambiguous, known, unknown, } from '../../semantics/query/index.js';
+import { location, resolveImportedSymbol, unwrap, visit } from './syntax.js';
+const SDK_MODULES = new Set(['@astrale-os/sdk', '@astrale-os/sdk/query']);
+const QUERY_MODULES = new Set([
+    '@astrale-os/sdk/query',
+    '@astrale-os/kernel-core',
+    '@astrale-os/kernel-core/graph/query',
+]);
+export function observeQueryDefinitions(project) {
+    return Object.freeze(project.files
+        .filter(({ role, layer }) => role === 'production' && layer === 'queries')
+        .flatMap(observeFile));
+}
+function observeFile(file) {
+    const observations = [];
+    visit(file.source, (node) => {
+        if (!ts.isCallExpression(node))
+            return;
+        const origin = resolveImportedSymbol(file, node.expression);
+        if ((origin.kind !== 'resolved' && origin.kind !== 'ambiguous') ||
+            origin.name !== 'defineQuery' ||
+            (origin.kind === 'resolved' && !SDK_MODULES.has(origin.module))) {
+            return;
+        }
+        const subjectId = `${file.path}#${node.getStart(file.source)}`;
+        const sourceLocation = location(file, node);
+        if (origin.kind === 'ambiguous') {
+            const reason = 'definition resolves through a local facade whose ultimate public constructor origin is unknown';
+            observations.push(Object.freeze({
+                subjectId,
+                location: sourceLocation,
+                constructorIdentity: ambiguous(reason),
+                definitionKind: ambiguous(reason),
+                canonicalRequestCount: ambiguous(reason),
+                buildCallbackCount: ambiguous(reason),
+                projectCallbackCount: ambiguous(reason),
+            }));
+            return;
+        }
+        const object = objectArgument(node);
+        if (!object) {
+            const reason = 'definition input is not a static object literal';
+            observations.push(Object.freeze({
+                subjectId,
+                location: sourceLocation,
+                constructorIdentity: known(sdkConstructorIdentity(file, node.expression)),
+                definitionKind: known('single'),
+                canonicalRequestCount: unknown(reason),
+                buildCallbackCount: unknown(reason),
+                projectCallbackCount: unknown(reason),
+            }));
+            return;
+        }
+        const builds = namedProperties(object, 'build');
+        const projects = namedProperties(object, 'project');
+        const build = callback(builds[0]);
+        observations.push(Object.freeze({
+            subjectId,
+            location: sourceLocation,
+            constructorIdentity: known(sdkConstructorIdentity(file, node.expression)),
+            definitionKind: known('single'),
+            canonicalRequestCount: canonicalRequestCount(file, object, builds, build),
+            buildCallbackCount: builds.length === 1 && !build
+                ? unknown('build callback is forwarded through an opaque authored value')
+                : known(builds.length),
+            projectCallbackCount: known(projects.length),
+        }));
+    });
+    return observations;
+}
+function canonicalRequestCount(file, object, builds, build) {
+    if (!build) {
+        if (builds.length > 0)
+            return unknown('build callback origin is not statically visible');
+        const shorthand = object.properties.some((property) => ts.isShorthandPropertyAssignment(property) && property.name.text === 'build');
+        return shorthand
+            ? unknown('build callback is forwarded through an opaque local helper')
+            : known(0);
+    }
+    const returns = returnedExpressions(build);
+    if (returns.length !== 1) {
+        return ambiguous(`build exposes ${returns.length} statically visible return values`);
+    }
+    const roots = canonicalRoots(file, returns[0]);
+    if (roots === 0) {
+        const returned = returns[0];
+        if (ts.isCallExpression(returned) && ts.isIdentifier(unwrap(returned.expression))) {
+            return unknown('build delegates to a helper whose QueryAST origin is not visible');
+        }
+    }
+    return known(roots);
+}
+function sdkConstructorIdentity(file, expression) {
+    const spelling = expression.getText(file.source);
+    return Object.freeze({
+        kind: 'sdk-query',
+        canonicalId: 'astrale.sdk.defineQuery',
+        aliases: Object.freeze(spelling === 'defineQuery' ? [] : [spelling]),
+    });
+}
+function canonicalRoots(file, node) {
+    const roots = [];
+    visit(node, (candidate) => {
+        if (!ts.isCallExpression(candidate))
+            return;
+        const expression = unwrap(candidate.expression);
+        if (!ts.isPropertyAccessExpression(expression) || !ts.isIdentifier(expression.expression)) {
+            return;
+        }
+        const symbol = resolveImportedSymbol(file, expression.expression);
+        if (symbol.kind === 'resolved' && symbol.name === 'Query' && QUERY_MODULES.has(symbol.module)) {
+            roots.push(candidate);
+        }
+    });
+    return roots.filter((root) => !hasCanonicalAncestor(file, root)).length;
+}
+function hasCanonicalAncestor(file, node) {
+    let current = node.parent;
+    while (current && !ts.isFunctionLike(current)) {
+        if (ts.isCallExpression(current) && isCanonicalCall(file, current))
+            return true;
+        current = current.parent;
+    }
+    return false;
+}
+function isCanonicalCall(file, call) {
+    const expression = unwrap(call.expression);
+    if (!ts.isPropertyAccessExpression(expression) || !ts.isIdentifier(expression.expression)) {
+        return false;
+    }
+    const symbol = resolveImportedSymbol(file, expression.expression);
+    return symbol.kind === 'resolved' && symbol.name === 'Query' && QUERY_MODULES.has(symbol.module);
+}
+function objectArgument(call) {
+    const argument = call.arguments[0];
+    const value = argument && unwrap(argument);
+    return value && ts.isObjectLiteralExpression(value) ? value : undefined;
+}
+function namedProperties(object, name) {
+    return object.properties.filter((property) => 'name' in property &&
+        property.name &&
+        (ts.isIdentifier(property.name) || ts.isStringLiteral(property.name)) &&
+        property.name.text === name);
+}
+function callback(property) {
+    if (!property)
+        return undefined;
+    if (ts.isMethodDeclaration(property))
+        return property;
+    if (!ts.isPropertyAssignment(property))
+        return undefined;
+    const value = unwrap(property.initializer);
+    return ts.isArrowFunction(value) || ts.isFunctionExpression(value) ? value : undefined;
+}
+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;
+}
+//# sourceMappingURL=query-observation.js.map

package/dist/linter/adapters/typescript/query-observation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-observation.js","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/query-observation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAI3B,OAAO,EACL,SAAS,EACT,KAAK,EACL,OAAO,GAIR,MAAM,gCAAgC,CAAA;AACvC,OAAO,EAAE,QAAQ,EAAE,qBAAqB,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AAE5E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,iBAAiB,EAAE,uBAAuB,CAAC,CAAC,CAAA;AACzE,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,uBAAuB;IACvB,yBAAyB;IACzB,qCAAqC;CACtC,CAAC,CAAA;AAEF,MAAM,UAAU,uBAAuB,CACrC,OAAsB;IAEtB,OAAO,MAAM,CAAC,MAAM,CAClB,OAAO,CAAC,KAAK;SACV,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,KAAK,SAAS,CAAC;SACzE,OAAO,CAAC,WAAW,CAAC,CACxB,CAAA;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAgB;IACnC,MAAM,YAAY,GAAiC,EAAE,CAAA;IACrD,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,IACE,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC;YAC3D,MAAM,CAAC,IAAI,KAAK,aAAa;YAC7B,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAC/D,CAAC;YACD,OAAM;QACR,CAAC;QACD,MAAM,SAAS,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAA;QAC9D,MAAM,cAAc,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QAC3C,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAChC,MAAM,MAAM,GACV,gGAAgG,CAAA;YAClG,YAAY,CAAC,IAAI,CACf,MAAM,CAAC,MAAM,CAAC;gBACZ,SAAS;gBACT,QAAQ,EAAE,cAAc;gBACxB,mBAAmB,EAAE,SAAS,CAA2B,MAAM,CAAC;gBAChE,cAAc,EAAE,SAAS,CAAmC,MAAM,CAAC;gBACnE,qBAAqB,EAAE,SAAS,CAAS,MAAM,CAAC;gBAChD,kBAAkB,EAAE,SAAS,CAAS,MAAM,CAAC;gBAC7C,oBAAoB,EAAE,SAAS,CAAS,MAAM,CAAC;aAChD,CAAC,CACH,CAAA;YACD,OAAM;QACR,CAAC;QACD,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;QACnC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,MAAM,GAAG,iDAAiD,CAAA;YAChE,YAAY,CAAC,IAAI,CACf,MAAM,CAAC,MAAM,CAAC;gBACZ,SAAS;gBACT,QAAQ,EAAE,cAAc;gBACxB,mBAAmB,EAAE,KAAK,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;gBACzE,cAAc,EAAE,KAAK,CAAC,QAAiB,CAAC;gBACxC,qBAAqB,EAAE,OAAO,CAAS,MAAM,CAAC;gBAC9C,kBAAkB,EAAE,OAAO,CAAS,MAAM,CAAC;gBAC3C,oBAAoB,EAAE,OAAO,CAAS,MAAM,CAAC;aAC9C,CAAC,CACH,CAAA;YACD,OAAM;QACR,CAAC;QACD,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAC/C,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;QACnD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;QACjC,YAAY,CAAC,IAAI,CACf,MAAM,CAAC,MAAM,CAAC;YACZ,SAAS;YACT,QAAQ,EAAE,cAAc;YACxB,mBAAmB,EAAE,KAAK,CAAC,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YACzE,cAAc,EAAE,KAAK,CAAC,QAAiB,CAAC;YACxC,qBAAqB,EAAE,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC;YACzE,kBAAkB,EAChB,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK;gBAC3B,CAAC,CAAC,OAAO,CAAS,8DAA8D,CAAC;gBACjF,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;YAC1B,oBAAoB,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;SAC7C,CAAC,CACH,CAAA;IACH,CAAC,CAAC,CAAA;IACF,OAAO,YAAY,CAAA;AACrB,CAAC;AAED,SAAS,qBAAqB,CAC5B,IAAgB,EAChB,MAAkC,EAClC,MAA8C,EAC9C,KAA6C;IAE7C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,OAAO,CAAC,iDAAiD,CAAC,CAAA;QACxF,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CACtC,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,6BAA6B,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAC3F,CAAA;QACD,OAAO,SAAS;YACd,CAAC,CAAC,OAAO,CAAC,4DAA4D,CAAC;YACvE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACd,CAAC;IACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAA;IAC1C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC,iBAAiB,OAAO,CAAC,MAAM,mCAAmC,CAAC,CAAA;IACtF,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9C,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QAC3B,IAAI,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YAClF,OAAO,OAAO,CAAC,kEAAkE,CAAC,CAAA;QACpF,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAA;AACrB,CAAC;AAED,SAAS,sBAAsB,CAC7B,IAAgB,EAChB,UAAyB;IAEzB,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAChD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAW;QACjB,WAAW,EAAE,yBAAyB;QACtC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;KACrE,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAgB,EAAE,IAAa;IACrD,MAAM,KAAK,GAAwB,EAAE,CAAA;IACrC,KAAK,CAAC,IAAI,EAAE,CAAC,SAAS,EAAE,EAAE;QACxB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,SAAS,CAAC;YAAE,OAAM;QAC3C,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1F,OAAM;QACR,CAAC;QACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAA;QACjE,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9F,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QACvB,CAAC;IACH,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,MAAM,CAAA;AACzE,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAgB,EAAE,IAAa;IAC3D,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAA;IACzB,OAAO,OAAO,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAA;QAC/E,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,eAAe,CAAC,IAAgB,EAAE,IAAuB;IAChE,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAC1C,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1F,OAAO,KAAK,CAAA;IACd,CAAC;IACD,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAA;IACjE,OAAO,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AAClG,CAAC;AAED,SAAS,cAAc,CAAC,IAAuB;IAC7C,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAClC,MAAM,KAAK,GAAG,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAA;IAC1C,OAAO,KAAK,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AACzE,CAAC;AAED,SAAS,eAAe,CACtB,MAAkC,EAClC,IAAY;IAEZ,OAAO,MAAM,CAAC,UAAU,CAAC,MAAM,CAC7B,CAAC,QAAQ,EAAE,EAAE,CACX,MAAM,IAAI,QAAQ;QAClB,QAAQ,CAAC,IAAI;QACb,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrE,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAC9B,CAAA;AACH,CAAC;AAED,SAAS,QAAQ,CACf,QAAiD;IAEjD,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAA;IAC/B,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAA;IACrD,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAA;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;IAC1C,OAAO,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;AACxF,CAAC;AAED,SAAS,mBAAmB,CAAC,EAA8B;IACzD,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"}

package/dist/linter/adapters/typescript/suppression-directives.d.ts

@@ -0,0 +1,5 @@
+import type { SuppressionDirective } from '../../suppression/index.js';
+import type { SourceProject } from './index.js';
+/** Extracts portable suppression observations from the temporary TypeScript source model. */
+export declare function collectSuppressionDirectives(project: SourceProject): readonly SuppressionDirective[];
+//# sourceMappingURL=suppression-directives.d.ts.map

package/dist/linter/adapters/typescript/suppression-directives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"suppression-directives.d.ts","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/suppression-directives.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAA;AACtE,OAAO,KAAK,EAAc,aAAa,EAAE,MAAM,YAAY,CAAA;AAO3D,6FAA6F;AAC7F,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,aAAa,GACrB,SAAS,oBAAoB,EAAE,CAEjC"}

package/dist/linter/adapters/typescript/suppression-directives.js

@@ -0,0 +1,85 @@
+import ts from 'typescript';
+const DIRECTIVE = /^\/\/\s*astrale-disable-next-line\s+([A-Z]+(?:-[A-Z]+)+)\s+--\s+(.+?)\s*$/;
+const DIRECTIVE_NAME = 'astrale-disable-next-line';
+const MAX_REASON_BYTES = 240;
+const MAX_DIRECTIVE_BYTES = 1024;
+/** Extracts portable suppression observations from the temporary TypeScript source model. */
+export function collectSuppressionDirectives(project) {
+    return Object.freeze(project.files.flatMap((file) => scanDirectives(project, file)));
+}
+function scanDirectives(project, file) {
+    const scanner = ts.createScanner(ts.ScriptTarget.Latest, false, file.source.languageVariant, file.text);
+    const directives = [];
+    for (let token = scanner.scan(); token !== ts.SyntaxKind.EndOfFileToken; token = scanner.scan()) {
+        if (token !== ts.SyntaxKind.SingleLineCommentTrivia &&
+            token !== ts.SyntaxKind.MultiLineCommentTrivia)
+            continue;
+        const text = scanner.getTokenText();
+        if (!text.includes(DIRECTIVE_NAME))
+            continue;
+        const offset = scanner.getTokenPos();
+        const position = file.source.getLineAndCharacterOfPosition(offset);
+        const location = Object.freeze({
+            path: file.path,
+            line: position.line + 1,
+            column: position.character + 1,
+            offset,
+            length: Math.max(1, scanner.getTextPos() - offset),
+        });
+        const path = file.path;
+        const line = position.line + 1;
+        const bytes = Buffer.byteLength(text, 'utf8');
+        const lineStart = file.source.getPositionOfLineAndCharacter(position.line, 0);
+        if (file.text.slice(lineStart, offset).trim()) {
+            directives.push(Object.freeze({
+                path,
+                line,
+                location,
+                error: 'Suppression directive must be a standalone comment line.',
+            }));
+            continue;
+        }
+        if (bytes > MAX_DIRECTIVE_BYTES) {
+            directives.push(Object.freeze({
+                path,
+                line,
+                location,
+                error: `Suppression directive is ${bytes} bytes; maximum is ${MAX_DIRECTIVE_BYTES}.`,
+            }));
+            continue;
+        }
+        const match = DIRECTIVE.exec(text);
+        if (!match) {
+            directives.push(Object.freeze({
+                path,
+                line,
+                location,
+                error: 'Suppression must contain exactly one rule ID and use // astrale-disable-next-line ID -- reason.',
+            }));
+            continue;
+        }
+        const [, id, reason] = match;
+        if (!project.policy.catalog.get(id)) {
+            directives.push(Object.freeze({
+                path,
+                line,
+                location,
+                error: `Suppression names unknown rule ${id}.`,
+            }));
+            continue;
+        }
+        const reasonBytes = Buffer.byteLength(reason, 'utf8');
+        if (!reason.trim() || reasonBytes > MAX_REASON_BYTES) {
+            directives.push(Object.freeze({
+                path,
+                line,
+                location,
+                error: `Suppression reason must contain 1-${MAX_REASON_BYTES} bytes.`,
+            }));
+            continue;
+        }
+        directives.push(Object.freeze({ id, reason, path, line, location }));
+    }
+    return directives;
+}
+//# sourceMappingURL=suppression-directives.js.map

package/dist/linter/adapters/typescript/suppression-directives.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"suppression-directives.js","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/suppression-directives.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAK3B,MAAM,SAAS,GAAG,2EAA2E,CAAA;AAC7F,MAAM,cAAc,GAAG,2BAA2B,CAAA;AAClD,MAAM,gBAAgB,GAAG,GAAG,CAAA;AAC5B,MAAM,mBAAmB,GAAG,IAAI,CAAA;AAEhC,6FAA6F;AAC7F,MAAM,UAAU,4BAA4B,CAC1C,OAAsB;IAEtB,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;AACtF,CAAC;AAED,SAAS,cAAc,CAAC,OAAsB,EAAE,IAAgB;IAC9D,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAC9B,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,KAAK,EACL,IAAI,CAAC,MAAM,CAAC,eAAe,EAC3B,IAAI,CAAC,IAAI,CACV,CAAA;IACD,MAAM,UAAU,GAA2B,EAAE,CAAA;IAC7C,KAAK,IAAI,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,EAAE,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC;QAChG,IACE,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,uBAAuB;YAC/C,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YAE9C,SAAQ;QACV,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,EAAE,CAAA;QACnC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC;YAAE,SAAQ;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,EAAE,CAAA;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAA;QAClE,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;YAC7B,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;YACvB,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;YAC9B,MAAM;YACN,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,UAAU,EAAE,GAAG,MAAM,CAAC;SACnD,CAAC,CAAA;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACtB,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAA;QAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;QAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,6BAA6B,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;QAC7E,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC9C,UAAU,CAAC,IAAI,CACb,MAAM,CAAC,MAAM,CAAC;gBACZ,IAAI;gBACJ,IAAI;gBACJ,QAAQ;gBACR,KAAK,EAAE,0DAA0D;aAClE,CAAC,CACH,CAAA;YACD,SAAQ;QACV,CAAC;QACD,IAAI,KAAK,GAAG,mBAAmB,EAAE,CAAC;YAChC,UAAU,CAAC,IAAI,CACb,MAAM,CAAC,MAAM,CAAC;gBACZ,IAAI;gBACJ,IAAI;gBACJ,QAAQ;gBACR,KAAK,EAAE,4BAA4B,KAAK,sBAAsB,mBAAmB,GAAG;aACrF,CAAC,CACH,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAClC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,UAAU,CAAC,IAAI,CACb,MAAM,CAAC,MAAM,CAAC;gBACZ,IAAI;gBACJ,IAAI;gBACJ,QAAQ;gBACR,KAAK,EACH,iGAAiG;aACpG,CAAC,CACH,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,KAAK,CAAA;QAC5B,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAG,CAAC,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CACb,MAAM,CAAC,MAAM,CAAC;gBACZ,IAAI;gBACJ,IAAI;gBACJ,QAAQ;gBACR,KAAK,EAAE,kCAAkC,EAAE,GAAG;aAC/C,CAAC,CACH,CAAA;YACD,SAAQ;QACV,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,MAAO,EAAE,MAAM,CAAC,CAAA;QACtD,IAAI,CAAC,MAAO,CAAC,IAAI,EAAE,IAAI,WAAW,GAAG,gBAAgB,EAAE,CAAC;YACtD,UAAU,CAAC,IAAI,CACb,MAAM,CAAC,MAAM,CAAC;gBACZ,IAAI;gBACJ,IAAI;gBACJ,QAAQ;gBACR,KAAK,EAAE,qCAAqC,gBAAgB,SAAS;aACtE,CAAC,CACH,CAAA;YACD,SAAQ;QACV,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAA;IACtE,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC"}

package/dist/linter/adapters/typescript/syntax.d.ts

@@ -0,0 +1,39 @@
+import ts from 'typescript';
+import type { DiagnosticLocation } from '../../diagnostics/index.js';
+import type { SourceFile } from './index.js';
+export declare function visit(node: ts.Node, callback: (node: ts.Node) => void): void;
+export declare function location(file: SourceFile, node: ts.Node): DiagnosticLocation;
+export declare function importedSymbol(file: SourceFile, expression: ts.Expression): Readonly<{
+    module: string;
+    name: string;
+}> | undefined;
+export type ImportedSymbolResolution = Readonly<{
+    kind: 'resolved';
+    module: string;
+    name: string;
+}> | Readonly<{
+    kind: 'local';
+}> | Readonly<{
+    kind: 'ambiguous';
+    module: string;
+    name: string;
+    reason: 'reexport-origin';
+}>;
+/**
+ * Resolve only directly imported bindings. Local facade and relative imports
+ * preserve their visible module but expose that their ultimate re-export
+ * origin is unresolved, allowing a verifier to report ambiguity when origin
+ * is material to its verdict.
+ */
+export declare function resolveImportedSymbol(file: SourceFile, expression: ts.Expression): ImportedSymbolResolution;
+export declare function isLocallyDeclared(identifier: ts.Identifier): boolean;
+export declare function unwrap(expression: ts.Expression): ts.Expression;
+export declare function staticText(expression: ts.Expression | undefined): string | undefined;
+export declare function objectProperty(object: ts.ObjectLiteralExpression | undefined, name: string): ts.ObjectLiteralElementLike | undefined;
+export declare function propertyName(name: ts.PropertyName): string | undefined;
+export declare function callbackOf(property: ts.ObjectLiteralElementLike | undefined): ts.FunctionLikeDeclaration | undefined;
+export declare function objectArgument(call: ts.CallExpression): ts.ObjectLiteralExpression | undefined;
+export declare function isImportedCall(file: SourceFile, node: ts.Node, modules: ReadonlySet<string>, name: string): node is ts.CallExpression;
+export declare function propertyChain(expression: ts.Expression): readonly string[] | undefined;
+export declare function containingFunction(node: ts.Node): ts.FunctionLikeDeclaration | undefined;
+//# sourceMappingURL=syntax.d.ts.map

package/dist/linter/adapters/typescript/syntax.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.d.ts","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/syntax.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAE3B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AACpE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAE5C,wBAAgB,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,IAAI,GAAG,IAAI,CAG5E;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,kBAAkB,CAU5E;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,UAAU,EAChB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,QAAQ,CAAC;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,GAAG,SAAS,CAKxD;AAED,MAAM,MAAM,wBAAwB,GAChC,QAAQ,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,GAC5D,QAAQ,CAAC;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,GAC3B,QAAQ,CAAC;IACP,IAAI,EAAE,WAAW,CAAA;IACjB,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,iBAAiB,CAAA;CAC1B,CAAC,CAAA;AAEN;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,UAAU,EAChB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,wBAAwB,CAkB1B;AAQD,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAwCpE;AA2BD,wBAAgB,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,CAW/D;AAED,wBAAgB,UAAU,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAMpF;AAED,wBAAgB,cAAc,CAC5B,MAAM,EAAE,EAAE,CAAC,uBAAuB,GAAG,SAAS,EAC9C,IAAI,EAAE,MAAM,GACX,EAAE,CAAC,wBAAwB,GAAG,SAAS,CAKzC;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,GAAG,MAAM,GAAG,SAAS,CAItE;AAED,wBAAgB,UAAU,CACxB,QAAQ,EAAE,EAAE,CAAC,wBAAwB,GAAG,SAAS,GAChD,EAAE,CAAC,uBAAuB,GAAG,SAAS,CAQxC;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,uBAAuB,GAAG,SAAS,CAK9F;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,UAAU,EAChB,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,EAC5B,IAAI,EAAE,MAAM,GACX,IAAI,IAAI,EAAE,CAAC,cAAc,CAI3B;AAED,wBAAgB,aAAa,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,CAMtF;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,uBAAuB,GAAG,SAAS,CAQxF"}

package/dist/linter/adapters/typescript/syntax.js

@@ -0,0 +1,183 @@
+import ts from 'typescript';
+export function visit(node, callback) {
+    callback(node);
+    node.forEachChild((child) => visit(child, callback));
+}
+export function location(file, node) {
+    const offset = node.getStart(file.source);
+    const position = file.source.getLineAndCharacterOfPosition(offset);
+    return {
+        path: file.path,
+        line: position.line + 1,
+        column: position.character + 1,
+        offset,
+        length: Math.max(1, node.getEnd() - offset),
+    };
+}
+export function importedSymbol(file, expression) {
+    const resolution = resolveImportedSymbol(file, expression);
+    return resolution.kind === 'resolved' || resolution.kind === 'ambiguous'
+        ? { module: resolution.module, name: resolution.name }
+        : undefined;
+}
+/**
+ * Resolve only directly imported bindings. Local facade and relative imports
+ * preserve their visible module but expose that their ultimate re-export
+ * origin is unresolved, allowing a verifier to report ambiguity when origin
+ * is material to its verdict.
+ */
+export function resolveImportedSymbol(file, expression) {
+    const target = unwrap(expression);
+    if (ts.isIdentifier(target)) {
+        if (isLocallyDeclared(target))
+            return { kind: 'local' };
+        for (const sourceImport of file.imports) {
+            for (const [imported, local] of sourceImport.bindings) {
+                if (local === target.text)
+                    return resolution(sourceImport.specifier, imported);
+            }
+        }
+        return { kind: 'local' };
+    }
+    if (ts.isPropertyAccessExpression(target) && ts.isIdentifier(target.expression)) {
+        const rootName = target.expression.text;
+        if (isLocallyDeclared(target.expression))
+            return { kind: 'local' };
+        const sourceImport = file.imports.find(({ namespace }) => namespace === rootName);
+        if (sourceImport)
+            return resolution(sourceImport.specifier, target.name.text);
+    }
+    return { kind: 'local' };
+}
+function resolution(module, name) {
+    return module.startsWith('.') || module.startsWith('#')
+        ? { kind: 'ambiguous', module, name, reason: 'reexport-origin' }
+        : { kind: 'resolved', module, name };
+}
+export function isLocallyDeclared(identifier) {
+    let current = identifier.parent;
+    while (current) {
+        if (ts.isFunctionLike(current)) {
+            if (current.parameters.some(({ name }) => bindingContains(name, identifier.text)))
+                return true;
+            if ('name' in current &&
+                current.name &&
+                ts.isIdentifier(current.name) &&
+                current.name.text === identifier.text &&
+                ts.isFunctionExpression(current)) {
+                return true;
+            }
+        }
+        if (ts.isCatchClause(current) &&
+            current.variableDeclaration &&
+            bindingContains(current.variableDeclaration.name, identifier.text)) {
+            return true;
+        }
+        if (ts.isBlock(current) || ts.isSourceFile(current) || ts.isModuleBlock(current)) {
+            if (current.statements.some((statement) => statementDeclares(statement, identifier.text))) {
+                return true;
+            }
+        }
+        if ((ts.isForStatement(current) ||
+            ts.isForInStatement(current) ||
+            ts.isForOfStatement(current)) &&
+            current.initializer &&
+            ts.isVariableDeclarationList(current.initializer) &&
+            current.initializer.declarations.some(({ name }) => bindingContains(name, identifier.text))) {
+            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) ||
+        ts.isModuleDeclaration(statement)) &&
+        statement.name) {
+        return statement.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) && bindingContains(element.name, name));
+}
+export function unwrap(expression) {
+    let current = expression;
+    while (ts.isParenthesizedExpression(current) ||
+        ts.isAsExpression(current) ||
+        ts.isSatisfiesExpression(current) ||
+        ts.isNonNullExpression(current)) {
+        current = current.expression;
+    }
+    return current;
+}
+export function staticText(expression) {
+    if (!expression)
+        return undefined;
+    const target = unwrap(expression);
+    return ts.isStringLiteral(target) || ts.isNoSubstitutionTemplateLiteral(target)
+        ? target.text
+        : undefined;
+}
+export function objectProperty(object, name) {
+    return object?.properties.find((property) => {
+        if (!('name' in property) || !property.name)
+            return false;
+        return propertyName(property.name) === name;
+    });
+}
+export function propertyName(name) {
+    if (ts.isIdentifier(name) || ts.isStringLiteral(name) || ts.isNumericLiteral(name))
+        return name.text;
+    return ts.isComputedPropertyName(name) ? staticText(name.expression) : undefined;
+}
+export function callbackOf(property) {
+    if (!property)
+        return undefined;
+    if (ts.isMethodDeclaration(property))
+        return property;
+    if (ts.isPropertyAssignment(property)) {
+        const value = unwrap(property.initializer);
+        if (ts.isArrowFunction(value) || ts.isFunctionExpression(value))
+            return value;
+    }
+    return undefined;
+}
+export function objectArgument(call) {
+    const value = call.arguments[0];
+    return value && ts.isObjectLiteralExpression(unwrap(value))
+        ? unwrap(value)
+        : undefined;
+}
+export function isImportedCall(file, node, modules, name) {
+    if (!ts.isCallExpression(node))
+        return false;
+    const symbol = importedSymbol(file, node.expression);
+    return symbol?.name === name && modules.has(symbol.module);
+}
+export function propertyChain(expression) {
+    const target = unwrap(expression);
+    if (ts.isIdentifier(target))
+        return [target.text];
+    if (!ts.isPropertyAccessExpression(target))
+        return undefined;
+    const root = propertyChain(target.expression);
+    return root ? [...root, target.name.text] : undefined;
+}
+export function containingFunction(node) {
+    let current = node.parent;
+    while (current) {
+        if (ts.isFunctionLike(current) && 'body' in current)
+            return current;
+        current = current.parent;
+    }
+    return undefined;
+}
+//# sourceMappingURL=syntax.js.map

package/dist/linter/adapters/typescript/syntax.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.js","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/syntax.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAK3B,MAAM,UAAU,KAAK,CAAC,IAAa,EAAE,QAAiC;IACpE,QAAQ,CAAC,IAAI,CAAC,CAAA;IACd,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAA;AACtD,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAgB,EAAE,IAAa;IACtD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,6BAA6B,CAAC,MAAM,CAAC,CAAA;IAClE,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;QACvB,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;QAC9B,MAAM;QACN,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC;KAC5C,CAAA;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAgB,EAChB,UAAyB;IAEzB,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;IAC1D,OAAO,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW;QACtE,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE;QACtD,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAYD;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAgB,EAChB,UAAyB;IAEzB,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACjC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,IAAI,iBAAiB,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;QACvD,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;gBACtD,IAAI,KAAK,KAAK,MAAM,CAAC,IAAI;oBAAE,OAAO,UAAU,CAAC,YAAY,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;YAChF,CAAC;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;IAC1B,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAChF,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAA;QACvC,IAAI,iBAAiB,CAAC,MAAM,CAAC,UAAU,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;QAClE,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAA;QACjF,IAAI,YAAY;YAAE,OAAO,UAAU,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC/E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;AAC1B,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,IAAY;IAC9C,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC;QACrD,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB,EAAE;QAChE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;AACxC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,UAAyB;IACzD,IAAI,OAAO,GAAG,UAAU,CAAC,MAAM,CAAA;IAC/B,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAA;YAC9F,IACE,MAAM,IAAI,OAAO;gBACjB,OAAO,CAAC,IAAI;gBACZ,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;gBAC7B,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI;gBACrC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAChC,CAAC;gBACD,OAAO,IAAI,CAAA;YACb,CAAC;QACH,CAAC;QACD,IACE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC;YACzB,OAAO,CAAC,mBAAmB;YAC3B,eAAe,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,EAClE,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;YACjF,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBAC1F,OAAO,IAAI,CAAA;YACb,CAAC;QACH,CAAC;QACD,IACE,CAAC,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;YACzB,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAC5B,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAC/B,OAAO,CAAC,WAAW;YACnB,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC,WAAW,CAAC;YACjD,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,EAC3F,CAAC;YACD,OAAO,IAAI,CAAA;QACb,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;QAC/B,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,CAAC;QACpC,SAAS,CAAC,IAAI,EACd,CAAC;QACD,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAA;IACrC,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,CAC1B,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CACrF,CAAA;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,UAAyB;IAC9C,IAAI,OAAO,GAAG,UAAU,CAAA;IACxB,OACE,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QACrC,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;QAC1B,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;QACjC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAC/B,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,UAAU,CAAA;IAC9B,CAAC;IACD,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,UAAqC;IAC9D,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAA;IACjC,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACjC,OAAO,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,MAAM,CAAC;QAC7E,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,MAA8C,EAC9C,IAAY;IAEZ,OAAO,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE;QAC1C,IAAI,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI;YAAE,OAAO,KAAK,CAAA;QACzD,OAAO,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,IAAI,CAAA;IAC7C,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAqB;IAChD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAChF,OAAO,IAAI,CAAC,IAAI,CAAA;IAClB,OAAO,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AAClF,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,QAAiD;IAEjD,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAA;IAC/B,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAA;IACrD,IAAI,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,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,cAAc,CAAC,IAAuB;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC/B,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,cAAc,CAC5B,IAAgB,EAChB,IAAa,EACb,OAA4B,EAC5B,IAAY;IAEZ,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IAC5C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;IACpD,OAAO,MAAM,EAAE,IAAI,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AAC5D,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,UAAyB;IACrD,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACjC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IACjD,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAA;IAC5D,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IAC7C,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACvD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAa;IAC9C,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAA;IACzB,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,IAAI,MAAM,IAAI,OAAO;YACjD,OAAO,OAAqC,CAAA;QAC9C,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC"}

package/dist/linter/adapters/typescript/type-universe.d.ts

@@ -0,0 +1,2 @@
+export declare function assertSingleTypeUniverse(root: string, signal?: AbortSignal): Promise<void>;
+//# sourceMappingURL=type-universe.d.ts.map

package/dist/linter/adapters/typescript/type-universe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-universe.d.ts","sourceRoot":"","sources":["../../../../src/linter/adapters/typescript/type-universe.ts"],"names":[],"mappings":"AA2BA,wBAAsB,wBAAwB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAiChG"}