@lincyaw/dsh 0.0.0-stage → 0.1.0

package/src/client/layout.ts

@@ -0,0 +1,217 @@
+import { defineStore } from '@deepseek-ai/dsh-client-store'
+
+export const CENTER_MIN = 400
+export const RIGHTBAR_MIN = 300
+export const RIGHTBAR_MAX_RATIO = 0.7
+export const RIGHTBAR_DEFAULT_RATIO = 0.45
+export const SIDE_COLLAPSE = 1024
+export const NARROW = 768
+export const ACTIVITY = 48
+export const SIDE_DEFAULT = 264
+export const SIDE_MIN = 200
+export const SIDE_MAX = 420
+export const DOCK_DEFAULT = 400
+export const DOCK_MIN = 320
+export const DOCK_MAX = 640
+
+export const clamp = (px: number, min: number, max: number) => Math.min(max, Math.max(min, Math.round(px)))
+
+export type Activity = 'documents' | 'files' | 'changes' | 'sessions'
+export type NarrowView = 'documents' | 'files' | 'source' | 'preview' | 'changes' | 'sessions' | 'conversation'
+
+export interface LayoutState {
+  panelInfo: { activePanelId: string | null }
+  layoutInfo: {
+    viewportWidth: number
+    sideOpen: boolean
+    sideExpanded: boolean
+    side: number
+    dock: number
+    dockOpen: boolean
+    rightbar: number | null
+    rightbarShown: boolean
+    rightbarTrack: boolean
+    rightbarFullscreen: boolean
+    activity: Activity
+    view: NarrowView
+  }
+}
+
+function revealConversation(d: LayoutState): void {
+  d.panelInfo.activePanelId = null
+  d.layoutInfo.dockOpen = true
+  d.layoutInfo.view = 'conversation'
+  if (d.layoutInfo.viewportWidth < SIDE_COLLAPSE) d.layoutInfo.sideExpanded = false
+}
+
+function showHistory(d: LayoutState): void {
+  d.panelInfo.activePanelId = null
+  d.layoutInfo.activity = 'sessions'
+  d.layoutInfo.sideOpen = true
+  d.layoutInfo.view = 'sessions'
+  if (d.layoutInfo.viewportWidth < SIDE_COLLAPSE) {
+    d.layoutInfo.sideExpanded = d.layoutInfo.viewportWidth >= NARROW
+    d.layoutInfo.dockOpen = false
+  } else d.layoutInfo.dockOpen = true
+}
+
+export function createLayoutStore() {
+  return defineStore({
+    init: (): LayoutState => ({
+      panelInfo: { activePanelId: null },
+      layoutInfo: {
+        viewportWidth: window.innerWidth,
+        sideOpen: false,
+        sideExpanded: false,
+        side: SIDE_DEFAULT,
+        dock: DOCK_DEFAULT,
+        dockOpen: true,
+        rightbar: null,
+        rightbarShown: false,
+        rightbarTrack: false,
+        rightbarFullscreen: false,
+        activity: 'files',
+        view: 'documents',
+      },
+    }),
+    actions: {
+      selectPanel: (d: LayoutState, id: string | null) => {
+        d.panelInfo.activePanelId = id
+      },
+      retainMainPanels: (d: LayoutState, ids: readonly string[]) => {
+        if (d.panelInfo.activePanelId !== null && !ids.includes(d.panelInfo.activePanelId)) d.panelInfo.activePanelId = null
+      },
+      setViewportWidth: (d: LayoutState, width: number) => {
+        if ((d.layoutInfo.viewportWidth < SIDE_COLLAPSE) !== (width < SIDE_COLLAPSE)) d.layoutInfo.sideExpanded = false
+        d.layoutInfo.viewportWidth = width
+        if (d.layoutInfo.rightbarTrack && width - ACTIVITY - d.layoutInfo.side - (d.layoutInfo.dockOpen ? d.layoutInfo.dock : 0) - CENTER_MIN - 24 < RIGHTBAR_MIN) {
+          d.layoutInfo.sideOpen = false
+          d.layoutInfo.sideExpanded = false
+        }
+      },
+      toggleSidebar: (d: LayoutState) => {
+        if (d.layoutInfo.viewportWidth < SIDE_COLLAPSE) {
+          d.layoutInfo.sideExpanded = !d.layoutInfo.sideExpanded
+          if (d.layoutInfo.sideExpanded) d.layoutInfo.dockOpen = false
+        }
+        else d.layoutInfo.sideOpen = !d.layoutInfo.sideOpen
+      },
+      setSide: (d: LayoutState, px: number) => {
+        d.layoutInfo.side = clamp(px, SIDE_MIN, SIDE_MAX)
+      },
+      setDock: (d: LayoutState, px: number) => {
+        d.layoutInfo.dock = clamp(px, DOCK_MIN, Math.min(DOCK_MAX, d.layoutInfo.viewportWidth * 0.5))
+      },
+      setDockOpen: (d: LayoutState, open: boolean) => {
+        d.layoutInfo.dockOpen = open
+        if (open && d.layoutInfo.viewportWidth < SIDE_COLLAPSE) d.layoutInfo.sideExpanded = false
+      },
+      revealConversation,
+      showHistory,
+      toggleConversations: (d: LayoutState) => {
+        const info = d.layoutInfo
+        if (info.viewportWidth < NARROW) {
+          if (info.view === 'conversation') showHistory(d)
+          else revealConversation(d)
+        } else {
+          const historyShown = info.activity === 'sessions' && (info.viewportWidth < SIDE_COLLAPSE ? info.sideExpanded : info.sideOpen)
+          if (historyShown && info.viewportWidth < SIDE_COLLAPSE) revealConversation(d)
+          else if (historyShown && info.dockOpen) info.sideOpen = false
+          else showHistory(d)
+        }
+      },
+      setRightbar: (d: LayoutState, px: number) => {
+        d.layoutInfo.rightbar = clamp(px, RIGHTBAR_MIN, Math.max(RIGHTBAR_MIN, d.layoutInfo.viewportWidth * RIGHTBAR_MAX_RATIO))
+      },
+      openRightbar: (d: LayoutState, track: boolean, fullscreen: boolean) => {
+        if (track && d.layoutInfo.viewportWidth - ACTIVITY - d.layoutInfo.side - (d.layoutInfo.dockOpen ? d.layoutInfo.dock : 0) - CENTER_MIN - 24 < RIGHTBAR_MIN) {
+          d.layoutInfo.sideOpen = false
+          d.layoutInfo.sideExpanded = false
+        }
+        if (track && d.layoutInfo.viewportWidth - ACTIVITY - (d.layoutInfo.dockOpen ? d.layoutInfo.dock : 0) - CENTER_MIN - 16 < RIGHTBAR_MIN) d.layoutInfo.dockOpen = false
+        d.layoutInfo.rightbar ??= Math.max(RIGHTBAR_MIN, Math.round(d.layoutInfo.viewportWidth * RIGHTBAR_DEFAULT_RATIO * 0.6))
+        d.layoutInfo.rightbarShown = true
+        d.layoutInfo.rightbarTrack = track
+        d.layoutInfo.rightbarFullscreen = fullscreen
+      },
+      closeRightbar: (d: LayoutState) => {
+        d.layoutInfo.rightbarShown = false
+        d.layoutInfo.rightbarTrack = false
+        d.layoutInfo.rightbarFullscreen = false
+      },
+      choose: (d: LayoutState, activity: Activity) => {
+        if (d.layoutInfo.activity === activity && d.layoutInfo.viewportWidth >= SIDE_COLLAPSE) d.layoutInfo.sideOpen = !d.layoutInfo.sideOpen
+        else d.layoutInfo.sideOpen = true
+        d.layoutInfo.activity = activity
+        if (d.layoutInfo.viewportWidth < SIDE_COLLAPSE) {
+          d.layoutInfo.sideExpanded = d.layoutInfo.viewportWidth >= NARROW
+          if (d.layoutInfo.sideExpanded) d.layoutInfo.dockOpen = false
+        }
+        d.layoutInfo.view = activity
+      },
+      show: (d: LayoutState, view: NarrowView) => {
+        d.layoutInfo.view = view
+        d.layoutInfo.sideExpanded = false
+      },
+    },
+  })
+}
+
+export type LayoutStore = ReturnType<typeof createLayoutStore>
+export type LayoutActions = ReturnType<LayoutStore['create']>['actions']
+
+export class LayoutController {
+  #navigation = new AbortController()
+  #preserveNextConversation = false
+  readonly #actions: LayoutActions
+  readonly #hasMainPanel: (id: string) => boolean
+  readonly panelInfo: DshObservable<LayoutState['panelInfo']>
+
+  constructor(actions: LayoutActions, hasMainPanel: (id: string) => boolean, panelInfo: DshObservable<LayoutState['panelInfo']>) {
+    this.#actions = actions
+    this.#hasMainPanel = hasMainPanel
+    this.panelInfo = panelInfo
+  }
+
+  selectPanel(id: string | null): void {
+    if (id !== null && !this.#hasMainPanel(id)) throw new Error(`layout.selectPanel: main panel "${id}" is not registered`)
+    this.#navigation.abort()
+    this.#actions.selectPanel(id)
+    if (id === null && !this.#preserveNextConversation) this.#actions.revealConversation()
+    this.#preserveNextConversation = false
+  }
+
+  /** Initial workspace binding must not replace the author's current view. Called by openWorkspace's beforeOpen. */
+  preserveNextConversation(): void {
+    this.#preserveNextConversation = true
+  }
+
+  /** Source navigation selects the document without revealing the conversation. */
+  showDocument(): void {
+    this.#navigation.abort()
+    this.#actions.selectPanel(null)
+    this.#actions.show('source')
+  }
+
+  beginNavigation(): AbortSignal {
+    this.#navigation.abort()
+    this.#navigation = new AbortController()
+    return this.#navigation.signal
+  }
+
+  toggleSidebar(): void {
+    this.#actions.toggleSidebar()
+  }
+
+  openRightbar(track: boolean, fullscreen: boolean): void {
+    this.#actions.openRightbar(track, fullscreen)
+  }
+
+  closeRightbar(): void {
+    this.#actions.closeRightbar()
+  }
+
+  dispose(): void {
+    this.#navigation.abort()
+  }
+}

package/src/client/messages.ts

@@ -0,0 +1,78 @@
+import type { Locale } from '@lincyaw/workbench'
+
+const zh = {
+  product: 'Presmium',
+  activity: '活动栏',
+  skip: '跳到内容',
+  documents: '文档',
+  files: '文件',
+  sessions: '会话',
+  conversation: '对话',
+  newConversation: '新建对话',
+  conversationHistory: '历史对话',
+  closeHistory: '收起历史对话',
+  tools: '工具',
+  hideConversation: '收起对话',
+  source: '源码',
+  preview: '预览',
+  changes: '修改',
+  settings: '设置',
+  help: '使用说明',
+  close: '关闭',
+  toggleSide: '展开／收起侧栏',
+  dark: '切换明暗',
+  side: '侧栏',
+  status: '状态栏',
+  resize: '拖动调整宽度',
+  centre: '工作区',
+  welcomeTitle: '欢迎使用 Presmium',
+  welcome: '打开讲义即可预览，按需要切换源码或并排查看。右侧对话可以收起；选中文字或点选预览中的块，就能把关注内容带给 AI。不配模型也能编辑、保存与预览。',
+  start: '开始使用',
+  models: '设置模型',
+  helpText: '文档顶部可选“预览”“并排”“源码”；对话顶部可新建对话、打开历史。活动栏统一使用“历史对话”入口，选择历史会话会直接显示聊天，收起后也可从这里恢复。Mod+Alt+B 收起侧栏。选中文字或用“点选”选择一块，顶部显示带给 AI 的关注内容；可用关闭按钮清除。',
+}
+
+export type FrameMessages = typeof zh
+
+const en: FrameMessages = {
+  product: 'Presmium',
+  activity: 'Activity bar',
+  skip: 'Skip to content',
+  documents: 'Documents',
+  files: 'Files',
+  sessions: 'Sessions',
+  conversation: 'Conversation',
+  newConversation: 'New chat',
+  conversationHistory: 'Chat history',
+  closeHistory: 'Hide chat history',
+  tools: 'Tools',
+  hideConversation: 'Hide conversation',
+  source: 'Source',
+  preview: 'Preview',
+  changes: 'Changes',
+  settings: 'Settings',
+  help: 'How to use',
+  close: 'Close',
+  toggleSide: 'Toggle the side panel',
+  dark: 'Toggle light and dark',
+  side: 'Side panel',
+  status: 'Status bar',
+  resize: 'Drag to resize',
+  centre: 'Workspace',
+  welcomeTitle: 'Welcome to Presmium',
+  welcome: 'Open a lecture to preview it, and switch to source or a side by side view when needed. The conversation can be hidden. Select text or pick a block to give the AI context. Editing, saving and previewing need no model.',
+  start: 'Start',
+  models: 'Set up a model',
+  helpText: 'Choose Preview, Side by side or Source above the document. Start a new chat or open history from the conversation header. Chat history in the activity bar is the shared entry for history and chat. Selecting a history row reveals its conversation, including when chat was hidden. Mod+Alt+B toggles the sidebar. Select text or pick a block to add conversation context, shown above the document. Clear it with its close button.',
+}
+
+export const FRAME_MESSAGES: Record<Locale, FrameMessages> = { 'zh-CN': zh, 'en': en }
+
+export const BRAND_COPY: Record<'zh-CN' | 'en-US', Record<string, Record<string, string>>> = {
+  'zh-CN': {
+    conversation: { 'hero.headline': '写讲义，从这里开始', 'hero.preview': '工作台' },
+  },
+  'en-US': {
+    conversation: { 'hero.headline': 'Write your lecture', 'hero.preview': 'Studio' },
+  },
+}

package/src/client/source.tsx

@@ -0,0 +1,81 @@
+import { isAbsoluteWorkspacePath, parseFileAddress, resolveWorkspacePath, workspaceTitleOf } from '@deepseek-ai/dsh-util-workspace-path'
+import type { Workbench } from '@lincyaw/workbench'
+import { useLayoutEffect, useRef, useSyncExternalStore } from 'react'
+
+const ID = '@lincyaw/dsh/source'
+// These formats keep Harness's rich previews. Text files share the workbench editor.
+const PREVIEW = /\.(?:png|jpe?g|gif|webp|avif|ico|bmp|svg|pdf|html?|csv|tsv|wasm|zip|gz|tgz|bz2|xz|7z|woff2?|ttf|otf|eot|mp3|mp4|m4a|wav|ogg|oga|webm|mov|avi|mkv|bin|so|dylib|dll|exe|pyc|xlsx?|docx?|pptx?|parquet|npy|npz|pkl|db|sqlite)$/i
+const RESERVED = new Set(['node_modules', 'dist', '.git', '.presmium'])
+
+function normalized(path: string): string | undefined {
+  const parts: string[] = []
+  for (const part of path.replace(/\\/g, '/').split('/')) {
+    if (!part || part === '.') continue
+    if (part === '..') {
+      if (!parts.length || parts.at(-1)?.endsWith(':')) return
+      parts.pop()
+    } else parts.push(part)
+  }
+  return `${path.startsWith('/') ? '/' : ''}${parts.join('/')}`
+}
+
+/** Use the Harness resolver for file links and line references, then open the canonical editor. */
+export function sourceLinks(ctx: DshClientContext, workbench: Workbench, showEditor: (layout: DshClientContext['layout']) => void): void {
+  ctx.inject(['sidebarRightTabs', 'sidebarRight', 'sessions', 'layout'], inner => inner.effect(() => {
+    let root: string | undefined
+    let active = true
+    void workbench.client.workbench().then(answer => { if (active && answer.root) root = normalized(answer.root) }).catch(() => {})
+    const locate = (address: string): { path: string, document: string } | undefined => {
+      const file = parseFileAddress(address)
+      if (!root || file?.scope !== 'session') return
+      const session = inner.sessions.list.getSnapshot().byId[file.sessionId]
+      if (!session?.cwd || normalized(session.cwd) !== root || PREVIEW.test(file.path)) return
+      const absolute = normalized(resolveWorkspacePath(session.cwd, file.path))
+      if (!absolute || !isAbsoluteWorkspacePath(absolute) || !absolute.startsWith(`${root}/`)) return
+      const path = absolute.slice(root.length + 1)
+      if (path.split('/').some(part => RESERVED.has(part))) return
+      const documents = workbench.state.documents
+      if (!documents) return
+      const document = [...documents.documents].sort((a, b) => b.dir.length - a.dir.length).find(doc => !doc.dir || path.startsWith(`${doc.dir}/`))?.dir
+      if (document === undefined && documents.single) return
+      return { path, document: document ?? '' }
+    }
+    function SourceLink({ useTabInfo }: DshSourceTabProps) {
+      const { tab } = useTabInfo()
+      const opened = useRef<number>()
+      useLayoutEffect(() => {
+        if (!tab.visible || opened.current === tab.navigation.revision) return
+        const target = locate(tab.contentId)
+        if (!target) return
+        opened.current = tab.navigation.revision
+        const line = tab.navigation.params?.line
+        tab.actions.close()
+        if (inner.sidebarRight.isExpanded()) inner.sidebarRight.toggleExpanded()
+        showEditor(inner.layout)
+        void workbench.openSource(target.document, target.path, typeof line === 'number' && Number.isInteger(line) && line > 0 ? { line, mark: true } : undefined)
+      }, [tab.visible, tab.contentId, tab.navigation.revision])
+      return <span data-pmw-source-route="" hidden />
+    }
+    // Previously saved Harness text tabs keep their kind when restored. Route those too.
+    function RestoredSource({ absolutePath }: { absolutePath: string }) {
+      const documents = useSyncExternalStore(workbench.subscribe, () => workbench.state.documents)
+      useLayoutEffect(() => {
+        const tab = inner.sidebarRight.active()
+        if (tab?.kind !== 'text') return
+        const target = locate(tab.contentId)
+        if (!target || normalized(absolutePath) !== normalized(resolveWorkspacePath(root, target.path))) return
+        inner.sidebarRight.close(tab.id)
+        if (inner.sidebarRight.isExpanded()) inner.sidebarRight.toggleExpanded()
+        showEditor(inner.layout)
+        void workbench.openSource(target.document, target.path)
+      }, [absolutePath, documents])
+      return null
+    }
+    const offType = inner.sidebarRightTabs.register({ id: ID, kind: 'presmium-source-link', priority: 'extension', patterns: ['dsh-resource://file/session/**'], canOpen: address => Boolean(locate(address)), title: (address = '') => workspaceTitleOf(parseFileAddress(address)?.path ?? address) })
+    let offBody: (() => void) | undefined
+    inner.slots.inject('sidebar.right.pane.tab', () => { offBody = inner.slots.register({ name: 'sidebar.right.pane.tab', key: ID }, SourceLink) })
+    let offRestored: (() => void) | undefined
+    inner.slots.inject('sidebar.right.tab.document.actions', () => { offRestored = inner.slots.register({ name: 'sidebar.right.tab.document.actions', id: ID }, RestoredSource) })
+    return () => { active = false; offRestored?.(); offBody?.(); offType() }
+  }, 'presmium: shared source editor'))
+}

package/src/client/styles.css

@@ -0,0 +1,3 @@
+@import '@lincyaw/design/design.css';
+@import '@lincyaw/workbench/styles.css';
+@import './frame.css';

package/src/client/theme.ts

@@ -0,0 +1,149 @@
+import { color } from '@lincyaw/design'
+import type { ColorName } from '@lincyaw/design'
+
+type Pair = { light: string, dark: string }
+const same = (value: string): Pair => ({ light: value, dark: value })
+const pm = (name: ColorName): Pair => same(color(name))
+const mix = (name: ColorName, percent: number, other = 'transparent'): Pair => same(`color-mix(in srgb, ${color(name)} ${percent}%, ${other})`)
+
+export const TOKENS: Record<string, Pair> = {
+  '--dsw-alias-bg-base': pm('bg'),
+  '--dsw-alias-bg-document-preview': pm('surface'),
+  '--dsw-alias-bg-layer-1': pm('surface'),
+  '--dsw-alias-bg-layer-2': pm('surface'),
+  '--dsw-alias-bg-layer-3': pm('sunk'),
+  '--dsw-alias-bg-mask-1': { light: 'rgba(28, 27, 25, 0.32)', dark: 'rgba(0, 0, 0, 0.55)' },
+  '--dsw-alias-bg-mask-drop': { light: 'rgba(247, 245, 240, 0.7)', dark: 'rgba(22, 22, 20, 0.7)' },
+  '--dsw-alias-bg-module-platform': pm('sunk'),
+  '--dsw-alias-bg-overlay': pm('surface'),
+  '--dsw-alias-bg-skeleton': mix('ink', 6),
+  '--dsw-alias-border-inverted': same('transparent'),
+  '--dsw-alias-border-l1': pm('line'),
+  '--dsw-alias-border-l2': pm('line'),
+  '--dsw-alias-border-l2-darkmode-thin': pm('line'),
+  '--dsw-alias-border-l3': pm('line'),
+  '--dsw-alias-border-l4': pm('line-strong'),
+  '--dsw-alias-brand-primary': pm('ink'),
+  '--dsw-alias-brand-primary-new-colorprimary-new-color': pm('accent'),
+  '--dsw-alias-button-contrast-fill': pm('ink'),
+  '--dsw-alias-button-elevated-fill': pm('surface'),
+  '--dsw-alias-button-floating-fill': pm('surface'),
+  '--dsw-alias-button-floating-hover': pm('sunk'),
+  '--dsw-alias-button-ghost-active-border': pm('line-strong'),
+  '--dsw-alias-button-ghost-active-fill': pm('selected'),
+  '--dsw-alias-button-info-fill': { light: '#0f5f5c', dark: '#2c7a74' },
+  '--dsw-alias-button-info-hover': { light: '#0b4a47', dark: '#256963' },
+  '--dsw-alias-button-primary-fill': pm('ink'),
+  '--dsw-alias-button-primary-hover': mix('ink', 85, color('bg')),
+  '--dsw-alias-file-diff-added-bg': pm('ok-soft'),
+  '--dsw-alias-file-diff-added-gutter': pm('ok-soft'),
+  '--dsw-alias-file-diff-added-marker': pm('add'),
+  '--dsw-alias-file-diff-deleted-bg': pm('danger-soft'),
+  '--dsw-alias-file-diff-deleted-gutter': pm('danger-soft'),
+  '--dsw-alias-file-diff-deleted-marker': pm('del'),
+  '--dsw-alias-interactive-bg-active': pm('selected'),
+  '--dsw-alias-interactive-bg-hover': mix('ink', 6),
+  '--dsw-alias-interactive-bg-hover-danger': pm('danger-soft'),
+  '--dsw-alias-interactive-bg-hover-solid': pm('sunk'),
+  '--dsw-alias-label-caption': pm('muted'),
+  '--dsw-alias-label-deep-diving': pm('accent'),
+  '--dsw-alias-label-deep-diving-shimmer': pm('muted'),
+  '--dsw-alias-label-dimmed': pm('line-strong'),
+  '--dsw-alias-label-primary': pm('ink'),
+  '--dsw-alias-label-primary-bluish': pm('ink'),
+  '--dsw-alias-label-primary-dimmed': pm('ink'),
+  '--dsw-alias-label-primary-foreground': pm('bg'),
+  '--dsw-alias-label-primary-inverted': pm('bg'),
+  '--dsw-alias-label-secondary': pm('muted'),
+  '--dsw-alias-label-tertiary': pm('muted'),
+  '--dsw-alias-link': pm('accent'),
+  '--dsw-alias-markdown-citation': pm('sunk'),
+  '--dsw-alias-markdown-code-block': pm('code'),
+  '--dsw-alias-markdown-code-block-banner': pm('sunk'),
+  '--dsw-alias-menu-icon': pm('ink'),
+  '--dsw-alias-onboarding-accent': pm('accent'),
+  '--dsw-alias-onboarding-card-fill': pm('surface'),
+  '--dsw-alias-onboarding-checkbox-border': pm('line-strong'),
+  '--dsw-alias-onboarding-secondary-fill': pm('surface'),
+  '--dsw-alias-scrollbar-bg-l1': pm('line'),
+  '--dsw-alias-scrollbar-bg-l2': pm('line'),
+  '--dsw-alias-scrollbar-hover-l1': pm('line-strong'),
+  '--dsw-alias-scrollbar-hover-l2': pm('line-strong'),
+  '--dsw-alias-settings-card-fill': pm('surface'),
+  '--dsw-alias-settings-card-stroke': pm('line'),
+  '--dsw-alias-state-business-primary': pm('accent'),
+  '--dsw-alias-state-business-tertiary': pm('accent-soft'),
+  '--dsw-alias-state-error-primary': pm('danger'),
+  '--dsw-alias-state-error-secondary': pm('danger'),
+  '--dsw-alias-state-success-primary': pm('ok'),
+  '--dsw-alias-state-success-secondary': pm('ok'),
+  '--dsw-alias-state-success-tertiary': pm('ok-soft'),
+  '--dsw-alias-state-warn-label': pm('warn'),
+  '--dsw-alias-state-warn-primary': pm('warn'),
+  '--dsw-alias-state-warn-secondary': pm('warn'),
+  '--dsw-alias-state-warn-tertiary': pm('warn-soft'),
+  '--dsw-alias-tooltip-bg': { light: '#1c1b19', dark: '#3a3833' },
+  '--dsw-alias-turn-trigger-bg': pm('code'),
+  '--dsw-alias-turn-trigger-bg-hover': mix('ink', 6),
+  '--dsw-specific-sidebar-fill': pm('sunk'),
+  '--dsw-specific-sidebar-nav-item-active': pm('selected'),
+  '--dsw-specific-sidebar-nav-item-active-accent': pm('accent'),
+  '--dsw-specific-sidebar-nav-item-hover': mix('ink', 6),
+  '--dsw-specific-bubble': pm('accent-soft'),
+  '--dsw-specific-bubble-highlight': pm('selected'),
+  '--dsw-specific-input-major': pm('surface'),
+  '--dsw-specific-menu': pm('surface'),
+  '--dsw-specific-selector': pm('surface'),
+  '--dsw-focus-ring-color': pm('accent'),
+}
+
+const SANS = 'var(--pm-font-sans)'
+const MONO = 'var(--pm-font-mono)'
+const FONT_SIZES = { text: '--dsh-content-font-size', code: '--dsh-code-font-size', terminal: '--dsh-terminal-font-size' } as const
+const FONT_FAMILIES = { text: '--dsh-font-family-text', code: '--dsh-font-family-code', terminal: '--dsh-font-family-terminal' } as const
+
+export class ThemePresenter {
+  #applied: string[] = []
+  readonly #meta = document.createElement('meta')
+
+  constructor() {
+    this.#meta.name = 'theme-color'
+  }
+
+  apply(snapshot: DshThemeSnapshot): void {
+    const scheme = snapshot.active.colorScheme
+    const root = document.documentElement
+    const body = document.body
+    root.style.colorScheme = scheme
+    root.setAttribute('data-ds-theme-source', snapshot.preference === 'system' ? 'system' : scheme)
+    if (scheme === 'dark') body.setAttribute('data-ds-dark-theme', '')
+    else body.removeAttribute('data-ds-dark-theme')
+    for (const [role, name] of Object.entries(FONT_SIZES)) body.style.setProperty(name, `${snapshot.fontSizes[role as keyof typeof FONT_SIZES]}px`)
+    for (const [role, name] of Object.entries(FONT_FAMILIES)) body.style.setProperty(name, snapshot.fontFamilies[role as keyof typeof FONT_FAMILIES] || (role === 'text' ? SANS : MONO))
+    for (const name of this.#applied) body.style.removeProperty(name)
+    this.#applied = []
+    for (const [name, value] of Object.entries(snapshot.active.tokens)) {
+      body.style.setProperty(name, value)
+      this.#applied.push(name)
+    }
+    this.#meta.content = getComputedStyle(body).backgroundColor
+    if (!this.#meta.isConnected) document.head.append(this.#meta)
+  }
+
+  dispose(): void {
+    const root = document.documentElement
+    const body = document.body
+    root.style.removeProperty('color-scheme')
+    root.removeAttribute('data-ds-theme-source')
+    body.removeAttribute('data-ds-dark-theme')
+    for (const name of [...Object.values(FONT_SIZES), ...Object.values(FONT_FAMILIES), ...this.#applied]) body.style.removeProperty(name)
+    this.#applied = []
+    this.#meta.remove()
+  }
+}
+
+export function followScheme(snapshot: DshThemeSnapshot): boolean {
+  const dark = snapshot.active.colorScheme === 'dark'
+  document.documentElement.classList.toggle('dark', dark)
+  return dark
+}

package/src/node/context.ts

@@ -0,0 +1,55 @@
+import type { DshAgent, DshContext } from './dsh.ts'
+import type { PresmiumSession } from './service.ts'
+
+export const name = 'presmium-context'
+export const inject = ['presmium', 'systemPrompt']
+
+export const GUIDE = [
+  'This is a Presmium workspace: lecture documents written in MyST Markdown, each in a directory of its own, which Presmium compiles to an intermediate representation and renders as a web page, slides and a notebook.',
+  'Your working directory is the workspace root and stays the same when the author switches documents. You can read and write files throughout this workspace; resolve document paths relative to this root. The presmium__* tools read the compiled document (its sections, steps, code, outputs and diagnostics) and operate it (run a code block, build, move the presentation); they ask the author first where Presmium\'s approval policy says so.',
+  'Load the presmium-author skill before you write MyST directives. The <presmium-document> context says where the document and the author are, and what the author points at (focus): start from there.',
+  'Your changes are reviewed by the author before they are committed; do not commit them yourself.',
+].join('\n')
+
+const ORDER = 9000
+
+async function read(session: PresmiumSession, tool: string): Promise<any> {
+  const result = await session.client.call(tool, {}).catch(() => undefined)
+  if (!result || result.isError) return undefined
+  try {
+    return JSON.parse(result.text)
+  } catch {
+    return undefined
+  }
+}
+
+export async function snapshot(session: PresmiumSession): Promise<string> {
+  const [info, listed, position, focus] = await Promise.all(['deck_info', 'list_sections', 'get_position', 'get_focus'].map(tool => read(session, tool)))
+  const where = session.document.dir || '.'
+  const lines = [`Document ${JSON.stringify(where)} (path relative to the workspace root; working directory remains the workspace root): "${info?.title ?? session.document.title}"${info?.lang ? `, language ${info.lang}` : ''}${info?.entry ? `, entry ${info.entry}` : ''}.`]
+  if (info?.diagnostics) lines.push(`Diagnostics: ${info.diagnostics.errors} errors, ${info.diagnostics.warnings} warnings (presmium__get_diagnostics lists them).`)
+  if (listed?.sections) lines.push('Sections (id: title):', ...(listed.sections as { id: string, title: string }[]).map(s => `- ${s.id}: ${s.title}`))
+  const at = position?.position
+  lines.push(at ? `Position: section ${at.section ?? '?'}, step ${at.step}${at.view ? `, ${at.view} view` : ''} (reported ${at.reported}).` : 'Position: no window shows the document.')
+  lines.push(focus?.focus?.length ? `Focus, as presmium__get_focus answers: ${JSON.stringify(focus)}` : 'Focus: the author points at nothing; the position is where they are.')
+  return `<presmium-document>\n${lines.join('\n')}\n</presmium-document>`
+}
+
+export function apply(ctx: DshContext): void {
+  ctx.systemPrompt.section({ name: 'presmium:guide', order: ORDER, interpolate: false, text: GUIDE })
+  const latest = new Map<string, string>()
+  const refresh = async (agent: DshAgent) => {
+    const session = await ctx.presmium.refresh(agent)
+    latest.set(agent.session.id, `Workspace root: ${JSON.stringify((await ctx.presmium.ready).root)}.\n` + (session ? await snapshot(session).catch(() => '') : '<presmium-document>No document selected. Work from the workspace root.</presmium-document>'))
+  }
+
+  ctx.on('agent/created', async ({ agent }: { agent: DshAgent }) => {
+    await refresh(agent)
+    agent.ctx.systemPrompt.context({ name: 'presmium:document', order: ORDER, interpolate: false, text: () => latest.get(agent.session.id) ?? '' })
+  })
+  ctx.on('agent/pre-step', async (payload: { agent: DshAgent }, next: () => Promise<unknown>) => {
+    await refresh(payload.agent)
+    return next()
+  })
+  ctx.on('session/disposed', (session: { id: string }) => void latest.delete(session.id))
+}