@wcstack/devtools 1.29.0 → 1.30.0

package/dist/index.d.ts

@@ -65,6 +65,14 @@ interface IStateElementSummaryLike {
      * 旧ランタイムにはフィールド自体が無いため optional。宣言なしは null。
      */
     readonly watchPaths?: ReadonlySet<string> | null;
+    /**
+     * `$listKeys` で宣言されたリストパス集合（protocol v1 追補）。ワイルドカード行
+     * watch に**リスト書き込み**が届く前提は「for バインド（paths.list）or
+     * $listKeys 宣言」なので、前提判定の正確化に paths.list と対で使う
+     *（明示 index 書き込みは前提に依らず発火し得る）。旧ランタイムにはフィールド自体が
+     * 無いため optional（undefined = $listKeys 側が観測不能）。宣言なしは null。
+     */
+    readonly keyedListPaths?: ReadonlySet<string> | null;
 }
 /**
  * 宣言レベルのバインディング 1 件（getDeclaredBindings の要素・protocol v1 追補）。
@@ -249,8 +257,8 @@ type CoreChangeListener = (kind: CoreChangeKind) => void;
 /**
  * 配線カバレッジ 1 行（static-wiring-dx-design.md §4 — 宣言 × 実測の突合）。
  * - watch: `fired`（count 回）/ `never` / `prerequisite-missing`
- *   （ワイルドカード行 watch はリストが `for` バインドされていないと発火前提が
- *   成立しない — 「未発火」と区別しないと誤警告になる）
+ *   （ワイルドカード行 watch は「for バインド or $listKeys 宣言」が無いと
+ *   リスト書き込みが行へ届かない — 「未発火」と区別しないと誤警告になる）
  * - command / eventToken: `emitted`（count 回）/ `never` /
  *   `emitted-unheard`（全 emit が subscriberCount 0 = 空撃ち。§4 の突合対象）
  * - binding: canonical declared がある場合のみ。`attached` / `never-attached`

package/dist/index.esm.js

@@ -452,14 +452,21 @@ class DevtoolsCore {
                     out.push({ stateName: entry.name, kind: "watch", name: path, status: "fired", count, note: null });
                     continue;
                 }
-                // ワイルドカード行 watch は各 `.*` 階層のリストが `for` バインドされている
-                // （= paths.list に載っている）ことが発火前提（watch 設計 §6-3）。未成立は
-                // 「未発火」と区別する。ただし paths.list は for 由来のみで `$listKeys`
-                // 宣言はここから見えないため、断定でなく「for が観測できない」と報告する。
+                // ワイルドカード行 watch に**リスト書き込み**が届く前提 = 各 `.*` 階層の
+                // リストが「for バインド（paths.list）or `$listKeys` 宣言（keyedListPaths）」
+                // されていること（watch 設計 §6-3）。未成立は「未発火」と区別する。
+                // 前提はリスト置換経路に限る主張 — 明示 index 書き込み（`$resolve` /
+                // `items.0.price` 代入。$getAll で listIndex 台帳が生えた後）は前提に
+                // 依らず発火し得るため、「一度も発火しない」とは断定できない（実測済み）。
+                // keyedListPaths は protocol v1 追補 — フィールドを持たない旧ランタイム
+                // では $listKeys 側が観測できないため、note はさらに観測形に落とす 2 段。
+                const keyedKnown = summary.keyedListPaths !== undefined;
                 let missingList = null;
                 for (let star = path.indexOf(".*"); star !== -1; star = path.indexOf(".*", star + 2)) {
                     const listPath = path.slice(0, star);
-                    if (!summary.paths.list.has(listPath)) {
+                    const satisfied = summary.paths.list.has(listPath)
+                        || (summary.keyedListPaths?.has(listPath) ?? false);
+                    if (!satisfied) {
                         missingList = listPath;
                         break;
                     }
@@ -467,7 +474,9 @@ class DevtoolsCore {
                 if (missingList !== null) {
                     out.push({
                         stateName: entry.name, kind: "watch", name: path, status: "prerequisite-missing", count: 0,
-                        note: `no for binding observed for list "${missingList}" (a $listKeys declaration would still let it fire)`,
+                        note: keyedKnown
+                            ? `list "${missingList}" has no for binding and no $listKeys declaration — list writes never reach its rows (only explicit-index writes can fire this watch)`
+                            : `no for binding observed for list "${missingList}" (a $listKeys declaration would still let list writes fire it)`,
                     });
                     continue;
                 }