Skip to content

docs(grep): describe the real output cap#32

Open
T0mSIlver wants to merge 1 commit into
microsoft:mainfrom
T0mSIlver:fix/grep-md-cap-text
Open

docs(grep): describe the real output cap#32
T0mSIlver wants to merge 1 commit into
microsoft:mainfrom
T0mSIlver:fix/grep-md-cap-text

Conversation

@T0mSIlver

Copy link
Copy Markdown

Problem

grep.md told the model:

Results are capped to several thousand output lines for responsiveness; when truncation occurs, the results report "at least" counts, but are otherwise accurate.

Neither part is true. The actual cap is 100 lines (limit = 100 in grep.py), adjustable via head_limit, and truncation simply appends Results truncated to first N lines — there are no "at least" counts.

Fix

Rewrite the line to describe the real 100-line default cap, the head_limit override, and the actual truncation note. Adds tests/test_grep_doc_cap.py which asserts the description no longer makes the false claims and that its documented truncation wording matches what the tool emits at runtime.

Paper reference — judgment call

The paper's schema does not mention any output cap (no "several thousand", no 100-line limit, no "at least" counts). This change only makes the description honest about the existing 100-line implementation; the wording and the cap itself are repo-local, not specified by the paper.

grep.md claimed results are capped at 'several thousand output lines'
and report 'at least' counts on truncation. The actual cap is 100 lines
(adjustable via head_limit) and truncation appends a 'Results truncated
to first N lines' note. Describe what the tool actually does, and add a
test cross-checking the doc against the runtime truncation note.
@T0mSIlver T0mSIlver closed this Jun 27, 2026
@T0mSIlver T0mSIlver deleted the fix/grep-md-cap-text branch June 27, 2026 11:31
@T0mSIlver T0mSIlver restored the fix/grep-md-cap-text branch June 27, 2026 11:56
@T0mSIlver T0mSIlver reopened this Jun 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant