整形式と認める項を絞るほど、書ける誤答が消える。ρ＝1 で完全な読み出し器。
成立する問題クラスの広さ。精度と同時には上げられない。
右へ寄るほどインスタンス数に比例して増える＝前計算＋表引き（PIN 4）。
較正プリセット
語長は 24 まで。Artin の自由群作用は忠実なので、ここでの自明／非自明の判定は近似ではない。
プリセット
読み方 — 置換像と指数和は図から直接読める安価な不変量。どちらも 恒等・0 を返しながら組み紐が非自明なとき、図は「異なる」を証明できていない。 これが片側性の正体。
実測点は語長 10〜80（弦 4 本・乱数語）。それより右は指数近似による外挿。
実測値（Artin 作用による読み出し・像の語長）
語長 3,200 ではメモリを使い切ってプロセスが落ちた。Garside 左正規形なら O(|w|²·n log n) に収まる。同じ表現系なのに、どの正規形を選ぶかで PIN 3b の合否が変わる — ここが v0 の穴だった。