feat: land the post-v1.6 upstream sync with v1.6.1 corrections (#275)

Ports the audited post-v1.6 upstream correctness fixes with the final forms released in upstream v1.6.1, memoised per-file source facts for the resolver's text gates, a sibling writer.json diagnostic record for the kernel writer lock, and hermetic git fixtures in the pending-state tests. Release notes come from the commit override in the pull request body.

Author: sunerpy

.githooks/pre-push

@@ -4,5 +4,11 @@
 set -euo pipefail
 repo_root="$(git rev-parse --show-toplevel)"
 cd "$repo_root"
+# Git hands hooks the repository-locating environment (GIT_DIR, GIT_INDEX_FILE,
+# ...). Tests create throwaway repositories; inheriting these variables would
+# point their commits at THIS repository, so clear them before the gate.
+for name in $(git rev-parse --local-env-vars); do
+    unset "$name"
+done
 echo "==> [pre-push] make pre-ci"
 exec make pre-ci

Cargo.lock

@@ -182,10 +182,20 @@ codegraph install --yes --init
 codegraph install --target=codex,claude,kiro --yes
 ```
 
+Global profile overrides are honored: Claude Code follows
+`CLAUDE_CONFIG_DIR`, Codex follows `CODEX_HOME`, and OpenCode 2 receives its
+native `mcp.servers.codegraph` entry with `codemode: false`. Claude entries set
+`alwaysLoad: true`; Copilot CLI entries set `deferTools: "never"` so Explore is
+available from the first prompt.
+
 A server launched without `--path` can serve an existing index selected by an
 explicit per-call `projectPath`, client roots, or deterministic workspace
-adoption. Pin `--path` when a project should be the default rather than
-supplied per call.
+adoption. First explicit access to an existing index waits for catch-up and
+retains that project's shared daemon/watcher; multiple child projects remain
+separate and multiple MCP sessions share one writer per project. Pin `--path`
+when a project should be the default rather than supplied per call. Explicit
+direct mode (`CODEGRAPH_NO_DAEMON=1`) opts out of lazy cross-project daemon
+services, permits one direct writer, and rejects a second.
 
 The default visible MCP surface emphasizes exploration, file/symbol reads,
 search, and callers. Additional known tools can be enabled with

README.md

@@ -0,0 +1,55 @@
+struct AggregateOnly {
+    int value;
+};
+
+class WithConstructor {
+public:
+    WithConstructor() {}
+    explicit WithConstructor(int value) {}
+};
+
+class Defaults {
+public:
+    Defaults() {}
+    explicit Defaults(int value = 0) {}
+};
+
+namespace left {
+struct Widget {
+    Widget() {}
+};
+}
+
+namespace right {
+struct Widget {
+    Widget() {}
+};
+}
+
+void aggregate_only() {
+    AggregateOnly value{};
+}
+
+void constructor_default() {
+    WithConstructor value;
+}
+
+void constructor_braced() {
+    WithConstructor value{};
+}
+
+void constructor_value() {
+    WithConstructor value(1);
+}
+
+void constructor_ambiguous_overload() {
+    Defaults value;
+}
+
+void constructor_ambiguous_owner() {
+    Widget value;
+}
+
+void constructor_explicit_owner() {
+    left::Widget value;
+}

crates/codegraph-bench/fixtures/cpp/constructor_resolution.cpp

@@ -0,0 +1,16 @@
+void reset_profile(void)
+{
+    RESET_CONFIG(profile_t, profile,
+        .pid = { [0] = 10, [1] = { 50, 75 } },
+        .limit = 500,
+    );
+}
+
+void after_reset(void)
+{
+}
+
+int final_value(void)
+{
+    return 1;
+}

crates/codegraph-bench/fixtures/cpp/designated_macro.c

@@ -0,0 +1,21 @@
+class AbstractStore {
+public:
+    virtual int read(int key) = 0;
+    virtual AbstractStore *clone() = 0;
+    virtual AbstractStore &operator=(const AbstractStore &) = 0;
+    int inherited_pure() = 0;
+    int declaration_only(int key = 0);
+    int (*callback)(int) = 0;
+    int data = 0;
+};
+
+class DiskStore : public AbstractStore {
+public:
+    int read(int key) override { return key; }
+    AbstractStore *clone() override { return this; }
+};
+
+int fetch_store(AbstractStore *store, int key)
+{
+    return store->read(key);
+}

crates/codegraph-bench/fixtures/cpp/pure_virtual.cpp

@@ -0,0 +1,21 @@
+namespace fixture {
+const char *source_template = u8R"MARKUP(
+DECLARE_THING(
+struct Ghost { int value; };
+UE_DEPRECATED(
+class GHOST_API IgnoredApi {};
+float4 position [[position]];
+__global__ void ignored_kernel() {}
+ignored_kernel<<<1, 1>>>();
+)MARKUP";
+}
+
+int after_raw_string(int value)
+{
+    return value;
+}
+
+int final_after_raw_string(void)
+{
+    return 1;
+}

crates/codegraph-bench/fixtures/cpp/raw_string.cpp

@@ -0,0 +1,11 @@
+extension type MetersT(double value) {
+  double get km => value / 1000;
+
+  void report() {
+    print(km);
+  }
+}
+
+class Widget {
+  double get half => 1.0;
+}

crates/codegraph-bench/fixtures/dart/extension_type.dart

@@ -90,3 +90,46 @@ impl Countdown {
         }
     }
 }
+
+pub struct SplitTarget;
+
+impl SplitTarget {
+    pub fn reset(&mut self) {}
+}
+
+pub struct SplitDecoy;
+
+impl SplitDecoy {
+    pub fn reset(&mut self) {}
+
+    pub fn missing(&mut self) {}
+}
+
+impl SplitTarget {
+    pub fn drive(&mut self) {
+        self.reset();
+        self.missing();
+    }
+}
+
+pub trait Drive {
+    fn go(&mut self);
+}
+
+pub struct StepDecoy;
+
+impl StepDecoy {
+    pub fn step(&mut self) {}
+}
+
+pub struct Doer;
+
+impl Doer {
+    pub fn step(&mut self) {}
+}
+
+impl Drive for Doer {
+    fn go(&mut self) {
+        self.step();
+    }
+}

crates/codegraph-bench/fixtures/rust/self_field.rs

@@ -0,0 +1,9 @@
+object ExtAgreement {}
+
+trait ExtAgreement {
+  def extId: String = "x"
+}
+
+trait OtherAgreement
+
+class MAgreement(agreement: String)(implicit queryService: Int)