perf: Prune matched right rows in nested loop semi and anti joins

[lyne7-sc]

Which issue does this PR close?

• Closes #.

Rationale for this change

For RightSemi and RightAnti nested loop joins, each right row only needs one match to determine whether it belongs in the result. Currently, matched right rows continue participating in comparisons with subsequent left rows.

Skipping these comparisons can significantly reduce execution time when matches are found early.

What changes are included in this PR?

• Add RightExistenceProbe to track matches and right-side candidates.
• Compact the right-side filter columns when at least half the candidates have matched and more left rows remain.
• Stop probing the current right batch when all its rows have matched.
• Preserve matches in original right-row coordinates for output and spill handling.

What is the testing strategy for this PR?

• Add unit tests for match tracking and candidate compaction.
• Add SQL coverage in nested_loop_join_existence.slt for RightSemi/RightAnti joins, including NULLs, repeated matches, and multiple left rows per probe.
• Extend nested_loop_join_spill.slt to cover RightSemi/RightAnti joins across spilled left chunks.

Are there any user-facing changes?

No. This is an internal performance optimization.

Benchmark results

Case	Scenario	main	This PR	Time change
Q15	Right Semi, early matches	307.659	0.365	-99.88%
Q16	Right Anti, early matches	306.225	0.338	-99.89%
Q18	Right Semi, no matches	7.964	7.728	-2.95%
Q19	Right Anti, no matches	8.100	7.770	-4.07%
Q20	Right Semi, staged compaction	56.082	7.182	-87.19%
Q21	Right Anti, staged compaction	56.057	7.115	-87.31%
Q22	Right Semi, repeated 40% matches (4,096 left × 8,192 right)	12.185	12.410	+1.84%
Q23	Right Anti, final-left-row matches with wide Utf8	0.305125	0.309042	+1.28%

[codecov-commenter]

Codecov Report

❌ Patch coverage is 87.86408% with 25 lines in your changes missing coverage. Please review.
✅ Project coverage is 82.76%. Comparing base (827ca29) to head (9d19d30).
⚠️ Report is 3 commits behind head on main.

Files with missing lines	Patch %	Lines
...fusion/physical-plan/src/joins/nested_loop_join.rs	87.86%	10 Missing and 15 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main   #25413      +/-   ##
==========================================
+ Coverage   82.71%   82.76%   +0.04%     
==========================================
  Files        1147     1147              
  Lines      447818   448598     +780     
  Branches   447818   448598     +780     
==========================================
+ Hits       370412   371267     +855     
- Misses      54919    54932      +13     
+ Partials    22487    22399      -88     

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[kosiew]

nlj benchmark (excerpt)

Benchmark nlj.json
--------------------
┏━━━━━━━━━━━┳━━━━━━━━━━━━┳━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━┓
┃ Query     ┃       HEAD ┃ bench-25413 ┃          Change ┃
┡━━━━━━━━━━━╇━━━━━━━━━━━━╇━━━━━━━━━━━━━╇━━━━━━━━━━━━━━━━━┩
│ QQuery 15 │  110.09 ms │     0.58 ms │ +188.66x faster │
│ QQuery 16 │  110.38 ms │     0.59 ms │ +185.80x faster │
└───────────┴────────────┴─────────────┴─────────────────┘

[kosiew]

@lyne7-sc,

Thanks for working on this. The RightSemi/RightAnti probing changes, candidate compaction, payload preservation, spill handling, tests, and benchmarks look good to me.

[lyne7-sc]

Thanks @kosiew for the review!

[kosiew]

🚀
@lyne7-sc
Thank you for your contribution.