Tool · Kimi Code · Moonshot AI
grep
What matters here2 of 3 invariants hold · 1 unverified
- Regex dialectRust regexsrclike 8 of 11
- Announces truncationinvariantholdssrcall 18 hold
- Agrees with readinvariantholdssrc6 of 7 hold
- Gitignoreyes, unless include_ignoredsrclike 2 of 18
The facts the registry marks decision-changing, with how the other implementations answered. An invariant may be shown as pass/fail; a design choice never is, however unusual it looks.
Description, as the model sees it
Not recorded yet — the verbatim description has not been captured for this tool.
Registered schema
Not recorded yet — the schema as registered has not been captured for this tool.
Observed · Code search
compare all →| Fact | This tool | Across all implementations |
|---|---|---|
| Shape | 3 of 3 recorded | |
| What it searches | by-contentsrc | like 9 of 20by-name ×9 · both ×1 +1 |
| Tools per harness | two toolssrc | like 18 of 20no search tool ×1 · one tool ×1 |
| Search engine | ripgrepsrc | like 2 of 19bundled ripgrep ×6 · bundled fd ×1 +101 unverified |
| Query language | 1 of 2 recorded | |
| Regex dialect | Rust regexsrc | like 8 of 11varies by backend: Rust regex, git grep, POSIX, or JS RegExp ×1 · varies by backend: Rust regex, POSIX, or Python re ×1 +1 |
| Case sensitivity | ? | 6 others recordedsensitive, model can ask ×3 · always insensitive, not configurable ×2 +113 unverified |
| Result shape | 4 of 4 recorded | |
| Line numbers in results | on by defaultsrc rg -n unless the caller passes -n: false. | only one of 11Line N: ×3 · path:N: ×2 +5 |
| Result cap | 250 lines, paginatedsrc DEFAULT_HEAD_LIMIT = 250, with an offset argument to page past it. | only one of 20100 files ×4 · 100 matches ×3 +10 |
| Announces truncationinvariant | holdssrc Three separate notices: the head limit ("Use offset=N to see more"), a byte cap on rg's own output, and a timeout notice for partial results. | all 18 hold1 unverified |
| How "no matches" reads | sentencesrc "No matches found", or "No non-sensitive matches found" when the only hits were in filtered files. | like 16 of 17empty stdout ×13 unverified |
| Agreement with read | 1 of 2 recorded | |
| Search line N is read line Ninvariant | holdssrc Both are 1-indexed. | 6 of 7 holdfalse ×12 unverified |
| Search counts as having read | ? | 2 others recordedno read tracking at all ×1 · yes — matched files are recorded as partial reads ×19 unverified |
| Scope | 2 of 3 recorded | |
| Respects .gitignore | yes, unless include_ignoredsrc --no-ignore is passed only when the model asks for it. | like 2 of 18yes ×8 · no, deliberately ×2 +52 unverified |
| Binary content never enters contextinvariant | ? | 2 of 3 holdtrue ×2 · false ×18 unverified |
| Ordering | 1 of 1 recorded | |
| Result ordering | files by modification time, newest firstsrc Stable tiebreak on the original index. | only one of 16modification time, newest first ×5 · ripgrep traversal order ×5 +54 unverified |