Collections.List
Purpose
Section titled “Purpose”Dynamic sequence abstraction built on contiguous storage.
Candidate surface
Section titled “Candidate surface”List<T>.Add(T value) -> unitList<T>.Count() -> i64List<T>.Get(i64 index) -> T
- Reserve/capacity controls should be explicit.
- Query integration should be allocation-aware.