vize_l2 0.680.0

//! The hoist-static pass's lattice walk — the post-order region
//! recursion computing [`StaticFacts`] per owner, split from
//! `analysis/static_facts.rs` under the source budget. The rules live
//! beside the L2 fact schema; this file is their single implementation.

use crate::op::{BindingOp, ComponentOp, ElementOp, Namespace, Op};
use crate::provenance::{ProvenanceRecord, ProvenanceSink};
use vize_l0::pass::RemarkSink;
use vize_l0::side_table::SideTable;
use vize_l0::{cstr, ensure_sufficient_stack};

use super::consts::{props_all_hoistable, slot_props_static};
use super::{StaticFacts, StaticLevel};
use crate::walk::PageWalk;

/// What one child op contributes to its parent's three predicates.
pub(super) struct Contribution {
    /// The child's effect on the parent's level.
    level: ChildLevel,
    /// `is_static_nested_child` twin.
    nested: bool,
    /// The native-descendants predicate's per-child twin.
    native: bool,
}

pub(super) enum ChildLevel {
    /// Keeps the parent fully static.
    Static,
    /// Forces `HasDynamicText` (an interpolation).
    DynamicText,
    /// Forces `NotStatic`.
    Dynamic,
}

/// One region's aggregated children facts.
pub(super) struct RegionSummary {
    any_dynamic: bool,
    any_dynamic_text: bool,
    all_nested: bool,
    all_native: bool,
    child_count: usize,
    /// The first child op forcing `NotStatic`, by mnemonic. Recorded only
    /// when remarks are consumed (the blocker a remark names).
    pub(super) first_dynamic: Option<&'static str>,
    /// The first child op forcing `HasDynamicText`, likewise.
    pub(super) first_dynamic_text: Option<&'static str>,
}

impl RegionSummary {
    fn empty() -> Self {
        Self {
            any_dynamic: false,
            any_dynamic_text: false,
            all_nested: true,
            all_native: true,
            child_count: 0,
            first_dynamic: None,
            first_dynamic_text: None,
        }
    }

    /// Remember the first child of each dynamic class, for the remark.
    fn note_blocker(&mut self, contribution: &Contribution, mnemonic: &'static str) {
        match contribution.level {
            ChildLevel::Static => {}
            ChildLevel::DynamicText => {
                self.first_dynamic_text.get_or_insert(mnemonic);
            }
            ChildLevel::Dynamic => {
                self.first_dynamic.get_or_insert(mnemonic);
            }
        }
    }

    fn absorb(&mut self, contribution: &Contribution) {
        match contribution.level {
            ChildLevel::Static => {}
            ChildLevel::DynamicText => self.any_dynamic_text = true,
            ChildLevel::Dynamic => self.any_dynamic = true,
        }
        self.all_nested &= contribution.nested;
        self.all_native &= contribution.native;
        self.child_count += 1;
    }
}

