nmbrs-runtime 0.4.0

// Copyright 2024-2026 Jonathan Shook
// SPDX-License-Identifier: Apache-2.0

//! Scene tree — the runtime hierarchy as it's surfaced to renderers.
//!
//! Distinct from [`crate::scope_tree::ScopeTree`]: the scope tree
//! mirrors the static scenario AST 1:1 (one node per `ScenarioNode`),
//! while the *scene* tree is what's actually shown to the user —
//! `for_each` iterations are unrolled into per-iteration phase
//! children under a single `for_each` scope header, and any phases
//! that aren't reachable until runtime resolution still appear under
//! a fallback parent.
//!
//! Renderers (TUI, web API, post-run summary) walk this tree by
//! parent / children pointers rather than by depth tags, so:
//!
//! - Per-scope status aggregation (`for_each` is "running" if any
//!   child phase is running) becomes a tree walk.
//! - Web `GET /api/scope-tree` can serialize the structure directly.
//! - TUI features that want collapse / expand / scope-level summary
//!   have the structural information they need.
//!
//! Status carried here is the small lifecycle enum (`PhaseStatus`).
//! Renderers that want richer per-phase metrics (the TUI's
//! `PhaseSummary` with sparkline buffer, percentiles, etc.) keep a
//! parallel side-map keyed by [`SceneNodeId`] — the scene tree
//! stays cheap to clone and serialize.

use serde::{Deserialize, Serialize};
use std::sync::{Arc, Mutex, RwLock};

/// Process-wide handle to the running session's scene tree.
///
/// Published by the runner after `pre_map_tree` builds the
/// initial pending shape; lifecycle hooks (phase start / complete
/// / fail) mutate the same tree in place. Out-of-band consumers
/// (web API, post-run summary, future scripting hooks) read a
/// snapshot via [`current`] without depending on the observer
/// surface.
///
/// `Mutex<Option<...>>` rather than `OnceLock<...>` so the
/// integration-test harness can re-run the runner from the same
/// test binary without cross-contamination — a `OnceLock` would
/// pin the first run's tree for the lifetime of the process,
/// and any subsequent runner invocation would see the wrong
/// phase identities. Production runs only install once, so the
/// "first-write-wins" production semantics are preserved by the
/// runner's call sites, not by the storage shape.
static GLOBAL_TREE: Mutex<Option<Arc<RwLock<SceneTree>>>> = Mutex::new(None);

/// Install the session's scene tree. Replaces any previously-
/// installed tree (e.g. from a prior in-process runner
/// invocation by the integration-test harness). The runner
/// itself only installs once per session, so production
/// behaviour is unchanged.
pub fn install_global(tree: SceneTree) -> Arc<RwLock<SceneTree>> {
    let arc = Arc::new(RwLock::new(tree));
    // SRD-88: inside an execution scope, install into THAT execution's tree
    // (so its lifecycle mutations stay isolated); outside any scope, the
    // process-global default (single-run / CLI / tests — A1).
    if !crate::execution_context::install_scene_tree(arc.clone()) {
        *GLOBAL_TREE.lock().unwrap_or_else(|e| e.into_inner()) = Some(arc.clone());
    }
    arc
}

/// The active scene-tree handle: the current execution's (task-local) if
/// scoped + installed, else the process-global. SRD-88 A1: outside any
/// execution scope this is exactly `GLOBAL_TREE`.
fn active_handle() -> Option<Arc<RwLock<SceneTree>>> {
    crate::execution_context::current_scene_tree().or_else(|| {
        GLOBAL_TREE
            .lock()
            .unwrap_or_else(|e| e.into_inner())
            .clone()
    })
}

/// Snapshot the active scene tree, if installed. Returns
/// `None` outside an active session — e.g. standalone `nmbrs web`.
pub fn current() -> Option<SceneTree> {
    active_handle().and_then(|t| t.read().ok().map(|g| g.clone()))
}

/// Apply a mutation to the active tree, if installed. No-op when
/// no session has published one. Used by the runner's lifecycle
/// emit sites so the tree mirrors the observer's view.
pub fn with_global_mut<F: FnOnce(&mut SceneTree)>(f: F) {
    if let Some(arc) = active_handle()
        && let Ok(mut g) = arc.write()
    {
        f(&mut g);
    }
}

/// Read-only access to the active scene tree, if installed.
/// Returns `None` when no session has published one. Mirrors
/// [`with_global_mut`] for callers that just need to inspect
/// (e.g. SRD-77 execution-end disposition computation).
pub fn with_global<R, F: FnOnce(&SceneTree) -> R>(f: F) -> Option<R> {
    active_handle().and_then(|a| a.read().ok().map(|g| f(&g)))
}

/// Stable index into [`SceneTree::nodes`]. Indices never change for
/// a given tree instance; renderers can hold onto them across
/// status updates.
pub type SceneNodeId = usize;

/// What kind of node this scene entry represents.
#[derive(Clone, Copy, Debug, PartialEq, Eq, Serialize, Deserialize)]
pub enum NodeKind {
    /// Synthetic root above all top-level scenario entries.
    /// Has no display analogue — its children are rendered as
    /// the scenario's top-level nodes.
    Root,
    /// An executable phase with a Pending → Running → Completed
    /// lifecycle.
    Phase,
    /// A grouping header (`for_each`, `for_combinations`,
    /// `do_while`, `do_until`, or a phase-level `for_each` lift).
    /// No own lifecycle — its aggregate status is computed from
    /// its descendants by [`SceneTree::aggregate_status`].
    Scope,
}

/// Phase lifecycle state. Only carries meaning on `Phase` nodes;
/// `Scope` nodes always start (and stay) `Pending`, with their
/// effective status derived from descendants.
#[derive(Clone, Debug, PartialEq, Serialize, Deserialize)]
pub enum PhaseStatus {
    Pending,
    Running,
    Completed,
    Failed(String),
}

