code-context-control 2.76.2__tar.gz → 2.76.3__tar.gz

{code_context_control-2.76.2/code_context_control.egg-info → code_context_control-2.76.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: code-context-control
-Version: 2.76.2
+Version: 2.76.3
 Summary: Local MCP code-intelligence for AI coding tools: surgical search/read/edit, agent-config version history, path-level access + masking guards, and a multi-project hub.
 Author-email: Dimitri Tselenchuk <dtselenc@gmail.com>
 License-Expression: Apache-2.0

{code_context_control-2.76.2 → code_context_control-2.76.3}/cli/c3.py

@@ -92,7 +92,7 @@ console = Console() if HAS_RICH else None
 # Config
 CONFIG_DIR = ".c3"
 CONFIG_FILE = ".c3/config.json"
-__version__ = "2.76.2"
+__version__ = "2.76.3"
 
 
 def _compress_file_cli(compressor, path, mode="smart", **kw):

{code_context_control-2.76.2 → code_context_control-2.76.3}/cli/hook_access_guard.py

@@ -84,6 +84,15 @@ _DOUBLE_COLON_RE = re.compile(r"::(?!\$)")
 _GIT_REVSPEC_RE = re.compile(r"^(?P<rev>[^:\s]+):(?P<path>[^:\s]+)$")
 _GIT_CMD_RE = re.compile(r"^\s*(?:[\w.\-]*[/\\])?git(?:\.exe)?\b", re.IGNORECASE)
 
+# Where one command ends and the next begins. Anchoring "is this git?" to the
+# start of the whole string was wrong in the most ordinary way possible:
+# `cd /repo && git show origin/main:pyproject.toml` starts with `cd`, so the
+# revspec rewrite never fired for the shape people actually type. Caught by a
+# live probe after release, not by the unit tests — which passed the command as
+# `git show …` because that is how the test author writes it, not how a shell
+# call arrives.
+_SEGMENT_SPLIT = re.compile(r"&&|\|\||[;|\n]")
+
 
 def _is_network_token(tok: str) -> bool:
     """True for URLs and IPv6 literals/CIDRs — never for an ADS spelling."""
@@ -201,44 +210,58 @@ def _scan_shell(cmd: str, base: str):
     outright, as are URLs and IPv6 literals: all of them trip the ADS spelling
     check, which is exempt from existence-gating, so a token naming nothing on
     disk would otherwise hard-deny (#50).
+
+    Scanning is per **command segment**, not per whole string. A segment is what
+    sits between `&&`, `||`, `;`, `|` or a newline, and each one answers "am I a
+    git command?" for itself — so the revspec rewrite applies to the tokens of
+    the git segment and to no others. `cat notes.txt:hidden && git status` must
+    not have its first token reinterpreted just because a later segment is git.
     """
-    for raw in _TOKEN_SPLIT.split(cmd)[:_MAX_TOKENS]:
-        tok = raw.strip("\"'`;,()")
-        if not tok or tok.startswith("-"):
-            continue
-        if "/" not in tok and "\\" not in tok and not tok.startswith("."):
-            continue
-        # Order matters only for readability: a URL is also syntax-free, so
-        # either check alone would skip 'https://x'. Both are kept because they
-        # answer different questions — "is this a network literal" and "is this
-        # a path at all" — and the second is the one that generalizes.
-        if not _looks_like_a_path(tok) or _is_network_token(tok):
-            continue
-        # `tests/x.py::TestThing` is a node id, not a stream spelling.
-        if _is_scope_token(tok):
-            continue
-        # `git show <rev>:<path>` — judge the PATH, not the whole token. This
-        # is the one place the scan rewrites what it checks rather than skipping
-        # it, because skipping would let `git show HEAD:.env` through.
-        revspec_path = _git_revspec_path(cmd, tok)
-        from_revspec = revspec_path is not None
-        if from_revspec:
-            tok = revspec_path
-        if re.match(r"^/[a-z]/", tok):  # MSYS /c/foo → C:/foo
-            tok = f"{tok[1]}:{tok[2:]}"
-        denial = ag.check(tok, "read", base)
-        if denial and denial.kind == "deny":
-            try:
-                p = Path(tok)
-                exists = (p if p.is_absolute() else Path(base) / p).exists()
-            except OSError:
-                exists = False
-            # A revspec names a path in HISTORY, so the working tree is the
-            # wrong place to ask whether it is real. `git show HEAD~5:.env`
-            # reads a denied file whether or not that file exists today, and
-            # existence-gating it would be a hole this rewrite opened.
-            if exists or from_revspec or denial.rule.startswith("<"):
-                return denial, tok
+    budget = _MAX_TOKENS
+    for segment in _SEGMENT_SPLIT.split(cmd or ""):
+        if budget <= 0:
+            break
+        is_git = bool(_GIT_CMD_RE.match(segment))
+        for raw in _TOKEN_SPLIT.split(segment)[:budget]:
+            budget -= 1
+            tok = raw.strip("\"'`;,()")
+            if not tok or tok.startswith("-"):
+                continue
+            if "/" not in tok and "\\" not in tok and not tok.startswith("."):
+                continue
+            # Order matters only for readability: a URL is also syntax-free, so
+            # either check alone would skip 'https://x'. Both are kept because
+            # they answer different questions — "is this a network literal" and
+            # "is this a path at all" — and the second is the one that
+            # generalizes.
+            if not _looks_like_a_path(tok) or _is_network_token(tok):
+                continue
+            # `tests/x.py::TestThing` is a node id, not a stream spelling.
+            if _is_scope_token(tok):
+                continue
+            # `git show <rev>:<path>` — judge the PATH, not the whole token.
+            # This is the one place the scan rewrites what it checks rather than
+            # skipping it, because skipping would let `git show HEAD:.env`
+            # through.
+            revspec_path = _git_revspec_path(segment, tok) if is_git else None
+            from_revspec = revspec_path is not None
+            if from_revspec:
+                tok = revspec_path
+            if re.match(r"^/[a-z]/", tok):  # MSYS /c/foo → C:/foo
+                tok = f"{tok[1]}:{tok[2:]}"
+            denial = ag.check(tok, "read", base)
+            if denial and denial.kind == "deny":
+                try:
+                    p = Path(tok)
+                    exists = (p if p.is_absolute() else Path(base) / p).exists()
+                except OSError:
+                    exists = False
+                # A revspec names a path in HISTORY, so the working tree is the
+                # wrong place to ask whether it is real. `git show HEAD~5:.env`
+                # reads a denied file whether or not that file exists today, and
+                # existence-gating it would be a hole this rewrite opened.
+                if exists or from_revspec or denial.rule.startswith("<"):
+                    return denial, tok
     return None, ""
 
 

{code_context_control-2.76.2 → code_context_control-2.76.3/code_context_control.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: code-context-control
-Version: 2.76.2
+Version: 2.76.3
 Summary: Local MCP code-intelligence for AI coding tools: surgical search/read/edit, agent-config version history, path-level access + masking guards, and a multi-project hub.
 Author-email: Dimitri Tselenchuk <dtselenc@gmail.com>
 License-Expression: Apache-2.0

{code_context_control-2.76.2 → code_context_control-2.76.3}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "code-context-control"
-version = "2.76.2"
+version = "2.76.3"
 description = "Local MCP code-intelligence for AI coding tools: surgical search/read/edit, agent-config version history, path-level access + masking guards, and a multi-project hub."
 readme = "README.md"
 requires-python = ">=3.10"

{code_context_control-2.76.2 → code_context_control-2.76.3}/tests/test_hook_access_guard.py

@@ -323,6 +323,52 @@ class TestShellScanSyntaxTokens(HookGuardBase):
         self.assertIsNotNone(denial)
         self.assertEqual(tok, "secrets/gone.txt")
 
+    def test_a_git_command_is_recognised_after_a_shell_separator(self):
+        """`cd /repo && git show <rev>:<path>` — the shape people actually type.
+
+        The first cut anchored "is this git?" to the start of the whole command
+        string, so a leading `cd` disabled the rewrite entirely. Every unit test
+        passed, because a test author writes the command as `git show …`. A live
+        probe after release is what caught it.
+        """
+        for cmd in (
+            "cd /tmp/repo && git show origin/main:pyproject.toml",
+            "git fetch -q; git show origin/main:pyproject.toml",
+            "cd x || git show HEAD:setup.py",
+        ):
+            with self.subTest(cmd=cmd):
+                denial, tok = hag._scan_shell(cmd, str(self.proj))
+                self.assertIsNone(denial, f"{cmd!r} denied on {tok!r}")
+
+    def test_a_denied_revspec_is_still_caught_after_a_separator(self):
+        denial, tok = hag._scan_shell(
+            "cd /tmp/repo && git show HEAD:secrets/key.txt", str(self.proj))
+        self.assertIsNotNone(denial)
+        self.assertEqual(tok, "secrets/key.txt")
+
+    def test_a_git_segment_does_not_license_rewrites_in_other_segments(self):
+        """Per-segment, not per-string: `cat a:b && git status` is two commands.
+
+        Attributing the whole string to git would let a non-git token be
+        reinterpreted — the scan would check `hidden` instead of the real
+        spelling, which is a hole rather than a false positive.
+        """
+        self.assertIsNone(
+            hag._git_revspec_path("cat ./notes.txt:hidden", "./notes.txt:hidden"))
+
+    @unittest.skipUnless(WIN, "NTFS ADS semantics")
+    def test_a_non_git_segment_beside_a_git_one_still_denies(self):
+        """The end-to-end half of the above, and Windows-only for a reason.
+
+        `<ads>` is an NTFS spelling rule, so on POSIX this command denies
+        nothing and the assertion would be about the platform rather than the
+        code. Shipping it undecorated turned six of nine CI jobs red — the
+        matrix caught in a minute what a Windows-only local run could not.
+        """
+        denial, _ = hag._scan_shell(
+            "cat ./secrets/key.txt:hidden && git status", str(self.proj))
+        self.assertIsNotNone(denial)
+
     def test_revspec_rewriting_only_applies_to_git(self):
         """`<word>:<word>` means something else in every other command."""
         path = hag._git_revspec_path("cat HEAD:secrets/key.txt", "HEAD:secrets/key.txt")