@nimiplatform/nimi-coding 0.6.1 → 0.6.3

package/CHANGELOG.md

@@ -2,6 +2,16 @@
 
 ## Unreleased
 
+## 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.
+
+## 0.6.2
+
+- Made managed authority/code queries depend on task-relevant uncertainty, including static-dependency questions for `code context`, while preserving authority admission and result boundaries.
+- Scoped failed or incomplete query handling to dependent decisions, allowing independent authorized work to continue without treating diagnostics, hypotheses, or partial output as complete authority context.
+- Fixed a `code context` crash on local export aliases without a module specifier; affected sites retain the existing explicit `unresolved` result instead of inventing a dependency.
+
 ## 0.6.1
 
 - Extended experimental `nimicoding code authority` marker lookup and lifecycle audit to tracked current Python and Rust source while keeping `code context` TypeScript/TSX-only.

package/README.md

@@ -69,10 +69,12 @@ The current Nimi-realm validation corpus contains 33 canonical containers, 2,212
 
 ## Using the code surface
 
-`start` writes package-managed guidance into the marked blocks in `AGENTS.md` and `CLAUDE.md`. On an existing installation, `doctor` diagnoses drift in that guidance and the compact methodology projection; `sync --apply` restores the exact current package projections while preserving host-owned text outside the managed blocks. An AI host that honors repository instructions can therefore learn when to request `code authority` or `code context`, and when a changed authority-governed feature warrants a small number of `@nimi-authority` markers at key semantic owners.
+`start` writes package-managed guidance into the marked blocks in `AGENTS.md`. On an existing installation, `doctor` diagnoses drift in that guidance and the compact methodology projection; `sync --apply` restores the exact current package projections while preserving host-owned text outside the managed blocks. An AI host that honors repository instructions can therefore learn when to request `code authority` or `code context`, and when a changed authority-governed feature warrants a small number of `@nimi-authority` markers at key semantic owners.
 
 This is instruction-based integration, not an automatic execution layer. Nimi Coding installs no hook or daemon, intercepts no task, requires no fixed preflight, and owns no task or completion state. The host decides whether a query is useful for the current coding task. `code authority` only recalls explicit markers and current authority lifecycle; `code context` only returns the admitted root-direct TypeScript projection. Neither result proves conformance, replaces affected builds and tests, or evaluates unannotated code.
 
+Use queries to resolve uncertainties that affect the task, and reuse sufficient current evidence. Selecting a TS/TSX consumer alone does not require `code context`; an unresolved static-dependency question does. A failed invocation supplies no usable result. Pause decisions that require refused, missing, or incomplete results while continuing independent authorized work. Diagnostics guide repair, and partial output never establishes complete context. Query boundaries do not limit host reasoning, but hypotheses must remain distinct from project authority.
+
 ## Five-minute adoption path
 
 Install and initialize the package:
