@feng0531/dsh-code-review 0.62.0 → 0.64.0

package/CHANGELOG.md

@@ -2,9 +2,17 @@
 
 本文件介绍对使用者有意义的变化。安装与参数见 [README](README.md)，本次发布正文见 [发布说明](RELEASE-NOTES.md)。历史提交和安装包保留在 [GitHub Releases](https://github.com/f-e-n-g-0531/dsh-code-review/releases)；本文不把开发日志当作功能介绍。
 
+## 0.64.0 — SVN 历史旧侧独有上下文
+
+SVN 固定历史模式支持 oldContextPaths：只读取 baseline 的指定正文，保留 UUID/URL/peg/operative revision 和哈希，不创建目标正文或推断目标存在性。已选删除等旧变更复用原身份，排除/阻断/无旧侧变更拒绝回流；与目标上下文共享 20 名额和原历史读取预算。预览明确披露 SVN 来源，与 Git blob 校验分开。自动历史链与调用方仍待实现。
+
+## 0.63.0 — SVN 历史显式上下文与目标规则
+
+固定 revision 历史模式支持显式 contextPaths 和 rulePaths。上下文目标/旧侧独立读取与验证 UUID、URL、peg/operative revision 和原字节/正文哈希，规则只取目标版本；不读脏工作树，不让已排除或删除变更通过上下文重新进入。共享原名额、源码、命令和总采集预算；old-only、自动历史链与历史调用方继续待实现。同时增加模型 JSON 输出形状和无效 read 字段的安全诊断，明确读行协议，保留严格拒绝、失败分类与零自动重试；用户 loader 实际失败样本尚未验证。477 项串行回归、宿主、隔离安装与四矩阵 CI 通过；原产物/npm/Release 127,355 字节逐字节一致，双哈希、清单与冻结发布说明通过。
+
 ## 0.62.0 — SVN 原生固定 revision 历史审查初始模式
 
-新增 svnRevision 与 svnBaseRevision/svnTargetRevision，读取工作副本根仓库 URL 的固定版本对象与双侧属性，不读脏工作树、不重建临时业务工作副本。来源绑定 UUID/URL/peg/operative revision/hash；远端含 UNC 文件共享必须显式 svnAllowNetwork。目录后代逐项覆盖、关键词用仓库未展开正文，保持原数量/源码/调用预算与预览确认链。初始模式不支持历史上下文、规则、调用方与跨 URL 分支比较。替换 diff 重建仅候选组件，未开放工作副本替换。
+新增 svnRevision 与 svnBaseRevision/svnTargetRevision，读取工作副本根仓库 URL 的固定版本对象与双侧属性，不读脏工作树、不重建临时业务工作副本。来源绑定 UUID/URL/peg/operative revision/hash；远端含 UNC 文件共享必须显式 svnAllowNetwork。目录后代逐项覆盖、关键词用仓库未展开正文，保持原数量/源码/调用预算与预览确认链。初始模式不支持历史上下文、规则、调用方与跨 URL 分支比较。替换 diff 重建仅候选组件，未开放工作副本替换。472 项串行回归、宿主、隔离安装及四矩阵 CI 通过；原产物/npm/Release 125,486 字节逐字节一致，双哈希、清单与冻结发布说明通过。
 
 ## 0.61.0 — SVN 目录复制后代覆盖
 

package/CORE-ALIGNMENT-TASKS.md

@@ -32,7 +32,9 @@
 
 ## 当前验证结论
 
-- 最近完整回归：465 项通过。
+- 最近完整回归：477 项通过。
+- v0.63.0 已交付 SVN 历史显式双侧上下文与目标规则，以及模型 JSON/read 请求的安全诊断。477 项串行回归、宿主、隔离安装和四矩阵 CI 通过；原产物/npm/Release 127,355 字节逐字节一致，双哈希、清单与冻结发布说明通过。用户 loader 的实际协议失败尚未核验，不宣称已修复该样本；历史自动链/调用方、旧侧独有上下文及其他 SVN 缺口继续。
+- v0.62.0 已交付 SVN 原生固定 revision/区间初始审查：显式远端门禁、固定双侧正文/属性/来源身份、目录后代覆盖和确认执行链。472 项串行回归、宿主、隔离安装与四矩阵 CI 通过；原产物/npm/Release 125,486 字节逐字节一致，双哈希、清单与冻结发布说明通过。历史上下文/规则/调用方、跨 URL 分支和工作副本替换等仍待实现。
 - v0.61.0 已交付同仓库目录复制后代显式覆盖与继承来源身份；目标新增空旧侧、预览零发送、离线及凭据后代保护通过。465 项串行回归、宿主、隔离安装和四矩阵 CI 通过；原产物/npm/Release 120,159 字节逐字节一致，双哈希、清单与冻结发布说明通过。替换、关键字与历史等继续待实现。
 - v0.60.1 已交付 SVN 阻断状态稳定诊断及预览/报告原因码；普通与复制替换仍明确拒绝，不冒充真实双侧支持。463 项串行回归、宿主、隔离安装和四矩阵 CI 通过；原产物/npm/Release 119,462 字节逐字节一致，双哈希、清单与冻结发布说明通过。全面 SVN 目标继续。
 - v0.60.0 已交付 SVN 普通目录新增/删除的后代逐项覆盖，离线补齐默认 status 隐藏的删除后代；显式选择、凭据排除与原预算仍生效。461 项串行回归、宿主、隔离安装和四矩阵 CI 通过；原产物/npm/Release 118,284 字节逐字节一致，双哈希、清单与冻结发布说明通过。目录复制、替换及历史等仍在后续矩阵中。

package/README.md

@@ -61,14 +61,14 @@ DSH 的只读代码审查插件。它比较 Git 或 SVN 中的代码变更，使
 | contextPaths | 手动加入理解代码所需的文件 | ["src/types.ts"] |
 | autoContext | 从变更及手动上下文寻找依赖；Git 和 SVN 最多沿三层依赖链读取 | true |
 | callerScopePaths | 在指定目录中寻找引用变更文件的代码；已捕获调用方会标出调用行与唯一声明行 | ["src/clients"] |
-| oldContextPaths | Git 历史审查中，只加入旧版本的上下文 | ["src/removed-helper.ts"] |
+| oldContextPaths | Git/SVN 固定历史审查中，只加入旧版本的上下文；共享上下文名额 | ["src/removed-helper.ts"] |
 | rulePaths | 加入项目审查规则，最多四个 UTF-8 Markdown 或文本文件 | ["review-rules.md"] |
 | businessRequirement | 提供业务要求；不是缺陷证据，也不会增加读取权限 | "请求失败时必须释放连接" |
 | reviewRounds | 独立审查次数，1～3，默认 1；会增加模型调用量 | 2 |
 
-commit 与 baseRevision/targetRevision 不能同时使用。oldContextPaths 只能用于 Git 历史审查。
+commit 与 baseRevision/targetRevision 不能同时使用。oldContextPaths 只能用于 Git/SVN 固定历史审查，不适用于工作副本模式。
 
-SVN 历史模式使用独立参数，不可与 Git 参数混用。示例：`{"svnRevision":"7315","svnAllowNetwork":true}`；或 `{"svnBaseRevision":"7314","svnTargetRevision":"7315","svnAllowNetwork":true}`。只接受固定十进制 revision，不接受 HEAD、日期或相对别名。仅选择工作副本根当前仓库 URL，不支持任意远端 URL；预览会读取明确端点的仓库元数据与源码（远端需显式许可），但不发送模型。初始历史模式不支持 autoContext、contextPaths、oldContextPaths、rulePaths、callerScopePaths，不能回退到当前工作副本。目录新增/删除按后代逐项覆盖，凭据、链接/特殊节点与超限继续拒绝。
+SVN 历史模式使用独立参数，不可与 Git 参数混用。示例：`{"svnRevision":"7315","svnAllowNetwork":true}`；或 `{"svnBaseRevision":"7314","svnTargetRevision":"7315","svnAllowNetwork":true}`。只接受固定十进制 revision，不接受 HEAD、日期或相对别名。仅选择工作副本根当前仓库 URL，不支持任意远端 URL；预览会读取明确端点的仓库元数据与源码（远端需显式许可），但不发送模型。历史模式支持显式 contextPaths 与 rulePaths：上下文按目标版和已核验的旧版正文分别保存，规则只读取目标版；共享 20 上下文名额与原采集预算。oldContextPaths 可显式选择仅旧版正文，没有目标占位，选中旧变更复用原身份；不能恢复已排除/阻断/无旧侧的变更。autoContext 和历史 callerScopePaths 仍未支持，不能回退到当前工作副本。目录新增/删除按后代逐项覆盖，凭据、链接/特殊节点与超限继续拒绝。
 
 自动上下文和引用方发现是保守的文本导航，不是编译器分析。动态导入、宏、重载、继承和实例方法可能无法解析；找到引用不等于证明函数实际被调用。历史调用方的命名导入线索逐侧对应相同版本声明，标明 side/revision；缺少该版本的批准正文不回退另一侧。Git 历史可沿修改前后两侧分别捕获最多三层依赖；SVN 工作副本模式可沿安全的当前节点取得最多三层依赖；初始固定 revision 历史模式尚不支持历史依赖导航。已批准正文中的唯一命名声明和唯一 default 导出会标出位置；同名、重导出或跨侧内容不猜测。命名空间导入后的独立成员调用可导航至唯一命名声明；写入、逃逸或间接调用不推定绑定，不是实例类型分析。
 

package/RELEASE-NOTES.md

@@ -1,18 +1,16 @@
-# v0.62.0 发布说明
+# v0.64.0 发布说明
 
-## SVN 原生固定 revision 历史审查初始模式
+## SVN 历史旧侧独有上下文
 
-新增 `svnRevision`（r-1 与 r）和 `svnBaseRevision` / `svnTargetRevision`（明确旧/新树端点），可直接审查工作副本根对应仓库 URL 的固定历史版本，无须在业务工作副本回退或合并。
+SVN 固定 revision 审查支持显式 `oldContextPaths`，可补充仅用于旧侧理解的代码，不读取当前工作树或对应目标正文。
 
-- 来源逐侧绑定仓库 UUID、URL、peg revision、operative revision 和正文哈希，不使用脏工作树。
-- 非本地仓库访问必须显式 `svnAllowNetwork:true`（含 file://server 网络共享）。预览会读取指定历史元数据与源码，但零模型发送；确认执行仍重验快照。
-- 捕获正文、属性及目录增删后代；历史关键词用 svn cat --ignore-keywords 的未展开仓库正文，不伪造工作侧行号。
-- 共享原文件数、源码/快照上限及有界命令、元数据和总采集时间；超限不冒充成功。
+- 只捕获 baseline 正文，独立绑定 UUID、URL、peg/operative revision、原字节和正文哈希，不创建目标占位或猜测新路径存在性。
+- 已选删除等变更复用原旧侧身份，不重复建立上下文；已排除、阻断或无旧侧变更拒绝恢复。
+- 与 contextPaths 共享 20 文件名额、原历史源码/元数据/命令/时间预算；规则与新旧上下文不可重叠。
+- 预览披露旧侧 SVN 来源；检索目录只开放批准旧侧，Git blob 校验保持原语义。
 
-## 初始模式限制
+## 当前限制
 
-只接受数字 revision，不接受 HEAD/日期别名，不支持任意 URL、跨 URL 分支比较和历史 contextPaths/oldContextPaths/rulePaths/autoContext/callerScopePaths。历史依赖及调用方仍待后续实现。
+自动历史依赖链、历史调用方、跨 URL 分支、工作副本替换及关键字映射仍待后续推进。旧侧上下文不代表目标回归已被证明，也不授权读取更多文件。全面目标进度见 [SVN 支持矩阵](SVN-SUPPORT-MATRIX.md)。
 
-离线替换 diff 重建组件仅返回 candidate-only，不能独立证明旧节点完整来源/编码/属性，未接入工作副本替换采集。全面 SVN 目标尚未完成，见 [SVN 支持矩阵](SVN-SUPPORT-MATRIX.md)。
-
-参数与用法见 [README](README.md)。
+用法见 [README](README.md)。

package/SVN-SUPPORT-MATRIX.md

@@ -24,11 +24,11 @@
 | svn:keywords、svn:eol-style | keywords 当前阻断；换行保留原文但无规范化映射 | 第三批：双侧可验证映射，保留原字节和定位 |
 | svn:special/链接 | 当前阻断，不跟随链接取正文 | 第三批：如支持只审链接目标数据；不沿链接读取文件 |
 | switched、externals、稀疏/混合 revision | 多数拒绝；调用方/依赖链要求祖先 normal | 第四批：明确仓库边界与独立来源，禁止隐式跨仓读取 |
-| 固定 revision 单提交 | 本地开发新增 svnRevision：r-1/r 固定对象、UUID/URL/peg/operative revision 逐侧绑定，正文不读工作树；远端读取显式 svnAllowNetwork，初始无历史上下文/规则/调用方，待最终回归与发布 | 第五批：新增明确 SVN 参数与冻结身份 |
-| 固定 revision 区间 | 本地开发新增 svnBaseRevision/svnTargetRevision，固定树端点 summary+逐侧 cat/proplist，目录后代与属性纳入预算；不建临时工作树，待最终回归与发布。分支间不同 URL 和历史上下文尚未支持 | 第五批：固定树端点与逐路径差异 |
+| 固定 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 和历史上下文尚未支持 | 第五批：固定树端点与逐路径差异 |
 | 分支复制、分支间比较、合并来源 | mergeinfo 当前仅作为属性文本；不证明源码归属或被合并提交均已审查 | 第六批：URL/peg/operative revision 与 mergeinfo 导航披露 |
 | 当前三层依赖与限定目录调用方 | 已有安全 normal 节点的离线有界测试；根属性修改可能使祖先检查拒绝，需单独验证 | 第四批补祖先/混合状态组合 |
-| 历史两侧上下文与调用方 | 未实现 | 第六批：逐侧固定版本，不能回退至工作副本 |
+| 历史两侧上下文与调用方 | v0.63.0 已发布显式 contextPaths 固定双侧来源及目标 rulePaths，UUID/URL/peg/operative revision/原字节与正文 hash 验证，禁止脏工作树与排除项回流。477 项串行回归、宿主、隔离安装、四矩阵 CI 与原包/npm/Release 127,355 字节、双哈希/清单/发布说明通过。本地新增 oldContextPaths 旧侧独有正文、SVN 来源专用校验、预览披露与选中删除身份复用，待本批发布；自动三层历史链与历史调用方仍未实现 | 第六批：逐侧固定版本，不能回退至工作副本 |
 | 真正 r7314→r7315 样本 | 用户未提供隔离副本路径；本地类似复现不是该样本验收 | 获得路径后只读生成预览，不自动发送模型 |
 
 ## 每批发布门禁

package/index.mjs

@@ -12,7 +12,7 @@ export function apply(ctx, config = {}) {
   };
   ctx.tools.register({
     name: 'code_review_preview', description: 'Preview Git/SVN working-copy or Git commit/range review scope and model destination without sending source to a model. repositoryPath selects an explicit child repository relative to session workspace; file paths are repository-relative. Preview each repository separately. Show the preview before execution.',
-    parameters: { type: 'object', additionalProperties: false, properties: { svnRevision: { type: 'string', description: 'SVN fixed numeric revision reviewed against revision minus one. Requires SVN working-copy root; no HEAD/date aliases.' }, svnBaseRevision: { type: 'string', description: 'SVN fixed numeric old endpoint; requires svnTargetRevision, mutually exclusive with svnRevision and Git revision parameters.' }, svnTargetRevision: { type: 'string', description: 'SVN fixed numeric new endpoint, greater than old endpoint. Fixed repository objects, not working-copy text. Initial mode rejects context/rules/callers.' }, svnAllowNetwork: { type: 'boolean', description: 'Explicit opt-in to read the working-copy repository URL at fixed SVN revisions during preview/execute; preview sends no source to a model. Required for non-file repository URLs; default denies remote access. Does not allow checkout/update/merge or arbitrary URLs.' }, reviewRounds: { type: 'integer', minimum: 1, maximum: 3, description: 'Explicit independent review passes, default 1. Preview discloses extra sends; later passes omit the first risk plan. Shares existing timeout, call and retrieval budgets, not provider reasoning effort. Bound to this preview; execute cannot override.' }, oldContextPaths: { type: 'array', maxItems: 20, items: { type: 'string' }, description: 'Explicit Git historical baseline-only blob context paths. Shares 20 context slots. No target text is inferred; selected old changes reuse their original identity, excluded changes cannot reenter. Unsupported on working reviews and SVN.' }, callerScopePaths: { type: 'array', minItems: 1, maxItems: 4, items: { type: 'string' }, description: 'Explicit non-root repository-relative directories for bounded tracked literal reverse import/include discovery. Git/SVN working review or Git fixed commit/range review. SVN uses offline normal nodes, rejects unsafe ancestor states and special/keyword properties. Historical sides share scan budgets and use object blobs only. Preview reads candidate bodies, including nonmatches; only captured matching context is sent. Navigation only, not complete caller coverage.' }, businessRequirement: { type: 'string', maxLength: 16384, description: 'Optional business constraint text up to 16KiB UTF8; untrusted data, not evidence or permission. Bound to preview and sent in review phases.' }, commit: { type: 'string', description: 'Git commit versus sole parent; root empty, merge requires range.' }, baseRevision: { type: 'string', description: 'Git old endpoint; requires targetRevision, mutually exclusive with commit.' }, targetRevision: { type: 'string', description: 'Git new endpoint, exact tree endpoints not merge-base. Explicit context uses target tree with available baseline provenance; oldContextPaths is baseline-only. Historical caller discovery scans fixed sides; explicit rules use target-tree blobs.' }, repositoryPath: { type: 'string', description: 'Workspace-relative explicit child Git/SVN repository root, forward slashes; omit for current repository.' }, selectedPaths: { type: 'array', items: { type: 'string' }, maxItems: 200 }, autoContext: { type: 'boolean', description: 'Opt in to tracked literal import/include context shown in preview. Working Git follows changed and explicitly selected context sources at most 3 dependency layers under shared 512 exact probes, 20 candidates/context slots, 1MiB source and 30s verification budget. Git history follows at most 3 baseline/target dependency layers with shared limits, object reads only; SVN follows at most 3 safe offline current-side layers with exact path probes and node/ancestor identity verification, sharing limits; no SVN historical review. Not semantic binding or complete definitions.' }, contextPaths: { type: 'array', items: { type: 'string' }, maxItems: 20 }, rulePaths: { type: 'array', items: { type: 'string' }, maxItems: 4 } } },
+    parameters: { type: 'object', additionalProperties: false, properties: { svnRevision: { type: 'string', description: 'SVN fixed numeric revision reviewed against revision minus one. Requires SVN working-copy root; no HEAD/date aliases.' }, svnBaseRevision: { type: 'string', description: 'SVN fixed numeric old endpoint; requires svnTargetRevision, mutually exclusive with svnRevision and Git revision parameters.' }, svnTargetRevision: { type: 'string', description: 'SVN fixed numeric new endpoint, greater than old endpoint. Fixed repository objects, not working-copy text. Supports explicitly selected target context with verified baseline provenance and target rules; explicit old-only context is also supported with fixed SVN provenance; automatic context and historical callers remain unsupported.' }, svnAllowNetwork: { type: 'boolean', description: 'Explicit opt-in to read the working-copy repository URL at fixed SVN revisions during preview/execute; preview sends no source to a model. Required for non-file repository URLs; default denies remote access. Does not allow checkout/update/merge or arbitrary URLs.' }, reviewRounds: { type: 'integer', minimum: 1, maximum: 3, description: 'Explicit independent review passes, default 1. Preview discloses extra sends; later passes omit the first risk plan. Shares existing timeout, call and retrieval budgets, not provider reasoning effort. Bound to this preview; execute cannot override.' }, oldContextPaths: { type: 'array', maxItems: 20, items: { type: 'string' }, description: 'Explicit Git/SVN historical baseline-only context paths. Git uses fixed blobs; SVN uses UUID/URL/peg/operative revision/hash. Shares 20 context slots. No target text is inferred; selected old changes reuse original identity, excluded changes cannot reenter. Unsupported on working reviews.' }, callerScopePaths: { type: 'array', minItems: 1, maxItems: 4, items: { type: 'string' }, description: 'Explicit non-root repository-relative directories for bounded tracked literal reverse import/include discovery. Git/SVN working review or Git fixed commit/range review. SVN uses offline normal nodes, rejects unsafe ancestor states and special/keyword properties. Historical sides share scan budgets and use object blobs only. Preview reads candidate bodies, including nonmatches; only captured matching context is sent. Navigation only, not complete caller coverage.' }, businessRequirement: { type: 'string', maxLength: 16384, description: 'Optional business constraint text up to 16KiB UTF8; untrusted data, not evidence or permission. Bound to preview and sent in review phases.' }, commit: { type: 'string', description: 'Git commit versus sole parent; root empty, merge requires range.' }, baseRevision: { type: 'string', description: 'Git old endpoint; requires targetRevision, mutually exclusive with commit.' }, targetRevision: { type: 'string', description: 'Git new endpoint, exact tree endpoints not merge-base. Explicit context uses target tree with available baseline provenance; oldContextPaths is baseline-only. Historical caller discovery scans fixed sides; explicit rules use target-tree blobs.' }, repositoryPath: { type: 'string', description: 'Workspace-relative explicit child Git/SVN repository root, forward slashes; omit for current repository.' }, selectedPaths: { type: 'array', items: { type: 'string' }, maxItems: 200 }, autoContext: { type: 'boolean', description: 'Opt in to tracked literal import/include context shown in preview. Working Git follows changed and explicitly selected context sources at most 3 dependency layers under shared 512 exact probes, 20 candidates/context slots, 1MiB source and 30s verification budget. Git history follows at most 3 baseline/target dependency layers with shared limits, object reads only; SVN follows at most 3 safe offline current-side layers with exact path probes and node/ancestor identity verification, sharing limits; no SVN historical review. Not semantic binding or complete definitions.' }, contextPaths: { type: 'array', items: { type: 'string' }, maxItems: 20 }, rulePaths: { type: 'array', items: { type: 'string' }, maxItems: 4 } } },
     output,
     async execute(args, exec) { const preview = await service.preview(args, exec); return { json: JSON.stringify(preview), markdown: '' }; },
   });

package/package.json

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

package/src/context-identity.mjs

@@ -3,15 +3,34 @@ import { assertNonSecretPath } from './secret-path.mjs';
 
 export const CONTEXT_SIDE_NOTICE = 'context.text属于批准当前或target侧；oldText/oldRevision与context-old属于baseline旧侧。oldOnly:true表示只捕获旧侧，没有target正文，不证明目标路径不存在。不得互换版本或用旧侧上下文证明新侧行为；没有证据须保留uncertain。';
 
+function verifySvnSource(source, history, name, revision, text) {
+ const expected=history.url?.replace(/\/$/,'')+'/'+name.split('/').map(encodeURIComponent).join('/');
+ if(!source||source.repositoryUuid!==history.repositoryUuid||source.url!==expected||source.pegRevision!==revision||source.operativeRevision!==revision||!/^[0-9a-f]{64}$/.test(source.hash??'')||source.textHash!==hash(text))throw new Error('Invalid SVN historical context provenance');
+}
+
 // Validate approved snapshot data only. This does not authorize any capture.
 export function contextSources(item, history) {
  if (!item || relativePath(item.path) !== item.path) throw new Error('Invalid context path');
  assertNonSecretPath(item.path);
  if (item.oldOnly !== undefined && item.oldOnly !== true) throw new Error('Invalid old-only context marker');
+ if (item.oldOnly === true && history?.vcs === 'svn') {
+  if(typeof item.oldText!=='string'||item.oldRevision!==history.base||item.oldHash!==hash(item.oldText)||['text','revision','hash','svnSource','oldBlobOid'].some(key=>item[key]!==undefined))throw new Error('Invalid SVN old-only historical context provenance');
+  verifySvnSource(item.oldSvnSource,history,item.path,history.base,item.oldText);
+  return [{side:'context-old',text:item.oldText,revision:item.oldRevision,hash:item.oldHash,svnSource:structuredClone(item.oldSvnSource)}];
+ }
  if (item.oldOnly === true) {
   if (!history || !history.base || !/^(?:[a-f0-9]{40}|[a-f0-9]{64})$/.test(history.base) || item.oldRevision !== history.base || typeof item.oldText !== 'string' || item.text !== undefined || item.revision !== undefined || item.hash !== undefined || !/^(?:[a-f0-9]{40}|[a-f0-9]{64})$/.test(item.oldBlobOid ?? '') || item.oldHash !== hash(item.oldText)) throw new Error('Invalid old-only historical context provenance');
   return [{side:'context-old',text:item.oldText,revision:item.oldRevision,blobOid:item.oldBlobOid,hash:item.oldHash}];
  }
+ if (history?.vcs === 'svn') {
+  const verify = (source, revision, text) => verifySvnSource(source,history,item.path,revision,text);
+  if (item.revision !== history.target || typeof item.text !== 'string') throw new Error('Invalid SVN historical context provenance');
+  verify(item.svnSource, history.target, item.text);
+  if (item.oldText !== undefined) {
+   if (item.oldRevision !== history.base || typeof item.oldText !== 'string') throw new Error('Invalid SVN historical context provenance');
+   verify(item.oldSvnSource, history.base, item.oldText);
+  }
+ }
  if (typeof item.text !== 'string') throw new Error('Missing current context text');
  const sources=[{side:'context',text:item.text,...(item.revision ? {revision:item.revision} : {})}];
  if (item.oldText !== undefined) {

package/src/model-json.mjs

@@ -5,7 +5,8 @@ export function modelJson(text) {
  const fence=/^```(?:json)?\r?\n([\s\S]*)\r?\n```$/.exec(trimmed);
  const body=fence?fence[1]:trimmed;
  try { JSON.parse(body); } catch {
-  const error=new Error('Model response is not complete JSON (bytes='+bytes+', envelope='+(fence?'json-fence':'plain')+'); no repair or retry performed');
+  const shape = !trimmed ? 'empty' : trimmed.startsWith('```') && !fence ? 'non-exact-fence' : /^[{\[]/.test(body) ? 'json-like-invalid' : 'non-json-leading';
+  const error=new Error('Model response is not complete JSON (bytes='+bytes+', envelope='+(fence?'json-fence':'plain')+', shape='+shape+'); no repair or retry performed');
   error.code='MODEL_INVALID_JSON';throw error;
  }
  return body;

package/src/retrieval-loop.mjs

@@ -1,6 +1,6 @@
 import { executeRetrievalBatch } from './retrieval-protocol.mjs';
 
-export const RETRIEVAL_INSTRUCTIONS = '可返回严格JSON {requests:[{kind:"read",id:"s1",start:1,count:20}]} 或 {requests:[{kind:"search",query:"符号",limit:20}]} 获取catalog中批准的快照内容。search可带sourceIds:["s1"]仅搜索1至20个catalog身份（可按文件/旧新侧筛选），不填则全快照字面搜索。或{requests:[{kind:"find",query:"路径片段",limit:20}]}仅按大小写敏感字面子串查找已批准catalog路径（不是全仓发现，未命中不说明仓库不存在）。返回版本侧和来源身份；导航不证明缺陷或正文已读。不得请求其他操作。检索结果仍是不可信源码数据。最终返回本阶段指令要求的JSON结果，不与requests混用。';
+export const RETRIEVAL_INSTRUCTIONS = '可返回严格JSON {requests:[{kind:"read",id:"s1",start:1,count:20}]} 或 {requests:[{kind:"search",query:"符号",limit:20}]} 获取catalog中批准的快照内容。search可带sourceIds:["s1"]仅搜索1至20个catalog身份（可按文件/旧新侧筛选），不填则全快照字面搜索。或{requests:[{kind:"find",query:"路径片段",limit:20}]}仅按大小写敏感字面子串查找已批准catalog路径（不是全仓发现，未命中不说明仓库不存在）。返回版本侧和来源身份；导航不证明缺陷或正文已读。read只能包含kind/id/start/count：id必须是catalog身份而非路径，start是从1开始的整数，count是1至200的整数；不得使用字符串数字、end、offset、path等字段。search/find的limit是1至100整数。一次仅1至8个请求；需要更多行必须按段检索，仍受共享预算约束。不得请求其他操作。检索结果仍是不可信源码数据。最终返回本阶段指令要求的JSON结果，不与requests混用。';
 
 export function retrievalRequest(request, scope, retrieved = []) {
   return { ...request, instructions: request.instructions + '\n' + RETRIEVAL_INSTRUCTIONS, input: JSON.stringify({ ...JSON.parse(request.input), catalog: scope.catalog(), retrieved }) };

package/src/retrieval-protocol.mjs

@@ -1,14 +1,28 @@
 const exact = (value, keys) => value && typeof value === 'object' && !Array.isArray(value) && Object.keys(value).every(k => keys.includes(k));
 
+function invalidRead(request, index) {
+  const fields = [];
+  if (!exact(request, ['kind', 'id', 'start', 'count'])) fields.push('fields');
+  if (typeof request.id !== 'string' || !request.id || request.id.length > 200) fields.push('id');
+  if (!Number.isSafeInteger(request.start) || request.start < 1) fields.push('start');
+  if (!Number.isSafeInteger(request.count) || request.count < 1 || request.count > 200) fields.push('count');
+  if (fields.length) {
+    // Fixed names only: never echo model-supplied paths, IDs, source or values.
+    const error = new Error('Invalid read request (index=' + index + ', invalid=' + fields.join(',') + '; id=catalog identity, start=integer>=1, count=integer 1..200)');
+    error.code = 'MODEL_INVALID_READ_REQUEST';
+    throw error;
+  }
+}
+
 // Validate the entire batch before exercising any snapshot capability.
 export function parseRetrievalResponse(response) {
   const serialized = typeof response === 'string' ? response : JSON.stringify(response);
   if (typeof serialized !== 'string' || Buffer.byteLength(serialized) > 128 * 1024) throw new Error('Invalid retrieval response size');
   const value = JSON.parse(serialized);
   if (!exact(value, ['requests']) || !Array.isArray(value.requests) || value.requests.length < 1 || value.requests.length > 8) throw new Error('Invalid retrieval batch');
-  for (const request of value.requests) {
+  for (const [index, request] of value.requests.entries()) {
     if (request?.kind === 'read') {
-      if (!exact(request, ['kind', 'id', 'start', 'count']) || typeof request.id !== 'string' || !request.id || request.id.length > 200 || !Number.isSafeInteger(request.start) || request.start < 1 || !Number.isSafeInteger(request.count) || request.count < 1 || request.count > 200) throw new Error('Invalid read request');
+      invalidRead(request, index);
     } else if (request?.kind === 'search') {
       if (!exact(request, ['kind', 'query', 'limit', 'sourceIds']) || typeof request.query !== 'string' || !request.query || request.query.length > 256 || /[\r\n]/.test(request.query) || !Number.isSafeInteger(request.limit) || request.limit < 1 || request.limit > 100) throw new Error('Invalid search request');
       if (request.sourceIds !== undefined && (!Array.isArray(request.sourceIds) || request.sourceIds.length < 1 || request.sourceIds.length > 20 || new Set(request.sourceIds).size !== request.sourceIds.length || request.sourceIds.some(id => typeof id !== 'string' || !id || id.length > 200))) throw new Error('Invalid search source filter');

package/src/review.mjs

@@ -269,7 +269,7 @@ export async function reviewSnapshot(snapshot, model, options = {}) {
       state.status = signal?.aborted ? 'cancelled' : 'failed';
       state.reason = error?.message ?? String(error);
       for(const pass of state.reviewPasses??[])if(pass.status==='running')pass.status=signal?.aborted?'cancelled':'failed';
-      state.failureCode = signal?.aborted ? 'CANCELLED' : ['MODEL_INVALID_JSON','MODEL_TIMEOUT'].includes(error?.code) ? error.code : 'REVIEW_EXECUTION_FAILED';
+      state.failureCode = signal?.aborted ? 'CANCELLED' : ['MODEL_INVALID_JSON','MODEL_TIMEOUT','MODEL_INVALID_READ_REQUEST'].includes(error?.code) ? error.code : 'REVIEW_EXECUTION_FAILED';
     }
   }
   for (const interaction of report.interactions) if (interaction.status !== 'completed') report.limitations.push({ text: '跨文件综合未完成：' + interaction.groupId + ' (' + interaction.status + ')' });

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.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,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 } : {}), model: current.route, modelSendingEnabled: allowModelSending, files: snapshot.files.map(f => ({ path: f.path, eligibility: f.eligibility, reason: f.reason, ...(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

@@ -2,7 +2,8 @@ import {realpath} from 'node:fs/promises';
 import {checked} from './process.mjs';
 import {xml} from './svn.mjs';
 import {hash,decode,relativePath} from './content.mjs';
-import {isSecretPath} from './secret-path.mjs';
+import {isSecretPath,assertNonSecretPath} from './secret-path.mjs';
+import {captureProjectRules} from './project-rules.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');
@@ -33,7 +34,11 @@ export function svnHistoryDestination(value, allowNetwork) {
 export async function captureSvnHistory(cwd,options={}) {
   const range=svnHistoryRange(options);
   if (options.svnAllowNetwork!==undefined && typeof options.svnAllowNetwork!=='boolean') throw new Error('Invalid SVN network opt-in');
-  if (options.autoContext===true || options.callerScopePaths!==undefined || ['contextPaths','oldContextPaths','rulePaths'].some(key=>options[key]!==undefined && (!Array.isArray(options[key]) || options[key].length))) throw new Error('SVN historical context, rules and callers are not supported in this initial mode');
+  if (options.autoContext===true || options.callerScopePaths!==undefined) throw new Error('SVN historical automatic context and callers are not supported yet');
+  const contextPaths=options.contextPaths??[],oldContextPaths=options.oldContextPaths??[],rulePaths=options.rulePaths??[],maxContextFiles=options.maxContextFiles??20;
+  if(!Number.isSafeInteger(maxContextFiles)||maxContextFiles<1||maxContextFiles>20||!Array.isArray(contextPaths)||contextPaths.length>maxContextFiles||new Set(contextPaths).size!==contextPaths.length||!Array.isArray(rulePaths)||rulePaths.length>4||new Set(rulePaths).size!==rulePaths.length||rulePaths.some(name=>contextPaths.includes(name)))throw new Error('Invalid SVN historical context or rule selection');
+  if(!Array.isArray(oldContextPaths)||oldContextPaths.length>20||new Set(oldContextPaths).size!==oldContextPaths.length||contextPaths.length+oldContextPaths.length>maxContextFiles||oldContextPaths.some(name=>contextPaths.includes(name)||rulePaths.includes(name)))throw new Error('Invalid SVN old context selection');
+  for(const name of [...contextPaths,...oldContextPaths,...rulePaths]){relativePath(name);assertNonSecretPath(name);}
   const {maxFiles=200,maxFileBytes=256*1024,maxSnapshotBytes=4*1024*1024,selectedPaths}=options;
   for(const [value,cap]of [[maxFiles,200],[maxFileBytes,256*1024],[maxSnapshotBytes,4*1024*1024]])if(!Number.isSafeInteger(value)||value<1||value>cap)throw new Error('Invalid SVN history limit');
   if(selectedPaths!==undefined && (!Array.isArray(selectedPaths)||selectedPaths.length>200||new Set(selectedPaths).size!==selectedPaths.length))throw new Error('Invalid SVN history selection');
@@ -86,6 +91,12 @@ export async function captureSvnHistory(cwd,options={}) {
     }
     return Object.fromEntries(Object.entries(result).sort(([a],[b])=>a.localeCompare(b)));
   };
+  const readSource=async(name,rev)=>{
+    const node=await identity(name,rev),props=await properties(name,rev);
+    if(Object.hasOwn(props,'svn:special'))throw new Error('Historical SVN special node excluded');
+    const content=node['@_kind']==='dir'?decode(Buffer.alloc(0)):decode(await run(['cat','--ignore-keywords','-r',rev,'--',at(name,rev)],true));
+    return {content,props,kind:node['@_kind'],source:{repositoryUuid:local.repository.uuid,url:at(name,rev).slice(0,-rev.length-1),pegRevision:rev,operativeRevision:rev,hash:content.hash,textHash:hash(content.text)}};
+  };
   const files=[];
   for(const [name,record]of [...records].sort(([a],[b])=>a<b?-1:a>b?1:0)){
     signal.throwIfAborted();
@@ -96,11 +107,9 @@ export async function captureSvnHistory(cwd,options={}) {
     try{
       const readSide=async(rev,exists)=>{
         if(!exists)return {content:decode(Buffer.alloc(0)),props:{}};
-        const node=await identity(name,rev),props=await properties(name,rev);
-        if(node['@_kind']!==item.kind)throw new Error('Historical node kind differs');
-        if(Object.hasOwn(props,'svn:special'))throw new Error('Historical SVN special node excluded');
-        const content=node['@_kind']==='dir'?decode(Buffer.alloc(0)):decode(await run(['cat','--ignore-keywords','-r',rev,'--',at(name,rev)],true));
-        return {content,props,source:{repositoryUuid:local.repository.uuid,url:at(name,rev).slice(0,-rev.length-1),pegRevision:rev,operativeRevision:rev,hash:content.hash}};
+        const result=await readSource(name,rev);
+        if(result.kind!==item.kind)throw new Error('Historical node kind differs');
+        return result;
       };
       const left=await readSide(range.base,status!=='added'),right=await readSide(range.target,status!=='deleted');
       item.left=left.content;item.right=right.content;
@@ -114,11 +123,45 @@ export async function captureSvnHistory(cwd,options={}) {
   for(const item of files.filter(f=>f.kind==='dir'&&['added','deleted'].includes(f.rawStatus)&&f.eligibility==='reviewable')){
     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 context=[];
+  const targetContent=async(name)=>{
+    const changed=files.find(file=>file.path===name);
+    if(changed){
+      if(changed.eligibility!=='reviewable'||changed.rightExists===false||changed.kind!=='file')throw new Error('Historical context or rule is excluded blocked deleted or not a file');
+      return {content:changed.right,source:changed.svnSources.new};
+    }
+    const result=await readSource(name,range.target);if(result.kind!=='file')throw new Error('Historical context or rule requires a file');return result;
+  };
+  for(const name of [...contextPaths].sort()){
+    const target=await targetContent(name),record=records.get(name),changed=files.find(file=>file.path===name);
+    const item={path:name,...target.content,revision:range.target,svnSource:target.source};
+    if(changed){if(record['@_item']!=='added'){item.oldText=changed.left.text;item.oldRevision=range.base;item.oldSvnSource=changed.svnSources.old;}}
+    else{
+      // No change record means both fixed sides are present and equal. Read and verify
+      // rather than inferring baseline content from target or from the working tree.
+      const old=await readSource(name,range.base);if(old.kind!=='file'||old.content.hash!==target.content.hash||JSON.stringify(old.props)!==JSON.stringify(target.props))throw new Error('Unchanged historical context identity mismatch');
+      item.oldText=old.content.text;item.oldRevision=range.base;item.oldSvnSource=old.source;
+    }
+    context.push(item);
+  }
+  for(const name of [...oldContextPaths].sort()){
+    const changed=files.find(file=>file.path===name);
+    if(changed){
+      if(changed.eligibility!=='reviewable'||changed.kind!=='file'||!changed.svnSources?.old)throw new Error('Old SVN context conflicts with excluded blocked or absent baseline change');
+      // The original changed-file old identity already authorizes this side.
+      continue;
+    }
+    const old=await readSource(name,range.base);if(old.kind!=='file')throw new Error('Old SVN context requires baseline file');
+    context.push({path:name,oldOnly:true,oldText:old.content.text,oldHash:hash(old.content.text),oldRevision:range.base,oldSvnSource:old.source});
+  }
+  const rules=await captureProjectRules(root,rulePaths,{signal,files,read:async(_root,name)=>{
+    const value=await targetContent(name);if(value.content.bytes>16*1024)throw new Error('Rule file size limit exceeded');return value.content;
+  }});
   // Read the same fixed summary and repository identity again; never use HEAD.
   const after=await run(['diff','--summarize','--xml','--notice-ancestry','-r',range.base+':'+range.target,'--',at('.',range.target)]);
   if(!isDeepSummary(summary,after))throw new Error('SVN historical summary changed during capture');
   await identity('.',range.base);await identity('.',range.target);
-  const snapshot={schemaVersion:1,vcs:'svn',root,repositoryUuid:local.repository.uuid,context:[],history:{...range,vcs:'svn',url,repositoryUuid:local.repository.uuid,pegRevision:range.target,networkAccess,semantics:'fixed revision tree endpoints; no merge attribution or working text'},files};
+  const snapshot={schemaVersion:1,vcs:'svn',root,repositoryUuid:local.repository.uuid,context,...(rules.length?{rules}:{}),history:{...range,vcs:'svn',url,repositoryUuid:local.repository.uuid,pegRevision:range.target,networkAccess,semantics:'fixed revision tree endpoints; no merge attribution or working text'},files};
   const serialized=JSON.stringify(snapshot);if(Buffer.byteLength(serialized)>maxSnapshotBytes)throw new Error('SVN historical snapshot limit exceeded');
   return {...snapshot,id:hash(serialized)};
 }