@feng0531/dsh-code-review 0.51.0 → 0.53.0

package/CHANGELOG.md

@@ -2,9 +2,21 @@
 
 本文件介绍对使用者有意义的变化。安装与参数见 [README](README.md)，本次发布正文见 [发布说明](RELEASE-NOTES.md)。历史提交和安装包保留在 [GitHub Releases](https://github.com/f-e-n-g-0531/dsh-code-review/releases)；本文不把开发日志当作功能介绍。
 
+## 0.53.0 — 分组×验证×检索的组合验收
+
+同一生命周期验证自动分组、候选反证验证与批准快照检索协同一致，覆盖统计、输入预算上界与验证终态一致。只读批准快照，不改变审查行为或参数。
+
+## 0.52.1 — 保守类实例方法导航
+
+已批准的唯一普通 class 上，单一 new 实例的独立成员调用对应到唯一成员声明。接收者必须是该实例；字段初始化器、静态（含多修饰符）、继承、泛型、访问器、计算成员、重载、遮蔽、逃逸、自调用和重复实例化拒绝提示；线索与命名空间线索同样在超预算时省略。替代存在接收者逃逸、静态修饰符与字段初始化器幻影方法误判且未参与预算省略的 0.52.0。442 项完整回归、实际宿主、24 项独立安装专项与四组 CI 通过；npm、Release 与原产物 104,817 字节一致，双哈希和清单通过。
+
+## 0.52.0 — 保守类实例方法导航（由 0.52.1 替代，未发布）
+
+已批准的唯一普通 class 上，单一 new 实例的独立成员调用可对应到唯一成员声明。继承、泛型、访问器、静态、计算成员、重载、遮蔽、逃逸、自调用和重复实例化拒绝提示；不是类型或原型链分析。线索进入上下文关系与调用方发现，历史逐侧隔离。
+
 ## 0.51.0 — 组合验收
 
-新增多轮×窗口×检索×预算的组合端到端验收，校验覆盖统计、每文件轮次、输入预算上界与窗口覆盖一致。只读批准快照，不改变审查行为或参数。
+新增多轮×窗口×检索×预算的组合端到端验收，校验覆盖统计、每文件轮次、输入预算上界与窗口覆盖一致。只读批准快照，不改变审查行为或参数。432 项完整回归、实际宿主、12 项独立安装专项与四组 CI 通过；npm、Release 与原产物 102,433 字节一致，双哈希和清单通过。
 
 ## 0.50.0 — 生命周期与并发提示细化
 

package/CORE-ALIGNMENT-TASKS.md

@@ -23,19 +23,21 @@
 
 | 优先级 | 未完成项 | 验收重点 |
 |---|---|---|
-| 1 | 实例与成员级上下文 | 命名/默认定义、保守调用方线索、历史同版本线索、命名空间成员导航已交付；类实例与继承仍待验收 |
+| 1 | 继承与动态分派上下文 | 命名/默认定义、调用方、历史同版本、命名空间成员与唯一普通类实例方法导航已交付；继承/原型链/动态分派仍待验收 |
 | 2 | 剩余历史来源与旧侧组合 | Git 历史与 SVN 三层链已交付；其他旧侧来源仍待验收 |
 | 3 | 其他旧侧独有来源 | 来源、版本、权限与删除场景保持一致 |
 | 4 | 路径专用指导与引擎版本约束 | 函数式/HDL/智能合约/格式语言、Go/Python/Rust 与 ObjC/Swift/Kotlin/Java/C# 提示已交付；模板与依赖清单引擎版本仍保持通用 |
-| 5 | 剩余预算组合与端到端矩阵 | 多轮×窗口×检索×预算对账已验收；分组/验证/综合的组合仍待验收 |
+| 5 | 端到端矩阵收尾 | 多轮×窗口×检索与分组×验证均已组合验收；合成与分组的端到端由专项测试覆盖 |
 | 后置 | 真实模型质量评测 | 保存真实输出，人工裁决，分开统计失败和未完成 |
 
-Git 工作区、Git 历史两侧与 SVN 当前侧支持安全的三层字面依赖链；手动批准上下文可以作为入口。命名与默认导入支持批准正文中的唯一声明位置。这些能力不是完整语义绑定。调用方语法绑定的 v0.45.0 存在逐条导入歧义与历史发现元数据混侧错误，不计作安全对齐；v0.45.1 已修正并正式交付；历史调用方的同版本语法导航已随 v0.46.0 正式交付；命名空间成员调用导航已随 v0.47.0 正式交付；剩余函数式/HDL/智能合约/格式语言的保守缺陷提示已随 v0.48.0 正式交付；Go/Python/Rust 运行前提与 ArkTS 提示已随 v0.49.0 正式交付；ObjC/Swift/Kotlin/Java/C# 生命周期与并发细化已随 v0.50.0 正式交付；歧义后缀不猜测，转化用签名探测，提示不代替语义解析。
+Git 工作区、Git 历史两侧与 SVN 当前侧支持安全的三层字面依赖链；手动批准上下文可以作为入口。命名与默认导入支持批准正文中的唯一声明位置。这些能力不是完整语义绑定。调用方语法绑定的 v0.45.0 存在逐条导入歧义与历史发现元数据混侧错误，不计作安全对齐；v0.45.1 已修正并正式交付；历史调用方的同版本语法导航已随 v0.46.0 正式交付；命名空间成员调用导航已随 v0.47.0 正式交付；剩余函数式/HDL/智能合约/格式语言的保守缺陷提示已随 v0.48.0 正式交付；Go/Python/Rust 运行前提与 ArkTS 提示已随 v0.49.0 正式交付；保守唯一普通类实例方法导航已随 v0.52.1 正式交付；继承、原型链与动态分派不猜测。
 
 ## 当前验证结论
 
-- 最近完整回归：432 项通过。
-- v0.51.0 已正式交付多轮×窗口×检索×预算的组合验收。432 项回归、实际宿主与四组 CI 覆盖该组合；不改变审查行为或参数。
+- 最近完整回归：443 项通过。
+- v0.53.0 已正式交付分组×验证×检索的组合验收。443 项回归、实际宿主与四组 CI 覆盖该组合；不改变审查行为或参数。
+- v0.52.1 已正式交付保守类实例方法导航。442 项回归、实际宿主、24 项独立安装专项和四组 CI 通过；npm、Release 与原包 104,817 字节一致，SHA-256、SHA-512 与清单核验通过。v0.52.0 复核发现接收者逃逸、静态修饰符与字段初始化器幻影方法误判且未参与预算省略，由 0.52.1 替代，未发布不计作交付。
+- v0.51.0 已正式交付多轮×窗口×检索×预算的组合验收。432 项回归、实际宿主、12 项独立安装专项与四组 CI 通过；npm、Release 与原包 102,433 字节一致，双哈希与清单核验通过；不改变审查行为或参数。
 - v0.50.0 已正式交付 ObjC/Swift/Kotlin/Java/C# 生命周期与并发细化提示。431 项回归、实际宿主、9 项独立安装专项和四组 CI 通过；npm、Release 与原包 102,412 字节一致，SHA-256、SHA-512 与清单核验通过。
 - v0.49.0 已正式交付 Go/Python/Rust 运行时提示与 ArkTS 提示。430 项回归、实际宿主、11 项独立安装专项和四组 CI 通过；npm、Release 与原包 101,770 字节一致，SHA-256、SHA-512 与清单核验通过。发布阶段 npm 成功、Release 创建因 registry 瞬时 404 由保存原产物手工补建并复核一致。
 - v0.48.0 已正式交付剩余函数式/HDL/智能合约/格式语言的保守缺陷提示。429 项回归、实际宿主、10 项独立安装专项和四组 CI 通过；npm、Release 与原包 101,539 字节一致，SHA-256、SHA-512 与清单核验通过。

package/RELEASE-NOTES.md

@@ -1,12 +1,12 @@
-# v0.51.0 发布说明
+# v0.53.0 发布说明
 
-## 组合验收
+## 分组×验证×检索的组合验收
 
-新增组合端到端验收：同一审查生命周期内验证多次审查轮次、大文件变更窗口、批准快照检索与输入预算的终态一致性。断言覆盖统计总和等于审查文件数、每文件轮次完整、每个入口输入不超过预算、窗口文件上报窗口覆盖、检索在受限预算下实际发生。
+在同一审查生命周期内验证自动分组、候选反证验证与批准快照检索协同一致：覆盖统计总和等于审查文件数、每个入口输入不超过预算、产生候选后均完成验证、终态可判定。只读批准快照，不改变审查行为或参数，不新增读取也不放宽预算。
 
 ## 范围
 
-- 只读批准快照；不新增读取、不放宽预算，不改变任何审查行为或参数。
-- 分组、验证与综合阶段的组合以既有专项测试与两两组合覆盖为准，仍保持部分待验收。
+- 与多轮×窗口×检索×预算的组合验收共同覆盖主要组合；合成与分组的端到端仍由既有专项与两两组合测试覆盖。
+- 仍不是真实模型质量成绩；真实质量评测为后置项。
 
 使用方法见 [README](README.md)。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@feng0531/dsh-code-review",
-  "version": "0.51.0",
+  "version": "0.53.0",
   "private": false,
   "license": "SEE LICENSE IN LICENSE",
   "publishConfig": { "access": "public", "registry": "https://registry.npmjs.org/" },

package/src/caller-candidates.mjs

@@ -1,6 +1,7 @@
 import { contextCandidates } from './context-candidates.mjs';
 import { directImportBindings } from './import-bindings.mjs';
 import { namespaceImportBindings } from './namespace-bindings.mjs';
+import { instanceMethodBindings } from './class-bindings.mjs';
 import { importedCallSites, indexStandaloneCalls } from './import-call-sites.mjs';
 import { relativePath } from './content.mjs';
 import { isSecretPath } from './secret-path.mjs';
@@ -18,7 +19,7 @@ function callerBindings(fromPath, targetPath, scannedText, targetText, resolutio
   const candidates = path.posix.extname(target) ? [target] : [target, ...importExtensions.map(ext => target + ext), ...importExtensions.map(ext => target + '/index' + ext)];
   const matches = candidates.filter(candidate => resolutionPaths.has(candidate));
   if (matches.length !== 1 || matches[0] !== targetPath) continue;
-  result.push(...directImportBindings(lines, i + 1, importedCallSites(lines, i + 1, callIndex), targetText), ...namespaceImportBindings(lines, i + 1, targetText));
+  result.push(...directImportBindings(lines, i + 1, importedCallSites(lines, i + 1, callIndex), targetText), ...namespaceImportBindings(lines, i + 1, targetText), ...instanceMethodBindings(lines, i + 1, targetText));
  }
  return result.slice(0, 20);
 }

