@deepseek-harness-tui/dsh-tui 0.9.2 → 0.9.3

package/dsh-ecosystem-spec/protocols/tui-contributions.js

@@ -1,143 +1,143 @@
-/** dsh-TUI private, lifecycle-owned manifest contribution definitions. */
-
-export const API_VERSION = 'tui.dsh/v1alpha1'
-
-export const SETTINGS_SECTION = Object.freeze({
-  apiVersion: API_VERSION,
-  kind: 'SettingsSection',
-})
-
-export const SCENE = Object.freeze({
-  apiVersion: API_VERSION,
-  kind: 'Scene',
-})
-
-export const settingsSectionExtensionDefinition = Object.freeze({
-  ...SETTINGS_SECTION,
-  validateMetadata(metadata) {
-    contributionName(metadata?.name, 'SettingsSection metadata.name')
-  },
-  validateSpec: validateSettingsSectionSpec,
-})
-
-export function validateSettingsSectionSpec(value) {
-  const spec = exactRecord(value, ['namespace', 'title', 'titles', 'fields'], 'SettingsSection content')
-  contributionName(spec.namespace, 'SettingsSection content.namespace')
-  nonEmpty(spec.title, 'SettingsSection content.title')
-  localized(spec.titles, 'SettingsSection content.titles')
-  if (!Array.isArray(spec.fields)) throw new TypeError('SettingsSection content.fields must be an array')
-  return Object.freeze({
-    namespace: spec.namespace,
-    title: spec.title,
-    ...(spec.titles === undefined ? {} : { titles: freezeRecord(spec.titles) }),
-    fields: Object.freeze(spec.fields.map((field, index) => validateSettingsField(field, index))),
-  })
-}
-
-export const sceneExtensionDefinition = Object.freeze({
-  ...SCENE,
-  validateMetadata(metadata) {
-    contributionName(metadata?.name, 'Scene metadata.name')
-  },
-  validateSpec: validateSceneSpec,
-})
-
-export function validateSceneSpec(value) {
-  const spec = exactRecord(value, ['title', 'titles'], 'Scene content')
-  if (spec.title !== undefined) nonEmpty(spec.title, 'Scene content.title')
-  localized(spec.titles, 'Scene content.titles')
-  return Object.freeze({
-    ...(spec.title === undefined ? {} : { title: spec.title }),
-    ...(spec.titles === undefined ? {} : { titles: freezeRecord(spec.titles) }),
-  })
-}
-
-export const contributionExtensionDefinitions = Object.freeze([
-  settingsSectionExtensionDefinition,
-  sceneExtensionDefinition,
-])
-
-export function registerTuiContributionExtensions(catalog) {
-  const disposers = contributionExtensionDefinitions.map(definition => catalog.registerExtension(definition))
-  return () => { for (const dispose of disposers.reverse()) dispose() }
-}
-
-export function assertSettingsSectionHandler(value) {
-  runtimeObject(value, 'SettingsSection handler')
-}
-
-export function assertSceneHandler(value) {
-  const handler = runtimeObject(value, 'Scene handler')
-  if (typeof handler.component !== 'function') throw new TypeError('Scene handler.component must be a function')
-}
-
-function validateSettingsField(value, index) {
-  const label = `SettingsSection spec.fields[${index}]`
-  const field = exactRecord(value, [
-    'path', 'label', 'titles', 'hint', 'hintTitles', 'kind', 'options', 'placeholder', 'secretRef',
-  ], label)
-  if (!Array.isArray(field.path) || field.path.length === 0
-    || field.path.some(segment => typeof segment !== 'string' || segment.length === 0)) {
-    throw new TypeError(`${label}.path must be a non-empty string array`)
-  }
-  nonEmpty(field.label, `${label}.label`)
-  localized(field.titles, `${label}.titles`)
-  if (field.hint !== undefined) nonEmpty(field.hint, `${label}.hint`)
-  localized(field.hintTitles, `${label}.hintTitles`)
-  if (!['text', 'number', 'boolean', 'select'].includes(field.kind)) {
-    throw new TypeError(`${label}.kind is invalid`)
-  }
-  if (field.placeholder !== undefined && typeof field.placeholder !== 'string') {
-    throw new TypeError(`${label}.placeholder must be a string`)
-  }
-  if (field.secretRef !== undefined) nonEmpty(field.secretRef, `${label}.secretRef`)
-  if (field.options !== undefined) {
-    if (!Array.isArray(field.options)) throw new TypeError(`${label}.options must be an array`)
-    for (const [optionIndex, valueOption] of field.options.entries()) {
-      const option = exactRecord(valueOption, ['value', 'label', 'titles'], `${label}.options[${optionIndex}]`)
-      nonEmpty(option.value, `${label}.options[${optionIndex}].value`)
-      nonEmpty(option.label, `${label}.options[${optionIndex}].label`)
-      localized(option.titles, `${label}.options[${optionIndex}].titles`)
-    }
-  }
-  return Object.freeze(structuredClone(field))
-}
-
-function exactRecord(value, allowed, label) {
-  if (typeof value !== 'object' || value === null || Array.isArray(value)) {
-    throw new TypeError(`${label} must be an object`)
-  }
-  const unknown = Object.keys(value).filter(key => !allowed.includes(key) && !key.startsWith('x-'))
-  if (unknown.length > 0) throw new TypeError(`${label} contains unknown field ${JSON.stringify(unknown[0])}`)
-  return value
-}
-
-function runtimeObject(value, label) {
-  if ((typeof value !== 'object' && typeof value !== 'function') || value === null || Array.isArray(value)) {
-    throw new TypeError(`${label} must be an object`)
-  }
-  return value
-}
-
-function contributionName(value, label) {
-  if (typeof value !== 'string' || !/^[a-z][a-z0-9_-]*$/u.test(value)) {
-    throw new TypeError(`${label} is invalid`)
-  }
-}
-
-function nonEmpty(value, label) {
-  if (typeof value !== 'string' || value.trim() === '') throw new TypeError(`${label} must be a non-empty string`)
-}
-
-function localized(value, label) {
-  if (value === undefined) return
-  const record = exactRecord(value, Object.keys(value), label)
-  for (const [locale, text] of Object.entries(record)) {
-    if (locale.trim() === '') throw new TypeError(`${label} contains an empty locale`)
-    nonEmpty(text, `${label}.${locale}`)
-  }
-}
-
-function freezeRecord(value) {
-  return Object.freeze({ ...value })
-}
+/** dsh-TUI private, lifecycle-owned manifest contribution definitions. */
+
+export const API_VERSION = 'tui.dsh/v1alpha1'
+
+export const SETTINGS_SECTION = Object.freeze({
+  apiVersion: API_VERSION,
+  kind: 'SettingsSection',
+})
+
+export const SCENE = Object.freeze({
+  apiVersion: API_VERSION,
+  kind: 'Scene',
+})
+
+export const settingsSectionExtensionDefinition = Object.freeze({
+  ...SETTINGS_SECTION,
+  validateMetadata(metadata) {
+    contributionName(metadata?.name, 'SettingsSection metadata.name')
+  },
+  validateSpec: validateSettingsSectionSpec,
+})
+
+export function validateSettingsSectionSpec(value) {
+  const spec = exactRecord(value, ['namespace', 'title', 'titles', 'fields'], 'SettingsSection content')
+  contributionName(spec.namespace, 'SettingsSection content.namespace')
+  nonEmpty(spec.title, 'SettingsSection content.title')
+  localized(spec.titles, 'SettingsSection content.titles')
+  if (!Array.isArray(spec.fields)) throw new TypeError('SettingsSection content.fields must be an array')
+  return Object.freeze({
+    namespace: spec.namespace,
+    title: spec.title,
+    ...(spec.titles === undefined ? {} : { titles: freezeRecord(spec.titles) }),
+    fields: Object.freeze(spec.fields.map((field, index) => validateSettingsField(field, index))),
+  })
+}
+
+export const sceneExtensionDefinition = Object.freeze({
+  ...SCENE,
+  validateMetadata(metadata) {
+    contributionName(metadata?.name, 'Scene metadata.name')
+  },
+  validateSpec: validateSceneSpec,
+})
+
+export function validateSceneSpec(value) {
+  const spec = exactRecord(value, ['title', 'titles'], 'Scene content')
+  if (spec.title !== undefined) nonEmpty(spec.title, 'Scene content.title')
+  localized(spec.titles, 'Scene content.titles')
+  return Object.freeze({
+    ...(spec.title === undefined ? {} : { title: spec.title }),
+    ...(spec.titles === undefined ? {} : { titles: freezeRecord(spec.titles) }),
+  })
+}
+
+export const contributionExtensionDefinitions = Object.freeze([
+  settingsSectionExtensionDefinition,
+  sceneExtensionDefinition,
+])
+
+export function registerTuiContributionExtensions(catalog) {
+  const disposers = contributionExtensionDefinitions.map(definition => catalog.registerExtension(definition))
+  return () => { for (const dispose of disposers.reverse()) dispose() }
+}
+
+export function assertSettingsSectionHandler(value) {
+  runtimeObject(value, 'SettingsSection handler')
+}
+
+export function assertSceneHandler(value) {
+  const handler = runtimeObject(value, 'Scene handler')
+  if (typeof handler.component !== 'function') throw new TypeError('Scene handler.component must be a function')
+}
+
+function validateSettingsField(value, index) {
+  const label = `SettingsSection spec.fields[${index}]`
+  const field = exactRecord(value, [
+    'path', 'label', 'titles', 'hint', 'hintTitles', 'kind', 'options', 'placeholder', 'secretRef',
+  ], label)
+  if (!Array.isArray(field.path) || field.path.length === 0
+    || field.path.some(segment => typeof segment !== 'string' || segment.length === 0)) {
+    throw new TypeError(`${label}.path must be a non-empty string array`)
+  }
+  nonEmpty(field.label, `${label}.label`)
+  localized(field.titles, `${label}.titles`)
+  if (field.hint !== undefined) nonEmpty(field.hint, `${label}.hint`)
+  localized(field.hintTitles, `${label}.hintTitles`)
+  if (!['text', 'number', 'boolean', 'select'].includes(field.kind)) {
+    throw new TypeError(`${label}.kind is invalid`)
+  }
+  if (field.placeholder !== undefined && typeof field.placeholder !== 'string') {
+    throw new TypeError(`${label}.placeholder must be a string`)
+  }
+  if (field.secretRef !== undefined) nonEmpty(field.secretRef, `${label}.secretRef`)
+  if (field.options !== undefined) {
+    if (!Array.isArray(field.options)) throw new TypeError(`${label}.options must be an array`)
+    for (const [optionIndex, valueOption] of field.options.entries()) {
+      const option = exactRecord(valueOption, ['value', 'label', 'titles'], `${label}.options[${optionIndex}]`)
+      nonEmpty(option.value, `${label}.options[${optionIndex}].value`)
+      nonEmpty(option.label, `${label}.options[${optionIndex}].label`)
+      localized(option.titles, `${label}.options[${optionIndex}].titles`)
+    }
+  }
+  return Object.freeze(structuredClone(field))
+}
+
+function exactRecord(value, allowed, label) {
+  if (typeof value !== 'object' || value === null || Array.isArray(value)) {
+    throw new TypeError(`${label} must be an object`)
+  }
+  const unknown = Object.keys(value).filter(key => !allowed.includes(key) && !key.startsWith('x-'))
+  if (unknown.length > 0) throw new TypeError(`${label} contains unknown field ${JSON.stringify(unknown[0])}`)
+  return value
+}
+
+function runtimeObject(value, label) {
+  if ((typeof value !== 'object' && typeof value !== 'function') || value === null || Array.isArray(value)) {
+    throw new TypeError(`${label} must be an object`)
+  }
+  return value
+}
+
+function contributionName(value, label) {
+  if (typeof value !== 'string' || !/^[a-z][a-z0-9_-]*$/u.test(value)) {
+    throw new TypeError(`${label} is invalid`)
+  }
+}
+
+function nonEmpty(value, label) {
+  if (typeof value !== 'string' || value.trim() === '') throw new TypeError(`${label} must be a non-empty string`)
+}
+
+function localized(value, label) {
+  if (value === undefined) return
+  const record = exactRecord(value, Object.keys(value), label)
+  for (const [locale, text] of Object.entries(record)) {
+    if (locale.trim() === '') throw new TypeError(`${label} contains an empty locale`)
+    nonEmpty(text, `${label}.${locale}`)
+  }
+}
+
+function freezeRecord(value) {
+  return Object.freeze({ ...value })
+}