@@ -82,7 +84,7 @@ pnpm add -D @nimiplatform/nimi-coding
 pnpm exec nimicoding start --yes
 ```
 
-`start` creates the compact AI-visible authoring guide, managed instruction blocks in `AGENTS.md` and `CLAUDE.md`, and the ignored `.nimi/local/` root. It does not generate product semantics or create `.nimi/spec` for the project.
+`start` creates the compact AI-visible authoring guide, managed instruction blocks in `AGENTS.md`, and the ignored `.nimi/local/` root. It does not generate product semantics or create `.nimi/spec` for the project.
 
 `pnpm exec nimicoding` is the supported host invocation: run it from the repository root so automation resolves the pinned project-local package. A global `nimicoding` binary in `PATH` is neither required nor a valid availability check.
 
@@ -323,6 +325,8 @@ nimicoding code context <repo-relative-.ts-or-.tsx-path> --repo <exact-git-workt
 
 The command reads the current filesystem and writes one compact JSON response to stdout. `completed` covers only its closed root-direct static-binding policy. `partial` reports the first output-budget frontier; `refused` contains no usable context product. The command neither edits the repository nor selects, runs, or records verification.
 
+`completed` can include explicitly unresolved sites. In particular, an alias chain through a local export without a module specifier is reported as `unresolved` with reason `alias_resolution_not_unique`; it is not a proven dependency.
+
 </details>
 
 Relation types are a non-empty unique subset of the closed set `applies_to,supersedes`; discovery relation preview requires direction, relation types, and edge budget together.

package/README.zh-CN.md

@@ -69,10 +69,12 @@ AI host · 第三方扩展 · CI · future editor/UI surfaces
 
 ## 使用 code surface
 
-`start` 会把 package 管理的指导写入 `AGENTS.md` 和 `CLAUDE.md` 的 marked blocks。对于已有安装，`doctor` 会诊断这些指导及 compact methodology projection 的 drift，`sync --apply` 则恢复当前 package 的精确 projections，同时保留 managed blocks 之外的宿主文本。因此，遵守 repository instructions 的 AI host 可以知道何时按需调用 `code authority` 或 `code context`，以及何时只在发生变更、受 authority 约束的功能中，为少数关键语义 owner 添加 `@nimi-authority` marker。
+`start` 会把 package 管理的指导写入 `AGENTS.md` 的 marked blocks。对于已有安装，`doctor` 会诊断这些指导及 compact methodology projection 的 drift，`sync --apply` 则恢复当前 package 的精确 projections，同时保留 managed blocks 之外的宿主文本。因此，遵守 repository instructions 的 AI host 可以知道何时按需调用 `code authority` 或 `code context`，以及何时只在发生变更、受 authority 约束的功能中，为少数关键语义 owner 添加 `@nimi-authority` marker。
 
 这是一种基于 instruction 的集成，不是自动执行层。Nimi Coding 不安装 hook 或 daemon，不拦截 task，不要求固定 preflight，也不拥有 task 或 completion state。是否需要查询由 host 根据当前 coding task 决定。`code authority` 只召回显式 marker 和当前 authority lifecycle；`code context` 只返回 admitted root-direct TypeScript projection。两者都不证明 conformance，不替代 affected build/tests，也不评价未标注代码。
 
+查询用于解决会影响当前任务的不确定性，已有依据充分时直接复用。选定 TS/TSX consumer 本身不要求调用 `code context`；仍有静态依赖疑问时才使用。失败的调用不提供可用结果；暂停依赖被拒绝、缺失或不完整结果的判断，同时继续独立且已授权的工作。诊断用于修复，局部输出不能证明上下文完整。查询边界不限制 host 的推理，但假设必须与项目 authority 区分。
+
 ## 五分钟接入
 
 安装并初始化：
@@ -82,7 +84,7 @@ pnpm add -D @nimiplatform/nimi-coding
 pnpm exec nimicoding start --yes
 ```
 
-`start` 创建紧凑的 AI-visible authoring guide、`AGENTS.md`/`CLAUDE.md` 中的 managed instruction blocks，以及 ignored `.nimi/local/` root。它不会生成产品语义，也不会替项目创建 `.nimi/spec`。
+`start` 创建紧凑的 AI-visible authoring guide、`AGENTS.md` 中的 managed instruction blocks，以及 ignored `.nimi/local/` root。它不会生成产品语义，也不会替项目创建 `.nimi/spec`。
 
 `pnpm exec nimicoding` 是受支持的宿主调用方式：应从仓库根目录执行，使自动化解析到项目锁定的本地 package。既不要求全局 `PATH` 中存在 `nimicoding`，也不能用它判断 CLI 是否可用。
 
@@ -323,6 +325,8 @@ nimicoding code context <repo-relative-.ts-or-.tsx-path> --repo <exact-git-workt
 
 该命令读取当前文件系统，并向 stdout 写入一个 compact JSON response。`completed` 只覆盖封闭的 root-direct static-binding policy；`partial` 返回首个 output-budget frontier；`refused` 不包含可用 context product。命令不会编辑 repository，也不会选择、运行或保存 verification。
 
+`completed` 可以包含明确未解析的 site。特别是经过无 module specifier 的本地 export 的 alias chain，会返回 `unresolved` 和既有原因 `alias_resolution_not_unique`；该 site 不是已证明的依赖。
+
 </details>
 
 Relation types 是 closed set `applies_to,supersedes` 的非空、无重复 subset；discovery relation preview 必须同时提供 direction、relation types 和 edge budget。

package/cli/constants.mjs

@@ -1,4 +1,4 @@
-export const VERSION = "0.6.1";
+export const VERSION = "0.6.3";
 export const PACKAGE_NAME = "@nimiplatform/nimi-coding";
 export const PROJECT_LOCAL_CLI_INVOCATION = "pnpm exec nimicoding";
 export const LOCAL_GITIGNORE_ENTRIES = [".nimi/local/"];
@@ -10,5 +10,3 @@ export const REQUIRED_LOCAL_DIRS = [".nimi/local"];
 
 export const AGENTS_BEGIN = "<!-- nimicoding:managed:agents:start -->";
 export const AGENTS_END = "<!-- nimicoding:managed:agents:end -->";
-export const CLAUDE_BEGIN = "<!-- nimicoding:managed:claude:start -->";
-export const CLAUDE_END = "<!-- nimicoding:managed:claude:end -->";

package/cli/lib/code/context.mjs

