@deepseek-harness-tui/dsh-tui 0.8.4 → 0.8.5

package/dsh-ecosystem-spec/protocols/profile-definitions.d.ts

@@ -1,13 +1,13 @@
-import type { ApiReference, ProtocolCatalog, ProtocolDefinition } from '@dsh-std/core'
-export { registerTuiContributionExtensions } from './tui-contributions.js'
-export * from './tui-channel.js'
-
-export const DECISION_EVENTS: Readonly<ApiReference & {
-  apiVersion: 'tui.dsh/v1alpha1'
-  kind: 'DecisionEvents'
-}>
-
-export const decisionEventsDefinition: ProtocolDefinition
-export const profileDefinitions: readonly ProtocolDefinition[]
-
-export function registerProfileProtocols(catalog: ProtocolCatalog): () => void
+import type { ApiReference, ProtocolCatalog, ProtocolDefinition } from '@dsh-std/core'
+export { registerTuiContributionExtensions } from './tui-contributions.js'
+export * from './tui-channel.js'
+
+export const DECISION_EVENTS: Readonly<ApiReference & {
+  apiVersion: 'tui.dsh/v1alpha1'
+  kind: 'DecisionEvents'
+}>
+
+export const decisionEventsDefinition: ProtocolDefinition
+export const profileDefinitions: readonly ProtocolDefinition[]
+
+export function registerProfileProtocols(catalog: ProtocolCatalog): () => void

package/dsh-ecosystem-spec/protocols/profile-definitions.js

@@ -1,59 +1,59 @@
-/** dsh-TUI private protocol definitions evaluated by @dsh-std/core. */
-
-export { registerTuiContributionExtensions } from './tui-contributions.js'
-export * from './tui-channel.js'
-import { tuiChannelDefinition } from './tui-channel.js'
-
-export const DECISION_EVENTS = Object.freeze({
-  apiVersion: 'tui.dsh/v1alpha1',
-  kind: 'DecisionEvents',
-})
-
-function featureSupport(value, label) {
-  if (value === undefined) return Object.freeze({ features: Object.freeze([]) })
-  if (typeof value !== 'object' || value === null || Array.isArray(value)) {
-    throw new TypeError(`${label} support spec must be an object`)
-  }
-  const unknown = Object.keys(value).filter(key => key !== 'features' && !key.startsWith('x-'))
-  if (unknown.length > 0) throw new TypeError(`${label} support spec contains unknown field ${JSON.stringify(unknown[0])}`)
-  if (value.features !== undefined && (!Array.isArray(value.features)
-    || value.features.some(feature => typeof feature !== 'string' || feature.trim() === ''))) {
-    throw new TypeError(`${label} support spec.features must be an array of non-empty strings`)
-  }
-  return Object.freeze({ features: Object.freeze([...(value.features ?? [])].sort()) })
-}
-
-function providerDefinition(reference, label) {
-  return Object.freeze({
-    ...reference,
-    validateRequirement(value) {
-      if (value !== undefined) throw new TypeError(`${label} requirement does not accept spec in manifest v0.15`)
-      return undefined
-    },
-    validateSupport(value) { return featureSupport(value, label) },
-    negotiate(input) {
-      const providers = [...new Set(input.supports.map(row => row.participant))].sort()
-      const issues = input.requirements.flatMap(row => providers.length === 0
-        ? [{
-            code: row.requirement.optional === true ? 'optional-support-missing' : 'required-support-missing',
-            severity: row.requirement.optional === true ? 'warning' : 'error',
-            participant: row.participant,
-            message: `${label} has no provider in this negotiation scope`,
-          }]
-        : [])
-      return { agreement: Object.freeze({ providers: Object.freeze(providers) }), issues: Object.freeze(issues) }
-    },
-  })
-}
-
-export const decisionEventsDefinition = providerDefinition(DECISION_EVENTS, 'DecisionEvents')
-
-export const profileDefinitions = Object.freeze([
-  decisionEventsDefinition,
-  tuiChannelDefinition,
-])
-
-export function registerProfileProtocols(catalog) {
-  const disposers = profileDefinitions.map(definition => catalog.register(definition))
-  return () => { for (const dispose of disposers.reverse()) dispose() }
-}
+/** dsh-TUI private protocol definitions evaluated by @dsh-std/core. */
+
+export { registerTuiContributionExtensions } from './tui-contributions.js'
+export * from './tui-channel.js'
+import { tuiChannelDefinition } from './tui-channel.js'
+
+export const DECISION_EVENTS = Object.freeze({
+  apiVersion: 'tui.dsh/v1alpha1',
+  kind: 'DecisionEvents',
+})
+
+function featureSupport(value, label) {
+  if (value === undefined) return Object.freeze({ features: Object.freeze([]) })
+  if (typeof value !== 'object' || value === null || Array.isArray(value)) {
+    throw new TypeError(`${label} support spec must be an object`)
+  }
+  const unknown = Object.keys(value).filter(key => key !== 'features' && !key.startsWith('x-'))
+  if (unknown.length > 0) throw new TypeError(`${label} support spec contains unknown field ${JSON.stringify(unknown[0])}`)
+  if (value.features !== undefined && (!Array.isArray(value.features)
+    || value.features.some(feature => typeof feature !== 'string' || feature.trim() === ''))) {
+    throw new TypeError(`${label} support spec.features must be an array of non-empty strings`)
+  }
+  return Object.freeze({ features: Object.freeze([...(value.features ?? [])].sort()) })
+}
+
+function providerDefinition(reference, label) {
+  return Object.freeze({
+    ...reference,
+    validateRequirement(value) {
+      if (value !== undefined) throw new TypeError(`${label} requirement does not accept spec in manifest v0.15`)
+      return undefined
+    },
+    validateSupport(value) { return featureSupport(value, label) },
+    negotiate(input) {
+      const providers = [...new Set(input.supports.map(row => row.participant))].sort()
+      const issues = input.requirements.flatMap(row => providers.length === 0
+        ? [{
+            code: row.requirement.optional === true ? 'optional-support-missing' : 'required-support-missing',
+            severity: row.requirement.optional === true ? 'warning' : 'error',
+            participant: row.participant,
+            message: `${label} has no provider in this negotiation scope`,
+          }]
+        : [])
+      return { agreement: Object.freeze({ providers: Object.freeze(providers) }), issues: Object.freeze(issues) }
+    },
+  })
+}
+
+export const decisionEventsDefinition = providerDefinition(DECISION_EVENTS, 'DecisionEvents')
+
+export const profileDefinitions = Object.freeze([
+  decisionEventsDefinition,
+  tuiChannelDefinition,
+])
+
+export function registerProfileProtocols(catalog) {
+  const disposers = profileDefinitions.map(definition => catalog.register(definition))
+  return () => { for (const dispose of disposers.reverse()) dispose() }
+}

