現状の整理です（2026-09-14 時点）。検討案はありますが、未実装です。

現在の挙動（実測）

無限ループにはなりません。getter の連鎖は、循環なら wcs/getter-cycle、深すぎれば wcs/getter-depth-exceeded で止まります。
ただし、他の行を読む行 getter は、葉の書き込みでは後続行が再評価されません。$resolve("items.*.cumulativeSum", [i - 1]) でも、数値パス this[`items.${i - 1}.cumulativeSum`] でも同じです。
- 4 行（value: 1, 2, 3, 4）→ 表示 1, 3, 6, 10。items.0.value = 10 の後、期待 10, 12, 15, 19 に対して表示は 10, 3, 6, 10 のまま
リストの置換（行の追加・削除・並べ替え）では正しく再計算されます。他の行の読み取りを自動検出して全行展開にフォールバックする仕組み（crossRowListPaths、docs/list-replacement-dependency-scaling.md §7）が、置換の経路にだけ入っているためです。
本文の綴りのまま（行 0 のガード無し）だと、行 0 が items.-1 を読んで ListIndex not found at index -1 of items になり、for 全体の描画が止まります。

検討案（いずれも未実装）

オフセット追跡 — docs/state-named-wildcard-index-design.md §7-1。(getterPath, wildcardLevel, offset) を記録し、再評価を「変化した行 × オフセットの種類」に絞る。記録単位は行 ID ではなくオフセット（行 ID 間のエッジは並べ替えで全滅するため）。着手時に踏む既知の罠（他の getter からしか読まれない getter は静的依存グラフに載らない）も同節に記録済み。
スコープ確立形 — 同 §9。$at(...) / $u.offset(-1, cb) のように軸に添字を束縛したスコープを張り、他の行を素のパスで読む。§7-1 の器にするにはオフセット形が要る（§9.5）。address stack に合成アドレスを積むと依存追跡が黙って壊れる点が最大の罠（§9.4）。
行方向の評価順序 — 同 §7-2。依存の rank がパス単位なので、items.*.x → items.*.x のような同一パス・行間の依存に順序を与えられない。
パス内オフセット構文（items.-1.name など）— 同 §4.1 で不採用。パス文字列がシステム全体の正規化キーのため。§7-1 を静的解析まで進める場合にだけ再検討する。

いずれも §8 / §9.6 の着手トリガー（オフセット追跡に着手するときなど）を満たしていないため、検討記録のままです。