/// One node in the scene tree.
#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct SceneNode {
    pub id: SceneNodeId,
    pub parent: Option<SceneNodeId>,
    pub children: Vec<SceneNodeId>,
    pub depth: usize,
    pub kind: NodeKind,
    /// For `Phase`: the phase name. For `Scope`: a description
    /// like `"for_each color=red"` or `"do_while empty"`.
    pub name: String,
    /// For `Phase`: dimensional labels (e.g. `"k=10, table=fknn"`).
    /// For `Scope`: empty (the description is in `name`).
    pub labels: String,
    pub status: PhaseStatus,
    pub op_count: usize,
    pub duration_secs: Option<f64>,
    /// For `Phase`: the ordered list of op template names in this
    /// phase's stanza (one entry per `ParsedOp`). Empty for
    /// `Scope` and `Root`. Populated at pre-map time so the TUI's
    /// scenario view can drill into a phase and show its ops
    /// without having to reach back into the workload model.
    #[serde(default)]
    pub op_names: Vec<String>,
    /// Names *defined* at this scope: own bindings, iter vars,
    /// and externs that the scope's specs / op templates
    /// reference. Excludes inherited cascade-propagation names
    /// (workload params auto-injected at intermediate scopes
    /// solely so descendants see them). Populated from the
    /// scope's installed kernel via
    /// `program.own_output_names()`. Empty for `Root`. Used by
    /// the TUI / dryrun renderer to show "what's defined here"
    /// without listing every name that's merely visible.
    #[serde(default)]
    pub own_names: Vec<String>,
    /// 1-based sequence number assigned to **Phase** nodes at
    /// pre-map time, in DFS order. `None` for `Scope` and
    /// `Root` entries.
    ///
    /// The TUI shows this as `[N/total]` next to the phase name
    /// and as `phase X/Y` in the header counter, so the
    /// operator can at any moment see which step of the planned
    /// scenario is in flight relative to the whole. The
    /// numbering is stable for the lifetime of one session
    /// (assigned once during pre-map), so a UI that displays
    /// "phase 47" on screen N and "phase 48" on screen N+1 is
    /// always referring to the same two phases — not a fresh
    /// re-numbering per draw.
    #[serde(default)]
    pub seq: Option<usize>,
    /// Fully-qualified structural location of this node in the
    /// workload YAML — outer-first chain of scenarios,
    /// for_each/for_combinations clauses, do-loops, and
    /// (terminal) the phase name itself. Populated for
    /// `Phase` nodes; ancestor `Scope` nodes carry partial
    /// paths (everything down to but not including the phase
    /// name).
    ///
    /// Used by the checkpoint resume planner — `yaml_path`
    /// plus the leaf-first coord-path string is the
    /// per-phase identity tuple that decides whether a saved
    /// checkpoint entry applies to a freshly-pre-mapped
    /// phase. See SRD-44 §"Phase identity".
    #[serde(default)]
    pub yaml_path: Vec<crate::checkpoint::PathSegment>,
    /// SRD-76 — structured terminal-state record. `None`
    /// while the phase is pending or running; populated
    /// exactly once at phase end by the executor's
    /// `set_phase_outcome` call. Carries the per-phase
    /// `PhaseStatus`, wall-clock duration, and the
    /// chronological error list.
    ///
    /// Co-existence with the legacy `status` /
    /// `duration_secs` fields: the legacy fields stay as
    /// the load-bearing renderer surface (TUI / stderr
    /// observer / scene-tree-prints) until Push 4 lands
    /// the new readouts that read this slot directly.
    /// `set_phase_outcome` keeps the two in sync; new
    /// consumers should read from here.
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub outcome: Option<crate::phase_outcome::PhaseOutcome>,
    /// Whether this node is active for execution under the
    /// session's `phases=<pattern>` filter (default true). Set
    /// by the planning walker before any phase runs:
    /// - Phase nodes get `active = pattern.is_match(name)` (or
    ///   `true` when no pattern is set).
    /// - Scope nodes are `active` iff any descendant phase is
    ///   active; otherwise they're elided from the execution
    ///   walk along with their subtree.
    ///
    /// Inactive nodes are still in the tree (so coordinate
    /// chains, scope-init kernels, and parent context stay
    /// intact for active siblings under the same scope) but
    /// the executor skips their phase activation.
    #[serde(default = "default_active")]
    pub active: bool,
}

fn default_active() -> bool {
    true
}

/// The scene tree itself. `nodes[0]` is always the synthetic root.
#[derive(Clone, Debug, Serialize, Deserialize)]
pub struct SceneTree {
    pub nodes: Vec<SceneNode>,
}

impl Default for SceneTree {
    fn default() -> Self {
        Self::new()
    }
}

impl SceneTree {
    /// Build an empty tree containing just the synthetic root.
    pub fn new() -> Self {
        let mut t = Self { nodes: Vec::new() };
        t.nodes.push(SceneNode {
            id: 0,
            parent: None,
            children: Vec::new(),
            depth: 0,
            kind: NodeKind::Root,
            name: String::new(),
            labels: String::new(),
            status: PhaseStatus::Pending,
            op_count: 0,
            duration_secs: None,
            op_names: Vec::new(),
            own_names: Vec::new(),
            seq: None,
            yaml_path: Vec::new(),
            outcome: None,
            active: true,
        });
        t
    }

    /// Index of the synthetic root.
    pub fn root(&self) -> SceneNodeId {
        0
    }