package/dsh-ecosystem-spec/protocols/tui-channel-http.d.ts

@@ -1,15 +1,15 @@
-export const TUI_CHANNEL_HTTP_API_VERSION: 'tui.dsh/v1alpha1'
-export const TUI_CHANNEL_HTTP_KIND: 'ChannelEndpoint'
-export const TUI_CHANNEL_HTTP_HEALTH_PATH: '/dsh-tui/v1/health'
-export const TUI_CHANNEL_HTTP_DESCRIPTOR_PATH: '/dsh-tui/v1/endpoint'
-export const TUI_CHANNEL_HTTP_WEBSOCKET_PATH: '/dsh-tui/v1/connection'
-
-export interface TuiChannelEndpointDescriptor {
-  readonly apiVersion: typeof TUI_CHANNEL_HTTP_API_VERSION
-  readonly kind: typeof TUI_CHANNEL_HTTP_KIND
-  readonly origin: string
-  readonly connection: typeof TUI_CHANNEL_HTTP_WEBSOCKET_PATH
-}
-
-export function createTuiChannelEndpointDescriptor(origin: string): TuiChannelEndpointDescriptor
-export function validateTuiChannelEndpointDescriptor(value: unknown): TuiChannelEndpointDescriptor
+export const TUI_CHANNEL_HTTP_API_VERSION: 'tui.dsh/v1alpha1'
+export const TUI_CHANNEL_HTTP_KIND: 'ChannelEndpoint'
+export const TUI_CHANNEL_HTTP_HEALTH_PATH: '/dsh-tui/v1/health'
+export const TUI_CHANNEL_HTTP_DESCRIPTOR_PATH: '/dsh-tui/v1/endpoint'
+export const TUI_CHANNEL_HTTP_WEBSOCKET_PATH: '/dsh-tui/v1/connection'
+
+export interface TuiChannelEndpointDescriptor {
+  readonly apiVersion: typeof TUI_CHANNEL_HTTP_API_VERSION
+  readonly kind: typeof TUI_CHANNEL_HTTP_KIND
+  readonly origin: string
+  readonly connection: typeof TUI_CHANNEL_HTTP_WEBSOCKET_PATH
+}
+
+export function createTuiChannelEndpointDescriptor(origin: string): TuiChannelEndpointDescriptor
+export function validateTuiChannelEndpointDescriptor(value: unknown): TuiChannelEndpointDescriptor

package/dsh-ecosystem-spec/protocols/tui-channel-http.js

