@openspecui/core 4.1.0 → 6.0.0-beta.0

package/dist/dashboard-summary-transport-D2VBAIxg.mjs

@@ -0,0 +1,175 @@
+import { d as TrackedTaskProgressSchema } from "./schemas-BFroDdOC.mjs";
+import { s as CliProjectionStateNameSchema, u as createCliProjectionStateSchema } from "./cli-projection-vO3-FJg5.mjs";
+import { z } from "zod";
+
+//#region src/dashboard-types.ts
+/**
+* Orthogonal intents (updated 2026-07-23 Asia/Shanghai):
+* 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.
+*
+* 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页面都要等待非常久，页面刷新后，似乎后台没有缓存一样，也要加载很久。"
+*/
+const DASHBOARD_METRIC_KEYS = [
+	"specifications",
+	"requirements",
+	"activeChanges",
+	"inProgressChanges",
+	"completedChanges",
+	"taskCompletionPercent"
+];
+const DashboardTrendPointSchema = z.object({
+	ts: z.number(),
+	value: z.number()
+});
+const DashboardTriColorTrendPointSchema = z.object({
+	ts: z.number(),
+	add: z.number(),
+	modify: z.number(),
+	delete: z.number()
+});
+const DashboardTrendRecordSchema = z.object({
+	specifications: z.array(DashboardTrendPointSchema),
+	requirements: z.array(DashboardTrendPointSchema),
+	activeChanges: z.array(DashboardTrendPointSchema),
+	inProgressChanges: z.array(DashboardTrendPointSchema),
+	completedChanges: z.array(DashboardTrendPointSchema),
+	taskCompletionPercent: z.array(DashboardTrendPointSchema)
+});
+const DashboardTriColorTrendRecordSchema = z.object({
+	specifications: z.array(DashboardTriColorTrendPointSchema),
+	requirements: z.array(DashboardTriColorTrendPointSchema),
+	activeChanges: z.array(DashboardTriColorTrendPointSchema),
+	inProgressChanges: z.array(DashboardTriColorTrendPointSchema),
+	completedChanges: z.array(DashboardTriColorTrendPointSchema),
+	taskCompletionPercent: z.array(DashboardTriColorTrendPointSchema)
+});
+const DashboardTrendKindsSchema = z.object({
+	specifications: z.enum(["monotonic", "bidirectional"]),
+	requirements: z.enum(["monotonic", "bidirectional"]),
+	activeChanges: z.enum(["monotonic", "bidirectional"]),
+	inProgressChanges: z.enum(["monotonic", "bidirectional"]),
+	completedChanges: z.enum(["monotonic", "bidirectional"]),
+	taskCompletionPercent: z.enum(["monotonic", "bidirectional"])
+});
+const DashboardCardAvailabilitySchema = z.discriminatedUnion("state", [z.object({ state: z.literal("ok") }), z.object({
+	state: z.literal("invalid"),
+	reason: z.enum(["semantic-uncomputable", "objective-history-unavailable"])
+})]);
+const DashboardCardAvailabilityRecordSchema = z.object({
+	specifications: DashboardCardAvailabilitySchema,
+	requirements: DashboardCardAvailabilitySchema,
+	activeChanges: DashboardCardAvailabilitySchema,
+	inProgressChanges: DashboardCardAvailabilitySchema,
+	completedChanges: DashboardCardAvailabilitySchema,
+	taskCompletionPercent: DashboardCardAvailabilitySchema
+});
+const DashboardSummarySchema = z.object({
+	specifications: z.number(),
+	requirements: z.number(),
+	activeChanges: z.number(),
+	inProgressChanges: z.number(),
+	completedChanges: z.number(),
+	archivedTasksCompleted: z.number(),
+	tasksTotal: z.number(),
+	tasksCompleted: z.number(),
+	taskCompletionPercent: z.number().nullable()
+});
+const DashboardGitDiffStatsSchema = z.object({
+	files: z.number(),
+	insertions: z.number(),
+	deletions: z.number()
+});
+const DashboardGitEntrySchema = z.discriminatedUnion("type", [z.object({
+	type: z.literal("commit"),
+	hash: z.string(),
+	title: z.string(),
+	committedAt: z.number(),
+	relatedChanges: z.array(z.string()),
+	diff: DashboardGitDiffStatsSchema
+}), z.object({
+	type: z.literal("uncommitted"),
+	title: z.string(),
+	updatedAt: z.number().nullable(),
+	relatedChanges: z.array(z.string()),
+	diff: DashboardGitDiffStatsSchema
+})]);
+const DashboardGitWorktreeSchema = z.object({
+	path: z.string(),
+	relativePath: z.string(),
+	pathAvailable: z.boolean(),
+	branchName: z.string(),
+	detached: z.boolean(),
+	isCurrent: z.boolean(),
+	ahead: z.number(),
+	behind: z.number(),
+	diff: DashboardGitDiffStatsSchema,
+	entries: z.array(DashboardGitEntrySchema)
+});
+const DashboardGitSnapshotSchema = z.object({
+	bindingToken: z.string().nullable(),
+	defaultBranch: z.string(),
+	worktrees: z.array(DashboardGitWorktreeSchema)
+});
+const DashboardSummaryProjectionSchema = z.object({
+	summary: DashboardSummarySchema,
+	specifications: z.array(z.object({
+		id: z.string(),
+		name: z.string(),
+		requirements: z.number(),
+		updatedAt: z.number()
+	})),
+	activeChanges: z.array(z.object({
+		id: z.string(),
+		name: z.string(),
+		trackedTaskProgress: TrackedTaskProgressSchema,
+		updatedAt: z.number()
+	}))
+});
+const DashboardTrendsProjectionSchema = z.object({
+	trends: DashboardTrendRecordSchema,
+	triColorTrends: DashboardTriColorTrendRecordSchema,
+	trendKinds: DashboardTrendKindsSchema,
+	cardAvailability: DashboardCardAvailabilityRecordSchema,
+	trendMeta: z.object({
+		pointLimit: z.number(),
+		lastUpdatedAt: z.number()
+	})
+});
+const DashboardOverviewSchema = DashboardSummaryProjectionSchema.merge(DashboardTrendsProjectionSchema).extend({ git: DashboardGitSnapshotSchema });
+
+//#endregion
+//#region src/dashboard-summary-transport.ts
+/**
+* Orthogonal intents (updated 2026-07-27 Asia/Shanghai):
+* 1. Define browser-safe opaque identity and wake-up contracts for Dashboard Summary v2.
+* 2. Define the full typed Summary projection state without exposing Planning-root filesystem provenance.
+* 3. Preserve retained versus current authority across fresh browser Documents.
+*
+* Original request (2026-07-23): "在已有content的时候，服务端推送变更，然后客户端收到推送通知，于是开始加载更新数据。"
+* Original request (2026-07-27): "Dashboard页面每次页面刷新的时候，它仍然要加载很多？"
+*/
+/** Opaque Server-issued identity; it is derived from, but never contains, a Planning-root path. */
+const DashboardSummaryIdentitySchema = z.string().regex(/^dashboard-summary-v2:[A-Za-z0-9_-]{43}$/);
+/** Reasons that can wake the migrated Summary adapter in this bounded v2 slice. */
+const DashboardSummaryInvalidationCauseSchema = z.enum([
+	"initial",
+	"server-push",
+	"root-rebind"
+]);
+/** Data-free subscription event. Replacement Summary data always arrives through the typed pull. */
+const DashboardSummaryInvalidationSchema = z.object({
+	identity: DashboardSummaryIdentitySchema,
+	workGeneration: z.number().int().nonnegative(),
+	snapshotGeneration: z.number().int().nonnegative().nullable(),
+	state: CliProjectionStateNameSchema,
+	cause: DashboardSummaryInvalidationCauseSchema
+}).strict();
+/** Full Summary Pull state correlated to the exact Server-owned work identity and generation. */
+const DashboardSummaryProjectionStateSchema = createCliProjectionStateSchema(DashboardSummaryProjectionSchema);
+
+//#endregion
+export { DASHBOARD_METRIC_KEYS as a, DashboardSummaryProjectionSchema as c, DashboardSummaryProjectionStateSchema as i, DashboardTrendsProjectionSchema as l, DashboardSummaryInvalidationCauseSchema as n, DashboardGitSnapshotSchema as o, DashboardSummaryInvalidationSchema as r, DashboardOverviewSchema as s, DashboardSummaryIdentitySchema as t };

