@openspecui/core 6.0.0-beta.0 → 6.0.0

package/dist/{cli-projection-DxnVGm2B.d.mts → cli-projection-D97_RM6V.d.mts}

@@ -1,4 +1,4 @@
-import { n as CliJsonValue, t as CliCommandResult } from "./command-result-fkH3Ekdz.mjs";
+import { n as CliJsonValue, t as CliCommandResult } from "./command-result-CfME21jF.mjs";
 import { z } from "zod";
 
 //#region src/cli-projection.d.ts
@@ -215,21 +215,21 @@ declare function createCliProjectionStateSchema<TOutput, TInput>(dataSchema: z.Z
   workGeneration: z.ZodNumber;
   invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
 }, "strip", z.ZodTypeAny, {
+  identity: string;
   error: null;
   state: "loading";
   data: null;
   freshness: null;
   snapshotGeneration: null;
-  identity: string;
   workGeneration: number;
   invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
 }, {
+  identity: string;
   error: null;
   state: "loading";
   data: null;
   freshness: null;
   snapshotGeneration: null;
-  identity: string;
   workGeneration: number;
   invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
 }>, z.ZodObject<{
@@ -390,6 +390,7 @@ declare function createCliProjectionStateSchema<TOutput, TInput>(dataSchema: z.Z
   workGeneration: z.ZodNumber;
   invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
 }, "strip", z.ZodTypeAny, {
+  identity: string;
   error: {
     message: string;
     name: string;
@@ -413,10 +414,10 @@ declare function createCliProjectionStateSchema<TOutput, TInput>(dataSchema: z.Z
   data: null;
   freshness: null;
   snapshotGeneration: null;
-  identity: string;
   workGeneration: number;
   invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
 }, {
+  identity: string;
   error: {
     message: string;
     name: string;
@@ -440,7 +441,6 @@ declare function createCliProjectionStateSchema<TOutput, TInput>(dataSchema: z.Z
   data: null;
   freshness: null;
   snapshotGeneration: null;
-  identity: string;
   workGeneration: number;
   invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
 }>, z.ZodObject<{
@@ -761,15 +761,15 @@ declare const CliProjectionNoticeSchema: z.ZodObject<{
   state: z.ZodEnum<["loading", "ready", "revalidating", "error", "refresh-error"]>;
   invalidationCause: z.ZodEnum<["initial", "dependency", "explicit-refresh", "subscriber-resume"]>;
 }, "strip", z.ZodTypeAny, {
-  state: "error" | "loading" | "ready" | "revalidating" | "refresh-error";
-  snapshotGeneration: number | null;
   identity: string;
+  state: "ready" | "error" | "loading" | "revalidating" | "refresh-error";
+  snapshotGeneration: number | null;
   workGeneration: number;
   invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
 }, {
-  state: "error" | "loading" | "ready" | "revalidating" | "refresh-error";
-  snapshotGeneration: number | null;
   identity: string;
+  state: "ready" | "error" | "loading" | "revalidating" | "refresh-error";
+  snapshotGeneration: number | null;
   workGeneration: number;
   invalidationCause: "initial" | "dependency" | "explicit-refresh" | "subscriber-resume";
 }>;

package/dist/cli-projection.d.mts

@@ -1,6 +1,6 @@
-import "./command-result-fkH3Ekdz.mjs";
-import "./document-translation-D50BnvVh.mjs";
-import "./sounds-qhRgCy0F.mjs";
-import "./notifications-CgJlLgLO.mjs";
-import { _ as toCliProjectionCommandEvidence, a as CliProjectionFailure, c as CliProjectionInvalidationCauseSchema, d as CliProjectionState, f as CliProjectionStateName, g as createCliProjectionStateSchema, h as cliProjectionStates, i as CliProjectionCommandEvidenceSchema, l as CliProjectionNotice, m as cliProjectionInvalidationCauses, n as CliProjectionCommandError, o as CliProjectionFailureSchema, p as CliProjectionStateNameSchema, r as CliProjectionCommandEvidence, s as CliProjectionInvalidationCause, t as CliJsonValueSchema, u as CliProjectionNoticeSchema, v as toCliProjectionFailure, y as toCliProjectionNotice } from "./cli-projection-DxnVGm2B.mjs";
+import "./command-result-CfME21jF.mjs";
+import "./document-translation-D9bhVMu9.mjs";
+import "./sounds-BLspIXhv.mjs";
+import "./notifications-APukMHjf.mjs";
+import { _ as toCliProjectionCommandEvidence, a as CliProjectionFailure, c as CliProjectionInvalidationCauseSchema, d as CliProjectionState, f as CliProjectionStateName, g as createCliProjectionStateSchema, h as cliProjectionStates, i as CliProjectionCommandEvidenceSchema, l as CliProjectionNotice, m as cliProjectionInvalidationCauses, n as CliProjectionCommandError, o as CliProjectionFailureSchema, p as CliProjectionStateNameSchema, r as CliProjectionCommandEvidence, s as CliProjectionInvalidationCause, t as CliJsonValueSchema, u as CliProjectionNoticeSchema, v as toCliProjectionFailure, y as toCliProjectionNotice } from "./cli-projection-D97_RM6V.mjs";
 export { CliJsonValueSchema, CliProjectionCommandError, CliProjectionCommandEvidence, CliProjectionCommandEvidenceSchema, CliProjectionFailure, CliProjectionFailureSchema, CliProjectionInvalidationCause, CliProjectionInvalidationCauseSchema, CliProjectionNotice, CliProjectionNoticeSchema, CliProjectionState, CliProjectionStateName, CliProjectionStateNameSchema, cliProjectionInvalidationCauses, cliProjectionStates, createCliProjectionStateSchema, toCliProjectionCommandEvidence, toCliProjectionFailure, toCliProjectionNotice };

package/dist/{command-result-fkH3Ekdz.d.mts → command-result-CfME21jF.d.mts}

@@ -1,5 +1,5 @@
-import { o as DocumentTranslationConfigUpdate } from "./document-translation-D50BnvVh.mjs";
-import { p as NotificationSettings } from "./notifications-CgJlLgLO.mjs";
+import { o as DocumentTranslationConfigUpdate } from "./document-translation-D9bhVMu9.mjs";
+import { p as NotificationSettings } from "./notifications-APukMHjf.mjs";
 import { z } from "zod";
 
 //#region src/cli-contracts/common.d.ts
@@ -6255,12 +6255,12 @@ declare const CliApplyInstructionsSchema: z.ZodUnion<[z.ZodObject<{
     remaining: z.ZodNumber;
   }, "strip", z.ZodTypeAny, {
     total: number;
-    remaining: number;
     complete: number;
+    remaining: number;
   }, {
     total: number;
-    remaining: number;
     complete: number;
+    remaining: number;
   }>;
   tasks: z.ZodArray<z.ZodObject<{
     id: z.ZodString;
@@ -6405,12 +6405,12 @@ declare const CliApplyInstructionsSchema: z.ZodUnion<[z.ZodObject<{
     remaining: z.ZodNumber;
   }, "strip", z.ZodTypeAny, {
     total: number;
-    remaining: number;
     complete: number;
+    remaining: number;
   }, {
     total: number;
-    remaining: number;
     complete: number;
+    remaining: number;
   }>;
   tasks: z.ZodArray<z.ZodObject<{
     id: z.ZodString;
@@ -6555,12 +6555,12 @@ declare const CliApplyInstructionsSchema: z.ZodUnion<[z.ZodObject<{
     remaining: z.ZodNumber;
   }, "strip", z.ZodTypeAny, {
     total: number;
-    remaining: number;
     complete: number;
+    remaining: number;
   }, {
     total: number;
-    remaining: number;
     complete: number;
+    remaining: number;
   }>;
   tasks: z.ZodArray<z.ZodObject<{
     id: z.ZodString;
@@ -7818,7 +7818,7 @@ declare const TerminalConfigSchema: z.ZodObject<{
   lightTheme: z.ZodDefault<z.ZodEnum<["default-light", "default-dark", "monokai", "nord", "solarized-light", "solarized-dark"]>>;
   darkTheme: z.ZodDefault<z.ZodEnum<["default-light", "default-dark", "monokai", "nord", "solarized-light", "solarized-dark"]>>;
   rendererEngine: z.ZodDefault<z.ZodEnum<["xterm", "ghostty"]>>;
-  bellSound: z.ZodDefault<z.ZodEffects<z.ZodUnion<[z.ZodLiteral<"silent">, z.ZodEnum<["builtin:Basso", "builtin:Blow", "builtin:Bottle", "builtin:Frog", "builtin:Funk", "builtin:Glass", "builtin:Hero", "builtin:Morse", "builtin:Ping", "builtin:Pop", "builtin:Purr", "builtin:Sosumi", "builtin:Submarine", "builtin:Tink"]>, z.ZodType<`custom:${string}`, z.ZodTypeDef, `custom:${string}`>]>, "silent" | "builtin:Basso" | "builtin:Blow" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | "builtin:Tink" | `custom:${string}`, unknown>>;
+  bellSound: z.ZodDefault<z.ZodEffects<z.ZodUnion<[z.ZodLiteral<"silent">, z.ZodEnum<["builtin:Basso", "builtin:Blow", "builtin:Bottle", "builtin:Frog", "builtin:Funk", "builtin:Glass", "builtin:Hero", "builtin:Morse", "builtin:Ping", "builtin:Pop", "builtin:Purr", "builtin:Sosumi", "builtin:Submarine", "builtin:Tink"]>, z.ZodType<`custom:${string}`, z.ZodTypeDef, `custom:${string}`>]>, "silent" | "builtin:Tink" | "builtin:Blow" | "builtin:Basso" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | `custom:${string}`, unknown>>;
   bellVolume: z.ZodDefault<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
   fontSize: number;
@@ -7830,7 +7830,7 @@ declare const TerminalConfigSchema: z.ZodObject<{
   lightTheme: "default-light" | "default-dark" | "monokai" | "nord" | "solarized-light" | "solarized-dark";
   darkTheme: "default-light" | "default-dark" | "monokai" | "nord" | "solarized-light" | "solarized-dark";
   rendererEngine: "xterm" | "ghostty";
-  bellSound: "silent" | "builtin:Basso" | "builtin:Blow" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | "builtin:Tink" | `custom:${string}`;
+  bellSound: "silent" | "builtin:Tink" | "builtin:Blow" | "builtin:Basso" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | `custom:${string}`;
   bellVolume: number;
 }, {
   fontSize?: number | undefined;
@@ -7921,7 +7921,7 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
     lightTheme: z.ZodDefault<z.ZodEnum<["default-light", "default-dark", "monokai", "nord", "solarized-light", "solarized-dark"]>>;
     darkTheme: z.ZodDefault<z.ZodEnum<["default-light", "default-dark", "monokai", "nord", "solarized-light", "solarized-dark"]>>;
     rendererEngine: z.ZodDefault<z.ZodEnum<["xterm", "ghostty"]>>;
-    bellSound: z.ZodDefault<z.ZodEffects<z.ZodUnion<[z.ZodLiteral<"silent">, z.ZodEnum<["builtin:Basso", "builtin:Blow", "builtin:Bottle", "builtin:Frog", "builtin:Funk", "builtin:Glass", "builtin:Hero", "builtin:Morse", "builtin:Ping", "builtin:Pop", "builtin:Purr", "builtin:Sosumi", "builtin:Submarine", "builtin:Tink"]>, z.ZodType<`custom:${string}`, z.ZodTypeDef, `custom:${string}`>]>, "silent" | "builtin:Basso" | "builtin:Blow" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | "builtin:Tink" | `custom:${string}`, unknown>>;
+    bellSound: z.ZodDefault<z.ZodEffects<z.ZodUnion<[z.ZodLiteral<"silent">, z.ZodEnum<["builtin:Basso", "builtin:Blow", "builtin:Bottle", "builtin:Frog", "builtin:Funk", "builtin:Glass", "builtin:Hero", "builtin:Morse", "builtin:Ping", "builtin:Pop", "builtin:Purr", "builtin:Sosumi", "builtin:Submarine", "builtin:Tink"]>, z.ZodType<`custom:${string}`, z.ZodTypeDef, `custom:${string}`>]>, "silent" | "builtin:Tink" | "builtin:Blow" | "builtin:Basso" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | `custom:${string}`, unknown>>;
     bellVolume: z.ZodDefault<z.ZodNumber>;
   }, "strip", z.ZodTypeAny, {
     fontSize: number;
@@ -7933,7 +7933,7 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
     lightTheme: "default-light" | "default-dark" | "monokai" | "nord" | "solarized-light" | "solarized-dark";
     darkTheme: "default-light" | "default-dark" | "monokai" | "nord" | "solarized-light" | "solarized-dark";
     rendererEngine: "xterm" | "ghostty";
-    bellSound: "silent" | "builtin:Basso" | "builtin:Blow" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | "builtin:Tink" | `custom:${string}`;
+    bellSound: "silent" | "builtin:Tink" | "builtin:Blow" | "builtin:Basso" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | `custom:${string}`;
     bellVolume: number;
   }, {
     fontSize?: number | undefined;
@@ -7966,11 +7966,11 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
   }>>;
   /** Notification preferences */
   notifications: z.ZodDefault<z.ZodObject<{
-    sound: z.ZodDefault<z.ZodEffects<z.ZodUnion<[z.ZodLiteral<"silent">, z.ZodEnum<["builtin:Basso", "builtin:Blow", "builtin:Bottle", "builtin:Frog", "builtin:Funk", "builtin:Glass", "builtin:Hero", "builtin:Morse", "builtin:Ping", "builtin:Pop", "builtin:Purr", "builtin:Sosumi", "builtin:Submarine", "builtin:Tink"]>, z.ZodType<`custom:${string}`, z.ZodTypeDef, `custom:${string}`>]>, "silent" | "builtin:Basso" | "builtin:Blow" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | "builtin:Tink" | `custom:${string}`, unknown>>;
+    sound: z.ZodDefault<z.ZodEffects<z.ZodUnion<[z.ZodLiteral<"silent">, z.ZodEnum<["builtin:Basso", "builtin:Blow", "builtin:Bottle", "builtin:Frog", "builtin:Funk", "builtin:Glass", "builtin:Hero", "builtin:Morse", "builtin:Ping", "builtin:Pop", "builtin:Purr", "builtin:Sosumi", "builtin:Submarine", "builtin:Tink"]>, z.ZodType<`custom:${string}`, z.ZodTypeDef, `custom:${string}`>]>, "silent" | "builtin:Tink" | "builtin:Blow" | "builtin:Basso" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | `custom:${string}`, unknown>>;
     volume: z.ZodDefault<z.ZodNumber>;
     systemNotificationsEnabled: z.ZodDefault<z.ZodBoolean>;
   }, "strip", z.ZodTypeAny, {
-    sound: "silent" | "builtin:Basso" | "builtin:Blow" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | "builtin:Tink" | `custom:${string}`;
+    sound: "silent" | "builtin:Tink" | "builtin:Blow" | "builtin:Basso" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | `custom:${string}`;
     volume: number;
     systemNotificationsEnabled: boolean;
   }, {
@@ -7990,31 +7990,31 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
         model: z.ZodOptional<z.ZodString>;
         selectedGroupId: z.ZodOptional<z.ZodString>;
       }, "strip", z.ZodTypeAny, {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
-      }, {
         model?: string | undefined;
+      }, {
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       }>>;
       localCt2: z.ZodDefault<z.ZodObject<{
         model: z.ZodOptional<z.ZodString>;
         selectedGroupId: z.ZodOptional<z.ZodString>;
       }, "strip", z.ZodTypeAny, {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
-      }, {
         model?: string | undefined;
+      }, {
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       }>>;
       localLlama: z.ZodDefault<z.ZodObject<{
         model: z.ZodOptional<z.ZodString>;
         selectedGroupId: z.ZodOptional<z.ZodString>;
       }, "strip", z.ZodTypeAny, {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
-      }, {
         model?: string | undefined;
+      }, {
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       }>>;
       openai: z.ZodDefault<z.ZodObject<{
         model: z.ZodOptional<z.ZodString>;
@@ -8025,88 +8025,85 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
       }>>;
     }, "strip", z.ZodTypeAny, {
       local: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       };
-      localCt2: {
+      openai: {
         model?: string | undefined;
+      };
+      localCt2: {
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       };
       localLlama: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
-      };
-      openai: {
         model?: string | undefined;
       };
     }, {
       local?: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       } | undefined;
-      localCt2?: {
+      openai?: {
         model?: string | undefined;
+      } | undefined;
+      localCt2?: {
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       } | undefined;
       localLlama?: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
-      } | undefined;
-      openai?: {
         model?: string | undefined;
       } | undefined;
     }>>;
   }, "strip", z.ZodTypeAny, {
-    enabled: boolean;
+    engineId: "browser" | "local" | "local-ct2" | "local-llama" | "openai";
     targetLanguage: string;
+    enabled: boolean;
     displayMode: "direct" | "bilingual";
     cacheEnabled: boolean;
-    engineId: "local" | "openai" | "browser" | "local-ct2" | "local-llama";
     engines: {
       local: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       };
-      localCt2: {
+      openai: {
         model?: string | undefined;
+      };
+      localCt2: {
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       };
       localLlama: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
-      };
-      openai: {
         model?: string | undefined;
       };
     };
   }, {
-    enabled?: boolean | undefined;
+    engineId?: "browser" | "local" | "local-ct2" | "local-llama" | "openai" | undefined;
     targetLanguage?: string | undefined;
+    enabled?: boolean | undefined;
     displayMode?: "direct" | "bilingual" | undefined;
     cacheEnabled?: boolean | undefined;
-    engineId?: "local" | "openai" | "browser" | "local-ct2" | "local-llama" | undefined;
     engines?: {
       local?: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       } | undefined;
-      localCt2?: {
+      openai?: {
         model?: string | undefined;
+      } | undefined;
+      localCt2?: {
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       } | undefined;
       localLlama?: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
-      } | undefined;
-      openai?: {
         model?: string | undefined;
       } | undefined;
     } | undefined;
   }>>;
 }, "strip", z.ZodTypeAny, {
-  git: {
-    diffEagerLineBudget: number;
-  };
   cli: {
     command?: string | undefined;
     args?: string[] | undefined;
@@ -8121,9 +8118,12 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
     lightTheme: "default-light" | "default-dark" | "monokai" | "nord" | "solarized-light" | "solarized-dark";
     darkTheme: "default-light" | "default-dark" | "monokai" | "nord" | "solarized-light" | "solarized-dark";
     rendererEngine: "xterm" | "ghostty";
-    bellSound: "silent" | "builtin:Basso" | "builtin:Blow" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | "builtin:Tink" | `custom:${string}`;
+    bellSound: "silent" | "builtin:Tink" | "builtin:Blow" | "builtin:Basso" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | `custom:${string}`;
     bellVolume: number;
   };
+  git: {
+    diffEagerLineBudget: number;
+  };
   theme: "light" | "dark" | "system";
   codeEditor: {
     theme: "monokai" | "nord" | "github" | "material" | "vscode" | "tokyo" | "gruvbox";
@@ -8136,38 +8136,35 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
     trendPointLimit: number;
   };
   notifications: {
-    sound: "silent" | "builtin:Basso" | "builtin:Blow" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | "builtin:Tink" | `custom:${string}`;
+    sound: "silent" | "builtin:Tink" | "builtin:Blow" | "builtin:Basso" | "builtin:Bottle" | "builtin:Frog" | "builtin:Funk" | "builtin:Glass" | "builtin:Hero" | "builtin:Morse" | "builtin:Ping" | "builtin:Pop" | "builtin:Purr" | "builtin:Sosumi" | "builtin:Submarine" | `custom:${string}`;
     volume: number;
     systemNotificationsEnabled: boolean;
   };
   translation: {
-    enabled: boolean;
+    engineId: "browser" | "local" | "local-ct2" | "local-llama" | "openai";
     targetLanguage: string;
+    enabled: boolean;
     displayMode: "direct" | "bilingual";
     cacheEnabled: boolean;
-    engineId: "local" | "openai" | "browser" | "local-ct2" | "local-llama";
     engines: {
       local: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       };
-      localCt2: {
+      openai: {
         model?: string | undefined;
+      };
+      localCt2: {
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       };
       localLlama: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
-      };
-      openai: {
         model?: string | undefined;
       };
     };
   };
 }, {
-  git?: {
-    diffEagerLineBudget?: number | undefined;
-  } | undefined;
   cli?: {
     command?: string | undefined;
     args?: string[] | undefined;
@@ -8185,6 +8182,9 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
     bellSound?: unknown;
     bellVolume?: number | undefined;
   } | undefined;
+  git?: {
+    diffEagerLineBudget?: number | undefined;
+  } | undefined;
   theme?: "light" | "dark" | "system" | undefined;
   codeEditor?: {
     theme?: "monokai" | "nord" | "github" | "material" | "vscode" | "tokyo" | "gruvbox" | undefined;
@@ -8202,25 +8202,25 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
     systemNotificationsEnabled?: boolean | undefined;
   } | undefined;
   translation?: {
-    enabled?: boolean | undefined;
+    engineId?: "browser" | "local" | "local-ct2" | "local-llama" | "openai" | undefined;
     targetLanguage?: string | undefined;
+    enabled?: boolean | undefined;
     displayMode?: "direct" | "bilingual" | undefined;
     cacheEnabled?: boolean | undefined;
-    engineId?: "local" | "openai" | "browser" | "local-ct2" | "local-llama" | undefined;
     engines?: {
       local?: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       } | undefined;
-      localCt2?: {
+      openai?: {
         model?: string | undefined;
+      } | undefined;
+      localCt2?: {
         selectedGroupId?: string | undefined;
+        model?: string | undefined;
       } | undefined;
       localLlama?: {
-        model?: string | undefined;
         selectedGroupId?: string | undefined;
-      } | undefined;
-      openai?: {
         model?: string | undefined;
       } | undefined;
     } | undefined;

package/dist/dashboard-display.d.mts

@@ -1,5 +1,24 @@
 //#region src/dashboard-display.d.ts
+/**
+ * Orthogonal intents (updated 2026-07-28 Asia/Shanghai):
+ * 1. Select bounded Dashboard rows with deterministic ordering.
+ * 2. Resolve archive dates identically across Server and browser/static consumers.
+ * 3. Apply the objective bounded archive-range policy without owning UI state.
+ *
+ * Original request (2026-07-28): replace Dashboard Workflow Progress with ReadonlyKanban.
+ */
 declare const DASHBOARD_RECENT_LIST_LIMIT = 10;
+type DashboardArchiveRange = '7d' | '30d' | '90d' | 'all';
+interface DashboardArchiveTimeSource {
+  id: string;
+  updatedAt: number;
+}
+/** Parse a valid UTC calendar date from an archive id prefix. */
+declare function parseDatedArchiveIdTimestamp(id: string): number | null;
+/** Resolve the archive timestamp from its dated id, then its physical update time. */
+declare function resolveArchiveTimestamp(archive: DashboardArchiveTimeSource): number;
+/** Test whether an archive belongs to a user-selected trailing range. */
+declare function isArchiveInRange(archive: DashboardArchiveTimeSource, range: DashboardArchiveRange, now?: number): boolean;
 interface DashboardRecentListItem {
   id: string;
   updatedAt: number;
@@ -7,5 +26,7 @@ interface DashboardRecentListItem {
 declare function compareDashboardItemsByUpdatedAt<T extends DashboardRecentListItem>(left: T, right: T): number;
 declare function sortDashboardItemsByUpdatedAt<T extends DashboardRecentListItem>(items: readonly T[]): T[];
 declare function selectRecentDashboardItems<T extends DashboardRecentListItem>(items: readonly T[], limit?: number): T[];
+/** Select recent archives by objective archive time rather than incidental directory mtime. */
+declare function selectRecentDashboardArchives<T extends DashboardArchiveTimeSource>(items: readonly T[], limit?: number): T[];
 //#endregion
-export { DASHBOARD_RECENT_LIST_LIMIT, DashboardRecentListItem, compareDashboardItemsByUpdatedAt, selectRecentDashboardItems, sortDashboardItemsByUpdatedAt };
+export { DASHBOARD_RECENT_LIST_LIMIT, DashboardArchiveRange, DashboardArchiveTimeSource, DashboardRecentListItem, compareDashboardItemsByUpdatedAt, isArchiveInRange, parseDatedArchiveIdTimestamp, resolveArchiveTimestamp, selectRecentDashboardArchives, selectRecentDashboardItems, sortDashboardItemsByUpdatedAt };

package/dist/dashboard-display.mjs

@@ -1,5 +1,42 @@
 //#region src/dashboard-display.ts
+/**
+* Orthogonal intents (updated 2026-07-28 Asia/Shanghai):
+* 1. Select bounded Dashboard rows with deterministic ordering.
+* 2. Resolve archive dates identically across Server and browser/static consumers.
+* 3. Apply the objective bounded archive-range policy without owning UI state.
+*
+* Original request (2026-07-28): replace Dashboard Workflow Progress with ReadonlyKanban.
+*/
 const DASHBOARD_RECENT_LIST_LIMIT = 10;
+const ARCHIVE_RANGE_DAYS = {
+	"7d": 7,
+	"30d": 30,
+	"90d": 90,
+	all: null
+};
+const ARCHIVE_DATE_PREFIX = /^(\d{4})-(\d{2})-(\d{2})(?:-|$)/;
+/** Parse a valid UTC calendar date from an archive id prefix. */
+function parseDatedArchiveIdTimestamp(id) {
+	const match = ARCHIVE_DATE_PREFIX.exec(id);
+	if (!match) return null;
+	const year = Number(match[1]);
+	const month = Number(match[2]);
+	const day = Number(match[3]);
+	const timestamp = Date.UTC(year, month - 1, day);
+	const parsed = new Date(timestamp);
+	if (!Number.isFinite(timestamp) || parsed.getUTCFullYear() !== year || parsed.getUTCMonth() !== month - 1 || parsed.getUTCDate() !== day) return null;
+	return timestamp;
+}
+/** Resolve the archive timestamp from its dated id, then its physical update time. */
+function resolveArchiveTimestamp(archive) {
+	return parseDatedArchiveIdTimestamp(archive.id) ?? archive.updatedAt;
+}
+/** Test whether an archive belongs to a user-selected trailing range. */
+function isArchiveInRange(archive, range, now = Date.now()) {
+	const days = ARCHIVE_RANGE_DAYS[range];
+	if (days === null) return true;
+	return resolveArchiveTimestamp(archive) >= now - days * 24 * 60 * 60 * 1e3;
+}
 function compareDashboardItemsByUpdatedAt(left, right) {
 	return right.updatedAt - left.updatedAt || left.id.localeCompare(right.id);
 }
@@ -9,6 +46,10 @@ function sortDashboardItemsByUpdatedAt(items) {
 function selectRecentDashboardItems(items, limit = DASHBOARD_RECENT_LIST_LIMIT) {
 	return sortDashboardItemsByUpdatedAt(items).slice(0, Math.max(0, Math.trunc(limit)));
 }
+/** Select recent archives by objective archive time rather than incidental directory mtime. */
+function selectRecentDashboardArchives(items, limit = DASHBOARD_RECENT_LIST_LIMIT) {
+	return [...items].sort((left, right) => resolveArchiveTimestamp(right) - resolveArchiveTimestamp(left) || left.id.localeCompare(right.id)).slice(0, Math.max(0, Math.trunc(limit)));
+}
 
 //#endregion
-export { DASHBOARD_RECENT_LIST_LIMIT, compareDashboardItemsByUpdatedAt, selectRecentDashboardItems, sortDashboardItemsByUpdatedAt };
+export { DASHBOARD_RECENT_LIST_LIMIT, compareDashboardItemsByUpdatedAt, isArchiveInRange, parseDatedArchiveIdTimestamp, resolveArchiveTimestamp, selectRecentDashboardArchives, selectRecentDashboardItems, sortDashboardItemsByUpdatedAt };

package/dist/{dashboard-summary-transport-D2VBAIxg.mjs → dashboard-summary-transport-CYBuU4iT.mjs}

@@ -8,10 +8,12 @@ import { z } from "zod";
 * 1. Define Dashboard metrics, trends, planning projections, and Git snapshot contracts.
 * 2. Preserve backend-issued Code binding provenance on live Git snapshots.
 * 3. Split independently refreshable Summary and Trends facts from the aggregate Dashboard compatibility view.
+* 4. Carry objective Kanban phase counts and bounded archive summaries without workflow inference.
 *
 * Original request (2026-07-19): "代码已经提交，开始review。如果有问题，那么可更新change。"
 * Derived requirement (2026-07-19): Checkpoint 6.11 binds Dashboard snapshots to their Code token.
 * Original request (2026-07-23): "现在页面数据的加载数据非常慢（比如dashboard页面、changes页面都要等待非常久，页面刷新后，似乎后台没有缓存一样，也要加载很久。"
+* Original request (2026-07-28): replace Dashboard Workflow Progress with ReadonlyKanban.
 */
 const DASHBOARD_METRIC_KEYS = [
 	"specifications",
@@ -127,6 +129,18 @@ const DashboardSummaryProjectionSchema = z.object({
 		name: z.string(),
 		trackedTaskProgress: TrackedTaskProgressSchema,
 		updatedAt: z.number()
+	})),
+	trackedTaskPhaseCounts: z.object({
+		"no-tasks": z.number(),
+		"in-progress": z.number(),
+		complete: z.number()
+	}),
+	recentArchives: z.array(z.object({
+		id: z.string(),
+		name: z.string(),
+		trackedTaskProgress: TrackedTaskProgressSchema,
+		archivedAt: z.number(),
+		updatedAt: z.number()
 	}))
 });
 const DashboardTrendsProjectionSchema = z.object({