Manage FeedManager

この skill は FeedManager の実装と配信状態を読み取りで調査するためのものだよ。feed の登録操作は Discord の /add だけで行い、Codex から API、CLI、raw D1 write、Discord /add の代替操作を実行しない。

Discord での登録手順

1. Discord で /add url:<URL> を実行する。
2. RSS、Atom、ICS、サイト固有の変換、HTML alternate feed が見つかれば、表示された feed の確認 UI で「登録する」を押す。
3. 通常の feed として取得できず、入力 URL が HTML Web ページなら、FeedManager が「この Web ページを新規登録しますか？」を表示する。
4. Web ページ登録を選ぶと、ページ内容の初期 version は既読として保存される。登録直後の既刊内容は通知されず、以後のページ内容の変更だけが AnyToSummary と Discord へ流れる。
5. 確認 UI が出ない場合は、入力 URL が HTML として取得できない、unsafe URL、サイズ超過、または別の feed 候補が選ばれた可能性を診断する。Codex から登録を迂回しない。

/add failure の確認

FeedManager リポジトリを読み取りで確認し、次の順に原因を切り分ける。