@r_masseater/msch 0.5.1 → 0.6.0

package/dist/oxlint.mjs

@@ -1,4 +1,4 @@
-import { n as ProblemList, r as describeFinding, t as JSON_FLAG } from "./cli-contract-CkYucdU4.mjs";
+import { n as ProblemList, r as describeFinding, t as JSON_FLAG } from "./cli-contract-DpQurUwC.mjs";
 import { Array, Option, Schema, pipe } from "effect";
 import { execFileSync } from "node:child_process";
 import { fileURLToPath } from "node:url";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@r_masseater/msch",
-  "version": "0.5.1",
+  "version": "0.6.0",
   "description": "masseater's check policy: points every finite value set and object shape at its one owner, and ships the oxlint preset of plugins and rules.",
   "keywords": [
     "lint",
@@ -49,29 +49,32 @@
     "provenance": true
   },
   "dependencies": {
-    "@effect/platform-node": "4.1.2",
     "@effect/platform-node-shared": "4.1.2",
-    "@effect/tsgo": "0.67.5",
     "@html-eslint/eslint-plugin-react": "0.68.0",
     "@r_masseater/oxlint-plugin-decision": "0.4.0",
     "@r_masseater/oxlint-typed-rules": "0.3.0",
     "@shadcn/lint": "0.2.5",
-    "effect": "4.1.2",
     "eslint-plugin-baseline-js": "0.7.7",
     "eslint-plugin-no-comments": "1.2.1",
     "eslint-plugin-react-hooks": "7.1.1",
-    "oxlint-plugin-eslint": "1.92.0",
-    "typescript": "7.1.0-beta",
+    "oxlint-plugin-eslint": "1.93.0",
     "yaml": "2.9.1"
   },
   "devDependencies": {
+    "@effect/platform-node": "4.1.2",
+    "@effect/tsgo": "0.67.5",
     "@effect/vitest": "4.1.2",
     "@r_masseater/vitest-otlp": "0.2.0",
     "@types/node": "26.6.6",
-    "vite": "npm:@voidzero-dev/vite-plus-core@1.5.0",
-    "vite-plus": "1.5.0"
+    "effect": "4.1.2",
+    "typescript": "7.1.0-beta",
+    "vite": "npm:@voidzero-dev/vite-plus-core@1.5.1",
+    "vite-plus": "1.5.1"
   },
   "peerDependencies": {
+    "@effect/tsgo": ">=0.67.5",
+    "effect": "^4.1.2",
+    "typescript": ">=7.1.0-beta",
     "vite": "*",
     "vite-plus": ">=1.5.0"
   },

package/src/vite.d.ts

@@ -1,5 +1,11 @@
+type InstallSize = `${number} ${"B" | "kB" | "MB"}`;
+
+interface PublishSettings {
+  readonly installSize: InstallSize;
+}
+
 interface MschConfig {
-  readonly publish?: boolean;
+  readonly publish?: PublishSettings;
 }
 
 declare module "vite" {
@@ -8,4 +14,4 @@ declare module "vite" {
   }
 }
 
-export type { MschConfig };
+export type { InstallSize, MschConfig, PublishSettings };