@@ -1,32 +1,32 @@
-export const TUI_CHANNEL_HTTP_API_VERSION = 'tui.dsh/v1alpha1'
-export const TUI_CHANNEL_HTTP_KIND = 'ChannelEndpoint'
-export const TUI_CHANNEL_HTTP_HEALTH_PATH = '/dsh-tui/v1/health'
-export const TUI_CHANNEL_HTTP_DESCRIPTOR_PATH = '/dsh-tui/v1/endpoint'
-export const TUI_CHANNEL_HTTP_WEBSOCKET_PATH = '/dsh-tui/v1/connection'
-
-export function createTuiChannelEndpointDescriptor(origin) {
-  const normalized = new URL(origin)
-  if (normalized.protocol !== 'http:' && normalized.protocol !== 'https:') {
-    throw new TypeError('TUI Channel endpoint origin must use http or https')
-  }
-  normalized.pathname = '/'
-  normalized.search = ''
-  normalized.hash = ''
-  return Object.freeze({
-    apiVersion: TUI_CHANNEL_HTTP_API_VERSION,
-    kind: TUI_CHANNEL_HTTP_KIND,
-    origin: normalized.toString().replace(/\/$/u, ''),
-    connection: TUI_CHANNEL_HTTP_WEBSOCKET_PATH,
-  })
-}
-
-export function validateTuiChannelEndpointDescriptor(value) {
-  if (typeof value !== 'object' || value === null || Array.isArray(value)) throw new TypeError('TUI Channel endpoint descriptor must be an object')
-  if (value.apiVersion !== TUI_CHANNEL_HTTP_API_VERSION || value.kind !== TUI_CHANNEL_HTTP_KIND) {
-    throw new TypeError('TUI Channel endpoint descriptor version or kind is unsupported')
-  }
-  if (typeof value.origin !== 'string') throw new TypeError('TUI Channel endpoint origin must be a string')
-  createTuiChannelEndpointDescriptor(value.origin)
-  if (value.connection !== TUI_CHANNEL_HTTP_WEBSOCKET_PATH) throw new TypeError('TUI Channel endpoint connection path is unsupported')
-  return value
-}
+export const TUI_CHANNEL_HTTP_API_VERSION = 'tui.dsh/v1alpha1'
+export const TUI_CHANNEL_HTTP_KIND = 'ChannelEndpoint'
+export const TUI_CHANNEL_HTTP_HEALTH_PATH = '/dsh-tui/v1/health'
+export const TUI_CHANNEL_HTTP_DESCRIPTOR_PATH = '/dsh-tui/v1/endpoint'
+export const TUI_CHANNEL_HTTP_WEBSOCKET_PATH = '/dsh-tui/v1/connection'
+
+export function createTuiChannelEndpointDescriptor(origin) {
+  const normalized = new URL(origin)
+  if (normalized.protocol !== 'http:' && normalized.protocol !== 'https:') {
+    throw new TypeError('TUI Channel endpoint origin must use http or https')
+  }
+  normalized.pathname = '/'
+  normalized.search = ''
+  normalized.hash = ''
+  return Object.freeze({
+    apiVersion: TUI_CHANNEL_HTTP_API_VERSION,
+    kind: TUI_CHANNEL_HTTP_KIND,
+    origin: normalized.toString().replace(/\/$/u, ''),
+    connection: TUI_CHANNEL_HTTP_WEBSOCKET_PATH,
+  })
+}
+
+export function validateTuiChannelEndpointDescriptor(value) {
+  if (typeof value !== 'object' || value === null || Array.isArray(value)) throw new TypeError('TUI Channel endpoint descriptor must be an object')
+  if (value.apiVersion !== TUI_CHANNEL_HTTP_API_VERSION || value.kind !== TUI_CHANNEL_HTTP_KIND) {
+    throw new TypeError('TUI Channel endpoint descriptor version or kind is unsupported')
+  }
+  if (typeof value.origin !== 'string') throw new TypeError('TUI Channel endpoint origin must be a string')
+  createTuiChannelEndpointDescriptor(value.origin)
+  if (value.connection !== TUI_CHANNEL_HTTP_WEBSOCKET_PATH) throw new TypeError('TUI Channel endpoint connection path is unsupported')
+  return value
+}

package/dsh-ecosystem-spec/protocols/tui-channel.d.ts

