Function render_scope_elision_summary 

pub fn render_scope_elision_summary(
    tree: &ScopeTree,
    out: &mut dyn Write,
) -> Result<()>

Render the SRD-13d scope-elision summary for dryrun=op. One line per scope-tree node (DFS pre-order), showing the logical name and the materialised/elides-to mark.

Format follows SRD-13d §5.3:

scope elision summary
------------------------
workload                                           materialised=true
workload.scenario.default                          materialised=false  elides-to=workload
workload.scenario.default.phase.predict            materialised=true

materialised=true means the node owns a kernel; false means it elides into its nearest materialised ancestor (shown as elides-to=<logical_name>). Nodes whose mark is still None (predicate hasn’t fired — should not happen post-classify_and_mark) are surfaced as unknown rather than silently skipped.