インターフェイス EscapeReach

出発集合＝島にそのまま在るもの（探索できる島の土地）。並びは宣言順。

島を出るのに要るもの——目標そのもの（ESCAPE_GOAL_TAG_NAMESを名乗る型）と、そこへ推移的に 要求される型。並びは工程数の昇順、同じなら宣言順。

推移の展開は、届いた工程だけを辿る。 その型を生みうる工程すべてへ広げると、島では通らない 作り方の材料まで「要るもの」に数えられ、鎖が閉じていても届かないものが並ぶ。途切れた型だけは、 どこで切れたかを言うために生みうる工程すべてへ広げる。

そのうち届かなかったもの。空なら鎖は閉じている。