@@ -479,7 +479,9 @@ function moduleSpecifierForAlias(compiler, declaration) {
   let current = declaration;
   while (current !== undefined) {
     if (compiler.isImportDeclaration(current) || compiler.isExportDeclaration(current)) {
-      return compiler.isStringLiteral(current.moduleSpecifier) ? current.moduleSpecifier.text : null;
+      return current.moduleSpecifier !== undefined && compiler.isStringLiteral(current.moduleSpecifier)
+        ? current.moduleSpecifier.text
+        : null;
     }
     if (compiler.isImportEqualsDeclaration(current)) {
       const reference = current.moduleReference;

package/cli/lib/entrypoints.mjs

@@ -4,8 +4,6 @@ import path from "node:path";
 import {
   AGENTS_BEGIN,
   AGENTS_END,
-  CLAUDE_BEGIN,
-  CLAUDE_END,
   PROJECT_LOCAL_CLI_INVOCATION,
 } from "../constants.mjs";
 import { pathExists, preflightManagedProjectPaths, readUtf8FileFatal } from "./fs-helpers.mjs";
@@ -21,18 +19,19 @@ function authorityAuthoringLines() {
   return [
     `- From the repository root, invoke the pinned project-local CLI as \`${PROJECT_LOCAL_CLI_INVOCATION}\`; do not probe or rely on a global \`nimicoding\` binary in \`PATH\`.`,
     "- Product authority lives under `.nimi/spec/**`.",
+    "- Choose authority and code queries when their declared scope can resolve an uncertainty that affects the current task; reuse sufficient current evidence. Query scope is not the limit of host reasoning or authorized work, and hypotheses are not product authority.",
     "- For canonical authority authoring, read only `.nimi/methodology/authority-authoring.yaml`, the affected authority files or bounded task context, and CLI diagnostics.",
     `- Use \`${PROJECT_LOCAL_CLI_INVOCATION} authority context <path> <id> --max-units <n> --max-bytes <n> --json\` only for the complete declared outgoing interpretation closure; it is not complete task context, and failure never permits guessed or partial context.`,
     `- Use \`${PROJECT_LOCAL_CLI_INVOCATION} authority diff\` and \`${PROJECT_LOCAL_CLI_INVOCATION} authority impact\` with explicit \`--max-bytes\`; impact reports declared review obligations and does not prove implementation, consumers, or tests are synchronized.`,
     `- Use \`${PROJECT_LOCAL_CLI_INVOCATION} authority change-candidates\` only with explicit channels and budgets; its complete union is recall input, never conflict, retirement, absence, authority, or conformance judgment.`,
-    `- For implementation audits with an exact authority ID, use \`${PROJECT_LOCAL_CLI_INVOCATION} code authority --repo <root> --authority <id> --max-files <n> --max-bytes <n>\` to locate annotated code, and use \`--source <path>\` for code-to-authority lookup. Results cover only explicit markers and authority lifecycle; they do not prove implementation conformance or evaluate unannotated code.`,
+    `- When explicit authority links are needed, use \`${PROJECT_LOCAL_CLI_INVOCATION} code authority --repo <root> --authority <id> --max-files <n> --max-bytes <n>\` to locate annotated code, and use \`--source <path>\` for code-to-authority lookup. Results cover only explicit markers and authority lifecycle; they do not prove implementation conformance or evaluate unannotated code.`,
     `- For a new or changed authority-governed feature, add the reserved standalone physical line \`// @nimi-authority: <exact-id>\` in TypeScript/TSX, Go, or Rust, and \`# @nimi-authority: <exact-id>\` in Python. The scanner does not prove language comment context, so use this reserved form only for intentional links at a few key semantic owners.`,
     `- Use \`// @nimi-deprecated: <exact-id>\`, or \`# @nimi-deprecated: <exact-id>\` in Python, only after direct authority evidence or a real product failure confirms obsolete semantics; find it with \`${PROJECT_LOCAL_CLI_INVOCATION} code authority --repo <root> --audit --max-files <n> --max-bytes <n>\` and remove it with the hard cut.`,
-    `- After selecting an explicit TypeScript or TSX consumer, use \`${PROJECT_LOCAL_CLI_INVOCATION} code context <path> --repo <root> --symbol <identifier> --tsconfig <path> --max-bytes <n>\` for bounded root-direct static dependencies; it is not inbound impact, runtime dispatch, or complete task context.`,
+    `- When a selected TypeScript or TSX consumer still has a static-dependency question, use \`${PROJECT_LOCAL_CLI_INVOCATION} code context <path> --repo <root> --symbol <identifier> --tsconfig <path> --max-bytes <n>\` for bounded root-direct static dependencies; it is not inbound impact, runtime dispatch, or complete task context.`,
     `- Use \`${PROJECT_LOCAL_CLI_INVOCATION} sync --check\` to diagnose drift in package-owned managed projections, \`${PROJECT_LOCAL_CLI_INVOCATION} sync --apply\` to restore them, and \`${PROJECT_LOCAL_CLI_INVOCATION} doctor\` to diagnose package/managed compatibility. These commands do not validate product authority, implementation conformance, or task readiness.`,
     "- Under `.nimi/spec/**`, author only closed multi-unit `*.authority.yaml` containers or single-unit `*.authority.md`; historical document formats are unsupported and never inferred.",
     `- Run \`${PROJECT_LOCAL_CLI_INVOCATION} authority fmt\` on each changed file, then \`${PROJECT_LOCAL_CLI_INVOCATION} authority check\` on the complete authority input set.`,
-    `- A failed project-local \`${PROJECT_LOCAL_CLI_INVOCATION} ...\` invocation blocks only the requested CLI product and never permits guessed, partial, corpus-wide, or fallback context; choose repair values only from product/task authority.`,
+    `- A failed project-local \`${PROJECT_LOCAL_CLI_INVOCATION} ...\` invocation supplies no usable result. Pause decisions that require refused, missing, or incomplete results; continue independent authorized work. Never substitute guessed, corpus-wide, or fallback context, or treat diagnostics or partial output as complete context; choose repair values only from product/task authority.`,
     "- Keep derived and local verification output under `.nimi/local/**`; it is never product authority.",
   ];
 }
@@ -40,9 +39,6 @@ function authorityAuthoringLines() {
 function managedAgentsBlock() {
   return [AGENTS_BEGIN, "# Nimi Coding Managed Block", "", ...authorityAuthoringLines(), AGENTS_END].join("\n");
 }
-function managedClaudeBlock() {
-  return [CLAUDE_BEGIN, "# Nimi Coding Managed Block", "", ...authorityAuthoringLines(), CLAUDE_END].join("\n");
-}
 
 function occurrenceIndexes(text, marker) {
   const indexes = [];
@@ -100,14 +96,6 @@ function entrypointDefinitions(projectRoot) {
       header: "# AGENTS.md\n",
       relativePath: "AGENTS.md",
     },
-    {
-      path: path.join(projectRoot, "CLAUDE.md"),
-      block: managedClaudeBlock(),
-      begin: CLAUDE_BEGIN,
-      end: CLAUDE_END,
-      header: "# CLAUDE.md\n",
-      relativePath: "CLAUDE.md",
-    },
   ];
 }
 

package/cli/lib/fs-helpers.mjs

@@ -4,11 +4,10 @@ import path from "node:path";
 const SHARED_INODE_FORBIDDEN_PATHS = new Set([
   ".nimi/methodology/authority-authoring.yaml",
   "AGENTS.md",
-  "CLAUDE.md",
   ".gitignore",
   ".gitattributes",
 ]);
-const FATAL_UTF8_HOST_PATHS = new Set(["AGENTS.md", "CLAUDE.md", ".gitignore", ".gitattributes"]);
+const FATAL_UTF8_HOST_PATHS = new Set(["AGENTS.md", ".gitignore", ".gitattributes"]);
 
 const BASE_MANAGED_PATHS = [
   [".nimi", "directory"],
@@ -20,7 +19,6 @@ const BASE_MANAGED_PATHS = [
   [".nimi/contracts", "directory"],
   [".nimi/contracts/domain-admission.schema.yaml", "file"],
   ["AGENTS.md", "file"],
-  ["CLAUDE.md", "file"],
   [".gitignore", "file"],
   [".gitattributes", "file"],
 ];

package/methodology/authority-authoring.yaml

@@ -1,4 +1,4 @@
-version: 7
+version: 8
 id: nimicoding.authority-authoring
 purpose: Author explicit authority and navigate current implementation without inference.
 authority_boundary:
@@ -11,18 +11,18 @@ authority_boundary:
 cli_execution:
   cwd: repository_root
   command_prefix: pnpm exec nimicoding
-  rule: Resolve the pinned local package; never probe global PATH. Failure blocks only the requested CLI product.
+  rule: Use the pinned local package, never global PATH. Refused, missing or partial results block dependent decisions, not independent authorized work. No guessed/corpus-wide/fallback context; repair only from task/product authority.
 
 daily_workflow:
-  - Without an exact ID, run pnpm exec nimicoding authority discover <path> <query> --max-candidates 10 --max-snippet-terms 24 --max-bytes 131072 --json. It returns candidates, never selection or absence proof.
+  - For needed authority selection without an ID, use pnpm exec nimicoding authority discover <path> <query> --max-candidates 10 --max-snippet-terms 24 --max-bytes 131072 --json. Candidates never prove selection or absence.
   - Select IDs only from task/product authority. pnpm exec nimicoding authority query <path> <id> --max-bytes <n> --json returns one unit; pnpm exec nimicoding authority context <path> <id> --max-units <n> --max-bytes <n> --json returns its outgoing applies_to/supersedes closure, not task context.
   - Modify only project authority; never infer product values or relations.
   - Run pnpm exec nimicoding authority fmt <changed-file> for each changed file.
   - Run pnpm exec nimicoding authority check <complete-path> [--scope-bindings <file>] --json, then pnpm exec nimicoding authority compile <complete-path> --json. For anchors run pnpm exec nimicoding authority anchors <repo> --spec <corpus> [--scope-bindings <file>] --max-units <n> --max-anchors <n> --max-bytes <n> --json.
   - For semantic changes, run complete-input diff and impact with budgets; obligations are host follow-up targets, not results.
-  - Never continue from diagnostics, unknown IDs, budget failures, or guessed/partial results.
 
 implementation_navigation:
+  query_use: Query for unresolved task questions; reuse sufficient current evidence. Use code context for remaining TS/TSX static-dependency questions. Hypotheses are not authority.
   authority_to_code: pnpm exec nimicoding code authority --repo <root> --authority <exact-id> --max-files <n> --max-bytes <n>
   code_to_authority: pnpm exec nimicoding code authority --repo <root> --source <tracked-path> --max-files <n> --max-bytes <n>
   context: pnpm exec nimicoding code context <ts-or-tsx-path> --repo <root> --symbol <top-level-identifier> --tsconfig <path> --max-bytes <n>
@@ -32,14 +32,14 @@ implementation_navigation:
     deprecated_slash: "// @nimi-deprecated: <same-exact-id>"
     authority_python: "# @nimi-authority: <exact-id>"
     deprecated_python: "# @nimi-deprecated: <same-exact-id>"
-  rule: Optional markers are reserved standalone physical lines near key semantic owners; comment context is not proved. Deprecated requires direct authority/product failure and is removed with hard cut.
+  rule: Optional markers are reserved standalone physical lines at key semantic owners; comment context is not proved. Deprecation needs authority/product failure evidence; remove with hard cut.
   boundary: Marker lines return locations/lifecycle; TypeScript context is root-direct static outbound only. Neither evaluates unannotated code, conformance, inbound impact, runtime dispatch, or completion.
 
 managed_surfaces:
   check: pnpm exec nimicoding sync --check
   restore: pnpm exec nimicoding sync --apply
   doctor: pnpm exec nimicoding doctor
-  boundary: Sync diagnoses exact package-owned projection/block drift and apply restores it; doctor diagnoses package/managed compatibility. Neither validates authority, code, or task readiness.
+  boundary: Sync checks/restores owned projections; doctor checks compatibility. Neither validates authority, code, or task readiness.
 
 source_profiles:
   yaml:
@@ -89,7 +89,6 @@ formatter_and_diagnostics:
   - fmt canonicalizes v2 and strips redundant unit defaults.
   - Non-v2 input fails fmt/check/compile/diff/impact/review.
   - check/compile use complete paths and emit no public/partial AuthorityIR.
-  - Diagnostics give locations and repair categories, never product values.
 
 change_workflow:
   diff: pnpm exec nimicoding authority diff <before-path> <after-path> --max-bytes <positive-integer> --json
@@ -142,4 +141,4 @@ canonical_examples:
             target: rule.checkout-no-anonymous-v0
 
 final_boundaries:
-  - Only project-authored sources under .nimi/spec are authority; derived/local output is not.
+  - Derived/local output is never authority.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nimiplatform/nimi-coding",
-  "version": "0.6.1",
+  "version": "0.6.3",
   "private": false,
   "description": "Canonical authority products and bounded read-only code queries for AI coding systems.",
   "license": "MIT",

package/spec/product-scope.yaml

@@ -1,4 +1,4 @@
-version: 12
+version: 13
 product:
   package_name: "@nimiplatform/nimi-coding"
   mission: canonical_authority_products_bounded_read_only_code_context_and_explicit_code_authority_marker_lookup
@@ -22,7 +22,7 @@ canonical_boundary:
 surface_separation:
   public: [documented_CLI, package_documentation]
   canonical_project_owned: .nimi/spec/**/*.authority.{yaml,md}
-  projected_AI_visible_package_owned: [.nimi/methodology/authority-authoring.yaml, AGENTS.md#managed-block, CLAUDE.md#managed-block]
+  projected_AI_visible_package_owned: [.nimi/methodology/authority-authoring.yaml, AGENTS.md#managed-block]
   local_non_authority: .nimi/local/**
   package_internal: [authority_grammar_contracts, AuthorityIR, SourceMap, compiler_implementation]
 out_of_scope: