kiokuko-dsh 0.1.69 → 0.1.70

package/README.ja.md

@@ -102,6 +102,40 @@ Lisp を選ぶと、Lisp 用ツールで通常実行します。役小角を使
 削除・既存ファイルの置換はユーザーの確認後に実行します。
 [設定、API、停止・復旧方法](docs/lisp.md)を参照してください。
 
+## TypeSafe (Jev)
+
+Jev を自動の型付き判定に使えます。`~/.dsh/profiles/web/cordis.patch.yml` の既存の `kiokuko-dsh` 行に追加し、他の `config` 値は保持してください。
+
+```yaml
+- id: kiokuko-dsh
+  config:
+    typedDecisions:
+      mode: auto
+      provider: typesafe
+      typesafe:
+        model: jev-latest
+```
+
+APIキーは DSH の `~/.dsh/.credentials.yaml`（`DSH_HOME` を設定している場合は `$DSH_HOME/.credentials.yaml`）に書くか、`/kioku-typesafe-key YOUR_KEY` で保存します。既存の項目は残してください。
+
+```yaml
+version: 1
+refs:
+  TYPESAFE_API_KEY: YOUR_KEY
+```
+
+YAMLファイルを手動で作る場合は `chmod 600 ~/.dsh/.credentials.yaml` を実行してください（`DSH_HOME` を設定している場合はそのパスを使用）。
+
+プラグイン設定を変更したら DSH を再起動し、DSH のコマンド入力欄で確認します。
+
+```text
+/kioku-typesafe-key status
+/kioku-decisions probe
+/kioku-decisions status
+```
+
+`probe` は検査用のAPIリクエストを送ります。`status` は送信しません。保存したキーは `/kioku-typesafe-key clear` で削除できます。`/kioku-typesafe-key YOUR_KEY` の入力中はキーが画面に表示されます。詳しくは[型付き判定](docs/typed-decisions.md)と[Lispからの明示的な呼び出し](docs/typesafe.md)を参照してください。
+
 ## 過去の記憶を意味で選別
 
 TypeSafe または Nimble の利用確認が成功すると、既存検索の候補を今回の依頼に使えるか判定します。埋め込みは必須ではありません。`memoryReuse.mode: off` で停止できます。[設定・確認コマンド・評価方法](docs/memory-reuse.md)を参照してください。
@@ -110,4 +144,4 @@ TypeSafe または Nimble の利用確認が成功すると、既存検索の候
 
 ### 過去のツール出力の短縮
 
-[Semantic compaction](docs/semantic-compaction.md) は、通常・Enno・Lisp モードで、DSH の自動圧縮前に古いツール出力を選んで短縮します。既定値は `semanticCompaction: { mode: auto, budgetMs: 5000 }` です。利用可能と確認された型付き判定バックエンドと、対応するネイティブサービスが必要です。`/kioku-decisions status` で有効状態と直近の結果を確認できます。
+ObservationPack（既定値 `observationPack: { mode: auto }`）は、大きな正常終了のツール結果をモデルへ2回提示した後、抜粋と `observation_read` で原文を取得できる参照に置き換えます。[Semantic compaction](docs/semantic-compaction.md) は、TODOの完了境界でも前倒し判定を行い、通常・Enno・Lisp モードで、DSH の自動圧縮前に古いツール出力を選んで短縮します。既定値は `semanticCompaction: { mode: auto, preemptive: true, budgetMs: 5000 }` です。利用可能と確認された型付き判定バックエンドと、対応するネイティブサービスが必要です。`/kioku-decisions status` で有効状態と直近の結果を確認できます。

package/README.md

@@ -1,4 +1,3 @@
-
 # Kiokuko(記憶庫) DeepSeek Harness Plugin
 [日本語](README.ja.md) | [简体中文](README.zh-CN.md) | [한국어](README.ko.md)
 
@@ -104,7 +103,41 @@ if you want Enno. Free text is passed to the AI as a discussion or correction.
 Deletion and replacement of existing files require human confirmation.
 See [setup, APIs, limits and recovery](docs/lisp.md).
 