package/dsh-ecosystem-spec/registry/README.md

@@ -1,14 +1,14 @@
-# dsh-TUI Admission Protocol Profile
-
-[`registry-0.15.json`](registry-0.15.json) 不是全局协议注册表。它描述本 TUI admission profile 使用的 definition 集合：
-
-- `imports` 引用固定 dsh-std revision 已提供的 definitions；
-- `definitions` 只收录 dsh-TUI 私有 definitions。
-
-导入条目不复制 dsh-std 的 schema 或 contract 正文。Community v0.15 的 `Command`、`LocalStorage`、`MessageObserver`、Presentation 与 Workspace 定义分别由 `@dsh-std/command`、`@dsh-std/storage`、`@dsh-std/messages`、`@dsh-std/presentation` 与 `@dsh-std/workspace` 注册。
-
-本地 definition 的 contract profile 使用 SHA-256 固定。修改 profile 内容必须更新 digest，并按兼容性决定保留坐标或发布新 `apiVersion`。digest 只证明字节一致，不证明发布者身份。
-
-`tui.dsh/*` 是 dsh-TUI 私有 namespace。私有 definition 与公共 definition 一样注册到 dsh-std `ProtocolCatalog`；目录收录本身不产生 live support。
-
-权限目录仍是 TUI authorization policy 的输入。permission grant 与 protocol support 分开判断，安装 definition 不自动授权操作。
+# dsh-TUI Admission Protocol Profile
+
+[`registry-0.15.json`](registry-0.15.json) 不是全局协议注册表。它描述本 TUI admission profile 使用的 definition 集合：
+
+- `imports` 引用固定 dsh-std revision 已提供的 definitions；
+- `definitions` 只收录 dsh-TUI 私有 definitions。
+
+导入条目不复制 dsh-std 的 schema 或 contract 正文。Community v0.15 的 `Command`、`LocalStorage`、`MessageObserver`、Presentation 与 Workspace 定义分别由 `@dsh-std/command`、`@dsh-std/storage`、`@dsh-std/messages`、`@dsh-std/presentation` 与 `@dsh-std/workspace` 注册。
+
+本地 definition 的 contract profile 使用 SHA-256 固定。修改 profile 内容必须更新 digest，并按兼容性决定保留坐标或发布新 `apiVersion`。digest 只证明字节一致，不证明发布者身份。
+
+`tui.dsh/*` 是 dsh-TUI 私有 namespace。私有 definition 与公共 definition 一样注册到 dsh-std `ProtocolCatalog`；目录收录本身不产生 live support。
+
+权限目录仍是 TUI authorization policy 的输入。permission grant 与 protocol support 分开判断，安装 definition 不自动授权操作。

