fix(scanner): pass dirty scopes to distributed scope resolution (#7329)

This commit is contained in:
唐小鸭
2026-09-07 07:42:17 +08:00
committed by GitHub
parent a2bad0953f
commit 4d1ce9618a
@@ -172,9 +172,13 @@ where
return default_result(resolution.requested_scope);
};
dirty_buckets.extend(remote_dirty_usage.dirty_buckets);
// Peer snapshots contribute bucket names only; the local prefix scopes
// would narrow a bucket a peer dirtied elsewhere, so the merged scope
// stays at bucket granularity (same rule as the local fallthrough).
let scope = scoped_scan_scope_from_dirty_buckets(
resolution.requested_scope,
dirty_buckets,
None,
true,
resolution.all_buckets,
resolution.baseline_proof,