@alint-js/core 0.4.0 → 0.5.0

package/README.md

@@ -10,7 +10,7 @@ This package provides the core SDK and run engine APIs used by plugins, rules, l
 - `runAlint`
 - rule registry and flat config normalization
 - source runtime helpers
-- built-in JavaScript source extraction
+- built-in JavaScript source extraction, with additional language support for others
 - model resolution by size and capability
 - diagnostics and progress payload types
 - framework-neutral agent contracts under `@alint-js/core/agent`
@@ -105,6 +105,60 @@ description defaults to the schema's valibot `description(...)`. `toolParameters
 that build their own tools or prompts. Use `ctx.agent` instead when the model needs to
 explore with tools before answering, because a forced tool call is a single shot, not a loop.
 
+### Languages
+
+Core parses JavaScript and TypeScript. Everything else is registered by a plugin, so a rule says
+which languages it can read and core decides what to hand it:
+
+```ts
+defineRule({
+  create: () => ({ onTargetFunction: (target) => { /* ... */ } }),
+  languages: 'any',
+})
+```
+
+| `languages` | the rule receives | a named language nothing registered |
+| --- | --- | --- |
+| omitted | file targets only, never functions or classes | not applicable |
+| `'any'` | every language except `plaintext` | never fails |
+| `['go', 'rust']` | those languages only | run fails, `alint/missing-language` |
+| `{ ids: ['go'], skipMissing: true }` | those languages only | skipped quietly |
+
+`'any'` excludes `plaintext` on purpose. Plain text is what a file falls back to when no language
+claims its extension, so a rule that asked for a language would otherwise be handed unparsed text.
+When that happens the run reports `alint/unregistered-language` once per extension — a warning by
+default, configurable through `linterOptions.reportUnregisteredLanguages`.
+
+Declaring a list is the stricter choice. It fails the run when the user has not installed a pack
+that provides one of them, rather than letting the rule match nothing and look like a pass.
+
+A plugin registers a language by describing how to turn a file into targets:
+
+```ts
+definePlugin({
+  languages: {
+    zig: {
+      extensions: ['.zig'],
+      extract: file => [/* SourceTarget[] */],
+      name: 'zig',
+    },
+  },
+})
+```
+
+Ids are the identifiers editors use — `go`, `python`, `typescript`, `plaintext`. Registering fails
+on a duplicate name or extension, so two plugins can never claim the same language.
+
+Put a `FunctionInfo` under `metadata.function` on each function target, and the file's call sites
+under `metadata.calls` on the file target. Those two keys are what let a rule read any language
+without a parser of its own.
+
+`@alint-js/languages` provides Go, Python and Rust this way.
+
+To parse a file the run was not asked to lint, such as when building a workspace-wide index, use
+`ctx.src.extract(path)`. It resolves that file's own config and language, and returns nothing for a
+file the config ignores rather than throwing.
+
 ## When to use
 
 - You are writing an `alint` plugin or rule package.

package/dist/agent.d.mts