package/dsh-ecosystem-spec/registry/host-descriptor.tui.example.json

@@ -1,56 +1,56 @@
-{
-  "$schema": "urn:dsh-tui:host-descriptor:0.15",
-  "hostId": "dsh-tui",
-  "hostVersion": "0.1.0-experimental",
-  "facetApiVersions": [
-    "v1alpha1"
-  ],
-  "contracts": [
-    {
-      "apiVersion": "storage.dsh/v1alpha1",
-      "kind": "LocalStorage",
-      "definition": {
-        "source": "dsh-std",
-        "package": "@dsh-std/storage"
-      },
-      "permissions": [
-        "storage.local.read",
-        "storage.local.write"
-      ]
-    },
-    {
-      "apiVersion": "commands.dsh/v1alpha1",
-      "kind": "Command",
-      "definition": {
-        "source": "dsh-std",
-        "package": "@dsh-std/command"
-      },
-      "permissions": [
-        "commands.invoke"
-      ]
-    },
-    {
-      "apiVersion": "messages.dsh/v1alpha1",
-      "kind": "MessageObserver",
-      "definition": {
-        "source": "dsh-std",
-        "package": "@dsh-std/messages"
-      },
-      "permissions": [
-        "messages.observe.read"
-      ]
-    }
-  ],
-  "runtime": {
-    "location": "remote",
-    "generationId": "example-generation-1",
-    "headless": true,
-    "remoteAttach": true
-  },
-  "trustLevel": "trusted-in-process",
-  "platform": {
-    "os": "linux",
-    "arch": "x64",
-    "node": ">=22.19"
-  }
-}
+{
+  "$schema": "urn:dsh-tui:host-descriptor:0.15",
+  "hostId": "dsh-tui",
+  "hostVersion": "0.1.0-experimental",
+  "facetApiVersions": [
+    "v1alpha1"
+  ],
+  "contracts": [
+    {
+      "apiVersion": "storage.dsh/v1alpha1",
+      "kind": "LocalStorage",
+      "definition": {
+        "source": "dsh-std",
+        "package": "@dsh-std/storage"
+      },
+      "permissions": [
+        "storage.local.read",
+        "storage.local.write"
+      ]
+    },
+    {
+      "apiVersion": "commands.dsh/v1alpha1",
+      "kind": "Command",
+      "definition": {
+        "source": "dsh-std",
+        "package": "@dsh-std/command"
+      },
+      "permissions": [
+        "commands.invoke"
+      ]
+    },
+    {
+      "apiVersion": "messages.dsh/v1alpha1",
+      "kind": "MessageObserver",
+      "definition": {
+        "source": "dsh-std",
+        "package": "@dsh-std/messages"
+      },
+      "permissions": [
+        "messages.observe.read"
+      ]
+    }
+  ],
+  "runtime": {
+    "location": "remote",
+    "generationId": "example-generation-1",
+    "headless": true,
+    "remoteAttach": true
+  },
+  "trustLevel": "trusted-in-process",
+  "platform": {
+    "os": "linux",
+    "arch": "x64",
+    "node": ">=22.19"
+  }
+}