-[Provider-independent typed decisions](docs/typed-decisions.md) route Akinator, installed Skills, Zenki draft review and Lisp through configured TypeSafe or Nimble HTTP adapters.
+## TypeSafe (Jev)
+
+Kiokuko can use Jev for automatic typed decisions. Add this to the existing `kiokuko-dsh` row in `~/.dsh/profiles/web/cordis.patch.yml`, keeping its other `config` values:
+
+```yaml
+- id: kiokuko-dsh
+  config:
+    typedDecisions:
+      mode: auto
+      provider: typesafe
+      typesafe:
+        model: jev-latest
+```
+
+Set the API key in DSH's `~/.dsh/.credentials.yaml` (`$DSH_HOME/.credentials.yaml` if set), or use `/kioku-typesafe-key YOUR_KEY`. Keep any existing entries:
+
+```yaml
+version: 1
+refs:
+  TYPESAFE_API_KEY: YOUR_KEY
+```
+
+If creating the YAML file yourself, run `chmod 600 ~/.dsh/.credentials.yaml` (use `$DSH_HOME` if set).
+
+Reload DSH after changing the plugin configuration. In the DSH command UI, check the key and test the connection:
+
+```text
+/kioku-typesafe-key status
+/kioku-decisions probe
+/kioku-decisions status
+```
+
+`probe` sends a synthetic API request; `status` does not. `/kioku-typesafe-key clear` removes the stored key. Key input is visible when using `/kioku-typesafe-key YOUR_KEY`. See [typed decisions](docs/typed-decisions.md) and the [explicit Lisp API](docs/typesafe.md) for more.
+
+## Semantic memory reuse
 
 [Semantic memory reuse](docs/memory-reuse.md) checks existing retrieval candidates
 against the current request after a synthetic provider probe succeeds. Embeddings
@@ -112,10 +145,6 @@ are optional; `memoryReuse.mode: off` disables this additional selection.
 
 [Memory application and verification](docs/memory-application.md) records dispositions and host-observed regression evidence. Check the current native session with `/kioku-memory-application status` or `/kioku-memory-application status --json`.
 
-The compatibility [TypeSafe API](docs/typesafe.md) use `/kioku-typesafe-key` for
-DSH-managed credentials and `kioku.typesafe:evaluate` for explicit semantic
-questions. Lisp consumes the answers; file-change approval remains required.
-
 ### Semantic compaction
 
-[Semantic compaction](docs/semantic-compaction.md) selectively shortens old tool results before native automatic compaction in normal, Enno and Lisp modes. It defaults to `semanticCompaction: { mode: auto, budgetMs: 5000 }` and requires a ready typed-decision backend and supported native services. Inspect activation and the last outcome with `/kioku-decisions status`.
+ObservationPack (`observationPack: { mode: auto }`) preserves large successful native tool results for two model calls, then replaces them with excerpts and an `observation_read` handle. [Semantic compaction](docs/semantic-compaction.md) evaluates TODO completion boundaries and selectively shortens old tool results before native automatic compaction in normal, Enno and Lisp modes. It defaults to `semanticCompaction: { mode: auto, preemptive: true, budgetMs: 5000 }` and requires a ready typed-decision backend and supported native services. Inspect activation and the last outcome with `/kioku-decisions status`.

package/dist/akinator/memory-probe-types.d.ts

