Skip to main content

Module scope_header

Module scope_header 

Source
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:

  1. nmbrs-tui::observer’s post-run summary tree walk (the · for_each profile=label_00 rows that nest above each phase row).
  2. nmbrs-tui::log_only_observer’s phase_starting scope 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.

Structs§

ScopeHeader