-
Notifications
You must be signed in to change notification settings - Fork 3.8k
feat(copilot): mount the docs corpus in the VFS with path-scoped search_docs #6389
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Open
j15z
wants to merge
32
commits into
mship-fixes
Choose a base branch
from
feat/docs-vfs-search-docs
base: mship-fixes
Could not load branches
Branch not found: {{ refName }}
Loading
Could not load tags
Nothing to show
Loading
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Changes from all commits
Commits
Show all changes
32 commits
Select commit
Hold shift + click to select a range
cc6dd5b
feat(copilot): identify current workspace in workspace list
j15z ea295e2
feat(copilot): replace search_documentation with path-scoped search_d…
j15z 010f0a6
improvement(copilot): label docs corpus reads as Section/filename in …
j15z c5f355e
improvement(copilot): show the query in search_docs tool chips
j15z 9aa29aa
feat(copilot): build the docs vfs from a generated manifest, rescope …
j15z c6b8eec
fix(review): act on docs-vfs review findings
j15z da102c7
fix(copilot): explain a short or empty search_docs result set
j15z 32e07e5
fix(copilot): include a section overview in either layout when scopin…
j15z 7fdce71
fix(copilot): make the search_docs topK clamp type-safe and test it
j15z b175d0a
fix(copilot): restore the query in search_docs tool chips
j15z bb65387
improvement(copilot): share the unmounted-docs list, shrink the searc…
j15z 8dd7bf6
chore(copilot): regenerate the tool catalog for the retired quick-ref…
j15z 2bb974c
fix(review): attach the scope-error TSDoc to the class it documents
j15z ae25efd
fix(review): harden docs corpus edges — trailing-slash glob, root-ind…
j15z 5e66306
chore(copilot): regenerate the tool catalog for the lean search agent
j15z d28b956
improvement(copilot): retire search_documentation and get_platform_ac…
j15z df72959
changed search_docs tool title to Searching Sim docs
j15z d651d6f
fix(copilot): apply the Searching Sim docs rename to the dynamic titl…
j15z ae89151
improvement(copilot): retry docs fetches and grep docs directories in…
j15z b272cf1
chore(copilot): drop the retired search_documentation test
j15z 407c7c7
test(copilot): cover directory-scoped docs grep at the handler level
j15z a807e2e
chore(copilot): regenerate the docs manifest for staging docs content
j15z 8b5a8d8
chore(copilot): resync the grep tool description from mothership cont…
j15z 60cccd2
improvement(copilot): stamp docs grep fan-out size on the grep span
j15z 4107177
chore(copilot): resync docs and mothership contracts after restack
j15z be702bc
improvement(copilot): narrow the docs search rollout
j15z 4805cf3
improvement(copilot): preserve docs path casing in read labels
j15z a16a593
improvement(copilot): keep @Docs on search_docs
j15z 2d02043
fix(copilot): preserve docs search guidance (#6389)
j15z 935edc4
docs(copilot): document VFS grep routing
j15z a82622f
fix(copilot): harden docs context retrieval
j15z eb2867f
chore(copilot): sync search context contract
j15z File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Uh oh!
There was an error while loading. Please reload this page.