Function section_key_taken 

pub fn section_key_taken(
    sections: &[Section],
    key: SectionKey<'_>,
    skip: Option<usize>,
) -> bool

sections に符号＋階が key と一致する断面があるか（skip の添字は除く）。

断面の追加・改名の前段でモデル側の不変条件（符号＋階は一意）を守るために使う。 skip は改名時に自分自身を衝突判定から外すためのもので、追加時は None。