Rei-Automator Phase 0/1 実装 spec chat-Claude 回答

1. inventory を受けての 全体判断 (chat-Claude 引用)

2. 6 open questions への回答

3. 最重要 gap: 判断層 モデル抽象化 interface (superset + capability flags)

設計方針: 最小公倍数方式 でなく superset + capability flags (全 provider 機能の 和集合 + 各 provider 「自分に 何ができるか」 宣言)。 最小公倍数だと vision + tool calling 使えず Rei-Automator 中核 死ぬ。

3.1 TypeScript interface 定義 (系統 A 想定)

export interface ModelCapabilities {
  toolCalling: boolean;
  parallelToolCalls: boolean;
  vision: boolean;
  structuredOutput: boolean;      // JSON schema ネイティブ強制
  streaming: boolean;
  maxContextTokens: number;
  maxOutputTokens: number;
}

export type ContentBlock =
  | { type: 'text';        text: string }
  | { type: 'image';       mimeType: string; data: string }   // base64
  | { type: 'tool_use';    id: string; name: string; input: unknown }
  | { type: 'tool_result'; toolUseId: string; content: string; isError?: boolean };

export interface Message {
  role: 'user' | 'assistant';
  content: ContentBlock[];
}

export interface ToolSpec {
  name: string;
  description: string;
  inputSchema: object;            // JSON Schema
}

export interface ReasoningRequest {
  system?: string;
  messages: Message[];
  tools?: ToolSpec[];
  maxOutputTokens?: number;
  temperature?: number;
  responseSchema?: object;
  signal: AbortSignal;            // ★必須。 kill switch 実効性 依存
}

export interface ReasoningResponse {
  content: ContentBlock[];
  stopReason: 'end' | 'tool_use' | 'max_tokens' | 'aborted' | 'refusal';
  usage: { inputTokens: number; outputTokens: number };
  raw?: unknown;                  // 脱出ハッチ。 カーネル 絶対に読まない
}

export interface ReasoningProvider {
  readonly id: string;            // 'anthropic' | 'openai' | 'google' | 'local'
  readonly capabilities: ModelCapabilities;
  complete(req: ReasoningRequest): Promise<ReasoningResponse>;
  stream?(req: ReasoningRequest): AsyncIterable<StreamEvent>;
  countTokens?(req: ReasoningRequest): Promise<number>;
}

3.2 破ってはいけない 3 規則

3.3 Phase 1 完了条件

4. 安全層: Phase 0 in-scope の 3 件

4.1 Kill switch (最優先、 3 段階)

実装 要点:

• カーネル root に 単一 AbortController、 全 provider 呼び出し + 全 実行層操作 に signal 伝播
• 外部トリガー 3 経路: file watch (.rei-halt 出現) + シグナル (SIGINT/SIGTERM) + IPC。 UI が固まっていても 止められること が 要件
• abort 不可能な区間 明示 (ファイル削除・送信・購入・決済等)。 区間 直前に signal check checkpoint 必須

4.2 dryRun 明示 API

• 呼び出し側 { dryRun: true | false } を 必ず 明示 (default 依存禁止)
• dryRun 実行時 「実際 何が起きたはずか」 構造化 return (単なる skip でなく)
• dryRun と 実行 の 経路 分岐させない、 最終副作用点 だけで 分岐 (「dryRun 通るのに 本番落ちる」 antipattern 予防)

4.3 audit log 独立 store (append-only JSONL + hash chain)

{"ts":"...","actor":"...","action":"file_delete","target":"...","approved_by":"...","prev":"sha256:..."}

Phase 4 で 法人向け 出す時 後から遡って 作れない 種類 の データ。 今から 溜め始める 価値あり。

5. 残り 3 層への 指示 (Phase 1 では 着手しない)

6. Week 1 作業順 7 step

1. ReiAutomatorBridge を archive/ へ移動、 build 対象から 除外 (Q1)
2. LLM 呼び出し箇所 を 全て 洗い出し、 list 化
3. 上記 interface を 型定義 file として 先に 置く (実装なし、 型だけ)
4. 既存 呼び出しを 1 つだけ interface 経由に 置き換え、 動作確認
5. kill switch AbortController を カーネル root に 設置、 上記 1 箇所に signal 通す
6. 「abort 不可区間」 を DANGEROUS_PATTERNS から extract、 list 化
7. ライセンス方針 を 1 ページ で 文書化 (Q5)

7. chat-Claude 側の 未受領事項 (★ 本 site 反映で 解決可能)

8. Honest scope (譲れない線)