doc-gate: a RENAMED route module triggers no rule at all (structural change invisible to the gate)

scripts/check_doc_gate.py

@@ -9,13 +9,13 @@
                  scripts/, tinyagentos/, docs/, desktop/ path mentioned in the
                  configured doc set actually exists on disk.
   diff-gate   -- path -> doc rule engine (Layer B). A configured rule fires
-                when a *structural* change matches one of its `when_changed`
-                globs. By default only added/deleted files (status A/D) are
-                structural; set `on_modify = true` on a rule to also count
-                plain modifications (status M) for that rule. Any changed
-                file (any status) can *trigger* a rule. Only ADDED or MODIFIED
-                files (status A/M) can *satisfy* a rule by matching a
-                require_doc glob; a deleted require_doc does NOT count.
+                 when a *structural* change matches one of its `when_changed`
+                 globs. By default added, deleted, renamed, and copied files
+                 (status A/D/R/C) are structural; set `on_modify = true` on a
+                 rule to also count plain modifications (status M) for that
+                 rule. Only ADDED or MODIFIED files (status A/M) can *satisfy*
+                 a rule by matching a require_doc glob; a renamed, copied, or
+                 deleted require_doc does NOT count.
 
 Config lives in docs/doc-gate.toml. Rules are data, not code: add more by
 editing the TOML, no changes to this file required.
@@ -267,7 +267,7 @@ def evaluate_rules(
 
         rule_structural_paths = [
             path for status, path in changed_status
-            if (status in ("A", "D") or (on_modify and status == "M"))
+            if (status in ("A", "D", "R", "C") or (on_modify and status == "M"))
             and not _is_test_path(path)
         ]
 

tests/test_check_doc_gate.py

@@ -170,6 +170,59 @@ def test_on_modify_false_explicit_still_default(self):
         assert failures == []
 
 
+class TestEvaluateRulesRenameCopy:
+    """Rename (R) and copy (C) must trigger rules but must not satisfy require_doc."""
+
+    def test_rename_triggers_rule_by_name(self):
+        """A rename of a when_changed path must trigger the rule."""
+        config = _base_config()
+        changed = [("R", "tinyagentos/routes/themes.py")]
+        failures = evaluate_rules(changed, [], config)
+        assert len(failures) == 1
+        assert "test_route" in failures[0]
+
+    def test_copy_triggers_rule_by_name(self):
+        """A copy of a when_changed path must trigger the rule."""
+        config = _base_config()
+        changed = [("C", "tinyagentos/routes/themes.py")]
+        failures = evaluate_rules(changed, [], config)
+        assert len(failures) == 1
+        assert "test_route" in failures[0]
+
+    def test_deletion_still_triggers_rule(self):
+        """A deletion of a when_changed path must still trigger the rule (pinning)."""
+        config = _base_config()
+        changed = [("D", "tinyagentos/routes/themes.py")]
+        failures = evaluate_rules(changed, [], config)
+        assert len(failures) == 1
+        assert "test_route" in failures[0]
+
+    def test_rename_does_not_satisfy_require_doc(self):
+        """Renaming the require_doc does NOT satisfy it (pinning).
+
+        If the satisfaction set were widened to include R, this would pass
+        silently and the assertion below would fail.
+        """
+        config = _base_config()
+        changed = [
+            ("R", "tinyagentos/routes/themes.py"),
+            ("R", "CHANGELOG.md"),
+        ]
+        failures = evaluate_rules(changed, [], config)
+        assert len(failures) == 1
+        assert "test_route" in failures[0]
+
+    def test_rename_with_doc_added_passes(self):
+        """A route rename with the required doc added passes."""
+        config = _base_config()
+        changed = [
+            ("R", "tinyagentos/routes/themes.py"),
+            ("A", "CHANGELOG.md"),
+        ]
+        failures = evaluate_rules(changed, [], config)
+        assert failures == []
+
+
 class TestReferencedPathsScan:
     """Invariants layer: glob expansion, tombstones, extractor precision."""