Fix cursor queries at symbol end boundaries

[akcorca]

Summary

• resolve a caret immediately after a math symbol to that symbol while preserving half-open source ranges
• keep an exact symbol start higher priority when two symbol ranges share a boundary
• apply the resolved cursor position consistently to selection, hover, definition, references, rename, diagnostics, recognition, domain evidence, and inspection
• cover unfinished math at end-of-file and positive bound-variable rename behavior
• ship the patch as v0.12.1 with a remotely built x86_64 Linux release WASM

Reproduction

In p = \frac{\mathbb{P}(A \cap B)}{\mathbb{P}(B)}, Go to Definition worked with the caret before/on A, but returned no location with the caret immediately after A. The new native/WASM parity fixture exercises that trailing boundary.

Verification

• bun run check
• 69 Rust tests and 33 TypeScript tests
• native/release-WASM parity, including the new trailing-boundary queries
• all pack calibration, performance budgets, and package smoke checks

[coderabbitai]

Important

Review skipped

Auto reviews are disabled on this repository. Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro Plus

Run ID: 6c5e266f-ce52-4298-ac42-26b09ba5f20c

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}