@feng0531/dsh-code-review 0.66.1 → 0.67.0

package/CHANGELOG.md

@@ -2,9 +2,13 @@
 
 本文件介绍对使用者有意义的变化。安装与参数见 [README](README.md)，本次发布正文见 [发布说明](RELEASE-NOTES.md)。历史提交和安装包保留在 [GitHub Releases](https://github.com/f-e-n-g-0531/dsh-code-review/releases)；本文不把开发日志当作功能介绍。
 
+## 0.67.0 — SVN 工作副本显式 mergeinfo 导航
+
+将有界 mergeinfo 来源路径/区间导航用于本地 BASE/工作侧属性变化，预览与结构化报告披露两侧元数据；复用历史解析，不扩大读取或网络范围。排除/阻断节点不回流，无效或超限保持明确状态、不输出部分导航。不是有效继承、归属或合并提交完整审查证明；全面 SVN 缺口继续保留。
+
 ## 0.66.1 — SVN 合并记录变化下的工作副本导航修复
 
-修复根目录 mergeinfo 条目在自动依赖和反向调用方候选中被当作非法源码路径的失败；仅目录身份根节点可跳过源码候选。祖先属性 modified 仅在双侧属性比较确认只改变 svn:mergeinfo 时允许导航，旧/新属性仍入身份指纹；其他属性变化、externals/special、switched 或冲突继续拒绝。离线依赖和限定调用方集成验证通过，不扩展历史自动导航。
+修复根目录 mergeinfo 条目在自动依赖和反向调用方候选中被当作非法源码路径的失败；仅目录身份根节点可跳过源码候选。祖先属性 modified 仅在双侧属性比较确认只改变 svn:mergeinfo 时允许导航，旧/新属性仍入身份指纹；其他属性变化、externals/special、switched 或冲突继续拒绝。离线依赖和限定调用方集成验证通过，不扩展历史自动导航。488 项串行回归、宿主、隔离安装和四矩阵 CI 通过；原产物/npm/Release 130,642 字节逐字节一致，双哈希、清单与冻结发布说明通过。
 
 ## 0.66.0 — SVN 历史显式 mergeinfo 来源导航
 

package/CORE-ALIGNMENT-TASKS.md

@@ -32,7 +32,8 @@
 
 ## 当前验证结论
 
-- 最近完整回归：485 项通过。
+- 最近完整回归：488 项通过。
+- v0.66.1 已修复根目录 mergeinfo 条目在工作副本依赖/调用方候选的非法路径失败，祖先仅合并记录属性变化经双侧比较后允许且仍入指纹。488 项串行回归、宿主、隔离安装和四矩阵 CI 通过；原产物/npm/Release 130,642 字节逐字节一致，双哈希、清单与冻结发布说明通过。全面 SVN 目标仍未完成。
 - v0.66.0 已交付批准历史 mergeinfo 属性的有界来源/区间导航，不展开 revision、不读取来源，也不证明有效继承/归属/审查覆盖。485 项串行回归、宿主、隔离安装及四矩阵 CI 通过；原产物/npm/Release 129,866 字节逐字节一致，双哈希、清单与冻结发布说明通过。跨 URL 分支比较、自动历史链/调用方等仍未完成。
 - v0.65.0 已交付固定 SVN 历史文件/目录类型替换，各侧节点类型/正文/属性与来源独立绑定，预览披露且后代覆盖保护保留。482 项串行回归、宿主、隔离安装和四矩阵 CI 通过；原产物/npm/Release 128,792 字节逐字节一致，双哈希、清单与冻结发布说明通过。未提交替换、自动历史链/调用方和其他全面 SVN 缺口仍待实现。
 - v0.64.1 已修复已提交 SVN 历史替换的同路径增删记录，真实目标旧/新正文和属性逐侧读取。481 项串行回归、宿主、隔离安装和四矩阵 CI 通过；原产物/npm/Release 128,279 字节逐字节一致，双哈希、清单与冻结发布说明通过。未提交工作副本替换和类型变化等仍未支持，全面目标继续。

package/RELEASE-NOTES.md

@@ -1,15 +1,14 @@
-# v0.66.1 发布说明
+# v0.67.0 发布说明
 
-## SVN 合并记录变化下的工作副本导航修复
+## SVN 工作副本显式 mergeinfo 导航
 
-修复根目录仅有 svn:mergeinfo 属性变化时，自动依赖与限定调用方发现可能报 Unsafe repository path 或祖先状态拒绝的问题。
+本地 BASE/工作侧属性变更中的 svn:mergeinfo 现在也生成有界来源路径与 revision 区间导航，并在预览及结构化报告中披露。
 
-- 明确目录身份的根节点 `.` 不作为源码依赖入口或调用目标；普通非法路径仍拒绝。
-- 祖先属性 modified 只有在离线读取 BASE/当前属性并确认仅 mergeinfo 不同后，才允许导航。
-- 旧/新属性仍入身份指纹；mergeinfo 修改触发指纹变化，不能绕过执行复核。
-- 其他属性变化、encoded/duplicate 属性、externals/special、冲突及来源身份变化继续拒绝。
-- 独立离线 SVN 测试验证依赖与限定调用方捕获，不新增联网或模型发送。
+- 复用固定历史解析规则：16KiB、100 来源路径、500 区间；不展开 revision 或读取来源分支。
+- 仅处理可审查、已批准节点的属性；排除/阻断条目不回流。
+- 无效/超限导航状态明确，不静默裁剪；原属性正文审查不受导航解析结果替代。
+- 独立 SVN 测试验证预览零发送、工作状态不变与报告披露。
 
-本版仅修复工作副本合并记录场景，历史自动链/调用方、未提交替换及其他全面 SVN 项仍在 [支持矩阵](SVN-SUPPORT-MATRIX.md) 中，目标尚未完成。
+导航不是有效继承 mergeinfo、源码归属或合并提交审查覆盖的证明。跨 URL 比较、自动历史链/调用方、未提交替换及其他全面 SVN 项仍见 [支持矩阵](SVN-SUPPORT-MATRIX.md)，目标尚未完成。
 
-使用见 [README](README.md)。
+用法见 [README](README.md)。

package/SVN-SUPPORT-MATRIX.md

@@ -26,8 +26,8 @@
 | switched、externals、稀疏/混合 revision | 多数拒绝；调用方/依赖链要求祖先 normal | 第四批：明确仓库边界与独立来源，禁止隐式跨仓读取 |
 | 固定 revision 单提交 | v0.62.0 已发布 svnRevision：r-1/r 固定对象、UUID/URL/peg/operative revision 逐侧绑定，正文不读工作树；远端显式 svnAllowNetwork。472 项串行回归、宿主、隔离安装、四矩阵 CI 及原包/npm/Release 125,486 字节、双哈希/清单/发布说明通过。历史上下文/规则/调用方尚未支持 | 第五批：新增明确 SVN 参数与冻结身份 |
 | 固定 revision 区间 | v0.62.0 已发布 svnBaseRevision/svnTargetRevision，固定树端点 summary+逐侧 cat/proplist，目录后代与属性纳入预算，不建临时工作树；同上述完整发布验证。分支间不同 URL 和历史上下文尚未支持 | 第五批：固定树端点与逐路径差异 |
-| 分支复制、分支间比较、合并来源 | v0.66.0 已发布批准历史 mergeinfo 属性的来源路径/区间导航，保留非继承标记、有界不展开 revision、不读取分支源码；invalid/limited 明确且不裁剪。485 项串行回归、宿主、隔离安装、四矩阵 CI 与原包/npm/Release 129,866 字节、双哈希/清单/发布说明通过；有效继承 mergeinfo、跨 URL 比较、源码归属/合并提交覆盖仍未支持 | 第六批：URL/peg/operative revision 与 mergeinfo 导航披露 |
-| 当前三层依赖与限定目录调用方 | 本地补根目录仅 mergeinfo 变化下的自动依赖/限定调用方：根目录不作源码候选，祖先双侧属性仅 mergeinfo 差异可通过且入指纹；其他属性/unsafe 状态仍拒绝，离线集成通过，待 v0.66.1 发布。其他祖先/混合状态继续待验证 | 第四批补祖先/混合状态组合 |
+| 分支复制、分支间比较、合并来源 | v0.66.0 已发布批准历史 mergeinfo 属性的来源路径/区间导航，保留非继承标记、有界不展开 revision、不读取分支源码；invalid/limited 明确且不裁剪。485 项串行回归、宿主、隔离安装、四矩阵 CI 与原包/npm/Release 129,866 字节、双哈希/清单/发布说明通过；本地新增工作副本 BASE/工作侧属性的同一有界导航及预览/报告披露，待 v0.67.0 发布。有效继承 mergeinfo、跨 URL 比较、源码归属/合并提交覆盖仍未支持 | 第六批：URL/peg/operative revision 与 mergeinfo 导航披露 |
+| 当前三层依赖与限定目录调用方 | v0.66.1 已发布根目录仅 mergeinfo 变化下的自动依赖/限定调用方修复：根目录不作源码候选，祖先双侧属性仅 mergeinfo 差异可通过且入指纹；其他属性/unsafe 状态仍拒绝。488 项串行回归、宿主、隔离安装、四矩阵 CI 与原包/npm/Release 130,642 字节、双哈希/清单/发布说明通过。其他祖先/混合状态继续待验证 | 第四批补祖先/混合状态组合 |
 | 历史两侧上下文与调用方 | v0.63.0 已发布显式 contextPaths 固定双侧来源及目标 rulePaths，UUID/URL/peg/operative revision/原字节与正文 hash 验证，禁止脏工作树与排除项回流。477 项串行回归、宿主、隔离安装、四矩阵 CI 与原包/npm/Release 127,355 字节、双哈希/清单/发布说明通过。v0.64.0 已发布 oldContextPaths 旧侧独有正文、SVN 来源专用校验、预览披露与选中删除身份复用；479 项串行回归、宿主、隔离安装、四矩阵 CI 与原包/npm/Release 127,879 字节、双哈希/清单/发布说明通过；自动三层历史链与历史调用方仍未实现 | 第六批：逐侧固定版本，不能回退至工作副本 |
 | 真正 r7314→r7315 样本 | 用户未提供隔离副本路径；本地类似复现不是该样本验收 | 获得路径后只读生成预览，不自动发送模型 |
 

package/package.json

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

package/src/review.mjs

@@ -105,6 +105,7 @@ export async function reviewSnapshot(snapshot, model, options = {}) {
     if (input.autoContext.truncated || input.autoContext.candidates.some(c => c.status === 'blocked')) report.limitations.push({ text: '自动上下文未完全捕获：存在截断或阻塞，仅实际捕获路径可用于证据。' });
   }
   if (input.history) report.history = structuredClone(input.history);
+  if (input.mergeSources) report.mergeSources = structuredClone(input.mergeSources);
   report.rules = (input.rules ?? []).map(({ path, hash }) => ({ path, hash }));
   if (options.enableGrouping === true) report.grouping = buildReviewGroups(input.files, inferFileRelations(input.files));
   report.interactions = [];

package/src/service.mjs

@@ -49,7 +49,7 @@ export function createReviewService(llm, { capture = captureSnapshot, now = Date
         while (previews.size >= maxPreviews) previews.delete(previews.keys().next().value);
         const previewId = randomUUID();
         previews.set(previewId, { ...current, target, options, rounds, snapshotId: snapshot.id, expires: now() + ttlMs });
-        return { ...(options.businessRequirement!==undefined?{businessRequirement:{text:options.businessRequirement,hash:hash(options.businessRequirement),bytes:Buffer.byteLength(options.businessRequirement)}}:{}), previewId, plan, snapshotId: snapshot.id, repositoryRoot: snapshot.root, vcs: snapshot.vcs, ...(snapshot.history ? { history: snapshot.history } : {}), model: current.route, modelSendingEnabled: allowModelSending, files: snapshot.files.map(f => ({ path: f.path, eligibility: f.eligibility, reason: f.reason, ...(f.rawStatus==='replaced'&&snapshot.history?.vcs==='svn'?{oldKind:f.oldKind,newKind:f.newKind,nodeNotice:f.nodeNotice}:{}), ...(f.blockCode ? {blockCode:f.blockCode} : {}), ...(f.copySource ? {copySource:f.copySource,copyNotice:f.copyNotice} : {}) })), contextPaths: snapshot.context.map(c => c.path), ...(options.oldContextPaths !== undefined ? {oldContextPaths:options.oldContextPaths,oldContextSources:snapshot.context.filter(c=>c.oldOnly).map(c=>({path:c.path,side:'context-old',revision:c.oldRevision,...(c.oldSvnSource?{svnSource:c.oldSvnSource}:{blobOid:c.oldBlobOid}),hash:c.oldHash}))} : {}), ...(snapshot.callerDiscovery ? {callerDiscovery:snapshot.callerDiscovery} : {}), ...(snapshot.autoContext ? { autoContext: snapshot.autoContext } : {}), rules: (snapshot.rules ?? []).map(({ path, hash }) => ({ path, hash })), notice: (options.oldContextPaths !== undefined ? 'oldContextPaths仅为baseline旧侧正文，无目标侧替代；选中变更复用原old身份，旧侧不能证明新侧行为。' : '') + (snapshot.callerDiscovery ? 'callerScopePaths已授权预览读取限定目录内tracked候选正文，包括不匹配文件；非匹配正文不发送模型，匹配捕获上下文会发送。仅字面引用导航，不是函数调用或完整调用覆盖。' : '') + (enableRiskPlanning ? '执行按plan阈值决定风险假设规划，小变更可跳过独立规划但仍主审并复核；计划不是证据，所有阶段共享原预算。' : '') + '执行会向上述模型提供方发送可审查文件两侧内容、预览列出的显式/自动上下文、所选项目规则全文及预览业务需求文本。模型可在该快照范围内多轮只读检索，不读取范围外文件；候选生成后会进行证据与反证复核，两阶段各最多3轮检索，共享每文件120秒和总模型调用100次预算；复核不能证明缺陷成立。plan.reviewRounds为独立审查工作量，非模型reasoning effort；后续轮不带首轮风险计划，所有轮共享原超时与预算。plan仅预检初始输入，ready不代表已审查；minimumCalls不含后续检索/复核/动态业务综合；多文件可先进行业务分组，分组失败保留原组并记录限制，动态综合数执行前未知，实际预算可能不足。请先向用户展示范围，获得确认后执行。' };
+        return { ...(options.businessRequirement!==undefined?{businessRequirement:{text:options.businessRequirement,hash:hash(options.businessRequirement),bytes:Buffer.byteLength(options.businessRequirement)}}:{}), previewId, plan, snapshotId: snapshot.id, repositoryRoot: snapshot.root, vcs: snapshot.vcs, ...(snapshot.history ? { history: snapshot.history } : {}), ...(snapshot.mergeSources ? {mergeSources:snapshot.mergeSources} : {}), model: current.route, modelSendingEnabled: allowModelSending, files: snapshot.files.map(f => ({ path: f.path, eligibility: f.eligibility, reason: f.reason, ...(f.rawStatus==='replaced'&&snapshot.history?.vcs==='svn'?{oldKind:f.oldKind,newKind:f.newKind,nodeNotice:f.nodeNotice}:{}), ...(f.blockCode ? {blockCode:f.blockCode} : {}), ...(f.copySource ? {copySource:f.copySource,copyNotice:f.copyNotice} : {}) })), contextPaths: snapshot.context.map(c => c.path), ...(options.oldContextPaths !== undefined ? {oldContextPaths:options.oldContextPaths,oldContextSources:snapshot.context.filter(c=>c.oldOnly).map(c=>({path:c.path,side:'context-old',revision:c.oldRevision,...(c.oldSvnSource?{svnSource:c.oldSvnSource}:{blobOid:c.oldBlobOid}),hash:c.oldHash}))} : {}), ...(snapshot.callerDiscovery ? {callerDiscovery:snapshot.callerDiscovery} : {}), ...(snapshot.autoContext ? { autoContext: snapshot.autoContext } : {}), rules: (snapshot.rules ?? []).map(({ path, hash }) => ({ path, hash })), notice: (options.oldContextPaths !== undefined ? 'oldContextPaths仅为baseline旧侧正文，无目标侧替代；选中变更复用原old身份，旧侧不能证明新侧行为。' : '') + (snapshot.callerDiscovery ? 'callerScopePaths已授权预览读取限定目录内tracked候选正文，包括不匹配文件；非匹配正文不发送模型，匹配捕获上下文会发送。仅字面引用导航，不是函数调用或完整调用覆盖。' : '') + (enableRiskPlanning ? '执行按plan阈值决定风险假设规划，小变更可跳过独立规划但仍主审并复核；计划不是证据，所有阶段共享原预算。' : '') + '执行会向上述模型提供方发送可审查文件两侧内容、预览列出的显式/自动上下文、所选项目规则全文及预览业务需求文本。模型可在该快照范围内多轮只读检索，不读取范围外文件；候选生成后会进行证据与反证复核，两阶段各最多3轮检索，共享每文件120秒和总模型调用100次预算；复核不能证明缺陷成立。plan.reviewRounds为独立审查工作量，非模型reasoning effort；后续轮不带首轮风险计划，所有轮共享原超时与预算。plan仅预检初始输入，ready不代表已审查；minimumCalls不含后续检索/复核/动态业务综合；多文件可先进行业务分组，分组失败保留原组并记录限制，动态综合数执行前未知，实际预算可能不足。请先向用户展示范围，获得确认后执行。' };
       } finally { busy = false; }
     },
     async execute(args, exec) {

package/src/svn-history.mjs

@@ -4,7 +4,7 @@ import {xml} from './svn.mjs';
 import {hash,decode,relativePath} from './content.mjs';
 import {isSecretPath,assertNonSecretPath} from './secret-path.mjs';
 import {captureProjectRules} from './project-rules.mjs';
-import {mergeinfoNavigation} from './svn-mergeinfo.mjs';
+import {snapshotMergeSources} from './svn-mergeinfo.mjs';
 
 const revision = value => {
   if (typeof value !== 'string' || !/^(0|[1-9][0-9]*)$/.test(value) || !Number.isSafeInteger(Number(value))) throw new Error('SVN revision must be a fixed nonnegative decimal string');
@@ -132,7 +132,7 @@ export async function captureSvnHistory(cwd,options={}) {
   for(const item of files.filter(f=>(f.oldKind==='dir'||f.newKind==='dir')&&['added','deleted','replaced'].includes(f.rawStatus)&&f.eligibility==='reviewable').sort((a,b)=>b.path.length-a.path.length)){
     if(files.some(child=>child.path.startsWith(item.path==='.'?'':item.path+'/')&&child!==item&&child.eligibility!=='reviewable')){item.eligibility='blocked';item.reason='Historical directory descendant coverage incomplete';delete item.left;delete item.right;}
   }
-  const mergeSources=files.filter(file=>file.eligibility==='reviewable').flatMap(file=>file.properties.filter(prop=>prop.name==='svn:mergeinfo').map(prop=>({path:file.path,old:mergeinfoNavigation(prop.old),new:mergeinfoNavigation(prop.new)})));
+  const mergeSources=snapshotMergeSources(files);
   const context=[];
   const targetContent=async(name)=>{
     const changed=files.find(file=>file.path===name);

package/src/svn-mergeinfo.mjs

@@ -1,5 +1,9 @@
 import {hash} from './content.mjs';
 
+export function snapshotMergeSources(files) {
+  return files.filter(file=>file.eligibility==='reviewable').flatMap(file=>file.properties.filter(prop=>prop.name==='svn:mergeinfo').map(prop=>({path:file.path,old:mergeinfoNavigation(prop.old),new:mergeinfoNavigation(prop.new)})));
+}
+
 // Navigation over an already approved property. Never expands revisions or reads URLs.
 export function mergeinfoNavigation(text) {
   if(text===null || text==='')return {status:'parsed',sources:[],hash:hash(text??'')};

package/src/svn.mjs

@@ -1,5 +1,6 @@
 import { isSecretPath } from './secret-path.mjs';
 import { svnStateIssue } from './svn-state.mjs';
+import { snapshotMergeSources } from './svn-mergeinfo.mjs';
 import { realpath, lstat } from 'node:fs/promises';
 import path from 'node:path';
 import { isDeepStrictEqual } from 'node:util';
@@ -152,6 +153,7 @@ export async function captureSvn(cwd, options = {}) {
     const right = ['deleted', 'unversioned'].includes(item.rawStatus) ? {} : await properties(root, item.path, false, options);
     if (hash(JSON.stringify([left, right])) !== item.propertyIdentity) throw new Error('Properties changed during capture');
   }
-  const snapshot = { schemaVersion: 1, vcs: 'svn', root, repositoryUuid: info.repository.uuid, files };
+  const mergeSources = snapshotMergeSources(files);
+  const snapshot = { schemaVersion: 1, vcs: 'svn', root, repositoryUuid: info.repository.uuid, ...(mergeSources.length ? {mergeSources} : {}), files };
   return { ...snapshot, id: hash(JSON.stringify(snapshot)) };
 }