Repository navigation

fix: omit repeated inner labels from profile summaries - #419

Draft

ejgallego wants to merge 3 commits into

mainfrom

codex/profiling-label-dedup-20261106

Draft

fix: omit repeated inner labels from profile summaries#419
ejgallego wants to merge 3 commits into
mainfrom
codex/profiling-label-dedup-20261106

Commits on Nov 6, 2026
- fix: omit repeated inner labels from profile summaries
  ejgallego
  committed
  bcfca4e
- docs: record profile label deduplication
  ejgallego
  committed
  ffc15f7
- test: isolate profile label omission cases
  ejgallego
  committed
  6840d51