kiokuko-dsh 0.2.40 → 0.2.42

package/docs/lisp.md

@@ -10,7 +10,7 @@ For explicit semantic decisions and `/kioku-typesafe-key` setup, see
 [TypeSafe from Lisp](typesafe.md). Answers can guide inspection and proposals;
 the existing permission and approval boundaries still apply.
 
-The default is `lisp.executionMode: development`. Old `approvalMode` values remain readable. Set `executionMode: protected` explicitly to select the legacy worker/approval/fence behavior. See [owned execution and memory evidence](owned-execution.md).
+The default is `lisp.executionMode: development`. Old `approvalMode` values remain readable. Set `executionMode: protected` explicitly to select the additional approval and tool-fence policy. See [owned execution and memory evidence](owned-execution.md).
 
 ## Task state at execution boundaries
 
@@ -87,9 +87,43 @@ Session disposal also stops its workers. Normal suspension appears as `SUSPENDED
 retains protection and resumes automatically on the next use; status polling never
 starts a worker. Variables, definitions and references are lost on restart; the
 agent receives the new generation and must rebuild helpers without replaying
-completed effects. Crashes and explicit cancellation still require human recovery.
-
-One canonical repository has one runtime owner and one persistent supervisor/SBCL,
+completed effects. A clean host restart or an exited idle child resumes on the next
+admitted request after confirmed process termination and journal reconciliation.
+Fault replacements are limited to two per owner in 60 seconds. Explicit cancellation,
+unresolved effects, unconfirmed termination and exhausted restart limits require recovery.
+
+Kiokuko owns a local master–worker hierarchy: `LispManager` binds requests and their
+existing operation journals; `LispSupervisor` owns shared capacity, compiled startup,
+isolation probes and confirmed release for persistent and disposable children;
+`LispWorker` owns one RPC evaluation slot and reports process failures immediately.
+The external `supervisor.mjs` retains OS process ownership and stops descendants when
+the host pipe closes. Local process events and bounded RPC deadlines provide liveness
+signals; no network heartbeat, separate task router or recovery daemon is involved.
+Restarting replaces a process generation, never a journaled operation. A worker whose
+termination is uncertain continues to consume capacity.
+
+This separates durable work from execution, as in the
+[DeepSeek executor](https://github.com/deepseek-ai/dsh-superagent-prototype/blob/main/src/executor/dsh.ts),
+and uses bounded, per-child recovery following
+[OTP supervision](https://www.erlang.org/doc/system/sup_princ.html).
+It preserves the existing Kiokuko execution loop and DSH Agent/SessionEvent contracts.
+
+Routed child work sessions each own a persistent Lisp runtime, private heap,
+scratch directory and owner-bound result journal. The router supplies the task
+and receives the native child result; siblings do not inherit each other's
+variables, object references or task authority. Repeated model steps reuse the
+same worker generation. Completing/disposal of a child stops only its runtime.
+The session worker starts before the first child model request; startup failure
+prevents that request instead of silently selecting another execution route.
+Existing disposable child sessions are promoted on their next admitted request,
+and the saved session mode survives a host restart without replaying old code.
+
+These workers compute in private scratch without taking a repository-wide lease.
+Project reads, commands and changes still use the owning session's host adapters,
+native tool restrictions, permission checks and operation journal. Shared project
+files are not separate worktrees; callers must still coordinate conflicting edits.
+
+A standalone repository runtime has one owner and one persistent supervisor/SBCL,
 including across separate DSH databases and sessions. Git subdirectories and symlink
 aliases resolve to the same repository; separate worktrees retain their own root.
 The existing supervisor holds an OS-backed SQLite lease under the current user's
@@ -125,7 +159,7 @@ rejection and model abstention defer classification. Native adapters let the
 ordinary model infer advisory intent or ask a concrete clarification; they do not
 repeat the generic category dialog merely because the classifier abstained. Classification does not authorize implementation. For an explicit coding request the agent defines the Goal, implementation items and their observable criteria, then the host asks whether to use Lisp for that task. Both yes and no persist for the task and scope across restart. Conversation, review and plan-only requests do not trigger this prompt. Closing, free text without a clear choice or a disconnected question leaves implementation pending. Cancellation preserves the prepared work. A selected Lisp startup failure remains a recoverable blocker.
 
-Normal/Enno execution mode and Lisp choice are separate. The task question remains available when the Lisp module is disabled; no needs no Lisp runtime, while yes requires the enabled module and working SBCL. To explicitly change the current task's Lisp route or inspect its state, use these commands in the desired DSH session:
+Execution-mode selection and Lisp choice are separate. The task question remains available when the Lisp module is disabled; no needs no Lisp runtime, while yes requires the enabled module and working SBCL. To explicitly change the current task's Lisp route or inspect its state, use these commands in the desired DSH session:
 
 ```text
 /kioku-lisp enable
@@ -192,7 +226,7 @@ not the complete worker startup or the speed of an individual Lisp computation.
   copied into the worker's read-only inputs. Files from other sessions and arbitrary
   absolute paths are refused. The original attachment store stays inaccessible to
   Lisp and its subprocesses. Limits: 64 MiB per file, 256 MiB per worker generation.
-- Lisp/FFI/Python/shell use the normal user environment. Prefer owned tools and broker APIs for host-observed execution; direct arbitrary effects are not verification evidence.
+- Lisp/FFI runs inside OS isolation without workspace access or inherited credentials. Project file changes and external Python/shell commands cross the host tool boundary, which checks operation permissions and records the result.
 - Project proposals freeze targets, preserve backups and reject duplicate targets. Writes/edits are authorized; source/data deletion requires concrete confirmation. Generated/temp/disposable artifacts are routine development.
 - Refusal, skip, timeout, cancelled confirmation or unavailable UI means no change.
   File identities/content are checked again after approval. Links, directories,
@@ -271,8 +305,8 @@ The host serializes conflicting target proposals and checks their captured hashe
 
 ## Stop and recover
 
