@aiquants/daily-report 0.34.0 → 0.35.0

package/CHANGELOG.md

@@ -2,6 +2,75 @@
 
 All notable changes to `@aiquants/daily-report` are documented here.
 
+## 0.35.0 (2026-10-08)
+
+任意の文字の検索。サーバーの設定のブロック `search` とクライアントの `config.search` を渡したホストだけで働き、渡さないホストの振る舞いは変わらない (公開・削除・コメントの経路がトランザクションに入ることと、`DailyReportDb` の `execute` を除く)。仕様は `docs/specs/2026.10.07 [AI] 03-search-specification.md`、README の **Text search** が今の振る舞いを述べる。
+
+あわせて 0.34.0 の続き: フォーカスを見える要素へだけ渡すことと状態の面のフォーカスの引き継ぎ、誤りの知らせの読み上げ (常設の警告の領域と繰り返しの数)、ストリームの読み上げの領域、コメントの削除の 404、`DailyReportErrorProvider` を必須にすること、デスクトップのビューの上端と内容の列の寄せの格子、側面ペインの読む面の取っておく高さ、DetailList の日時の見え方、行の導きの写し、サーバーのログのチャンネル、JSON の答えの弱い比較の 304 と 1 回の直列化、エンドポイントの表が宣言する上限、要求の中断で返るストリームの枠、公開面の閉包。どれも README の該当の節が今の振る舞いを述べる。
+
+### Fixed
+
+- **フォーカスは見える要素へだけ渡す**: 自分を外すか空になる操作部品 (2 つの再試行のボタン・誤りの知らせを閉じる操作・見出しの札の入れ物・本体へ入れ替わる状態の面) は、1 つの規則 (`focusVisibleSuccessor`) でフォーカスを渡し、受け取るのは文書の中にあってフォーカスでき、面積のある箱を持ち、`checkVisibility` (`visibility` と不透明度を含む) を通る要素だけで、渡った先を確かめる。
+  状態の面と札の入れ物は、フォーカスを持つ間は操作部品のフォーカスの輪を描く。状態の面がフォーカスを持ったまま本体へ入れ替わると、ページの引き継ぎ (`FocusHandOverContext`) を、ビューが行をマウントした最初の確定で受け取って Tab の止まり先の行 (空の一覧なら選ばれたビューのタブ) へ渡し、利用者の切り替えで作り直した状態の画面は新しい面へ渡す。札の入れ物はフォーカスを持ったまま空になると、ページの後継 (ビューの行、無ければ選ばれたビューのタブ) へ渡す。
+  以前は状態の面が輪を消したまま (`outline-none`) フォーカスを持ち、読み込みの失敗からキーで再試行するとフォーカスは毎回画面に出さない読み上げの領域 (1 × 1 の箱) へ渡り (行カーソルへ渡す枝は、ビューがその確定でまだ行を描かないので走らなかった)、札の入れ物はストリームが終わると 0 × 0 の箱でフォーカスを持った (WCAG 2.4.7)。
+- **誤りの知らせはフォーカスを body へ落とさない**: 知らせを閉じるときの返し先は、来た元・ビューの行カーソル・知らせを置いたダイアログ・選ばれたビューのタブ (行の無い一覧)・状態の面 (ビューがまだ無い) の順の、見える最初の要素。以前は来た元も行カーソルもダイアログも無いと (来た元の消えた空の一覧など) body へ落ち、状態の面がフォーカスを持つ間の利用者の切り替えもフォーカスを body へ落とした。
+- **コメントの削除の 404 も済んだものとみなす**: サーバーにもう無いコメントの削除 (404) は、巻き戻しも誤りの知らせもせず、コメントを外したままにする (日報の削除と同じ道)。404 を済んだと数えるのは対象を消す操作 (`delete`・`deleteComment`) だけで、その処理は 404 の意味 (`onGone`) を持たなければ型検査を通らず、ほかの操作の処理は持てない (`ActionCallbacks`)。以前はコメントを戻して誤りを知らせ、やり直しても毎回 404 になった。
+- **同じ失敗の繰り返しも読み上げ、知らせの移動では読み上げない**: 読み上げは、失敗より前から空のまま置いた常設の `role="alert"` の領域 (`[data-daily-report-notice-alert]`。プロバイダー自身のものと、登録された置き場ごとのもの) が受け持ち、失敗はそのとき前面にある置き場の領域へ、回の番号を鍵にした新しい文字として 1 回だけ書く。見える帯は文言を名前に持つ `role="group"` で、同じ文言の失敗が続くと回数を見せる (`labels.noticeRepeated`)。
+  以前は同じ文言の失敗が DOM を何も変えず (見えも読み上げもしない)、ポータルの置き場と流れの中の置き場が React の別の位置だったので、オーバーレイを開閉するたびに古い知らせを新しい `role="alert"` として差し込み直した (WCAG 4.1.3、2.2.4)。
+- **ストリームの読み上げの領域は移り変わりだけを知らせ、フォーカスを受けない**: ページの常設の状態の領域は空のままマウントし、マウントの後の変化 (再試行の後の読み込み中・再接続中・失敗) だけを知らせる。以前はマウントの時点で読み込み中の文字を持ったので最初の読み込みは読み上げられず、読む画面では見える状態の面と同じ文字を 2 度読ませた。
+- **ストリームの枠は要求の中断で返る**: 閲覧者のストリームの枠は、受け入れ (`createStreamSlots().admit`) が本体のシグナルに結び付け、受け入れた後のどの中断でもその時に 1 回だけ返る。以前の ids のストリームは中断の購読を応答を作るときに足したので、再開の GET が全量のクエリを待つ間に中断されると、枠はクエリの決着まで (中断の後に本体を引かないアダプターでは返らずに) 残り、そうした要求が 32 本重なると、その閲覧者の次のストリームは 503 になった。
+- **JSON の答えの 304 は弱い比較**: `jsonResponseWithETag` は `If-None-Match` の並びの各タグを `W/` を外して比べ (`*` は一致にしない)、添付の縮小画像と同じ 1 つの読み手 (`ifNoneMatchIncludes`) を使う。以前は字面の一致で比べたので、圧縮する中継 (gzip の nginx は転送する強い ETag を弱める) を通る 1 KiB 以上の答えは、再検証で 1 度も 304 にならなかった。
+- **デスクトップのビューの上端と面の縁も格子に乗る**: 内容の列の上と左右の寄せと原点は格子のブロックの刻み q (1/4 の倍数で 4 px、1/8 の奇数倍で 8 px) で、ビューの上の操作列 (設定したときは検索の行も) は高さを q へ切り上げる帯 (`VIEW_TOOLBAR_BAND_CLASS_NAME`) に入る。
+  以前は列の上の寄せが 4 px で、ホストの 32 px のヘッダーの下ではビューの上端が 68 px (8 で割って 4 余る) だったので、1/8 の奇数倍の画素密度 (1.125・1.375・2.625 など) ではビューの上端が装置の画素の半分ずれ、どの行の縁・選択の輪・アウトラインもそれを受け継いだ (1280 × 800・1.125 で操作列・ビュー・最初の面の上端が 40.5・76.5・85.5 装置画素。今は 45・81・90)。412 px 幅・2.625 の面の左の縁も 31.5 から 42 装置画素になった。
+- **側面ペインの読む面は読み込みの前後で高さを変えない**: 読み込み中の読む面は読む行 3 本分の高さを取っておき (`min-h-24`: 寄せ 12 × 2 + 24 px の行 × 3 = 96 px)、骨組みは 24 px の行の箱 3 本で、16 px の棒をそれが代わる文字の行の上に置く。以前の取っておく高さは 88 px、骨組みは 64 px (読む行 2.67 本分) で、3 行の日報は読み込むと 88 から 96 px へ伸び、骨組みの棒は文字の行より 4 px 上にあった。
+- **行の導きの写しはページのライブラリーに左右されない**: ids のストリームの publish から行を導くとき、変化の場所は前の行の値の読み取り (末尾に続く Δ 行なら Δ + 1 行、ほかの変化は 1 行ごとに二分探索) で決め、新しい行の配列は前もって確保した配列への 1 回の写しで作る (`concat`・`filter`・`slice` を使わない)。利用者の操作 (持つ・手放す・外す) も持つ行の表と二分探索で行の場所を決める。
+  以前の追加は `rows.concat(additions)` で、`concat` の速い経路はページ全体の保護 (`Symbol.isConcatSpreadable`) に依るので、ページのどこかのライブラリーが 1 度書くと (apache-arrow はプロトタイプに書く) publish ごとに全行を 1 件ずつたどった。Chromium 148 の 228,222 行で、保護が壊れた `concat` は中央値 51.6 ms、今の写しは 0.65 ms。値の置き換え・外す・手放すも行を写して絞り込み、日報の作成 1 回の SSE で約 13 ms、削除 1 回で 9〜10 ms を使った。
+
+### Changed
+
+- **`DailyReportDb` は `execute` を持つ** (公開の型の変更): 索引と検索の SQL を流すため。drizzle の `db` とトランザクションは持っているので、`db` をそのまま渡すホストは変更が要らない。手で書いた代役を渡すホストは `execute(query)` を足す。
+- **公開・削除・コメントの追加と削除はトランザクションの中で行う**: 索引を同じトランザクションで書くため。検索の設定が無くても同じで、変わるのはデッドロックの犠牲になったときに丸ごとやり直されることだけ。
+- **DetailList の日時は `YYYY-MM-DD HH:mm` で見せる** (既定の見た目): カードの作成日時のような ISO の日時は、日付・空白 1 つ・時と分で見せ (秒は丸めずに切る: `2026-12-31T23:59:59` は `2026-12-31 23:59`)、`<time datetime>` には ISO の値をそのまま残す。日付だけの値と日付の無い `-` はそのまま。規則は `DateText` の 1 か所で、見出しの札とメタデータの列 (と、それを使うどの呼び出し元) も同じ形で見せる。以前は `2025-10-17T14:20:00` のように `T` と、いつも `:00` の秒を見せた。
+- **サーバーのログの行はチャンネルを名乗る**: どの行も、書いた部分 (チャンネル) の接頭辞を持つ (`[DailyReportAPI]`・`[DailyReportSSE]`・`[DailyReportStreams]` など。ホストのロガーへ渡す行も同じ。`createChannelLogger`)。ホストのロガーはどのチャンネルのどの水準の行も受け取り、水準を自分で選ぶ。ホストのロガーが無ければ、チャンネルごとの既定の水準から console へ書く。
+  迂回のバケットの 429 は自分のチャンネル `[DailyReportRefresh]` (以前は `[DailyReportAPI]`)、`createDailyReportServer` の redis の警告は `[DailyReportServer]` (以前は `[DailyReport]`)、共有の SSE リーダーは `[DailyReportSseReader]` (以前は `[SSE Reader]`)、`transformJsonArray` は `[DailyReportExternalSource]` で書く。500 は文面と例外のオブジェクトを 1 回の呼び出しで書く 1 行 (以前は `Stack:` の 2 行目を別に書き、同時の要求の行と混ざった)。
+- **JSON の答えは 1 回だけ直列化する**: `jsonResponseWithETag` は本文の字面から ETag を作る (`etagOfText`)。以前は ETag のためと本文のために 2 回直列化した (622,349 バイトの答えで組み立て 5.41 ms のうち 0.78 ms)。
+- **エンドポイントの表は上限を宣言する**: API の経路の表 (`API_ENDPOINT_TABLE`。以前の `API_ENDPOINT_BODY_KINDS`) の行は、本体の種類と、閲覧者ごとのデータベースの仕事を縛る上限 (`admission`: `cache`・`refresh-bucket`・`stream-slots`・`search-limiter`。型で 1 つ以上) を持つ。上限を名乗らないエンドポイントは表に足せず、表を回す 1 つの spec が宣言した上限をハンドラーごとに確かめる。
+- **開発者向け**: 詳細の表示の欄の解決 (`resolveHubDisplayFields`) と投稿コメントの見え方 (`isSearchCommentVisible`) を、詳細と索引と照合の基準が共有する。営業日の一覧の取得は、ID でまとめた詳細と同じ 1 つの読み取り (`fetchVisibleHubDetails`) を使う。エンドポイントの名前は `shared/api-endpoints.ts` の表に `search` と `reports` を足した。
+  - 整数の設定と内部の上限はどれも 1 つの検証 (`requireIntegerSetting`) で読む: クライアントの読み込みの枠 (`createLoadSlotLimiter`)・進捗の記憶 (`createThumbnailProgressStore`)・検索の設定・件名の列の長さも。2^53 以上の値は拒む (以前の手書きの `Number.isInteger` は通した)。`src/integer-bounds.spec.ts` が手書きの整数の検証を例外の一覧なしに落とす。
+  - docstring の検査は、関数に加えて契約を述べる宣言の JSDoc (プロパティとメソッドのシグネチャ・列挙と項目・型の別名・インターフェース・クラス・関数でない公開の定数) にも英語と日本語の両方を求める (1 行の形 `English. 日本語。` も受ける)。本番のコードは違反 0。
+  - 検査のスクリプトと spec は、モノレポの根を 1 つの解決 (`scripts/lib/repository-root.mjs`: 自分のファイルから上の `pnpm-workspace.yaml` か `.git`、検証した `PROJECT_ROOT`) で見つけ、見つからなければパスを名乗って落ちる。決まった段数の `../../../.config` は使わない。
+  - 条件付き要求の読み手 `ifNoneMatchIncludes` は `src/server/attachment-delivery/http.ts` から `src/server/response.ts` へ移った (JSON の答えと添付の縮小画像が共有する)。
+  - `src/docs-examples.spec.ts` は、仕様書が引用する名前を探すとき、分割代入で受ける名前 (動的な読み込みの答えを含む) も数える。
+
+### Added
+
+- **文字の検索**: 検索窓 (操作列の下の 2 段目。AND/OR の切り替え・入力欄・消去のボタン・状態の行) で、空白で区切ったキーワード (二重引用符の組はそのすべての語を含む 1 つのキーワード) を探す。語は、閲覧者が読める 1 つの欄か 1 つのコメントの、fuzzy-search の既定の正規化をかけた文字の部分文字列として当たる。認可は詳細と同じ (削除した日報・ほかの利用者の下書き・見えない区分を出さず、コメントは区分の範囲か自分の投稿だけ)。
+- **索引**: 専用のスキーマの 2 つの派生の表 (`DailyReportSearchDocument`・`DailyReportSearchComment`。`defineDailyReportSearchSchema`)。作成・更新・公開・削除・コメントの追加と削除の 6 つの経路は、元の表の書き込みと同じトランザクションの中で日報の行に鍵を取ってから索引を書き直し、書けなければ保存も失敗する。パッケージの外の書き込みの後は `service.reconcileSearchIndex` (区切りごとのトランザクション) で突き合わせる。
+- **要求**: `GET {apiBasePath}/search?q=&combine=intersection|union` (列ごとの答え・ETag・400 の理由・閲覧者ごとの回数とプロセスの同時数の 429) と `GET {apiBasePath}/reports?ids=` (ID でまとめた詳細、100 件まで)。設定が無ければどちらも 404。
+- **画面**: 答えを見せている間は答えの順で一覧を置き換え、見出しは当たりの件数、行は詳細を ID でまとめて読む。保存・SSE の日報とコメントの知らせ・落ち着いた ID の列の変化で、約 1 秒後に静かに送り直す (`If-None-Match`)。選択は答えに残れば保ち、消えたら一番近い日報へ移り、解除で検索の前へ戻る。検索中の作成は検索を解除してから作る。
+- **公開の名前**: server エントリの `defineDailyReportSearchSchema` と型 `DailyReportSearchConfig` / `DailyReportSearchSourceTextReader` / `DailyReportSearchTables` / `DailyReportSearchReconcileOptions` / `DailyReportSearchReconcileProgress` / `DailyReportSearchReconcileSummary`。サービスの `searchLimits` / `searchDailyReports` / `getDailyReportDetailsByIdsByExternalId` / `reconcileSearchIndex`。プロバイダーの状態の `searchInvalidation` / `isReportRemoved` / `removedVersion`。
+- **ラベル 12 個** (固有キーは 85 から 97): `searchInputLabel`・`searchPlaceholder`・`searchCombineAnd`・`searchCombineOr`・`searchCombineAndTitle`・`searchCombineOrTitle`・`searchClear`・`searching`・`searchNoHits`・`searchSyntaxHelp` と、整形関数の `searchHitCount(count)`・`searchFailed(failure)`。
+- **公開面の閉包**: 公開した宣言が参照するパッケージ自身の型は、どれもいずれかの入口から公開する (API Extractor の `ae-forgotten-export` と同じ規則。`src/public-surface.spec.ts` が 3 つの入口の宣言の出力をたどって確かめる)。ホストは自分が渡すか受け取る型 (ポート・props・フックの値) を形を書き写さずに名前で読める。
+  共有エントリ: `DailyReportActionResultReading`・`DailyReportAttachmentState`・`DailyReportBusinessDateInput`・`DailyReportUIComment`・`DailyReportIdsStreamCursor`・`DailyReportSseTerminalEvent`・`DailyReportLogger`・`DAILY_REPORT_SEARCH_COMBINES`・`DailyReportSearchCombine`・`DailyReportSearchHit`。
+  client: 部品の props (`DailyReportPageProps`・`DailyReportResolvedContentProps`・`DailyReportListProps`・`DailyReportDetailListProps`・`DailyReportDetailListScrollRestore`・`DailyReportAttachmentIndicatorProps`)、設定 (`DailyReportClientConfig`・`DailyReportHeaderProps`・`DailyReportSearchSetting`・`DailyReportSearchSettingInput`)、アクションのコンテキスト (`DailyReportActionContextType`・`DailyReportActions`・`DailyReportActionFunctions`・`DailyReportActionLedgers`・`DailyReportActionState`・`DailyReportActionBusinessDate`)、
+  `DailyReportDetailResource`・`UseDailyReportSseConnectionOptions`・`DailyReportListNavigationHandle`・ids のストリーム (`DailyReportIdsStreamState`・`DailyReportIdsStreamPhase`・`DailyReportIdsStreamClientOptions`・`DailyReportIdsStreamItemsChange`・`DailyReportIdsStreamItemReplacement`)・`DailyReportSearchFailure`。
+  server: `DailyReportService`・`DailyReportEpochStore`・`DailyReportSqlResultCacheQueryOptions`・`DailyReportExternalSource`・`DailyReportSseReaderConfig`・`DailyReportVisibleSourceTypeSet`・`DailyReportResourceRouteArgs`、ポートの型 (`DailyReportResolveUserId`・`DailyReportEncodeUserId`・`DailyReportResolveVisibleSourceTypes`・`DailyReportVisibleSourceTypes`・`DailyReportVisibilityDimensions`・`DailyReportVisibilityResolveContext`・`DailyReportVisibilityResolveReason`・`DailyReportRedisClient`・`DailyReportRedisBlockingClient`・`DailyReportRedisStreamMessage`・`DailyReportSseEntryMessage`)、
+  表と行 (`DailyReportHubTable`・`DailyReportInternalTable`・`DailyReportCommentTable`・`DailyReportLabelTable`・`DailyReportHubLabelTable`・`DailyReportUserStatusTable`・`DailyReportUserTable`・`DailyReportAttachmentTable`・`DailyReportHubRow`・`DailyReportInternalRow`・`DailyReportUserStatusRow`・`DailyReportIdsSource`)、`DailyReportDb` の部品 (`DailyReportDbRows`・`DailyReportDbSelectChain`・`DailyReportDbInsertChain`・`DailyReportDbUpdateChain`・`DailyReportDbDeleteChain`)、
+  添付 (`DailyReportAttachmentThumbnailDelivery`・`DailyReportAttachmentBytes`・`DailyReportAttachmentThumbnailError`・`DailyReportAttachmentThumbnailFailure`・`DailyReportSharpPipelineLike`・`DailyReportSharpHeaderLike`) と検索 (`DailyReportSearchDocumentTable`・`DailyReportSearchCommentTable`・`DailyReportSearchSqlExecutor`・`DailyReportSearchPlan`・`DailyReportSearchSet`・`DailyReportSearchWord`)。
+- client の `DAILY_REPORT_LATTICE_BLOCK_QUANTUM_CLASS_NAME`: 装置の画素の格子のブロックの刻み q をカスタムプロパティ `--aqdr-lattice-block` で運ぶクラス (パッケージ自身の刻みのクラスそのもの)。ホストは文書の根に置き、自分のバー (ヘッダーとフッター) の高さを `round(up, <大きさ>, var(--aqdr-lattice-block))` で切り上げる。1/8 の奇数倍の画素密度では 4 px (`DAILY_REPORT_LAYOUT_LATTICE_PX`) が装置の画素の半分なので、単位だけでは格子を外れる。
+- **ラベル `noticeRepeated(count)`** (固有キーは 98): 同じ文言の失敗が続いたときに知らせの文言の横に見せる回数 (en `(2 times)`、ja `(2 回目)`)。
+- **ID でまとめた詳細 (`reports`) の受け入れ**: 検索と同じ工場から作る自分の受け入れを持つ。同時数は検索の `concurrency` の 2 倍 (`REPORTS_CONCURRENCY_PER_SEARCH_CONCURRENCY`。閲覧者 1 人の取り分は検索の `concurrency`) で、回数は閲覧者ごと 1 分に検索の `rateLimitPerMinute` の 10 倍 (`REPORTS_RATE_PER_SEARCH_RATE`。検索のバケットと分け合わない)。超えた要求は 429 (`Retry-After`) で、拒否の行は `route=reports` を名乗る。内部ユーザーを持たない閲覧者は受け入れもクエリも使わずに空の答え。
+
+### Breaking
+
+- **`DailyReportErrorProvider` は必須**: 通知の面はプロバイダーの外で黙って何もしない既定値を持たず、`DailyReportErrorProvider` の外で描いた `DailyReportActionProvider` と List のモバイルのオーバーレイは描画で `[daily-report] useDailyReportErrorSurface must be used within a DailyReportErrorProvider` を投げる (アクションのコンテキストのフックがプロバイダーの外で投げるのと同じ)。以前はプロバイダーの外の失敗を知らせずに捨てた。
+  Migration: `DailyReportPage` を使うホストは変更が要らない。`DailyReportActionProvider` を自分で組むホストは `DailyReportErrorProvider` で包む (README が以前から求めていた組み方)。
+- **ホストのロガーへ渡す行は接頭辞を持ち、どの水準も届く** (上の Changed): ホストのロガーは、以前は接頭辞の無い行を、チャンネルの既定の水準を通ったものだけ受けた。今はどの行も `[DailyReport<チャンネル>]` で始まり (文字列でない文面は接頭辞を別の最初の引数として)、debug を含むどの水準も届く。500 は 1 行で、例外のオブジェクトを 2 番目の引数で受ける。
+  Migration: 行の字面を照合するホストの記録や警報は、接頭辞の付いた行に合わせる (迂回のバケットの 429 は `[DailyReportRefresh]`)。水準を選ぶのはホストのロガー。
+- **`deleteReport` は失敗で拒否する**: 削除の失敗は、日報を一覧へ戻した後に失敗を返す (誤りの知らせも出す)。以前は `@throws` を書きながら解決したので、呼び出し側は削除が済んだものとしてフォーカスを渡した。利用者の切り替えの後に解決した継続は巻き戻さずに解決する。
+  側面ペインの削除のボタンは拒否を受けて `labels.deleteFailed` の `alert()` を出し (誤りの知らせと並ぶ)、日報が消えたものとしてフォーカスを渡さない。DetailList の削除のボタンは受けて何もしない。
+  Migration: アクションのコンテキストの `deleteReport` を自分で呼ぶホストは拒否を受ける (`catch` する)。
+
 ## 0.34.0 (2026-10-07)
 
 0.33.0 の続き: コメントの作者を ID で決めること、誤りの知らせを時間で消さず何も覆わない流れの中に置くことと、モバイルのオーバーレイの中に描くこと、自分を外す再試行ボタンのフォーカスとストリームの状態の読み上げ、端の行の `Home` / `End`、照合用 ID の衝突と消えた日報の削除、期限のある台帳と操作ごとの錠、1/8 の倍数の画素密度の装置の画素の格子、action と API のワイヤの契約の公開と ID の 1 つの定義域、キャッシュを迂回する読み取りの合わせ方と上限、閲覧者ごとのストリームの枠、JSON の応答の記録、対を持たないサロゲートのファイル名。どれも README の該当の節が今の振る舞いを述べる。