Module session_summary 

session_summary — the session-level rollup line: phases: X completed, Y failed, Z not run (of N total).

Reads session-scope totals from [ReadoutContext::session_phases_*]. Default slot is on_session_end; workloads can also bind it elsewhere (e.g. mid-run snapshot via on_update) but the totals only make sense at session-scope contexts.

Structs

SessionSummary

Functions

labeled_phase_rollup

The canonical labeled phase-rollup line — phases: C completed, F failed, P not run (of T total) — built from raw counts. Shared by the session_summary readout (which pulls the counts from session-scope totals) and any caller that needs the identical text from its own tallies, e.g. the in-process example walker synthesising a per-execution rollup for rule matching (its session-scope summary spans every concurrent execution, so it counts its own PhaseRecords instead). One formatter ⇒ no drift between the two.