@nimiplatform/nimi-coding 0.6.3 → 0.6.5

package/CHANGELOG.md

@@ -2,6 +2,15 @@
 
 ## Unreleased
 
+## 0.6.5
+
+- Expanded `code context` from an exact TypeScript 5.9.3 pin to stable project-local TypeScript 5.9.3 through 6.x. Responses and TypeScript library loci report the loaded compiler version; metadata mismatches, prereleases, unsupported major versions, and missing public capabilities still refuse the query.
+- Run the code-context contract suite against TypeScript 5.9.3, 6.0.2, and 6.0.3.
+
+## 0.6.4
+
+- Made experimental `code context` declaration ordering independent of the host locale, using UTF-16 code-unit text order followed by numeric source positions.
+
 ## 0.6.3
 
 - Removed Claude-specific managed entrypoints and path validation. `start`, `sync`, `doctor`, and `clear` now manage only `AGENTS.md` instruction blocks and leave unrelated host files untouched.

package/README.md

@@ -62,7 +62,7 @@ Projects own all product meaning. Nimi Coding admits, locates, relates, and deri
 | Change intelligence | Stable-ID semantic diff, change-derived active-survivor recall, and relation-derived impact obligations | Candidate completeness is scoped to explicit channels; impact accepts no disposition or completion state |
 | Deterministic audit | Project-owned bindings for the graph verifier and exact lexical invariants, with JSON and SARIF 2.1.0 | Exact case-sensitive token/phrase checks only; no synonym, embedding, or natural-language contradiction inference |
 | Git-aware review | Immutable base commit plus exact, race-checked current worktree snapshot composed through compile/diff/impact/audit | Read-only; business semantics and implementation conformance are explicitly `not_evaluated` |
-| TypeScript code context | Root declaration source plus root-direct static bindings, portable declaration loci, and eligible target source slices | Explicit `.ts`/`.tsx` root and tsconfig, TypeScript 5.9.3, outbound only; no locating, inbound impact, runtime dispatch, or task-completeness claim |
+| TypeScript code context | Root declaration source plus root-direct static bindings, portable declaration loci, and eligible target source slices | Explicit `.ts`/`.tsx` root and tsconfig; stable project-local TypeScript 5.9.3 through 6.x; actual compiler version reported; outbound only; no locating, inbound impact, runtime dispatch, or task-completeness claim |
 | Explicit code-authority links | Transient Authority→Code, Code→Authority, and lifecycle audit over optional exact markers in tracked current `.ts`, `.tsx`, `.go`, `.py`, and `.rs` source | Marker location only; no declaration ownership, annotation coverage, implementation conformance, or unannotated legacy detection |
 
 The current Nimi-realm validation corpus contains 33 canonical containers, 2,212 authority units, and 2,159 authored relations. Those figures demonstrate a real large-corpus replay; they are not package limits or a claim that the grammar covers every possible domain.

package/README.zh-CN.md

@@ -62,7 +62,7 @@ AI host · 第三方扩展 · CI · future editor/UI surfaces
 | Change intelligence | Stable-ID semantic diff、change-derived active-survivor recall 和 relation-derived impact obligations | Candidate completeness 只覆盖显式 channels；impact 不接受 disposition 或 completion state |
 | Deterministic audit | Project-owned graph verifier 与 exact lexical invariant bindings，输出 JSON 和 SARIF 2.1.0 | 只做大小写敏感的 exact token/phrase 检查；不做 synonym、embedding 或自然语言矛盾推断 |
 | Git-aware review | Immutable base commit 加 exact、race-checked current worktree snapshot，并复用 compile/diff/impact/audit | 只读；business semantics 与 implementation conformance 固定为 `not_evaluated` |
-| TypeScript code context | Root declaration source、root-direct static bindings、portable declaration loci 和符合条件的 target source slices | 明确的 `.ts`/`.tsx` root 与 tsconfig、TypeScript 5.9.3、仅 outbound；不承诺 locating、inbound impact、runtime dispatch 或 task completeness |
+| TypeScript code context | Root declaration source、root-direct static bindings、portable declaration loci 和符合条件的 target source slices | 明确的 `.ts`/`.tsx` root 与 tsconfig；使用项目本地稳定版 TypeScript 5.9.3 至 6.x，并报告实际编译器版本；仅 outbound；不承诺 locating、inbound impact、runtime dispatch 或 task completeness |
 | 显式 code-authority 链接 | 对 Git tracked 当前 `.ts`、`.tsx`、`.go`、`.py`、`.rs` 源码中的可选 exact marker 提供 transient Authority→Code、Code→Authority 和 lifecycle audit | 只声明 marker location；不声明 declaration ownership、annotation coverage、implementation conformance 或未标注 legacy detection |
 
 当前 Nimi-realm 验证 corpus 包含 33 个 canonical containers、2,212 个 authority units 和 2,159 条 authored relations。这些数字证明了真实大型 corpus replay，不是 package 上限，也不代表 grammar 已覆盖所有领域。

