You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Router inventory preserves workspace-relative repository and document names
when Windows directory junctions point to offloaded repositories. Duplicate
basenames retain distinct relative keys instead of raising a path error.
Graph preloads retain each repository's captured physical root. A changed root
fails explicitly; repository-internal junctions outside that root stay excluded
during preload reuse and fallback after an ordinary file change. Junctions
entering below a nested repository's marker retain that ownership boundary.
This preserves the shared traversal without claiming an atomic filesystem
snapshot.
An exhausted inventory budget raises the existing ScanBudgetExceeded result
before repository sorting. Partial discovery does not become a complete map.