dsh-ptc-plus 0.3.2 → 0.4.1

package/internal/runtime-contexts.js

@@ -1,5 +1,9 @@
 import { latestRecoveryTip } from './recovery-tips.js'
-import { projectSessionLog } from './session-log-view.js'
+import { projectSessionLog, systemPromptSnapshotSections } from './session-log-view.js'
+import {
+  PTC_BINDING_CATALOG, PTC_DELIVERY_CONTEXT, PTC_STATE_NAMES, readRuntimeMessage,
+  runtimeBindingCatalogMessage, runtimeNoticeMessage, runtimeStateMessage,
+} from './runtime-messages.js'
 
 const REWRITE_FEEDBACK = 'tools:ptc-plus-rewrite-info'
 const CORDIS_RECOVERY = 'tools:ptc-plus-cordis-recovery'
@@ -8,15 +12,11 @@ const CORDIS_RECOVERY_TEXT = 'Recorded Cordis values in the recovered REPL are h
 function continuationFeedback(view) {
   const run = view.latestRun
   const rewrites = run?.rewrites
-  if (rewrites === undefined || rewrites.length === 0) return undefined
-  const details = rewrites.map(rewrite => rewrite.description).join('; ')
-  if (run.journal === undefined) {
-    return `The preceding run_code cell had these source adjustments: ${details}. Its completion is unknown because no valid execution journal is available. Inspect its tool result and live bindings before continuing; do not assume it completed or failed, and do not replay it automatically.`
-  }
-  if (run.journal.completion?.kind !== 'return') {
-    return `The preceding run_code cell failed after a source adjustment: ${details}. Treat it as failed; inspect its tool result and live bindings before continuing, and do not replay it automatically.`
-  }
-  return undefined
+  if (rewrites === undefined || rewrites.length === 0 || run.journal !== undefined) return undefined
+  const descriptions = rewrites.map(rewrite => rewrite.description).join('; ')
+  const details = descriptions.length <= 2048 ? descriptions
+    : `${descriptions.slice(0, 2048)}... (source-adjustment list truncated)`
+  return `The preceding run_code cell had these source adjustments: ${details}. Its completion is unknown because no valid execution journal is available. Inspect its tool result and live bindings before continuing; do not assume it completed or failed, and do not replay it automatically.`
 }
 
 /** Build all dynamic PTC contexts from one session-log projection. */
@@ -35,3 +35,75 @@ export function sessionRuntimeContexts(agent, tipConfig, options = {}) {
     ]),
   })
 }
