Expose list membership with SQL null semantics in Java and Python

[robert3005]

Summary

Expose the membership expressions from #10052 in Java/JNI and Python, so callers can construct one set-membership expression with either Vortex or SQL null semantics.

Stacked on #10052, which builds on the SQL null semantics in #10057. DuckDB integration follows in #10054.

Changes

• Add Java listContains, in, and notIn, plus nonempty, empty, and null list literals and their JNI implementations.
• Add Python list_contains(..., sql_null_semantics=True) and in_list(value, list); negate in_list for SQL NOT IN.
• Fix Python typed-list construction and infer nullable list element types regardless of null position. Update exports, type stubs, and API documentation.
• Add Java scan and literal-construction coverage, and Python tests for null semantics, empty/null lists, serialization, scan filters, and large sets.

Validation: cargo clippy -p vortex-jni -p vortex-python --all-targets --all-features -- -D warnings, uvx ty check vortex-python, and Ruff on the changed expression stub passed. Java main and test sources compiled with ./gradlew :vortex-jni:compileJava :vortex-jni:compileTestJava -x buildJniLibrary -x makeTestFiles --console=plain (native compilation checked separately with Cargo). Runtime tests and benchmarks were not executed.

[codspeed]

Merging this PR will regress 1 benchmark

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

⚠️ Different runtime environments detected

Some benchmarks with significant performance changes were compared across different runtime environments,
which may affect the accuracy of the results.

Open the report in CodSpeed to investigate

⚡ 7 improved benchmarks
❌ 1 regressed benchmark
✅ 2058 untouched benchmarks
🆕 4 new benchmarks
⏩ 525 skipped benchmarks¹

Warning

Please fix the performance issues or acknowledge them on CodSpeed.

Performance Changes

	Mode	Benchmark	BASE	HEAD	Efficiency
❌	WallTime	dict_canonicalize_gt_u8_avx512[1000000]	534.5 µs	836.7 µs	-36.12%
⚡	Simulation	nested_list_random[4]	1,926.8 µs	633.5 µs	×3
⚡	Simulation	utf8_random[4]	732.2 µs	278.5 µs	×2.6
⚡	Simulation	i64_random_chunked[4]	406.2 µs	178.4 µs	×2.3
⚡	Simulation	i64_random[4]	146.5 µs	82.4 µs	+77.74%
⚡	Simulation	density_sweep_single_slice[0.9]	48.8 µs	32.6 µs	+49.75%
⚡	WallTime	dict_canonicalize_gt_u8_neon[1000000]	561.6 µs	492 µs	+14.15%
⚡	WallTime	words_gather_dispatch_neon[65536]	2.3 µs	2 µs	+10.56%
🆕	Simulation	i64_random_chunked[256]	N/A	320.4 µs	N/A
🆕	Simulation	i64_random[256]	N/A	225.8 µs	N/A
🆕	Simulation	nested_list_random[32]	N/A	1 ms	N/A
🆕	Simulation	utf8_random[256]	N/A	508.9 µs	N/A

Tip

Investigate this regression by commenting @codspeedbot fix this regression on this PR, or directly use the CodSpeed MCP with your agent.

---

_{Comparing rk/list-contains-bindings (2a51612) with claude/friendly-knuth-dj6ed1-list-contains (5bea57b)²}

Footnotes

1. 525 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

2. No successful run was found on claude/friendly-knuth-dj6ed1-list-contains (159aaff) during the generation of this report, so a7d2c7f was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