@takagaki/cortex-decisions-viewer 0.12.57 → 0.12.58

package/dist/render.js

@@ -56,6 +56,7 @@ exports.calendarWaiting = calendarWaiting;
 exports.calendarTemplateUrl = calendarTemplateUrl;
 exports.calendarAddUrl = calendarAddUrl;
 exports.deriveCapTile = deriveCapTile;
+exports.derivePendingTile = derivePendingTile;
 exports.renderConnectionMap = renderConnectionMap;
 const node_crypto_1 = require("node:crypto");
 const google_chat_guide_images_1 = require("./google-chat-guide-images");
@@ -2672,6 +2673,112 @@ function deriveCapTile(cap, ctx) {
         return { rule: 4, state: "idle", text: STATE_CONFIRMING_TEXT, keyMissing: false };
     return { rule: 4, state: "idle", text: meta.noFact, keyMissing: false };
 }
+/**
+ * 「まとめ表が知らない行がある」能力のタイルに、行と同じ答えを出せるか（#576）。
+ *
+ * ## なぜ要るか
+ *
+ * タイルの段階1（`capPending`）は「まとめ表（fleet-status.json）が知らない行を持つ能力は
+ * 『登録状況を確認中です』」に倒す。まとめ表は案件リポの fleet-status.yml が**毎朝 08:30 JST
+ * の schedule でしか再生成しない**ので、日中に登録した接続先は、行は「接続を確認」で
+ * その場で接続OKになっても、**タイルは翌朝まで確認中のまま**——行とタイルが食い違う
+ * （`ops-ui-must-show-truth`）。まとめ表が `adapters[]` に unset を焼き込んでいると導出
+ * （`deriveCapTile`）も止まる（変種を持たないアダプタは `derivableUnset` を通らない）ので、
+ * ライブの登録一覧＋接続状態ストアの行から**行と同じ語**を引く材料をここで作る。
+ *
+ * ## 規則（上から順）
+ *
+ * 1. 登録簿が配列でない・**0 件 → `null`**（確認中のまま）。0 件は「外して 0 件になった」側で、
+ *    夜間の `capabilities` はまだ on。ストアの行が無い（外すときに消してある）ことを
+ *    「未接続」の根拠にしない——導出（規則1: 登録0件→未接続）が答えられる回はそちらが
+ *    先に勝つ（`pend = capPending && !derive`）ので、ここへ来るのは導出が止まっている回だけ
+ * 2. 登録行ごとに、突き合わせ鍵を `registeredRefKeys`（#523・#556 の正本。チャットは
+ *    ワークスペース付き／無しの 2 本）で作り、ストアの `cap === regKey && question === "reachable"`
+ *    の行のうち `stateRefKey` が当たるものを集める。1 件も当たらない登録行は**未測定**
+ *    （測っていないものを OK とも失敗とも言わない）
+ * 3. 当たった行が複数なら `at` が最新の 1 行（読めない `at` は最古扱い・同値は後勝ち）。
+ *    `ok` → OK、`BAD_STATE_STATUSES.reachable` の語 → 失敗、それ以外（`unknown`）→ 未測定
+ * 4. **失敗 > 未測定 > OK の順**: 失敗が 1 つでもあれば `{ kind: "bad", rows }`（登録順）。
+ *    未測定が 1 つでもあれば `null`。全部 OK なら `{ kind: "ok", at }`（`at` はストアの最新）
+ *
+ * 語の解決（行と同じ `dsGateOf` / `dsGateForCap`）と仮置き（#388）の扱いは画面側
+ * （`pendingTileVerdict`）が持つ。**純関数に localStorage を見せない。**
+ *
+ * @param regKey `registeredNow` のキー（chat / google-chat / dev / design / materials / issues。
+ *   ストアの `cap` と同じ綴り）
+ * @param registered `LIVE_REGISTERED[regKey]`（配列でなければ「読めていない」）
+ * @param rows 接続状態ストアの行（`LIVE_STATE`）
+ * @returns `null`（従来どおり「登録状況を確認中です」）／`{ kind: "ok", at }`／
+ *   `{ kind: "bad", rows: [{ status, ref, workspace, type, at }] }`（登録順）
+ *
+ * **クロージャを持たない純関数に保つこと**（`.toString()` でクライアントへ渡す。
+ * `registeredRefKeys` / `stateRefKey` / `BAD_STATE_STATUSES` はこれより前に流し込んである）。
+ */
+function derivePendingTile(regKey, registered, rows) {
+    if (!Array.isArray(registered) || registered.length === 0)
+        return null;
+    var state = Array.isArray(rows) ? rows : [];
+    var bad = BAD_STATE_STATUSES.reachable || [];
+    var latestAt = "";
+    var latestMs = -Infinity;
+    var unmeasured = false;
+    var badRows = [];
+    for (var i = 0; i < registered.length; i++) {
+        var reg = registered[i];
+        if (!reg || typeof reg !== "object")
+            continue;
+        var keys = registeredRefKeys(regKey, [reg]);
+        var hit = null;
+        var hitMs = -Infinity;
+        for (var j = 0; j < state.length; j++) {
+            var r = state[j];
+            if (!r || r.cap !== regKey || r.question !== "reachable")
+                continue;
+            if (!keys || !keys[stateRefKey(regKey, r.ref, r.workspace)])
+                continue;
+            // **最新の 1 行が勝つ。** 読めない at は最古（NaN は比較で常に負けるので -Infinity に畳む）。
+            // 同値は後勝ち（`>=`）——サーバが並べた順を崩さない
+            var ms = Date.parse(String(r.at || ""));
+            if (ms !== ms)
+                ms = -Infinity;
+            if (hit === null || ms >= hitMs) {
+                hit = r;
+                hitMs = ms;
+            }
+        }
+        // 🔴 **測っていない登録行が 1 つでもあれば「接続OK」と断言しない。** 1 件の OK で能力
+        // 全体を「接続OK」にすると、登録したばかりで一度も測っていないチャンネルまで繋がっている
+        // ことになる（この関数が直そうとしている嘘の裏返し）。ただし**ループは最後まで回す**
+        // ——測定済みの失敗は事実なので、未測定の行が混ざっていても失敗は出す（下の優先順）。
+        // `unknown`（測れなかった）も未測定と同じ扱い: 行は「不明」と出るが、タイルは断言しない
+        if (hit === null || (hit.status !== "ok" && bad.indexOf(hit.status) < 0)) {
+            unmeasured = true;
+            continue;
+        }
+        if (hit.status === "ok") {
+            if (hitMs >= latestMs) {
+                latestMs = hitMs;
+                latestAt = String(hit.at || "");
+            }
+            continue;
+        }
+        badRows.push({
+            status: String(hit.status),
+            ref: String(hit.ref || ""),
+            workspace: String(hit.workspace == null ? (reg.workspace == null ? "" : reg.workspace) : hit.workspace),
+            type: String(reg.type || ""),
+            at: String(hit.at || ""),
+        });
+    }
+    // **優先順: 失敗 > 未測定 > OK。** 失敗は測った事実なので、未測定の行が混ざっていても
+    // 隠さない（行は「Slackで招待してください」と出ているのにタイルが「確認中」では、
+    // 行とタイルが違うことを言う）。「接続OK」だけは全行が測定済みのときに限る
+    if (badRows.length)
+        return { kind: "bad", rows: badRows };
+    if (unmeasured)
+        return null;
+    return { kind: "ok", at: latestAt };
+}
 function capabilityState(cap, ctx, adapter) {
     // **能力→パイプラインの対応はここに持つ。** 呼び出し側に渡させると、
     // クライアント側（この関数を .toString() で受け取る側）が同じ表を書き写すことになり、
@@ -4706,6 +4813,9 @@ var BAD_STATE_STATUSES = ${JSON.stringify(BAD_STATE_STATUSES)};
 var STATE_CONFIRMING_TEXT = ${JSON.stringify(STATE_CONFIRMING_TEXT)};
 ${keyMissingText.toString()}
 ${deriveCapTile.toString()}
+  // 登録直後のタイル（#576）。**registeredRefKeys / stateRefKey / BAD_STATE_STATUSES より後に置く**
+  //（上の 3 つを引く。前に置くと var の BAD_STATE_STATUSES が undefined で判定が丸ごと死ぬ）
+${derivePendingTile.toString()}
   // 案件カレンダー（#428）。**判定の実体はビルド時の定義**——画面側に書き写すと、
   // 「作成済みか」の判定が 2 枚になって片方だけ直る（＝2 本目のカレンダーを作らせる）。
   // 🔴 **BAD_STATE_STATUSES より後に置く。** calendarPhase が「悪い」語をそこから引く
@@ -8469,6 +8579,71 @@ ${calendarAddUrl.toString()}
     return !!m[cap];
   }
 
