Each implemented roadmap issue gets one human-readable technical explainer in this directory. The explainer records the implementation contract, relevant PostgreSQL and pgvector concepts, validation procedure, and evidence needed to consider the issue complete.
| Issue | Explainer |
|---|---|
| #1 — Establish the IVFFlat physical-versus-hypothetical evidence gate | Physical-versus-hypothetical evidence gate |
#2 — Support halfvec_l2_ops as the first type-generalized vertical slice |
halfvec_l2_ops type generalization |
#3 — Support halfvec_ip_ops with spherical-k-means validation |
halfvec_ip_ops and spherical k-means |
#4 — Support halfvec_cosine_ops and zero-norm exclusion |
Halfvec cosine and zero-norm estimation |
#5 — Support fixed-length bit with bit_hamming_ops |
Fixed-bit Hamming definitions |
| #6 — Complete ordinary IVFFlat definition semantics | Ordinary definition semantics |
| #7 — Support a vector L2 partial IVFFlat index end to end | Vector L2 partial IVFFlat indexes |
| #8 — Extend partial indexes across types and partitions | Partial types and partitions |
| #9 — Support halfvec-cast expression indexes | Halfvec-cast expressions |
| #10 — Support binary-quantized bit expression indexes | Binary-quantized expressions |
| #11 — Complete expression coverage | Expression definition matrix |
| #12 — Support partial expression indexes | Partial expression indexes |
| #13 — Harden lifecycle and execution safety | Lifecycle and execution safety |
| #14 — Publish supported compatibility with evidence | Supported compatibility evidence |
| #15 — Harden evidence cleanup and artifact consistency | Evidence cleanup and artifacts |
| #16 — Add planner evidence diagnostics | Planner evidence diagnostics |
| #17 — Add bounded CI differential evidence | Bounded CI evidence |
The release-wide supported-definition and measured compatibility contract is published in Compatibility.