型エイリアス UndeclaredReading

候補の型が1つもそのプロパティを宣言していないときの読み方（highestDeclaredLayer）。実行時の値は どちらでも0——解けない参照は0として読まれる（DeclaredNumber.resolveOrZero）——ので、差は読み手へ 何を渡すか。

• zero: 宣言が無いこと自体が答え。宣言していない土地ではその候補が抽選から外れる （TrapSystem.md 3節）ので、確定した値として読む。
• unresolved: 定義が答えを持っていない。その起点に就きうる型がどれも宣言していないのは書き手の 取りこぼしでありうる（腕の値を道具の側だけに書いた、など）ので、確定しない参照として印を立てる （CraftingStep.hasUnresolvedReferences）。世界のどこにも宣言が無いことはここまで来ない ——名指しの相手が1つも宣言されていない世界はロードで落ちる（WorldCodexの名指し検査）。