feat[next]: NeighborConnectivity[Domain, Codomain] declarations, NeighborTableType, and shared local dimensions on every backend - #2907

Draft

egparedes wants to merge 13 commits into

connectivities-as-types-2-dimension-classesfrom

connectivities-as-types-3-neighbor-connectivity

Commits on Oct 1, 2026

feat[next]: NeighborConnectivity declarations and local dimensions that know their owner
egparedes
committed
38e83a5
fix[next]: address review of NeighborConnectivity declarations
egparedes
committed
c1f39dc
feat[next]: connectivities that share another connectivity's local dimension
egparedes
committed
17c1f75
fix[next]: a declaration's Local stays a type for both checkers
egparedes
committed
8d6766f
docs[next]: the neighbor-count TODO is partly done by the declaration
egparedes
committed
cff9803
refactor[next]: ConstList is an owner-less local dimension of size 1
egparedes
committed
9dcf55c
feat[next]: backends support connectivities sharing a local dimension
egparedes
committed
a288e60
fix[next]: address review of shared local dimensions in backends
egparedes
committed
432245e
refactor[next]: NeighborConnectivity[Domain, Codomain], NeighborTableType and ts.ShiftType
egparedes
committed
b0c3039
docs[next]: renumber the connectivities-as-types ADR to 0030
egparedes
committed
132df39
docs[next]: refer to the dimensions-as-nominal-types ADR as 0029
egparedes
committed
90547fb
refactor[next]: localness is the class; remove DimensionKind.LOCAL
egparedes
committed
7ea8886
test[next]: a local dimension cannot be staggered
egparedes
committed
e565d9c