@@ -32,10 +32,10 @@ export declare const ProfileEvidenceSchema: z.ZodObject<{
 export type ProfileEvidenceRef = z.infer<typeof ProfileEvidenceSchema>;
 export declare const FieldResolutionSchema: z.ZodObject<{
     field: z.ZodEnum<{
+        target: "target";
+        taskType: "taskType";
         expected: "expected";
         constraints: "constraints";
-        taskType: "taskType";
-        target: "target";
     }>;
     decision: z.ZodEnum<{
         suggest: "suggest";
@@ -73,9 +73,9 @@ export declare const MemoryProbeResultSchema: z.ZodObject<{
         resolve: "resolve";
     }>;
     status: z.ZodEnum<{
-        skipped: "skipped";
-        unavailable: "unavailable";
         complete: "complete";
+        unavailable: "unavailable";
+        skipped: "skipped";
         incomplete: "incomplete";
     }>;
     coverage: z.ZodEnum<{
@@ -84,10 +84,10 @@ export declare const MemoryProbeResultSchema: z.ZodObject<{
     }>;
     resolutions: z.ZodArray<z.ZodObject<{
         field: z.ZodEnum<{
+            target: "target";
+            taskType: "taskType";
             expected: "expected";
             constraints: "constraints";
-            taskType: "taskType";
-            target: "target";
         }>;
         decision: z.ZodEnum<{
             suggest: "suggest";

package/dist/context/continuity-view.d.ts

@@ -1,8 +1,8 @@
 import { z } from 'zod';
 export declare const ContinuityConfig: z.ZodObject<{
     mode: z.ZodDefault<z.ZodEnum<{
-        off: "off";
         active: "active";
+        off: "off";
         shadow: "shadow";
     }>>;
     maxSupplementBytes: z.ZodDefault<z.ZodNumber>;

package/dist/deep-thinker/core/contracts.d.ts

@@ -24,6 +24,7 @@ export type DeepBudget = z.infer<typeof DeepBudgetSchema>;
 export declare const DeepRouteSchema: z.ZodObject<{
     provider: z.ZodString;
     family: z.ZodEnum<{
+        other: "other";
         openai: "openai";
         deepseek: "deepseek";
         "opencode-go": "opencode-go";
@@ -31,12 +32,11 @@ export declare const DeepRouteSchema: z.ZodObject<{
         openrouter: "openrouter";
         orcarouter: "orcarouter";
         ollama: "ollama";
-        other: "other";
     }>;
     connection: z.ZodEnum<{
+        local: "local";
         api: "api";
         codex: "codex";
-        local: "local";
     }>;
     protocol: z.ZodEnum<{
         unknown: "unknown";
@@ -93,6 +93,7 @@ export declare const DeepConfigurationSchema: z.ZodObject<{
     routeBindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
         provider: z.ZodString;
         family: z.ZodEnum<{
+            other: "other";
             openai: "openai";
             deepseek: "deepseek";
             "opencode-go": "opencode-go";
@@ -100,12 +101,11 @@ export declare const DeepConfigurationSchema: z.ZodObject<{
             openrouter: "openrouter";
             orcarouter: "orcarouter";
             ollama: "ollama";
-            other: "other";
         }>;
         connection: z.ZodEnum<{
+            local: "local";
             api: "api";
             codex: "codex";
-            local: "local";
         }>;
         protocol: z.ZodEnum<{
             unknown: "unknown";
@@ -348,10 +348,10 @@ export declare const QualityReviewSchema: z.ZodObject<{
     kind: z.ZodLiteral<"quality-review">;
     action: z.ZodEnum<{
         unresolved: "unresolved";
+        replan: "replan";
         select: "select";
         repair: "repair";
         synthesize: "synthesize";
-        replan: "replan";
     }>;
     selectedCandidateId: z.ZodNullable<z.ZodString>;
     requirementIds: z.ZodArray<z.ZodString>;
@@ -365,8 +365,8 @@ export declare const QualityReviewSchema: z.ZodObject<{
         checkId: z.ZodString;
         verdict: z.ZodEnum<{
             unresolved: "unresolved";
-            supported: "supported";
             contradicted: "contradicted";
+            supported: "supported";
         }>;
         reason: z.ZodString;
         evidence: z.ZodArray<z.ZodObject<{
@@ -378,8 +378,8 @@ export declare const QualityReviewSchema: z.ZodObject<{
         checkId: z.ZodString;
         kind: z.ZodEnum<{
             unknown: "unknown";
-            agreement: "agreement";
             contradiction: "contradiction";
+            agreement: "agreement";
             complementary: "complementary";
         }>;
         reason: z.ZodString;
@@ -402,9 +402,9 @@ export declare const QualityReviewSchema: z.ZodObject<{
     }, z.core.$strict>>;
 }, z.core.$strict>;
 export declare const QualityPhaseSchema: z.ZodEnum<{
+    plan: "plan";
     repair: "repair";
     synthesize: "synthesize";
-    plan: "plan";
     "plan-review": "plan-review";
     "draft-a": "draft-a";
     "draft-b": "draft-b";
@@ -414,9 +414,9 @@ export declare const QualityPhaseSchema: z.ZodEnum<{
 }>;
 export declare const QualityNodeSchema: z.ZodObject<{
     phase: z.ZodEnum<{
+        plan: "plan";
         repair: "repair";
         synthesize: "synthesize";
-        plan: "plan";
         "plan-review": "plan-review";
         "draft-a": "draft-a";
         "draft-b": "draft-b";
@@ -501,10 +501,10 @@ export declare const QualityNodeSchema: z.ZodObject<{
         kind: z.ZodLiteral<"quality-review">;
         action: z.ZodEnum<{
             unresolved: "unresolved";
+            replan: "replan";
             select: "select";
             repair: "repair";
             synthesize: "synthesize";
-            replan: "replan";
         }>;
         selectedCandidateId: z.ZodNullable<z.ZodString>;
         requirementIds: z.ZodArray<z.ZodString>;
@@ -518,8 +518,8 @@ export declare const QualityNodeSchema: z.ZodObject<{
             checkId: z.ZodString;
             verdict: z.ZodEnum<{
                 unresolved: "unresolved";
-                supported: "supported";
                 contradicted: "contradicted";
+                supported: "supported";
             }>;
             reason: z.ZodString;
             evidence: z.ZodArray<z.ZodObject<{
@@ -531,8 +531,8 @@ export declare const QualityNodeSchema: z.ZodObject<{
             checkId: z.ZodString;
             kind: z.ZodEnum<{
                 unknown: "unknown";
-                agreement: "agreement";
                 contradiction: "contradiction";
+                agreement: "agreement";
                 complementary: "complementary";
             }>;
             reason: z.ZodString;
@@ -561,9 +561,9 @@ export type QualityReply = z.infer<typeof QualityPlanSchema> | z.infer<typeof Qu
 export declare const QualityJobSchema: z.ZodObject<{
     protocolVersion: z.ZodLiteral<2>;
     phase: z.ZodEnum<{
+        plan: "plan";
         repair: "repair";
         synthesize: "synthesize";
-        plan: "plan";
         "plan-review": "plan-review";
         "draft-a": "draft-a";
         "draft-b": "draft-b";
@@ -594,8 +594,8 @@ export declare const GoalNodeSchema: z.ZodObject<{
     replans: z.ZodNumber;
     status: z.ZodEnum<{
         superseded: "superseded";
-        ready: "ready";
         unresolved: "unresolved";
+        ready: "ready";
         accepted: "accepted";
         planning: "planning";
         "verifying-plan": "verifying-plan";
@@ -635,9 +635,9 @@ export declare const GoalNodeSchema: z.ZodObject<{
     reason: z.ZodString;
     quality: z.ZodOptional<z.ZodObject<{
         phase: z.ZodEnum<{
+            plan: "plan";
             repair: "repair";
             synthesize: "synthesize";
-            plan: "plan";
             "plan-review": "plan-review";
             "draft-a": "draft-a";
             "draft-b": "draft-b";
@@ -722,10 +722,10 @@ export declare const GoalNodeSchema: z.ZodObject<{
             kind: z.ZodLiteral<"quality-review">;
             action: z.ZodEnum<{
                 unresolved: "unresolved";
+                replan: "replan";
                 select: "select";
                 repair: "repair";
                 synthesize: "synthesize";
-                replan: "replan";
             }>;
             selectedCandidateId: z.ZodNullable<z.ZodString>;
             requirementIds: z.ZodArray<z.ZodString>;
@@ -739,8 +739,8 @@ export declare const GoalNodeSchema: z.ZodObject<{
                 checkId: z.ZodString;
                 verdict: z.ZodEnum<{
                     unresolved: "unresolved";
-                    supported: "supported";
                     contradicted: "contradicted";
+                    supported: "supported";
                 }>;
                 reason: z.ZodString;
                 evidence: z.ZodArray<z.ZodObject<{
@@ -752,8 +752,8 @@ export declare const GoalNodeSchema: z.ZodObject<{
                 checkId: z.ZodString;
                 kind: z.ZodEnum<{
                     unknown: "unknown";
-                    agreement: "agreement";
                     contradiction: "contradiction";
+                    agreement: "agreement";
                     complementary: "complementary";
                 }>;
                 reason: z.ZodString;
@@ -808,10 +808,10 @@ export declare const GoalNodeSchema: z.ZodObject<{
             kind: z.ZodLiteral<"quality-review">;
             action: z.ZodEnum<{
                 unresolved: "unresolved";
+                replan: "replan";
                 select: "select";
                 repair: "repair";
                 synthesize: "synthesize";
-                replan: "replan";
             }>;
             selectedCandidateId: z.ZodNullable<z.ZodString>;
             requirementIds: z.ZodArray<z.ZodString>;
@@ -825,8 +825,8 @@ export declare const GoalNodeSchema: z.ZodObject<{
                 checkId: z.ZodString;
                 verdict: z.ZodEnum<{
                     unresolved: "unresolved";
-                    supported: "supported";
                     contradicted: "contradicted";
+                    supported: "supported";
                 }>;
                 reason: z.ZodString;
                 evidence: z.ZodArray<z.ZodObject<{
@@ -838,8 +838,8 @@ export declare const GoalNodeSchema: z.ZodObject<{
                 checkId: z.ZodString;
                 kind: z.ZodEnum<{
                     unknown: "unknown";
-                    agreement: "agreement";
                     contradiction: "contradiction";
+                    agreement: "agreement";
                     complementary: "complementary";
                 }>;
                 reason: z.ZodString;
@@ -877,13 +877,13 @@ export declare const DeepStateSchema: z.ZodObject<{
     ownerId: z.ZodNullable<z.ZodString>;
     leaseUntil: z.ZodNumber;
     phase: z.ZodEnum<{
-        cancelled: "cancelled";
-        ready: "ready";
         failed: "failed";
+        cancelled: "cancelled";
         blocked: "blocked";
         answered: "answered";
-        running: "running";
+        ready: "ready";
         partial: "partial";
+        running: "running";
         paused: "paused";
     }>;
     task: z.ZodString;
@@ -938,6 +938,7 @@ export declare const DeepStateSchema: z.ZodObject<{
         routeBindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
             provider: z.ZodString;
             family: z.ZodEnum<{
+                other: "other";
                 openai: "openai";
                 deepseek: "deepseek";
                 "opencode-go": "opencode-go";
@@ -945,12 +946,11 @@ export declare const DeepStateSchema: z.ZodObject<{
                 openrouter: "openrouter";
                 orcarouter: "orcarouter";
                 ollama: "ollama";
-                other: "other";
             }>;
             connection: z.ZodEnum<{
+                local: "local";
                 api: "api";
                 codex: "codex";
-                local: "local";
             }>;
             protocol: z.ZodEnum<{
                 unknown: "unknown";
@@ -982,8 +982,8 @@ export declare const DeepStateSchema: z.ZodObject<{
         replans: z.ZodNumber;
         status: z.ZodEnum<{
             superseded: "superseded";
-            ready: "ready";
             unresolved: "unresolved";
+            ready: "ready";
             accepted: "accepted";
             planning: "planning";
             "verifying-plan": "verifying-plan";
@@ -1023,9 +1023,9 @@ export declare const DeepStateSchema: z.ZodObject<{
         reason: z.ZodString;
         quality: z.ZodOptional<z.ZodObject<{
             phase: z.ZodEnum<{
+                plan: "plan";
                 repair: "repair";
                 synthesize: "synthesize";
-                plan: "plan";
                 "plan-review": "plan-review";
                 "draft-a": "draft-a";
                 "draft-b": "draft-b";
@@ -1110,10 +1110,10 @@ export declare const DeepStateSchema: z.ZodObject<{
                 kind: z.ZodLiteral<"quality-review">;
                 action: z.ZodEnum<{
                     unresolved: "unresolved";
+                    replan: "replan";
                     select: "select";
                     repair: "repair";
                     synthesize: "synthesize";
-                    replan: "replan";
                 }>;
                 selectedCandidateId: z.ZodNullable<z.ZodString>;
                 requirementIds: z.ZodArray<z.ZodString>;
@@ -1127,8 +1127,8 @@ export declare const DeepStateSchema: z.ZodObject<{
                     checkId: z.ZodString;
                     verdict: z.ZodEnum<{
                         unresolved: "unresolved";
-                        supported: "supported";
                         contradicted: "contradicted";
+                        supported: "supported";
                     }>;
                     reason: z.ZodString;
                     evidence: z.ZodArray<z.ZodObject<{
@@ -1140,8 +1140,8 @@ export declare const DeepStateSchema: z.ZodObject<{
                     checkId: z.ZodString;
                     kind: z.ZodEnum<{
                         unknown: "unknown";
-                        agreement: "agreement";
                         contradiction: "contradiction";
+                        agreement: "agreement";
                         complementary: "complementary";
                     }>;
                     reason: z.ZodString;
@@ -1196,10 +1196,10 @@ export declare const DeepStateSchema: z.ZodObject<{
                 kind: z.ZodLiteral<"quality-review">;
                 action: z.ZodEnum<{
                     unresolved: "unresolved";
+                    replan: "replan";
                     select: "select";
                     repair: "repair";
                     synthesize: "synthesize";
-                    replan: "replan";
                 }>;
                 selectedCandidateId: z.ZodNullable<z.ZodString>;
                 requirementIds: z.ZodArray<z.ZodString>;
@@ -1213,8 +1213,8 @@ export declare const DeepStateSchema: z.ZodObject<{
                     checkId: z.ZodString;
                     verdict: z.ZodEnum<{
                         unresolved: "unresolved";
-                        supported: "supported";
                         contradicted: "contradicted";
+                        supported: "supported";
                     }>;
                     reason: z.ZodString;
                     evidence: z.ZodArray<z.ZodObject<{
@@ -1226,8 +1226,8 @@ export declare const DeepStateSchema: z.ZodObject<{
                     checkId: z.ZodString;
                     kind: z.ZodEnum<{
                         unknown: "unknown";
-                        agreement: "agreement";
                         contradiction: "contradiction";
+                        agreement: "agreement";
                         complementary: "complementary";
                     }>;
                     reason: z.ZodString;

package/dist/deep-thinker/memory-finalizer.d.ts

@@ -53,6 +53,7 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
         routeBindings: z.ZodDefault<z.ZodArray<z.ZodObject<{
             provider: z.ZodString;
             family: z.ZodEnum<{
+                other: "other";
                 openai: "openai";
                 deepseek: "deepseek";
                 "opencode-go": "opencode-go";
@@ -60,12 +61,11 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
                 openrouter: "openrouter";
                 orcarouter: "orcarouter";
                 ollama: "ollama";
-                other: "other";
             }>;
             connection: z.ZodEnum<{
+                local: "local";
                 api: "api";
                 codex: "codex";
-                local: "local";
             }>;
             protocol: z.ZodEnum<{
                 unknown: "unknown";
@@ -87,8 +87,8 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
             nodeId: z.ZodString;
             status: z.ZodEnum<{
                 superseded: "superseded";
-                ready: "ready";
                 unresolved: "unresolved";
+                ready: "ready";
                 accepted: "accepted";
                 planning: "planning";
                 "verifying-plan": "verifying-plan";
@@ -112,10 +112,10 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
                 kind: z.ZodLiteral<"quality-review">;
                 action: z.ZodEnum<{
                     unresolved: "unresolved";
+                    replan: "replan";
                     select: "select";
                     repair: "repair";
                     synthesize: "synthesize";
-                    replan: "replan";
                 }>;
                 selectedCandidateId: z.ZodNullable<z.ZodString>;
                 requirementIds: z.ZodArray<z.ZodString>;
@@ -129,8 +129,8 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
                     checkId: z.ZodString;
                     verdict: z.ZodEnum<{
                         unresolved: "unresolved";
-                        supported: "supported";
                         contradicted: "contradicted";
+                        supported: "supported";
                     }>;
                     reason: z.ZodString;
                     evidence: z.ZodArray<z.ZodObject<{
@@ -142,8 +142,8 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
                     checkId: z.ZodString;
                     kind: z.ZodEnum<{
                         unknown: "unknown";
-                        agreement: "agreement";
                         contradiction: "contradiction";
+                        agreement: "agreement";
                         complementary: "complementary";
                     }>;
                     reason: z.ZodString;
@@ -224,10 +224,10 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
                     kind: z.ZodLiteral<"quality-review">;
                     action: z.ZodEnum<{
                         unresolved: "unresolved";
+                        replan: "replan";
                         select: "select";
                         repair: "repair";
                         synthesize: "synthesize";
-                        replan: "replan";
                     }>;
                     selectedCandidateId: z.ZodNullable<z.ZodString>;
                     requirementIds: z.ZodArray<z.ZodString>;
@@ -241,8 +241,8 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
                         checkId: z.ZodString;
                         verdict: z.ZodEnum<{
                             unresolved: "unresolved";
-                            supported: "supported";
                             contradicted: "contradicted";
+                            supported: "supported";
                         }>;
                         reason: z.ZodString;
                         evidence: z.ZodArray<z.ZodObject<{
@@ -254,8 +254,8 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
                         checkId: z.ZodString;
                         kind: z.ZodEnum<{
                             unknown: "unknown";
-                            agreement: "agreement";
                             contradiction: "contradiction";
+                            agreement: "agreement";
                             complementary: "complementary";
                         }>;
                         reason: z.ZodString;
@@ -324,10 +324,10 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
                 kind: z.ZodLiteral<"quality-review">;
                 action: z.ZodEnum<{
                     unresolved: "unresolved";
+                    replan: "replan";
                     select: "select";
                     repair: "repair";
                     synthesize: "synthesize";
-                    replan: "replan";
                 }>;
                 selectedCandidateId: z.ZodNullable<z.ZodString>;
                 requirementIds: z.ZodArray<z.ZodString>;
@@ -341,8 +341,8 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
                     checkId: z.ZodString;
                     verdict: z.ZodEnum<{
                         unresolved: "unresolved";
-                        supported: "supported";
                         contradicted: "contradicted";
+                        supported: "supported";
                     }>;
                     reason: z.ZodString;
                     evidence: z.ZodArray<z.ZodObject<{
@@ -354,8 +354,8 @@ export declare const DeepFinalizationSourceSchema: z.ZodObject<{
                     checkId: z.ZodString;
                     kind: z.ZodEnum<{
                         unknown: "unknown";
-                        agreement: "agreement";
                         contradiction: "contradiction";
+                        agreement: "agreement";
                         complementary: "complementary";
                     }>;
                     reason: z.ZodString;

package/dist/deep-thinker/prompts.d.ts

@@ -59,7 +59,7 @@ export declare function parseDeepReply(role: DeepRole, output: unknown, quality?
     synthesis: string;
 } | {
     kind: "quality-review";
-    action: "unresolved" | "select" | "repair" | "synthesize" | "replan";
+    action: "unresolved" | "replan" | "select" | "repair" | "synthesize";
     selectedCandidateId: string | null;
     requirementIds: string[];
     reason: string;
@@ -70,7 +70,7 @@ export declare function parseDeepReply(role: DeepRole, output: unknown, quality?
     evaluations: {
         candidateId: string;
         checkId: string;
-        verdict: "unresolved" | "supported" | "contradicted";
+        verdict: "unresolved" | "contradicted" | "supported";
         reason: string;
         evidence: {
             artifactId: string;
@@ -79,7 +79,7 @@ export declare function parseDeepReply(role: DeepRole, output: unknown, quality?
     }[];
     agreement: {
         checkId: string;
-        kind: "unknown" | "agreement" | "contradiction" | "complementary";
+        kind: "unknown" | "contradiction" | "agreement" | "complementary";
         reason: string;
     }[];
     issues: {