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

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: code-graph-rag
-Version: 0.0.895
+Version: 0.0.945
 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
@@ -52,6 +52,8 @@ Requires-Dist: ast-grep-py>=0.44.0; extra == "test"
 Requires-Dist: pyyaml>=6.0; extra == "test"
 Provides-Extra: cpp
 Requires-Dist: libclang>=18.1.1; extra == "cpp"
+Provides-Extra: neo4j
+Requires-Dist: neo4j>=5.28.1; extra == "neo4j"
 Provides-Extra: treesitter-full
 Requires-Dist: tree-sitter-python>=0.23.6; extra == "treesitter-full"
 Requires-Dist: tree-sitter-javascript>=0.23.1; extra == "treesitter-full"

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

@@ -51,12 +51,9 @@ Code-Graph-RAG parses a multi-language codebase with Tree-sitter, builds a knowl
 ## Latest News 🔥
 
 <!-- SECTION:latest_news -->
-- **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.
+- **UTF-8 Handling**: Improved handling of invalid UTF-8 bytes prevents file definitions from being dropped.
+- **Neo4j Backend Support**: Added support for Neo4j as a graph backend through a pluggable dialect seam.
+- **Gloss Node & Notes**: Introduced the Gloss node for agent-authored notes and enabled writing and reading Gloss notes via the MCP server.
 <!-- /SECTION:latest_news -->
 
 See [NEWS.md](NEWS.md) for the full history.

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: code-graph-rag
-Version: 0.0.895
+Version: 0.0.945
 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
@@ -52,6 +52,8 @@ Requires-Dist: ast-grep-py>=0.44.0; extra == "test"
 Requires-Dist: pyyaml>=6.0; extra == "test"
 Provides-Extra: cpp
 Requires-Dist: libclang>=18.1.1; extra == "cpp"
+Provides-Extra: neo4j
+Requires-Dist: neo4j>=5.28.1; extra == "neo4j"
 Provides-Extra: treesitter-full
 Requires-Dist: tree-sitter-python>=0.23.6; extra == "treesitter-full"
 Requires-Dist: tree-sitter-javascript>=0.23.1; extra == "treesitter-full"

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

@@ -28,8 +28,11 @@ codebase_rag/embedder.py
 codebase_rag/exceptions.py
 codebase_rag/flow_verdict.py
 codebase_rag/function_registry.py
+codebase_rag/gloss.py
+codebase_rag/gloss_repair.py
 codebase_rag/graph_audit.py
 codebase_rag/graph_cli.py
+codebase_rag/graph_dialects.py
 codebase_rag/graph_loader.py
 codebase_rag/graph_query.py
 codebase_rag/graph_updater.py
@@ -133,6 +136,7 @@ codebase_rag/constants/structural.py
 codebase_rag/constants/trace.py
 codebase_rag/editing/__init__.py
 codebase_rag/editing/cli.py
+codebase_rag/editing/contract.py
 codebase_rag/editing/imports.py
 codebase_rag/editing/patcher.py
 codebase_rag/editing/rename.py
@@ -142,6 +146,7 @@ codebase_rag/mcp/client.py
 codebase_rag/mcp/server.py
 codebase_rag/mcp/tools.py
 codebase_rag/parsers/__init__.py
+codebase_rag/parsers/anchor_hash.py
 codebase_rag/parsers/ast_fingerprint.py
 codebase_rag/parsers/ast_grep_tier.py
 codebase_rag/parsers/build_lock.py
@@ -149,6 +154,7 @@ codebase_rag/parsers/call_processor.py
 codebase_rag/parsers/call_resolver.py
 codebase_rag/parsers/contract_linking.py
 codebase_rag/parsers/contracts.py
+codebase_rag/parsers/definition_docstring.py
 codebase_rag/parsers/definition_processor.py
 codebase_rag/parsers/dependency_parser.py
 codebase_rag/parsers/dispatch_registry.py
