[scodge-24]

Four focused, additive enhancements that let agents get a concrete file:line
anchor for a symbol straight from the slice CLI, instead of re-deriving spans by
hand after a grep hit. Each is an isolated commit; no breaking changes.

Changes

• find multi-term matching — a multi-word query now matches per-term across
  a slice's description/abstractions/body/tags, rather than as one rigid substring.
• grep --symbols (opt-in) — annotates each hit with its enclosing
  function/class line span via a hand-rolled, reject-on-ambiguity heuristic
  (decorators, nested functions, multi-line signatures, tab indentation, and
  braces-in-strings are left unannotated rather than guessed). New symbols.rs
  module behind two small functions, so an AST backend can replace it later
  without touching callers.
• show abstraction anchoring — abstractions are annotated with their
  definition file:line in human output.
• for / context test resolution — test files resolve to their owning
  slices via verification links.

Test plan

• cargo fmt --check — clean
• cargo clippy --all-targets -- -D warnings — clean
• cargo test — 56 passed, 0 failed (incl. new symbols.rs units + CLI snapshots)

🤖 Generated with Claude Code

[Copilot]

Pull request overview

This PR adds opt-in symbol anchoring and improved slice resolution behaviors so CLI users (and agents) can get concrete file:line anchors and better for/context results without re-deriving spans manually.

Changes:

• Update find to support multi-term AND matching across slice fields, with improved “unmatched term” diagnostics.
• Add grep --symbols (opt-in) and a new symbols module to heuristically annotate grep hits with enclosing symbol spans.
• Annotate show abstractions with (path:line) in human output and add a human-only verification-link fallback for for/context when no files: owner matches.

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 5 comments.

Show a summary per file

File	Description
rust/slice-rs/tests/cli.rs	Adds CLI tests covering multi-term find, grep --symbols, abstraction location rendering, and verification-link fallback behavior.
rust/slice-rs/src/symbols.rs	Introduces heuristic symbol span detection utilities for Python and brace-based languages.
rust/slice-rs/src/lib.rs	Exposes the new symbols module.
rust/slice-rs/src/commands.rs	Implements multi-term find, grep --symbols output, abstraction (path:line) rendering, and verification-link fallback for for/context.
rust/slice-rs/src/cli.rs	Adds the --symbols flag and help text for slice grep.
rust/slice-rs/src/check.rs	Makes verification parsing and abstraction normalization reusable within the crate.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[greptile-apps]

Greptile Summary

This PR adds four related features to the slice CLI: multi-term find matching (splits the query on whitespace and ANDs each term across fields), grep --symbols (annotates each hit with its enclosing function/class span via a conservative hand-rolled heuristic), show abstraction anchoring (resolves each abstraction to its file:line definition site), and for/context verification fallback (test files resolve to their owning slices through Verification links rather than files: ownership).

• symbols.rs is a new module exporting enclosing_span and definition_span behind a two-language heuristic (Python indentation-based, brace-counting for C/Rust/Go/TS/JS); the previously-flagged early-exit and Rust-lifetime bugs are fixed and regression-tested.
• commands.rs wires grep_with_symbols, verification_associations, print_abstractions/abstraction_location, and the expanded find_matches multi-term logic; JSON contracts are deliberately unchanged for all new fallback paths.
• check.rs promotes parse_verification and normalize_abstraction to pub(crate) for reuse.

Confidence Score: 4/5

The verification fallback, find multi-term, and show abstraction anchoring are correct and safe; the grep --symbols and show abstraction annotation features work as advertised for Python but are silently ineffective for most real Rust code because pub fn, pub(crate) fn, and async fn are never matched by brace_def_name.

brace_def_name does not strip visibility or qualifier prefixes before matching keywords — a Rust function declared as pub fn handle or pub async fn fetch falls through all keyword checks and returns None. Neither grep --symbols annotations nor show abstraction file:line locations appear for those symbols, even though Rust is listed as supported. All tests pass because the fixtures use Python source files, masking the gap entirely.

rust/slice-rs/src/symbols.rs — specifically brace_def_name and the BRACE_KEYWORDS constant

Important Files Changed

Filename	Overview
rust/slice-rs/src/symbols.rs	New heuristic symbol-span module. Previously-flagged early-exit and Rust-lifetime bugs are fixed and tested. However, brace_def_name does not strip visibility/qualifier prefixes, so most real Rust library functions (pub fn, pub(crate) fn, etc.) are silently unannotated.
rust/slice-rs/src/commands.rs	Core command changes look correct. grep_with_symbols uses rg --json for structured output, caches file reads per path, and handles BrokenPipe gracefully. verification_associations and its callers correctly keep JSON contracts unchanged. find_matches multi-term logic is sound.
rust/slice-rs/src/check.rs	Minimal change: parse_verification and normalize_abstraction promoted to pub(crate). No behavioral change.
rust/slice-rs/src/cli.rs	Adds --symbols flag to grep with accurate after_help text. CLI wiring is clean.
rust/slice-rs/src/lib.rs	Adds pub mod symbols declaration. Trivial change.
rust/slice-rs/tests/cli.rs	New tests cover grep --symbols (Python defs), for/context verification fallback, and multi-term find. No test exercises the Rust/brace path with visibility modifiers, leaving that gap untested.

_{Reviews (2): Last reviewed commit: "fix(commands): broken-pipe, path-norm, s..." | Re-trigger Greptile}

[scodge-24]

Thanks for the reviews — all 7 points addressed in 7322961 (symbols) + fb3f523 (commands). fmt + clippy clean; 47 lib + 56 CLI tests green (3 new regression tests). JSON contracts unchanged throughout.

symbols.rs

• Greptile P1 — brace_enclosing early exit. The backward scan no longer aborts on the first preceding def; it skips non-enclosing / unparseable defs and keeps climbing to the real encloser. Test: brace_climbs_to_outer_after_nested_fn.
• Greptile P2 + Copilot (over-rejection in brace_span_from_def). Unified into one fix: the brace-hazard check now only fires when a line actually carries a {/}, and treats single quotes as a hazard only as '{'/'}'. Rust lifetimes (&'a T) and braceless string/comment lines no longer suppress annotation. Tests: brace_rust_lifetime_on_def_line_is_ok, brace_braceless_string_line_does_not_suppress.

commands.rs

• BrokenPipe (grep --symbols … | head) → clean Ok(0) early exit instead of exit 2, matching rg.
• verification_associations normalizes the verification ref's file path before matches_path.
• context verification fallback uses FxHashSet instead of Vec::contains.
• abstraction_location reads each slice file once per invocation rather than once per abstraction; the dedup also fixes a latent false-ambiguity when one file matched two patterns.