kiokuko-dsh 0.1.69 → 0.1.71

package/PERMISSIONS.md

@@ -208,7 +208,11 @@ installed Skill descriptions, sanitized candidate plan or explicitly selected Li
 evidence to the configured adapter. TypeSafe uses its fixed HTTPS endpoint and
 DSH-managed TYPESAFE_API_KEY. Nimble requires an explicit complete HTTPS or loopback
 HTTP endpoint and model; an optional separate bearer reference is resolved through
-DSH. Credentials never enter workers, prompts, logs or Kiokuko SQLite. No redirects,
+DSH. Laya-CoreML uses an explicitly configured owner-access Unix socket (default
+`~/Library/Caches/laya-coreml/worker.sock`) from the host, with bounded strict
+requests, cancellation and a pinned runtime fingerprint. It does not resolve cloud
+credentials or grant socket access to the protected Lisp worker. The optional
+Python worker is installed/restarted explicitly by the user, never by DSH. Credentials never enter workers, prompts, logs or Kiokuko SQLite. No redirects,
 HTTP retries, provider substitution or runtime/model installation occur. `/kioku-decisions
 status` reports configuration, limits and the last fallback without a network call.
 Review fallback sends the full sanitized plan to the exact configured `roles.check`
@@ -231,3 +235,10 @@ eligible old tool results through DSH's append-only history protocol; original l
 events remain available. They never grant execution authority or change stored Lisp
 values. Set `semanticCompaction.mode: off` to disable this use independently.
 See [semantic compaction](docs/semantic-compaction.md) for protection and failure behavior.
+
+`/kioku-decisions use jev|laya|nimble` performs a bounded synthetic probe and
+saves the selected configuration in Kiokuko SQLite for the repository and base
+plugin configuration. Laya health discovery reads model identity from the local
+worker. No credential value is stored in this selection. Existing request
+bindings remain immutable; the command does not edit DSH profile files or restart
+DSH or the worker. `use default` restores the plugin configuration.

package/README.ja.md

@@ -102,6 +102,41 @@ Lisp を選ぶと、Lisp 用ツールで通常実行します。役小角を使
 削除・既存ファイルの置換はユーザーの確認後に実行します。
 [設定、API、停止・復旧方法](docs/lisp.md)を参照してください。
 
+## 型付き判定（Jev / Laya / Nimble）
+
+Jevが既定です。DSHのコマンド入力欄で切り替えられます。設定編集や再起動は不要です。
+
+```text
+/kioku-decisions use jev
+/kioku-decisions use laya
+/kioku-decisions use nimble
+/kioku-decisions use default
+```
+
+Layaは起動済みの拡張workerからモデル名とfingerprintを自動取得します。JevにはTypeSafeキー、Nimbleには接続先・モデルの事前設定が必要です。probeが成功してから選択をプロジェクト単位で保存し、次のリクエストへ適用します。再起動後も保持し、進行中のリクエストは変更しません。`use default`でプラグイン設定へ戻せます。
+
+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のコマンド入力欄で利用可能な状態を確認します。
+
+```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)を参照してください。
+
+Jevが既定です。Nimbleとローカルの[Laya-CoreML](docs/Laya-CoreML-ja.md)も選べます。Layaは`~/Library/Caches/laya-coreml/worker.sock`へ直接接続し、文書に記載した厳密検査対応workerへの更新が必要です。
+
 ## 過去の記憶を意味で選別
 
 TypeSafe または Nimble の利用確認が成功すると、既存検索の候補を今回の依頼に使えるか判定します。埋め込みは必須ではありません。`memoryReuse.mode: off` で停止できます。[設定・確認コマンド・評価方法](docs/memory-reuse.md)を参照してください。
@@ -110,4 +145,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,42 @@ 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.
+## Typed decisions (Jev / Laya / Nimble)
+
+Jev is the default. Switch in DSH's command input without editing configuration or restarting DSH:
+
+```text
+/kioku-decisions use jev
+/kioku-decisions use laya
+/kioku-decisions use nimble
+/kioku-decisions use default
+```
+
+Laya discovers the model and runtime fingerprint from an already running strict worker. Jev needs a TypeSafe key; Nimble needs an endpoint and model configured first. A successful probe saves the selection for this project and applies it to new requests. It survives restarts and preserves in-flight request bindings. `use default` restores the plugin configuration.
+
+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).
+
+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.
+
+Jev remains the default. Nimble and local [Laya-CoreML](docs/laya-coreml.md) are optional alternatives; Laya connects directly to `~/Library/Caches/laya-coreml/worker.sock` and requires the documented strict worker update.
+
+## 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 +146,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/THIRD_PARTY_NOTICES.md

@@ -54,3 +54,24 @@ CL-UNICODE's generated tables are produced from its bundled Unicode data by its
 upstream `cl-unicode/build` system and shipped as source, so plugin users do not
 need to regenerate them. No SBCL binary, Python runtime, Bubblewrap, VM runtime,
 or Homebrew bottle is included in the plugin package.
+
+# Optional Laya-CoreML worker
+
+`scripts/laya-worker.py` implements a strict input checker for Laya-CoreML's
+Apache-2.0 prompt layout. Changes: independent untruncated input construction,
+prepare/collate comparison, bounded Unix framing, runtime fingerprinting and
+strict operations. The inference runtime and model weights are installed
+separately; neither is bundled. [Apache-2.0 license](docs/laya-coreml-LICENSE.txt).
+
+- Laya-CoreML: https://github.com/mizorewww/laya-coreml
+  Copyright 2026 laya-coreml contributors.
+  Referenced revision: `12b7501583c7f03a6b2e49ebe118a2c6302505b9`.
+- Laya: https://github.com/NandhaKishorM/laya
+  Copyright Convai Innovations and Laya contributors.
+  Upstream revision: `6a5819129eb220570792e417e49723d697efd76f`.
+- Laya-MLX: https://github.com/mizorewww/laya-mlx
+  Copyright 2026 laya-mlx contributors. Apache-2.0.
+  Adapted revision: `fc1df62828a3fedf4d8229fdac1cbd85f1cdf337`.
+
+The model's original checkpoint weights retain their upstream authors' notices.
+This is an independent integration, not an official Convai Innovations or Apple release.

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;