Expand description
scope_header — the · {scope_name} row that appears
above each iteration of a for_each /
for_combinations / do_while scope group.
Two emit sites today, both bypassing the engine:
nmbrs-tui::observer’s post-run summary tree walk (the· for_each profile=label_00rows that nest above each phase row).nmbrs-tui::log_only_observer’sphase_startingscope walker (the live mid-run scope-ancestor headers that fire when the run enters a fresh iteration).
Push 8c lands the readout; the observers route through it in the same push so the two emit sites share one formatter.
The readout’s renderer reads only the scope name
(carried via phase_name on the row’s
ReadoutContext) — depth-indent chrome stays the
surface’s job per SRD-63 §10’s layout vs. content
split.