feat: introduce RowIdSet and RowIdMask

[yanghua]

This is a sub-task of issue: #5326

[github-actions]

PR Review: feat: introduce RowIdSet and RowIdMask

Summary

This PR adds RowIdSet and RowIdMask types that mirror the existing RowAddrTreeMap and RowAddrMask but operate on stable 64-bit row IDs using RoaringTreemap directly. The implementation is straightforward and follows established patterns in the codebase.

P0/P1 Issues

P1: Missing tests - The new RowIdSet and RowIdMask types have no test coverage. The existing file has comprehensive tests for RowAddrMask and RowAddrTreeMap (lines 927-1123), but no corresponding tests for the new types. Given the project requirement that "We do not merge code without tests", please add tests covering:

• RowIdSet: new(), iter(), union(), difference(), and RowSetOps trait methods
• RowIdMask: all_rows(), allow_nothing(), from_allowed(), from_block(), selected(), selected_indices(), also_block(), also_allow(), max_len(), iter_ids()
• Edge cases for from_sorted_iter() with non-sorted input

P1: Missing public exports - The new types are not re-exported from the module's public API. Users will need to import them, but they're not currently accessible outside the module. Check if they need to be added to the module's pub use statements.

Notes

• The code correctly follows the existing pattern established by RowAddrMask/RowAddrTreeMap
• Good use of RoaringTreemap for 64-bit row IDs (vs RoaringBitmap for 32-bit)
• The #[track_caller] annotation on from_sorted_iter is appropriate for debugging

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

[hamersaw]

@yanghua I'm not following the use-case for adding these? What functionality are we gaining here that is not available through the existing structs?

[yanghua]

Hi @hamersaw You may follow this parent-task: #5326 .

[majin1102]

Thanks for working on this. Left some comments

[yanghua]

@majin1102, have addressed your concern. Please take a look.