-The control beside the session input shows the Lisp state and opens a recovery view on a detected
-failure. It offers stop/recovery without needing a model response. The commands
+The control beside the session input shows the Lisp state. Selecting it opens the
+recovery view; failures do not repeatedly open a modal. It offers stop/recovery without needing a model response. The commands
 remain available when the AI loop is stopped:
 
 ```text
@@ -366,7 +400,7 @@ subprocesses use the same output limit and parent-liveness supervisor as workers
 Published bundles are limited to 256 MiB each. Concurrent first enables share one
 serialized build under the host's existing exclusive data-directory lease.
 
-Lisp workers and processes use the normal user environment and process groups for termination. kioku.process run/start-job use the owned execution service; directory defaults to the admitted workspace and may select a real subdirectory. Collect background results rather than rerunning commands.
+Lisp workers remain OS-isolated. Host processes launched through kioku.process run/start-job use the normal user environment and supervised process groups after the host permission check; directory defaults to the admitted workspace and may select a real subdirectory. Collect background results rather than rerunning commands.
 `python`, `shell`, `run-lines`, `python-stdout` and `shell-stdout` also accept
 `:directory`. The output-only helpers signal an error on process failure, so a
 composed operation stops before its next step. Use `run` when the function needs
@@ -571,6 +605,6 @@ Clean installation and platform status: [code intelligence setup](code-intellige
 ## Coding task choice and recovery
 
 For a new coding task, `coding_workflow` first defines and displays the Goal, implementation items and observable conditions. The host then asks whether to use Lisp. Configuration alone never implies yes; an explicit manual session ON is reused as the selected route.
-`startupDefaults.lisp` (default `ask`) only preselects the Lisp answer on the task-startup card, which stays editable; a saved answer still wins. The default never enables the module or satisfies a yes: a missing runtime or failed startup remains the same recoverable blocker. Closing the question leaves it pending and `coding_workflow next` reopens the same question. Explicit continuation after a host restart restores the task choice; a new task or material scope change asks again. A saved yes followed by startup failure remains a visible blocker; recover the runtime or explicitly change the task route with `/kioku-lisp disable`. No uses ordinary tools and still requires fresh item checks followed by a final user-entry Goal check. Lisp evaluation success alone is insufficient: bind `task_completion` and collect actual host process evidence. See [coding workflow](coding-workflow.md).
+`startupDefaults.lisp` (default `ask`) only preselects the Lisp answer on the task-startup card, which stays editable; a saved answer still wins. The default never enables the module or satisfies a yes: a missing runtime or failed startup remains the same recoverable blocker. Closing the question leaves it pending and `coding_workflow next` reopens the same question. The combined startup card reuses the chat choice after restart and on ordinary follow-ups. A different chat or repository asks separately; explicit Lisp commands still override the inherited choice. A saved yes followed by startup failure remains a visible blocker; recover the runtime or explicitly change the task route with `/kioku-lisp disable`. No uses ordinary tools and still requires fresh item checks followed by a final user-entry Goal check. Lisp evaluation success alone is insufficient: bind `task_completion` and collect actual host process evidence. See [coding workflow](coding-workflow.md).
 
 Live opt-in condition/restart recovery: see [bounded recovery](lisp-recovery.md).

package/docs/memory-application.md

@@ -1,6 +1,6 @@
 # 記憶の適用と検証
 
-DSHの通常実行とEnnoでは、配信した記憶のうち、検索理由から今回に関係すると判断された記憶について、採否と検証を追跡します。記憶取得は既存のホスト側intakeを使います。Codex用フックや別のAkinatorは追加しません。
+DSHの通常実行では、配信した記憶のうち、検索理由から今回に関係すると判断された記憶について、採否と検証を追跡します。記憶取得は既存のホスト側intakeを使います。Codex用フックや別のAkinatorは追加しません。
 
 ## 確認
 
@@ -24,19 +24,19 @@ DSHの通常実行とEnnoでは、配信した記憶のうち、検索理由か
 - `action: "review_batch"`：独立した採否を最大32件、1回で記録する。1件でも無効なら全件を取り消す。未処理が複数ある場合は、`status` で確認してからまとめて送る。
 - `action: "refresh"`：具体的なエラーや変更対象を使い、同じrunで検索を更新。既存のスコープ、能力判定、配信処理を通す。Coreのプロジェクト限定検索は限定したままにする。
 
-採用記憶があるコード変更では、検証コマンドも記録します。対応する証拠は、ネイティブのフォアグラウンド `Bash` / `bash`、またはEnnoの既存承認済みverifierです。Ennoでは、空白やシェル構文を含まない引数について、executableとargsを空白で結んだコマンドを使います。複雑な引数のverifierは実行できますが、この経路の証拠としては未対応です。どちらも作業開始ディレクトリがリポジトリルートである場合だけ対応します。新しい実行権限は付与しません。
+採用記憶があるコード変更では、検証コマンドも記録します。対応する証拠は、リポジトリ直下で実行したネイティブのフォアグラウンド `Bash` / `bash` です。新しい実行権限は付与しません。
 
 計画・コードレビューだけの依頼には実装テストを要求しません。不適用や矛盾の理由はモデルの申告として保持します。正当な過去スキーマfixtureの固定番号は、それだけでは禁止しません。
 
 ## 完了と失効
 
-採否が未処理でも、編集・実行の呼び出しは拒否しません。未処理の項目はrunを未完了のままに保ち、`task_memory_review` で解消するまで成功checkpointとEnnoの完了を拒否します。未処理のまま実行した呼び出しは、以前の実行証拠を失効させます。準備用の既知の読み取りツールと記憶操作は利用できます。シェル文字列を見て任意のコマンドを読み取り専用とは認定しません。
+採否が未処理でも、編集・実行の呼び出しは拒否しません。未処理の項目はrunを未完了のままに保ち、`task_memory_review` で解消するまで成功checkpointを拒否します。未処理のまま実行した呼び出しは、以前の実行証拠を失効させます。準備用の既知の読み取りツールと記憶操作は利用できます。シェル文字列を見て任意のコマンドを読み取り専用とは認定しません。
 
 採否・証拠はrun、配信世代、entry revision、review revisionに結び付けます。コマンドと結果はハッシュ、終了状態、対象ファイルの状態で保存し、完全な出力は保存しません。失敗、観測できたskip、background、結果不明、実行中、対象状態の変化は成功証拠になりません。同じコマンドの過去の成功で最新の失敗を隠しません。別runの証拠は利用できません。
 
 同じrunへの再配信で対象entryのrevisionと適用モードが変わらなければ、採否を維持します。新しいentryには採否が必要です。entryの改訂または適用モードの変更では採否の世代が進み、対象全件を再確認します。配信が変わると実行証拠は失効します。検索を狭めても、既に配信した記憶への対応は消えません。申告された関連パスの内容、追加・削除、別の変更操作も確認します。`paths: []` の不適用判断はファイル変更では失効せず、entryの改訂では失効します。パスの走査は申告された対象に限定し、最大2,048項目・16 MiBです。範囲外、symlink、上限超過は検証不能になります。
 
-未処理のまま成功checkpointやEnnoの完了を要求すると拒否します。通常実行のネイティブターンが終了した場合は `interrupted`、互換アダプターの成功終了は `failed` として記録し、自動継続は要求しません。失敗・中断・キャンセルは終了できます。
+未処理のまま成功checkpointを要求すると拒否します。通常実行のネイティブターンが終了した場合は `interrupted`、互換アダプターの成功終了は `failed` として記録し、自動継続は要求しません。失敗・中断・キャンセルは終了できます。
 
 migration 023を追加し、既存の記憶・配信・履歴を保持します。新しいネイティブadmissionから適用し、過去のrunを観測済みへ昇格させません。能力一覧は識別情報と説明文の予算を分離し、201件以上でも全識別情報が収まれば受理します。新しいcatalog digestはversion 3です。旧versionとの不一致は検出します。
 
@@ -49,4 +49,4 @@ migration 023を追加し、既存の記憶・配信・履歴を保持します
 - 未対応ホスト、無効化・未起動のプラグイン、intake以前に連携を通らない操作には制限をかけたとは表示しません。既に出力された完了文を取り消すこともできません。
 - プラグインの通常の登録・解除でツール、診断コマンド、イベントハンドラーを追加・解除します。外部のフック設定やユーザー設定は変更しません。訂正保存・候補承認は既存の記憶保存方針に従います。
 
-ソースの回帰テストでは次のmigration追加による失敗／成功、ネイティブツール境界、Enno verifier、再起動、revision、競合、失敗・skip・古い証拠、停止を確認します。パッケージ検査、インストール先への反映、起動中DSHの画面・実モデルでの確認は別の検証です。
+ソースの回帰テストでは次のmigration追加による失敗／成功、ネイティブツール境界、再起動、revision、競合、失敗・skip・古い証拠、停止を確認します。パッケージ検査、インストール先への反映、起動中DSHの画面・実モデルでの確認は別の検証です。

package/docs/memory-delivery.md

@@ -1,6 +1,6 @@
 # Memory delivery budgets and relations
 
-The default memory body budget is **16,000 Unicode code points**, not tokens or UTF-16 code units. Existing explicit character budgets take precedence, including continued requests and Enno refresh. Selection and ranking are unchanged. The title, summary and body projection consumes the body budget; JSON identity wrappers and relation metadata are separate. Each model-visible item carries `workspace` and `entryId`.
+The default memory body budget is **16,000 Unicode code points**, not tokens or UTF-16 code units. Existing explicit character budgets take precedence, including continued requests. Selection and ranking are unchanged. The title, summary and body projection consumes the body budget; JSON identity wrappers and relation metadata are separate. Each model-visible item carries `workspace` and `entryId`.
 
 `relationDelivery` describes stored `entry_links` among the final provided items. Its default budget is **8,000 Unicode code points of compact `JSON.stringify({relationDelivery})`**, including the outer property key and braces, and **128 edges**. Explicit `relationCharacterBudget` / `relationEdgeCap` options take precedence over `KIOKUKO_RELATION_CHARACTER_BUDGET` / `KIOKUKO_RELATION_EDGE_CAP`, then the defaults. Character limits must be integers from 1 to 100,000; edge caps from 1 to 1,024. A limit too small even for an omission frame is an explicit validation error.
 

package/docs/memory-reuse.md

@@ -74,7 +74,7 @@ scope・適用条件・秘密情報の検査と、判定前の候補集合に対
 
 TypeSafe は最大8候補、Nimble は1候補ずつ送ります。Noul でも候補ごとの3問を同じ part に収めます。同じ判定サービスを使う依頼間で、疎通確認を含め最大2要求を並行実行します。Nimble の token 上限はサーバーの判定に従い、バイト数を token 数とみなしません。個別の入力超過は未判定、通信・認証・形式エラーと全体期限切れは選別全体を既存検索に戻します。自動再試行は行わず、親タスクの取消を伝播します。権限・revision・整合性の不一致では停止します。
 
-通常の開始・継続、Core、共通 intake を使う Deep／Enno 開始に適用します。Enno 途中の記憶更新には追加せず、`remoteCalls: 0` を維持します。API 待機中に DB transaction を保持しません。除外候補を含めた検索状態を待機後に再検証します。
+通常の開始・継続、Core、共通 intake を使う Deep 開始に適用します。API 待機中に DB transaction を保持しません。除外候補を含めた検索状態を待機後に再検証します。
 
 同じ依頼・同じ入力の判定は保存済み履歴から再利用します。疎通確認の期限切れだけでは再課金しません。キー変更だけで同一入力を自動再試行することもありません。判定は元の記憶、信頼度、適用範囲を変更しません。新規の選別は `context-ranking-v9`、意味判定による除外は `semantic_not_applicable` として記録し、旧配信は従来どおり読めます。
 

package/docs/model-selection.ja.md

@@ -1,18 +1,17 @@
 # 実行方式とモデル構成
 
-新しい実装・変更、デバッグ、レビュー、運用作業では、DSHの質問画面で
-「通常実行」か「役小角を使う」を選びます。READMEの修正でも通常実行を
-選択できます。「役小角を使わずREADMEを修正」のように明示すると、利用選択を
-重ねて質問しません。雑談と、既存の役小角対象外の調査・文章作成では質問しません。
+新しい実装・変更、デバッグ、レビュー、運用作業では、DSHの受付（Akinator）後に
+「通常実行」で進めます。READMEの修正も同じ通常実行です。雑談や調査・文章作成は
+通常流れです。継続・再試行・再計画は同じ論理作業として引き継ぎます。
+取消・未回答では作業を保持し、再開の入力後に継続できます。
 
 通常実行は現在のDSHモデルで進みます。Kiokukoの記憶、適用されるSkill、
-DSHの権限判定、必要な検証を維持し、役小角の契約・WorkUnit・計画承認・
-自動継続を作りません。継続・再試行・再計画は同じ論理作業の選択を引き継ぎます。
-取消・未回答では作業を保持します。再開の入力後に選択を続けられ、最初の依頼も復元します。
+DSHの権限判定、必要な検証を維持します。別個の契約・WorkUnit・計画承認・
+自動継続は作りません。
 
 ## 通常実行のモデル自動選択
 
-Webプロファイルでは [Kiokuko Models](kiokuko-models.md) から接続を設定できます。DSH本体のModelsで設定する必要はありません。登録したモデルは、通常会話・Enno・Deepでネイティブ接続と併用できます。
+Webプロファイルでは [Kiokuko Models](kiokuko-models.md) から接続を設定できます。DSH本体のModelsで設定する必要はありません。登録したモデルは、通常会話・Deepでネイティブ接続と併用できます。
 
 通常版・modular coreとも `modelAutoMode.mode: off` が既定です。同じDSHプロファイルでKiokuko Modelsまたはdsh-codexからCodexを認証し、Jev・Laya・[OpenAI](typed-decisions.md#openai-credentials)のいずれかの判定を準備したうえで、まず `observe` で選択案を確認します。
 
@@ -36,7 +35,7 @@ modelAutoMode:
 
 新しい受付済みの通常タスクでは、現在の依頼文、タスク種別、添付の種類、経路IDと判定基準を選択中のJev・Laya・OpenAIへ送ります。この判定のために添付の内容、全履歴、リポジトリ全体は送信しません。Choice 1問の結果をrunに保存し、継続では同じ経路を使います。再起動時に判定結果が不明なら再送せず元のモデルを維持します。`observe`、棄権、probe失敗、metadata不足、非対応effort、timeout、入力超過でも元のモデルを維持します。取消、セッション同一性の不一致、保存の整合性エラーでは要求を止めます。認証・利用枠・モデル利用不可によるdispatch失敗を別モデルへ自動再送しません。
 
-状態表示では、設定・準備状態・選択案・適用したbindingと、nativeの `request/header` で確認した実モデルを区別します。初期候補は判定基準であり、品質・時間・利用枠の改善を保証しません。Enno、Deep、子、雑談、回答の再検討、保護されたLisp実行は既存の経路を使います。実装失敗後の自動昇格は初期版に含めません。
+状態表示では、設定・準備状態・選択案・適用したbindingと、nativeの `request/header` で確認した実モデルを区別します。初期候補は判定基準であり、品質・時間・利用枠の改善を保証しません。Deep、子、雑談、回答の再検討、保護されたLisp実行は既存の経路を使います。実装失敗後の自動昇格は初期版に含めません。
 
 ### モデル選択の評価と判定キャッシュ
 
@@ -55,123 +54,41 @@ npm run test:evaluation:model-routing -- --live --provider laya --config PATH
 
 `PATH` には `typedDecisions` と同じ形式のJSON設定ファイルを指定します。Jevには版を固定した `typesafe.model` と `TYPESAFE_API_KEY` が必要です。Layaは起動済みのworkerを使います。live実行は準備状態のprobeを含む判定リクエストを送りますが、生成タスクの開始や現在のセッションのモデル変更はしません。`--repetitions 1..10`（既定1）、`--seed UINT32`（既定0）、`--output PATH` で反復とJSON出力を指定できます。offlineの結果は評価経路の確認だけを表し、`quality: null` と表示します。liveの結果も固定ケースと現在の判定基準との一致を測るもので、実作業の品質、費用、providerのキャッシュ節約を証明しません。Laya v1では入力が完全に処理されたか確認できません。
 
-共有の判定サービスは、保存データから再取得できる完了済みの要求設定と結果を、それぞれ最大256件だけメモリに保持します。保存済みの判定は削除しません。通常実行、Ennoのレビュー、Lispの `kioku.decisions:*` が使う判定に適用されます。モデル自動選択とこの評価は通常実行が対象です。
+共有の判定サービスは、保存データから再取得できる完了済みの要求設定と結果を、それぞれ最大256件だけメモリに保持します。保存済みの判定は削除しません。通常実行とLispの `kioku.decisions:*` が使う判定に適用されます。モデル自動選択とこの評価は通常実行が対象です。
 
 選択カードでは数字キーで選び、Enterで送信できます。10番以上は数字を続けて入力します
 （例：`1`→`2`→`Enter`で12番）。Backspaceで番号を訂正できます。
 検索欄に入力中の数字は検索語として扱い、Enterで検索します。IME変換中のEnterや
 キーの長押しでは選択・送信しません。
 
-## おすすめテンプレート
-
-| グループ／テンプレート | enno-ideal・Zenki | Gokiヘッド | 子 | enno-check・振り返り |
-| --- | --- | --- | --- | --- |
-| OpenAI | `gpt-6-astra` | `gpt-6-sol` | `gpt-6-luna` | `gpt-6-astra` |
-| OpenAI Codex・推奨（dsh-codex） | `gpt-6-astra` | `gpt-6-sol` | `gpt-6-luna` | `gpt-6-astra` |
-| DeepSeek・V4.1 Flash | `deepseek-flash` | `deepseek-flash` | `deepseek-flash` | `deepseek-flash` |
-| OpenCode Go・DeepSeek V4.1 Flash | `deepseek-v4.1-flash` | `deepseek-v4.1-flash` | `deepseek-v4.1-flash` | `deepseek-v4.1-flash` |
-| OpenCode Go・GLM | `glm-5.3` | `glm-5.3` | `glm-5.3-flash` | `glm-5.3` |
-| OpenCode Go・Qwen | `qwen3.8-max` | `qwen3.8-max` | `qwen3.8-flash` | `qwen3.8-max` |
-| OpenCode Zen | `glm-5.3` | `glm-5.3` | `glm-5.3-flash` | `glm-5.3` |
-| OpenRouter・DeepSeek V4.1 Flash | `deepseek/deepseek-v4.1-flash` | `deepseek/deepseek-v4.1-flash` | `deepseek/deepseek-v4.1-flash` | `deepseek/deepseek-v4.1-flash` |
-| OpenRouter・GLM | `z-ai/glm-5.3` | `z-ai/glm-5.3` | `z-ai/glm-5.3-flash` | `z-ai/glm-5.3` |
-| OpenRouter・Qwen | `qwen/qwen3.8-max-0902` | `qwen/qwen3.8-max-0902` | `qwen/qwen3.8-flash` | `qwen/qwen3.8-max-0902` |
-| Ollama・ローカル標準 | `qwen3-coder:30b` | `qwen3-coder:30b` | `qwen3-coder:30b` | `qwen3-coder:30b` |
-
-これらは版1の構成候補です。適用時にDSHの登録モデルと正確なIDで照合します。
-表示名の部分一致による代用はありません。全テンプレートを表示し、適用可能、
-接続未設定、接続設定が不一致、一覧取得失敗、モデル不足、互換性の確認が必要、を区別します。
-
-DeepSeek系の推奨は全5役を **V4.1 Flash** に統一しています。IDは提供元ごとに、
-[DeepSeek公式API](https://www.deepseek.com/en/news/deepseek-v4-1-flash/)、
-[OpenCode Go](https://opencode.ai/docs/go/)、
-[OpenRouter](https://openrouter.ai/deepseek/deepseek-v4.1-flash)で確認しています。
-公式APIの専用テンプレートはDSHの`deepseek-official`接続を使います。
-V4.1 Flashが未登録の場合、V4 Proや旧FlashのIDには置き換えません。
-2026-09-11に[OpenCodeのモデル一覧](https://models.opencode.ai/api.json)も確認しています。
-`opencode-go`にはV4.1 Flashが掲載されていますが、Zenに相当する`opencode`にはありません。
-Zen・Ollamaで推奨テンプレートにないモデルを使う場合は、以下の登録済みモデル選択を使います。
-
-Kiokuko Modelsで追加したOpenCode接続はプラグイン所有の通信経路を使います。公式Zen/Goエンドポイントへのカスタム接続も、Chat Completions・Responses・Messagesのいずれでも会話ごとのルーティングを保ちます。DSH標準のprovider設定は変更しません。この経路を使う場合はKiokuko Modelsの接続を選択してください。
-
-[dsh-codex](https://github.com/askdkc/dsh-codex)を使う場合は、
-「おすすめテンプレートから選ぶ」→「OpenAI Codex・推奨（dsh-codex）」→
-「この構成で開始」の順に選びます。理想・計画・最終確認をAstra、実装の統括をSol、
-分担した実装をLunaに割り当て、判断の品質と実装量を配分する構成です。
-[OpenAIのモデルガイド](https://developers.openai.com/api/docs/models)を基にした推奨で、
-タスク別の速度・利用枠消費を実測して最適化したものではありません。
-
-このテンプレートはKiokuko ModelsのCodex接続にも対応し、Codex由来とResponses方式を確認して、安定した `kiokuko-…` 登録IDを保存します。ネイティブ接続は [dsh-codexの登録・接続実装](https://github.com/askdkc/dsh-codex/blob/e2e61b6d8f3b511cf2dac99688e97b8728cb122c/src/index.ts)
-に合わせて`openai-codex` / `codex` / `responses`を使用します。接続先や通信方式を
-重ねて質問せず、選択した構成に保存します。DSH本体のモデル検証を優先し、
-旧`modelRoutes`の値を再入力させません。プラグイン設定ファイルは変更しません。モデルはDSH経由の現在の登録一覧に存在する正確なIDだけを割り当て、
-開始直前にも再照合します。推奨モデルが不足している場合は自動代替せず、未設定の役割を表示します。
-
-テンプレートを選び、実際のDSH接続へ結び付け、役割別の構成を確認して開始します。
-汎用テンプレートは接続IDを固定しません。同名の接続やモデルもIDを併記して区別します。
-OpenAI APIとCodex認証、OpenCode GoとZenは別の接続として扱います。
-モデルを選ぶと、そのまま役割の構成確認に戻ります。接続先の種類・認証・通信方式は
-DSHの設定を使い、重ねて質問しません。Kiokukoは認証情報を取得・変更しません。
-
-モデル名から選ぶ場合は、**「DSHに設定済みのモデルから選ぶ」→役割を変更→接続を選択→
-モデル名で検索・選択→構成を確認して開始**と進みます。
-**OpenCode Go、OpenCode Zen、OpenRouter、Ollama**の登録済み接続を選べます。
-一覧は現在のDSHプロファイルから取得し、接続名・モデル名と正確なIDを表示します。
-接続が表示されない場合はDSHに登録し、「一覧を再取得」で更新してください。
-公開モデル一覧は推奨IDの参照元で、DSHへのモデル登録は行いません。
-公開一覧の`ollama-cloud`と、ローカルOllamaのインストール済みモデルは別の一覧です。
-自由入力による検索、ページ送り、他の役割からのコピーを使えます。
-テンプレート採用後の変更は「カスタム」と表示し、元テンプレートの
-IDと版を保持します。戻る・取消でも設定途中の構成は保持されます。
-未設定の役割ではenno-idealの接続を引き継ぎ、モデル選択から始まります。
-設定済みの役割ではその役割の接続を使います。別の接続を使う場合はモデル画面の
-「接続を変更」を選びます。引き継ぐ接続が未設定・登録解除済みなら接続選択を表示します。
-検索結果が空なら「検索をクリア」、一覧の取得に失敗したら「一覧を再取得」で復帰できます。
-数字の自由入力も検索語として扱います。戻る・取消の後も、確定済みのモデルを保持します。
-
-DeepとEnnoの選択肢には、macOSでは **Cmd+1〜9**、Windows/Linuxでは **Ctrl+1〜9**
-を表示します。選択後、Enterで確定します。カード内では数字だけでも選べ、
-10番以降は数字を続けて入力します。検索欄や予算欄に入力した数字は、そのままの値を使います。
-
-reasoningはモデルの既定値です。Ollamaを含む構成は子の同時実行数を1に制限し、
-モデルのダウンロードは行いません。カタログ登録は契約や利用枠の保証ではありません。
-認証・利用上限・モデル利用不可のエラーでは自動代替せず、次の要求に使う構成を
-再選択します。既に完了した編集やツール呼び出しは再実行しません。
-
-## 接続設定と互換性
-
-プロバイダー・モデルの正確なIDをDSHに渡し、DSH本体のアダプターで設定を検証します。
-テンプレートの対応付けとローカル接続の同時実行制限には、DSHの接続設定一覧を使います。
-追加の接続情報が取得できないプロバイダーでも、登録済みモデルの選択後に再質問しません。
-
-旧`modelRoutes`は、接続情報を公開しないプロバイダープラグインや旧ホスト向けの
-任意設定として引き続き読み込めます。現在のDSH接続情報を優先し、実際の認証・通信方式を
-上書きしません。DSH本体のモデル検証機能がない旧ホストでは、既存のAstra/Go設定に
-対する互換性確認を維持します。ローカル検証の成功は、契約・認証・実サービスへの
-通信成功を保証するものではありません。
-
-## 実行と復旧
-
-選択方式・構成・元テンプレートの版・通常会話モデルを論理作業に保存します。
-テンプレートの更新は進行中の構成を変更しません。親は公開されたエージェント単位の
-プロンプト組み立て／要求フックを使い、一つの要求で同じ構成を使います。
-Webの既定モデルを保存する `selectModel()` は使用しません。終了後は通常モデルへ戻します。
-
-Gokiは `enno_delegate` に `instruction` を渡せます。ホストが現在の承認済み
-WorkUnit・lease・構成を検証し、DSH内の `spawn` を使います。子は初回要求前に
-委譲と結び付けられ、子で役小角を開始したり孫を作ったりできません。
-初期版の子はWorkUnit内の変更をファイル操作で行い、コマンドと検証器の実行は
-Gokiヘッドが担当します。子の完了はWorkUnitの受理を意味しません。
-Gokiが結果を確認し、既存の `enno_work_report` で報告します。
-中断された委譲は不確定として保持し、同じ呼び出しを自動で再実行しません。
-子の同時実行数は保存済み状態から判定し、再起動で制限をリセットしません。
-子の要求とファイル操作の直前にも現在のleaseを検証します。プロセスの強制終了で
-委譲が実行中のまま残った場合は、その子の記録を確認するまで新たな委譲を制限します。
-
-既存の助言枠、最終検証、記憶確定、AgenticReplayの記録契約を維持します。
-実アカウントでの課金・契約・利用枠の試験は行っていません。
-native試験は親子のモデルIDと接続経路を検証し、プロバイダーでの実利用成功を保証しません。
-
-DSHの実装根拠は対応版の
-[モデル選択フック](https://github.com/deepseek-ai/deepseek-harness/blob/a66e4702047846cdaa10c66c9d3df3951f5ea70d/packages/core/agent/src/model-selection.ts)、
-[要求ループ](https://github.com/deepseek-ai/deepseek-harness/blob/a66e4702047846cdaa10c66c9d3df3951f5ea70d/packages/core/agent-loop/src/agent.ts)です。
+## ヘッド／ワーカー構成
+
+実行方式の質問では、現在のDSHモデル（`通常実行`）か、固定の
+**GPT-6.1-Sol ヘッド + DeepSeek V4.1 Flash サブエージェント**のペアを選べます。
+ペアは両方の正確なモデルIDを実登録一覧で検証した後に採用し、モデルの自動代替は行いません。
+ペアは論理作業ごと、またはセッションごとに保存され、実行中の構成を書き換えません。
+エージェント単位の組み立て／要求フックが一つの要求で同じ構成を使い、
+終了後は通常モデルへ戻します。
+
+OpenAIの割り当ては [OpenAIのモデルガイド](https://developers.openai.com/api/docs/models) に基づく
+**gpt-6.1-sol**（ヘッド）と **gpt-6.1-luna**／DeepSeek **V4.1 Flash**（サブエージェント）です。
+Codex接続では dsh-codex の登録IDを用います。プロバイダー・モデルの正確なIDを
+DSHに渡し、表示名の部分一致による代用はありません。
+
+DSHがプロバイダーの認証・通信・モデル検証を所有します。認証・利用枠・
+モデル利用不可のエラーでは自動代替せず、次の要求に使う構成を再選択します。
+
+## 保存と復旧
+
+選択方式・通常の接続・元テンプレートの版・通常会話モデルを論理作業に保存します。
+テンプレートの更新は進行中の構成を変更しません。Webの既定モデルを保存する
+`selectModel()` は使用しません。終了後は通常モデルへ戻します。
+
+実行所有権は1つの `mode` に固定され、別の実行系が同じセッションの所有権を
+奪う構成では競合として扱います。現行仕様に合わない保存済みの選択は、
+静かに読み替えず明示的な再選択を求めます。
+
+native試験は依頼の実行、取消・再読み込み、入力復元、独立セッション、
+ルーティング復帰、実際のアダプター経路を検証します。記録アダプターは
+プロバイダーでの実利用・課金・利用枠を保証しません。記憶確定と
+AgenticReplayの記録契約はこれまでどおりです。

package/docs/model-selection.md

@@ -1,19 +1,18 @@
 # Execution and model selection
 
-For each new build, debug, review or devops task, including README edits, choose
-**normal execution** or **役小角(enno-oduno)** in the native DSH question cards.
-An explicit instruction such as “without enno-oduno” avoids a duplicate mode
-question. Chat and existing non-Enno research/writing tasks keep their ordinary
-flow. Continuations, retries and replanning retain the logical task's choice.
-Cancel or skip preserves the request and draft configuration for resumption.
+For each new build, debug, review or devops task, including README edits, the host
+performs Akinator intake and runs normal execution. Chat and research/writing
+tasks keep their ordinary flow. Continuations, retries and replanning retain the
+logical task's identity. Cancel or skip preserves the request and any draft
+configuration for resumption.
 
 Normal execution uses the current DSH model, memory, applicable Skills, native
-permissions and focused verification. It creates no Enno contract, WorkUnit,
-plan approval or automatic Enno continuation.
+permissions and focused verification. It creates no separate contract, work-unit
+plan, plan approval or automatic continuation.
 
 ## Automatic model selection
 
-In Web profiles, [Kiokuko Models](kiokuko-models.md) manages connections without requiring DSH's Models settings. Its registered models are available to ordinary chat, Enno and Deep alongside native connections.
+In Web profiles, [Kiokuko Models](kiokuko-models.md) manages connections without requiring DSH's Models settings. Its registered models are available to ordinary chat and Deep alongside native connections.
 
 `modelAutoMode` is off by default in both the full plugin and modular core. To try it, authenticate Codex through Kiokuko Models or dsh-codex in the same DSH profile, configure a Jev, Laya or [OpenAI typed-decision backend](typed-decisions.md#openai-credentials), then use `observe` before enabling automatic routing:
 
@@ -28,16 +27,13 @@ modelAutoMode:
 /kioku-model-auto observe
 /kioku-model-auto status
 /kioku-model-auto on
-/kioku-model-auto off
 ```
 
