3a61c4c568
Whether concurrent active tasks are legitimate depends on runtime concurrency the tool cannot observe, but whether a deployment's agents ever fan out is knowable at composition time. `allowParallelInProgress` (default true) therefore replaces the hardcoded policy: the flag moves the model-facing instruction and the accepted input together, so a deployment running strictly sequential agents can restore the single-active discipline from cordis.yml. The durable-log invariant does not follow the flag. A log written while parallel work was allowed must still replay after a deployment tightens the policy, so the invariant stays silent on the active count.
67 lines
3.0 KiB
TypeScript
67 lines
3.0 KiB
TypeScript
/** Package-owned durable todo-snapshot invariants. @module @deepseek-ai/dsh-tool-todo/invariant */
|
|
|
|
import type { Context } from 'cordis'
|
|
import type { Session, SessionEvent } from '@deepseek-ai/dsh-session'
|
|
import type { InvariantFailure, InvariantInstaller } from '@deepseek-ai/dsh-invariants'
|
|
|
|
const PACKAGE_NAME = '@deepseek-ai/dsh-tool-todo'
|
|
const TODO_STATUSES = new Set(['pending', 'in_progress', 'completed'])
|
|
|
|
/** Cordis companion plugin name. */
|
|
export const name = 'tool-todo-invariant'
|
|
/** Service required before the companion can reserve package ownership. */
|
|
export const inject = ['invariants']
|
|
|
|
/**
|
|
* Validate one whole-list todo snapshot before it reaches the durable log.
|
|
*
|
|
* Deliberately silent on how many items are `in_progress`. That is the tool's
|
|
* per-deployment policy (`Config.allowParallelInProgress`), not a durable-shape
|
|
* rule: a log written while parallel work was allowed must still replay after a
|
|
* deployment tightens the policy, so tying the invariant to the current config
|
|
* would reject history that was valid when it was written.
|
|
*/
|
|
function validateTodos(value: unknown, fail: InvariantFailure): void {
|
|
if (!Array.isArray(value)) fail('todo/write todos must be an array')
|
|
const seen = new Set<string>()
|
|
for (const item of value) {
|
|
if (typeof item !== 'object' || item === null) fail('todo/write entries must be objects')
|
|
const { content, status } = item as Record<string, unknown>
|
|
if (typeof content !== 'string' || content.length === 0 || content.trim() !== content) {
|
|
fail('todo/write content must be non-empty and already trimmed')
|
|
}
|
|
if (seen.has(content)) fail(`todo/write repeats content ${JSON.stringify(content)}`)
|
|
seen.add(content)
|
|
if (typeof status !== 'string' || !TODO_STATUSES.has(status)) {
|
|
fail(`todo/write carries unknown status ${JSON.stringify(status)}`)
|
|
}
|
|
}
|
|
}
|
|
|
|
/* jscpd:ignore-start -- package companions share replay and dispatch plumbing */
|
|
/** Validate the package-owned event shape and ignore unrelated events. */
|
|
function validateEvent(event: SessionEvent, fail: InvariantFailure): void {
|
|
if (event.type === 'todo/write') validateTodos(event.data.todos, fail)
|
|
}
|
|
|
|
/** Install validation for loaded and newly appended whole-list todo snapshots. */
|
|
const install: InvariantInstaller = Object.assign((ctx: Context, fail: InvariantFailure) => {
|
|
for (const session of ctx.sessions.list()) {
|
|
for (const event of session.events) validateEvent(event, fail)
|
|
}
|
|
ctx.on('internal/dispatch', (_mode, eventName, args) => {
|
|
if (eventName !== 'session/event') return
|
|
const event = (args as [Session, SessionEvent])[1]
|
|
validateEvent(event, fail)
|
|
}, { global: true })
|
|
}, { inject: ['sessions'] })
|
|
/* jscpd:ignore-end */
|
|
|
|
/**
|
|
* Register the todo invariant companion.
|
|
* @param ctx - Cordis context carrying the invariant service.
|
|
* @returns the installed registration's disposer after setup succeeds.
|
|
*/
|
|
export const apply = (ctx: Context): Promise<() => void> =>
|
|
Promise.resolve(ctx.invariants.register(PACKAGE_NAME, install))
|