    /// Append a node under `parent` and return its id.
    ///
    /// **Idempotent by `(parent, kind, name)`**: if a child with
    /// the same kind and name already exists under `parent`, its
    /// id is returned and no new node is created. Per SRD 18b
    /// §"Single Walker Contract" point 1, the same walker runs
    /// once at depth=Phase to populate the tree (so subsequent
    /// `resume_plan` / `declare_scene_tree_phases` /
    /// `pre_map_pending_uses` reads see a populated tree) and
    /// once at the configured execution depth to run cycles —
    /// re-encountering nodes pushed by the first walk must be a
    /// no-op, not a duplicate insertion.
    ///
    /// `Phase` nodes are auto-assigned a 1-based sequence number
    /// in insertion order (see [`SceneNode::seq`]); since the
    /// walker pushes phases in DFS-of-the-scenario-tree order,
    /// the resulting numbers match the order in which the
    /// runtime executes them.
    pub fn push(
        &mut self,
        parent: SceneNodeId,
        kind: NodeKind,
        name: impl Into<String>,
        labels: impl Into<String>,
    ) -> SceneNodeId {
        let name: String = name.into();
        let labels: String = labels.into();
        // Find-or-create: scan `parent`'s children for an
        // existing match on (kind, name). Matches are returned
        // unchanged — the second walk pass re-encounters every
        // node from the first pass and must not duplicate.
        if let Some(&existing) = self.nodes[parent]
            .children
            .iter()
            .find(|&&c| self.nodes[c].kind == kind && self.nodes[c].name == name)
        {
            return existing;
        }
        let id = self.nodes.len();
        let depth = self.nodes[parent].depth + 1;
        let seq = match kind {
            NodeKind::Phase => {
                let count = self
                    .nodes
                    .iter()
                    .filter(|n| n.kind == NodeKind::Phase)
                    .count();
                Some(count + 1)
            }
            _ => None,
        };
        self.nodes.push(SceneNode {
            id,
            parent: Some(parent),
            children: Vec::new(),
            depth,
            kind,
            name,
            labels,
            status: PhaseStatus::Pending,
            op_count: 0,
            duration_secs: None,
            op_names: Vec::new(),
            own_names: Vec::new(),
            seq,
            yaml_path: Vec::new(),
            outcome: None,
            active: true,
        });
        self.nodes[parent].children.push(id);
        id
    }

    /// Set the structural YAML path for a node. Called by the
    /// pre-map walker as it descends through scenarios /
    /// for_each / for_combinations / do-loops, so each Scope
    /// and Phase node carries the full chain from the workload
    /// root down to its declaration site. Used by the
    /// checkpoint resume planner to identify phases across
    /// runs (per SRD-44 §"Phase identity").
    pub fn set_yaml_path(&mut self, id: SceneNodeId, path: Vec<crate::checkpoint::PathSegment>) {
        if id < self.nodes.len() {
            self.nodes[id].yaml_path = path;
        }
    }

    /// Total number of `Phase` entries in the tree. Equal to the
    /// largest assigned `seq` value once the tree is fully built.
    pub fn total_phases(&self) -> usize {
        self.nodes
            .iter()
            .filter(|n| n.kind == NodeKind::Phase)
            .count()
    }

    /// Apply a phase-name filter to the tree. Phase nodes whose
    /// `name` does not match `pattern` are marked `active=false`;
    /// Scope nodes inherit `active=false` iff every phase
    /// descendant under them was filtered out. The synthetic
    /// root is always active. When `pattern` is `None`, every
    /// node stays active.
    ///
    /// Inactive subtrees stay in the tree so the executor's
    /// planning walk still constructs the scope-init kernels
    /// the active branches inherit from — only execution is
    /// skipped at the leaves.
    pub fn apply_phase_filter(
        &mut self,
        pattern: Option<&crate::phase_filter::PhasePattern>,
    ) -> PhaseFilterStats {
        let mut stats = PhaseFilterStats::default();
        if pattern.is_none() {
            stats.matched = self.total_phases();
            return stats;
        }
        let pat = pattern.unwrap();
        // Pass 1: phases get their own match decision.
        for n in self.nodes.iter_mut() {
            if n.kind == NodeKind::Phase {
                n.active = pat.is_match(&n.name);
                stats.total += 1;
                if n.active {
                    stats.matched += 1;
                }
            }
        }
        // Pass 2: scope nodes (and the root) are active iff any
        // descendant phase is active. Walk bottom-up by
        // processing nodes in reverse-id order — children
        // always have higher ids than parents (the tree's
        // append-only construction guarantees this).
        let n = self.nodes.len();
        for i in (0..n).rev() {
            if matches!(self.nodes[i].kind, NodeKind::Phase) {
                continue;
            }
            let kids = self.nodes[i].children.clone();
            let any_active = kids.iter().any(|c| self.nodes[*c].active);
            self.nodes[i].active = any_active;
        }
        // Root stays active when at least one phase matched
        // — but if zero matched we leave it inactive so the
        // executor short-circuits cleanly with no work done.
        stats
    }

    /// Whether the phase node at `id` should be executed under
    /// the active phase filter. Convenience for the executor's
    /// per-phase dispatch site.
    pub fn is_phase_active(&self, id: SceneNodeId) -> bool {
        self.nodes.get(id).map(|n| n.active).unwrap_or(false)
    }
}

/// Counters returned by [`SceneTree::apply_phase_filter`] so the
/// runner can log how many phases the filter selected vs the
/// total available.
#[derive(Default, Debug, Clone, Copy)]
pub struct PhaseFilterStats {
    pub matched: usize,
    pub total: usize,
}

impl SceneTree {
    /// Set the op-template names for a phase node. Called at
    /// pre-map time once the workload model has been resolved so
    /// the TUI can drill into a phase and show its stanza
    /// elements.
    pub fn set_phase_op_names(&mut self, id: SceneNodeId, names: Vec<String>) {
        if id < self.nodes.len() {
            self.nodes[id].op_names = names;
        }
    }