/// Visit one region, returning its aggregate; children before parents,
/// ids minted through the one shared arithmetic. `ns` is the region's
/// markup-namespace context (components inherit it — they carry none
/// of their own — and element children re-enter through the
/// integration points, the lowering's own rule mirrored). Remarks go to
/// `remarks` ([`super::remarks`]); under a detached sink none is built.
pub(super) fn visit_region<P: ProvenanceSink, R: RemarkSink>(
    walk: &mut PageWalk,
    ops: &[Op<'_>],
    ns: Namespace,
    provenance: &mut P,
    facts: &mut SideTable<StaticFacts>,
    remarks: &mut R,
) -> RegionSummary {
    ensure_sufficient_stack(|| visit_region_guarded(walk, ops, ns, provenance, facts, remarks))
}

fn visit_region_guarded<P: ProvenanceSink, R: RemarkSink>(
    walk: &mut PageWalk,
    ops: &[Op<'_>],
    ns: Namespace,
    provenance: &mut P,
    facts: &mut SideTable<StaticFacts>,
    remarks: &mut R,
) -> RegionSummary {
    let mut summary = RegionSummary::empty();
    for op in ops {
        let id = walk.mint();
        let contribution = match op {
            Op::Element(element) => {
                for _ in element.bindings.iter() {
                    let _ = walk.mint();
                }
                let children = visit_region(
                    walk,
                    &element.children.ops,
                    children_ns(element.namespace, element.tag),
                    provenance,
                    facts,
                    remarks,
                );
                let fact = element_facts(element, &children);
                publish(provenance, facts, id, "ui.element", element.span, fact);
                if R::ENABLED {
                    super::remarks::element(remarks, element, fact, &children);
                }
                element_contribution(element, fact)
            }
            Op::Component(component) => {
                for _ in component.bindings.iter() {
                    let _ = walk.mint();
                }
                let children = visit_region(
                    walk,
                    &component.children.ops,
                    ns,
                    provenance,
                    facts,
                    remarks,
                );
                let fact = component_facts(component, ns, &children);
                publish(provenance, facts, id, "ui.component", component.span, fact);
                if R::ENABLED {
                    super::remarks::component(remarks, component, fact);
                }
                // The legacy lattice: a component child is dynamic, is
                // never a static nested child, and breaks the
                // native-descendants predicate.
                Contribution {
                    level: ChildLevel::Dynamic,
                    nested: false,
                    native: false,
                }
            }
            Op::Text(_) => Contribution {
                level: ChildLevel::Static,
                nested: true,
                native: true,
            },
            Op::Interpolation(_) => Contribution {
                level: ChildLevel::DynamicText,
                nested: true,
                native: true,
            },
            Op::JsxChildValue(_) => Contribution {
                level: ChildLevel::Dynamic,
                nested: false,
                native: false,
            },
            Op::Comment(_) => Contribution {
                level: ChildLevel::Dynamic,
                nested: false,
                native: true,
            },
            Op::If(if_op) => {
                for branch in if_op.branches.iter() {
                    visit_region(walk, &branch.region.ops, ns, provenance, facts, remarks);
                }
                Contribution {
                    level: ChildLevel::Dynamic,
                    nested: false,
                    native: false,
                }
            }
            Op::For(for_op) => {
                visit_region(walk, &for_op.region.ops, ns, provenance, facts, remarks);
                Contribution {
                    level: ChildLevel::Dynamic,
                    nested: false,
                    native: false,
                }
            }
            Op::OriginalFor(for_op) => {
                visit_region(walk, &for_op.region.ops, ns, provenance, facts, remarks);
                Contribution {
                    level: ChildLevel::Dynamic,
                    nested: false,
                    native: false,
                }
            }
            Op::Slot(slot) => {
                for _ in slot.bindings.iter() {
                    let _ = walk.mint();
                }
                visit_region(walk, &slot.fallback.ops, ns, provenance, facts, remarks);
                // An outlet is dynamic and non-native, but counts as a
                // static nested child when its whole props surface is
                // static (the shipped `is_plain_static_nested_element`
                // slot arm).
                Contribution {
                    level: ChildLevel::Dynamic,
                    nested: slot_props_static(slot),
                    native: false,
                }
            }
        };
        if R::ENABLED {
            summary.note_blocker(&contribution, op.mnemonic());
        }
        summary.absorb(&contribution);
    }
    summary
}

/// The element's own facts from its surface plus its children summary.
fn element_facts(element: &ElementOp<'_>, children: &RegionSummary) -> StaticFacts {
    let props_static = props_all_hoistable(&element.attributes, &element.bindings);
    // The shipped svg quirk: any directive on a literal `<svg>` tag
    // blocks staticness outright.
    let svg_blocked = element.tag == "svg" && !element.bindings.is_empty();
    let level = if svg_blocked || !props_static || children.any_dynamic {
        StaticLevel::NotStatic
    } else if children.any_dynamic_text {
        StaticLevel::HasDynamicText
    } else {
        StaticLevel::FullyStatic
    };
    StaticFacts {
        level,
        props_hoistable: props_static
            && !(element.attributes.is_empty() && element.bindings.is_empty()),
        nested_static: children.child_count > 0 && children.all_nested,
        native_descendants: children.all_native,
        foreign: element.namespace != Namespace::Html,
    }
}

/// A component's facts: level fixed at `NotStatic` (the shipped
/// `tag_type != Element` gate), the props/children predicates real —
/// the `NotStatic` props-hoist arm reads them for components too.
fn component_facts(
    component: &ComponentOp<'_>,
    ns: Namespace,
    children: &RegionSummary,
) -> StaticFacts {
    let props_static = props_all_hoistable(&component.attributes, &component.bindings);
    StaticFacts {
        level: StaticLevel::NotStatic,
        props_hoistable: props_static
            && !(component.attributes.is_empty() && component.bindings.is_empty()),
        nested_static: children.child_count > 0 && children.all_nested,
        native_descendants: children.all_native,
        foreign: ns != Namespace::Html,
    }
}

/// The namespace an element's children live in — the lowering's
/// integration-point rule (`lower/element.rs`), mirrored: the analysis
/// reads the materialized per-element namespace and only re-derives the
/// context boundary.
fn children_ns(own: Namespace, tag: &str) -> Namespace {
    match own {
        Namespace::Svg if matches!(tag, "foreignObject" | "desc" | "title") => Namespace::Html,
        Namespace::MathMl if matches!(tag, "mi" | "mo" | "mn" | "ms" | "mtext") => Namespace::Html,
        other => other,
    }
}

/// The element's contribution to its parent: `FullyStatic` keeps the
/// parent static, anything else (dynamic text included) is dynamic —
/// the shipped nested-element rule.
fn element_contribution(element: &ElementOp<'_>, fact: StaticFacts) -> Contribution {
    // A `v-slot` carrier is the shipped `ElementType::Template`: never
    // a static nested child, never a native descendant. (Structural
    // templates never reach L2 as elements — the lowering unwraps
    // them.)
    let slot_carrier = element
        .bindings
        .iter()
        .any(|binding| matches!(binding, BindingOp::SlotContent(_)));
    Contribution {
        level: match fact.level {
            StaticLevel::FullyStatic => ChildLevel::Static,
            StaticLevel::HasDynamicText | StaticLevel::NotStatic => ChildLevel::Dynamic,
        },
        nested: !slot_carrier
            && props_all_hoistable(&element.attributes, &element.bindings)
            && (element.children.ops.is_empty() || fact.nested_static),
        // The shipped native predicate reads `tag_type == Element` only
        // — no namespace test — so a foreign-namespace element subtree
        // still counts native, mirrored.
        native: !slot_carrier && fact.native_descendants,
    }
}

/// Publish one owner's fact with its provenance record.
fn publish(
    provenance: &mut impl ProvenanceSink,
    facts: &mut SideTable<StaticFacts>,
    id: Option<vize_l0::id::NodeId>,
    owner: &str,
    span: vize_l0::Span,
    fact: StaticFacts,
) {
    // Past id exhaustion there is no key to publish under; the analysis
    // stays total and only the keying stops (the lowering's own rule).
    let Some(id) = id else {
        return;
    };
    provenance.record(|| {
        let level = match fact.level {
            StaticLevel::NotStatic => "not-static",
            StaticLevel::HasDynamicText => "dynamic-text",
            StaticLevel::FullyStatic => "fully-static",
        };
        ProvenanceRecord {
            rule: vize_l0::String::from("pass.hoist-static.fact"),
            node: Some(id),
            before: vize_l0::String::from(owner),
            after: cstr!(
                "level={level} props={} nested={} native={}",
                fact.props_hoistable,
                fact.nested_static,
                fact.native_descendants
            ),
            span,
        }
    });
    facts.insert(id, fact);
}