@goodbones/typescript 0.1.0-beta.1

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 Data Quail
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/build/dts/extractor.d.ts

@@ -0,0 +1,4 @@
+import type { FactExtractor, SourceFacts } from "@goodbones/core";
+export declare const factsOfText: (file: string, text: string) => SourceFacts;
+export declare const makeFactExtractorLive: () => FactExtractor;
+//# sourceMappingURL=extractor.d.ts.map

package/build/dts/extractor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extractor.d.ts","sourceRoot":"","sources":["../../src/extractor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAIV,aAAa,EAEb,WAAW,EACZ,MAAM,iBAAiB,CAAC;AA4FzB,eAAO,MAAM,WAAW,SAAU,MAAM,QAAQ,MAAM,KAAG,WAoFxD,CAAC;AAkGF,eAAO,MAAM,qBAAqB,QAAO,aAA2C,CAAC"}

package/build/dts/index.d.ts

@@ -0,0 +1,7 @@
+import type { Language } from "@goodbones/core";
+export { factsOfText, makeFactExtractorLive } from "./extractor.js";
+export { npmPackageOf } from "./npm-package.js";
+export { decodeTypescriptScopeOptions, type TypescriptScopeOptions } from "./options.js";
+export { makeModuleResolverLive, TYPESCRIPT } from "./resolver.js";
+export declare const typescriptLanguage: () => Language;
+//# sourceMappingURL=index.d.ts.map

package/build/dts/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAKhD,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,4BAA4B,EAAE,KAAK,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACzF,OAAO,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAMnE,eAAO,MAAM,kBAAkB,QAAO,QASpC,CAAC"}

package/build/dts/npm-package.d.ts

@@ -0,0 +1,2 @@
+export declare const npmPackageOf: (repoRelativePath: string) => string | undefined;
+//# sourceMappingURL=npm-package.d.ts.map

package/build/dts/npm-package.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"npm-package.d.ts","sourceRoot":"","sources":["../../src/npm-package.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,YAAY,qBAAsB,MAAM,KAAG,MAAM,GAAG,SAIhE,CAAC"}

package/build/dts/options.d.ts

@@ -0,0 +1,12 @@
+import { type ResolveScope, ScopeInvalid } from "@goodbones/core";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+export declare const TypescriptScopeOptions: Schema.Struct<{
+    readonly tsconfig: Schema.String;
+    readonly extensions: Schema.optionalKey<Schema.$Array<Schema.String>>;
+    readonly conditionNames: Schema.optionalKey<Schema.$Array<Schema.String>>;
+    readonly mainFields: Schema.optionalKey<Schema.$Array<Schema.String>>;
+}>;
+export type TypescriptScopeOptions = typeof TypescriptScopeOptions.Type;
+export declare const decodeTypescriptScopeOptions: (scope: ResolveScope) => Result.Result<TypescriptScopeOptions, ScopeInvalid>;
+//# sourceMappingURL=options.d.ts.map

package/build/dts/options.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"options.d.ts","sourceRoot":"","sources":["../../src/options.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC,eAAO,MAAM,sBAAsB;;;;;EASjC,CAAC;AAEH,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC,IAAI,CAAC;AAOxE,eAAO,MAAM,4BAA4B,UAChC,YAAY,KAClB,MAAM,CAAC,MAAM,CAAC,sBAAsB,EAAE,YAAY,CASlD,CAAC"}

package/build/dts/resolver.d.ts

@@ -0,0 +1,5 @@
+import { type ModuleResolver, type ResolveConfig, ScopeInvalid } from "@goodbones/core";
+import * as Result from "effect/Result";
+export declare const TYPESCRIPT = "typescript";
+export declare const makeModuleResolverLive: (repoRoot: string, config: ResolveConfig) => Result.Result<ModuleResolver, ScopeInvalid>;
+//# sourceMappingURL=resolver.d.ts.map

package/build/dts/resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.d.ts","sourceRoot":"","sources":["../../src/resolver.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,cAAc,EACnB,KAAK,aAAa,EAGlB,YAAY,EACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAmBxC,eAAO,MAAM,UAAU,eAAe,CAAC;AA+CvC,eAAO,MAAM,sBAAsB,aACvB,MAAM,UACR,aAAa,KACpB,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,YAAY,CA4D5C,CAAC"}

package/build/esm/extractor.js

