Skip to content

fix: keep nested operators out of formula matches - #100

Merged
akcorca merged 1 commit into
mainfrom
fix/v011-pattern-precedence
Aug 8, 2026
Merged

fix: keep nested operators out of formula matches#100
akcorca merged 1 commit into
mainfrom
fix/v011-pattern-precedence

Conversation

@akcorca

@akcorca akcorca commented Aug 8, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • require every regex-captured operand to have independently balanced delimiters
  • prevent nested set operators inside probability/function syntax from becoming whole-formula meanings
  • rebuild the release WASM on the remote x86_64 Linux build host

Verification

  • bun run check
  • 63 Rust tests and 26 Bun tests
  • 236 v0.11 safety queries, native/WASM parity, calibration, budgets, and package smoke
  • regression coverage for Pr(A cap B), the conditional-probability identity, and nested union

Found during CorTeX staging dogfood for corca-ai/cortex#405.

Refs #85
Refs #91

@coderabbitai

coderabbitai Bot commented Aug 8, 2026

Copy link
Copy Markdown

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: 2681b632-bd91-4e07-a120-feafe7fafa16

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

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

@akcorca
akcorca merged commit c11cc4f into main Aug 8, 2026
2 checks passed
@akcorca
akcorca deleted the fix/v011-pattern-precedence branch August 8, 2026 15:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant