Merge pull request #184 from BlueEventHorizon/fix/180-nested-version-path-scope

[Fix] ネスト version_path が親スコープ外の version を誤更新する欠陥を修正 (#180)

Author: BlueEventHorizon

docs/specs/forge/design/DES-023_version_management_workflow_design.md

@@ -293,7 +293,7 @@ _update_with_path(content, old_version, new_version, version_path)
 ```
 
 1. `version_path` の最終キー名を含む行を正規表現で検索
-2. ネストパスの場合は親キーチェーン（`a.b.version` なら `a` → `b`）を先頭から順にたどり、1階層見つけるたびに検索開始位置をその直後まで前進させてから最終キー名を探す（Issue #175: 直近の親キー1つだけを見ると、同名の別ブロックに誤って一致する事故があったため、既存の「1階層分の絞り込み」をN階層に一般化した。JSON の波括弧・TOML のセクション境界までは追跡しない — テキストベース置換の設計原則 §1 を維持するため、意図的に「開始位置の前進のみ」に留める。そのため親キー通過後に同名ブロックが再度現れる病的なケースまでは救えない）
+2. ネストパスの場合は親キーチェーン（`a.b.version` なら `a` → `b`）を先頭から順にたどり、各親キーの直後に開く `{` とその対応 `}`（ダブルクォート文字列内の波括弧は無視）をスコープ境界として、次階層以降の検索範囲をスコープ内に制限してから最終キー名を探す（Issue #175: 直近の親キー1つだけを見ると同名の別ブロックに誤って一致する事故があったため N 階層のチェーン絞り込みに一般化。Issue #180: 開始位置の前進のみではスコープ境界を見ないため、`b.package.version` が存在しなくても `b` より後方の別スコープ `package.version` を誤更新できた — 波括弧スコープの追跡を追加し、親キーの値がオブジェクトでない・境界を特定できない場合は書き換えず `ValueError` に倒す。置換自体はテキスト操作のまま維持する — 設計原則 §1）。対応形式は JSON のオブジェクトおよび TOML の inline table（`key = { ... }`）。TOML のセクション形式（`[package]`）のネストパスは従来から対象外
 3. JSON の `"version": "X.Y.Z"` と TOML の `version = "X.Y.Z"` の両方に対応
 4. version 末尾に境界（`(?![\d.])`）を設け、`0.6.1` が `0.6.10` を前方一致で破壊しないようにする（Issue #115 レビュー指摘）。同様にフィールド名・親キー名の直前にも語境界（`\b`）を設け、`other_version` が `version` に誤って一致しないようにする（Issue #175 単独修正レビューで検出）
 5. 未置換時のエラーは filter モードと同様に 2 種類に分離される（Issue #175）:

plugins/forge/skills/update-version/scripts/update_version_files.py

@@ -163,21 +163,30 @@ def _update_with_path(content, old_version, new_version, version_path):
         return result
 
     # ネストフィールド: 親キーチェーン（parts[:-1]）を先頭から順にたどり、
-    # 1階層見つけるたびに検索開始位置をその直後まで前進させる。
-    # 3階層以上のパス（例: "b.package.version"）で、直近の親キー名（"package"）だけを
-    # 見ると同名の別ブロック（"a.package.version"）に誤って一致しうるため、
-    # 中間の親キー（"b"）も含めて順にチェーンを絞り込む（Issue #175 単独修正レビューで検出）。
-    # JSON の波括弧・TOML のセクション境界までは追跡しない（DES-023 §1 のテキストベース
-    # 置換方針を維持するため、意図的に「開始位置の前進」のみに留める）。
-    start = 0
+    # 各親キーの直後に開く `{` の対応 `}` までをスコープとして検索範囲を制限する。
+    # 開始位置の前進だけではスコープ境界を見ないため、`b.package.version` が
+    # 存在しなくても `b` より後方の別スコープ `package.version` を誤更新できてしまう
+    # （Issue #180）。親キーの値がオブジェクトでない・境界を特定できない場合は
+    # 書き換えずエラーに倒す。置換自体はテキスト操作のまま（DES-023 §1）。
+    start, end = 0, len(content)
     for parent_key in parts[:-1]:
-        parent_pattern = re.compile(r'[\"\']?\b' + re.escape(parent_key) + r'[\"\']?\s*[:={]')
-        parent_match = parent_pattern.search(content, start)
+        parent_pattern = re.compile(r'[\"\']?\b' + re.escape(parent_key) + r'[\"\']?\s*[:=]?\s*\{')
+        parent_match = parent_pattern.search(content, start, end)
         if not parent_match:
-            raise ValueError(f"親キー '{parent_key}' が見つかりません（version_path: '{version_path}'）")
-        start = parent_match.end()
+            raise ValueError(
+                f"親キー '{parent_key}' のオブジェクトブロックが見つかりません"
+                f"（version_path: '{version_path}'）"
+            )
+        open_pos = parent_match.end() - 1
+        close_pos = _find_matching_brace(content, open_pos)
+        if close_pos is None or close_pos > end:
+            raise ValueError(
+                f"親キー '{parent_key}' のブロック境界を特定できません"
+                f"（version_path: '{version_path}'）"
+            )
+        start, end = parent_match.end(), close_pos
 
-    sub_content = content[start:]
+    sub_content = content[start:end]
     result, count = pattern.subn(lambda m: m.group(1) + f'"{new_version}"', sub_content, count=1)
 
     if count == 0:
@@ -188,7 +197,37 @@ def _update_with_path(content, old_version, new_version, version_path):
             )
         raise ValueError(f"フィールド '{version_path}' にバージョン '{old_version}' が見つかりません")
 
-    return content[:start] + result
+    return content[:start] + result + content[end:]
+
+
+def _find_matching_brace(content, open_pos):
+    """open_pos の `{` に対応する `}` の位置を返す。見つからなければ None。
+
+    ダブルクォート文字列内の波括弧はネストとして数えない
+    （JSON / TOML basic string の `\\"` エスケープを考慮する）。
+    """
+    depth = 0
+    in_string = False
+    i = open_pos
+    n = len(content)
+    while i < n:
+        c = content[i]
+        if in_string:
+            if c == '\\':
+                i += 2
+                continue
+            if c == '"':
+                in_string = False
+        elif c == '"':
+            in_string = True
+        elif c == '{':
+            depth += 1
+        elif c == '}':
+            depth -= 1
+            if depth == 0:
+                return i
+        i += 1
+    return None
 
 
 def _update_with_filter(content, old_version, new_version, filter_pattern,

tests/forge/update-version/test_update_version_files.py

@@ -98,6 +98,74 @@ def test_three_level_path_with_duplicate_intermediate_key_updates_correct_block(
         self.assertIn('"a": {"package": {"version": "999.88.7"}}', result)
         self.assertIn('"b": {"package": {"version": "999.88.8"}}', result)
 
+    def test_nested_path_missing_does_not_update_sibling_scope(self):
+        """Issue #180: b.package.version が存在しない場合、b より後方の
+        トップレベル package.version を誤更新せず ValueError を送出する"""
+        content = (
+            '{\n'
+            '  "b": {},\n'
+            '  "package": {"version": "999.88.7"}\n'
+            '}'
+        )
+        with self.assertRaises(ValueError):
+            update_version_in_text(
+                content, "999.88.7", "999.88.8", version_path="b.package.version"
+            )
+
+    def test_nested_path_parent_value_not_object_raises(self):
+        """Issue #180: 親キーの値がオブジェクトでない場合は境界を特定できないため
+        後方の同名フィールドを更新せず ValueError を送出する"""
+        content = (
+            '{\n'
+            '  "package": "not-an-object",\n'
+            '  "other": {"version": "999.88.7"}\n'
+            '}'
+        )
+        with self.assertRaises(ValueError):
+            update_version_in_text(
+                content, "999.88.7", "999.88.8", version_path="package.version"
+            )
+
+    def test_nested_path_drift_detected_within_scope_only(self):
+        """Issue #180: ドリフト判定もスコープ内に限定される。
+        b.package.version は存在するが値が不一致 → VersionDriftError
+        （後方の一致する値に流れない）"""
+        content = (
+            '{\n'
+            '  "b": {"package": {"version": "1.0.0"}},\n'
+            '  "package": {"version": "999.88.7"}\n'
+            '}'
+        )
+        with self.assertRaises(VersionDriftError):
+            update_version_in_text(
+                content, "999.88.7", "999.88.8", version_path="b.package.version"
+            )
+
+    def test_nested_path_brace_in_string_does_not_break_scope(self):
+        """Issue #180 境界: 文字列値に含まれる波括弧がスコープ判定を壊さない"""
+        content = (
+            '{\n'
+            '  "package": {\n'
+            '    "description": "uses {braces} and \\"quotes\\"",\n'
+            '    "version": "999.88.7"\n'
+            '  }\n'
+            '}'
+        )
+        result = update_version_in_text(
+            content, "999.88.7", "999.88.8", version_path="package.version"
+        )
+        self.assertIn('"version": "999.88.8"', result)
+
+    def test_nested_path_toml_inline_table(self):
+        """Issue #180 回帰確認: TOML inline table 形式（key = { ... }）でも
+        スコープ内の version を更新できる"""
+        content = 'package = { name = "x", version = "999.88.7" }\nversion = "0.1.0"\n'
+        result = update_version_in_text(
+            content, "999.88.7", "999.88.8", version_path="package.version"
+        )
+        self.assertIn('version = "999.88.8"', result)
+        self.assertIn('version = "0.1.0"', result)
+
     def test_path_prefix_version_not_corrupted(self):
         """境界: old=0.6.1 が "0.6.10" を前方一致で破壊しない
         （見つからないが、フィールド自体は存在するため VersionDriftError）"""