    /// Set the scope-local "own names" — names defined at this
    /// scope vs. inherited via cascade. See
    /// [`SceneNode::own_names`]. Called at pre-map time from
    /// the scope kernel's `program.own_output_names()`.
    pub fn set_own_names(&mut self, id: SceneNodeId, names: Vec<String>) {
        if id < self.nodes.len() {
            self.nodes[id].own_names = names;
        }
    }

    /// DFS walk from the root, yielding every node in display
    /// order. The synthetic root itself is included as the first
    /// item; renderers filter on `kind == Root` to skip it.
    pub fn dfs(&self) -> DfsIter<'_> {
        DfsIter {
            tree: self,
            stack: vec![0],
        }
    }

    /// DFS yielding only `Phase`-kind nodes, in the same order
    /// the flat pre-map vector used to produce.
    pub fn dfs_phases(&self) -> impl Iterator<Item = &SceneNode> {
        self.dfs().filter(|n| n.kind == NodeKind::Phase)
    }

    /// First phase node matching `(name, status)`. Used by
    /// observer callbacks to bind a `phase_starting` event to the
    /// next pending phase, then `phase_completed` to its running
    /// counterpart.
    ///
    /// Matching is **structural-order**, not label-based: pre-map
    /// (`executor::pre_map_recursive`) and runtime
    /// (`executor::execute_node` → `dispatch_comprehension`) walk
    /// the scenario tree in the same DFS order, so the *i*-th
    /// runtime invocation of phase `name` always corresponds to
    /// the *i*-th pre-mapped phase node by `name`. That lets us
    /// avoid forcing pre-map's coordinate-path label string to
    /// match runtime's `format_scope_coordinate_path` output
    /// byte-for-byte — historically a fragile coupling that
    /// silently degraded to the "push under root" fallback when
    /// any workload-param vs. iter-var distinction shifted (e.g.
    /// `optimize_for_values` vs. `optimize_for`).
    ///
    /// `labels` was the legacy match key; preserved on the
    /// signature so callers don't have to change, but only used
    /// now if the order-based lookup misses (which shouldn't
    /// happen — surface as a warning if it does).
    pub fn find_phase(
        &self,
        name: &str,
        _labels: &str,
        want: Option<&PhaseStatus>,
    ) -> Option<SceneNodeId> {
        self.dfs_phases()
            .find(|n| n.name == name && want.is_none_or(|w| &n.status == w))
            .map(|n| n.id)
    }

    // ── id-based lifecycle flips (SRD-100 P1c) ──────────────────
    //
    // The canonical lifecycle-routing primitives: flip the node at
    // a dispatch-time [`SceneNodeId`] directly, no DFS-order match.
    // Under concurrent dispatch two phases sharing a `name` race in
    // `find_phase` (it ignores labels and matches first-by-status),
    // mis-attributing status / op_count / duration / outcome to the
    // wrong node. The executor allocates each phase's node id at
    // dispatch and threads it through the observer lifecycle so the
    // flip lands on THIS phase's node regardless of sibling timing.

    /// Mark the phase node at `id` as running. No-op if `id` is out
    /// of range (defensive against a stale/foreign id).
    pub fn set_phase_running_at(&mut self, id: SceneNodeId, op_count: usize) {
        if let Some(n) = self.nodes.get_mut(id) {
            n.status = PhaseStatus::Running;
            n.op_count = op_count;
        }
    }

    /// Mark the phase node at `id` as completed with `duration_secs`.
    /// Detach `id` from its parent's child list, removing it from every
    /// tree walk (display folds, replay tree). The node's allocation and
    /// id remain valid — ids are stable — it is simply unreachable.
    /// Used by the `skipped_phases=elide|prune` display modes to drop
    /// fully-gated-off phases from the completed tree.
    pub fn remove_node(&mut self, id: SceneNodeId) {
        let Some(parent) = self.nodes.get(id).and_then(|n| n.parent) else {
            return;
        };
        if let Some(p) = self.nodes.get_mut(parent) {
            p.children.retain(|c| *c != id);
        }
    }

    pub fn set_phase_completed_at(&mut self, id: SceneNodeId, duration_secs: f64) {
        if let Some(n) = self.nodes.get_mut(id) {
            n.status = PhaseStatus::Completed;
            n.duration_secs = Some(duration_secs);
        }
    }

    /// Mark the phase node at `id` as failed with `error`.
    pub fn set_phase_failed_at(&mut self, id: SceneNodeId, error: &str) {
        if let Some(n) = self.nodes.get_mut(id) {
            n.status = PhaseStatus::Failed(error.to_string());
        }
    }

    /// Mark a phase as running. By-name convenience delegating to
    /// [`Self::set_phase_running_at`] via [`Self::find_phase`] —
    /// used by tests and non-concurrent by-name call sites. The
    /// production lifecycle path threads the dispatch-time id
    /// (P1c) and calls the `_at` form directly.
    pub fn set_phase_running(&mut self, name: &str, labels: &str, op_count: usize) {
        if let Some(id) = self.find_phase(name, labels, Some(&PhaseStatus::Pending)) {
            self.set_phase_running_at(id, op_count);
        }
    }

    /// Mark a phase as completed. By-name convenience (see
    /// [`Self::set_phase_running`]).
    pub fn set_phase_completed(&mut self, name: &str, labels: &str, duration_secs: f64) {
        if let Some(id) = self.find_phase(name, labels, Some(&PhaseStatus::Running)) {
            self.set_phase_completed_at(id, duration_secs);
        }
    }

    /// Mark a phase as failed. By-name convenience matching the
    /// first phase with the given (name, labels) regardless of
    /// status — failure can arrive while the phase is still
    /// pending in the rare case of pre-flight resolution errors.
    pub fn set_phase_failed(&mut self, name: &str, labels: &str, error: &str) {
        if let Some(id) = self.find_phase(name, labels, None) {
            self.set_phase_failed_at(id, error);
        }
    }

    /// SRD-76 — install the structured terminal outcome on
    /// a phase node. Mirrors the legacy `status` /
    /// `duration_secs` fields so existing renderers see
    /// consistent state (the legacy fields stay
    /// load-bearing until SRD-76 Push 4 lands the new
    /// readouts that read `outcome` directly).
    ///
    /// Matches the first phase with the given
    /// `(name, labels)` regardless of current status — the
    /// outcome can arrive on a Pending phase if pre-flight
    /// failed before the running transition, on a Running
    /// phase at normal completion, and idempotency in the
    /// rare double-install case (debug-asserted off in
    /// release builds).
    pub fn set_phase_outcome(
        &mut self,
        name: &str,
        labels: &str,
        outcome: crate::phase_outcome::PhaseOutcome,
    ) {
        let Some(id) = self.find_phase(name, labels, None) else {
            return;
        };
        self.set_phase_outcome_at(id, outcome);
    }

    /// SRD-100 P1c — install the structured outcome on the phase
    /// node at `id` directly (dispatch-time-keyed, race-safe under
    /// concurrent same-name phases). The by-name
    /// [`Self::set_phase_outcome`] delegates here after a
    /// [`Self::find_phase`] lookup.
    pub fn set_phase_outcome_at(
        &mut self,
        id: SceneNodeId,
        outcome: crate::phase_outcome::PhaseOutcome,
    ) {
        let Some(n) = self.nodes.get_mut(id) else {
            return;
        };
        // Overwrite-on-re-run matches the legacy `status` /
        // `duration_secs` fields: comprehension iterations
        // re-use the same SceneNode for each tuple of the
        // for_each, so the LATEST outcome wins for the
        // realtime display. Sqlite persistence (SRD-76
        // Push 3) writes per-iteration rows keyed by
        // (phase_name, phase_labels, ended_at_nanos) so the
        // full history is preserved in the structured
        // store; the in-memory carrier is the most-recent
        // snapshot only.
        // Keep the tree's lifecycle field in sync so renderers
        // reading it see consistent state. Validity is the axis
        // that matters here (SRD-82 Part 1): a trustworthy result
        // — completed, skipped, or re-usable partial progress —
        // renders Completed; an untrustworthy one renders Failed
        // with the first error message.
        let lifecycle = match outcome.validity {
            crate::phase_outcome::Validity::Succeeded => PhaseStatus::Completed,
            crate::phase_outcome::Validity::Failed => {
                let msg = outcome
                    .first_error_message()
                    .unwrap_or("unknown error")
                    .to_string();
                PhaseStatus::Failed(msg)
            }
        };
        n.status = lifecycle;
        if outcome.duration_secs > 0.0 {
            n.duration_secs = Some(outcome.duration_secs);
        }
        n.outcome = Some(outcome);
    }

    /// SRD-76 — project every phase's outcome onto the
    /// session-wide pass/fail axis. Walks every phase node
    /// that has been populated with a `PhaseOutcome`;
    /// returns [`SessionDisposition::Failure`] when any
    /// phase's outcome carries `Validity::Failed`,
    /// [`SessionDisposition::Success`] otherwise. Phases
    /// that never ran (still Pending at session end)
    /// contribute nothing — interrupted-mid-run is not a
    /// failure per SRD-76 §"SessionDisposition".
    pub fn session_disposition(&self) -> crate::phase_outcome::SessionDisposition {
        let any_failed = self
            .nodes
            .iter()
            .filter(|n| matches!(n.kind, NodeKind::Phase))
            .filter_map(|n| n.outcome.as_ref())
            .any(|o| o.is_failure());
        if any_failed {
            crate::phase_outcome::SessionDisposition::Failure
        } else {
            crate::phase_outcome::SessionDisposition::Success
        }
    }

    /// SRD-76 — iterate every phase node's structured
    /// outcome in DFS order. Used by the (Push 3) sqlite
    /// persister and the (Push 5) replay rehydrator. Skips
    /// phases that never reached terminal state.
    /// True when the phase node already carries a recorded
    /// [`crate::phase_outcome::PhaseOutcome`]. The `run_phase`
    /// chokepoint uses this to detect an early config-resolution
    /// failure (an `Outcome::failed()` returned before the failure
    /// epilogue ran) so it can route it through the visible
    /// surfaces exactly once.
    pub fn phase_outcome_present_at(&self, id: SceneNodeId) -> bool {
        self.nodes
            .get(id)
            .map(|n| n.outcome.is_some())
            .unwrap_or(false)
    }

    pub fn iter_phase_outcomes(&self) -> impl Iterator<Item = &crate::phase_outcome::PhaseOutcome> {
        self.nodes
            .iter()
            .filter(|n| matches!(n.kind, NodeKind::Phase))
            .filter_map(|n| n.outcome.as_ref())
    }

    /// Effective status for a `Scope` (or `Root`) node, computed
    /// by walking descendants:
    /// - any descendant `Failed` → Failed
    /// - any descendant `Running` → Running
    /// - all descendant phases `Completed` → Completed
    /// - else → Pending
    pub fn aggregate_status(&self, id: SceneNodeId) -> PhaseStatus {
        let n = &self.nodes[id];
        if n.kind == NodeKind::Phase {
            return n.status.clone();
        }
        let mut seen_phase = false;
        let mut all_completed = true;
        let mut any_running = false;
        let mut first_failure: Option<String> = None;
        for &child in &n.children {
            let cs = self.aggregate_status(child);
            match cs {
                PhaseStatus::Failed(e) => {
                    if first_failure.is_none() {
                        first_failure = Some(e);
                    }
                    all_completed = false;
                }
                PhaseStatus::Running => {
                    any_running = true;
                    all_completed = false;
                }
                PhaseStatus::Pending => {
                    all_completed = false;
                }
                PhaseStatus::Completed => {}
            }
            if self.nodes[child].kind == NodeKind::Phase || self.descendants_contain_phase(child) {
                seen_phase = true;
            }
        }
        if let Some(e) = first_failure {
            return PhaseStatus::Failed(e);
        }
        if any_running {
            return PhaseStatus::Running;
        }
        if seen_phase && all_completed {
            return PhaseStatus::Completed;
        }
        PhaseStatus::Pending
    }

    fn descendants_contain_phase(&self, id: SceneNodeId) -> bool {
        let n = &self.nodes[id];
        if n.kind == NodeKind::Phase {
            return true;
        }
        n.children
            .iter()
            .any(|&c| self.descendants_contain_phase(c))
    }

    /// Total count of `Phase`-kind nodes in the tree.
    pub fn phase_count(&self) -> usize {
        self.dfs_phases().count()
    }
}

