結局できたような気がする、アルゴリズム

ガードのようなディスパッチラベルのような辺ラベルと、ノードからなるグラフを考えればいい。

• スキーマ属性に対応する述語ノード。台型でガードされている。真偽が、成功（通過）失敗（失格）に対応。
• 子オートマトンノード。objectオートマトンかarrayオートマトン。型名object, arrayでガードされている。
• 単純分岐ノード。union型に対応する。単なる状態ノード。

属性なしのスカラー型は辺（ワイヤー）だけ。シングルトン型はディスパッチラベルと考えても、特殊な述語ノードでも同じ。分岐ノードの都合もあるから、ディスパッチラベルでいいか、これも辺だけ。シングルトン含めてスカラー型は辺だけか。

• シングルトン含めたスカラー型 -- 辺だけ
• object型 -- objectオートマトン
• arrayt型 -- arrayオートマトン
• union型 -- 分岐ノード
• tagged型 -- 辺 ＋ 値のノード（サブグラフ）