test: add independent synthetic math corpus

[akcorca]

Summary

• add 336 directly LLM-authored formula cases across six independent mathematical domains
• add 60 independently authored English mathematical-definition cases
• separate supported recognition, hard refusals, and currently unsupported coverage targets
• validate checked-in annotations against the native engine and report per-domain semantic coverage
• keep corpus validation in the default project gate without generating examples at test time

Verification

• bun run check
• 80 Rust tests and 42 Bun tests
• 396 exact synthetic queries
• native/release-WASM parity, budgets, conformance, and package smoke all pass

[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: 8def9137-64eb-42b0-9a03-32b6f682b469

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.}