Add validity fast-path helper for the four pattern-matching encoders

[joseph-isaacs]

Part 10 of 25 in the stacked PR series adding vortex-row.

This PR contains exactly one commit; review just that diff in isolation.

Note: the PR title is a shortened version of the original commit title (which is 73 chars: "Add validity fast-path helper for the four encoders that pattern-match it"). The commit message itself is unchanged.

What this commit does

Most production columns are non-nullable or AllValid, in which case the per-row mask.value(i) branch is dead weight. Introduces a ValidityKind { AllValid, Mask(...) } helper resolved exactly once per column, and pattern-matches on it in the four encoders that loop over rows: encode_primitive_typed, encode_bool, encode_varbinview, add_size_varbinview.

For NonNullable / AllValid columns this skips the mask materialization entirely, and the inner loop has no validity branch. For nullable columns the materialized mask is held once instead of re-resolved per row.

Yields ~10% across canonical paths on isolated runs; combines with the later auto-vectorization commit because removing the per-row branch makes the inner loop a candidate for the compiler's vectorizer.

Stack

#	PR	Title	Branch
1	#7986	vortex-row: crate scaffolding	claude/row-c01-crate-scaffolding
2	#7987	vortex-row: add SortField and RowEncodeOptions	claude/row-c02-sortfield-options
3	#7988	vortex-row: codec for fixed-width canonical types	claude/row-c03-codec-fixed-width
4	#7989	vortex-row: codec for varlen canonical types	claude/row-c04-codec-varlen
5	#7990	vortex-row: codec for nested canonical types	claude/row-c05-codec-nested
6	#7991	vortex-row: compute_sizes helper and RowSize ScalarFn	claude/row-c06-rowsize-scalarfn
7	#7992	vortex-row: RowEncode ScalarFn	claude/row-c07-rowencode-scalarfn
8	#7993	vortex-row: convert_columns + tests + bench scaffolding	claude/row-c08-convert-columns-tests-bench
9	#7994	Skip ListView validation in row encoder output	claude/row-c09-skip-listview-validation
10	#7995	Add validity fast-path helper for the four pattern-matching encoders	claude/row-c10-validity-fast-path
11	#7996	Skip zero-init of output buffer	claude/row-c11-skip-zero-init
12	#7997	Auto-vectorize pure-fixed offsets construction	claude/row-c12-vectorize-pure-fixed-offsets
13	#7998	Auto-vectorize mixed-path offsets construction	claude/row-c13-vectorize-mixed-offsets
14	#7999	Rewrite varlen 32-byte block encoder with copy_nonoverlapping	claude/row-c14-varlen-block-copy-nonoverlapping
15	#8000	Walk VarBinView rows directly in row encoder hot loop	claude/row-c15-walk-varbinview-directly
16	#8001	Add arithmetic-write fast path for fixed-before-varlen columns	claude/row-c16-arith-write-fast-path
17	#8002	Specialize Constant for the arithmetic-write fast path	claude/row-c17-specialize-constant-arith
18	#8003	RowSizeKernel and RowEncodeKernel dispatch helpers	claude/row-c18-kernel-dispatch-helpers
19	#8004	Inventory-based registry for downstream encoding kernels	claude/row-c19-inventory-registry
20	#8005	Constant row-encode kernel	claude/row-c20-constant-kernel
21	#8006	Dict row-encode kernel	claude/row-c21-dict-kernel
22	#8007	Patched row-encode kernel	claude/row-c22-patched-kernel
23	#8008	RunEnd row-encode kernel (vortex-runend)	claude/row-c23-runend-kernel
24	#8009	BitPacked row-encode kernel (vortex-fastlanes)	claude/row-c24-bitpacked-kernel
25	#7985	FoR and Delta row-encode kernels (vortex-fastlanes)	claude/row-pr3-kernels

Base of this PR: #7994 (claude/row-c09-skip-listview-validation)
Next in stack: #7996 (claude/row-c11-skip-zero-init)

Combined context

For the full design + rationale, see PR #7985 (top of stack).

[codspeed-hq]

Merging this PR will not alter performance

⚠️ 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

⚡ 3 improved benchmarks
❌ 3 regressed benchmarks
✅ 1215 untouched benchmarks

Warning

Please fix the performance issues or acknowledge them on CodSpeed.

Performance Changes

	Mode	Benchmark	BASE	HEAD	Efficiency
❌	Simulation	chunked_varbinview_canonical_into[(100, 100)]	273.3 µs	309 µs	-11.56%
⚡	Simulation	chunked_varbinview_canonical_into[(1000, 10)]	197.9 µs	161.9 µs	+22.25%
⚡	Simulation	chunked_varbinview_into_canonical[(100, 100)]	358.4 µs	325 µs	+10.26%
❌	Simulation	new_alp_prim_test_between[f32, 16384]	103.9 µs	118.3 µs	-12.18%
❌	Simulation	new_alp_prim_test_between[f32, 32768]	153.3 µs	182.1 µs	-15.82%
⚡	Simulation	iter_arrow_buffer[128]	919.4 ns	831.9 ns	+10.52%

Tip

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

---

_{Comparing claude/row-c10-validity-fast-path (7de4dcc) with develop (faf7e42)¹}

Footnotes

1. No successful run was found on claude/row-c09-skip-listview-validation (f760d37) during the generation of this report, so develop (faf7e42) was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