feat[next]: declare connectivities as classes; FieldOffset derived from them - #2908

Closed

egparedes wants to merge 7 commits into

connectivities-as-types-3-neighbor-connectivityfrom

connectivities-as-types-4-declare-connectivities

Commits on Sep 23, 2026

feat[next]: NeighborConnectivity declarations and local dimensions that know their owner
egparedes
committed
c215b52
fix[next]: address review of NeighborConnectivity declarations
egparedes
committed
ba01559
feat[next]: connectivities that share another connectivity's local dimension
egparedes
committed
889f44d
fix[next]: a declaration's Local stays a type for both checkers
egparedes
committed
207dae3
docs[next]: the neighbor-count TODO is partly done by the declaration
egparedes
committed
bf5c950
feat[next]: declare connectivities as classes; FieldOffset derived from them
egparedes
committed
809137d
fix[next]: review fixes for the connectivity declarations in the tree
egparedes
committed
7f1b5c8