package/cli/constants.mjs

@@ -1,4 +1,4 @@
-export const VERSION = "0.6.3";
+export const VERSION = "0.6.5";
 export const PACKAGE_NAME = "@nimiplatform/nimi-coding";
 export const PROJECT_LOCAL_CLI_INVOCATION = "pnpm exec nimicoding";
 export const LOCAL_GITIGNORE_ENTRIES = [".nimi/local/"];

package/cli/dev/run-suite.mjs

@@ -3,15 +3,20 @@ import path from "node:path";
 import { fileURLToPath } from "node:url";
 
 const repoRoot = path.resolve(path.dirname(fileURLToPath(import.meta.url)), "..", "..");
-const result = spawnSync(process.execPath, ["--test"], {
-  cwd: repoRoot,
-  stdio: "inherit",
-  env: { ...process.env, NIMICODING_LANG: "en", NO_COLOR: "1" },
-});
-
-if (result.error) {
-  process.stderr.write(`node --test failed: ${result.error.message}\n`);
-  process.exit(1);
+const suites = [
+  { compiler: "typescript", args: ["--test"] },
+  { compiler: "typescript-6-0-2", args: ["--test", "test/code-context.test.mjs"] },
+  { compiler: "typescript-6", args: ["--test", "test/code-context.test.mjs"] },
+];
+for (const suite of suites) {
+  const result = spawnSync(process.execPath, suite.args, {
+    cwd: repoRoot,
+    stdio: "inherit",
+    env: { ...process.env, NIMICODING_LANG: "en", NO_COLOR: "1", NIMICODING_TEST_TYPESCRIPT: suite.compiler },
+  });
+  if (result.error) {
+    process.stderr.write(`node --test failed: ${result.error.message}\n`);
+    process.exit(1);
+  }
+  if (result.status !== 0) process.exit(result.status ?? 1);
 }
-
-process.exit(result.status ?? 1);

package/cli/lib/code/context.mjs

@@ -5,8 +5,18 @@ import { createRequire } from "node:module";
 import path from "node:path";
 import { promisify } from "node:util";
 
+import { compareText } from "../authority/diagnostics.mjs";
+
 const execFileAsync = promisify(execFile);
-const TYPESCRIPT_VERSION = "5.9.3";
+const TYPESCRIPT_VERSION_RANGE = ">=5.9.3 <7.0.0 (stable releases only)";
+
+function supportedTypeScriptVersion(version) {
+  if (typeof version !== "string") return false;
+  const parts = /^(0|[1-9][0-9]*)[.](0|[1-9][0-9]*)[.](0|[1-9][0-9]*)$/u.exec(version);
+  if (parts === null) return false;
+  const [major, minor, patch] = parts.slice(1).map(Number);
+  return (major === 5 && (minor > 9 || (minor === 9 && patch >= 3))) || major === 6;
+}
 
 export class CodeContextFailure extends Error {
   constructor(code, message) {
@@ -138,7 +148,7 @@ async function loadProjectTypeScript(repository, tsconfigPath) {
     packagePath = requireFromOwner.resolve("typescript/package.json");
     compiler = requireFromOwner("typescript");
   } catch {
-    fail("CODE_TYPESCRIPT_UNSUPPORTED", "tsconfig owner cannot resolve project-local TypeScript 5.9.3");
+    fail("CODE_TYPESCRIPT_UNSUPPORTED", "tsconfig owner cannot resolve project-local TypeScript");
   }
   let packageManifest;
   try {
@@ -146,8 +156,8 @@ async function loadProjectTypeScript(repository, tsconfigPath) {
   } catch {
     fail("CODE_TYPESCRIPT_UNSUPPORTED", "project-local TypeScript package metadata is unreadable");
   }
-  if (packageManifest.version !== TYPESCRIPT_VERSION || compiler.version !== TYPESCRIPT_VERSION) {
-    fail("CODE_TYPESCRIPT_UNSUPPORTED", "project-local TypeScript version must be exactly 5.9.3");
+  if (packageManifest.version !== compiler.version || !supportedTypeScriptVersion(compiler.version)) {
+    fail("CODE_TYPESCRIPT_UNSUPPORTED", `project-local TypeScript metadata and compiler versions must agree and satisfy ${TYPESCRIPT_VERSION_RANGE}`);
   }
   for (const capability of ["readConfigFile", "parseJsonConfigFileContent", "createProgram", "isIdentifier"]) {
     if (typeof compiler[capability] !== "function") {
@@ -157,7 +167,7 @@ async function loadProjectTypeScript(repository, tsconfigPath) {
   return {
     compiler,
     compilerRoot: await realpath(path.dirname(packagePath)),
-    compilerVersion: TYPESCRIPT_VERSION,
+    compilerVersion: compiler.version,
   };
 }
 
@@ -187,7 +197,7 @@ function sourceFileForPath(compiler, program, sourcePath) {
 
 function createSelectedProgram(compiler, tsconfigPath, sourcePath) {
   const config = compiler.readConfigFile(tsconfigPath, compiler.sys.readFile);
-  if (config.error !== undefined) fail("CODE_CONFIG_INVALID", "tsconfig could not be read with TypeScript 5.9.3");
+  if (config.error !== undefined) fail("CODE_CONFIG_INVALID", "tsconfig could not be read with the project-local TypeScript compiler");
   const parsed = compiler.parseJsonConfigFileContent(
     config.config,
     compiler.sys,
@@ -339,10 +349,10 @@ function portableLocus(compiler, repository, compilerRoot, compilerVersion, node
 }
 
 function compareLoci(left, right) {
-  return left.origin.localeCompare(right.origin)
-    || (left.package?.name ?? "").localeCompare(right.package?.name ?? "")
-    || (left.package?.version ?? "").localeCompare(right.package?.version ?? "")
-    || left.path.localeCompare(right.path)
+  return compareText(left.origin, right.origin)
+    || compareText(left.package?.name ?? "", right.package?.name ?? "")
+    || compareText(left.package?.version ?? "", right.package?.version ?? "")
+    || compareText(left.path, right.path)
     || left.range.start_line - right.range.start_line
     || left.range.start_column - right.range.start_column
     || left.range.end_line - right.range.end_line
@@ -437,7 +447,7 @@ function collectSites(compiler, rootNode) {
   return sites.sort((left, right) => (
     left.node.getStart() - right.node.getStart()
     || left.node.getEnd() - right.node.getEnd()
-    || left.role.localeCompare(right.role)
+    || compareText(left.role, right.role)
   ));
 }
 

package/methodology/core.yaml

@@ -14,7 +14,7 @@ methodology:
       - bounded_explicit_relation_graph_navigation
       - project_bound_deterministic_authority_audit_and_SARIF_projection
       - semantic_diff_and_declared_review_obligations
-      - explicit_TypeScript_5_9_3_root_direct_bounded_code_context
+      - explicit_project_TypeScript_5_9_and_6_root_direct_bounded_code_context
       - transient_exact_physical_code_authority_marker_lookup_and_lifecycle_audit_for_TypeScript_TSX_Go_Python_and_Rust
     does_not_own:
       - project_product_semantics

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nimiplatform/nimi-coding",
-  "version": "0.6.3",
+  "version": "0.6.5",
   "private": false,
   "description": "Canonical authority products and bounded read-only code queries for AI coding systems.",
   "license": "MIT",
@@ -65,5 +65,9 @@
     "check:pack": "npm pack --dry-run",
     "prepack": "node ./cli/dev/check-authority-surface.mjs && node ./cli/dev/check-product-conformance.mjs",
     "test": "node ./cli/dev/run-suite.mjs"
+  },
+  "devDependencies": {
+    "typescript-6": "npm:typescript@6.0.3",
+    "typescript-6-0-2": "npm:typescript@6.0.2"
   }
 }

package/spec/code-context.yaml

@@ -7,7 +7,9 @@ product_claim: explicit_TypeScript_root_returns_one_bounded_root_direct_static_o
 command: nimicoding code context <repo-relative-.ts-or-.tsx-path> --repo <exact-git-worktree-root> --symbol <top-level-identifier> --tsconfig <repo-relative-tsconfig> --max-bytes <integer>=512
 compiler:
   language: TypeScript_TSX
-  version: 5.9.3
+  version: ">=5.9.3 <7.0.0 (stable releases only)"
+  identity: package_metadata_version_equals_loaded_compiler_version
+  reported_version: actual_loaded_project_compiler_version
   source: nearest_repo_contained_tsconfig_owner_package
   program: fresh_complete_selected_config_without_project_references
 root:
@@ -18,6 +20,7 @@ projection:
   scope: selected_root_AST_only
   relations: [static_value_binding, static_type_binding, static_constructor_binding, static_JSX_binding]
   target: complete_nonempty_portable_declaration_set
+  declaration_loci_order: origin_package_name_package_version_path_by_UTF_16_code_units_then_numeric_range
   target_source: optional_single_repository_declaration_syntactic_slice
   runtime_dispatch: not_evaluated
 response:

package/spec/product-scope.yaml

@@ -12,7 +12,7 @@ owned_surfaces:
   - bounded_direct_references_exact_relation_paths_and_local_subgraphs
   - project_bound_deterministic_graph_and_exact_lexical_authority_audit_and_SARIF_projection
   - git_aware_exact_read_only_authority_change_review
-  - explicit_TypeScript_5_9_3_root_direct_bounded_code_context
+  - explicit_project_TypeScript_5_9_and_6_root_direct_bounded_code_context
   - transient_exact_code_authority_marker_lookup_and_lifecycle_audit_for_tracked_current_TypeScript_TSX_Go_Python_and_Rust_source
 canonical_boundary:
   host_product_authority: .nimi/spec/**/*.authority.{yaml,md}