@@ -158,12 +164,15 @@ codebase_rag/parsers/endpoint_routes.py
 codebase_rag/parsers/endpoints.py
 codebase_rag/parsers/export_detection.py
 codebase_rag/parsers/factory.py
+codebase_rag/parsers/field_nodes.py
 codebase_rag/parsers/flat_module.py
 codebase_rag/parsers/frontend_mode.py
 codebase_rag/parsers/function_ingest.py
 codebase_rag/parsers/import_processor.py
 codebase_rag/parsers/java_generated.py
 codebase_rag/parsers/java_lombok.py
+codebase_rag/parsers/module_docstring.py
+codebase_rag/parsers/parameter_nodes.py
 codebase_rag/parsers/python_source_roots.py
 codebase_rag/parsers/rpc_exposure.py
 codebase_rag/parsers/semantic_call_join.py
@@ -282,9 +291,11 @@ codebase_rag/providers/litellm.py
 codebase_rag/services/__init__.py
 codebase_rag/services/anthropic_token_counter.py
 codebase_rag/services/filtering.py
+codebase_rag/services/gloss_cleanup.py
 codebase_rag/services/graph_diff.py
 codebase_rag/services/graph_service.py
 codebase_rag/services/llm.py
+codebase_rag/services/neo4j_driver.py
 codebase_rag/services/protobuf_service.py
 codebase_rag/services/provenance.py
 codebase_rag/services/resource_cleanup.py

{code_graph_rag-0.0.895 → code_graph_rag-0.0.945}/code_graph_rag.egg-info/requires.txt

@@ -30,6 +30,9 @@ libclang>=18.1.1
 [milvus]
 pymilvus[milvus-lite]>=3.0.0
 
+[neo4j]
+neo4j>=5.28.1
+
 [python-semantics]
 jedi>=0.19
 

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

