Typecheck a proposed single-file edit without writing it, at the best available verification grade (T0, Decision D11). Verification never shrugs. It answers at oracle grade (a speculative typecheck against the build-captured compilation, no build) when tier-1 is available, falls back to build grade (running dotnet build scoped to the owning project and parsing the same diagnostic shape) otherwise, and abstains only when even the toolchain cannot run.

Plan and emit scoped, reduced source with provenance for a set of seeds. Seeds can be symbols, files, services, requests, configs, or routes. Provides context expansion up to specified depth with optional token budget and session tracking.

The find union: exact lookup, wiring resolution, signatures, neighbors, and ranked task localization. No source bodies. Provides symbol lookup, path matching, text search, service/request/route/config resolution, and signature batch lookups.

Localizes a task to ranked candidate files and symbols (no source bodies). Reached through fuse_find kind=task. Provides free-text task localization with optional route, symbol, service, request, config, and git change-based candidate seeding.

Deterministically resolves .NET wiring to its target(s). Reached through fuse_find with kind=service|request|route|config. Resolves services to implementations, requests/commands to handlers, routes to actions, and config sections to options types.

Batch exact-signature lookup: for a set of symbol names, returns each declared signature, kind, accessibility, and location in one call. Reached through fuse_find kind=signatures.