/// Indent prefix (single-space repeats) for log lines whose
/// visual nesting should match the **executing** phase's scope
/// depth. Empty string when no scene tree is installed.
///
/// One char per level — deep scenario trees can stack 5+
/// levels of nesting; a 2-char indent burns 10+ columns of
/// screen real estate before any content lands.
///
/// Used by emit sites that fire from inside a phase's
/// execution (polling-op progress, activity-end DONE summary,
/// relevancy stats, the errorhandler / metrics-diag log
/// bridges) so they nest under the phase's startup line in
/// tui=terminal output.
///
/// SRD-100 P1c — the depth comes from the **ambient executing
/// phase** ([`crate::execution_context::current_phase_node`], a
/// task-local set by `run_phase` and carried across fiber spawns
/// by `propagate`), so under concurrency each phase's emit nests
/// under ITS OWN depth. The historical "first `Running` in DFS
/// order" guess — which mis-indented a poll line to a concurrent
/// sibling — remains only as the fallback for emitters with no
/// phase task-local (the metrics scheduler thread and other
/// genuinely cross-phase sinks, where "which phase" is undefined).
pub fn running_phase_indent() -> String {
    let Some(tree) = current() else {
        return String::new();
    };
    if let Some(id) = crate::execution_context::current_phase_node()
        && let Some(n) = tree.nodes.get(id)
    {
        return " ".repeat(n.depth.saturating_sub(1));
    }
    tree.dfs_phases()
        .find(|n| matches!(n.status, PhaseStatus::Running))
        .map(|n| " ".repeat(n.depth.saturating_sub(1)))
        .unwrap_or_default()
}

