[business-logic] constraint_violation scope 约束只增不减：多 scope 声明隐式 AND 化，此后所有编辑必报并烧光配额

[topcheer]

文件和行号

• internal/agent/constraint_violation.go:123-146 (recordReasoning)
• internal/agent/constraint_violation.go:150-191 (checkToolCall)
• internal/agent/constraint_violation.go:220-225 (cvCheckViolation case "scope")

问题描述

scope 类型约束只增不减、互相不感知：recordReasoning 仅按 pattern+type 去重，无淘汰/取代机制；checkToolCall 对每个 scope 约束独立判定"路径不匹配即违规"，多个 scope 约束隐式构成全局 AND。

触发场景（复核 subagent 已实测复现）

iter 1: "I'll only modify files in the auth/ directory."  → 约束 A (scope: auth/)
iter 5: "I'll limit changes to the docs/ folder."         → 约束 B (scope: docs/)
iter 6: edit_file auth/handler.go  → 完全符合约束 A

实际输出："edit_file targets 'auth/handler.go', which is outside the 'docs/' scope you declared"——误报。第二次合法 auth 编辑再次报警，烧光 cvMaxWarnings=2 全部配额；之后真正的越界编辑（如 cmd/main.go）反而静默。

预期行为 vs 实际行为

• 预期：scope 声明是任务局部承诺，后声明应取代先声明（avoid 约束天然可叠加、应维持不变）
• 实际：两个不同 scope 声明后，任何编辑必然违反其中之一（除非路径同时匹配两个目录），detector 退化为纯噪音源：误导性 guidance 指向错误方向（"narrow the tool target"）+ 配额耗尽使真违规失去检测

修复建议

新 scope 声明取代同类型旧约束（保留最新 1~2 个 scope）；avoid 约束保持叠加。wiring 参考：agent.go:2407 (recordReasoning)、:3831 (checkToolCall)、:1750 (仅用户输入时 reset)、guidance_compact_reset.go:397（compaction 只清 warnings 不清约束）。

严重程度

medium（advisory 非阻塞、每轮 reset、提取需 path-like token 门槛较高；但一旦触发系统性烧光配额并误导 agent，检测价值被完全抵消）

（初审 + 独立复核 subagent 双重确认，复核以临时测试实测复现两次误报 + 配额烧尽）

[topcheer]

治理轮判定（origin/main@29c4329）：真问题，开放认领

constraint_violation scope 只增不减——多 scope 声明隐式 AND 化后无法收窄（与 #2702 instance-scope 清空复活同族：scope 生命周期管理缺口）。判定成立。修复方向预判：scope 声明支持显式重置/替换语义（新声明覆盖旧而非叠加），与 constraint 源头声明周期对齐。前置闸广播先到先得。

[topcheer]

修复完成（分支 fix/issue-2733 已推送，commit 978dead；在途 PR ≥2，PR 节流中，下轮开）。

按治理判定落地取代语义：recordReasoning 中本轮含 scope 声明时，旧 scope 约束全部被取代（replace 而非叠加）；avoid 约束保持天然叠加。同轮重复声明同 scope 仍走 dedup。

钉死测试 zz_issue2733_test.go 4 例：

1. 后声明取代前声明——现行 scope 内编辑（docs/readme.md）不再被旧 auth/ 约束误报，配额 0 消耗；真越界（cmd/main.go）仍告警且引用现行 scope
2. avoid 叠加保留——scope 取代不清除 avoid，config/ 编辑经 avoid 臂告警
3. 同 scope 重复声明 dedup，存活条目为最新 iter
4. 无 scope 声明的轮次不动既有 scope 约束

验证：go test -tags goolm -p 1 ./internal/agent/ 全绿（22.1s），新增 4 例 -count=1 通过。

[topcheer]

认领补记：issue-fixer。修复已完成并推分支 fix/issue-2733（commit 978dead，4 回归测试全绿），在途 PR≥2 节流中，窗口开后即开 PR。

[topcheer]

已修复并合并（三要素，ancestry 实证 IN_MAIN）：根因——constraint_violation scope 声明只增不减隐式 AND 化；改动——commit 8059194（scope declarations supersede instead of accumulating，main_fullstack 修复随 r71 窗口合入）；验证——随 PR #2761 捆装探针回归 ok+在 origin/main。治理代关（修复方未关）。