日本語 ・ English

外食・宿・イベントの「複数候補を仮押さえ → 直前に1つ確定 → 残りをキャンセル」という運用で起きる、 キャンセル忘れと余計なキャンセル料を防ぐ台帳。1件確定すると残りの候補が自動で「要キャンセル」になり、 キャンセル料が上がる境界の直前に損失額つきで通知が届く。plan + cancel。

deno task seed        # デモデータ投入
deno task scenario    # E2E: 確定 → 3日進める → 通知列挙 を1コマンドで体験
deno task test        # 768 tests — 外部サービス接続ゼロで完結
deno task verify      # fmt + check + lint + test + replay を一括実行

確定済み予約の管理なら既存ツールで十分。plancel が埋めるのは、候補が複数ある間：

• 🔀 排他的な候補グループ（Plan） — 1件確定した瞬間、残りが自動で to_cancel に遷移。この自動遷移がコア動作。
• 💸 段階的キャンセル料をデータで持つ — 「5日前まで無料→3日前まで30%→当日100%」のような任意の段階を配列で保持（プリセット固定ではない。境界は1時間単位・最大8段。モデルと期限/損失計算は src/web/policy.ts が単一ソースで、台帳・LINE要約・カレンダー説明・Web UIが同じ段階表を読む）。料率が上がる境界の24時間前に「今なら無料 / 明日から ¥5,400 の損」と具体額で通知。
• 🗓 規定の入力が1操作 — Web UI のキャンセル料は「不明 / いつでも無料 / 前日まで無料 / 期限つき（日数で指定）」の4択。「期限つき」で無料キャンセル期限を日数（5・10・14…）で打ち、必要なら「3日前まで30%」の段階を足すだけ。プリセットに一致する内容はプリセット名で保存するので既存データと互換。同じ施設への次の予約は、保存しておいた施設の既定規定（施設ごとに覚えたキャンセル規定）が自動で入る。
• 🤷 ポリシー不明でも登録できる — インサート摩擦を最小化。不明分は日次ダイジェストで後追い入力を促す。
• 🔍 なぜこの状態かを常に説明できる — core台帳は追記型イベントログ + caused_by 因果チェーンで物理削除なし。台帳は認証・共有・カレンダー連携向けの別モデル。

coreとadapterを分離し、Web / LINE / MCPから利用する。非決定性の源（時刻・外部送信・LLM）はすべて注入可能な抽象の背後に隔離し、コアはローカルで決定的にテストできる。

仕様: specs/ ・ 設計判断（ADR）: docs/SDD.md ・ ロードマップ: ROADMAP.md

• ランタイム: Deno 2.9（TypeScript・unstable-temporal / unstable-kv）
• 検証: Zod（全エンティティ単一ソース、MCP 入力・パーサー出力・Store 境界を同一スキーマで検証）
• ストア: Deno KV（追記型イベントログ + 導出キャッシュ。Store 抽象で SQLite に差し替え可）
• 入口: Claude MCP（@modelcontextprotocol/sdk）＋ LINE Bot webhook（2026-07-26 本番開通・署名検証まで実機確認済み）
• テスト: deno test 690件 + 契約テスト（Store 2実装共通）+ E2E シナリオ + パース回帰リプレイ

claude mcp add plancel -- deno run --allow-env --allow-read --allow-write --unstable-temporal --unstable-kv /path/to/plancel/src/mcp/main.ts

あとは会話で「7/12 19時に◯◯を仮予約、前日まで無料」「◯◯に決めた」と伝えるだけ。

MVP-1（L0〜L3）＋パーサー基盤（L4）＋ L5（実 LLM / LINE / Email）を実装済み。Deno Deploy では Web UI・認証・共有・Google Calendar・remote MCP用Web API・LINE webhook のコードが稼働中です。Web UIはPWA対応済みで、マイページから明示的にインストールでき、更新確認・新バージョン適用も画面から行えます。文字サイズは標準 / 大きめ / 特大の3段階（画面右上の「A」ボタンまたはマイページ）から選べ、この端末のブラウザにだけ保存されます。LINE はユーザー毎の連携（マイページで8文字・10分間有効の連携コードを発行し、LINEのトークに送ると紐づく。POST /auth/line/code / DELETE /auth/line）で、コア台帳と台帳双方の期限通知、台帳の「確認」（確認/予定/一覧）・「限定更新」（Quick Replyで確定／キャンセル済み）・「追加」（テキスト/画像の解析結果を候補登録）まで実装済みです。期限リマインドも LINE コマンドも、送信者本人の台帳だけを対象にします（未連携のトークには連携案内を返すだけ）。台帳の操作はWeb APIと同じ関数を通るため、同一Plan候補の原子的な確定・自動to_cancelとカレンダー同期も同じ挙動になります。不正な再確定は拒否します。コア台帳（イベントソース）はstandalone/ローカル（src/line/main.ts単体・MCP local）モードで引き続き使用します。

予約は共有でき、招待した相手には viewer（閲覧のみ・既定）と editor（日時・金額・場所・規定などの内容編集も可）の2段階の権限を選べます。確定・キャンセル・削除・招待・権限変更はオーナー限定です。予約確認メールは貼り付けの代わりに転送するだけでも取り込めます（自分専用の p-<秘密>@<受信ドメイン> 宛て、送信元は信用せず宛先の秘密だけで本人と判定。転送だけは確認画面なしでそのまま候補になります）。同じころに無料キャンセル期限を迎える予約は、通知をユーザーごとに1通へ束ねて送ります。

本番で確認済みなのはLINE環境変数の反映、署名なしwebhookの401応答、LINE ConsoleのWebhook検証成功までです。LINE実機のテキスト/画像登録・Quick Reply、Resend実送信、Googleログインからのカレンダー同期、UIDログイン、remote MCP操作、cron継続稼働は PWAの本番端末インストール／更新確認とあわせて docs/VERIFICATION.md のdone-whenとして未完了です。

外部接続の環境変数: GROQ_API_KEY / GEMINI_API_KEY（パーサー）、LINE_CHANNEL_SECRET / LINE_CHANNEL_ACCESS_TOKEN、LINE_ALLOWED_USER_IDS（クローズドベータ用のゲート。公開アカウントでは空が正しい — 設定すると未連携の人が連携コードを送れなくなる。deno task line 単体モードのみ従来どおり必須）、RESEND_API_KEY（EmailNotifier、送信元/宛先はコンストラクタ注入）、 PLANCEL_INBOUND_DOMAIN / RESEND_WEBHOOK_SECRET（メール転送インテークの受信ドメインと Svix署名検証、詳細は docs/DEPLOY.md §3.1）。

フェーズ1は本人＋身内数名・予算0円（無料枠のみ）。公開・マネタイズはフェーズ2以降。