+  /**
+   * 「登録状況を確認中です」に倒れるタイル（「capPending」 が立ち・導出が止まっている回）に、
+   * **行と同じ語**を出せるか（#576）。出せなければ null（従来どおり確認中）。
+   *
+   * 判定は 「derivePendingTile」（純関数・ライブの登録一覧＋接続状態ストア）。ここが持つのは
+   * **仮置き（#388）の扱いと語の解決**だけ:
+   *
+   * - 仮置きの add で live にまだ無い行があれば null（登録簿が追いつくまでは測っていない
+   *   行が 1 つある、と同じ）。remove の仮置きで live に在る行はその行を判定から外す
+   *   （「pendingCountDelta」 / 「refKeysOf」 と同じ材料。一覧と同じものを見る）。update
+   *   （通知先トグル等）は判定を止めない
+   * - 語は**行と同じ関数**から引く（写経しない）: チャット・開発は 「dsGateOf」（社内の
+   *   no_token →「管理者の設定が必要です」・GitHub の no_token →「App が未インストール」の
+   *   言い換え込み）、取り込む能力は 「dsGateForCap」（Drive の unreachable →「フォルダを
+   *   開けません」等）。OK は「● 接続OK ◯分前に確認」（行の 「rtAgo」 と同じ語・時刻は
+   *   ストアの最新）。失敗が複数で語が違っても**登録順で最初の 1 語**（タイルは 1 行。
+   *   内訳はモーダルの行が持つ）
+   *
+   * regKey は 「TILE_CAPS[derCapOf(cap, adapter)].id」 の 1 本（#153 のアダプタ別の鍵をそのまま
+   * 使う——Slack タイルが Google Chat の登録・実測を借りない、逆も）。混載タイル
+   * （capabilities を持たない旧データ・adapter 無し）に 2 つの regKey を合算する分岐は置かない
+   * ——その形の案件はまとめ表に capabilities が無く 「derived === null」 で導出が答えるので、
+   * ここへ来る回が実質無い（設計レビュー🟡）
+   */
+  function pendingTileVerdict(cap, adapter) {
+    var derCap = derCapOf(cap, adapter);
+    var meta = TILE_CAPS[derCap];
+    // 会議は登録簿を持たない（refKeyed でない）ので答えられない
+    if (!meta || !meta.refKeyed || !LIVE_REGISTERED) return null;
+    var regKey = meta.id;
+    var registered = LIVE_REGISTERED[regKey];
+    if (!Array.isArray(registered)) return null;
+    // ---- 仮置き（#388）を登録簿に重ねる ----
+    var ops = pendingOpsNow();
+    var live = registered;
+    for (var i = 0; i < ops.length; i++) {
+      var e = ops[i];
+      var km = e && PENDING_KINDS[e.kind];
+      if (!km || km.reg !== regKey) continue;
+      var found = null;
+      for (var k = 0; k < live.length; k++) {
+        if (pendingLiveRowMatches(e.kind, live[k], e.targetId)) { found = live[k]; break; }
+      }
+      // add で live にまだ無い行＝誰も測っていない登録行が 1 つある → 確認中のまま
+      if (e.action === "add" && !found) return null;
+      if (e.action === "remove" && found) {
+        live = live.filter(function (r) { return r !== found; });
+      }
+    }
+    var v = derivePendingTile(regKey, live, LIVE_STATE);
+    if (!v) return null;
+    if (v.kind === "ok") {
+      var ago = rtAgo(v.at);
+      return { text: CAP_STATE_MARK.ok + "接続OK" + (ago ? " " + ago + "に確認" : ""), cls: "ds-gate-ok" };
+    }
+    var first = v.rows[0];
+    var gate;
+    if (regKey === "chat") gate = dsGateOf({ type: "slack", workspace: first.workspace, gate: first.status });
+    else if (regKey === "google-chat") gate = dsGateOf({ type: "google-chat", gate: first.status });
+    else if (regKey === "dev") gate = dsGateOf({ type: first.type || "github-issues", gate: first.status });
+    else gate = dsGateForCap(regKey, first.status);
+    // 行と同じ見た目: warn の語にだけ ⚠️ を前置（muted の語＝「管理者の設定が必要です」等には付けない）
+    return { text: (gate.cls === "ds-gate-warn" ? CAP_STATE_MARK.warn : "") + gate.text, cls: gate.cls };
+  }
+
   /**
    * 能力の状態を決めるときに渡す値。**足した行は混ぜない**（誰も測っていないので状態を持たない）。
    *
@@ -9128,7 +9303,9 @@ ${calendarAddUrl.toString()}
       var asOfText = LIVE_FLEET_FAILED
         ? "最新の接続状況を取得できませんでした。表示しているのは " + asOf + " 時点の情報です。"
         : hasPending
-          ? "接続状況は " + asOf + " 時点の自動チェック結果です。いま登録した分も一覧に出していますが、読み取れているかどうかが分かるのは次回の自動チェックの後になります。"
+          // 「接続を確認」で確かめた分はタイルにもその場で出る（#576）ので、「次回の自動チェックの後」
+          // と言い切らない——同じ節でタイルが「接続OK」と言っているのに矛盾する
+          ? "接続状況は " + asOf + " 時点の自動チェック結果です。いま登録した分も一覧に出しています。「接続を確認」で確かめたものはタイルにも出し、残りは次回の自動チェックの後に分かります。"
           : "接続状況は " + asOf + " 時点の自動チェック結果です。設定を変えた場合、ここに反映されるのは次回の実行後になります。";
       sec.appendChild(el("p", {
         class: "datasources-asof" + (LIVE_FLEET_FAILED ? " is-stale" : ""),
@@ -9933,6 +10110,17 @@ ${calendarAddUrl.toString()}
       // ここを逆にすると、まとめ表が追いつく翌朝まで「確認中です」が居座る。
       // 確認中の判定はアダプタで絞る（#153・判断⑭）
       var pend = capPending(cap, adapter) && !derive;
+      // **確認中に倒す回でも、ライブの登録一覧＋接続状態ストアが行と同じ答えを持っていれば
+      // それを出す（#576）。** まとめ表は毎朝 08:30 の schedule でしか作り直されないので、
+      // 日中に登録して「接続を確認」で行が接続OKになっても、ここが確認中のままだと
+      // 行とタイルが翌朝まで食い違う。**「st === "warn"」 の回は OK を採らない**——fleet の
+      // 行から出た warn を導出が降格しない保護（上）と同じ理由で、色（⚠️）と語（接続OK）が
+      // 割れる。失敗（行と同じ語）は採る
+      // **答えるのは、導出を止めた理由が unset（エンジンが未導出）のときだけ。** off / broken
+      // （意図的に止めた・設定が壊れている）で導出が止まった回にストアの ok で「接続OK」と
+      // 言うと、表 5 の優先順位（OFF・設定に異常が導出より先）を裏切る（実装レビュー🟡2）
+      var pendNow = pend && (derived == null || derived === "on" || derived === "unset") ? pendingTileVerdict(cap, adapter) : null;
+      if (pendNow && st === "warn" && pendNow.cls === "ds-gate-ok") pendNow = null;
       // 🔴 **初回のライブ確認が答えるまで、状態を断言しない（#256・設計v2 の5）。**
       // この2行目は焼いた capabilities 由来の状態を先に言っていたので、図と同じ瞬き
       // （旧状態を見せて1〜2秒後に訂正）をタイルでも起こしていた。**兄弟機能の同型の
@@ -9943,11 +10131,11 @@ ${calendarAddUrl.toString()}
       // 答える能力だけ（derived が null / "on"）＝図と同じ規則5の線引き。
       var confirming = liveConfirming() && (derived === null || derived === "on");
       var subEl = el("div", {
-        class: "ds-tile-sub " + (confirming || pend ? DS_GATE_PENDING.cls : "ds-gate-" + st),
+        class: "ds-tile-sub " + (confirming || (pend && !pendNow) ? DS_GATE_PENDING.cls : pend ? pendNow.cls : "ds-gate-" + st),
         // **反映待ち（pend）の形は変えない。** あちらは「足した行がまとめ表に載るまで」の
         // 折衷で、件数を添えると足した分を数えたようにも読める。確認中は焼いた件数を残す
         text: pend
-          ? DS_GATE_PENDING.text
+          ? (pendNow ? pendNow.text : DS_GATE_PENDING.text)
           : tileSub(cap, st, derived, adapter, internals, sources, derive, confirming),
       });
       var body = el("div", { class: "ds-tile-body" }, [
@@ -10579,6 +10767,14 @@ ${calendarAddUrl.toString()}
         // **GitHub は揃えない。** 行の名前は owner/repo そのもので、書き換える口
         //（op=config の refresh-channel-name）は channels.json 専用
         if (s.type === "slack") autoAlignName(s, j, card);
+        // ストアにも 「button」 の行が書かれている（#576）。**取りに行くのは 1 回だけ**——
+        // 届いた行でモーダルを閉じたときにタイルが引き直され、登録直後のタイルが行と同じ
+        // 「接続OK」になる（「pendingTileVerdict」）。ここで取らないと、画面がストアの行を
+        // 読むのは次の op=state（追加行が未確定の 15 分間は 60 秒ごと・過ぎていれば
+        // 再読み込みまで）で、「接続を確認 → 閉じる → その場で接続OK」にならない。
+        // 据え置きあり＝GitHub は叩かない（ストアの行は据え置きの対象外で毎回引く）。
+        // 取り込む能力の即答（appendDispatchProbe）は先に同じ 1 行を持っている
+        reloadLiveState();
       } catch (e) {
         msg.className = "ds-toggle-msg is-error";
         msg.textContent = "✗ 通信に失敗しました。";
@@ -11427,7 +11623,7 @@ ${calendarAddUrl.toString()}
         showProbeVerdict(row, capId, checkBtn, j);
         // ストアにも 「button」 の行が書かれている。**取りに行くのは1回だけ**——
         // 届いた行で一覧が描き直され、この行の札が正本の値に揃う
-        loadLiveFleet();
+        reloadLiveState();
       } catch (e) {
         note.textContent = "通信に失敗しました。";
         delete PROBE_WAITS[key];
@@ -13688,6 +13884,21 @@ ${calendarAddUrl.toString()}
    * 戻るので、旗として残し、応答後にもう一度取りに行く
    */
   var freshWanted = false;