package/dist/dashboard-summary-transport.d.mts

@@ -0,0 +1,25 @@
+import "./command-result-fkH3Ekdz.mjs";
+import "./document-translation-D50BnvVh.mjs";
+import "./sounds-qhRgCy0F.mjs";
+import "./notifications-CgJlLgLO.mjs";
+import "./cli-projection-DxnVGm2B.mjs";
+import "./schemas-DS-JqAJ2.mjs";
+import "./opsx-types-BJ8AjhrS.mjs";
+import "./opsx-entity-D7kDQsze.mjs";
+import { a as DashboardSummaryInvalidationCauseSchema, c as DashboardSummaryProjectionStateSchema, i as DashboardSummaryInvalidationCause, n as DashboardSummaryIdentitySchema, o as DashboardSummaryInvalidationSchema, r as DashboardSummaryInvalidation, s as DashboardSummaryProjectionState, t as DashboardSummaryIdentity } from "./dashboard-summary-transport-CQ4is5_e.mjs";
+import "./markdown-facts-CCw3QdbM.mjs";
+import "./markdown-reading-LUdqfbxH.mjs";
+import "./openspec-annotations-C58Aoi-V.mjs";
+import "./openspec-projection-RohNZI4p.mjs";
+import "./translator-NKv1wo3o.mjs";
+import "./terminal-audio-tXDm_EDe.mjs";
+import "./local-download-profiles-BL_rtlVM.mjs";
+import "./translation-language-pair-C18GPATW.mjs";
+import "./opsx-workflows-BvnJqjfL.mjs";
+import "./opsx-display-path-RXS5JTbV.mjs";
+import "./store-mutation-protocol-5tfs-RmD.mjs";
+import "./store-types-b554wAQJ.mjs";
+import "./terminal-invocation-BOvxThym.mjs";
+import "./terminal-theme-m3MSGJ7U.mjs";
+import "./opsx-schema-detail-BxDXEwDY.mjs";
+export { DashboardSummaryIdentity, DashboardSummaryIdentitySchema, DashboardSummaryInvalidation, DashboardSummaryInvalidationCause, DashboardSummaryInvalidationCauseSchema, DashboardSummaryInvalidationSchema, DashboardSummaryProjectionState, DashboardSummaryProjectionStateSchema };

package/dist/dashboard-summary-transport.mjs

@@ -0,0 +1,6 @@
+import "./schemas-BFroDdOC.mjs";
+import "./common-D8YUK9dA.mjs";
+import "./cli-projection-vO3-FJg5.mjs";
+import { i as DashboardSummaryProjectionStateSchema, n as DashboardSummaryInvalidationCauseSchema, r as DashboardSummaryInvalidationSchema, t as DashboardSummaryIdentitySchema } from "./dashboard-summary-transport-D2VBAIxg.mjs";
+
+export { DashboardSummaryIdentitySchema, DashboardSummaryInvalidationCauseSchema, DashboardSummaryInvalidationSchema, DashboardSummaryProjectionStateSchema };

package/dist/{document-translation-D4YK18I3.mjs → document-translation-CeJFGMoy.mjs}

@@ -1,4 +1,4 @@
-import { A as TranslationEngineIdSchema, i as DEFAULT_TRANSLATION_ENGINE_ID } from "./translator-DbUT1Ayn.mjs";
+import { A as TranslationEngineIdSchema, i as DEFAULT_TRANSLATION_ENGINE_ID } from "./translator-Cjtv4tya.mjs";
 import { z } from "zod";
 
 //#region src/document-translation.ts