Skip to content

docs(adr): resolve duplicate ADR 0013 — renumber drop-materialized to 0015 #54

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
dfa1 merged 1 commit into from
Jun 18, 2026
Merged

docs(adr): resolve duplicate ADR 0013 — renumber drop-materialized to 0015 #54

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions docs/adr/0013-drop-materialized-fallbacks.md → docs/adr/0015-drop-materialized-fallbacks.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# ADR 0013: Drop Materialized fallbacks once Lazy has shipped
# ADR 0015: Drop Materialized fallbacks once Lazy has shipped

- **Status:** Accepted
- **Status:** Completed
- **Date:** 2026-06-16
- **Deciders:** project maintainer
- **Supersedes:** —
Expand Down Expand Up @@ -72,7 +72,7 @@ A Materialized branch may be deleted when **all** of these hold:

- Decompression-style encodings — `bitpacked`, `pco`, `zstd`, `fsst`,
`delta`, `patched` — keep their Materialized output. ADR 0010 §
"Decompression encodings stay eager" applies; ADR 0013 does not change
"Decompression encodings stay eager" applies; ADR 0015 does not change
it.
- Materialisation fallbacks inside `ArraySegments.of(arr, arena)` stay —
they exist for callers that explicitly request a `MemorySegment` from a
Expand Down
1 change: 1 addition & 0 deletions docs/adr/ADR.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -27,3 +27,4 @@ Each ADR is a Markdown file named `NNNN-short-title.md`. Use `template.md` as th
| 0012 | Zero-copy layout decoding: lazy Chunked/Dict | Implemented |
| 0013 | Compute primitives: masks, kernels, no-materialise | Proposed |
| 0014 | Variant encoding: chunked constants now, parquet.variant later | Implemented |
| 0015 | Drop Materialized fallbacks once Lazy has shipped | Completed |
14 changes: 7 additions & 7 deletions docs/compatibility.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -96,16 +96,16 @@ decoder falls into one of three shapes:
| `vortex.bool` | Zero-copy | Zero-copy | mmap slice (bit-packed) |
| `vortex.null` | n/a | n/a | no per-row data |
| `vortex.bytebool` | Zero-copy | Zero-copy | mmap slice |
| `vortex.zigzag` | Lazy | Lazy | `LazyZigZagXxxArray` (I8/I16/I32/I64); broadcast → `LazyConstantXxxArray`, ADR 0010 + 0013 |
| `vortex.constant` | Lazy | Lazy | `LazyConstantXxxArray` (primitive + bool + decimal); per-row broadcast, no buffer, ADR 0013 |
| `vortex.zigzag` | Lazy | Lazy | `LazyZigZagXxxArray` (I8/I16/I32/I64); broadcast → `LazyConstantXxxArray`, ADR 0010 + 0015 |
| `vortex.constant` | Lazy | Lazy | `LazyConstantXxxArray` (primitive + bool + decimal); per-row broadcast, no buffer, ADR 0015 |
| `vortex.ext` | Zero-copy | Zero-copy | wraps storage |
| `vortex.runend` | Lazy | Lazy | `LazyRunEndXxxArray` (primitive + bool); Utf8/Binary stays Materialized (offset rebasing), ADR 0013 |
| `vortex.runend` | Lazy | Lazy | `LazyRunEndXxxArray` (primitive + bool); Utf8/Binary stays Materialized (offset rebasing), ADR 0015 |
| `vortex.varbin` | Zero-copy | Zero-copy | bytes + offsets slices |
| `vortex.varbinview` | Lazy | Lazy | `VarBinArray.ViewMode` — keeps views + data buffers as mmap slices |
| `vortex.alp` | Lazy | Lazy | `LazyAlpXxxArray`; broadcast → `LazyConstantXxxArray`; patched stays Materialized, ADR 0010 + 0013 |
| `vortex.alp` | Lazy | Lazy | `LazyAlpXxxArray`; broadcast → `LazyConstantXxxArray`; patched stays Materialized, ADR 0010 + 0015 |
| `vortex.alprd` | Lazy | Lazy | `LazyAlpRdDoubleArray`/`LazyAlpRdFloatArray` — left/right + patches on access |
| `vortex.dict` | Lazy | Lazy | `DictXxxArray` (numeric) + `VarBinArray.DictMode` (string), ADR 0012 |
| `vortex.sparse` | Lazy | Lazy | `LazySparseXxxArray` (primitive + bool); Utf8/Binary stays Materialized, ADR 0013 |
| `vortex.sparse` | Lazy | Lazy | `LazySparseXxxArray` (primitive + bool); Utf8/Binary stays Materialized, ADR 0015 |
| `vortex.sequence` | Zero-copy | Zero-copy | synthetic (no data) |
| `vortex.struct` | Zero-copy | Zero-copy | `StructArray` wraps fields |
| `vortex.chunked` | Lazy | Lazy | `ChunkedXxxArray` (primitive/Bool) + `VarBinArray.ChunkedMode` (Utf8/Binary), ADR 0012 |
Expand All @@ -121,8 +121,8 @@ decoder falls into one of three shapes:
| `vortex.pco` | Materialized | Materialized | range-encoded decompression |
| `fastlanes.bitpacked` | Materialized | Materialized | window unpacks bits |
| `fastlanes.delta` | Materialized | Materialized | cumulative sum requires sequential decode |
| `fastlanes.for` | Lazy | Lazy | `LazyForXxxArray` (I8/U8/I16/U16/I32/U32/I64/U64), ADR 0010 + 0013 |
| `fastlanes.rle` | Lazy | Lazy | `LazyRleXxxArray`; validity → `OffsetBoolArray`; empty → `LazyConstantXxxArray`, ADR 0013 |
| `fastlanes.for` | Lazy | Lazy | `LazyForXxxArray` (I8/U8/I16/U16/I32/U32/I64/U64), ADR 0010 + 0015 |
| `fastlanes.rle` | Lazy | Lazy | `LazyRleXxxArray`; validity → `OffsetBoolArray`; empty → `LazyConstantXxxArray`, ADR 0015 |
| `vortex.patched` | Materialized | Materialized | inner is full base + chunked patches (1024-elem blocks, lane-window-sorted); per-row access requires 2 laneOffsets reads + binary search inside the chunk window, so eager scatter wins for full scans |
| `vortex.variant` | Lazy | Lazy | container wraps constant/chunked core (inner-typed) + optional shredded child |
| `vortex.onpair` | n/a | n/a | not ported |
Expand Down