+
+/** Project messages without treating an uncommitted proposal as delivery. */
+export function projectRuntimeMessages(view, contexts, pending = []) {
+  if (view.visibleRuntimeMessages === undefined) return []
+  const sections = contexts.filter(context => PTC_STATE_NAMES.includes(context.name) && context.name !== PTC_BINDING_CATALOG)
+  const catalog = contexts.find(context => context.name === PTC_BINDING_CATALOG)
+  const records = view.visibleRuntimeMessages
+  const owned = records.filter(record => record.producer === 'ptc-plus' && record.form === 'snapshot').at(-1)
+  const legacy = records.filter(record => record.producer === 'aggregate').at(-1)
+  const pendingAggregate = pending.map(systemPromptSnapshotSections).filter(sections => sections !== undefined).at(-1)
+  const retained = owned?.sections
+    ?? (pendingAggregate ?? legacy?.sections)?.filter(section => PTC_STATE_NAMES.includes(section.name))
+  const hadState = view.ptcMessages.some(record => record.form === 'snapshot')
+    || view.systemPromptSnapshots.some(record => record.sections.some(section => PTC_STATE_NAMES.includes(section.name)))
+  const messages = []
+  const proposed = pending.map(readRuntimeMessage).filter(record => record !== undefined)
+  const pendingState = proposed.filter(record => record.form === 'snapshot').at(-1)
+  const previous = pendingState?.sections ?? retained
+  if ((sections.length > 0 || (previous !== undefined && previous.length > 0) || (previous === undefined && hadState))
+    && JSON.stringify(previous) !== JSON.stringify(sections)) {
+    messages.push(runtimeStateMessage(sections))
+  }
+  const previousCatalog = proposed.filter(record => record.form === 'catalog').at(-1)
+    ?? records.filter(record => record.form === 'catalog').at(-1)
+  const hadCatalog = view.ptcMessages.some(record => record.form === 'catalog')
+  if ((catalog !== undefined || previousCatalog !== undefined || hadCatalog)
+    && JSON.stringify(previousCatalog?.sections) !== JSON.stringify(catalog === undefined ? [] : [catalog])) {
+    messages.push(runtimeBindingCatalogMessage(catalog))
+  }
+  for (const tip of contexts.filter(context => context.name.startsWith('tools:ptc-plus-tip/'))) {
+    if (proposed.some(record => record.form === 'notice' && record.name === tip.name)) continue
+    if (view.ptcMessages.some(record => record.form === 'notice' && record.name === tip.name)
+      || view.systemPromptSnapshots.some(snapshot => snapshot.sections.some(section => section.name === tip.name))) continue
+    messages.push(runtimeNoticeMessage(tip))
+  }
+  return messages
+}
+
+/** Passive message delivery follows the actual public assembly and accepted step. */
+export function createRuntimeMessageOwner(contextsForRequest) {
+  const requests = new WeakMap()
+  const disposedAgents = new WeakSet()
+  let disposed = false
+  const hasWitness = assembly => assembly.contexts?.some(context => (
+    context.name === PTC_DELIVERY_CONTEXT && context.text === ''
+  )) === true
+  return Object.freeze({
+    async assemble(initial, context, next) {
+      const assembly = await next()
+      if (!disposed && context?.agent !== null && typeof context?.agent === 'object'
+        && !disposedAgents.has(context.agent)) requests.set(context.agent, {
+        context,
+        allowed: hasWitness(initial) && hasWitness(assembly),
+      })
+      return hasWitness(assembly) ? {
+        ...assembly, contexts: assembly.contexts.filter(item => item.name !== PTC_DELIVERY_CONTEXT),
+      } : assembly
+    },
+    async preStep(payload, next) {
+      const decision = await next()
+      const request = requests.get(payload.agent)
+      if (disposed || decision.kind !== 'enter' || payload.signal?.aborted === true
+        || request?.allowed !== true || request.context.signal !== payload.signal) return decision
+      const messages = projectRuntimeMessages(
+        projectSessionLog(payload.agent), contextsForRequest(request.context), decision.messages,
+      )
+      return messages.length === 0 ? decision : { ...decision, messages: [...decision.messages, ...messages] }
+    },
+    disposeAgent(agent) { disposedAgents.add(agent); requests.delete(agent) },
+    dispose() { disposed = true },
+  })
+}

package/internal/runtime-messages.js

