関数 objectGlobalIdOfPropertyValue

型を値に持つと宣言されたプロパティ（value: {object: ...}、GameElementDefinition.md 6.9節）の値を、 object_def のグローバルIDとして読む。

プロパティの値は著者が書いた数であって名前空間が配ったIDではないので、型の上では繋がっていない。 値をIDとして読む経路はこの関数と symbolGlobalIdOfPropertyValue に寄せる——読み出す側 それぞれが読み替えると、どの名前空間へ持っていくかの判断が読み手の数だけ散る。

書き込む側は越境ではない。 宣言を読むローダは名前から NameRegistry で引き、そのIDを 値として置くだけ（IDが number へ広がるのは印を捨てるだけなので安全）。逆向きのここだけが、 型では支えられない読み替えになる。

読み替えた先に型が居るとは限らない（宣言に数値リテラルが書かれていれば、どの型のIDでもない）ので、 受け取った側が引き当てで確かめる。