package/dist/cli-contract-CkYucdU4.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"cli-contract-CkYucdU4.mjs","names":["Str","Arr","nodeServicesLayer","Rec","Arr","Str","Arr","Str","Arr"],"sources":["../src/repository-files.ts","../src/dependencies.ts","../src/syntax.ts","../src/problem.ts","../src/cli-contract.ts"],"sourcesContent":["import { layer as nodeServicesLayer } from \"@effect/platform-node/NodeServices\";\nimport {\n  Array as Arr,\n  Context,\n  Effect,\n  FileSystem,\n  Layer,\n  Path,\n  Stream,\n  String as Str,\n  pipe,\n} from \"effect\";\nimport type { Option } from \"effect\";\nimport { ChildProcess, ChildProcessSpawner } from \"effect/process\";\n\nconst GENERATED_PATHSPEC = \":(attr:linguist-generated)\";\nconst LISTED_ARGS = [\"--cached\", \"--others\", \"--exclude-standard\"];\n\nclass RepositoryFiles extends Context.Service<\n  RepositoryFiles,\n  {\n    readonly readFile: (file: string) => Effect.Effect<Option.Option<string>>;\n    readonly exists: (file: string) => Effect.Effect<boolean>;\n    readonly realPath: (file: string) => Effect.Effect<string>;\n    readonly readDirectory: (directory: string) => Effect.Effect<readonly string[]>;\n    readonly generatedFiles: (root: string) => Effect.Effect<readonly string[]>;\n    readonly listedFiles: (root: string) => Effect.Effect<readonly string[]>;\n    readonly isDirectory: (file: string) => Effect.Effect<Option.Option<boolean>>;\n    readonly join: (...segments: readonly string[]) => string;\n    readonly resolve: (...segments: readonly string[]) => string;\n    readonly relative: (from: string, to: string) => string;\n    readonly dirname: (file: string) => string;\n    readonly basename: (file: string) => string;\n  }\n>()(\"@r_masseater/msch/repository-files/RepositoryFiles\") {}\n\nconst nodeRepositoryFiles = Layer.effect(\n  RepositoryFiles,\n  Effect.gen(function* nodeRepositoryFiles() {\n    const fs = yield* FileSystem.FileSystem;\n    const path = yield* Path.Path;\n    const spawner = yield* ChildProcessSpawner.ChildProcessSpawner;\n    const gitFiles = (root: string, args: readonly string[]): Effect.Effect<readonly string[]> =>\n      Effect.gen(function* listFiles() {\n        const handle = yield* ChildProcess.make(\"git\", [\"ls-files\", \"-z\", ...args], {\n          cwd: root,\n          stdin: \"ignore\",\n        });\n        const listed = yield* handle.stdout.pipe(Stream.decodeText(), Stream.mkString);\n        return pipe(Str.split(listed, \"\\0\"), Arr.filter(Str.isNonEmpty));\n      }).pipe(\n        Effect.scoped,\n        Effect.provideService(ChildProcessSpawner.ChildProcessSpawner, spawner),\n        Effect.orElseSucceed((): readonly string[] => []),\n      );\n    return RepositoryFiles.of({\n      generatedFiles: (root) =>\n        gitFiles(root, [\"--\", GENERATED_PATHSPEC]).pipe(\n          Effect.map(Arr.map((file) => path.join(root, file))),\n        ),\n      listedFiles: (root) => gitFiles(root, LISTED_ARGS),\n      readFile: (file) => fs.readFileString(file).pipe(Effect.option),\n      exists: (file) => fs.exists(file).pipe(Effect.orElseSucceed(() => false)),\n      realPath: (file) => fs.realPath(file).pipe(Effect.orElseSucceed(() => file)),\n      readDirectory: (directory) =>\n        fs.readDirectory(directory).pipe(Effect.orElseSucceed((): readonly string[] => [])),\n      isDirectory: (file) =>\n        fs.stat(file).pipe(\n          Effect.map((info) => info.type === \"Directory\"),\n          Effect.option,\n        ),\n      join: (...segments) => path.join(...segments),\n      resolve: (...segments) => path.resolve(...segments),\n      relative: (from, to) => path.relative(from, to),\n      dirname: (file) => path.dirname(file),\n      basename: (file) => path.basename(file),\n    });\n  }),\n).pipe(Layer.provide(nodeServicesLayer));\n\nexport { RepositoryFiles, nodeRepositoryFiles };\n","import {\n  Array as Arr,\n  Effect,\n  Option,\n  Order,\n  Predicate,\n  Schema,\n  String as Str,\n  Record as Rec,\n  pipe,\n} from \"effect\";\n\nimport { RepositoryFiles } from \"./repository-files.ts\";\n\ninterface DependencyEntry {\n  readonly packageName: string;\n  readonly specifier: string;\n  readonly declarationsPath: string;\n}\n\nconst DependencyMap = Schema.optional(Schema.Record(Schema.String, Schema.String));\n\nconst PackageManifest = Schema.Struct({\n  name: Schema.optional(Schema.String),\n  dependencies: DependencyMap,\n  devDependencies: DependencyMap,\n  peerDependencies: DependencyMap,\n  exports: Schema.optional(Schema.Unknown),\n  types: Schema.optional(Schema.String),\n  typings: Schema.optional(Schema.String),\n  main: Schema.optional(Schema.String),\n});\n\ntype Manifest = typeof PackageManifest.Type;\n\nconst MANIFEST_FILE = \"package.json\";\nconst NODE_MODULES = \"node_modules\";\nconst WORKSPACE_PROTOCOL = \"workspace:\";\nconst ROOT_SUBPATH = \".\";\nconst SUBPATH_PREFIX = \"./\";\nconst WILDCARD = \"*\";\nconst TYPES_CONDITION = \"types\";\nconst TYPES_SCOPE = \"@types/\";\nconst TYPES_SCOPE_SEPARATOR = \"__\";\nconst CONDITION_DEPTH_LIMIT = 8;\nconst ROOT_DEPTH = 0;\nconst DEPTH_STEP = 1;\nconst DECLARATIONS_SUFFIX = /\\.d\\.[cm]?ts$|\\.[cm]?tsx?$/u;\nconst SCRIPT_SUFFIX = /\\.(?<module>[cm]?)js$/u;\n\nconst readManifest = Effect.fn(\"readManifest\")(function* readManifest(directory: string) {\n  const files = yield* RepositoryFiles;\n  const manifestText = yield* files.readFile(files.join(directory, MANIFEST_FILE));\n  const text = yield* Effect.fromOption(manifestText);\n  return yield* Schema.decodeEffect(Schema.fromJsonString(PackageManifest))(text);\n}, Effect.option);\n\nconst conditionsOf = (held: unknown): readonly (readonly [string, unknown])[] => {\n  if (!Predicate.isObject(held)) {\n    return [];\n  }\n  return Rec.toEntries(held);\n};\n\nconst typesConditionIn = (held: unknown, depth: number): Option.Option<string> => {\n  if (depth > CONDITION_DEPTH_LIMIT) {\n    return Option.none();\n  }\n  const entries = conditionsOf(held);\n  const declared = Arr.findFirst(entries, ([condition, target]) =>\n    Option.liftPredicate(\n      target,\n      (candidate) => condition === TYPES_CONDITION && Predicate.isString(candidate),\n    ),\n  ).pipe(Option.filter(Predicate.isString));\n  return Option.orElse(declared, () =>\n    Arr.findFirst(entries, ([, nested]) => typesConditionIn(nested, depth + DEPTH_STEP)),\n  );\n};\n\nconst anyConditionIn = (held: unknown, depth: number): Option.Option<string> => {\n  if (Predicate.isString(held)) {\n    return Option.some(held);\n  }\n  if (depth > CONDITION_DEPTH_LIMIT) {\n    return Option.none();\n  }\n  return Arr.findFirst(conditionsOf(held), ([, nested]) =>\n    anyConditionIn(nested, depth + DEPTH_STEP),\n  );\n};\n\nconst targetPathsOf = (target: unknown): readonly string[] =>\n  Arr.getSomes([typesConditionIn(target, ROOT_DEPTH), anyConditionIn(target, ROOT_DEPTH)]);\n\ninterface SubpathTarget {\n  readonly subpath: string;\n  readonly target: unknown;\n}\n\nconst subpathTargetsOf = (exportsField: unknown): readonly SubpathTarget[] => {\n  if (Predicate.isString(exportsField)) {\n    return [{ subpath: ROOT_SUBPATH, target: exportsField }];\n  }\n  const entries = conditionsOf(exportsField);\n  if (\n    !pipe(\n      entries,\n      Arr.some(([subpath]) => Str.startsWith(ROOT_SUBPATH)(subpath)),\n    )\n  ) {\n    return Arr.match(entries, {\n      onEmpty: () => [],\n      onNonEmpty: () => [{ subpath: ROOT_SUBPATH, target: exportsField }],\n    });\n  }\n  return pipe(\n    entries,\n    Arr.filter(([subpath]) => subpath === ROOT_SUBPATH || Str.startsWith(SUBPATH_PREFIX)(subpath)),\n    Arr.filter(([subpath]) => !Str.includes(WILDCARD)(subpath)),\n    Arr.map(([subpath, target]) => ({ subpath, target })),\n  );\n};\n\nconst declarationsCandidateFor = (entryPath: string): Option.Option<string> => {\n  if (DECLARATIONS_SUFFIX.test(entryPath)) {\n    return Option.some(entryPath);\n  }\n  if (!SCRIPT_SUFFIX.test(entryPath)) {\n    return Option.none();\n  }\n  return Option.some(Str.replace(SCRIPT_SUFFIX, \".d.$<module>ts\")(entryPath));\n};\n\nconst firstDeclarationsAmong = Effect.fn(\"firstDeclarationsAmong\")(function* firstDeclarations(\n  directory: string,\n  entryPaths: readonly string[],\n) {\n  const files = yield* RepositoryFiles;\n  const candidates = Arr.getSomes(\n    pipe(\n      entryPaths,\n      Arr.map((entryPath) => declarationsCandidateFor(entryPath)),\n    ),\n  );\n  const existing = yield* Effect.filter(\n    pipe(\n      candidates,\n      Arr.map((candidate) => files.join(directory, candidate)),\n    ),\n    (candidate) => files.exists(candidate),\n  );\n  return yield* Option.match(Arr.head(existing), {\n    onNone: (): Effect.Effect<Option.Option<string>> => Effect.succeedNone,\n    onSome: (candidate) => files.realPath(candidate).pipe(Effect.asSome),\n  });\n});\n\nconst importNameOf = (packageName: string): string => {\n  if (!Str.startsWith(TYPES_SCOPE)(packageName)) {\n    return packageName;\n  }\n  const unscoped = Str.slice(TYPES_SCOPE.length)(packageName);\n  if (!Str.includes(TYPES_SCOPE_SEPARATOR)(unscoped)) {\n    return unscoped;\n  }\n  return `@${Str.replace(TYPES_SCOPE_SEPARATOR, \"/\")(unscoped)}`;\n};\n\nconst specifierFor = (packageName: string, subpath: string): string => {\n  const importName = importNameOf(packageName);\n  if (subpath === ROOT_SUBPATH) {\n    return importName;\n  }\n  return `${importName}/${Str.slice(SUBPATH_PREFIX.length)(subpath)}`;\n};\n\nconst rootEntryPaths = (manifest: Manifest): readonly string[] =>\n  Arr.getSomes([\n    Option.fromUndefinedOr(manifest.types),\n    Option.fromUndefinedOr(manifest.typings),\n    Option.fromUndefinedOr(manifest.main),\n  ]);\n\nconst subpathEntriesOf = Effect.fn(\"subpathEntriesOf\")(function* subpathEntriesOf(\n  packageName: string,\n  directory: string,\n  manifest: Manifest,\n) {\n  const found = yield* Effect.forEach(subpathTargetsOf(manifest.exports), ({ subpath, target }) =>\n    firstDeclarationsAmong(directory, targetPathsOf(target)).pipe(\n      Effect.map(\n        Option.map((declarationsPath) => ({\n          packageName,\n          specifier: specifierFor(packageName, subpath),\n          declarationsPath,\n        })),\n      ),\n    ),\n  );\n  return Arr.getSomes(found);\n});\n\nconst entriesOfDependency = Effect.fn(\"entriesOfDependency\")(function* entriesOfDependency(\n  packageName: string,\n  directory: string,\n) {\n  const manifest = yield* readManifest(directory);\n  if (Option.isNone(manifest)) {\n    return [];\n  }\n  const subpathEntries = yield* subpathEntriesOf(packageName, directory, manifest.value);\n  const rootSpecifier = specifierFor(packageName, ROOT_SUBPATH);\n  if (\n    pipe(\n      subpathEntries,\n      Arr.some((entry) => entry.specifier === rootSpecifier),\n    )\n  ) {\n    return subpathEntries;\n  }\n  const rootDeclarations = yield* firstDeclarationsAmong(directory, rootEntryPaths(manifest.value));\n  const rootEntries = rootDeclarations.pipe(\n    Option.map((declarationsPath) => ({ packageName, specifier: rootSpecifier, declarationsPath })),\n    Option.toArray,\n  );\n  return [...rootEntries, ...subpathEntries];\n});\n\nconst declaredDependencies = (manifest: Manifest): readonly string[] =>\n  pipe(\n    Rec.toEntries({\n      ...manifest.dependencies,\n      ...manifest.devDependencies,\n      ...manifest.peerDependencies,\n    }),\n    Arr.filter(([, range]) => !Str.startsWith(WORKSPACE_PROTOCOL)(range)),\n    Arr.map(([packageName]) => packageName),\n  );\n\nconst workspaceDependencies = (manifest: Manifest): readonly string[] =>\n  pipe(\n    Rec.toEntries({ ...manifest.dependencies, ...manifest.devDependencies }),\n    Arr.filter(([, range]) => Str.startsWith(WORKSPACE_PROTOCOL)(range)),\n    Arr.map(([packageName]) => packageName),\n  );\n\nconst entryOrder = Order.mapInput(Order.String, (entry: DependencyEntry) => entry.specifier);\n\nconst dependencyEntries = Effect.fn(\"dependencyEntries\")(function* dependencyEntries(\n  packageDirectory: string,\n) {\n  const files = yield* RepositoryFiles;\n  const manifest = yield* readManifest(packageDirectory);\n  if (Option.isNone(manifest)) {\n    return [];\n  }\n  const entries = yield* Effect.forEach(declaredDependencies(manifest.value), (packageName) =>\n    entriesOfDependency(packageName, files.join(packageDirectory, NODE_MODULES, packageName)),\n  );\n  return Arr.sort(\n    Arr.dedupeWith(entries.flat(), (left, right) => left.specifier === right.specifier),\n    entryOrder,\n  );\n});\n\nexport { MANIFEST_FILE, NODE_MODULES, dependencyEntries, readManifest, workspaceDependencies };\nexport type { DependencyEntry, Manifest };\n","import { Array as Arr, Option, String as Str, pipe } from \"effect\";\n\nimport {\n  isEnumDeclaration,\n  isExportDeclaration,\n  isIdentifier,\n  isImportDeclaration,\n  isInterfaceDeclaration,\n  isStringLiteral,\n  isTypeAliasDeclaration,\n  SyntaxKind,\n} from \"./compiler.ts\";\nimport type {\n  Checker,\n  Declaration,\n  EnumDeclaration,\n  InterfaceDeclaration,\n  Node,\n  Program,\n  SourceFile,\n  TypeSymbol,\n  Type,\n  TypeAliasDeclaration,\n} from \"./compiler.ts\";\nimport { NODE_MODULES } from \"./dependencies.ts\";\n\nconst NODE_MODULES_SEGMENT = `/${NODE_MODULES}/`;\n\nconst POSITION_BASE = 1;\n\nconst uniqueByReference = <Item>(items: readonly Item[]): readonly Item[] =>\n  Arr.dedupeWith(items, (left, right) => left === right);\n\nconst childrenOf = (node: Node): readonly Node[] => {\n  const children: Node[] = [];\n  node.forEachChild((child) => {\n    children.push(child);\n  });\n  return children;\n};\n\nconst descendantsOf = (node: Node): readonly Node[] =>\n  pipe(\n    childrenOf(node),\n    Arr.flatMap((child) => Arr.prepend(descendantsOf(child), child)),\n  );\n\nconst isExternalFile =\n  (program: Program) =>\n  (sourceFile: SourceFile): boolean =>\n    Str.includes(NODE_MODULES_SEGMENT)(sourceFile.fileName) ||\n    program.isSourceFileFromExternalLibrary(sourceFile);\n\nconst isExternalDeclaration =\n  (program: Program) =>\n  (declaration: Node): boolean =>\n    isExternalFile(program)(declaration.getSourceFile());\n\nconst ALIAS_KINDS: ReadonlySet<SyntaxKind> = new Set([\n  SyntaxKind.ImportSpecifier,\n  SyntaxKind.ImportClause,\n  SyntaxKind.NamespaceImport,\n  SyntaxKind.ExportSpecifier,\n  SyntaxKind.ImportEqualsDeclaration,\n  SyntaxKind.ExportAssignment,\n]);\n\nconst declarationsOf = (symbol: TypeSymbol): readonly Declaration[] =>\n  pipe(\n    symbol.declarations,\n    Arr.flatMap((handle) => Option.toArray(Option.fromUndefinedOr(handle.resolve()))),\n  );\n\nconst isAliasDeclaration = (declaration: Node): boolean => ALIAS_KINDS.has(declaration.kind);\n\nconst resolvedSymbol =\n  (checker: Checker) =>\n  (symbol: TypeSymbol): TypeSymbol => {\n    if (\n      !pipe(\n        declarationsOf(symbol),\n        Arr.some((declaration) => isAliasDeclaration(declaration)),\n      )\n    ) {\n      return symbol;\n    }\n    return checker.getAliasedSymbol(symbol);\n  };\n\nconst symbolAt =\n  (checker: Checker) =>\n  (node: Node): Option.Option<TypeSymbol> =>\n    Option.fromUndefinedOr(checker.getSymbolAtLocation(node)).pipe(\n      Option.map(resolvedSymbol(checker)),\n    );\n\nconst referencedSymbols =\n  (checker: Checker) =>\n  (node: Node): readonly TypeSymbol[] => {\n    const identifiers = pipe(\n      Arr.prepend(descendantsOf(node), node),\n      Arr.filter((candidate) => isIdentifier(candidate)),\n    );\n    const symbols = pipe(\n      checker.getSymbolAtLocation(identifiers),\n      Arr.flatMap((symbol) => Option.toArray(Option.fromUndefinedOr(symbol))),\n      Arr.map(resolvedSymbol(checker)),\n    );\n    return uniqueByReference(symbols);\n  };\n\nconst lineOf = (node: Node): number => {\n  const sourceFile = node.getSourceFile();\n  return sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile)).line + POSITION_BASE;\n};\n\nconst columnOf = (node: Node): number => {\n  const sourceFile = node.getSourceFile();\n  return (\n    sourceFile.getLineAndCharacterOfPosition(node.getStart(sourceFile)).character + POSITION_BASE\n  );\n};\n\nconst contains =\n  (outer: Node) =>\n  (inner: Node): boolean =>\n    outer.getSourceFile().fileName === inner.getSourceFile().fileName &&\n    outer.getStart() <= inner.getStart() &&\n    inner.getEnd() <= outer.getEnd();\n\nconst isTypeDeclaration = (\n  declaration: Node,\n): declaration is TypeAliasDeclaration | InterfaceDeclaration | EnumDeclaration =>\n  isTypeAliasDeclaration(declaration) ||\n  isInterfaceDeclaration(declaration) ||\n  isEnumDeclaration(declaration);\n\nconst isGenericDeclaration = (declaration: Node): boolean =>\n  (isTypeAliasDeclaration(declaration) || isInterfaceDeclaration(declaration)) &&\n  Arr.isReadonlyArrayNonEmpty(declaration.typeParameters ?? []);\n\nconst propertyNamesOf =\n  (checker: Checker) =>\n  (type: Type): readonly string[] =>\n    pipe(\n      checker.getPropertiesOfType(type),\n      Arr.map((property) => property.name),\n    );\n\nconst moduleSpecifierOf = (statement: Node): Option.Option<string> => {\n  if (!isImportDeclaration(statement) && !isExportDeclaration(statement)) {\n    return Option.none();\n  }\n  return Option.fromUndefinedOr(statement.moduleSpecifier).pipe(\n    Option.filter((specifier) => isStringLiteral(specifier)),\n    Option.map((specifier) => specifier.text),\n  );\n};\n\nconst importedModulesOf = (sourceFile: SourceFile): readonly string[] =>\n  pipe(\n    sourceFile.statements,\n    Arr.map((statement) => moduleSpecifierOf(statement)),\n    Arr.getSomes,\n  );\n\nexport {\n  NODE_MODULES_SEGMENT,\n  POSITION_BASE,\n  childrenOf,\n  columnOf,\n  contains,\n  declarationsOf,\n  descendantsOf,\n  importedModulesOf,\n  isExternalDeclaration,\n  isGenericDeclaration,\n  isTypeDeclaration,\n  lineOf,\n  propertyNamesOf,\n  referencedSymbols,\n  resolvedSymbol,\n  symbolAt,\n  uniqueByReference,\n};\n","import { Array as Arr, Order, Schema, pipe } from \"effect\";\n\nimport type { Node } from \"./compiler.ts\";\nimport { columnOf, lineOf } from \"./syntax.ts\";\n\nconst RuleNameSchema = Schema.Literals([\n  \"owner-annotation\",\n  \"duplicate-value-set\",\n  \"owner-value-set\",\n  \"owner-extension\",\n  \"owned-literal\",\n  \"library-value-set\",\n  \"library-shape\",\n  \"unused-override\",\n  \"removable-override\",\n  \"hidden-unicode\",\n  \"python-file\",\n  \"python-command\",\n  \"nested-docs\",\n]);\n\ntype RuleName = typeof RuleNameSchema.Type;\n\nconst ProblemSchema = Schema.Struct({\n  file: Schema.String,\n  line: Schema.Int,\n  column: Schema.Int,\n  rule: RuleNameSchema,\n  message: Schema.String,\n});\n\ntype Problem = typeof ProblemSchema.Type;\n\nconst ProblemList = Schema.Array(ProblemSchema);\n\nconst CANDIDATE_LIMIT = 3;\n\ninterface Finding {\n  readonly rule: RuleName;\n  readonly message: string;\n}\n\nconst problemAt =\n  ({ rule, message }: Finding) =>\n  (node: Node): Problem => ({\n    file: node.getSourceFile().fileName,\n    line: lineOf(node),\n    column: columnOf(node),\n    rule,\n    message,\n  });\n\nconst problemOrder: Order.Order<Problem> = Order.combineAll([\n  Order.mapInput(Order.String, (problem: Problem) => problem.file),\n  Order.mapInput(Order.Number, (problem: Problem) => problem.line),\n  Order.mapInput(Order.Number, (problem: Problem) => problem.column),\n  Order.mapInput(Order.String, (problem: Problem) => problem.rule),\n  Order.mapInput(Order.String, (problem: Problem) => problem.message),\n]);\n\nconst problemKey = (problem: Problem): string =>\n  pipe(\n    [problem.file, String(problem.line), String(problem.column), problem.rule, problem.message],\n    Arr.join(\"\\0\"),\n  );\n\nconst sortProblems = (problems: readonly Problem[]): readonly Problem[] =>\n  Arr.sort(\n    Arr.dedupeWith(problems, (left, right) => problemKey(left) === problemKey(right)),\n    problemOrder,\n  );\n\nconst describeFinding = (problem: Problem): string => `[${problem.rule}] ${problem.message}`;\n\nconst formatProblem =\n  (relative: (file: string) => string) =>\n  (problem: Problem): string =>\n    `${relative(problem.file)}:${String(problem.line)}:${String(problem.column)} ${describeFinding(problem)}`;\n\nexport { CANDIDATE_LIMIT, ProblemList, describeFinding, formatProblem, problemAt, sortProblems };\nexport type { Finding, Problem, RuleName };\n","const JSON_FLAG = \"--json\";\n\nexport { JSON_FLAG };\n"],"mappings":";;;;;;;AAeA,MAAM,qBAAqB;AAC3B,MAAM,cAAc;CAAC;CAAY;CAAY;AAAoB;AAEjE,IAAM,kBAAN,cAA8B,QAAQ,QAgBpC,CAAC,CAAC,oDAAoD,CAAC,CAAC,CAAC;AAE3D,MAAM,sBAAsB,MAAM,OAChC,iBACA,OAAO,IAAI,UAAU,sBAAsB;CACzC,MAAM,KAAK,OAAO,WAAW;CAC7B,MAAM,OAAO,OAAO,KAAK;CACzB,MAAM,UAAU,OAAO,oBAAoB;CAC3C,MAAM,YAAY,MAAc,SAC9B,OAAO,IAAI,UAAU,YAAY;EAK/B,MAAM,SAAS,QAAO,OAJA,aAAa,KAAK,OAAO;GAAC;GAAY;GAAM,GAAG;EAAI,GAAG;GAC1E,KAAK;GACL,OAAO;EACT,CAAC,EAAA,CAC4B,OAAO,KAAK,OAAO,WAAW,GAAG,OAAO,QAAQ;EAC7E,OAAO,KAAKA,SAAI,MAAM,QAAQ,IAAI,GAAGC,MAAI,OAAOD,SAAI,UAAU,CAAC;CACjE,CAAC,CAAC,CAAC,KACD,OAAO,QACP,OAAO,eAAe,oBAAoB,qBAAqB,OAAO,GACtE,OAAO,oBAAuC,CAAC,CAAC,CAClD;CACF,OAAO,gBAAgB,GAAG;EACxB,iBAAiB,SACf,SAAS,MAAM,CAAC,MAAM,kBAAkB,CAAC,CAAC,CAAC,KACzC,OAAO,IAAIC,MAAI,KAAK,SAAS,KAAK,KAAK,MAAM,IAAI,CAAC,CAAC,CACrD;EACF,cAAc,SAAS,SAAS,MAAM,WAAW;EACjD,WAAW,SAAS,GAAG,eAAe,IAAI,CAAC,CAAC,KAAK,OAAO,MAAM;EAC9D,SAAS,SAAS,GAAG,OAAO,IAAI,CAAC,CAAC,KAAK,OAAO,oBAAoB,KAAK,CAAC;EACxE,WAAW,SAAS,GAAG,SAAS,IAAI,CAAC,CAAC,KAAK,OAAO,oBAAoB,IAAI,CAAC;EAC3E,gBAAgB,cACd,GAAG,cAAc,SAAS,CAAC,CAAC,KAAK,OAAO,oBAAuC,CAAC,CAAC,CAAC;EACpF,cAAc,SACZ,GAAG,KAAK,IAAI,CAAC,CAAC,KACZ,OAAO,KAAK,SAAS,KAAK,SAAS,WAAW,GAC9C,OAAO,MACT;EACF,OAAO,GAAG,aAAa,KAAK,KAAK,GAAG,QAAQ;EAC5C,UAAU,GAAG,aAAa,KAAK,QAAQ,GAAG,QAAQ;EAClD,WAAW,MAAM,OAAO,KAAK,SAAS,MAAM,EAAE;EAC9C,UAAU,SAAS,KAAK,QAAQ,IAAI;EACpC,WAAW,SAAS,KAAK,SAAS,IAAI;CACxC,CAAC;AACH,CAAC,CACH,CAAC,CAAC,KAAK,MAAM,QAAQC,KAAiB,CAAC;;AC1DvC,MAAM,gBAAgB,OAAO,SAAS,OAAO,OAAO,OAAO,QAAQ,OAAO,MAAM,CAAC;AAEjF,MAAM,kBAAkB,OAAO,OAAO;CACpC,MAAM,OAAO,SAAS,OAAO,MAAM;CACnC,cAAc;CACd,iBAAiB;CACjB,kBAAkB;CAClB,SAAS,OAAO,SAAS,OAAO,OAAO;CACvC,OAAO,OAAO,SAAS,OAAO,MAAM;CACpC,SAAS,OAAO,SAAS,OAAO,MAAM;CACtC,MAAM,OAAO,SAAS,OAAO,MAAM;AACrC,CAAC;AAID,MAAM,gBAAgB;AACtB,MAAM,eAAe;AACrB,MAAM,qBAAqB;AAC3B,MAAM,eAAe;AACrB,MAAM,iBAAiB;AACvB,MAAM,WAAW;AACjB,MAAM,kBAAkB;AACxB,MAAM,cAAc;AACpB,MAAM,wBAAwB;AAC9B,MAAM,wBAAwB;AAC9B,MAAM,aAAa;AACnB,MAAM,aAAa;AACnB,MAAM,sBAAsB;AAC5B,MAAM,gBAAgB;AAEtB,MAAM,eAAe,OAAO,GAAG,cAAc,CAAC,CAAC,UAAU,aAAa,WAAmB;CACvF,MAAM,QAAQ,OAAO;CACrB,MAAM,eAAe,OAAO,MAAM,SAAS,MAAM,KAAK,WAAW,aAAa,CAAC;CAC/E,MAAM,OAAO,OAAO,OAAO,WAAW,YAAY;CAClD,OAAO,OAAO,OAAO,aAAa,OAAO,eAAe,eAAe,CAAC,CAAC,CAAC,IAAI;AAChF,GAAG,OAAO,MAAM;AAEhB,MAAM,gBAAgB,SAA2D;CAC/E,IAAI,CAAC,UAAU,SAAS,IAAI,GAC1B,OAAO,CAAC;CAEV,OAAOC,OAAI,UAAU,IAAI;AAC3B;AAEA,MAAM,oBAAoB,MAAe,UAAyC;CAChF,IAAI,QAAQ,uBACV,OAAO,OAAO,KAAK;CAErB,MAAM,UAAU,aAAa,IAAI;CACjC,MAAM,WAAWC,MAAI,UAAU,UAAU,CAAC,WAAW,YACnD,OAAO,cACL,SACC,cAAc,cAAc,mBAAmB,UAAU,SAAS,SAAS,CAC9E,CACF,CAAC,CAAC,KAAK,OAAO,OAAO,UAAU,QAAQ,CAAC;CACxC,OAAO,OAAO,OAAO,gBACnBA,MAAI,UAAU,UAAU,GAAG,YAAY,iBAAiB,QAAQ,QAAQ,UAAU,CAAC,CACrF;AACF;AAEA,MAAM,kBAAkB,MAAe,UAAyC;CAC9E,IAAI,UAAU,SAAS,IAAI,GACzB,OAAO,OAAO,KAAK,IAAI;CAEzB,IAAI,QAAQ,uBACV,OAAO,OAAO,KAAK;CAErB,OAAOA,MAAI,UAAU,aAAa,IAAI,IAAI,GAAG,YAC3C,eAAe,QAAQ,QAAQ,UAAU,CAC3C;AACF;AAEA,MAAM,iBAAiB,WACrBA,MAAI,SAAS,CAAC,iBAAiB,QAAQ,UAAU,GAAG,eAAe,QAAQ,UAAU,CAAC,CAAC;AAOzF,MAAM,oBAAoB,iBAAoD;CAC5E,IAAI,UAAU,SAAS,YAAY,GACjC,OAAO,CAAC;EAAE,SAAS;EAAc,QAAQ;CAAa,CAAC;CAEzD,MAAM,UAAU,aAAa,YAAY;CACzC,IACE,CAAC,KACC,SACAA,MAAI,MAAM,CAAC,aAAaC,SAAI,WAAW,YAAY,CAAC,CAAC,OAAO,CAAC,CAC/D,GAEA,OAAOD,MAAI,MAAM,SAAS;EACxB,eAAe,CAAC;EAChB,kBAAkB,CAAC;GAAE,SAAS;GAAc,QAAQ;EAAa,CAAC;CACpE,CAAC;CAEH,OAAO,KACL,SACAA,MAAI,QAAQ,CAAC,aAAa,YAAY,gBAAgBC,SAAI,WAAW,cAAc,CAAC,CAAC,OAAO,CAAC,GAC7FD,MAAI,QAAQ,CAAC,aAAa,CAACC,SAAI,SAAS,QAAQ,CAAC,CAAC,OAAO,CAAC,GAC1DD,MAAI,KAAK,CAAC,SAAS,aAAa;EAAE;EAAS;CAAO,EAAE,CACtD;AACF;AAEA,MAAM,4BAA4B,cAA6C;CAC7E,IAAI,oBAAoB,KAAK,SAAS,GACpC,OAAO,OAAO,KAAK,SAAS;CAE9B,IAAI,CAAC,cAAc,KAAK,SAAS,GAC/B,OAAO,OAAO,KAAK;CAErB,OAAO,OAAO,KAAKC,SAAI,QAAQ,eAAe,gBAAgB,CAAC,CAAC,SAAS,CAAC;AAC5E;AAEA,MAAM,yBAAyB,OAAO,GAAG,wBAAwB,CAAC,CAAC,UAAU,kBAC3E,WACA,YACA;CACA,MAAM,QAAQ,OAAO;CACrB,MAAM,aAAaD,MAAI,SACrB,KACE,YACAA,MAAI,KAAK,cAAc,yBAAyB,SAAS,CAAC,CAC5D,CACF;CACA,MAAM,WAAW,OAAO,OAAO,OAC7B,KACE,YACAA,MAAI,KAAK,cAAc,MAAM,KAAK,WAAW,SAAS,CAAC,CACzD,IACC,cAAc,MAAM,OAAO,SAAS,CACvC;CACA,OAAO,OAAO,OAAO,MAAMA,MAAI,KAAK,QAAQ,GAAG;EAC7C,cAAoD,OAAO;EAC3D,SAAS,cAAc,MAAM,SAAS,SAAS,CAAC,CAAC,KAAK,OAAO,MAAM;CACrE,CAAC;AACH,CAAC;AAED,MAAM,gBAAgB,gBAAgC;CACpD,IAAI,CAACC,SAAI,WAAW,WAAW,CAAC,CAAC,WAAW,GAC1C,OAAO;CAET,MAAM,WAAWA,SAAI,MAAM,CAAkB,CAAC,CAAC,WAAW;CAC1D,IAAI,CAACA,SAAI,SAAS,qBAAqB,CAAC,CAAC,QAAQ,GAC/C,OAAO;CAET,OAAO,IAAIA,SAAI,QAAQ,uBAAuB,GAAG,CAAC,CAAC,QAAQ;AAC7D;AAEA,MAAM,gBAAgB,aAAqB,YAA4B;CACrE,MAAM,aAAa,aAAa,WAAW;CAC3C,IAAI,YAAY,cACd,OAAO;CAET,OAAO,GAAG,WAAW,GAAGA,SAAI,MAAM,CAAqB,CAAC,CAAC,OAAO;AAClE;AAEA,MAAM,kBAAkB,aACtBD,MAAI,SAAS;CACX,OAAO,gBAAgB,SAAS,KAAK;CACrC,OAAO,gBAAgB,SAAS,OAAO;CACvC,OAAO,gBAAgB,SAAS,IAAI;AACtC,CAAC;AAEH,MAAM,mBAAmB,OAAO,GAAG,kBAAkB,CAAC,CAAC,UAAU,iBAC/D,aACA,WACA,UACA;CACA,MAAM,QAAQ,OAAO,OAAO,QAAQ,iBAAiB,SAAS,OAAO,IAAI,EAAE,SAAS,aAClF,uBAAuB,WAAW,cAAc,MAAM,CAAC,CAAC,CAAC,KACvD,OAAO,IACL,OAAO,KAAK,sBAAsB;EAChC;EACA,WAAW,aAAa,aAAa,OAAO;EAC5C;CACF,EAAE,CACJ,CACF,CACF;CACA,OAAOA,MAAI,SAAS,KAAK;AAC3B,CAAC;AAED,MAAM,sBAAsB,OAAO,GAAG,qBAAqB,CAAC,CAAC,UAAU,oBACrE,aACA,WACA;CACA,MAAM,WAAW,OAAO,aAAa,SAAS;CAC9C,IAAI,OAAO,OAAO,QAAQ,GACxB,OAAO,CAAC;CAEV,MAAM,iBAAiB,OAAO,iBAAiB,aAAa,WAAW,SAAS,KAAK;CACrF,MAAM,gBAAgB,aAAa,aAAa,YAAY;CAC5D,IACE,KACE,gBACAA,MAAI,MAAM,UAAU,MAAM,cAAc,aAAa,CACvD,GAEA,OAAO;CAOT,OAAO,CAAC,IAJY,OADY,uBAAuB,WAAW,eAAe,SAAS,KAAK,CAAC,EAAA,CAC3D,KACnC,OAAO,KAAK,sBAAsB;EAAE;EAAa,WAAW;EAAe;CAAiB,EAAE,GAC9F,OAAO,OAEY,GAAG,GAAG,cAAc;AAC3C,CAAC;AAED,MAAM,wBAAwB,aAC5B,KACED,OAAI,UAAU;CACZ,GAAG,SAAS;CACZ,GAAG,SAAS;CACZ,GAAG,SAAS;AACd,CAAC,GACDC,MAAI,QAAQ,GAAG,WAAW,CAACC,SAAI,WAAW,kBAAkB,CAAC,CAAC,KAAK,CAAC,GACpED,MAAI,KAAK,CAAC,iBAAiB,WAAW,CACxC;AAEF,MAAM,yBAAyB,aAC7B,KACED,OAAI,UAAU;CAAE,GAAG,SAAS;CAAc,GAAG,SAAS;AAAgB,CAAC,GACvEC,MAAI,QAAQ,GAAG,WAAWC,SAAI,WAAW,kBAAkB,CAAC,CAAC,KAAK,CAAC,GACnED,MAAI,KAAK,CAAC,iBAAiB,WAAW,CACxC;AAEF,MAAM,aAAa,MAAM,SAAS,MAAM,SAAS,UAA2B,MAAM,SAAS;AAE3F,MAAM,oBAAoB,OAAO,GAAG,mBAAmB,CAAC,CAAC,UAAU,kBACjE,kBACA;CACA,MAAM,QAAQ,OAAO;CACrB,MAAM,WAAW,OAAO,aAAa,gBAAgB;CACrD,IAAI,OAAO,OAAO,QAAQ,GACxB,OAAO,CAAC;CAEV,MAAM,UAAU,OAAO,OAAO,QAAQ,qBAAqB,SAAS,KAAK,IAAI,gBAC3E,oBAAoB,aAAa,MAAM,KAAK,kBAAkB,cAAc,WAAW,CAAC,CAC1F;CACA,OAAOA,MAAI,KACTA,MAAI,WAAW,QAAQ,KAAK,IAAI,MAAM,UAAU,KAAK,cAAc,MAAM,SAAS,GAClF,UACF;AACF,CAAC;;AC9OD,MAAM,uBAAuB,IAAI,aAAa;AAI9C,MAAM,qBAA2B,UAC/BE,MAAI,WAAW,QAAQ,MAAM,UAAU,SAAS,KAAK;AAEvD,MAAM,cAAc,SAAgC;CAClD,MAAM,WAAmB,CAAC;CAC1B,KAAK,cAAc,UAAU;EAC3B,SAAS,KAAK,KAAK;CACrB,CAAC;CACD,OAAO;AACT;AAEA,MAAM,iBAAiB,SACrB,KACE,WAAW,IAAI,GACfA,MAAI,SAAS,UAAUA,MAAI,QAAQ,cAAc,KAAK,GAAG,KAAK,CAAC,CACjE;AAEF,MAAM,kBACH,aACA,eACCC,SAAI,SAAS,oBAAoB,CAAC,CAAC,WAAW,QAAQ,KACtD,QAAQ,gCAAgC,UAAU;AAEtD,MAAM,yBACH,aACA,gBACC,eAAe,OAAO,CAAC,CAAC,YAAY,cAAc,CAAC;AAEvD,MAAM,8BAAuC,IAAI,IAAI;CACnD,WAAW;CACX,WAAW;CACX,WAAW;CACX,WAAW;CACX,WAAW;CACX,WAAW;AACb,CAAC;AAED,MAAM,kBAAkB,WACtB,KACE,OAAO,cACPD,MAAI,SAAS,WAAW,OAAO,QAAQ,OAAO,gBAAgB,OAAO,QAAQ,CAAC,CAAC,CAAC,CAClF;AAEF,MAAM,sBAAsB,gBAA+B,YAAY,IAAI,YAAY,IAAI;AAE3F,MAAM,kBACH,aACA,WAAmC;CAClC,IACE,CAAC,KACC,eAAe,MAAM,GACrBA,MAAI,MAAM,gBAAgB,mBAAmB,WAAW,CAAC,CAC3D,GAEA,OAAO;CAET,OAAO,QAAQ,iBAAiB,MAAM;AACxC;AAEF,MAAM,YACH,aACA,SACC,OAAO,gBAAgB,QAAQ,oBAAoB,IAAI,CAAC,CAAC,CAAC,KACxD,OAAO,IAAI,eAAe,OAAO,CAAC,CACpC;AAEJ,MAAM,qBACH,aACA,SAAsC;CACrC,MAAM,cAAc,KAClBA,MAAI,QAAQ,cAAc,IAAI,GAAG,IAAI,GACrCA,MAAI,QAAQ,cAAc,aAAa,SAAS,CAAC,CACnD;CACA,MAAM,UAAU,KACd,QAAQ,oBAAoB,WAAW,GACvCA,MAAI,SAAS,WAAW,OAAO,QAAQ,OAAO,gBAAgB,MAAM,CAAC,CAAC,GACtEA,MAAI,IAAI,eAAe,OAAO,CAAC,CACjC;CACA,OAAO,kBAAkB,OAAO;AAClC;AAEF,MAAM,UAAU,SAAuB;CACrC,MAAM,aAAa,KAAK,cAAc;CACtC,OAAO,WAAW,8BAA8B,KAAK,SAAS,UAAU,CAAC,CAAC,CAAC,OAAA;AAC7E;AAEA,MAAM,YAAY,SAAuB;CACvC,MAAM,aAAa,KAAK,cAAc;CACtC,OACE,WAAW,8BAA8B,KAAK,SAAS,UAAU,CAAC,CAAC,CAAC,YAAA;AAExE;AAEA,MAAM,YACH,WACA,UACC,MAAM,cAAc,CAAC,CAAC,aAAa,MAAM,cAAc,CAAC,CAAC,YACzD,MAAM,SAAS,KAAK,MAAM,SAAS,KACnC,MAAM,OAAO,KAAK,MAAM,OAAO;AAEnC,MAAM,qBACJ,gBAEA,uBAAuB,WAAW,KAClC,uBAAuB,WAAW,KAClC,kBAAkB,WAAW;AAE/B,MAAM,wBAAwB,iBAC3B,uBAAuB,WAAW,KAAK,uBAAuB,WAAW,MAC1EA,MAAI,wBAAwB,YAAY,kBAAkB,CAAC,CAAC;AAE9D,MAAM,mBACH,aACA,SACC,KACE,QAAQ,oBAAoB,IAAI,GAChCA,MAAI,KAAK,aAAa,SAAS,IAAI,CACrC;AAEJ,MAAM,qBAAqB,cAA2C;CACpE,IAAI,CAAC,oBAAoB,SAAS,KAAK,CAAC,oBAAoB,SAAS,GACnE,OAAO,OAAO,KAAK;CAErB,OAAO,OAAO,gBAAgB,UAAU,eAAe,CAAC,CAAC,KACvD,OAAO,QAAQ,cAAc,gBAAgB,SAAS,CAAC,GACvD,OAAO,KAAK,cAAc,UAAU,IAAI,CAC1C;AACF;AAEA,MAAM,qBAAqB,eACzB,KACE,WAAW,YACXA,MAAI,KAAK,cAAc,kBAAkB,SAAS,CAAC,GACnDA,MAAI,QACN;;AC/JF,MAAM,iBAAiB,OAAO,SAAS;CACrC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;AAID,MAAM,gBAAgB,OAAO,OAAO;CAClC,MAAM,OAAO;CACb,MAAM,OAAO;CACb,QAAQ,OAAO;CACf,MAAM;CACN,SAAS,OAAO;AAClB,CAAC;AAID,MAAM,cAAc,OAAO,MAAM,aAAa;AAS9C,MAAM,aACH,EAAE,MAAM,eACR,UAAyB;CACxB,MAAM,KAAK,cAAc,CAAC,CAAC;CAC3B,MAAM,OAAO,IAAI;CACjB,QAAQ,SAAS,IAAI;CACrB;CACA;AACF;AAEF,MAAM,eAAqC,MAAM,WAAW;CAC1D,MAAM,SAAS,MAAM,SAAS,YAAqB,QAAQ,IAAI;CAC/D,MAAM,SAAS,MAAM,SAAS,YAAqB,QAAQ,IAAI;CAC/D,MAAM,SAAS,MAAM,SAAS,YAAqB,QAAQ,MAAM;CACjE,MAAM,SAAS,MAAM,SAAS,YAAqB,QAAQ,IAAI;CAC/D,MAAM,SAAS,MAAM,SAAS,YAAqB,QAAQ,OAAO;AACpE,CAAC;AAED,MAAM,cAAc,YAClB,KACE;CAAC,QAAQ;CAAM,OAAO,QAAQ,IAAI;CAAG,OAAO,QAAQ,MAAM;CAAG,QAAQ;CAAM,QAAQ;AAAO,GAC1FE,MAAI,KAAK,IAAI,CACf;AAEF,MAAM,gBAAgB,aACpBA,MAAI,KACFA,MAAI,WAAW,WAAW,MAAM,UAAU,WAAW,IAAI,MAAM,WAAW,KAAK,CAAC,GAChF,YACF;AAEF,MAAM,mBAAmB,YAA6B,IAAI,QAAQ,KAAK,IAAI,QAAQ;AAEnF,MAAM,iBACH,cACA,YACC,GAAG,SAAS,QAAQ,IAAI,EAAE,GAAG,OAAO,QAAQ,IAAI,EAAE,GAAG,OAAO,QAAQ,MAAM,EAAE,GAAG,gBAAgB,OAAO;;AC7E1G,MAAM,YAAY"}