code-graph-rag 0.0.820__tar.gz → 0.0.895__tar.gz

{code_graph_rag-0.0.820/code_graph_rag.egg-info → code_graph_rag-0.0.895}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: code-graph-rag
-Version: 0.0.820
+Version: 0.0.895
 Summary: The ultimate RAG for your monorepo. Query, understand, and edit multi-language codebases with the power of AI and knowledge graphs
 License-Expression: MIT
 Keywords: rag,retrieval-augmented-generation,knowledge-graph,code-analysis,tree-sitter,mcp,mcp-server,llm,graph-database,semantic-search,codebase,memgraph,developer-tools,monorepo

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/README.md

@@ -51,9 +51,12 @@ Code-Graph-RAG parses a multi-language codebase with Tree-sitter, builds a knowl
 ## Latest News 🔥
 
 <!-- SECTION:latest_news -->
-- **Graph Indexing**: The name property is now indexed for improved graph read-path lookups. SQL routines are also indexed to resolve calls that name their target in a string.
-- **Duplicate Code Detection**: An AST-based duplicate code detection system has been introduced, alongside fixes for duplicate detection across multiple repositories.
-- **Agentic QA**: A new agentic QA benchmark harness and indexing-time benchmark have been added.
+- **File System Operations**: Improved handling of file system operations with platform-neutral joins and safeguards against removing project root.
+- **Cache Management**: Enhanced cache management with atomic publishing, dedicated cache stamps, and improved deletion handling for orphan caches.
+- **Graph Querying**: Introduced deterministic graph query tools for more precise analysis of code relationships.
+- **Re-ingestion & Parsing**: Improved re-ingestion processes, including handling of deleted files, re-parsing of related files, and rebuilding of key data structures.
+- **Security & Stability**: Addressed security concerns by blocking removal of project root and improved stability by preventing skipped edits and handling orphaned caches.
+- **C++ & Go Integration**: Enhanced integration with C++ and Go, including parsing of module interfaces and handling of module-level class aliases.
 <!-- /SECTION:latest_news -->
 
 See [NEWS.md](NEWS.md) for the full history.

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895/code_graph_rag.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: code-graph-rag
-Version: 0.0.820
+Version: 0.0.895
 Summary: The ultimate RAG for your monorepo. Query, understand, and edit multi-language codebases with the power of AI and knowledge graphs
 License-Expression: MIT
 Keywords: rag,retrieval-augmented-generation,knowledge-graph,code-analysis,tree-sitter,mcp,mcp-server,llm,graph-database,semantic-search,codebase,memgraph,developer-tools,monorepo

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/code_graph_rag.egg-info/SOURCES.txt

@@ -29,7 +29,9 @@ codebase_rag/exceptions.py
 codebase_rag/flow_verdict.py
 codebase_rag/function_registry.py
 codebase_rag/graph_audit.py
+codebase_rag/graph_cli.py
 codebase_rag/graph_loader.py
+codebase_rag/graph_query.py
 codebase_rag/graph_updater.py
 codebase_rag/language_spec.py
 codebase_rag/logs.py
@@ -44,6 +46,8 @@ codebase_rag/schema_builder.py
 codebase_rag/schema_parse.py
 codebase_rag/schemas.py
 codebase_rag/sql_names.py
+codebase_rag/structural_check.py
+codebase_rag/structural_delta.py
 codebase_rag/taint.py
 codebase_rag/tool_errors.py
 codebase_rag/types_defs.py
@@ -131,6 +135,7 @@ codebase_rag/editing/__init__.py
 codebase_rag/editing/cli.py
 codebase_rag/editing/imports.py
 codebase_rag/editing/patcher.py
+codebase_rag/editing/rename.py
 codebase_rag/editing/transaction.py
 codebase_rag/mcp/__init__.py
 codebase_rag/mcp/client.py
@@ -165,6 +170,7 @@ codebase_rag/parsers/semantic_call_join.py
 codebase_rag/parsers/stdlib_extractor.py
 codebase_rag/parsers/string_call.py
 codebase_rag/parsers/structure_processor.py
