feat[next]: a concrete Dimension is a class, identified by its qualified name - #2899

Draft

egparedes wants to merge 20 commits into

mainfrom

connectivities-as-types-2-dimension-classes

Commits on Oct 1, 2026

docs[next]: ADR 0028, dimensions as nominal types
egparedes
committed
565fa75
feat[next]: add injective tag mangling for generated identifiers
egparedes
committed
823c0dd
wip[next]: dimension classes, resolve() and Staggered[D] in common
egparedes
committed
7ea399a
wip[next]: migrate the tree to dimension classes; unit tests green
egparedes
committed
183488f
docs[next]: drop the implementation plan from the PR
egparedes
committed
05f14f1
wip[next]: offset-name mangling and DaCe/gtfn fixes; all unit tests green
egparedes
committed
03cb2f2
wip[next]: fingerprint staggered dims; IR text accepts tags; last gtfn names
egparedes
committed
5e9e542
wip[next]: notebooks under nominal identity; docs, examples and typing
egparedes
committed
2c68d48
wip[next]: migrate src doctests to dimension classes
egparedes
committed
263af8f
test[next]: migrate typing_tests to class-based dimensions
egparedes
committed
3109d54
style[next]: ruff format lines shortened by the tag migration
egparedes
committed
ce59507
fix[next]: review fixes for dimension classes
egparedes
committed
0e55c87
refactor[next]: ConstList replaces _CONST_DIM; AxisLiteral drops kind
egparedes
committed
996a34a
fix[next]: printing IR does not import modules
egparedes
committed
83c362f
test[next]: register doctest dimensions where their tags point
egparedes
committed
3371a94
fix[next]: review fixes for ConstList and AxisLiteral
egparedes
committed
dc53f1a
docs[next]: renumber the dimensions-as-nominal-types ADR to 0029
egparedes
committed
c8a69f0
feat[next]: Cartesian axis levels below DimensionIndex; bound Staggered on a declared axis
egparedes
committed
47b276b
fix[next]: fingerprint a dimension's kind
egparedes
committed
ea75ee7
docs[next]: mdformat the Cartesian axis table of ADR 0029
egparedes
committed
a1cf830

Navigation Menu

feat[next]: a concrete Dimension is a class, identified by its qualified name - #2899

feat[next]: a concrete Dimension is a class, identified by its qualified name#2899
egparedes wants to merge 20 commits into
mainfrom
connectivities-as-types-2-dimension-classes

Commits on Oct 1, 2026

docs[next]: ADR 0028, dimensions as nominal types

feat[next]: add injective tag mangling for generated identifiers

wip[next]: dimension classes, resolve() and Staggered[D] in common

wip[next]: migrate the tree to dimension classes; unit tests green

docs[next]: drop the implementation plan from the PR

wip[next]: offset-name mangling and DaCe/gtfn fixes; all unit tests green

wip[next]: fingerprint staggered dims; IR text accepts tags; last gtfn names

wip[next]: notebooks under nominal identity; docs, examples and typing

wip[next]: migrate src doctests to dimension classes

test[next]: migrate typing_tests to class-based dimensions

style[next]: ruff format lines shortened by the tag migration

fix[next]: review fixes for dimension classes

refactor[next]: ConstList replaces _CONST_DIM; AxisLiteral drops kind

fix[next]: printing IR does not import modules

test[next]: register doctest dimensions where their tags point

fix[next]: review fixes for ConstList and AxisLiteral

docs[next]: renumber the dimensions-as-nominal-types ADR to 0029

feat[next]: Cartesian axis levels below DimensionIndex; bound Staggered on a declared axis

fix[next]: fingerprint a dimension's kind

docs[next]: mdformat the Cartesian axis table of ADR 0029