package/src/class-bindings.mjs

@@ -0,0 +1,106 @@
+// Conservative instance-method navigation over approved bodies only. No type or
+// inheritance inference. Shadowing, mutation, accessors, static, nested, computed
+// and duplicate definitions are all refused.
+const BS = String.fromCharCode(96);
+const NL = String.fromCharCode(10);
+function classBody(lines, classLine) {
+  const col = lines[classLine - 1].indexOf('{');
+  if (col < 0) return null;
+  const rest = lines.slice(classLine - 1).join(NL).slice(col + 1);
+  let depth = 1, i = 0, out = '';
+  while (i < rest.length && depth > 0) {
+    const ch = rest[i];
+    if (ch === '"' || ch === "'" || ch === BS) {
+      const q = ch; out += ch; i++;
+      while (i < rest.length && rest[i] !== q) { out += rest[i]; if (rest[i] === '\\' && i + 1 < rest.length) { out += rest[i + 1]; i += 2; continue; } i++; }
+      if (i < rest.length) { out += rest[i]; i++; }
+      continue;
+    }
+    if (ch === '/' && rest[i + 1] === '/') { const e = rest.indexOf(NL, i); i = e < 0 ? rest.length : e; continue; }
+    if (ch === '{') depth++;
+    else if (ch === '}') { depth--; if (depth === 0) return out; }
+    out += ch; i++;
+  }
+  return null;
+}
+function directMethods(body) {
+  const out = [];
+  let depth = 0;
+  for (let i = 0; i < body.length;) {
+    const ch = body[i];
+    if (ch === '"' || ch === "'" || ch === BS) { const q = ch; i++; while (i < body.length && body[i] !== q) { if (body[i] === '\\') i++; i++; } i++; continue; }
+    if (ch === '/' && body[i + 1] === '/') { const e = body.indexOf(NL, i); i = e < 0 ? body.length : e; continue; }
+    if (ch === '{') { depth++; i++; continue; }
+    if (ch === '}') { depth--; i++; continue; }
+    if (depth === 0) {
+      const m = /^([A-Za-z_$][A-Za-z0-9_$]*)\s*\(/.exec(body.slice(i));
+      if (m) { out.push({ name: m[1], i }); i += m[0].length; continue; }
+    }
+    i++;
+  }
+  return out;
+}
+export function instanceMethodBindings(lines, importLine, targetText) {
+  if (!Array.isArray(lines) || lines.length > 20000 || typeof targetText !== 'string') return [];
+  const caller = lines.join(NL);
+  if (Buffer.byteLength(caller) > 256 * 1024 || caller.includes('/*') || caller.includes(BS) || /\\\r?\n/.test(caller)) return [];
+  const imports = /^\s*import\s+\{([^}]+)\}\s+from\s+(['"])([^'"\\]+)\2\s*;?\s*(?:\/\/.*)?$/.exec(lines[importLine - 1]);
+  if (!imports) return [];
+  const parts = imports[1].split(',').map(p => /^\s*([A-Za-z_$][A-Za-z0-9_$]*)(?:\s+as\s+([A-Za-z_$][A-Za-z0-9_$]*))?\s*$/.exec(p));
+  if (parts.some(p => !p)) return [];
+  const klass = parts.length === 1 ? parts[0][1] : null;
+  if (!klass) return [];
+  const local = parts[0][2] ?? klass;
+  if (Buffer.byteLength(targetText) > 256 * 1024 || targetText.includes('/*') || targetText.includes(BS) || /\\\r?\n/.test(targetText)) return [];
+  const targets = targetText.split(NL);
+  let classLine = null;
+  for (let i = 0; i < targets.length; i++) {
+    const m = /^\s*export\s+class\s+([A-Za-z_$][A-Za-z0-9_$]*)/.exec(targets[i]);
+    if (m && m[1] === klass) { if (classLine !== null) return []; classLine = i + 1; }
+  }
+  if (classLine === null) return [];
+  if (/\bextends\b|\bimplements\b/.test(targets[classLine - 1])) return [];
+  const braceCol = targets[classLine - 1].indexOf('{');
+  if (braceCol >= 0 && /[<>]/.test(targets[classLine - 1].slice(0, braceCol))) return [];
+  const body = classBody(targets, classLine);
+  if (!body) return [];
+  const decls = directMethods(body);
+  const names = {};
+  for (const d of decls) names[d.name] = (names[d.name] ?? 0) + 1;
+  const result = [];
+  for (const d of decls) {
+    if (names[d.name] !== 1) continue;
+    if (d.name === 'constructor') continue;
+    const member = d.name;
+    const token = new RegExp('(^|[^A-Za-z0-9_$])' + member.replaceAll('$', '\\$') + '(?=[^A-Za-z0-9_$]|$)', 'g');
+    const occ = [];
+    let m; while ((m = token.exec(body)) !== null) occ.push(m.index);
+    if (occ.length !== 1) continue;
+    const before = body.slice(0, d.i);
+    const spanStart = Math.max(before.lastIndexOf('}'), before.lastIndexOf(';'), before.lastIndexOf('{'));
+    const span = before.slice(spanStart + 1);
+    if (/\b(?:static|get|set|abstract)\b/.test(span)) continue;
+    if (/=\s*$/.test(span)) continue;
+    const seg = span.slice(span.lastIndexOf(NL) + 1);
+    if (/[=,:.*#\[\]()]|\b(?:new|function|return|yield|case|throw|typeof|void|delete|instanceof)\b/.test(seg)) continue;
+    let assign = null, inst = null;
+    for (let i = 0; i < lines.length; i++) {
+      const a = /^\s*(?:const|let|var)\s+([A-Za-z_$][A-Za-z0-9_$]*)\s*=\s*new\s+([A-Za-z_$][A-Za-z0-9_$]*)\s*\(/.exec(lines[i]);
+      if (a && a[2] === local) { if (assign !== null) return []; assign = i + 1; inst = a[1]; }
+    }
+    if (assign === null || inst === member || inst === klass || inst === local) continue;
+    const newCount = [...caller.matchAll(new RegExp('(^|[^A-Za-z0-9_$])new\\s+' + local.replaceAll('$', '\\$') + '\\s*\\(', 'g'))].length;
+    if (newCount !== 1) continue;
+    const instToken = new RegExp('(^|[^A-Za-z0-9_$])' + inst.replaceAll('$', '\\$') + '(?=[^A-Za-z0-9_$]|$)', 'g');
+    const instLines = [];
+    for (let i = 0; i < lines.length; i++) { const o = [...lines[i].matchAll(instToken)]; if (o.length) { if (o.length !== 1) return []; instLines.push(i + 1); } }
+    if (instLines.length !== 2 || !instLines.includes(assign)) continue;
+    const callLine = instLines.find(l => l !== assign);
+    const callRe = new RegExp('^\\s*(?:await\\s+)?' + inst.replaceAll('$', '\\$') + '\\.([A-Za-z_$][A-Za-z0-9_$]*)\\s*\\([^();"\x27/]*\\)\\s*;?\\s*$');
+    const call = callRe.exec(lines[callLine - 1]);
+    if (!call || call[1] !== member) continue;
+    const methodLine = classLine + (body.slice(0, d.i).split(NL).length - 1);
+    result.push({ imported: klass, local, instance: inst, member, newLine: assign, callLine, methodLine, declarationKind: 'instance-method', confidence: 'instance-method-syntax-only' });
+  }
+  return result.slice(0, 20);
+}

package/src/import-relations.mjs

@@ -1,5 +1,6 @@
 import path from 'node:path';
 import { namespaceImportBindings } from './namespace-bindings.mjs';
+import { instanceMethodBindings } from './class-bindings.mjs';
 import { directImportBindings, namedImportDefinitions, defaultImportDefinition } from './import-bindings.mjs';
 import { importedCallSites, indexStandaloneCalls } from './import-call-sites.mjs';
 
@@ -39,7 +40,7 @@ export function inferImportRelations(files) {
         if (matches.length !== 1 || matches[0].eligibility !== 'reviewable' || matches[0].id === file.id) continue;
         const callSites = importedCallSites(lines, i + 1, callIndex);
         const targetText = (side === 'old' ? matches[0].left : matches[0].right)?.text;
-        const bindingHints = [...directImportBindings(lines, i + 1, callSites, targetText), ...namespaceImportBindings(lines, i + 1, targetText)].slice(0,20);
+        const bindingHints = [...directImportBindings(lines, i + 1, callSites, targetText), ...namespaceImportBindings(lines, i + 1, targetText), ...instanceMethodBindings(lines, i + 1, targetText)].slice(0,20);
         const definitionHints = [...namedImportDefinitions(lines[i], targetText), ...defaultImportDefinition(lines[i], targetText)];
         edges.push({ from: file.id, to: matches[0].id, reason: 'relative-import:' + side + ':L' + (i + 1), side, line: i + 1, specifier: match[2], callSites, bindingHints, definitionHints });
         if (callSites.length && edges.length < 2000) edges.push({ from: file.id, to: matches[0].id, reason: 'imported-call-syntax:' + side + ':L' + callSites.map(c => c.line).join(','), side, callSites });

package/src/interaction-input.mjs

@@ -20,12 +20,12 @@ export function prepareInteractionInput(snapshot, group, measure) {
  let payload = JSON.stringify({ ...(snapshot.history ? {contextSideNotice:CONTEXT_SIDE_NOTICE} : {}), ...(snapshot.businessRequirement!==undefined?{businessRequirement:snapshot.businessRequirement,requirementNotice:REQUIREMENT_NOTICE}:{}), contextRelations, contextRelationNotice:'Approved-context import/include and call binding hints only; not a call graph, complete caller coverage, semantic binding or causal evidence. Historical contextSide/contextVersion must not be interchanged.', snapshotId: snapshot.id, sourceMode: 'file-interaction', groupId: group.id, files, context: snapshot.context ?? [], rules: snapshot.rules ?? [], notice: 'Only combined defects across at least two listed files; directories are navigation not evidence. Read referenced edit source sides from approved catalog in this generation. Return ordinary findings with fileId of one listed primary and exact original line anchor; attribution.editIds references only that primary. Add interaction:{editRefs:[{fileId,editId}]} including all involved edits across at least two files. This sourceMode overrides single-primary input instructions. Retain original primary anchor and file-qualified edit references. Unsupported conclusions become limitations; no repeated single-file issues. Relations and read coverage are not causal proof.' });
  let budget = measure(payload);
  const metadata={};
- const omitted=contextRelations.reduce((n,e)=>n+(e.bindingHints??[]).filter(h=>h.confidence==='namespace-member-syntax-only').length,0);
+ const omitted=contextRelations.reduce((n,e)=>n+(e.bindingHints??[]).filter(h=>h.confidence==='namespace-member-syntax-only'||h.confidence==='instance-method-syntax-only').length,0);
  if(!budget.fits&&omitted){
   const envelope=JSON.parse(payload);
-  envelope.contextRelations=envelope.contextRelations.map(e=>({...e,bindingHints:(e.bindingHints??[]).filter(h=>h.confidence!=='namespace-member-syntax-only')}));
+  envelope.contextRelations=envelope.contextRelations.map(e=>({...e,bindingHints:(e.bindingHints??[]).filter(h=>h.confidence!=='namespace-member-syntax-only'&&h.confidence!=='instance-method-syntax-only')}));
   payload=JSON.stringify(envelope);budget=measure(payload);
-  metadata.namespaceBindingFallback='input-budget';metadata.omittedNamespaceBindingCount=omitted;
+  metadata.optionalBindingFallback='input-budget';metadata.omittedOptionalBindingCount=omitted;
  }
  return { status: budget.fits ? 'ready' : 'blocked', reason: budget.fits ? undefined : 'input-budget', fileIds: [...group.fileIds], payload, budget, ...metadata };
 }

package/src/primary-input.mjs

@@ -34,11 +34,12 @@ export function preparePrimaryInput(input, file, { instructions, scope, grouping
   let payload = JSON.stringify(base);
   const measure = value => initialInputBudget({ instructions, input: value }, scope, maxInputBytes);
   const metadata = {};
-  // Newly added member navigation is optional, like caller annotations.
-  if (base.contextRelations?.some(e=>e.bindingHints?.some(h=>h.confidence==='namespace-member-syntax-only')) && !measure(payload).fits) {
-    metadata.namespaceBindingFallback = 'input-budget';
-    metadata.omittedNamespaceBindingCount = base.contextRelations.reduce((n,e)=>n+(e.bindingHints??[]).filter(h=>h.confidence==='namespace-member-syntax-only').length,0);
-    base.contextRelations = base.contextRelations.map(e=>({...e,bindingHints:(e.bindingHints??[]).filter(h=>h.confidence!=='namespace-member-syntax-only')}));
+  const optional = h => h.confidence === 'namespace-member-syntax-only' || h.confidence === 'instance-method-syntax-only';
+  // Optional member navigation must not block source review or force extra windows.
+  if (base.contextRelations?.some(e=>e.bindingHints?.some(optional)) && !measure(payload).fits) {
+    metadata.optionalBindingFallback = 'input-budget';
+    metadata.omittedOptionalBindingCount = base.contextRelations.reduce((n,e)=>n+(e.bindingHints??[]).filter(optional).length,0);
+    base.contextRelations = base.contextRelations.map(e=>({...e,bindingHints:(e.bindingHints??[]).filter(h=>!optional(h))}));
     payload = JSON.stringify(base);
   }
   // Optional navigation must not block source review or force extra windows.
@@ -60,10 +61,10 @@ export function preparePrimaryInput(input, file, { instructions, scope, grouping
       if (measure(grouped).fits) { payload = grouped; metadata.relatedFileIds = relatedFiles.map(f => f.id); }
       else {
         // Optional member hints must not cost the grouped related sources either.
-        const groupedOmitted = bindingRelations.reduce((n, e) => n + (e.bindingHints ?? []).filter(h => h.confidence === 'namespace-member-syntax-only').length, 0);
-        const trimmedRelations = bindingRelations.map(e => ({ ...e, bindingHints: (e.bindingHints ?? []).filter(h => h.confidence !== 'namespace-member-syntax-only') })).filter(e => e.bindingHints.length || e.definitionHints?.length);
+        const groupedOmitted = bindingRelations.reduce((n, e) => n + (e.bindingHints ?? []).filter(optional).length, 0);
+        const trimmedRelations = bindingRelations.map(e => ({ ...e, bindingHints: (e.bindingHints ?? []).filter(h => !optional(h)) })).filter(e => e.bindingHints.length || e.definitionHints?.length);
         const trimmed = JSON.stringify({ ...base, relatedFiles, relations, bindingRelations: trimmedRelations, relationNotice: '命名和相对导入关系仅为源码线索，可能被同名局部变量遮蔽，不证明绑定、调用可达或因果；只报告主file的问题，不为relatedFiles重复生成发现。' });
-        if (groupedOmitted && measure(trimmed).fits) { payload = trimmed; metadata.relatedFileIds = relatedFiles.map(f => f.id); metadata.namespaceBindingFallback = 'input-budget'; metadata.omittedNamespaceBindingCount = (metadata.omittedNamespaceBindingCount ?? 0) + groupedOmitted; }
+        if (groupedOmitted && measure(trimmed).fits) { payload = trimmed; metadata.relatedFileIds = relatedFiles.map(f => f.id); metadata.optionalBindingFallback = 'input-budget'; metadata.omittedOptionalBindingCount = (metadata.omittedOptionalBindingCount ?? 0) + groupedOmitted; }
         else metadata.groupFallback = 'input-budget';
       }
     }