-The command changes only the current native session. `on` also clears its manual model pin; a model selected in DSH's picker pins that session until `on` is run again. Changes apply at the next new task boundary, without changing a request already sent. `/kioku-decisions status` includes the same session projection. To reset session overrides after a configuration change, restart DSH; changing `modelAutoMode.mode` to `off` and restarting disables routing.
-
 The initial preset offers `gpt-6-luna` at low, medium and high effort, plus `gpt-6-sol` at high effort. Up to four exact route bindings can be configured under `modelAutoMode.routes`; each has an `id` from `luna-low`, `luna-medium`, `luna-high`, `sol-high`, and a `binding` with `provider`, `model`, and `reasoningEffort`. These are route labels, so a registered Astra or other GPT model may be assigned explicitly. No new model ID is guessed or substituted. A candidate must have a validated Codex origin and Responses protocol, live model context and modality metadata, supported efforts, call-config validation and token meter. Both native `openai-codex` and Kiokuko-owned Codex routes qualify; an arbitrary provider name or OpenAI API connection does not. Fewer than two valid bindings skips classification.
 
 For a new admitted normal task, Kiokuko sends the current task text, task type, attachment kinds, route IDs and rubric to the selected Jev, Laya or OpenAI backend. It does not send attachment bytes, full history or repository contents for this classification. One Choice result selects a route or abstains. The route is stored against the exact run and reused for continuations; an unknown in-flight decision after restart is retained without another classifier call. `observe` records a proposal but keeps the current model. A failed probe, missing metadata, unsupported effort, timeout, oversized input or abstention also keeps the current model. Cancellation, stale session identity and storage integrity failures stop the request. Dispatch authentication, quota and unavailable-model errors remain ordinary failures; no alternate model is retried automatically.
 
-The status distinguishes the configured mode, readiness, proposal and selected binding from the model observed in a native `request/header`. The initial preset is a rubric, not a claim that it improves quality, elapsed time or subscription usage. Enno, Deep, children, chat, review continuation and protected Lisp execution retain their existing owners. Automatic escalation after a failed implementation pass is not enabled.
+The status distinguishes the configured mode, readiness, proposal and selected binding from the model observed in a native `request/header`. The initial preset is a rubric, not a claim that it improves quality, elapsed time or subscription usage. Deep, children, chat, review continuation and protected Lisp execution retain their existing owners. Automatic escalation after a failed implementation pass is not enabled.
 
 ### Routing evaluation and decision cache
 
@@ -56,110 +52,45 @@ npm run test:evaluation:model-routing -- --live --provider laya --config PATH
 
 `PATH` is a JSON file in the `typedDecisions` configuration shape. Jev requires a versioned `typesafe.model` and `TYPESAFE_API_KEY`; Laya uses an already running worker. Live evaluation makes classifier requests, including a readiness probe, but never starts a generation turn or changes the active session model. Optional `--repetitions 1..10` (default 1), `--seed UINT32` (default 0), and `--output PATH` control repeatable JSON reporting. Offline output checks the evaluation pipeline and reports `quality: null`. Live results compare fixed cases with the current rubric; they do not establish model capability, real-work quality, cost, or provider cache savings. Laya v1 input completeness remains unverified.
 