/// Depth-first iterator over a [`SceneTree`].
pub struct DfsIter<'a> {
    tree: &'a SceneTree,
    stack: Vec<SceneNodeId>,
}

impl<'a> Iterator for DfsIter<'a> {
    type Item = &'a SceneNode;

    fn next(&mut self) -> Option<Self::Item> {
        let id = self.stack.pop()?;
        let node = &self.tree.nodes[id];
        for &c in node.children.iter().rev() {
            self.stack.push(c);
        }
        Some(node)
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    fn build_simple() -> SceneTree {
        let mut t = SceneTree::new();
        let s = t.push(t.root(), NodeKind::Scope, "for_each x=1", "");
        let _ = t.push(s, NodeKind::Phase, "p", "x=1");
        let _ = t.push(s, NodeKind::Phase, "q", "x=1");
        let s2 = t.push(t.root(), NodeKind::Scope, "for_each x=2", "");
        let _ = t.push(s2, NodeKind::Phase, "p", "x=2");
        let _ = t.push(s2, NodeKind::Phase, "q", "x=2");
        t
    }

    #[test]
    fn dfs_yields_all_in_display_order() {
        let t = build_simple();
        let names: Vec<&str> = t.dfs().map(|n| n.name.as_str()).collect();
        assert_eq!(
            names,
            vec!["", "for_each x=1", "p", "q", "for_each x=2", "p", "q"]
        );
    }

    #[test]
    fn dfs_phases_skips_root_and_scopes() {
        let t = build_simple();
        let names: Vec<&str> = t.dfs_phases().map(|n| n.name.as_str()).collect();
        assert_eq!(names, vec!["p", "q", "p", "q"]);
    }

    #[test]
    fn find_pending_then_running_progresses_through_iterations() {
        let mut t = build_simple();
        // First (p, x=1) Pending → Running → Completed.
        t.set_phase_running("p", "x=1", 3);
        let n = t
            .find_phase("p", "x=1", Some(&PhaseStatus::Running))
            .unwrap();
        assert_eq!(t.nodes[n].op_count, 3);
        t.set_phase_completed("p", "x=1", 0.5);
        // The next pending (p, x=2) is now matchable.
        t.set_phase_running("p", "x=2", 5);
        let n2 = t
            .find_phase("p", "x=2", Some(&PhaseStatus::Running))
            .unwrap();
        assert_ne!(n, n2);
        assert_eq!(t.nodes[n2].op_count, 5);
    }

    /// SRD-100 §12 — when two same-named phases are **distinct nodes**
    /// (scenario-level `for_each`, `for_combinations`, nesting — each
    /// cell pushed under its OWN per-iter scope), their status /
    /// op_count / duration must attribute to the CORRECT node. The
    /// dispatch-time [`SceneNodeId`] keys each flip directly; the
    /// legacy by-name [`SceneTree::find_phase`] (first-pending-by-DFS,
    /// labels ignored) races and mis-attributes when completion order
    /// differs from dispatch order. This pins the `_at` flips against
    /// that race: x=2 completes BEFORE x=1, yet each node keeps its
    /// own numbers (a `find_phase(.., Running)` lookup would have
    /// recorded x=2's 10.0s onto the first-DFS node, p[x=1]).
    ///
    /// NOTE the scope boundary: `build_simple` puts each `p` under a
    /// SEPARATE scope, so they ARE distinct nodes. Flat phase-level
    /// `for_each` / optimize sweeps push every cell under ONE scope and
    /// collapse to a single node (see
    /// [`same_name_cells_under_one_parent_alias_to_one_node`]) — the
    /// threaded id cannot disambiguate those; node distinctness for that
    /// topology is a separate concern from this routing fix.
    #[test]
    fn id_based_flips_attribute_to_correct_node_under_reordered_completion() {
        let mut t = build_simple();
        // The two same-named "p" cells: p[x=1] is first in DFS,
        // p[x=2] the second. `find_phase` ignores labels, so locate
        // them structurally by DFS position.
        let p_x1 = t.dfs_phases().filter(|n| n.name == "p").next().unwrap().id;
        let p_x2 = t.dfs_phases().filter(|n| n.name == "p").nth(1).unwrap().id;
        assert_ne!(p_x1, p_x2);

        // Both cells start running (dispatch order x=1 then x=2).
        t.set_phase_running_at(p_x1, 3);
        t.set_phase_running_at(p_x2, 7);

        // Completion arrives in REVERSED order: x=2 finishes first.
        t.set_phase_completed_at(p_x2, 10.0);
        t.set_phase_completed_at(p_x1, 5.0);

        // Each node carries ITS OWN op_count + duration + status.
        assert_eq!(t.nodes[p_x1].op_count, 3);
        assert_eq!(t.nodes[p_x2].op_count, 7);
        assert_eq!(t.nodes[p_x1].duration_secs, Some(5.0));
        assert_eq!(t.nodes[p_x2].duration_secs, Some(10.0));
        assert_eq!(t.nodes[p_x1].status, PhaseStatus::Completed);
        assert_eq!(t.nodes[p_x2].status, PhaseStatus::Completed);
    }

    /// SRD-100 §12 — structured outcomes (SRD-76 carrier) install on
    /// the dispatch-time node, not a same-named sibling. Mirrors the
    /// duration race for the `set_phase_outcome_at` path.
    #[test]
    fn id_based_outcome_install_targets_the_dispatch_node() {
        use crate::phase_outcome::{PhaseIdentity, PhaseOutcome};
        let mut t = build_simple();
        let p_x1 = t.dfs_phases().filter(|n| n.name == "p").next().unwrap().id;
        let p_x2 = t.dfs_phases().filter(|n| n.name == "p").nth(1).unwrap().id;
        t.set_phase_running_at(p_x1, 1);
        t.set_phase_running_at(p_x2, 1);
        // Install x=2's outcome first (reversed completion order).
        t.set_phase_outcome_at(
            p_x2,
            PhaseOutcome::completed(PhaseIdentity::new("p", "x=2"), 9.0),
        );
        t.set_phase_outcome_at(
            p_x1,
            PhaseOutcome::completed(PhaseIdentity::new("p", "x=1"), 4.0),
        );
        assert_eq!(t.nodes[p_x1].duration_secs, Some(4.0));
        assert_eq!(t.nodes[p_x2].duration_secs, Some(9.0));
        assert!(t.nodes[p_x1].outcome.is_some());
        assert!(t.nodes[p_x2].outcome.is_some());
    }

    /// SRD-100 P1c invariant — [`SceneTree::push`] is find-or-create by
    /// `(parent, kind, name)`, **labels ignored**, so same-name cells pushed
    /// under ONE parent collapse to a single node id. This is the reason the
    /// comprehension dispatcher (phase-level `for_each`) wraps each cell in
    /// its OWN per-iter scope before pushing the phase (executor.rs
    /// `dispatch_comprehension`): distinctness comes from a distinct PARENT,
    /// not from label-keying the phase (which would re-introduce the §4
    /// byte-exact label-identity coupling). Pinning the primitive's
    /// idempotency so that contract is explicit and a regression in it would
    /// surface here, not as a silent same-name collapse downstream.
    #[test]
    fn same_name_cells_under_one_parent_alias_to_one_node() {
        let mut t = SceneTree::new();
        let s = t.push(t.root(), NodeKind::Scope, "phase.for_each x", "");
        let c1 = t.push(s, NodeKind::Phase, "p", "x=1");
        let c2 = t.push(s, NodeKind::Phase, "p", "x=2");
        assert_eq!(
            c1, c2,
            "push is idempotent by name — flat for_each / sweep cells collapse"
        );
        // Contrast: distinct PARENTS yield distinct ids (the topology the
        // attribution tests above rely on).
        let s2 = t.push(t.root(), NodeKind::Scope, "phase.for_each y", "");
        let c3 = t.push(s2, NodeKind::Phase, "p", "y=1");
        assert_ne!(
            c1, c3,
            "same name under a DIFFERENT parent is a distinct node"
        );
    }

    #[test]
    fn aggregate_status_walks_descendants() {
        let mut t = build_simple();
        // No phases moved yet — aggregate is Pending.
        assert_eq!(t.aggregate_status(t.root()), PhaseStatus::Pending);
        // Mark every phase Completed → root aggregates to Completed.
        for (name, labels) in [("p", "x=1"), ("q", "x=1"), ("p", "x=2"), ("q", "x=2")] {
            t.set_phase_running(name, labels, 1);
            t.set_phase_completed(name, labels, 0.1);
        }
        assert_eq!(t.aggregate_status(t.root()), PhaseStatus::Completed);
    }

    #[test]
    fn aggregate_propagates_failure() {
        let mut t = build_simple();
        t.set_phase_running("p", "x=1", 1);
        t.set_phase_failed("p", "x=1", "boom");
        let s = t.aggregate_status(t.root());
        assert!(
            matches!(s, PhaseStatus::Failed(ref e) if e == "boom"),
            "got {s:?}"
        );
    }

    #[test]
    fn aggregate_running_when_any_running() {
        let mut t = build_simple();
        t.set_phase_running("p", "x=1", 1);
        assert_eq!(t.aggregate_status(t.root()), PhaseStatus::Running);
    }

    /// SRD-76 — `set_phase_outcome` installs the
    /// structured outcome AND mirrors the terminal state
    /// onto the legacy `status` field so existing
    /// renderers stay consistent. `iter_phase_outcomes`
    /// surfaces every populated outcome in DFS order.
    #[test]
    fn set_phase_outcome_installs_structured_and_mirrors_legacy() {
        use crate::phase_outcome::{PhaseIdentity, PhaseOutcome};
        let mut t = build_simple();
        t.set_phase_running("p", "x=1", 1);
        let outcome = PhaseOutcome::completed(PhaseIdentity::new("p", "x=1"), 2.5);
        t.set_phase_outcome("p", "x=1", outcome.clone());
        let phase_id = t.find_phase("p", "x=1", None).expect("phase found");
        let n = &t.nodes[phase_id];
        assert_eq!(n.outcome.as_ref(), Some(&outcome));
        assert_eq!(n.status, PhaseStatus::Completed);
        assert_eq!(n.duration_secs, Some(2.5));
        // iter_phase_outcomes returns exactly the installed one
        let outcomes: Vec<_> = t.iter_phase_outcomes().collect();
        assert_eq!(outcomes.len(), 1);
        assert_eq!(outcomes[0], &outcome);
    }

    /// SRD-76 — installing a `Failed` outcome maps the
    /// first error's message onto the legacy
    /// `PhaseStatus::Failed(String)` so the existing
    /// status-line renderer continues to print the
    /// reason without code changes.
    #[test]
    fn failed_outcome_legacy_status_carries_first_error_message() {
        use crate::phase_outcome::{PhaseErrorDetail, PhaseIdentity, PhaseOutcome};
        let mut t = build_simple();
        t.set_phase_running("p", "x=1", 1);
        let outcome = PhaseOutcome::failed(
            PhaseIdentity::new("p", "x=1"),
            142.7,
            vec![PhaseErrorDetail {
                class: "poll_timeout".into(),
                message: "deadline reached after 14400s".into(),
                op_name: None,
                cycle: None,
                op_template: None,
                op_resolved: None,
                at_nanos: 1_000,
                retryable: false,
            }],
        );
        t.set_phase_outcome("p", "x=1", outcome);
        let phase_id = t.find_phase("p", "x=1", None).expect("phase found");
        match &t.nodes[phase_id].status {
            PhaseStatus::Failed(msg) => assert_eq!(msg, "deadline reached after 14400s"),
            other => panic!("expected Failed, got {other:?}"),
        }
    }

    /// SRD-76 — `session_disposition` is `Failure` iff
    /// any populated outcome is `PhaseStatus::Failed`.
    /// Phases that never reached terminal state
    /// contribute nothing (interrupted ≠ failed).
    #[test]
    fn session_disposition_failure_when_any_phase_failed() {
        use crate::phase_outcome::{
            PhaseErrorDetail, PhaseIdentity, PhaseOutcome, SessionDisposition,
        };
        let mut t = build_simple();
        t.set_phase_outcome(
            "p",
            "x=1",
            PhaseOutcome::completed(PhaseIdentity::new("p", "x=1"), 1.0),
        );
        // Still all-success — only one outcome installed, and it's Completed.
        assert_eq!(t.session_disposition(), SessionDisposition::Success);

        // Install a Failed outcome — disposition flips.
        t.set_phase_outcome(
            "q",
            "x=1",
            PhaseOutcome::failed(
                PhaseIdentity::new("q", "x=1"),
                0.5,
                vec![PhaseErrorDetail {
                    class: "BindError".into(),
                    message: "bad".into(),
                    op_name: None,
                    cycle: None,
                    op_template: None,
                    op_resolved: None,
                    at_nanos: 0,
                    retryable: false,
                }],
            ),
        );
        assert_eq!(t.session_disposition(), SessionDisposition::Failure);
    }

    /// SRD-76 — a session where no phase ran (all
    /// Pending) is `Success`. Interrupted-before-anything
    /// shouldn't masquerade as a failure.
    #[test]
    fn session_disposition_success_when_no_phase_ran() {
        use crate::phase_outcome::SessionDisposition;
        let t = build_simple();
        assert_eq!(t.session_disposition(), SessionDisposition::Success);
    }

    /// SRD-76 — Skipped and CursorSuspended are
    /// non-failures at the session level. Both
    /// contribute `Success` even without any
    /// `Completed` siblings.
    #[test]
    fn session_disposition_skipped_and_cursor_suspended_are_success() {
        use crate::phase_outcome::{PhaseIdentity, PhaseOutcome, SessionDisposition};
        let mut t = build_simple();
        t.set_phase_outcome(
            "p",
            "x=1",
            PhaseOutcome::skipped(PhaseIdentity::new("p", "x=1")),
        );
        // Interrupted+Succeeded — re-usable partial progress (the
        // retired CursorSuspended collapses here, SRD-82 Part 1).
        t.set_phase_outcome(
            "q",
            "x=1",
            PhaseOutcome::interrupted(PhaseIdentity::new("q", "x=1"), 0.5, None),
        );
        assert_eq!(t.session_disposition(), SessionDisposition::Success);
    }
}