package/dsh-ecosystem-spec/registry/permissions-0.1.json

@@ -1,13 +1,13 @@
-{
-  "registryVersion":"0.1",
-  "permissions":[
-    {"name":"storage.local.read","default":"deny","revocable":true,"scope":"plugin namespace"},
-    {"name":"storage.local.write","default":"deny","revocable":true,"scope":"plugin namespace"},
-    {"name":"commands.invoke","default":"allow","revocable":true,"scope":"declared command id","rationale":"调用由宿主或用户通过一次 invocation 主动发起，不同于数据访问类权限——插件无法仅凭此权限被动读取任何数据，故默认允许；撤销只关闭该 command ID 的调用入口"},
-    {"name":"messages.observe.read","default":"deny","revocable":true,"scope":"message observation scope"},
-    {"name":"session.input.intercept","default":"deny","revocable":true,"scope":"decision event subscription","rationale":"拦截类订阅（RFC 0005 D-7）：能否决/改写用户输入，严格强于观察，故默认拒绝；TUI 实验实现见 tui.dsh.decision-events"},
-    {"name":"session.rewind.intercept","default":"deny","revocable":true,"scope":"decision event subscription","rationale":"同 session.input.intercept——可否决会话回退或注入回退模式"},
-    {"name":"session.switch.intercept","default":"deny","revocable":true,"scope":"decision event subscription","rationale":"同 session.input.intercept——可否决会话切换"},
-    {"name":"session.compact.intercept","default":"deny","revocable":true,"scope":"decision event subscription","rationale":"同 session.input.intercept——可否决手动压缩"}
-  ]
-}
+{
+  "registryVersion":"0.1",
+  "permissions":[
+    {"name":"storage.local.read","default":"deny","revocable":true,"scope":"plugin namespace"},
+    {"name":"storage.local.write","default":"deny","revocable":true,"scope":"plugin namespace"},
+    {"name":"commands.invoke","default":"allow","revocable":true,"scope":"declared command id","rationale":"调用由宿主或用户通过一次 invocation 主动发起，不同于数据访问类权限——插件无法仅凭此权限被动读取任何数据，故默认允许；撤销只关闭该 command ID 的调用入口"},
+    {"name":"messages.observe.read","default":"deny","revocable":true,"scope":"message observation scope"},
+    {"name":"session.input.intercept","default":"deny","revocable":true,"scope":"decision event subscription","rationale":"拦截类订阅（RFC 0005 D-7）：能否决/改写用户输入，严格强于观察，故默认拒绝；TUI 实验实现见 tui.dsh.decision-events"},
+    {"name":"session.rewind.intercept","default":"deny","revocable":true,"scope":"decision event subscription","rationale":"同 session.input.intercept——可否决会话回退或注入回退模式"},
+    {"name":"session.switch.intercept","default":"deny","revocable":true,"scope":"decision event subscription","rationale":"同 session.input.intercept——可否决会话切换"},
+    {"name":"session.compact.intercept","default":"deny","revocable":true,"scope":"decision event subscription","rationale":"同 session.input.intercept——可否决手动压缩"}
+  ]
+}