@@ -0,0 +1,263 @@
+import ts from "typescript";
+// The facts, read out of TypeScript's syntax tree. The plugin reads the same
+// facts out of oxlint's; `src/adapters/parity.test.ts` holds the two to one
+// answer, so a form added here without the matching visitor there fails a test
+// rather than a user.
+const scriptKindOf = (file) => file.endsWith(".tsx") ? ts.ScriptKind.TSX : ts.ScriptKind.TS;
+const nameOf = (node) => {
+    if (node === undefined)
+        return null;
+    if (ts.isIdentifier(node))
+        return node.text;
+    if (ts.isStringLiteral(node))
+        return node.text;
+    return null;
+};
+const bindingsOfImportClause = (clause) => {
+    if (clause === undefined)
+        return [];
+    const found = [];
+    if (clause.name !== undefined)
+        found.push({ symbol: "default", kind: "default" });
+    const bindings = clause.namedBindings;
+    if (bindings !== undefined) {
+        if (ts.isNamespaceImport(bindings))
+            found.push({ symbol: "*", kind: "namespace" });
+        else {
+            for (const element of bindings.elements) {
+                const symbol = nameOf(element.propertyName ?? element.name);
+                if (symbol !== null)
+                    found.push({ symbol, kind: "named" });
+            }
+        }
+    }
+    return found;
+};
+// The whole module, as one binding. `export * from "m"`, `export * as ns from
+// "m"`, `import x = require("m")`, `import("m")` and `require("m")` all carry
+// every export of `m` at once, exactly as `import * as ns` does — and are the
+// same way around a rule about a name. A side-effect import carries nothing.
+const WHOLE_MODULE = [{ symbol: "*", kind: "namespace" }];
+// `export { a } from "m"` — `propertyName` is the name in the source module when
+// the export is renamed, so it is the one the policy is about.
+const bindingsOfExportClause = (clause) => {
+    if (clause === undefined || ts.isNamespaceExport(clause))
+        return WHOLE_MODULE;
+    const found = [];
+    for (const element of clause.elements) {
+        const symbol = nameOf(element.propertyName ?? element.name);
+        if (symbol !== null)
+            found.push({ symbol, kind: "named" });
+    }
+    return found;
+};
+// The type literals written in a type, through intersections, unions and
+// parentheses: `type Port = Base & ({ a(): void } | { b(): void })` declares `a`
+// and `b`. A reference is not followed — `Base`'s members are declared where
+// `Base` is, and are reported there under its own name.
+const literalsOf = (node) => {
+    if (ts.isTypeLiteralNode(node))
+        return [node];
+    if (ts.isIntersectionTypeNode(node) || ts.isUnionTypeNode(node)) {
+        return node.types.flatMap(literalsOf);
+    }
+    if (ts.isParenthesizedTypeNode(node))
+        return literalsOf(node.type);
+    return [];
+};
+// The member shapes that carry a name a vocabulary rule can speak about: a
+// property or method signature in a type, a property, method or accessor in a
+// class. Mirrors the plugin's `DECLARED_MEMBER_TYPES`.
+const isNamedMember = (member) => ts.isPropertySignature(member) ||
+    ts.isMethodSignature(member) ||
+    ts.isPropertyDeclaration(member) ||
+    ts.isMethodDeclaration(member) ||
+    ts.isGetAccessorDeclaration(member) ||
+    ts.isSetAccessorDeclaration(member);
+const calleeNameOf = (expression) => {
+    if (ts.isIdentifier(expression))
+        return expression.text;
+    if (ts.isPropertyAccessExpression(expression) && ts.isIdentifier(expression.name)) {
+        return expression.name.text;
+    }
+    return null;
+};
+// The parse alone, for a source that need not be on disk — the CLI reads
+// every file through it, a source probe is checked through it at load, and the
+// parity suite feeds both adapters the same snippet through it.
+export const factsOfText = (file, text) => {
+    const parsed = ts.createSourceFile(file, text, ts.ScriptTarget.Latest, true, scriptKindOf(file));
+    const specifiers = [];
+    const bindings = new Map();
+    const memberSites = [];
+    const record = (specifier, found) => {
+        if (!bindings.has(specifier)) {
+            specifiers.push(specifier);
+            bindings.set(specifier, []);
+        }
+        const existing = bindings.get(specifier);
+        if (existing !== undefined)
+            for (const binding of found)
+                existing.push(binding);
+    };
+    // The members written in a declaration, under that declaration's name and
+    // kind. A computed key is not a name a vocabulary rule can speak about;
+    // neither is a private `#name`, an index, call or construct signature, or a
+    // constructor.
+    const declared = (declaration, declares, members) => {
+        for (const member of members) {
+            if (!isNamedMember(member))
+                continue;
+            if (ts.isComputedPropertyName(member.name) || ts.isPrivateIdentifier(member.name))
+                continue;
+            const name = nameOf(member.name);
+            if (name !== null) {
+                memberSites.push({ file, subject: "members", name, in: declaration, declares });
+            }
+        }
+    };
+    const visit = (node) => {
+        if (ts.isImportDeclaration(node) && ts.isStringLiteral(node.moduleSpecifier)) {
+            // A side-effect import carries no bindings but is still an edge — the
+            // `import "server-only"` form a regex cannot see.
+            record(node.moduleSpecifier.text, bindingsOfImportClause(node.importClause));
+        }
+        else if (ts.isExportDeclaration(node) &&
+            node.moduleSpecifier !== undefined &&
+            ts.isStringLiteral(node.moduleSpecifier)) {
+            record(node.moduleSpecifier.text, bindingsOfExportClause(node.exportClause));
+        }
+        else if (ts.isImportEqualsDeclaration(node) &&
+            ts.isExternalModuleReference(node.moduleReference) &&
+            ts.isStringLiteral(node.moduleReference.expression)) {
+            record(node.moduleReference.expression.text, WHOLE_MODULE);
+        }
+        else if (ts.isCallExpression(node)) {
+            const [first] = node.arguments;
+            const isModuleCall = node.expression.kind === ts.SyntaxKind.ImportKeyword ||
+                (ts.isIdentifier(node.expression) && node.expression.text === "require");
+            if (isModuleCall && first !== undefined && ts.isStringLiteral(first)) {
+                record(first.text, WHOLE_MODULE);
+            }
+            const callee = calleeNameOf(node.expression);
+            if (callee !== null)
+                memberSites.push({ file, subject: "calls", name: callee });
+        }
+        else if (ts.isTypeAliasDeclaration(node)) {
+            declared(node.name.text, "type", literalsOf(node.type).flatMap((literal) => literal.members));
+        }
+        else if (ts.isInterfaceDeclaration(node)) {
+            declared(node.name.text, "interface", node.members);
+        }
+        else if (ts.isClassDeclaration(node) && node.name !== undefined) {
+            // A class body is a declaration with members like any other. An anonymous
+            // class (`export default class {}`) has no name for `in` and is not read;
+            // neither is a class expression, which is a value.
+            declared(node.name.text, "class", node.members);
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(parsed);
+    return { specifiers, bindings, memberSites, exportSites: exportSitesOf(file, parsed) };
+};
+const hasModifier = (node, kind) => ts.canHaveModifiers(node) && (ts.getModifiers(node) ?? []).some((one) => one.kind === kind);
+// The names a declaration statement introduces, with what it declares them as.
+// A destructuring pattern introduces names too, but not ones a surface rule
+// judges by declaration kind; they read as `variable` like the rest.
+const declaredNamesOf = (statement) => {
+    if (ts.isFunctionDeclaration(statement)) {
+        return statement.name === undefined ? [] : [[statement.name.text, "function"]];
+    }
+    if (ts.isClassDeclaration(statement)) {
+        return statement.name === undefined ? [] : [[statement.name.text, "class"]];
+    }
+    if (ts.isVariableStatement(statement)) {
+        const names = [];
+        const collect = (binding) => {
+            if (ts.isIdentifier(binding))
+                names.push([binding.text, "variable"]);
+            else {
+                for (const element of binding.elements) {
+                    if (ts.isBindingElement(element))
+                        collect(element.name);
+                }
+            }
+        };
+        for (const declaration of statement.declarationList.declarations)
+            collect(declaration.name);
+        return names;
+    }
+    if (ts.isTypeAliasDeclaration(statement))
+        return [[statement.name.text, "type"]];
+    if (ts.isInterfaceDeclaration(statement))
+        return [[statement.name.text, "interface"]];
+    if (ts.isEnumDeclaration(statement))
+        return [[statement.name.text, "enum"]];
+    if (ts.isModuleDeclaration(statement) && ts.isIdentifier(statement.name)) {
+        return [[statement.name.text, "other"]];
+    }
+    return [];
+};
+// A file's surface: what its top-level statements export, in source order. An
+// `export` inside a namespace body is that namespace's, not the module's.
+const exportSitesOf = (file, parsed) => {
+    const locals = new Map();
+    for (const statement of parsed.statements) {
+        for (const [name, declares] of declaredNamesOf(statement))
+            locals.set(name, declares);
+    }
+    const sites = [];
+    const site = (name, kind, declares, reexport) => {
+        sites.push({ file, name, kind, declares, reexport });
+    };
+    for (const statement of parsed.statements) {
+        if (ts.isExportDeclaration(statement)) {
+            const reexport = statement.moduleSpecifier !== undefined;
+            const clause = statement.exportClause;
+            if (clause === undefined)
+                site("*", "namespace", "other", true);
+            else if (ts.isNamespaceExport(clause))
+                site(clause.name.text, "namespace", "other", true);
+            else {
+                for (const element of clause.elements) {
+                    const name = nameOf(element.name);
+                    if (name === null)
+                        continue;
+                    const local = nameOf(element.propertyName ?? element.name) ?? name;
+                    const declares = reexport ? "other" : (locals.get(local) ?? "other");
+                    site(name, name === "default" ? "default" : "named", declares, reexport);
+                }
+            }
+        }
+        else if (ts.isExportAssignment(statement)) {
+            // `export = x` is a CommonJS surface, not a module's.
+            if (statement.isExportEquals === true)
+                continue;
+            const declares = ts.isIdentifier(statement.expression)
+                ? (locals.get(statement.expression.text) ?? "expression")
+                : "expression";
+            site("default", "default", declares, false);
+        }
+        else if (hasModifier(statement, ts.SyntaxKind.ExportKeyword)) {
+            const isDefault = hasModifier(statement, ts.SyntaxKind.DefaultKeyword);
+            const declared = declaredNamesOf(statement);
+            if (isDefault) {
+                // `export default function () {}` has no name to look up.
+                const declares = declared[0]?.[1] ??
+                    (ts.isFunctionDeclaration(statement)
+                        ? "function"
+                        : ts.isClassDeclaration(statement)
+                            ? "class"
+                            : "other");
+                site("default", "default", declares, false);
+            }
+            else {
+                for (const [name, declares] of declared)
+                    site(name, "named", declares, false);
+            }
+        }
+    }
+    return sites;
+};
+export const makeFactExtractorLive = () => ({ factsOf: factsOfText });
+//# sourceMappingURL=extractor.js.map

package/build/esm/extractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extractor.js","sourceRoot":"","sources":["../../src/extractor.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,6EAA6E;AAC7E,4EAA4E;AAC5E,+EAA+E;AAC/E,sBAAsB;AAEtB,MAAM,YAAY,GAAG,CAAC,IAAY,EAAiB,EAAE,CACnD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;AAE/D,MAAM,MAAM,GAAG,CAAC,IAAuD,EAAiB,EAAE;IACxF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,MAAmC,EAA0B,EAAE;IAC7F,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IAClF,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC;IACtC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;aAC9E,CAAC;YACJ,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACxC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC5D,IAAI,MAAM,KAAK,IAAI;oBAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAC9E,6EAA6E;AAC7E,MAAM,YAAY,GAA2B,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;AAElF,iFAAiF;AACjF,+DAA+D;AAC/D,MAAM,sBAAsB,GAAG,CAC7B,MAA0C,EAClB,EAAE;IAC1B,IAAI,MAAM,KAAK,SAAS,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;QAAE,OAAO,YAAY,CAAC;IAC9E,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,MAAM,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,yEAAyE;AACzE,iFAAiF;AACjF,6EAA6E;AAC7E,wDAAwD;AACxD,MAAM,UAAU,GAAG,CAAC,IAAiB,EAAqC,EAAE;IAC1E,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAChE,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,2EAA2E;AAC3E,8EAA8E;AAC9E,uDAAuD;AACvD,MAAM,aAAa,GAAG,CACpB,MAAwC,EAC2C,EAAE,CACrF,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;IAC9B,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;IAC5B,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;IAChC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;IAC9B,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;IACnC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;AAEtC,MAAM,YAAY,GAAG,CAAC,UAAqC,EAAiB,EAAE;IAC5E,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC;IACxD,IAAI,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAClF,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,yEAAyE;AACzE,+EAA+E;AAC/E,gEAAgE;AAChE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,IAAY,EAAe,EAAE;IACrE,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IAEjG,MAAM,UAAU,GAAkB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA0B,CAAC;IACnD,MAAM,WAAW,GAAsB,EAAE,CAAC;IAE1C,MAAM,MAAM,GAAG,CAAC,SAAiB,EAAE,KAA6B,EAAQ,EAAE;QACxE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7B,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC3B,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC9B,CAAC;QACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,QAAQ,KAAK,SAAS;YAAE,KAAK,MAAM,OAAO,IAAI,KAAK;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClF,CAAC,CAAC;IAEF,0EAA0E;IAC1E,wEAAwE;IACxE,4EAA4E;IAC5E,eAAe;IACf,MAAM,QAAQ,GAAG,CACf,WAAmB,EACnB,QAAyB,EACzB,OAAwD,EAClD,EAAE;QACR,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;gBAAE,SAAS;YACrC,IAAI,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC5F,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACjC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClB,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;YAClF,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YAC7E,sEAAsE;YACtE,kDAAkD;YAClD,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QAC/E,CAAC;aAAM,IACL,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,IAAI,CAAC,eAAe,KAAK,SAAS;YAClC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EACxC,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,sBAAsB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QAC/E,CAAC;aAAM,IACL,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;YAClC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,eAAe,CAAC;YAClD,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,EACnD,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAC7D,CAAC;aAAM,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YAC/B,MAAM,YAAY,GAChB,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBACpD,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC3E,IAAI,YAAY,IAAI,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrE,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACnC,CAAC;YAED,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7C,IAAI,MAAM,KAAK,IAAI;gBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAClF,CAAC;aAAM,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,QAAQ,CACN,IAAI,CAAC,IAAI,CAAC,IAAI,EACd,MAAM,EACN,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAC5D,CAAC;QACJ,CAAC;aAAM,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACtD,CAAC;aAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClE,0EAA0E;YAC1E,0EAA0E;YAC1E,mDAAmD;YACnD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAClD,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,CAAC,MAAM,CAAC,CAAC;IAEd,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;AACzF,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAa,EAAE,IAAmB,EAAW,EAAE,CAClE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAE9F,+EAA+E;AAC/E,4EAA4E;AAC5E,qEAAqE;AACrE,MAAM,eAAe,GAAG,CAAC,SAAkB,EAAqD,EAAE;IAChG,IAAI,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,EAAE,CAAC;QACxC,OAAO,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAA8C,EAAE,CAAC;QAC5D,MAAM,OAAO,GAAG,CAAC,OAAuB,EAAQ,EAAE;YAChD,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;iBAChE,CAAC;gBACJ,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;oBACvC,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;wBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QACF,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY;YAAE,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QAC5F,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACjF,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC;IACtF,IAAI,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5E,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACzE,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC,CAAC;AAEF,8EAA8E;AAC9E,0EAA0E;AAC1E,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,MAAqB,EAA6B,EAAE;IACvF,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,eAAe,CAAC,SAAS,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxF,CAAC;IAED,MAAM,KAAK,GAAsB,EAAE,CAAC;IACpC,MAAM,IAAI,GAAG,CACX,IAAY,EACZ,IAAwB,EACxB,QAAyB,EACzB,QAAiB,EACX,EAAE;QACR,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,IAAI,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,SAAS,CAAC,eAAe,KAAK,SAAS,CAAC;YACzD,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC;YACtC,IAAI,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;iBAC3D,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;gBAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;iBACrF,CAAC;gBACJ,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;oBACtC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBAClC,IAAI,IAAI,KAAK,IAAI;wBAAE,SAAS;oBAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;oBACnE,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;oBACrE,IAAI,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAC3E,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5C,sDAAsD;YACtD,IAAI,SAAS,CAAC,cAAc,KAAK,IAAI;gBAAE,SAAS;YAChD,MAAM,QAAQ,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC;gBACpD,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC;gBACzD,CAAC,CAAC,YAAY,CAAC;YACjB,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC9C,CAAC;aAAM,IAAI,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;YAC/D,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;YACvE,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;YAC5C,IAAI,SAAS,EAAE,CAAC;gBACd,0DAA0D;gBAC1D,MAAM,QAAQ,GACZ,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBAChB,CAAC,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC;wBAClC,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,SAAS,CAAC;4BAChC,CAAC,CAAC,OAAO;4BACT,CAAC,CAAC,OAAO,CAAC,CAAC;gBACjB,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC9C,CAAC;iBAAM,CAAC;gBACN,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,QAAQ;oBAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YAChF,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,GAAkB,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC"}

package/build/esm/index.js

@@ -0,0 +1,21 @@
+import { makeFactExtractorLive } from "./extractor.js";
+import { makeModuleResolverLive, TYPESCRIPT } from "./resolver.js";
+export { factsOfText, makeFactExtractorLive } from "./extractor.js";
+export { npmPackageOf } from "./npm-package.js";
+export { decodeTypescriptScopeOptions } from "./options.js";
+export { makeModuleResolverLive, TYPESCRIPT } from "./resolver.js";
+// TypeScript, as one language pack: the parser-backed extractor and the
+// `unrs-resolver`-backed resolver, behind the core's `Language` port. A host
+// constructs this once, at its composition root, and hands it to `loadPolicy`;
+// a second language is a second package shaped like this one.
+export const typescriptLanguage = () => ({
+    id: TYPESCRIPT,
+    extensions: [".ts", ".tsx", ".mts", ".cts"],
+    // A declaration file states types, not code; no linter visits one and no
+    // policy is written about one.
+    ignoredFiles: [/\.d\.[cm]?ts$/],
+    extractor: makeFactExtractorLive(),
+    fixes: ["subpath-namespace-import"],
+    makeResolver: (repoRoot, scope) => makeModuleResolverLive(repoRoot, { scopes: [scope] }),
+});
+//# sourceMappingURL=index.js.map

package/build/esm/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAEnE,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,4BAA4B,EAA+B,MAAM,cAAc,CAAC;AACzF,OAAO,EAAE,sBAAsB,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAEnE,wEAAwE;AACxE,6EAA6E;AAC7E,+EAA+E;AAC/E,8DAA8D;AAC9D,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAa,EAAE,CAAC,CAAC;IACjD,EAAE,EAAE,UAAU;IACd,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;IAC3C,yEAAyE;IACzE,+BAA+B;IAC/B,YAAY,EAAE,CAAC,eAAe,CAAC;IAC/B,SAAS,EAAE,qBAAqB,EAAE;IAClC,KAAK,EAAE,CAAC,0BAA0B,CAAC;IACnC,YAAY,EAAE,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;CACzF,CAAC,CAAC"}

package/build/esm/npm-package.js

@@ -0,0 +1,16 @@
+// The package a `node_modules/` path belongs to, as an `imports.external` entry
+// names it: `effect`, or `@scope/name`. The LAST `node_modules/` segment is the
+// one that matters — under pnpm the store path is
+// `node_modules/.pnpm/effect@4.0.0/node_modules/effect/dist/…`, and the first
+// segment after the first `node_modules/` would be `.pnpm`.
+//
+// This is npm's layout, and it belongs to the TypeScript side of the package:
+// the policy only ever sees the name that comes out.
+const LAST_NODE_MODULES = /(?:^|\/)node_modules\/((?:@[^/]+\/)?[^/]+)/g;
+export const npmPackageOf = (repoRelativePath) => {
+    let found;
+    for (const match of repoRelativePath.matchAll(LAST_NODE_MODULES))
+        found = match[1];
+    return found;
+};
+//# sourceMappingURL=npm-package.js.map

package/build/esm/npm-package.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"npm-package.js","sourceRoot":"","sources":["../../src/npm-package.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,gFAAgF;AAChF,kDAAkD;AAClD,8EAA8E;AAC9E,4DAA4D;AAC5D,EAAE;AACF,8EAA8E;AAC9E,qDAAqD;AACrD,MAAM,iBAAiB,GAAG,6CAA6C,CAAC;AAExE,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,gBAAwB,EAAsB,EAAE;IAC3E,IAAI,KAAyB,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,QAAQ,CAAC,iBAAiB,CAAC;QAAE,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACnF,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/build/esm/options.js

@@ -0,0 +1,26 @@
+import { ScopeInvalid } from "@goodbones/core";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+// What a `resolve.scopes` entry for TypeScript may say. The manifest carries
+// these opaquely; this is where they mean something. Every one of them is an
+// `unrs-resolver` option, and the defaults are the resolver's own.
+export const TypescriptScopeOptions = Schema.Struct({
+    // The tsconfig whose `paths` and `baseUrl` resolve this scope's imports,
+    // repo-relative. Its `paths` targets should be extensionless: a mapped
+    // target is a template, and `x.js` against a `.ts`-suffixed one looks for
+    // `x.js.ts`.
+    tsconfig: Schema.String,
+    extensions: Schema.optionalKey(Schema.Array(Schema.String)),
+    conditionNames: Schema.optionalKey(Schema.Array(Schema.String)),
+    mainFields: Schema.optionalKey(Schema.Array(Schema.String)),
+});
+// Unknown keys are refused: a misspelled `conditionNames` would otherwise be
+// a resolver quietly built on defaults, and every rule about that scope would
+// be evaluated against the wrong files.
+const decode = Schema.decodeUnknownResult(TypescriptScopeOptions, { onExcessProperty: "error" });
+export const decodeTypescriptScopeOptions = (scope) => Result.mapError(decode(scope.options ?? {}), (issue) => new ScopeInvalid({
+    files: scope.files,
+    language: scope.language,
+    detail: `options do not decode as TypeScript resolver options — ${String(issue)}`,
+}));
+//# sourceMappingURL=options.js.map

package/build/esm/options.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"options.js","sourceRoot":"","sources":["../../src/options.ts"],"names":[],"mappings":"AAAA,OAAO,EAAqB,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,6EAA6E;AAC7E,6EAA6E;AAC7E,mEAAmE;AACnE,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC;IAClD,yEAAyE;IACzE,uEAAuE;IACvE,0EAA0E;IAC1E,aAAa;IACb,QAAQ,EAAE,MAAM,CAAC,MAAM;IACvB,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3D,cAAc,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/D,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CAC5D,CAAC,CAAC;AAIH,6EAA6E;AAC7E,8EAA8E;AAC9E,wCAAwC;AACxC,MAAM,MAAM,GAAG,MAAM,CAAC,mBAAmB,CAAC,sBAAsB,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC;AAEjG,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAC1C,KAAmB,EACkC,EAAE,CACvD,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,EAC3B,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,YAAY,CAAC;IACf,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;IACxB,MAAM,EAAE,0DAA0D,MAAM,CAAC,KAAK,CAAC,EAAE;CAClF,CAAC,CACL,CAAC"}

package/build/esm/resolver.js

@@ -0,0 +1,98 @@
+import * as path from "node:path";
+import { ImportUnresolved, ScopeInvalid, } from "@goodbones/core";
+import * as Result from "effect/Result";
+import { ResolverFactory } from "unrs-resolver";
+import { npmPackageOf } from "./npm-package.js";
+import { decodeTypescriptScopeOptions } from "./options.js";
+// `.js` in a NodeNext import specifier points at a `.ts` on disk. Without this,
+// every relative import in the repo resolves to nothing and every path rule about
+// it goes silently vacuous — the failure this package exists to make impossible.
+const EXTENSION_ALIAS = {
+    ".js": [".ts", ".tsx", ".js"],
+    ".mjs": [".mts", ".mjs"],
+    ".cjs": [".cts", ".cjs"],
+};
+const DEFAULT_EXTENSIONS = [".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs", ".json"];
+const DEFAULT_CONDITION_NAMES = ["import", "require", "node", "default"];
+const DEFAULT_MAIN_FIELDS = ["main", "types"];
+export const TYPESCRIPT = "typescript";
+const toPosix = (value) => value.replaceAll(path.sep, "/");
+// A file under `node_modules/` is a third-party package, and the policy speaks
+// about it by the package's name rather than by where pnpm or npm put it.
+const toResolvedTarget = (repoRoot, absolutePath) => {
+    const relative = toPosix(path.relative(repoRoot, absolutePath));
+    const pkg = npmPackageOf(relative);
+    return pkg === undefined
+        ? { path: relative, kind: "local" }
+        : { path: relative, kind: "external", package: pkg };
+};
+const factoryOf = (repoRoot, options) => new ResolverFactory({
+    tsconfig: { configFile: path.resolve(repoRoot, options.tsconfig) },
+    extensions: [...(options.extensions ?? DEFAULT_EXTENSIONS)],
+    extensionAlias: EXTENSION_ALIAS,
+    conditionNames: [...(options.conditionNames ?? DEFAULT_CONDITION_NAMES)],
+    mainFields: [...(options.mainFields ?? DEFAULT_MAIN_FIELDS)],
+    builtinModules: true,
+});
+// Every scope here is TypeScript's: this resolver is the one the TypeScript pack
+// hands out, and a scope naming another language is one it cannot serve.
+const scopeOf = (repoRoot, scope) => {
+    if (scope.language !== TYPESCRIPT) {
+        return Result.fail(new ScopeInvalid({
+            files: scope.files,
+            language: scope.language,
+            detail: `the TypeScript resolver cannot serve a "${scope.language}" scope`,
+        }));
+    }
+    return Result.map(decodeTypescriptScopeOptions(scope), (options) => ({
+        matches: new RegExp(scope.files),
+        factory: factoryOf(repoRoot, options),
+    }));
+};
+export const makeModuleResolverLive = (repoRoot, config) => {
+    const scopes = [];
+    for (const entry of config.scopes) {
+        const scope = scopeOf(repoRoot, entry);
+        if (Result.isFailure(scope))
+            return Result.fail(scope.failure);
+        scopes.push(scope.success);
+    }
+    const cache = new Map();
+    const resolveUncached = (scope, fromDirectory, fromFile, specifier) => {
+        const resolved = scope.factory.sync(fromDirectory, specifier);
+        const builtin = resolved.builtin;
+        if (builtin !== undefined) {
+            return Result.succeed({ path: builtin.resolved, kind: "builtin" });
+        }
+        const resolvedPath = resolved.path;
+        if (resolvedPath === undefined) {
+            return Result.fail(new ImportUnresolved({
+                fromFile,
+                specifier,
+                detail: resolved.error ?? "unknown resolution failure",
+            }));
+        }
+        return Result.succeed(toResolvedTarget(repoRoot, resolvedPath));
+    };
+    return Result.succeed({
+        resolve: (fromFile, specifier) => {
+            const scope = scopes.find((candidate) => candidate.matches.test(fromFile));
+            if (scope === undefined) {
+                return Result.fail(new ImportUnresolved({
+                    fromFile,
+                    specifier,
+                    detail: "no resolve scope in the architecture config matches this file",
+                }));
+            }
+            const fromDirectory = path.resolve(repoRoot, path.dirname(fromFile));
+            const key = `${scope.matches.source} ${fromDirectory} ${specifier}`;
+            const cached = cache.get(key);
+            if (cached !== undefined)
+                return cached;
+            const outcome = resolveUncached(scope, fromDirectory, fromFile, specifier);
+            cache.set(key, outcome);
+            return outcome;
+        },
+    });
+};
+//# sourceMappingURL=resolver.js.map

package/build/esm/resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.js","sourceRoot":"","sources":["../../src/resolver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EACL,gBAAgB,EAKhB,YAAY,GACb,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,4BAA4B,EAA+B,MAAM,cAAc,CAAC;AAEzF,gFAAgF;AAChF,kFAAkF;AAClF,iFAAiF;AACjF,MAAM,eAAe,GAAG;IACtB,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC;IAC7B,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AACnF,MAAM,uBAAuB,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AACzE,MAAM,mBAAmB,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE9C,MAAM,CAAC,MAAM,UAAU,GAAG,YAAY,CAAC;AAEvC,MAAM,OAAO,GAAG,CAAC,KAAa,EAAU,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAE3E,+EAA+E;AAC/E,0EAA0E;AAC1E,MAAM,gBAAgB,GAAG,CAAC,QAAgB,EAAE,YAAoB,EAAkB,EAAE;IAClF,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACnC,OAAO,GAAG,KAAK,SAAS;QACtB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;QACnC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;AACzD,CAAC,CAAC;AAOF,MAAM,SAAS,GAAG,CAAC,QAAgB,EAAE,OAA+B,EAAmB,EAAE,CACvF,IAAI,eAAe,CAAC;IAClB,QAAQ,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE;IAClE,UAAU,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,kBAAkB,CAAC,CAAC;IAC3D,cAAc,EAAE,eAAe;IAC/B,cAAc,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,uBAAuB,CAAC,CAAC;IACxE,UAAU,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,IAAI,mBAAmB,CAAC,CAAC;IAC5D,cAAc,EAAE,IAAI;CACrB,CAAC,CAAC;AAEL,iFAAiF;AACjF,yEAAyE;AACzE,MAAM,OAAO,GAAG,CAAC,QAAgB,EAAE,KAAmB,EAAsC,EAAE;IAC5F,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QAClC,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,YAAY,CAAC;YACf,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,MAAM,EAAE,2CAA2C,KAAK,CAAC,QAAQ,SAAS;SAC3E,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,4BAA4B,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACnE,OAAO,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAChC,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC;KACtC,CAAC,CAAC,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,QAAgB,EAChB,MAAqB,EACwB,EAAE;IAC/C,MAAM,MAAM,GAAiB,EAAE,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACvC,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2D,CAAC;IAEjF,MAAM,eAAe,GAAG,CACtB,KAAY,EACZ,aAAqB,EACrB,QAAgB,EAChB,SAAiB,EACgC,EAAE;QACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;QAE9D,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;QACjC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACrE,CAAC;QAED,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;QACnC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;gBACnB,QAAQ;gBACR,SAAS;gBACT,MAAM,EAAE,QAAQ,CAAC,KAAK,IAAI,4BAA4B;aACvD,CAAC,CACH,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC;IAEF,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,OAAO,EAAE,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE;YAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC3E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;oBACnB,QAAQ;oBACR,SAAS;oBACT,MAAM,EAAE,+DAA+D;iBACxE,CAAC,CACH,CAAC;YACJ,CAAC;YAED,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YACrE,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,aAAa,IAAI,SAAS,EAAE,CAAC;YACpE,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAC;YAExC,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC3E,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YACxB,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC"}

package/package.json

@@ -0,0 +1,60 @@
+{
+  "name": "@goodbones/typescript",
+  "version": "0.1.0-beta.1",
+  "type": "module",
+  "license": "MIT",
+  "description": "The TypeScript language pack for @goodbones/core: facts read through the TypeScript parser, specifiers resolved through unrs-resolver, behind the core's Language port.",
+  "author": "zacharyweidenbach",
+  "keywords": [
+    "architecture",
+    "lint",
+    "import-boundaries",
+    "hexagonal",
+    "monorepo"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/dataquail/goodbones.git",
+    "directory": "packages/typescript"
+  },
+  "homepage": "https://dataquail.github.io/goodbones",
+  "bugs": {
+    "url": "https://github.com/dataquail/goodbones/issues"
+  },
+  "exports": {
+    ".": {
+      "types": "./build/dts/index.d.ts",
+      "default": "./build/esm/index.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "types": "./build/dts/index.d.ts",
+  "files": [
+    "build/dts",
+    "build/esm",
+    "src",
+    "!src/**/*.test.ts"
+  ],
+  "dependencies": {
+    "effect": "4.0.0-beta.94",
+    "typescript": "^5.9.3",
+    "unrs-resolver": "^1.12.2",
+    "@goodbones/core": "0.1.0-beta.1"
+  },
+  "devDependencies": {
+    "@types/node": "^25.9.4"
+  },
+  "nx": {
+    "includedScripts": []
+  },
+  "scripts": {
+    "build": "tsc -b tsconfig.build.json",
+    "check": "tsc -b tsconfig.json",
+    "clean": "rm -rf build .tsbuildinfo",
+    "test": "vitest run",
+    "coverage": "vitest run --coverage"
+  }
+}

package/src/extractor.ts

@@ -0,0 +1,282 @@
+import type {
+  Binding,
+  DeclarationKind,
+  ExportSite,
+  FactExtractor,
+  MemberSite,
+  SourceFacts,
+} from "@goodbones/core";
+import ts from "typescript";
+
+// The facts, read out of TypeScript's syntax tree. The plugin reads the same
+// facts out of oxlint's; `src/adapters/parity.test.ts` holds the two to one
+// answer, so a form added here without the matching visitor there fails a test
+// rather than a user.
+
+const scriptKindOf = (file: string): ts.ScriptKind =>
+  file.endsWith(".tsx") ? ts.ScriptKind.TSX : ts.ScriptKind.TS;
+
+const nameOf = (node: ts.PropertyName | ts.ModuleExportName | undefined): string | null => {
+  if (node === undefined) return null;
+  if (ts.isIdentifier(node)) return node.text;
+  if (ts.isStringLiteral(node)) return node.text;
+  return null;
+};
+
+const bindingsOfImportClause = (clause: ts.ImportClause | undefined): ReadonlyArray<Binding> => {
+  if (clause === undefined) return [];
+  const found: Array<Binding> = [];
+  if (clause.name !== undefined) found.push({ symbol: "default", kind: "default" });
+  const bindings = clause.namedBindings;
+  if (bindings !== undefined) {
+    if (ts.isNamespaceImport(bindings)) found.push({ symbol: "*", kind: "namespace" });
+    else {
+      for (const element of bindings.elements) {
+        const symbol = nameOf(element.propertyName ?? element.name);
+        if (symbol !== null) found.push({ symbol, kind: "named" });
+      }
+    }
+  }
+  return found;
+};
+
+// The whole module, as one binding. `export * from "m"`, `export * as ns from
+// "m"`, `import x = require("m")`, `import("m")` and `require("m")` all carry
+// every export of `m` at once, exactly as `import * as ns` does — and are the
+// same way around a rule about a name. A side-effect import carries nothing.
+const WHOLE_MODULE: ReadonlyArray<Binding> = [{ symbol: "*", kind: "namespace" }];
+
+// `export { a } from "m"` — `propertyName` is the name in the source module when
+// the export is renamed, so it is the one the policy is about.
+const bindingsOfExportClause = (
+  clause: ts.NamedExportBindings | undefined,
+): ReadonlyArray<Binding> => {
+  if (clause === undefined || ts.isNamespaceExport(clause)) return WHOLE_MODULE;
+  const found: Array<Binding> = [];
+  for (const element of clause.elements) {
+    const symbol = nameOf(element.propertyName ?? element.name);
+    if (symbol !== null) found.push({ symbol, kind: "named" });
+  }
+  return found;
+};
+
+// The type literals written in a type, through intersections, unions and
+// parentheses: `type Port = Base & ({ a(): void } | { b(): void })` declares `a`
+// and `b`. A reference is not followed — `Base`'s members are declared where
+// `Base` is, and are reported there under its own name.
+const literalsOf = (node: ts.TypeNode): ReadonlyArray<ts.TypeLiteralNode> => {
+  if (ts.isTypeLiteralNode(node)) return [node];
+  if (ts.isIntersectionTypeNode(node) || ts.isUnionTypeNode(node)) {
+    return node.types.flatMap(literalsOf);
+  }
+  if (ts.isParenthesizedTypeNode(node)) return literalsOf(node.type);
+  return [];
+};
+
+// The member shapes that carry a name a vocabulary rule can speak about: a
+// property or method signature in a type, a property, method or accessor in a
+// class. Mirrors the plugin's `DECLARED_MEMBER_TYPES`.
+const isNamedMember = (
+  member: ts.TypeElement | ts.ClassElement,
+): member is (ts.TypeElement | ts.ClassElement) & { readonly name: ts.PropertyName } =>
+  ts.isPropertySignature(member) ||
+  ts.isMethodSignature(member) ||
+  ts.isPropertyDeclaration(member) ||
+  ts.isMethodDeclaration(member) ||
+  ts.isGetAccessorDeclaration(member) ||
+  ts.isSetAccessorDeclaration(member);
+
+const calleeNameOf = (expression: ts.LeftHandSideExpression): string | null => {
+  if (ts.isIdentifier(expression)) return expression.text;
+  if (ts.isPropertyAccessExpression(expression) && ts.isIdentifier(expression.name)) {
+    return expression.name.text;
+  }
+  return null;
+};
+
+// The parse alone, for a source that need not be on disk — the CLI reads
+// every file through it, a source probe is checked through it at load, and the
+// parity suite feeds both adapters the same snippet through it.
+export const factsOfText = (file: string, text: string): SourceFacts => {
+  const parsed = ts.createSourceFile(file, text, ts.ScriptTarget.Latest, true, scriptKindOf(file));
+
+  const specifiers: Array<string> = [];
+  const bindings = new Map<string, Array<Binding>>();
+  const memberSites: Array<MemberSite> = [];
+
+  const record = (specifier: string, found: ReadonlyArray<Binding>): void => {
+    if (!bindings.has(specifier)) {
+      specifiers.push(specifier);
+      bindings.set(specifier, []);
+    }
+    const existing = bindings.get(specifier);
+    if (existing !== undefined) for (const binding of found) existing.push(binding);
+  };
+
+  // The members written in a declaration, under that declaration's name and
+  // kind. A computed key is not a name a vocabulary rule can speak about;
+  // neither is a private `#name`, an index, call or construct signature, or a
+  // constructor.
+  const declared = (
+    declaration: string,
+    declares: DeclarationKind,
+    members: ReadonlyArray<ts.TypeElement | ts.ClassElement>,
+  ): void => {
+    for (const member of members) {
+      if (!isNamedMember(member)) continue;
+      if (ts.isComputedPropertyName(member.name) || ts.isPrivateIdentifier(member.name)) continue;
+      const name = nameOf(member.name);
+      if (name !== null) {
+        memberSites.push({ file, subject: "members", name, in: declaration, declares });
+      }
+    }
+  };
+
+  const visit = (node: ts.Node): void => {
+    if (ts.isImportDeclaration(node) && ts.isStringLiteral(node.moduleSpecifier)) {
+      // A side-effect import carries no bindings but is still an edge — the
+      // `import "server-only"` form a regex cannot see.
+      record(node.moduleSpecifier.text, bindingsOfImportClause(node.importClause));
+    } else if (
+      ts.isExportDeclaration(node) &&
+      node.moduleSpecifier !== undefined &&
+      ts.isStringLiteral(node.moduleSpecifier)
+    ) {
+      record(node.moduleSpecifier.text, bindingsOfExportClause(node.exportClause));
+    } else if (
+      ts.isImportEqualsDeclaration(node) &&
+      ts.isExternalModuleReference(node.moduleReference) &&
+      ts.isStringLiteral(node.moduleReference.expression)
+    ) {
+      record(node.moduleReference.expression.text, WHOLE_MODULE);
+    } else if (ts.isCallExpression(node)) {
+      const [first] = node.arguments;
+      const isModuleCall =
+        node.expression.kind === ts.SyntaxKind.ImportKeyword ||
+        (ts.isIdentifier(node.expression) && node.expression.text === "require");
+      if (isModuleCall && first !== undefined && ts.isStringLiteral(first)) {
+        record(first.text, WHOLE_MODULE);
+      }
+
+      const callee = calleeNameOf(node.expression);
+      if (callee !== null) memberSites.push({ file, subject: "calls", name: callee });
+    } else if (ts.isTypeAliasDeclaration(node)) {
+      declared(
+        node.name.text,
+        "type",
+        literalsOf(node.type).flatMap((literal) => literal.members),
+      );
+    } else if (ts.isInterfaceDeclaration(node)) {
+      declared(node.name.text, "interface", node.members);
+    } else if (ts.isClassDeclaration(node) && node.name !== undefined) {
+      // A class body is a declaration with members like any other. An anonymous
+      // class (`export default class {}`) has no name for `in` and is not read;
+      // neither is a class expression, which is a value.
+      declared(node.name.text, "class", node.members);
+    }
+
+    ts.forEachChild(node, visit);
+  };
+
+  visit(parsed);
+
+  return { specifiers, bindings, memberSites, exportSites: exportSitesOf(file, parsed) };
+};
+
+const hasModifier = (node: ts.Node, kind: ts.SyntaxKind): boolean =>
+  ts.canHaveModifiers(node) && (ts.getModifiers(node) ?? []).some((one) => one.kind === kind);
+
+// The names a declaration statement introduces, with what it declares them as.
+// A destructuring pattern introduces names too, but not ones a surface rule
+// judges by declaration kind; they read as `variable` like the rest.
+const declaredNamesOf = (statement: ts.Node): ReadonlyArray<readonly [string, DeclarationKind]> => {
+  if (ts.isFunctionDeclaration(statement)) {
+    return statement.name === undefined ? [] : [[statement.name.text, "function"]];
+  }
+  if (ts.isClassDeclaration(statement)) {
+    return statement.name === undefined ? [] : [[statement.name.text, "class"]];
+  }
+  if (ts.isVariableStatement(statement)) {
+    const names: Array<readonly [string, DeclarationKind]> = [];
+    const collect = (binding: ts.BindingName): void => {
+      if (ts.isIdentifier(binding)) names.push([binding.text, "variable"]);
+      else {
+        for (const element of binding.elements) {
+          if (ts.isBindingElement(element)) collect(element.name);
+        }
+      }
+    };
+    for (const declaration of statement.declarationList.declarations) collect(declaration.name);
+    return names;
+  }
+  if (ts.isTypeAliasDeclaration(statement)) return [[statement.name.text, "type"]];
+  if (ts.isInterfaceDeclaration(statement)) return [[statement.name.text, "interface"]];
+  if (ts.isEnumDeclaration(statement)) return [[statement.name.text, "enum"]];
+  if (ts.isModuleDeclaration(statement) && ts.isIdentifier(statement.name)) {
+    return [[statement.name.text, "other"]];
+  }
+  return [];
+};
+
+// A file's surface: what its top-level statements export, in source order. An
+// `export` inside a namespace body is that namespace's, not the module's.
+const exportSitesOf = (file: string, parsed: ts.SourceFile): ReadonlyArray<ExportSite> => {
+  const locals = new Map<string, DeclarationKind>();
+  for (const statement of parsed.statements) {
+    for (const [name, declares] of declaredNamesOf(statement)) locals.set(name, declares);
+  }
+
+  const sites: Array<ExportSite> = [];
+  const site = (
+    name: string,
+    kind: ExportSite["kind"],
+    declares: DeclarationKind,
+    reexport: boolean,
+  ): void => {
+    sites.push({ file, name, kind, declares, reexport });
+  };
+
+  for (const statement of parsed.statements) {
+    if (ts.isExportDeclaration(statement)) {
+      const reexport = statement.moduleSpecifier !== undefined;
+      const clause = statement.exportClause;
+      if (clause === undefined) site("*", "namespace", "other", true);
+      else if (ts.isNamespaceExport(clause)) site(clause.name.text, "namespace", "other", true);
+      else {
+        for (const element of clause.elements) {
+          const name = nameOf(element.name);
+          if (name === null) continue;
+          const local = nameOf(element.propertyName ?? element.name) ?? name;
+          const declares = reexport ? "other" : (locals.get(local) ?? "other");
+          site(name, name === "default" ? "default" : "named", declares, reexport);
+        }
+      }
+    } else if (ts.isExportAssignment(statement)) {
+      // `export = x` is a CommonJS surface, not a module's.
+      if (statement.isExportEquals === true) continue;
+      const declares = ts.isIdentifier(statement.expression)
+        ? (locals.get(statement.expression.text) ?? "expression")
+        : "expression";
+      site("default", "default", declares, false);
+    } else if (hasModifier(statement, ts.SyntaxKind.ExportKeyword)) {
+      const isDefault = hasModifier(statement, ts.SyntaxKind.DefaultKeyword);
+      const declared = declaredNamesOf(statement);
+      if (isDefault) {
+        // `export default function () {}` has no name to look up.
+        const declares =
+          declared[0]?.[1] ??
+          (ts.isFunctionDeclaration(statement)
+            ? "function"
+            : ts.isClassDeclaration(statement)
+              ? "class"
+              : "other");
+        site("default", "default", declares, false);
+      } else {
+        for (const [name, declares] of declared) site(name, "named", declares, false);
+      }
+    }
+  }
+  return sites;
+};
+
+export const makeFactExtractorLive = (): FactExtractor => ({ factsOf: factsOfText });

package/src/index.ts

@@ -0,0 +1,24 @@
+import type { Language } from "@goodbones/core";
+
+import { makeFactExtractorLive } from "./extractor.js";
+import { makeModuleResolverLive, TYPESCRIPT } from "./resolver.js";
+
+export { factsOfText, makeFactExtractorLive } from "./extractor.js";
+export { npmPackageOf } from "./npm-package.js";
+export { decodeTypescriptScopeOptions, type TypescriptScopeOptions } from "./options.js";
+export { makeModuleResolverLive, TYPESCRIPT } from "./resolver.js";
+
+// TypeScript, as one language pack: the parser-backed extractor and the
+// `unrs-resolver`-backed resolver, behind the core's `Language` port. A host
+// constructs this once, at its composition root, and hands it to `loadPolicy`;
+// a second language is a second package shaped like this one.
+export const typescriptLanguage = (): Language => ({
+  id: TYPESCRIPT,
+  extensions: [".ts", ".tsx", ".mts", ".cts"],
+  // A declaration file states types, not code; no linter visits one and no
+  // policy is written about one.
+  ignoredFiles: [/\.d\.[cm]?ts$/],
+  extractor: makeFactExtractorLive(),
+  fixes: ["subpath-namespace-import"],
+  makeResolver: (repoRoot, scope) => makeModuleResolverLive(repoRoot, { scopes: [scope] }),
+});

package/src/npm-package.ts

@@ -0,0 +1,15 @@
+// The package a `node_modules/` path belongs to, as an `imports.external` entry
+// names it: `effect`, or `@scope/name`. The LAST `node_modules/` segment is the
+// one that matters — under pnpm the store path is
+// `node_modules/.pnpm/effect@4.0.0/node_modules/effect/dist/…`, and the first
+// segment after the first `node_modules/` would be `.pnpm`.
+//
+// This is npm's layout, and it belongs to the TypeScript side of the package:
+// the policy only ever sees the name that comes out.
+const LAST_NODE_MODULES = /(?:^|\/)node_modules\/((?:@[^/]+\/)?[^/]+)/g;
+
+export const npmPackageOf = (repoRelativePath: string): string | undefined => {
+  let found: string | undefined;
+  for (const match of repoRelativePath.matchAll(LAST_NODE_MODULES)) found = match[1];
+  return found;
+};

package/src/options.ts

@@ -0,0 +1,37 @@
+import { type ResolveScope, ScopeInvalid } from "@goodbones/core";
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+
+// What a `resolve.scopes` entry for TypeScript may say. The manifest carries
+// these opaquely; this is where they mean something. Every one of them is an
+// `unrs-resolver` option, and the defaults are the resolver's own.
+export const TypescriptScopeOptions = Schema.Struct({
+  // The tsconfig whose `paths` and `baseUrl` resolve this scope's imports,
+  // repo-relative. Its `paths` targets should be extensionless: a mapped
+  // target is a template, and `x.js` against a `.ts`-suffixed one looks for
+  // `x.js.ts`.
+  tsconfig: Schema.String,
+  extensions: Schema.optionalKey(Schema.Array(Schema.String)),
+  conditionNames: Schema.optionalKey(Schema.Array(Schema.String)),
+  mainFields: Schema.optionalKey(Schema.Array(Schema.String)),
+});
+
+export type TypescriptScopeOptions = typeof TypescriptScopeOptions.Type;
+
+// Unknown keys are refused: a misspelled `conditionNames` would otherwise be
+// a resolver quietly built on defaults, and every rule about that scope would
+// be evaluated against the wrong files.
+const decode = Schema.decodeUnknownResult(TypescriptScopeOptions, { onExcessProperty: "error" });
+
+export const decodeTypescriptScopeOptions = (
+  scope: ResolveScope,
+): Result.Result<TypescriptScopeOptions, ScopeInvalid> =>
+  Result.mapError(
+    decode(scope.options ?? {}),
+    (issue) =>
+      new ScopeInvalid({
+        files: scope.files,
+        language: scope.language,
+        detail: `options do not decode as TypeScript resolver options — ${String(issue)}`,
+      }),
+  );

package/src/resolver.ts

@@ -0,0 +1,140 @@
+import * as path from "node:path";
+
+import {
+  ImportUnresolved,
+  type ModuleResolver,
+  type ResolveConfig,
+  type ResolvedTarget,
+  type ResolveScope,
+  ScopeInvalid,
+} from "@goodbones/core";
+import * as Result from "effect/Result";
+import { ResolverFactory } from "unrs-resolver";
+
+import { npmPackageOf } from "./npm-package.js";
+import { decodeTypescriptScopeOptions, type TypescriptScopeOptions } from "./options.js";
+
+// `.js` in a NodeNext import specifier points at a `.ts` on disk. Without this,
+// every relative import in the repo resolves to nothing and every path rule about
+// it goes silently vacuous — the failure this package exists to make impossible.
+const EXTENSION_ALIAS = {
+  ".js": [".ts", ".tsx", ".js"],
+  ".mjs": [".mts", ".mjs"],
+  ".cjs": [".cts", ".cjs"],
+};
+
+const DEFAULT_EXTENSIONS = [".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs", ".json"];
+const DEFAULT_CONDITION_NAMES = ["import", "require", "node", "default"];
+const DEFAULT_MAIN_FIELDS = ["main", "types"];
+
+export const TYPESCRIPT = "typescript";
+
+const toPosix = (value: string): string => value.replaceAll(path.sep, "/");
+
+// A file under `node_modules/` is a third-party package, and the policy speaks
+// about it by the package's name rather than by where pnpm or npm put it.
+const toResolvedTarget = (repoRoot: string, absolutePath: string): ResolvedTarget => {
+  const relative = toPosix(path.relative(repoRoot, absolutePath));
+  const pkg = npmPackageOf(relative);
+  return pkg === undefined
+    ? { path: relative, kind: "local" }
+    : { path: relative, kind: "external", package: pkg };
+};
+
+type Scope = {
+  readonly matches: RegExp;
+  readonly factory: ResolverFactory;
+};
+
+const factoryOf = (repoRoot: string, options: TypescriptScopeOptions): ResolverFactory =>
+  new ResolverFactory({
+    tsconfig: { configFile: path.resolve(repoRoot, options.tsconfig) },
+    extensions: [...(options.extensions ?? DEFAULT_EXTENSIONS)],
+    extensionAlias: EXTENSION_ALIAS,
+    conditionNames: [...(options.conditionNames ?? DEFAULT_CONDITION_NAMES)],
+    mainFields: [...(options.mainFields ?? DEFAULT_MAIN_FIELDS)],
+    builtinModules: true,
+  });
+
+// Every scope here is TypeScript's: this resolver is the one the TypeScript pack
+// hands out, and a scope naming another language is one it cannot serve.
+const scopeOf = (repoRoot: string, scope: ResolveScope): Result.Result<Scope, ScopeInvalid> => {
+  if (scope.language !== TYPESCRIPT) {
+    return Result.fail(
+      new ScopeInvalid({
+        files: scope.files,
+        language: scope.language,
+        detail: `the TypeScript resolver cannot serve a "${scope.language}" scope`,
+      }),
+    );
+  }
+  return Result.map(decodeTypescriptScopeOptions(scope), (options) => ({
+    matches: new RegExp(scope.files),
+    factory: factoryOf(repoRoot, options),
+  }));
+};
+
+export const makeModuleResolverLive = (
+  repoRoot: string,
+  config: ResolveConfig,
+): Result.Result<ModuleResolver, ScopeInvalid> => {
+  const scopes: Array<Scope> = [];
+  for (const entry of config.scopes) {
+    const scope = scopeOf(repoRoot, entry);
+    if (Result.isFailure(scope)) return Result.fail(scope.failure);
+    scopes.push(scope.success);
+  }
+
+  const cache = new Map<string, Result.Result<ResolvedTarget, ImportUnresolved>>();
+
+  const resolveUncached = (
+    scope: Scope,
+    fromDirectory: string,
+    fromFile: string,
+    specifier: string,
+  ): Result.Result<ResolvedTarget, ImportUnresolved> => {
+    const resolved = scope.factory.sync(fromDirectory, specifier);
+
+    const builtin = resolved.builtin;
+    if (builtin !== undefined) {
+      return Result.succeed({ path: builtin.resolved, kind: "builtin" });
+    }
+
+    const resolvedPath = resolved.path;
+    if (resolvedPath === undefined) {
+      return Result.fail(
+        new ImportUnresolved({
+          fromFile,
+          specifier,
+          detail: resolved.error ?? "unknown resolution failure",
+        }),
+      );
+    }
+
+    return Result.succeed(toResolvedTarget(repoRoot, resolvedPath));
+  };
+
+  return Result.succeed({
+    resolve: (fromFile, specifier) => {
+      const scope = scopes.find((candidate) => candidate.matches.test(fromFile));
+      if (scope === undefined) {
+        return Result.fail(
+          new ImportUnresolved({
+            fromFile,
+            specifier,
+            detail: "no resolve scope in the architecture config matches this file",
+          }),
+        );
+      }
+
+      const fromDirectory = path.resolve(repoRoot, path.dirname(fromFile));
+      const key = `${scope.matches.source} ${fromDirectory} ${specifier}`;
+      const cached = cache.get(key);
+      if (cached !== undefined) return cached;
+
+      const outcome = resolveUncached(scope, fromDirectory, fromFile, specifier);
+      cache.set(key, outcome);
+      return outcome;
+    },
+  });
+};