@openspecui/core 6.0.0-beta.0 → 6.0.0-beta.1

package/dist/{cli-projection-DxnVGm2B.d.mts → cli-projection-CBvIiy5p.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-CuWzPRAT.mjs";
 import { z } from "zod";
 
 //#region src/cli-projection.d.ts

package/dist/cli-projection.d.mts

@@ -1,6 +1,6 @@
-import "./command-result-fkH3Ekdz.mjs";
+import "./command-result-CuWzPRAT.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 "./sounds-C24SzEHX.mjs";
+import "./notifications-Ak6LdCaL.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-CBvIiy5p.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-CuWzPRAT.d.mts}

@@ -1,5 +1,5 @@
 import { o as DocumentTranslationConfigUpdate } from "./document-translation-D50BnvVh.mjs";
-import { p as NotificationSettings } from "./notifications-CgJlLgLO.mjs";
+import { p as NotificationSettings } from "./notifications-Ak6LdCaL.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;
@@ -8104,13 +8104,13 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
     } | undefined;
   }>>;
 }, "strip", z.ZodTypeAny, {
-  git: {
-    diffEagerLineBudget: number;
-  };
   cli: {
     command?: string | undefined;
     args?: string[] | undefined;
   };
+  git: {
+    diffEagerLineBudget: number;
+  };
   terminal: {
     fontSize: number;
     fontFamily: string;
@@ -8124,22 +8124,6 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
     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}`;
     bellVolume: number;
   };
-  theme: "light" | "dark" | "system";
-  codeEditor: {
-    theme: "monokai" | "nord" | "github" | "material" | "vscode" | "tokyo" | "gruvbox";
-  };
-  appBaseUrl: string;
-  opsx: {
-    agentInvocationMode: "command" | "compose";
-  };
-  dashboard: {
-    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}`;
-    volume: number;
-    systemNotificationsEnabled: boolean;
-  };
   translation: {
     enabled: boolean;
     targetLanguage: string;
@@ -8164,14 +8148,30 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
       };
     };
   };
+  theme: "light" | "dark" | "system";
+  codeEditor: {
+    theme: "monokai" | "nord" | "github" | "material" | "vscode" | "tokyo" | "gruvbox";
+  };
+  appBaseUrl: string;
+  opsx: {
+    agentInvocationMode: "command" | "compose";
+  };
+  dashboard: {
+    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}`;
+    volume: number;
+    systemNotificationsEnabled: boolean;
+  };
 }, {
-  git?: {
-    diffEagerLineBudget?: number | undefined;
-  } | undefined;
   cli?: {
     command?: string | undefined;
     args?: string[] | undefined;
   } | undefined;
+  git?: {
+    diffEagerLineBudget?: number | undefined;
+  } | undefined;
   terminal?: {
     fontSize?: number | undefined;
     fontFamily?: string | undefined;
@@ -8185,22 +8185,6 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
     bellSound?: unknown;
     bellVolume?: number | undefined;
   } | undefined;
-  theme?: "light" | "dark" | "system" | undefined;
-  codeEditor?: {
-    theme?: "monokai" | "nord" | "github" | "material" | "vscode" | "tokyo" | "gruvbox" | undefined;
-  } | undefined;
-  appBaseUrl?: string | undefined;
-  opsx?: {
-    agentInvocationMode?: "command" | "compose" | undefined;
-  } | undefined;
-  dashboard?: {
-    trendPointLimit?: number | undefined;
-  } | undefined;
-  notifications?: {
-    sound?: unknown;
-    volume?: number | undefined;
-    systemNotificationsEnabled?: boolean | undefined;
-  } | undefined;
   translation?: {
     enabled?: boolean | undefined;
     targetLanguage?: string | undefined;
@@ -8225,6 +8209,22 @@ declare const OpenSpecUIConfigSchema: z.ZodObject<{
       } | undefined;
     } | undefined;
   } | undefined;
+  theme?: "light" | "dark" | "system" | undefined;
+  codeEditor?: {
+    theme?: "monokai" | "nord" | "github" | "material" | "vscode" | "tokyo" | "gruvbox" | undefined;
+  } | undefined;
+  appBaseUrl?: string | undefined;
+  opsx?: {
+    agentInvocationMode?: "command" | "compose" | undefined;
+  } | undefined;
+  dashboard?: {
+    trendPointLimit?: number | undefined;
+  } | undefined;
+  notifications?: {
+    sound?: unknown;
+    volume?: number | undefined;
+    systemNotificationsEnabled?: boolean | undefined;
+  } | undefined;
 }>;
 type OpenSpecUIConfig = z.infer<typeof OpenSpecUIConfigSchema>;
 type OpenSpecUIConfigUpdate = {

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({