Function hidden_via_ancestors 

pub fn hidden_via_ancestors<F: QueryFilter>(
    entity: Entity,
    parents: &Query<'_, '_, &ChildOf>,
    visibles: &Query<'_, '_, &Visible>,
    styles: &Query<'_, '_, &Style, F>,
) -> bool

Shared hidden-check for every path that must honour visibility (spec section 17.4: one visibility story). True when entity or any ancestor is hidden by either mechanism:

• Visible(false): render-gate hide (keep-space variant, and the flag <if mode="hide"> stamps on its subtree root), or
• Style::display == Display::None: space-releasing hide.

The Style query is generic over a QueryFilter F so callers that already hold a conflicting Style view (e.g. the Without<ProgressFill> split in lumen_primitives’s progress sync, or the unfiltered pointer/keyboard paths in lumen_input) can pass a disjoint query without a second archetype conflict.