History / judgment record pointer requirement dropped

Add judgment-record-pointer-requirement-dropped `Judgment record:` ポインタ要件の撤廃（#1852 / PR #1859）を state-form の 判断記録として追加。`source-body-behavior-only-reasoning-relocates` に supersede edge を張る — あちらの中核は生きているが、改訂安定性をポインタが 担うという条項とその裏返しの成立条件、および検出サイン第1項が無効化された。 前提1（ポインタは振る舞いを変えるか）と前提3（索引だけで代替できるか）の 実測値を本文に保持する。測っていない範囲も併記した。

smileygames committed Sep 3, 2026