関数 highestDeclaredLayer

実行時にしか就く相手が決まらない起点を、候補の型が宣言している値で埋める層。最も高く宣言して いる型に合わせるので、どれが就いても届く上限が出る——分岐ごとに最も良い相手を選べる前提の値で、 どれか1つの相手で出る値ではない。

答えるのは宣言値なので、段が押し上げる分は入らない（段は実行時にしか決まらない）。

起点ごとに違うのは、候補の集まりと、誰も宣言していないときの読み方（UndeclaredReading）だけ。

候補が1つも無い層は何も答えない（UndeclaredReadingによらない）——「候補は在るがどれも宣言して いない」と「誰が就くか分からない」は別で、後者を0として読むと、その起点を見る宣言が土地の在る 文脈と無い文脈とで同じ値を返す。