ReferenceRootが指すプロパティの値を、定義だけから解く手立て。
解けないものはundefinedを返す——祖先が土台に入れる値(base)も、使う物(instrument)の値も、「どの文脈に 置いた場合の数字か」を決めた側にしか答えられない。0を返すと「そう宣言されている」と区別が付かない。
生成時のロール(6.2節)のどちらの端かは、問いのほうが持つ(endを受け取る)。ここで端を 固定すると、上端の問い合わせへ下端の答えが混ざったまま返る——PropertyDef.initialValueAtが 両端を答えるようになっても、この境界で片方へ畳めば同じことになる。
ReferenceRootが指すプロパティの値を、定義だけから解く手立て。
解けないものはundefinedを返す——祖先が土台に入れる値(base)も、使う物(instrument)の値も、「どの文脈に 置いた場合の数字か」を決めた側にしか答えられない。0を返すと「そう宣言されている」と区別が付かない。
生成時のロール(6.2節)のどちらの端かは、問いのほうが持つ(endを受け取る)。ここで端を 固定すると、上端の問い合わせへ下端の答えが混ざったまま返る——PropertyDef.initialValueAtが 両端を答えるようになっても、この境界で片方へ畳めば同じことになる。