+  /**
+   * 「接続を確認」の応答が 2xx だったので、ストアの行をもう一度読みたい（#576）。
+   *
+   * 🔴 **取得が飛行中なら loadLiveFleet は黙って戻る**（liveFleetRequested の項）。追加行が
+   * 未確定の 15 分間は 60 秒ごとの取り直しが走っているので、押した瞬間がそれと重なると、
+   * 押した結果（by:button の行）を画面が次の便まで読まない＝タイルが「その場で接続OK」に
+   * ならない。そこで**飛行中なら旗を立て、応答が届いたら 1 回だけ取り直す**（保存直後の
+   * freshWanted と同じ形。ただし据え置きは迂回しない——GitHub の枠を削る理由が無い）。
+   * 失敗（catch）の側では取り直さない（失敗を繰り返す形にしない。期限つきの取り直しに任せる）
+   */
+  var againWanted = false;
+  function reloadLiveState() {
+    if (liveFleetRequested) { againWanted = true; return; }
+    loadLiveFleet();
+  }
   function loadLiveFleet(fresh) {
     if (fresh) freshWanted = true;
     if (liveFleetRequested) return;
@@ -13782,10 +13993,15 @@ ${calendarAddUrl.toString()}
         syncAiLinks();
         // Home を開いていれば「使用ツール」の状態を実測で描き直す（#275）
         syncHomeTools();
-        // 取得中に保存が効いていたら、迂回付きでもう一度取りに行く
-        if (freshWanted) loadLiveFleet();
+        // 取得中に保存が効いていたら、迂回付きでもう一度取りに行く。
+        // 取得中に「接続を確認」が通っていたら、据え置きのままもう一度（reloadLiveState の項）
+        var again = againWanted;
+        againWanted = false;
+        if (freshWanted || again) loadLiveFleet();
       })
       .catch(function () {
+        // 失敗の側では「もう一度」の旗を捨てる（reloadLiveState の項）
+        againWanted = false;
         clearGiveUp();
         // 静的ビルドの値で描き続ける。ただし「古いかもしれない」ことは画面に出す
         LIVE_FLEET = null;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@takagaki/cortex-decisions-viewer",
-  "version": "0.12.57",
+  "version": "0.12.58",
   "description": "Cortexの意思決定記録（Decisions/*.md）を静的サイトにビルドして閲覧する。各レコードに「Edit on GitHub」リンクを付与する。",
   "license": "UNLICENSED",
   "private": false,