Function rule_uses_state 

pub fn rule_uses_state(rule: &Rule, state: &str) -> bool

ルールのいずれかのセレクタが state を参照しているか。 計算量: O(Sel × Steps × P) — Sel はルール内のセレクタ数。

呼び出し側は候補ルール C 件に対してこれを回すので O(C × …)。 それでもカスケード 1 回（compute_styles_with_vars）より桁違いに軽いため、 3 状態ぶんのカスケードを省ける効果が上回る。 実測でノード走査が 605 → 291 tick（spec/dynamic_pseudo_states.md）。