+codebase_rag/parsers/type_facts.py
 codebase_rag/parsers/type_inference.py
 codebase_rag/parsers/utils.py
 codebase_rag/parsers/ast_grep_patterns/bash.yaml
@@ -310,6 +316,7 @@ codebase_rag/tools/web_search.py
 codebase_rag/trace/__init__.py
 codebase_rag/trace/cli.py
 codebase_rag/trace/cpuprofile.py
+codebase_rag/trace/dispatch_site.py
 codebase_rag/trace/ebpf_pprof.py
 codebase_rag/trace/ingest.py
 codebase_rag/trace/instrumented.py

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/codebase_rag/cli.py

@@ -36,6 +36,7 @@ from .editor_links import (
     resolve_editor,
     url_template_problem,
 )
+from .graph_cli import cli as graph_cli
 from .graph_updater import GraphUpdater
 from .main import (
     _create_configuration_table,
@@ -406,6 +407,7 @@ def _delete_hash_cache(repo_path: Path) -> None:
         cache_path.unlink(missing_ok=True)
     (repo_path / cs.DIR_MTIMES_FILENAME).unlink(missing_ok=True)
     (repo_path / cs.PARSER_FINGERPRINT_FILENAME).unlink(missing_ok=True)
+    (repo_path / cs.EXCLUSION_STATE_FILENAME).unlink(missing_ok=True)
 
 
 def _resolve_and_validate_repo(repo_path: str | None) -> Path:
@@ -1089,6 +1091,125 @@ def edits_command(ctx: typer.Context) -> None:
     _run_delegated_group(edits_cli, ctx)
 
 
+@app.command(
+    name=ch.CLICommandName.GRAPH,
+    help=ch.CMD_GRAPH,
+    short_help=ch.CMD_GRAPH,
+    add_help_option=False,
+    context_settings=_DELEGATED_GROUP_CONTEXT,
+    rich_help_panel=ch.PANEL_GRAPH,
+)
+def graph_command(ctx: typer.Context) -> None:
+    _run_delegated_group(graph_cli, ctx)
+
+
+@app.command(
+    name=ch.CLICommandName.CHECK,
+    help=ch.CMD_CHECK,
+    short_help=ch.CMD_CHECK,
+    epilog=ch.EXAMPLES_CHECK,
+    rich_help_panel=ch.PANEL_USE,
+)
+def check_command(
+    base: str = typer.Option("HEAD", "--base", help=ch.HELP_CHECK_BASE),
+    repo_path: Path = typer.Option(
+        Path(cs.MCP_DEFAULT_DIRECTORY),
+        "--repo-path",
+        exists=True,
+        file_okay=False,
+        help=ch.HELP_GRAPH_REPO_PATH,
+    ),
+    project: str | None = typer.Option(None, "--project", help=ch.HELP_GRAPH_PROJECT),
+    fail_on_found: bool = typer.Option(
+        False, "--fail-on-found", help=ch.HELP_CHECK_FAIL_ON_FOUND
+    ),
+) -> None:
+    from .structural_check import CheckError, indexed_scope, run_check
+    from .structural_delta import has_findings
+    from .utils.path_utils import derive_project_name
+
+    root = repo_path.resolve()
+    name = project or derive_project_name(root)
+    parsers, queries = load_parsers()
+    with connect_memgraph(batch_size=settings.resolve_batch_size(None)) as ingestor:
+        if name not in ingestor.list_projects():
+            typer.echo(cs.CHECK_NOT_INDEXED.format(project=name), err=True)
+            raise typer.Exit(code=1)
+        try:
+            exclude_paths, unignore_paths = indexed_scope(
+                root, name, explicit=project is not None
+            )
+            delta = run_check(
+                root,
+                base,
+                name,
+                ingestor,
+                parsers,
+                queries,
+                exclude_paths=exclude_paths,
+                unignore_paths=unignore_paths,
+            )
+        except CheckError as error:
+            typer.echo(str(error), err=True)
+            raise typer.Exit(code=1) from error
+    typer.echo(json.dumps(delta, indent=cs.MCP_JSON_INDENT))
+    if fail_on_found and has_findings(delta):
+        raise typer.Exit(code=1)
+
+
+@app.command(
+    name=ch.CLICommandName.RENAME,
+    help=ch.CMD_RENAME,
+    short_help=ch.CMD_RENAME,
+    epilog=ch.EXAMPLES_RENAME,
+    rich_help_panel=ch.PANEL_USE,
+)
+def rename_command(
+    qualified_name: str = typer.Argument(..., help=ch.HELP_RENAME_QN),
+    new_name: str = typer.Argument(..., help=ch.HELP_RENAME_NEW_NAME),
+    repo_path: Path = typer.Option(
+        Path(cs.MCP_DEFAULT_DIRECTORY),
+        "--repo-path",
+        exists=True,
+        file_okay=False,
+        help=ch.HELP_GRAPH_REPO_PATH,
+    ),
+    project: str | None = typer.Option(None, "--project", help=ch.HELP_GRAPH_PROJECT),
+    allow_heuristic: bool = typer.Option(
+        False, "--allow-heuristic", help=ch.HELP_RENAME_ALLOW_HEURISTIC
+    ),
+    dry_run: bool = typer.Option(False, "--dry-run", help=ch.HELP_RENAME_DRY_RUN),
+) -> None:
+    from .editing.rename import RenameRefused, rename, sites_for
+    from .graph_cli import _project_and_fetch
+
+    name, fetch_all, ingestor = _project_and_fetch(project, repo_path)
+    with ingestor:  # type: ignore[attr-defined]
+        try:
+            report = rename(
+                repo_path.resolve(),
+                fetch_all,
+                name,
+                qualified_name,
+                new_name,
+                allow_heuristic=allow_heuristic,
+                dry_run=dry_run,
+            )
+        except RenameRefused as refused:
+            typer.echo(str(refused), err=True)
+            for site in sites_for(refused.ambiguous):
+                typer.echo(f"  {site}", err=True)
+            for entry in refused.unlocatable:
+                typer.echo(f"  {entry}", err=True)
+            raise typer.Exit(code=1) from refused
+    payload = dict(report._asdict())
+    payload[cs.KEY_SITES] = sites_for(report.sites)
+    payload[cs.KEY_AMBIGUOUS] = sites_for(report.ambiguous)
+    typer.echo(json.dumps(payload, indent=cs.MCP_JSON_INDENT, sort_keys=True))
+    if not report.applied and not dry_run:
+        raise typer.Exit(code=1)
+
+
 @app.command(
     name=ch.CLICommandName.HELP,
     help=ch.CMD_HELP,
@@ -1313,6 +1434,7 @@ def _dead_code_config(
     include_classes: bool,
     entry_points: list[str],
     decorator_roots: list[str],
+    min_resolution: cs.EdgeResolution | None = None,
 ) -> DeadCodeConfig:
     # test_patterns is always set: included tests become roots; excluded, it
     # filters test modules out of module-load roots so test-only code stays dead.
@@ -1325,6 +1447,7 @@ def _dead_code_config(
         ),
         entry_points=tuple(entry_points),
         test_patterns=tuple(cs.TEST_PATH_PATTERNS),
+        min_resolution=str(min_resolution) if min_resolution is not None else None,
     )
 
 
@@ -1472,6 +1595,9 @@ def dead_code(
     fail_on_found: bool = typer.Option(
         False, "--fail-on-found", help=ch.HELP_DEADCODE_FAIL_ON_FOUND
     ),
+    min_resolution: cs.EdgeResolution | None = typer.Option(
+        None, "--min-resolution", help=ch.HELP_DEADCODE_MIN_RESOLUTION
+    ),
 ) -> None:
     from .dead_code import collect_dead_code_with_coverage
 
@@ -1493,7 +1619,11 @@ def dead_code(
                     ingestor,
                     resolved,
                     _dead_code_config(
-                        include_tests, include_classes, entry_point, decorator_root
+                        include_tests,
+                        include_classes,
+                        entry_point,
+                        decorator_root,
+                        min_resolution,
                     ),
                 )
     except Exception as e:

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/codebase_rag/cli_help.py

@@ -18,6 +18,9 @@ class CLICommandName(StrEnum):
     WORKSPACE = "workspace"
     TRACE = "trace"
     EDITS = "edits"
+    GRAPH = "graph"
+    CHECK = "check"
+    RENAME = "rename"
     STOP = "stop"
     STATUS = "status"
     HELP = "help"
@@ -93,6 +96,55 @@ HELP_EDITS_REPO_PATH = (
     "Repository root holding .cgr-edit-history.json (default: current directory)."
 )
 HELP_EDITS_DIFF = "Print each transaction's unified diff."
+CMD_GRAPH = "Deterministic graph queries (resolve, definition, callers, callees, implementors, overrides, importers, tests-reaching) as JSON, no LLM."
+CMD_GRAPH_GROUP = CMD_GRAPH
+CMD_GRAPH_RESOLVE = "Resolve a name, dotted suffix, or path:line to qualified names."
+CMD_GRAPH_DEFINITION = "File, span, docstring and source of one definition."
+CMD_GRAPH_CALLERS = "Call sites that invoke a qualified name, one row per site."
+CMD_GRAPH_CALLEES = "Call sites inside a qualified name, one row per site."
+CMD_GRAPH_IMPLEMENTORS = "Types that inherit from or implement a type."
+CMD_GRAPH_OVERRIDES = "Methods overriding a method, and the method it overrides."
+CMD_GRAPH_IMPORTERS = (
+    "Modules importing a module, with each import statement's location."
+)
+CMD_GRAPH_TESTS_REACHING = (
+    "Tests from which a qualified name is reachable, with distance."
+)
+EPILOG_GRAPH = "Run 'cgr help graph COMMAND' for command-specific help."
+HELP_GRAPH_PROJECT = "Project name in the graph (default: derived from --repo-path)."
+HELP_GRAPH_REPO_PATH = (
+    "Repository root the project name derives from and source is read from."
+)
+HELP_GRAPH_DEPTH = "How many hops to follow (1 to 5)."
+CMD_CHECK = (
+    "Report the structural delta of the working tree against a git ref: "
+    "dangling callers, arity findings, new duplicates, new import cycles, "
+    "tests reaching the edited symbols."
+)
+EXAMPLES_CHECK = (
+    "Examples:\n  cgr check --base HEAD\n  cgr check --base origin/main --fail-on-found"
+)
+HELP_CHECK_BASE = (
+    "Git ref the graph was indexed at; files differing from it are re-ingested."
+)
+HELP_CHECK_FAIL_ON_FOUND = (
+    "Exit with status 1 when the delta reports dangling callers, arity "
+    "findings, new duplicates or new import cycles."
+)
+CMD_RENAME = (
+    "Rename a definition everywhere the graph references it (definition, call "
+    "and reference sites, imports, overrides, __all__); refuses on guessed sites."
+)
+EXAMPLES_RENAME = (
+    "Examples:\n  cgr rename myproj.pkg.util.helper assist --dry-run\n"
+    "  cgr rename myproj.pkg.Store.get fetch --allow-heuristic"
+)
+HELP_RENAME_QN = "Qualified name of the definition to rename."
+HELP_RENAME_NEW_NAME = "The new identifier."
+HELP_RENAME_ALLOW_HEURISTIC = (
+    "Rewrite through heuristic, overload and trace-only sites as well."
+)
+HELP_RENAME_DRY_RUN = "Print the plan and diff without writing anything."
 CMD_TRACE_INGEST = "Resolve a trace file against a project and write dynamic edges"
 CMD_TRACE_CONVERT = "Convert a V8 .cpuprofile (node --cpu-prof) to a trace file"
 
@@ -353,6 +405,10 @@ HELP_DEADCODE_CLASSES = (
 )
 HELP_DEADCODE_FORMAT = "Report format: table or json."
 HELP_DEADCODE_OUTPUT = "Write the report to this file instead of stdout."
+HELP_DEADCODE_MIN_RESOLUTION = (
+    "Ignore call edges below this confidence when deciding liveness: "
+    "heuristic < overload < exact < trace_confirmed (dynamic counts as confirmed)."
+)
 HELP_DEADCODE_FAIL_ON_FOUND = (
     "Exit with status 1 when any candidate is found. Useful in CI."
 )
@@ -407,6 +463,9 @@ CLI_COMMANDS: dict[CLICommandName, str] = {
     CLICommandName.DAEMON: CMD_DAEMON,
     CLICommandName.TRACE: CMD_TRACE,
     CLICommandName.EDITS: CMD_EDITS,
+    CLICommandName.GRAPH: CMD_GRAPH,
+    CLICommandName.CHECK: CMD_CHECK,
+    CLICommandName.RENAME: CMD_RENAME,
     CLICommandName.WORKSPACE: CMD_WORKSPACE,
     CLICommandName.STOP: CMD_STOP,
     CLICommandName.STATUS: CMD_STATUS,

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/codebase_rag/constants/ast_cpp.py

@@ -51,7 +51,6 @@ class CppNodeType(StrEnum):
     TYPE_DESCRIPTOR = "type_descriptor"
 
 
-CPP_MODULE_EXTENSIONS = (".ixx", ".cppm", ".ccm", ".mxx")
 CPP_MODULE_PATH_MARKERS = frozenset({"interfaces", "modules"})
 
 # C++ module declaration prefixes

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/codebase_rag/constants/ast_csharp.py

@@ -145,6 +145,8 @@ TS_CSHARP_MODIFIER_PROTECTED = "protected"
 # of the parameter_list (grammar quirk), captured directly.
 TS_CSHARP_PARAMETER = "parameter"
 TS_CSHARP_ARRAY_TYPE = "array_type"
+# `params T[] items` renders as the modifier plus the array type (#1527).
+CSHARP_PARAMS_PREFIX = "params "
 TS_CSHARP_PARAMETER_LIST = "parameter_list"
 
 # Local/field declarations for type inference. A local is a variable_declaration

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/codebase_rag/constants/ast_go.py

@@ -82,6 +82,10 @@ TS_GO_POINTER_TYPE = "pointer_type"
 # `pkg.Type` in a signature; kept as dotted text so a binding typed to an
 # external package's type stays TYPED (and drops) instead of trie-guessed.
 TS_GO_QUALIFIED_TYPE = "qualified_type"
+TS_GO_GENERIC_TYPE = "generic_type"
+# Field names of a `qualified_type` (`pkg.Name`): the package identifier and
+# the type name; a `composite_literal` carries its constructed type in `type`.
+FIELD_GO_PACKAGE = "package"
 # Go composite types a method may return; a chained call lands on the CONTAINER,
 # not its element, so return-type inference must not unwrap these (a `[]Command`
 # return must not resolve `.Run()` to `Command.Run`).

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/codebase_rag/constants/ast_lua.py

@@ -28,6 +28,13 @@ LUA_METHOD_SEPARATOR = ":"
 TS_LUA_CHUNK = "chunk"
 TS_LUA_FUNCTION_DECLARATION = "function_declaration"
 TS_LUA_FUNCTION_DEFINITION = "function_definition"
+# A `key = value` entry of a table constructor (`{ f = function() end }`): the
+# key is the `name` field (an identifier, or a string for `["key"] =`), the
+# value the `value` field.
+TS_LUA_FIELD = "field"
+# The token that opens a computed or string key: `["k"] = v`, `[k] = v`.
+LUA_OPEN_BRACKET = "["
+TS_LUA_TABLE_CONSTRUCTOR = "table_constructor"
 
 # Import processor function names
 IMPORT_REQUIRE = "require"

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/codebase_rag/constants/ast_python.py

@@ -18,6 +18,13 @@ TS_PY_LIST_COMPREHENSION = "list_comprehension"
 TS_PY_FOR_STATEMENT = "for_statement"
 TS_PY_FOR_IN_CLAUSE = "for_in_clause"
 TS_PY_ASSIGNMENT = "assignment"
+# Unpacking targets: `a, b = ...`, `(a, b) = ...`, `[a, b] = ...`.
+TS_PY_PATTERN_LIST = "pattern_list"
+TS_PY_TUPLE_PATTERN = "tuple_pattern"
+TS_PY_LIST_PATTERN = "list_pattern"
+PY_UNPACKING_TARGET_TYPES = frozenset(
+    {TS_PY_PATTERN_LIST, TS_PY_TUPLE_PATTERN, TS_PY_LIST_PATTERN}
+)
 PY_ASSIGNMENT_QUERY = "(assignment) @assignment"
 PY_RETURN_QUERY = "(return_statement) @return_stmt"
 TS_PY_CLASS_DEFINITION = "class_definition"

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/codebase_rag/constants/cli.py

@@ -119,6 +119,13 @@ CLI_MSG_EXPORTING_DATA = "Exporting graph data..."
 CLI_MSG_OPTIMIZATION_TERMINATED = "\nOptimization session terminated by user."
 CLI_MSG_MCP_TERMINATED = "\nMCP server terminated by user."
 PACKAGE_NAME = "code-graph-rag"
+# How a test spawns the CLI as a subprocess. Shared so the deadline gate in
+# test_cli_smoke can assert no other test file spawns it outside that gate
+# (issue #1655). Both spellings pay the same startup cost, so both need the
+# same deadline: `-m codebase_rag.cli`, and the console scripts in
+# [project.scripts].
+CLI_MODULE_INVOCATION = "codebase_rag.cli"
+CLI_ENTRY_POINT_NAMES: frozenset[str] = frozenset({"cgr", PACKAGE_NAME})
 CLI_MSG_VERSION = "{package} version {version}"
 CLI_MSG_HINT_TARGET_REPO = (
     "\nHint: Make sure TARGET_REPO_PATH environment variable is set."
@@ -134,6 +141,21 @@ CLI_STATS_TOTAL_NODES = "Total Nodes"
 CLI_STATS_TOTAL_RELS = "Total Relationships"
 CLI_STATS_UNKNOWN = "Unknown"
 CLI_ERR_STATS_FAILED = "Failed to get graph statistics: {error}"
+# `cgr check` (issue #1525).
+CHECK_GIT_FAILED = "Cannot diff the working tree against {base}: {error}"
+CHECK_BAD_BASE = "--base must be a git revision, not an option: {base!r}"
+CHECK_BASE_NOT_A_COMMIT = (
+    "--base must name one commit to compare the working tree against, "
+    "not a range or an unknown revision: {base!r}"
+)
+CHECK_SCOPE_OF_OTHER_PROJECT = (
+    "The exclusion scope stamped in this repository belongs to project {other}, "
+    "not {project}; re-index {project} (or check {other}) before running the check"
+)
+CHECK_NOT_INDEXED = (
+    "Project {project} is not indexed; run 'cgr start --update-graph' at the "
+    "base ref first."
+)
 
 CLI_DEADCODE_CONNECTING = "Scanning for unreachable functions and methods..."
 CLI_DEADCODE_TABLE_TITLE = "Dead Code Candidates ({project_name})"
@@ -494,6 +516,23 @@ PATCH_NOT_AN_IDENTIFIER = "{path}:{line}:{col} is not a whole identifier"
 PATCH_PARSE_FAILED = "{path} no longer parses after the patch"
 PATCH_FORMAT_DRIFT = "{path} applied, but {tool} would reformat it"
 PATCH_OK = "{path}: {count} edit(s) applied"
+# `parses is None` means no grammar was available, so the patch was checked
+# by nothing. Reported apart from PATCH_OK because reporting both as OK is
+# what turned an unverifiable write into an apparently verified one; the
+# write itself is still allowed, since refusing would make edits a silent
+# no-op on a base install where Rust and Go grammars are absent (#1580).
+# The one wording for "checked by nothing", shared so the two messages that
+# carry it cannot drift apart and a caller can match on either.
+PATCH_UNVERIFIED_FRAGMENT = "unverified (no parser for it)"
+PATCH_UNVERIFIED = "{path}: {count} edit(s) applied, " + PATCH_UNVERIFIED_FRAGMENT
+# Both facts, because either alone is misleading here: drift on its own reads
+# as "parsed fine, just reformat it", and a language with no grammar is
+# exactly the case that also has a formatter installed (Rust, Go).
+PATCH_UNVERIFIED_DRIFT = (
+    "{path}: {count} edit(s) applied, "
+    + PATCH_UNVERIFIED_FRAGMENT
+    + "; {tool} would also reformat it"
+)
 # Edit transactions (issue #1528).
 EDIT_NOT_A_FILE = "Staged path is not a regular file: {path}"
 EDIT_RESERVED_PATH = "Path is cgr state, not part of the tree: {path}"
@@ -511,6 +550,33 @@ EDIT_UNDO_DONE = "Undid transaction {tx} ({count} file(s))"
 EDIT_UNDO_STOPPED = "Stopped at transaction {tx}: {reason}"
 EDIT_SHOW_NONE = "No recorded edit transactions"
 EDIT_SHOW_HEADER = "{tx}  {at}  {count} file(s)  verification={ok}"
+# Rename (issue #1532).
+RENAME_UNKNOWN = "No definition named {qn} in the graph"
+RENAME_NO_DEFINITION_TOKEN = "Could not locate the name of {qn} in {path}"
+RENAME_DEFINITION_UNREADABLE = (
+    "Cannot rename {qn}: its file {path} cannot be read ({error}). "
+    "The index names a file the tree no longer has; re-index and retry."
+)
+RENAME_BAD_NAME = "Not a valid identifier: {name}"
+RENAME_AMBIGUOUS = (
+    "Refusing to rename {qn}: {count} site(s) were resolved heuristically, by overload "
+    "fan-out, or only by a trace; pass allow_heuristic to rewrite through them"
+)
+RENAME_UNLOCATABLE_SITE = "{owner}: site cannot be located ({resolution})"
+RENAME_SITELESS = (
+    "Cannot rename {qn}: {count} graph-known site(s) carry no rewrite location, "
+    "so the rename would leave them under the old name"
+)
+RENAME_WRONG_ROOT = (
+    "Project {project} was not indexed from this server's repository; "
+    "rename it from the MCP server rooted at its source tree"
+)
+RENAME_STRUCTURAL_UNLOCATABLE = (
+    "Cannot rename {qn}: {count} structural edge(s) (inherits, accepts, returns) "
+    "carry no rewrite site, so the rename would leave them pointing at the old name"
+)
+RENAME_PLANNED = "{count} site(s) would be rewritten"
+RENAME_PARSE_FAILED = "Rename rolled back: {files} would no longer parse"
 MSG_SURGICAL_FAILED = (
     "Failed to apply surgical replacement in {path}. "
     "Target code not found or patches failed."
@@ -520,6 +586,7 @@ GREP_SUGGESTION = " Use 'rg' instead of 'grep' for text searching."
 
 QUERY_NOT_AVAILABLE = "N/A"
 DICT_KEY_RESULTS = "results"
+DICT_KEY_ERROR = "error"
 DICT_KEY_QUERY_USED = "query_used"
 TIKTOKEN_ENCODING = "cl100k_base"
 QUERY_SUMMARY_SUCCESS = "Successfully retrieved {count} item(s) from the graph."

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/codebase_rag/constants/core.py

@@ -103,6 +103,30 @@ TEXT_UNKNOWN = "unknown"
 
 TMP_EXTENSION = ".tmp"
 
+# Filenames whose module IS their directory, PER LANGUAGE: an importer writes
+# the directory name, never the file's own stem. The extension is part of the
+# rule, not decoration -- `index.py` and `mod.py` are ordinary Python modules
+# imported by those names, and a language-blind stem set silently gives them no
+# importable name at all. `lib.rs`/`main.rs` are crate roots named by the
+# manifest rather than the directory, so they are deliberately absent.
+DIRECTORY_MODULE_STEM_BY_EXT: dict[str, str] = {
+    ".py": "__init__",
+    ".rs": "mod",
+    ".js": "index",
+    ".jsx": "index",
+    ".mjs": "index",
+    ".cjs": "index",
+    ".ts": "index",
+    ".tsx": "index",
+    # `.mts`/`.cts` are TypeScript's ESM/CJS forms and are directory entry
+    # points exactly as `.mjs`/`.cjs` are. They belong to `TS_EXTENSIONS` and
+    # to `JS_TS_MODULE_EXTENSIONS`, which is the set cgr's own directory-index
+    # resolution already searches, so omitting them here made `pkg/index.mts`
+    # derive `pkg.index` instead of `pkg` and the unresolved-importer query
+    # asked for a name no waiter had written (issue #1682 review).
+    ".mts": "index",
+    ".cts": "index",
+}
 MOD_RS = "mod.rs"
 LIB_RS = "lib.rs"
 MAIN_RS = "main.rs"
@@ -123,12 +147,25 @@ OPERATOR_PREFIX = "operator"
 KEYWORD_SUPER = "super"
 KEYWORD_SELF = "self"
 KEYWORD_CONSTRUCTOR = "constructor"
+# Receivers that name the enclosing type rather than an ordinary value, so
+# `self.Inner()` and `cls.Inner()` are real nested-class constructions.
+# Membership is not sufficient on its own: `self` is also a legal Go receiver
+# name, and a spelling test alone accepted `self.Error()` for a module-level
+# `Error`. The caller pairs this with a nesting check against the enclosing
+# type, which is what actually distinguishes the two (issue #1641).
+SELF_RECEIVER_KEYWORDS = frozenset({"self", "cls", "this"})
 
 # Incremental update hash cache
 HASH_CACHE_FILENAME = ".cgr-hash-cache.json"
 DIR_MTIMES_FILENAME = ".cgr-dir-mtimes.json"
 PARSER_FINGERPRINT_FILENAME = ".cgr-parser-fingerprint"
 DELOMBOK_STATE_FILENAME = ".cgr-delombok-state.json"
+# The exclusion set the last run indexed under, covering both the excludes and
+# the unignores (which come from `!` lines in .cgrignore/.gitignore and from
+# interactive setup; there is no --unignore flag). Nothing on disk changes when
+# only the CLI --exclude flags do, so without this the sync check cannot tell
+# that the eligible set moved (issue #1606).
+EXCLUSION_STATE_FILENAME = ".cgr-exclusion-state.json"
 # Recorded edit transactions for `cgr edits show|undo` (issue #1528).
 EDIT_HISTORY_FILENAME = ".cgr-edit-history.json"
 EDIT_LOCK_FILENAME = ".cgr-edit-lock"
@@ -144,6 +181,7 @@ CGR_STATE_FILENAMES: frozenset[str] = frozenset(
         DIR_MTIMES_FILENAME,
         PARSER_FINGERPRINT_FILENAME,
         DELOMBOK_STATE_FILENAME,
+        EXCLUSION_STATE_FILENAME,
         EDIT_HISTORY_FILENAME,
         EDIT_LOCK_FILENAME,
     }
@@ -173,6 +211,12 @@ PARSER_FINGERPRINT_SOURCE_FILES: tuple[str, ...] = (
     "ast_cache.py",
     "language_spec.py",
     "parser_loader.py",
+    # `base_module_qn` lives here, and the whole graph keys on the names it
+    # derives: change the rule and every module node should be re-keyed. It
+    # was absent, so a change touching ONLY this file left existing indexes on
+    # the old identities with no staleness warning, and `utils/` is in neither
+    # of the directory globs above (issue #1720 review).
+    "utils/path_utils.py",
 )
 PY_SOURCE_GLOB = "*.py"
 # The bundled Roslyn C# frontend tool is parser code too, though .cs/.csproj

{code_graph_rag-0.0.820 → code_graph_rag-0.0.895}/codebase_rag/constants/duplicates.py

@@ -112,6 +112,13 @@ DUPLICATES_MAX_SIMILAR_GROUPS = 1000
 
 KIND_EXACT = "exact"
 KIND_SIMILAR = "similar"
+# Per-site arity verdicts in a structural delta (issue #1525).
+DELTA_ARITY_OK = "ok"
+DELTA_ARITY_TOO_MANY = "too_many"
+DELTA_ARITY_POSSIBLY_MISSING = "possibly_missing"
+DELTA_ARITY_UNKNOWN = "unknown"
+# Hops the backward test-reach walk follows before giving up.
+DELTA_REACH_MAX_DEPTH = 12
 
 # Cypher return alias for the not-analyzed symbol count.
 KEY_SKIPPED = "skipped"