Poi label names - #124

Merged

robert-graf merged 5 commits into

mainfrom

poi-label-names

Sep 22, 2026

Commits on Jun 29, 2026

fix(poi): carry level_one_info/level_two_info/info through all POI ops

Hendrik-code
and
claude
committed
1745773
feat(poi): nested label_name format + name accessors + migration

Hendrik-code
and
claude
committed
b774bc8
feat(poi): index POIs by level names + warn on enum without level_*_info

Hendrik-code
and
claude
committed
5ea7ea5

Commits on Sep 22, 2026

Merge branch 'main' into poi-label-names
robert-graf
authored
62e0391
style fixes by ruff

robert-graf
authored and
github-actions[bot]
committed
65f202f