gen-cordis-catalog now hard-errors (aggregated, not fail-fast) when an event lacks description prose or a payload @param, or a public service method lacks JSDoc, a @param per parameter, a @returns on a non-void result, or an explicit return type annotation. The this receiver and the trailing waterfall next are exempt on events (mode machinery owned by @mode); a stale @param naming no real parameter errors, mirroring the @mode contradiction check. parseJsDoc now ends prose at the first block tag (standard JSDoc semantics), so the tags never change the rendered catalog — only Source: line pointers moved. Fills the ~139 gaps found across the 15 surface files, extends the spec with negative-path fixtures for every new guard plus the exemptions, records the decision as an implemented process RFC, and extends the AGENTS.md typed-events bullet with the authoring rule. Runs inside verify-cordis-catalog -> doc-sync, so CI and pre-push enforce it with zero new wiring.
156 lines
6.1 KiB
TypeScript
156 lines
6.1 KiB
TypeScript
/**
|
|
* System prompt assembly registry. Plugins contribute ordered text sections and
|
|
* tool schema providers; `assemble()` collates them through a waterfall that
|
|
* runs once per step.
|
|
*
|
|
* @module @deepseek-ai/dsh-system-prompt
|
|
*/
|
|
|
|
import { Context, Service } from 'cordis'
|
|
import type { ToolSchema } from '@deepseek-ai/dsh-llm'
|
|
|
|
declare module 'cordis' {
|
|
interface Context {
|
|
systemPrompt: SystemPrompt
|
|
}
|
|
|
|
interface Events {
|
|
/**
|
|
* Waterfall around prompt assembly — mutate or extend the
|
|
* {@link PromptAssembly} (sections + tool schemas) before it is rendered.
|
|
* Bound to the {@link SystemPrompt} service; call `next()` to delegate.
|
|
* @param assembly - the assembly built from the registered sections and
|
|
* tool providers; listeners may mutate it or return a replacement.
|
|
* @mode waterfall
|
|
*/
|
|
'system-prompt/assemble'(this: SystemPrompt, assembly: PromptAssembly, next: () => Promise<PromptAssembly>): Promise<PromptAssembly>
|
|
/**
|
|
* A section or tool provider was registered or unregistered (the assembly
|
|
* inputs changed).
|
|
* @mode emit
|
|
*/
|
|
'system-prompt/change'(): void
|
|
}
|
|
}
|
|
|
|
/** One contributed section of the system prompt. */
|
|
export interface PromptSection {
|
|
/** Unique name (diagnostics / dedup). */
|
|
name: string
|
|
/** Sections are concatenated in ascending order. */
|
|
order: number
|
|
/** Static text or a provider evaluated at each assembly. */
|
|
text: string | (() => string)
|
|
}
|
|
|
|
/**
|
|
* The assembled prompt.
|
|
*
|
|
* Tool schemas are part of the assembly by design: "what the model is told it
|
|
* can do" is one coherent thing managed here, even though adapters transmit
|
|
* `tools` as a separate wire field rather than prompt text.
|
|
*
|
|
* Merge-extensible: plugins can declare extra fields on this interface.
|
|
*/
|
|
export interface PromptAssembly {
|
|
sections: PromptSection[]
|
|
tools: ToolSchema[]
|
|
}
|
|
|
|
/** Renders the text part of an assembly (sections joined by blank lines). */
|
|
export function renderPrompt(assembly: PromptAssembly): string {
|
|
return assembly.sections
|
|
.map(section => typeof section.text === 'function' ? section.text() : section.text)
|
|
.filter(text => text.length > 0)
|
|
.join('\n\n')
|
|
}
|
|
|
|
/**
|
|
* Registry service (`ctx.systemPrompt`): plugins contribute ordered text
|
|
* sections and tool-schema providers; the agent loop calls `assemble()` once
|
|
* per step.
|
|
*/
|
|
export class SystemPrompt extends Service {
|
|
private sections: PromptSection[] = []
|
|
private toolProviders: (() => ToolSchema[])[] = []
|
|
|
|
constructor(ctx: Context) {
|
|
super(ctx, 'systemPrompt')
|
|
}
|
|
|
|
/**
|
|
* Contribute a text section to the system prompt. Order is determined by
|
|
* `section.order` (ascending). The section is removed when the calling
|
|
* fiber is disposed. Emits `system-prompt/change` on register/unregister.
|
|
* @param section - the section to contribute (name, order, text or provider).
|
|
* @returns the disposer that removes the section.
|
|
*/
|
|
section(section: PromptSection): () => void {
|
|
const dispose = this.ctx.effect(function* (this: SystemPrompt) {
|
|
this.sections.push(section)
|
|
// Yield the rollback BEFORE emitting `system-prompt/change`: a generator
|
|
// effect collects each yielded disposer before the next step runs, so a
|
|
// throwing change listener removes the section instead of leaking it into
|
|
// every future assembly.
|
|
yield () => {
|
|
const index = this.sections.indexOf(section)
|
|
/* v8 ignore next 3 -- defensive: section was registered, so indexOf is guaranteed >= 0 */
|
|
if (index >= 0) this.sections.splice(index, 1)
|
|
this.ctx.emit('system-prompt/change')
|
|
}
|
|
this.ctx.emit('system-prompt/change')
|
|
}.bind(this), 'systemPrompt.section()')
|
|
// ctx.effect's disposer returns Promise<void>; our disposer API is
|
|
// synchronous fire-and-forget — discard the (always-resolved) promise.
|
|
return () => void dispose()
|
|
}
|
|
|
|
/**
|
|
* Contribute a tool-schema provider that is evaluated at each assembly
|
|
* call (so it can reflect the live registry state). The provider is
|
|
* removed when the calling fiber is disposed. Emits `system-prompt/change`.
|
|
* @param provider - evaluated at every {@link assemble} for fresh schemas.
|
|
* @returns the disposer that removes the provider.
|
|
*/
|
|
tools(provider: () => ToolSchema[]): () => void {
|
|
const dispose = this.ctx.effect(function* (this: SystemPrompt) {
|
|
this.toolProviders.push(provider)
|
|
// Yield the rollback BEFORE emitting `system-prompt/change` (see section()).
|
|
yield () => {
|
|
const index = this.toolProviders.indexOf(provider)
|
|
/* v8 ignore next 3 -- defensive: provider was registered, so indexOf is guaranteed >= 0 */
|
|
if (index >= 0) this.toolProviders.splice(index, 1)
|
|
this.ctx.emit('system-prompt/change')
|
|
}
|
|
this.ctx.emit('system-prompt/change')
|
|
}.bind(this), 'systemPrompt.tools()')
|
|
// ctx.effect's disposer returns Promise<void>; our disposer API is
|
|
// synchronous fire-and-forget — discard the (always-resolved) promise.
|
|
return () => void dispose()
|
|
}
|
|
|
|
/**
|
|
* Assemble the current prompt (sections sorted by order, tools collected
|
|
* from all providers). Section records are top-level clones (the `text`
|
|
* provider may be a function and is intentionally shared); tool schemas are
|
|
* deep-cloned because adapters and request waterfalls may mutate schema
|
|
* objects. Runs through the `system-prompt/assemble` waterfall, giving
|
|
* listeners the opportunity to mutate or replace the assembly before it
|
|
* reaches the model. Await the result before reading the assembly values —
|
|
* waterfall listeners may be async.
|
|
* @returns the assembly after the waterfall has run.
|
|
*/
|
|
assemble(): Promise<PromptAssembly> {
|
|
const assembly: PromptAssembly = {
|
|
sections: this.sections
|
|
.map(section => ({ ...section }))
|
|
.sort((a, b) => a.order - b.order),
|
|
tools: this.toolProviders.flatMap(provider =>
|
|
provider().map(tool => ({ ...tool, parameters: structuredClone(tool.parameters) }))),
|
|
}
|
|
return this.ctx.waterfall(this, 'system-prompt/assemble', assembly, () => Promise.resolve(assembly))
|
|
}
|
|
}
|
|
|
|
export default SystemPrompt
|