@@ -1,4 +1,4 @@
-import { F as AgentTool, I as AgentUsage, M as AgentAdapter, N as AgentRequest, P as AgentResult, b as RuleContext } from "./types-deBCDA4_.mjs";
+import { F as AgentTool, I as AgentUsage, M as AgentAdapter, N as AgentRequest, P as AgentResult, b as RuleContext } from "./types-BK5CADYK.mjs";
 //#region src/agent/retry.d.ts
 /**
  * Declares that the complete adapter invocation can be safely replayed.

package/dist/{define-CJ2QJPZ8.d.mts → define-CNfm3wZW.d.mts}

@@ -1,4 +1,4 @@
-import { E as RuleOptionsSchema, i as AlintConfigItem, p as PluginDefinition, t as AlintConfig, w as RuleOptionsInput, x as RuleDefinition, y as RuleConfigEntry } from "./types-deBCDA4_.mjs";
+import { E as RuleOptionsSchema, i as AlintConfigItem, p as PluginDefinition, t as AlintConfig, w as RuleOptionsInput, x as RuleDefinition, y as RuleConfigEntry } from "./types-BK5CADYK.mjs";
 //#region src/dsl/define.d.ts
 type AnyRuleDefinition = RuleDefinition<any>;
 type ConfigItemWithPluginRules<Plugins, Rules> = Omit<AlintConfigItem, 'plugins' | 'rules'> & {

package/dist/dsl.d.mts

@@ -1,3 +1,3 @@
-import { A as RuleWithHandler, C as RuleInferenceUsageRecord, D as RuleRegistry, E as RuleOptionsSchema, O as RuleSeverity, S as RuleHandlers, T as RuleOptionsOutput, _ as ProjectTargetEntry, a as AlintLinterOptions, b as RuleContext, c as DiagnosticLocation, d as IgnoreConfig, f as LanguageDefinition, g as ProjectTarget, h as ProjectFileEntry, i as AlintConfigItem, j as Target, k as RuleSpecializedHandlers, l as DirectoryTarget, m as ProcessorDefinition, n as AlintConfigExtends, o as Awaitable, p as PluginDefinition, r as AlintConfigInput, s as DiagnosticDescriptor, t as AlintConfig, u as EnabledRule, v as RuleCacheConfig, w as RuleOptionsInput, x as RuleDefinition, y as RuleConfigEntry } from "./types-deBCDA4_.mjs";
-import { n as definePlugin, r as defineRule, t as defineConfig } from "./define-CJ2QJPZ8.mjs";
+import { A as RuleWithHandler, C as RuleInferenceUsageRecord, D as RuleRegistry, E as RuleOptionsSchema, O as RuleSeverity, S as RuleHandlers, T as RuleOptionsOutput, _ as ProjectTargetEntry, a as AlintLinterOptions, b as RuleContext, c as DiagnosticLocation, d as IgnoreConfig, f as LanguageDefinition, g as ProjectTarget, h as ProjectFileEntry, i as AlintConfigItem, j as Target, k as RuleSpecializedHandlers, l as DirectoryTarget, m as ProcessorDefinition, n as AlintConfigExtends, o as Awaitable, p as PluginDefinition, r as AlintConfigInput, s as DiagnosticDescriptor, t as AlintConfig, u as EnabledRule, v as RuleCacheConfig, w as RuleOptionsInput, x as RuleDefinition, y as RuleConfigEntry } from "./types-BK5CADYK.mjs";
+import { n as definePlugin, r as defineRule, t as defineConfig } from "./define-CNfm3wZW.mjs";
 export { type AlintConfig, type AlintConfigExtends, type AlintConfigInput, type AlintConfigItem, type AlintLinterOptions, type Awaitable, type DiagnosticDescriptor, type DiagnosticLocation, type DirectoryTarget, type EnabledRule, type IgnoreConfig, type LanguageDefinition, type PluginDefinition, type ProcessorDefinition, type ProjectFileEntry, type ProjectTarget, type ProjectTargetEntry, type RuleCacheConfig, type RuleConfigEntry, type RuleContext, type RuleDefinition, type RuleHandlers, type RuleInferenceUsageRecord, type RuleOptionsInput, type RuleOptionsOutput, type RuleOptionsSchema, type RuleRegistry, type RuleSeverity, type RuleSpecializedHandlers, type RuleWithHandler, type Target, defineConfig, definePlugin, defineRule };

package/dist/{extract-DoHeLdG1.mjs → extract-CLXRRiJW.mjs}

@@ -173,11 +173,11 @@ function targetIdentity(kind, name, range) {
 /**
 * Swaps a target's positional identity for its name, where that name is unique among these targets.
 *
-* Identities key caches, so a function that only moved should keep the identity it had. Two targets
-* sharing a name cannot be told apart that way, so both keep the positional form.
+* Caches are keyed by identity, so a function that only moved should keep the identity it had. Two
+* targets sharing a name cannot be told apart by name, so those keep the positional form.
 *
-* Run every function and class target through this. Skip it in one producer and the same function
-* ends up with a different identity depending on which language read it.
+* Run every function and class target through this. Miss it in one language and the same function
+* gets a different identity depending on which language read it.
 */
 function withStableIdentities(targets) {
 	const nameCounts = /* @__PURE__ */ new Map();

package/dist/index.d.mts

@@ -1,6 +1,6 @@
-import { A as RuleWithHandler, B as ResolvedProvider, C as RuleInferenceUsageRecord, D as RuleRegistry, G as RunnerStatsConfig, H as ProviderDefinition, K as SetupConfig, L as ModelRequirement, O as RuleSeverity, R as ResolveModelOptions, S as RuleHandlers, U as ProviderType, V as ModelSize, W as RunnerConfig, _ as ProjectTargetEntry, a as AlintLinterOptions, b as RuleContext, c as DiagnosticLocation, d as IgnoreConfig, f as LanguageDefinition, g as ProjectTarget, h as ProjectFileEntry, i as AlintConfigItem, j as Target, k as RuleSpecializedHandlers, l as DirectoryTarget, m as ProcessorDefinition, n as AlintConfigExtends, o as Awaitable, p as PluginDefinition, q as SetupModelDefinition, r as AlintConfigInput, s as DiagnosticDescriptor, t as AlintConfig, u as EnabledRule, v as RuleCacheConfig, x as RuleDefinition, y as RuleConfigEntry, z as ResolvedModel } from "./types-deBCDA4_.mjs";
+import { A as RuleWithHandler, B as ResolvedProvider, C as RuleInferenceUsageRecord, D as RuleRegistry, G as RunnerStatsConfig, H as ProviderDefinition, K as SetupConfig, L as ModelRequirement, O as RuleSeverity, R as ResolveModelOptions, S as RuleHandlers, U as ProviderType, V as ModelSize, W as RunnerConfig, _ as ProjectTargetEntry, a as AlintLinterOptions, b as RuleContext, c as DiagnosticLocation, d as IgnoreConfig, f as LanguageDefinition, g as ProjectTarget, h as ProjectFileEntry, i as AlintConfigItem, j as Target, k as RuleSpecializedHandlers, l as DirectoryTarget, m as ProcessorDefinition, n as AlintConfigExtends, o as Awaitable, p as PluginDefinition, q as SetupModelDefinition, r as AlintConfigInput, s as DiagnosticDescriptor, t as AlintConfig, u as EnabledRule, v as RuleCacheConfig, x as RuleDefinition, y as RuleConfigEntry, z as ResolvedModel } from "./types-BK5CADYK.mjs";
 import { C as SourceTarget, D as SourceTargetOrigin, E as SourceTargetOfKind, O as SourceText, S as SourceRuntime, T as SourceTargetMetadata, _ as SourceLocation, a as FunctionInfo, b as SourcePosition, c as LineRange, d as ProcessedSource, f as ProcessedSourceOrigin, g as SourceFile, h as SourceExtractOptions, i as FileTarget, l as PlannedSourceTarget, m as ProcessorPostprocessContext, n as CallSite, o as FunctionTarget, p as ProcessorContext, r as ClassTarget, s as LanguageContext, t as BaseSourceFile, u as PlannedSourceTargetOfKind, v as SourceMetadataObject, w as SourceTargetKind, x as SourceRange, y as SourceMetadataValue } from "./types-DM4idR4w.mjs";
-import { n as definePlugin, r as defineRule, t as defineConfig } from "./define-CJ2QJPZ8.mjs";
+import { n as definePlugin, r as defineRule, t as defineConfig } from "./define-CNfm3wZW.mjs";
 //#region src/config/config-array.d.ts
 interface EffectiveAlintConfig {
   agent?: AlintConfigItem['agent'];
@@ -286,11 +286,11 @@ declare function targetIdentity(kind: SourceTargetKind, name: string | undefined
 /**
  * Swaps a target's positional identity for its name, where that name is unique among these targets.
  *
- * Identities key caches, so a function that only moved should keep the identity it had. Two targets
- * sharing a name cannot be told apart that way, so both keep the positional form.
+ * Caches are keyed by identity, so a function that only moved should keep the identity it had. Two
+ * targets sharing a name cannot be told apart by name, so those keep the positional form.
  *
- * Run every function and class target through this. Skip it in one producer and the same function
- * ends up with a different identity depending on which language read it.
+ * Run every function and class target through this. Miss it in one language and the same function
+ * gets a different identity depending on which language read it.
  */
 declare function withStableIdentities(targets: readonly SourceTarget[]): SourceTarget[];
 //#endregion

package/dist/index.mjs

@@ -1,6 +1,6 @@
 import { o as withAgentRetry, t as combineAbortSignals } from "./agent-B6GG68NX.mjs";
 import { n as definePlugin, r as defineRule, t as defineConfig } from "./define-Da342Fcx.mjs";
-import { a as createSourceFile, c as sliceRange, d as stableHash, i as SourceChangedError, l as withLanguage, n as targetIdentity, o as createSourceRuntime, r as withStableIdentities, s as sliceLines, t as extractJsSourceTargets, u as createStableHasher } from "./extract-DoHeLdG1.mjs";
+import { a as createSourceFile, c as sliceRange, d as stableHash, i as SourceChangedError, l as withLanguage, n as targetIdentity, o as createSourceRuntime, r as withStableIdentities, s as sliceLines, t as extractJsSourceTargets, u as createStableHasher } from "./extract-CLXRRiJW.mjs";
 import { minimatch } from "minimatch";
 import { basename, extname, isAbsolute, relative, resolve } from "pathe";
 import { access, mkdir, open, readFile, rename, rm, writeFile } from "node:fs/promises";
@@ -299,7 +299,10 @@ function resolveLanguage(file, registry, options) {
 function resolveLanguageForPath(filePath, registry, options) {
 	const languageName = options.language ?? options.processedLanguage ?? registry.byExtension.get(extname$1(filePath)) ?? "plaintext";
 	const language = registry.languages.get(languageName);
-	if (!language) throw new Error(`Unknown language "${languageName}".`);
+	if (!language) {
+		const registered = [...registry.languages.keys()].sort().join(", ");
+		throw new Error(`Unknown language "${languageName}". Languages come from plugins, and these are registered: ${registered}.`);
+	}
 	return language;
 }
 //#endregion
@@ -602,7 +605,7 @@ function recordMissingLanguages(into, rules, registry, path) {
 }
 //#endregion
 //#region package.json
-var version = "0.4.0";
+var version = "0.5.0";
 //#endregion
 //#region src/core/cache/types.ts
 const CACHE_MAGIC = "ALINT_CACHE";

package/dist/languages-js.mjs

@@ -1,2 +1,2 @@
-import { t as extractJsSourceTargets } from "./extract-DoHeLdG1.mjs";
+import { t as extractJsSourceTargets } from "./extract-CLXRRiJW.mjs";
 export { extractJsSourceTargets };

package/dist/structured-output.d.mts

@@ -1,4 +1,4 @@
-import { b as RuleContext, z as ResolvedModel } from "./types-deBCDA4_.mjs";
+import { b as RuleContext, z as ResolvedModel } from "./types-BK5CADYK.mjs";
 import { GenericSchema, InferOutput } from "valibot";
 import { JsonSchema } from "@valibot/to-json-schema";
 import { Message } from "@xsai/shared-chat";

package/dist/structured-output.mjs

@@ -152,20 +152,32 @@ function parseStructuredResponse(schema, toolName, response) {
 		retriable: true
 	};
 	const toolResults = response.toolResults.filter((result) => result.toolName === toolName);
-	if (toolResults.length === 0) return {
+	const toolCalls = response.toolCalls.filter((call) => call.toolName === toolName);
+	const matches = toolResults.length + toolCalls.length;
+	if (matches === 0) return {
 		error: `Missing ${toolName} tool result; finishReason=${response.finishReason}`,
 		ok: false,
 		retriable: true
 	};
-	if (toolResults.length > 1) return {
-		error: `Expected one ${toolName} tool result, received ${toolResults.length}`,
+	if (matches > 1) return {
+		error: `Expected one ${toolName} tool result, received ${matches}`,
 		ok: false,
 		retriable: true
 	};
+	let value;
+	try {
+		value = toolResults[0] !== void 0 ? toolResults[0].result : JSON.parse(toolCalls[0].args);
+	} catch (error) {
+		return {
+			error: `Tool call failed before validation: ${errorMessageFrom(error) ?? String(error)}`,
+			ok: false,
+			retriable: true
+		};
+	}
 	try {
 		return {
 			ok: true,
-			value: parse(schema, toolResults[0].result)
+			value: parse(schema, value)
 		};
 	} catch (error) {
 		return {

package/dist/{types-deBCDA4_.d.mts → types-BK5CADYK.d.mts}

@@ -263,8 +263,10 @@ interface RuleInferenceUsageRecord {
   totalTokens?: number;
 }
 /**
- * - `'any'` — every registered language, and never a failure. A rule that works from `FunctionInfo`
- *   alone wants this: a language pack the user installs later is covered without a new release.
+ * - `'any'` — every language except `plaintext`, and never a failure. Plain text is what a file
+ *   falls back to when no language claims it, so a rule asking for any language is asking for a
+ *   real one. Rules that work from `FunctionInfo` alone want this: install another language pack
+ *   and they cover it too, unchanged.
  * - A list of language ids — `LanguageDefinition.name` values such as `go` or `typescript`, never
  *   file extensions. The rule handles exactly these. Files of other languages are skipped
  *   rather than failed, so one plugin can carry rules for several languages behind one `files:`

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@alint-js/core",
   "type": "module",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "exports": {
     ".": {
       "types": "./dist/index.d.mts",
@@ -31,10 +31,10 @@
   "dependencies": {
     "@moeru/std": "^0.1.0-beta.20",
     "@valibot/to-json-schema": "^1.7.1",
-    "@xsai/generate-text": "^0.5.0-beta.7",
-    "@xsai/shared-chat": "^0.5.0-beta.7",
-    "@xsai/stream-text": "^0.5.0-beta.7",
-    "@xsai/tool": "^0.5.0-beta.7",
+    "@xsai/generate-text": "^0.5.0-beta.8",
+    "@xsai/shared-chat": "^0.5.0-beta.8",
+    "@xsai/stream-text": "^0.5.0-beta.8",
+    "@xsai/tool": "^0.5.0-beta.8",
     "es-toolkit": "^1.50.0",
     "minimatch": "^10.2.6",
     "oxc-parser": "^0.142.0",