@@ -1185,6 +1185,14 @@ def rename_command(
 
     name, fetch_all, ingestor = _project_and_fetch(project, repo_path)
     with ingestor:  # type: ignore[attr-defined]
+        parsers, queries = load_parsers()
+        updater = GraphUpdater(
+            ingestor=ingestor,  # type: ignore[arg-type]
+            repo_path=repo_path.resolve(),
+            parsers=parsers,
+            queries=queries,
+            project_name=name,
+        )
         try:
             report = rename(
                 repo_path.resolve(),
@@ -1194,6 +1202,7 @@ def rename_command(
                 new_name,
                 allow_heuristic=allow_heuristic,
                 dry_run=dry_run,
+                reingest=updater.reingest,
             )
         except RenameRefused as refused:
             typer.echo(str(refused), err=True)
@@ -1205,6 +1214,7 @@ def rename_command(
     payload = dict(report._asdict())
     payload[cs.KEY_SITES] = sites_for(report.sites)
     payload[cs.KEY_AMBIGUOUS] = sites_for(report.ambiguous)
+    payload["verdict"] = report.verdict._asdict() if report.verdict else None
     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)
@@ -1291,6 +1301,18 @@ def status_command() -> None:
         app_context.console.print(f"  - {project}: last sync {ts}")
 
 
+def _status_mark(passed: bool, encoding: str) -> str:
+    """The pass/fail mark the console's stream can encode.
+
+    Rich substitutes ASCII box characters on a non-UTF stream but leaves
+    text alone, so the glyph raised UnicodeEncodeError on a CP950 Windows
+    terminal before a single check was shown (issue #1910).
+    """
+    if encoding.lower().startswith(cs.ENCODING_UTF_PREFIX):
+        return cs.HEALTH_MARK_PASS if passed else cs.HEALTH_MARK_FAIL
+    return cs.HEALTH_MARK_PASS_ASCII if passed else cs.HEALTH_MARK_FAIL_ASCII
+
+
 @app.command(
     name=ch.CLICommandName.DOCTOR,
     help=ch.CMD_DOCTOR,
@@ -1306,8 +1328,9 @@ def doctor() -> None:
     table = Table(show_header=False, box=None, padding=(0, 2))
     table.add_column(style="cyan", no_wrap=False)
 
+    encoding = app_context.console.encoding
     for result in results:
-        status = "✓" if result.passed else "✗"
+        status = _status_mark(result.passed, encoding)
         status_color = cs.Color.GREEN if result.passed else cs.Color.RED
         status_text = style(status, status_color, cs.StyleModifier.NONE)
 

{code_graph_rag-0.0.895 → code_graph_rag-0.0.945}/codebase_rag/config.py

@@ -9,12 +9,13 @@ from typing import TypedDict, Unpack
 
 from dotenv import load_dotenv
 from loguru import logger
-from pydantic import Field
+from pydantic import Field, field_validator
 from pydantic_settings import BaseSettings, SettingsConfigDict
 
 from . import constants as cs
 from . import exceptions as ex
 from . import logs
+from .graph_dialects import DIALECT_MEMGRAPH, available_dialects
 from .types_defs import CgrignorePatterns, ModelConfigKwargs
 
 # Load only the configuration file in the invocation directory.  The default
@@ -103,6 +104,16 @@ def format_missing_api_key_errors(
 
 LOCAL_PROVIDERS = frozenset({cs.Provider.OLLAMA})
 
+# The provider-owned variable `validate_api_key` accepts INSTEAD of the role's
+# own `<ROLE>_API_KEY`. Module level so `cgr doctor` can name the same variable
+# the gate reads rather than restating the rule and drifting from it (#1910).
+# A provider absent here is satisfied only by the role variable.
+PROVIDER_ENV_KEYS = {
+    cs.Provider.ANTHROPIC: cs.ENV_ANTHROPIC_API_KEY,
+    cs.Provider.AZURE: cs.ENV_AZURE_API_KEY,
+    cs.Provider.MINIMAX: cs.ENV_MINIMAX_API_KEY,
+}
+
 
 @dataclass
 class ModelConfig:
@@ -124,12 +135,7 @@ class ModelConfig:
 
     def validate_api_key(self, role: str = cs.DEFAULT_MODEL_ROLE) -> None:
         provider_lower = self.provider.lower()
-        provider_env_keys = {
-            cs.Provider.ANTHROPIC: cs.ENV_ANTHROPIC_API_KEY,
-            cs.Provider.AZURE: cs.ENV_AZURE_API_KEY,
-            cs.Provider.MINIMAX: cs.ENV_MINIMAX_API_KEY,
-        }
-        env_key = provider_env_keys.get(provider_lower)
+        env_key = PROVIDER_ENV_KEYS.get(provider_lower)
         if (
             provider_lower in LOCAL_PROVIDERS
             or (
@@ -159,11 +165,24 @@ class AppConfig(BaseSettings):
         case_sensitive=False,
     )
 
+    # Which graph engine the ingestor talks to. Memgraph stays the default,
+    # so an existing install keeps its behaviour without touching config;
+    # see `graph_dialects` for what actually differs between engines.
+    GRAPH_BACKEND: str = DIALECT_MEMGRAPH
+
     MEMGRAPH_HOST: str = "localhost"
     MEMGRAPH_PORT: int = 7687
     MEMGRAPH_HTTP_PORT: int = 7444
     MEMGRAPH_USERNAME: str | None = None
     MEMGRAPH_PASSWORD: str | None = None
+
+    # Neo4j connects by URI rather than host/port: the scheme carries the
+    # routing mode (`neo4j://` for a cluster, `bolt://` for one instance)
+    # and TLS (`+s`/`+ssc`), none of which a host/port pair can express.
+    NEO4J_URI: str = "bolt://localhost:7687"
+    NEO4J_USERNAME: str | None = None
+    NEO4J_PASSWORD: str | None = None
+    NEO4J_DATABASE: str = "neo4j"
     LAB_PORT: int = 3000
     MEMGRAPH_BATCH_SIZE: int = 1000
     AGENT_RETRIES: int = 3
@@ -364,6 +383,25 @@ class AppConfig(BaseSettings):
     QUERY_MEMORY_LIMIT_MB: int = Field(default=4096, gt=0)
     QUERY_TIMEOUT_S: float = Field(default=60.0, gt=0)
 
+    @field_validator("GRAPH_BACKEND")
+    @classmethod
+    def _known_backend(cls, value: str) -> str:
+        """Reject an unknown engine name at startup.
+
+        Defaulting an unrecognised value to Memgraph would send Memgraph
+        DDL to whatever server is actually configured, and
+        `MemgraphIngestor.ensure_constraints` swallows DDL failures -- so
+        a typo would surface much later as a graph built with no
+        constraints rather than as a startup error.
+        """
+        normalised = value.strip().lower()
+        if normalised not in available_dialects():
+            raise ValueError(
+                f"GRAPH_BACKEND must be one of {', '.join(available_dialects())}; "
+                f"got {value!r}"
+            )
+        return normalised
+
     OLLAMA_HEALTH_TIMEOUT: float = 5.0
     LITELLM_HEALTH_TIMEOUT: float = 5.0
 

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

@@ -81,6 +81,7 @@ CPP_KEYWORD_STRUCT = "struct"
 # `static` storage on a declaration: internal linkage, TU-local symbol.
 CPP_KEYWORD_STATIC = "static"
 TS_CPP_STORAGE_CLASS_SPECIFIER = "storage_class_specifier"
+TS_CPP_TYPE_QUALIFIER = "type_qualifier"
 CPP_EXPORTED_CLASS_KEYWORDS = frozenset({CPP_KEYWORD_CLASS, CPP_KEYWORD_STRUCT})
 
 # A C/C++ class/struct/union tag with no body is a forward declaration

{code_graph_rag-0.0.895 → code_graph_rag-0.0.945}/codebase_rag/constants/ast_dart.py

@@ -81,6 +81,11 @@ DART_NESTED_SCOPE_NODE_TYPES = frozenset(
     }
 )
 TS_DART_INITIALIZED_IDENTIFIER_LIST = "initialized_identifier_list"
+TS_DART_STATIC_FINAL_DECLARATION_LIST = "static_final_declaration_list"
+TS_DART_STATIC_FINAL_DECLARATION = "static_final_declaration"
+TS_DART_CONST_BUILTIN = "const_builtin"
+TS_DART_FINAL_BUILTIN = "final_builtin"
+TS_DART_LATE = "late"
 TS_DART_INITIALIZED_IDENTIFIER = "initialized_identifier"
 TS_DART_INITIALIZED_VARIABLE_DEFINITION = "initialized_variable_definition"
 TS_DART_FORMAL_PARAMETER = "formal_parameter"

{code_graph_rag-0.0.895 → code_graph_rag-0.0.945}/codebase_rag/constants/ast_java.py

@@ -21,6 +21,9 @@ TS_FORMAL_PARAMETER = "formal_parameter"
 TS_SPREAD_PARAMETER = "spread_parameter"
 TS_LOCAL_VARIABLE_DECLARATION = "local_variable_declaration"
 TS_FIELD_DECLARATION = "field_declaration"
+# An interface field. The grammar names it after what it implicitly is
+# (`public static final`), so the keywords are usually absent from source.
+TS_JAVA_CONSTANT_DECLARATION = "constant_declaration"
 TS_ASSIGNMENT_EXPRESSION = "assignment_expression"
 
 TS_OBJECT_CREATION_EXPRESSION = "object_creation_expression"

{code_graph_rag-0.0.895 → code_graph_rag-0.0.945}/codebase_rag/constants/ast_nodes.py

@@ -217,6 +217,7 @@ TS_PRIVATE_PROPERTY_IDENTIFIER = "private_property_identifier"
 
 TS_IMPORT_DECLARATION = "import_declaration"
 TS_STATIC = "static"
+TS_READONLY = "readonly"
 TS_SCOPED_IDENTIFIER = "scoped_identifier"
 TS_ASTERISK = "asterisk"
 

{code_graph_rag-0.0.895 → code_graph_rag-0.0.945}/codebase_rag/constants/ast_php.py

@@ -32,6 +32,11 @@ TS_PHP_ATTRIBUTE_LIST = "attribute_list"
 TS_PHP_ATTRIBUTE = "attribute"
 TS_PHP_ATTRIBUTE_GROUP = "attribute_group"
 TS_PHP_VISIBILITY_MODIFIER = "visibility_modifier"
+TS_PHP_STATIC_MODIFIER = "static_modifier"
+TS_PHP_PROPERTY_DECLARATION = "property_declaration"
+TS_PHP_PROPERTY_ELEMENT = "property_element"
+TS_PHP_DECLARATION_LIST = "declaration_list"
+TS_PHP_VARIABLE_NAME = "variable_name"
 TS_PHP_USE_DECLARATION = "use_declaration"
 
 # FLOWS_TO lean-walk node types (issue #1174). PHP variables carry a `$` prefix

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

@@ -62,6 +62,7 @@ TS_FIELD_OPERATORS = "operators"
 TS_PY_IF_STATEMENT = "if_statement"
 TS_PY_TRY_STATEMENT = "try_statement"
 TS_PY_GLOBAL_STATEMENT = "global_statement"
+TS_PY_NONLOCAL_STATEMENT = "nonlocal_statement"
 # Match statement: arms are exclusive; an UNGUARDED `case _` (empty
 # case_pattern) always matches, removing the implicit no-match path.
 TS_PY_MATCH_STATEMENT = "match_statement"
@@ -76,6 +77,11 @@ TS_PY_DOTTED_NAME = "dotted_name"
 # `a | b` case alternatives; the bare `_` alternative is an ANONYMOUS
 # node, invisible to named_children.
 TS_PY_UNION_PATTERN = "union_pattern"
+# `Foo(x=<pattern>)`, `*rest` / `**rest` inside a case pattern.
+TS_PY_KEYWORD_PATTERN = "keyword_pattern"
+TS_PY_SPLAT_PATTERN = "splat_pattern"
+# `import x as y` / `from m import x as y`; the alias is a local binding.
+TS_PY_ALIASED_IMPORT = "aliased_import"
 TS_PY_WILDCARD_NODE = "_"
 TS_PY_WHILE_STATEMENT = "while_statement"
 TS_PY_ELIF_CLAUSE = "elif_clause"
@@ -84,6 +90,7 @@ TS_PY_EXCEPT_CLAUSE = "except_clause"
 TS_PY_FINALLY_CLAUSE = "finally_clause"
 TS_PY_CONDITIONAL_EXPRESSION = "conditional_expression"
 TS_PY_BOOLEAN_OPERATOR = "boolean_operator"
+TS_PY_BINARY_OPERATOR = "binary_operator"
 TS_PY_NOT_OPERATOR = "not_operator"
 TS_FIELD_CONDITION = "condition"
 TS_FIELD_CONSEQUENCE = "consequence"
@@ -92,6 +99,25 @@ TS_FIELD_ARGUMENT = "argument"
 # Python operator syntax dispatches to dunder methods at runtime; these names
 # let the call extractor synthesise the implied <operand>.__dunder__ call.
 PY_OP_IN = "in"
+PY_OP_AND = "and"
+# `left <op> right` dispatches to `left.__dunder__`, so the expression's type is
+# whatever that method returns -- which an overloaded operator can make a
+# different class from either operand (`Factory / Config -> Product`).
+PY_BINARY_OPERATOR_DUNDERS: dict[str, str] = {
+    "+": "__add__",
+    "-": "__sub__",
+    "*": "__mul__",
+    "/": "__truediv__",
+    "//": "__floordiv__",
+    "%": "__mod__",
+    "@": "__matmul__",
+    "**": "__pow__",
+    "|": "__or__",
+    "&": "__and__",
+    "^": "__xor__",
+    "<<": "__lshift__",
+    ">>": "__rshift__",
+}
 PY_BUILTIN_LEN = "len"
 PY_BUILTIN_GETATTR = "getattr"
 TS_PY_STRING_CONTENT = "string_content"
@@ -138,6 +164,8 @@ PY_METHOD_INIT = "__init__"
 DECORATOR_AT = "@"
 PROPERTY_DECORATORS: frozenset[str] = frozenset({"property", "cached_property"})
 ABSTRACT_DECORATORS: frozenset[str] = frozenset({"abstractmethod", "abstractproperty"})
+# A static method takes no receiver: a first parameter named `self` is explicit.
+STATIC_DECORATORS: frozenset[str] = frozenset({"staticmethod"})
 
 # Eager builtins that invoke a callable argument synchronously in the caller's
 # stack frame, so the trace attributes the call to the enclosing function (no

{code_graph_rag-0.0.895 → code_graph_rag-0.0.945}/codebase_rag/constants/ast_rust.py

@@ -81,6 +81,7 @@ TS_RS_MUTABLE_SPECIFIER = "mutable_specifier"
 TS_RS_STRUCT_EXPRESSION = "struct_expression"
 TS_RS_FIELD_DECLARATION_LIST = "field_declaration_list"
 TS_RS_FIELD_DECLARATION = "field_declaration"
+TS_RS_VISIBILITY_MODIFIER = "visibility_modifier"
 TS_RS_FIELD_IDENTIFIER = "field_identifier"
 TS_RS_MATCH_EXPRESSION = "match_expression"
 TS_RS_MATCH_ARM = "match_arm"

{code_graph_rag-0.0.895 → code_graph_rag-0.0.945}/codebase_rag/constants/ast_scala.py

@@ -34,6 +34,7 @@ TS_SCALA_BLOCK = "block"
 TS_SCALA_TEMPLATE_BODY = "template_body"
 TS_SCALA_VAL_DEFINITION = "val_definition"
 TS_SCALA_VAR_DEFINITION = "var_definition"
+TS_SCALA_ACCESS_MODIFIER = "access_modifier"
 TS_SCALA_LAMBDA_EXPRESSION = "lambda_expression"
 TS_SCALA_IDENTIFIER = "identifier"
 TS_SCALA_INSTANCE_EXPRESSION = "instance_expression"

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

@@ -539,6 +539,10 @@ EDIT_RESERVED_PATH = "Path is cgr state, not part of the tree: {path}"
 EDIT_TRANSACTION_FINISHED = "This transaction has already been committed or rolled back"
 EDIT_CONFLICT = "File changed since it was staged; transaction refused: {path}"
 EDIT_NOTHING_STAGED = "Nothing staged; the working tree is untouched"
+EDIT_NOT_NEWEST = (
+    "Transaction {transaction_id} is not the newest recorded edit ({newest}); "
+    "undo the later edit first"
+)
 EDIT_VERIFICATION_FAILED = (
     "Verification failed; the working tree is untouched: {reason}"
 )
@@ -577,6 +581,44 @@ RENAME_STRUCTURAL_UNLOCATABLE = (
 )
 RENAME_PLANNED = "{count} site(s) would be rewritten"
 RENAME_PARSE_FAILED = "Rename rolled back: {files} would no longer parse"
+RENAME_CONTRACT_FAILED = "Rename rolled back, postcondition failed: {reasons}"
+RENAME_ROLLBACK_REFUSED = (
+    "Rename failed its postcondition ({reasons}) and was not rolled back "
+    "({error}); renamed files may remain modified; check the working tree"
+)
+RENAME_ROLLBACK_UNKNOWN = (
+    "Rename kept: its postcondition failed ({reasons}) and its transaction is "
+    "no longer in the edit history, so whether it was already reversed cannot "
+    "be told from a truncated history; check the working tree"
+)
+RENAME_ROLLBACK_ALREADY_UNDONE = (
+    "Rename rolled back: its postcondition failed ({reasons}) and its "
+    "transaction had already been reversed by another actor, so the files "
+    "were restored without this rollback doing it"
+)
+RENAME_ROLLBACK_UNMEASURED = (
+    "Rename rolled back after its postcondition failed ({reasons}), but the "
+    "graph could not be re-ingested afterwards ({error}); rebuild the graph "
+    "before the next graph-backed operation"
+)
+RENAME_CONTRACT_UNMEASURED = (
+    "Rename applied, but its postcondition could not be measured: {error}"
+)
+# Postcondition contract (issue #1531).
+CONTRACT_OP_RENAME = "rename"
+CONTRACT_OP_CHANGE_SIGNATURE = "change_signature"
+CONTRACT_OP_MOVE = "move"
+CONTRACT_RENAME_MISSING = "{old} was not renamed to {new}"
+CONTRACT_RENAME_UNEXPECTED = "unexpected rename: {pairs}"
+CONTRACT_SYMBOLS_MOVED = "symbol set changed: added {added}; removed {removed}"
+CONTRACT_CALLERS_MOVED = "call site count changed: {before} before, {after} after"
+CONTRACT_DANGLING = "dangling callers: {sites}"
+CONTRACT_SITES_UNMAPPED = "call sites neither mapped nor listed as unmapped: {sites}"
+CONTRACT_HEURISTIC_REWRITTEN = "sites resolved by guesswork were rewritten: {sites}"
+CONTRACT_NEW_CYCLE = "new import cycle: {cycles}"
+CONTRACT_STALE_IMPORTER = "importers still target the old module: {sites}"
+CONTRACT_NEW_DUPLICATE = "new duplicate: {pairs}"
+CONTRACT_PARSE_FAILED = "files no longer parse: {files}"
 MSG_SURGICAL_FAILED = (
     "Failed to apply surgical replacement in {path}. "
     "Target code not found or patches failed."

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

@@ -5,6 +5,18 @@ from enum import StrEnum
 INIT_PY = "__init__.py"
 
 ENCODING_UTF8 = "utf-8"
+# Any UTF encoding can carry the whole of Unicode; the check Rich itself
+# uses to decide whether a stream can show box-drawing characters.
+ENCODING_UTF_PREFIX = "utf"
+# Longest UTF-8 sequence, so a window this size either side of a name spans
+# any single character that could legitimately sit next to it.
+UTF8_MAX_SEQUENCE_BYTES = 4
+# Sigils an ingestor prepends to a synthesized symbol name (a C# destructor
+# is stored as `~Greeter` while the source leaf is `Greeter`).
+SYNTHETIC_NAME_PREFIXES = "~"
+# What `errors="replace"` substitutes for an undecodable byte. Its presence
+# in an extracted symbol name means the name is damaged.
+UNICODE_REPLACEMENT_CHAR = "\ufffd"
 
 ARG_TARGET_CODE = "target_code"
 ARG_REPLACEMENT_CODE = "replacement_code"
@@ -188,6 +200,14 @@ CGR_STATE_FILENAMES: frozenset[str] = frozenset(
 )
 # Edit transactions (issue #1528).
 EDIT_HISTORY_LIMIT = 50
+
+# What a TransactionConflict means for a rename's rollback. Absence from the
+# history is only evidence of an undo while the history has not reached its
+# retention limit; at the limit an entry can have been EVICTED with its
+# rename still on disk.
+RENAME_UNDO_STACKED = "stacked"
+RENAME_UNDO_UNDONE = "undone"
+RENAME_UNDO_UNKNOWN = "unknown"
 EDIT_TRANSACTION_ID_LENGTH = 12
 EDIT_STAGING_PREFIX = "cgr-edit-"
 DIFF_DEV_NULL = "/dev/null"