-The shared decision service keeps at most 256 completed request bindings and 256 completed results in memory when it can reload them from persistent storage. It does not delete stored decisions. This applies to decisions used by normal execution, Enno review, and Lisp `kioku.decisions:*`; automatic model routing and this evaluation remain specific to normal execution.
-
-On Enno and Deep selection cards, use the displayed **Cmd+1–9** shortcuts on macOS
-or **Ctrl+1–9** on Windows/Linux, then press Enter to confirm. With the card
-focused, you can also type an option number and press Enter to submit. For options
-above nine, type consecutive digits (`1`, `2`, Enter selects option 12); Backspace
-corrects the number. Digits typed in the search field remain search text, and Enter
-submits the search. IME composition and repeated key events do not select or submit.
-
-Enno offers eleven versioned templates across **OpenAI, DeepSeek, OpenCode Go,
-OpenCode Zen, OpenRouter and Ollama**, plus a custom configured-model selector. The complete
-[template table and configuration reference](model-selection.ja.md) lists exact
-model IDs. OpenAI assigns Astra to ideal/Zenki/check, Sol to the Goki head and
-Luna to workers. Go and OpenRouter provide GLM and Qwen variants; Zen uses GLM.
-Ollama uses `qwen3-coder:30b` for every role, limits children to one, and never
-downloads models. Reasoning uses model defaults; reflection uses the check model.
-
-All DeepSeek recommendations use **V4.1 Flash for all five roles**. Exact IDs differ:
-`deepseek-flash` on [DeepSeek's API](https://www.deepseek.com/en/news/deepseek-v4-1-flash/),
-`deepseek-v4.1-flash` on [OpenCode Go](https://opencode.ai/docs/go/), and
-`deepseek/deepseek-v4.1-flash` on [OpenRouter](https://openrouter.ai/deepseek/deepseek-v4.1-flash).
-The direct DeepSeek template uses DSH's `deepseek-official` connection. These templates
-never substitute V4 Pro or an older Flash ID when V4.1 Flash is unavailable.
-The [OpenCode model registry](https://models.opencode.ai/api.json) was also checked
-on 2026-09-11. Its `opencode-go` entry includes V4.1 Flash; its Zen entry (`opencode`)
-does not. Registry entries can lag provider changes. Zen and Ollama
-use the configured-model selector for models without a verified template ID.
-
-OpenCode connections added in Kiokuko Models use the plugin's own transport. Custom connections to the official Zen/Go endpoints also retain conversation routing across Chat Completions, Responses and Messages. Native DSH provider profiles remain owned by DSH; select the Kiokuko Models connection to use this transport.
-
-For [dsh-codex](https://github.com/askdkc/dsh-codex), choose **OpenAI Codex・推奨（dsh-codex）**
-from the template menu, then confirm the configuration. It assigns Astra to
-ideal/planning/check, Sol to the Goki head and Luna to workers, following the
-[OpenAI model guide](https://developers.openai.com/api/docs/models). This is a
-quality/workload recommendation, not a measured per-task latency or quota optimum.
-The template also accepts a Kiokuko Models Codex connection with verified origin
-and Responses metadata, storing its stable `kiokuko-…` registration ID. The native
-route retains the `openai-codex` / `codex` / `responses` contract from
-[dsh-codex's implementation](https://github.com/askdkc/dsh-codex/blob/e2e61b6d8f3b511cf2dac99688e97b8728cb122c/src/index.ts)
-without asking for the connection again. Native DSH model validation takes
-precedence over legacy `modelRoutes` declarations; the plugin configuration file
-remains untouched. Recommended models must exist in the current DSH catalog;
-missing models leave roles unset and prevent starting. The catalog is rechecked
-immediately before adoption.
-
-Bind generic templates to actual configured DSH providers; route IDs are not assumed.
-Distinguish OpenAI API from Codex authentication and Go from Zen. The selector
-supports provider/model search, pagination, copying roles, editing, back and
-cancel. Exact IDs or declared aliases resolve models; similar display names
-never authorize substitutions. Edited templates are custom but retain their
-original template ID/version. Configuration confirmation shows every role's
-provider and model. Provider-catalog failure, missing routes/models and required
-compatibility verification have distinct presentations.
-Unset roles start with enno-ideal's provider and go straight to model selection;
-editing an assigned role keeps its own provider. Use “接続を変更” (change connection)
-on the model card to choose another provider. If the preferred provider is unset
-or no longer registered, the selector opens the provider list.
-Use “検索をクリア” to clear an empty search and “一覧を再取得” to retry a failed list.
-Free-text digits remain search terms. Selecting a model returns directly to role
-review. Provider family, authentication and protocol are taken from DSH rather
-than requested again. Back and cancel retain confirmed model assignments.
-
-To choose by model name, select **DSHに設定済みのモデルから選ぶ**, edit a role,
-select its connection, then search or select a model name and confirm the configuration.
-This works with configured **OpenCode Go, OpenCode Zen, OpenRouter and Ollama**
-connections. Every entry displays its name and exact ID; the same model on OpenRouter
-Each connection remains a distinct binding. Lists come from the current DSH profile.
-Register a missing connection in DSH and select **一覧を再取得** to refresh it.
-The public registry is a recommendation reference; it does not register models in
-DSH. Its `ollama-cloud` catalog is separate from a local Ollama installation.
-
-DSH owns provider authentication, transport and model validation. Kiokuko passes
-exact provider/model IDs to the native adapter and uses DSH's configurable-provider
-directory for template matching and local concurrency. Unknown provider metadata
-is not a reason to ask for connection details again. Authentication, quota and
-unavailable-model failures retain completed work and require reselection rather
-than automatic fallback.
-
-Optional legacy `modelRoutes` entries remain readable for older hosts and provider
-plugins without directory metadata. Current native metadata takes precedence;
-these entries never override DSH's wire settings. On hosts without native model
-validation, existing Astra/Go declarations retain their compatibility checks.
-Local validation and recording-adapter tests do not prove paid account access
-or provider acceptance of a request.
+The shared decision service keeps at most 256 completed request bindings and 256 completed results in memory when it can reload them from persistent storage. It does not delete stored decisions. This applies to decisions used by normal execution and Lisp `kioku.decisions:*`; automatic model routing and this evaluation remain specific to normal execution.
+
+Option question cards accept **Cmd+1–9** shortcuts on macOS or **Ctrl+1–9** on
+Windows/Linux, then Enter to confirm. With the card focused, typing an option
+number and pressing Enter also submits. For options above nine, type consecutive
+digits (`1`, `2`, Enter selects option 12); Backspace corrects the number. Digits
+typed into a search field remain search text, and Enter submits the search. IME
+composition and repeated key events do not select or submit.
+
+## Head/worker model pairs
+
+The native selection card offers the current DSH model (`通常実行`) or a fixed
+**GPT-6.1-Sol head + DeepSeek V4.1 Flash subagent** pair for the task. The pair is
+adopted only after live catalog validation of both exact model IDs; there is no
+automatic replacement. A pair is stored per logical run or per session and never
+rewrites an active task's resolved configuration. Agent-scoped assembly/request
+hooks freeze one selection per request and restore ordinary routing at
+completion.
+
+OpenAI assignments follow the [OpenAI model guide](https://developers.openai.com/api/docs/models):
+**gpt-6.1-sol** as the head and **gpt-6.1-luna**/DeepSeek **V4.1 Flash** as the
+worker, matching dsh-codex registration IDs when using a Codex connection. Exact
+provider/model IDs are passed to the native adapter; display names never
+authorize substitutions.
+
+DSH owns provider authentication, transport and model validation. Authentication,
+quota and unavailable-model failures retain completed work and require reselection
+rather than automatic fallback.
+
+## Persisted selection and recovery
 
 Resolved configuration and the ordinary model are persisted per logical run.
-Template updates do not rewrite active tasks. Agent-scoped assembly/request hooks
-freeze one selection per request and restore ordinary routing at completion;
-the Web `selectModel()` command and deployment defaults are not changed.
-
-`enno_delegate` accepts an `instruction` for the current approved WorkUnit. The
-host validates the lease, chooses the approved worker model and uses native
-in-process `spawn`. Children are bound before their first request and cannot
-restart intake, delegate or report parent acceptance. Initially workers use
-scoped file tools; Goki runs commands and focused verifiers and then reports with
-`enno_work_report`. Child completion is evidence, not WorkUnit acceptance.
-Interrupted delegations remain uncertain rather than being automatically replayed.
-Child concurrency is counted from durable state across restarts. Each child request
-and file operation rechecks the current lease. A hard process exit can leave a
-delegation marked as running; inspect its native child evidence before additional
-delegation. Restarting does not erase that reservation.
+The configured execution owner binds run ownership to one `mode` and rejects
+conflicting ownership rather than allowing a second task lane. A persisted
+selection that no longer matches current policy degrades to an explicit reselect
+prompt instead of being silently reinterpreted.
 
 Native tests cover request model IDs, ordinary README completion, cancel/reload,
 input recovery, independent sessions, routing restoration and actual adapter
 transport. Recording adapters do not verify paid account access, subscription
-limits or successful live provider responses. Existing advisors, leases, final
-verification, memory finalization and AgenticReplay behavior remain in place.
+limits or successful live provider responses. Memory finalization and
+AgenticReplay behavior remain in place.