RangeData<TRange, TData, TDomain> — a lazy, immutable abstraction that couples a logical Range<TRange>; a data sequence (IEnumerable<TData>); and a discrete IRangeDomain<TRange>. Designed so the domain-measured range length matches the data sequence length (optionally validated via the IsValid extension), enables right-biased union/intersection, and provides efficient, low-allocation operations for time-series, event streams, and incremental datasets.