| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209 |
- /**
- * Opt-in request clock context. Eligible steps add durable,
- * source-attributed time readings to the request history.
- *
- * @module @deepseek-ai/dsh-time-context
- */
- import type { Context } from '@deepseek-ai/cordis'
- import z from '@deepseek-ai/schemastery'
- import type { Agent, PreStepDecision } from '@deepseek-ai/dsh-agent'
- import { createUserMessage } from '@deepseek-ai/dsh-llm'
- import type { UserMessage } from '@deepseek-ai/dsh-llm'
- import {
- deriveBrowserTimeZoneContext,
- renderBrowserTimeZoneContext,
- } from './request-zone.ts'
- import type { BrowserTimeZoneContext } from './request-zone.ts'
- import { createTimestampFormatter, formatTimestamp } from './timestamp.ts'
- /** Cordis plugin name used by loader diagnostics. */
- export const name = 'time-context'
- /** The agent registry that owns pre-step processing. */
- export const inject = ['agents']
- /** Request-preparation clock formatting and append scheduling. Invalid values fail plugin load. */
- export interface Config {
- /** Fallback display zone when the open turn has no unique browser zone. Omit to use the process zone. */
- timeZone?: string
- /** Minimum milliseconds between durable injections in one session. Omit or set to 0 to inject at every eligible step. */
- refreshIntervalMs?: number
- }
- /** Schemastery validation for {@link Config}. */
- export const Config: z<Config> = z.object({
- timeZone: z.string(),
- refreshIntervalMs: z.number(),
- })
- /** Format a non-negative elapsed millisecond count as compact whole-second units. */
- function formatDuration(elapsedMs: number): string {
- let seconds = Math.floor(Math.max(0, elapsedMs) / 1000)
- const days = Math.floor(seconds / 86_400)
- seconds %= 86_400
- const hours = Math.floor(seconds / 3600)
- seconds %= 3600
- const minutes = Math.floor(seconds / 60)
- seconds %= 60
- const parts: string[] = []
- if (days > 0) parts.push(`${days}d`)
- if (hours > 0) parts.push(`${hours}h`)
- if (minutes > 0) parts.push(`${minutes}m`)
- parts.push(`${seconds}s`)
- return parts.join(' ')
- }
- /** Find the latest model-visible event, excluding this plugin's pending append. */
- function precedingMessageTime(agent: Agent): number | undefined {
- for (const event of [...agent.session.events].reverse()) {
- switch (event.type) {
- case 'user/message':
- case 'assistant/message':
- case 'tool/result':
- return event.time
- default:
- // Merge-extensible session events: non-surface records are not messages.
- break
- }
- }
- return undefined
- }
- /** Find the preceding time-context event within the open turn. */
- function precedingStepContextTime(agent: Agent, turn: number): number | undefined {
- for (const event of [...agent.session.events].reverse()) {
- if (event.type === 'turn/start' && event.data.turn === turn) return undefined
- if (event.type === 'user/message'
- && event.data.source.kind === 'plugin'
- && event.data.source.plugin === name) {
- return event.time
- }
- }
- return undefined
- }
- /** Find this plugin's latest durable injection, including a shadowed surface event. */
- function latestInjectionTime(agent: Agent): number | undefined {
- for (const event of [...agent.session.events].reverse()) {
- if (event.type === 'user/message'
- && event.data.source.kind === 'plugin'
- && event.data.source.plugin === name) {
- return event.time
- }
- }
- return undefined
- }
- /** Collect already-entered and proposed user messages belonging to one open turn. */
- function requestMessages(agent: Agent, turn: number, proposed: readonly UserMessage[]): UserMessage[] {
- const start = agent.session.events.findLastIndex(
- event => event.type === 'turn/start' && event.data.turn === turn,
- )
- const entered = start < 0
- ? []
- : agent.session.events.slice(start + 1)
- .flatMap(event => event.type === 'user/message' ? [event.data] : [])
- return [...entered, ...proposed]
- }
- function renderText(
- now: number,
- turn: number,
- step: number,
- previous: number | undefined,
- formatter: Intl.DateTimeFormat,
- timeZone: string,
- browserContext: BrowserTimeZoneContext,
- ): string {
- const elapsed = previous === undefined ? 'unavailable' : formatDuration(now - previous)
- const baseline = step === 1 ? 'model-visible message' : 'step context'
- const browserText = renderBrowserTimeZoneContext(browserContext)
- return `Time sampled while preparing turn ${turn}, step ${step}: ${formatTimestamp(now, formatter, timeZone)}\n`
- + `${browserText}\n`
- + `Elapsed since the preceding ${baseline}: ${elapsed}.`
- }
- /** Reject refresh intervals that cannot represent an exact elapsed-millisecond threshold. */
- function validateRefreshInterval(refreshIntervalMs: number | undefined): void {
- if (refreshIntervalMs !== undefined && (
- !Number.isSafeInteger(refreshIntervalMs)
- || refreshIntervalMs < 0
- )) {
- throw new TypeError(
- `time-context: refreshIntervalMs must be a non-negative safe integer, got ${String(refreshIntervalMs)}`,
- )
- }
- }
- /**
- * Register a prepended pre-step listener for the lifetime of `ctx`.
- * @param ctx - plugin context; the listener is disposed with it.
- * @param config - time zone and durable refresh scheduling configuration.
- * @throws when the refresh interval is invalid or the configured or process time zone cannot be resolved.
- */
- export function apply(ctx: Context, config: Config): void {
- const timeZone = config.timeZone
- const refreshIntervalMs = config.refreshIntervalMs
- validateRefreshInterval(refreshIntervalMs)
- let fallbackFormatter: Intl.DateTimeFormat
- try {
- fallbackFormatter = createTimestampFormatter(timeZone)
- } catch (error: unknown) {
- const message = timeZone === undefined
- ? 'time-context: failed to resolve the system time zone'
- : `time-context: invalid IANA timeZone ${JSON.stringify(timeZone)}`
- throw new Error(message, { cause: error })
- }
- const fallbackTimeZone = fallbackFormatter.resolvedOptions().timeZone
- const formatters = new Map<string, Intl.DateTimeFormat>([[fallbackTimeZone, fallbackFormatter]])
- /** Resolve and cache one request-local timestamp formatter. */
- const formatterFor = (selectedTimeZone: string): Intl.DateTimeFormat => {
- const existing = formatters.get(selectedTimeZone)
- if (existing !== undefined) return existing
- const created = createTimestampFormatter(selectedTimeZone)
- formatters.set(selectedTimeZone, created)
- return created
- }
- ctx.on('agent/pre-step', async (
- { agent, turn, step, signal },
- next,
- ): Promise<PreStepDecision> => {
- const decision = await next()
- if (decision.kind === 'reject' || signal.aborted) return decision
- const now = Date.now()
- if (refreshIntervalMs !== undefined && refreshIntervalMs > 0) {
- const lastInjection = latestInjectionTime(agent)
- if (lastInjection !== undefined
- && now >= lastInjection
- && now - lastInjection < refreshIntervalMs) return decision
- }
- const previous = step === 1
- ? precedingMessageTime(agent)
- : precedingStepContextTime(agent, turn)
- const messages = requestMessages(agent, turn, decision.messages)
- const browser = deriveBrowserTimeZoneContext(messages)
- const selectedTimeZone = browser.kind === 'resolved' ? browser.timeZone : fallbackTimeZone
- const text = renderText(
- now,
- turn,
- step,
- previous,
- formatterFor(selectedTimeZone),
- selectedTimeZone,
- browser,
- )
- return {
- kind: 'enter',
- messages: [
- ...decision.messages,
- createUserMessage({
- content: [{ type: 'text', text }],
- source: { kind: 'plugin', plugin: name, form: 'snapshot', sections: [{ name, text }] },
- }),
- ],
- }
- }, { prepend: true })
- }
|