@@ -0,0 +1,111 @@
+import { createUserMessage } from '@deepseek-ai/dsh-llm'
+
+export const PTC_DELIVERY_CONTEXT = 'tools:ptc-plus-message-delivery'
+export const PTC_BINDING_CATALOG = 'tools:ptc-plus-user-binding-defaults'
+export const PTC_STATE_NAMES = Object.freeze([
+  'tools:ptc-plus-rewrite-info',
+  'tools:ptc-plus-cordis-recovery',
+  'tools:ptc-plus-user-binding-defaults',
+  // Historical active declarations remain readable so a new snapshot can withdraw them.
+  'tools:ptc-plus-user-bindings',
+])
+const MAX_STATE_CODE_UNITS = 65536
+const MAX_NOTICE_CODE_UNITS = 8192
+const LEGACY_STATE_PREFIX = 'PTC Plus current state. This replaces only earlier PTC state snapshots and PTC sections in historical aggregate snapshots; it does not replace tasks, Skill instructions, tool results, or other producers.'
+const PREVIOUS_STATE_PREFIX = 'PTC Plus runtime recovery state. This replaces only earlier PTC state snapshots and PTC sections in historical aggregate snapshots; it does not replace the global binding API catalog, tasks, Skill instructions, tool results, or other producers.'
+const PREVIOUS_CATALOG_PREFIXES = [
+  'Global binding API catalog (PTC Plus). Only a later global binding API catalog replaces this catalog. Host runtime-context snapshots and PTC recovery snapshots do not withdraw it. This describes configured APIs, not successful initialization or current runtime values.',
+  'Global binding API catalog (PTC Plus). Replaces earlier binding catalogs only; remains applicable until the next binding catalog.',
+]
+const STATE_PREFIX = 'PTC Plus recovery status. Replaces earlier PTC recovery status, including PTC state in runtime-context snapshots. Global binding APIs are unchanged.'
+const CATALOG_PREFIX = 'Global binding API reference for run_code (replaces the previous global binding reference):'
+const EMPTY_CATALOG = 'No entries documented.'
+const PREVIOUS_EMPTY_CATALOG = 'No global binding API documentation is currently configured. Earlier binding catalogs no longer apply.'
+
+export function recoveryTipIdentity(name) {
+  if (typeof name !== 'string') return undefined
+  const match = /^tools:ptc-plus-tip\/(repeated-binding-failure|platform-command-failure)\/([1-9][0-9]*)$/.exec(name)
+  if (match === null || !Number.isSafeInteger(Number(match[2]))) return undefined
+  return { id: match[1], ordinal: Number(match[2]) }
+}
+
+function stateSections(value) {
+  if (!Array.isArray(value) || value.length > PTC_STATE_NAMES.length) return undefined
+  const sections = []
+  const names = new Set()
+  let size = 0
+  for (const section of value) {
+    if (!PTC_STATE_NAMES.includes(section?.name) || names.has(section.name)
+      || typeof section.text !== 'string' || section.text.length === 0) return undefined
+    size += section.text.length
+    if (size > MAX_STATE_CODE_UNITS) return undefined
+    names.add(section.name)
+    sections.push(Object.freeze({ name: section.name, text: section.text }))
+  }
+  return Object.freeze(sections)
+}
+
+function stateText(sections, prefix = STATE_PREFIX) {
+  return `${prefix}\n\n${sections.length === 0
+    ? 'No current PTC state declarations remain. Earlier PTC state claims no longer apply.'
+    : sections.map(section => section.text).join('\n\n')}`
+}
+
+/** Recognize only bounded, formed PTC records, never authoring tasks or Skills. */
+export function readRuntimeMessage(message) {
+  const source = message?.source
+  if (source?.kind !== 'plugin' || source.plugin !== 'ptc-plus'
+    || !Array.isArray(message.content) || message.content.length !== 1
+    || message.content[0]?.type !== 'text') return undefined
+  const text = message.content[0].text
+  if (source.form === 'snapshot') {
+    const sections = stateSections(source.sections)
+    if (sections !== undefined && [STATE_PREFIX, PREVIOUS_STATE_PREFIX, LEGACY_STATE_PREFIX]
+      .some(prefix => text === stateText(sections, prefix))) {
+      return { form: 'snapshot', sections }
+    }
+  } else if (source.form === 'catalog' && typeof text === 'string') {
+    const prefix = [CATALOG_PREFIX, ...PREVIOUS_CATALOG_PREFIXES].find(prefix => text.startsWith(`${prefix}\n\n`))
+    if (prefix === undefined) return undefined
+    const body = text.slice(prefix.length + 2)
+    if (body.length > 0 && body.length <= MAX_STATE_CODE_UNITS) {
+      const empty = body === (prefix === CATALOG_PREFIX ? EMPTY_CATALOG : PREVIOUS_EMPTY_CATALOG)
+      return { form: 'catalog', sections: stateSections(empty ? [] : [{ name: PTC_BINDING_CATALOG, text: body }]) }
+    }
+  } else if (source.form === 'notice' && recoveryTipIdentity(source.summary) !== undefined
+    && typeof text === 'string' && text.length > 0 && text.length <= MAX_NOTICE_CODE_UNITS) {
+    return { form: 'notice', name: source.summary, text }
+  }
+  return undefined
+}
+
+/** One literal configuration document, independent of runtime recovery state. */
+export function runtimeBindingCatalogMessage(context) {
+  if (context !== undefined && (context?.name !== PTC_BINDING_CATALOG
+    || typeof context.text !== 'string' || context.text.length === 0
+    || context.text.length > MAX_STATE_CODE_UNITS || context.text === EMPTY_CATALOG || context.text === PREVIOUS_EMPTY_CATALOG)) {
+    throw new Error('invalid PTC binding catalog')
+  }
+  return createUserMessage({
+    source: { kind: 'plugin', plugin: 'ptc-plus', form: 'catalog' },
+    content: [{ type: 'text', text: `${CATALOG_PREFIX}\n\n${context?.text ?? EMPTY_CATALOG}` }],
+  })
+}
+
+export function runtimeStateMessage(value) {
+  const sections = stateSections(value)
+  if (sections === undefined) throw new Error('invalid PTC runtime state sections')
+  return createUserMessage({
+    source: { kind: 'plugin', plugin: 'ptc-plus', form: 'snapshot', sections },
+    content: [{ type: 'text', text: stateText(sections) }],
+  })
+}
+
+export function runtimeNoticeMessage(tip) {
+  const message = createUserMessage({
+    source: { kind: 'plugin', plugin: 'ptc-plus', form: 'notice', summary: tip.name },
+    content: [{ type: 'text', text: tip.text }],
+  })
+  if (readRuntimeMessage(message) === undefined) throw new Error('invalid PTC recovery notice')
+  return message
+}