@@ -1,59 +1,59 @@
-import type { ApiReference, ProtocolDefinition } from '@dsh-std/core'
-
-export type JsonValue = null | boolean | number | string | readonly JsonValue[] | { readonly [key: string]: JsonValue }
-
-export const TUI_CHANNEL: Readonly<ApiReference & {
-  apiVersion: 'tui.dsh/v1alpha1'
-  kind: 'Channel'
-}>
-export const TUI_CHANNEL_WIRE_REVISION: 6
-export const TUI_CHANNEL_FEATURES: readonly string[]
-
-export interface TuiChannelRequirementSpec {
-  readonly wireRevision: number
-  readonly features: readonly string[]
-}
-export interface TuiChannelSupportSpec extends TuiChannelRequirementSpec {}
-
-export interface TuiChannelSnapshot {
-  readonly wireRevision: number
-  readonly channelId: string
-  readonly version: number
-  readonly state: Readonly<Record<string, JsonValue>>
-}
-
-export interface TuiChannelWorkspaceFlowChoice {
-  readonly id: string
-  readonly label: string
-  readonly description?: string
-  readonly badge?: string
-  readonly action: string
-  readonly input?: {
-    readonly action: string
-    readonly initialValue?: string
-    readonly placeholder?: string
-  }
-}
-
-export type TuiChannelWorkspaceFlowResult =
-  | { readonly kind: 'target'; readonly target: import('./tui-contributions.js').WorkspaceTarget }
-  | { readonly kind: 'choices'; readonly title: string; readonly choices: readonly TuiChannelWorkspaceFlowChoice[] }
-
-export type TuiChannelInput =
-  | { readonly operation: 'open'; readonly value: { readonly workspace?: string; readonly sessionId?: string; readonly options?: JsonValue } }
-  | { readonly operation: 'subscribe'; readonly value: { readonly channelId: string; readonly afterVersion: number } }
-  | { readonly operation: 'invoke'; readonly value: { readonly channelId: string; readonly method: string; readonly arguments: readonly JsonValue[] } }
-  | { readonly operation: 'close'; readonly value: { readonly channelId: string } }
-
-export interface TuiChannelInvokeOutput {
-  readonly value: JsonValue
-  readonly valueDefined?: boolean
-  readonly snapshot?: TuiChannelSnapshot
-}
-
-export const tuiChannelDefinition: ProtocolDefinition
-export function validateTuiChannelRequirement(value: unknown): TuiChannelRequirementSpec
-export function validateTuiChannelSupport(value: unknown): TuiChannelSupportSpec
-export function validateTuiChannelInput(operation: string, value: unknown): object
-export function validateTuiChannelSnapshot(value: unknown): TuiChannelSnapshot
-export function validateTuiChannelOutput(operation: string, value: unknown): object
+import type { ApiReference, ProtocolDefinition } from '@dsh-std/core'
+
+export type JsonValue = null | boolean | number | string | readonly JsonValue[] | { readonly [key: string]: JsonValue }
+
+export const TUI_CHANNEL: Readonly<ApiReference & {
+  apiVersion: 'tui.dsh/v1alpha1'
+  kind: 'Channel'
+}>
+export const TUI_CHANNEL_WIRE_REVISION: 6
+export const TUI_CHANNEL_FEATURES: readonly string[]
+
+export interface TuiChannelRequirementSpec {
+  readonly wireRevision: number
+  readonly features: readonly string[]
+}
+export interface TuiChannelSupportSpec extends TuiChannelRequirementSpec {}
+
+export interface TuiChannelSnapshot {
+  readonly wireRevision: number
+  readonly channelId: string
+  readonly version: number
+  readonly state: Readonly<Record<string, JsonValue>>
+}
+
+export interface TuiChannelWorkspaceFlowChoice {
+  readonly id: string
+  readonly label: string
+  readonly description?: string
+  readonly badge?: string
+  readonly action: string
+  readonly input?: {
+    readonly action: string
+    readonly initialValue?: string
+    readonly placeholder?: string
+  }
+}
+
+export type TuiChannelWorkspaceFlowResult =
+  | { readonly kind: 'target'; readonly target: import('./tui-contributions.js').WorkspaceTarget }
+  | { readonly kind: 'choices'; readonly title: string; readonly choices: readonly TuiChannelWorkspaceFlowChoice[] }
+
+export type TuiChannelInput =
+  | { readonly operation: 'open'; readonly value: { readonly workspace?: string; readonly sessionId?: string; readonly options?: JsonValue } }
+  | { readonly operation: 'subscribe'; readonly value: { readonly channelId: string; readonly afterVersion: number } }
+  | { readonly operation: 'invoke'; readonly value: { readonly channelId: string; readonly method: string; readonly arguments: readonly JsonValue[] } }
+  | { readonly operation: 'close'; readonly value: { readonly channelId: string } }
+
+export interface TuiChannelInvokeOutput {
+  readonly value: JsonValue
+  readonly valueDefined?: boolean
+  readonly snapshot?: TuiChannelSnapshot
+}
+
+export const tuiChannelDefinition: ProtocolDefinition
+export function validateTuiChannelRequirement(value: unknown): TuiChannelRequirementSpec
+export function validateTuiChannelSupport(value: unknown): TuiChannelSupportSpec
+export function validateTuiChannelInput(operation: string, value: unknown): object
+export function validateTuiChannelSnapshot(value: unknown): TuiChannelSnapshot
+export function validateTuiChannelOutput(operation: string, value: unknown): object