mirror of
https://github.com/deepseek-ai/deepseek-harness
synced 2026-08-15 21:04:50 +00:00
ec601ca13d
Machine-produced by `pnpm run rescope-vendor --apply` plus the regeneration it prints: `pnpm install` for the lockfile, `pnpm run gen-third-party-notices`, `verify-translation-pairing --write` for the touched bilingual pairs, `gen-doc-graphs`, and one typert snapshot whose ids embed character offsets. `pnpm run rescope-vendor --check` verifies the result. Renames nine vendored packages (cordis, cosmokit, schemastery and the six @cordisjs plugins) and every reference that resolves them: manifest names and dependency keys, module specifiers including declare-module merges, cordis.yml plugin names, tsconfig paths, every Markdown fence, and `docs/` prose. Directory names, upstream versions, and dependency ranges are unchanged, so vendor/README.md still reads as an upstream snapshot; its manifest table gains an upstream-name column so THIRD_PARTY_NOTICES keeps MIT attribution pointed at each fork's origin. The tutorial tier follows the rename end to end: its yaml fences named plugins the Loader can no longer resolve, its `ts ignore-check` fences disagreed with the compiled fences beside them, and its prose quoted both. The contracts that told readers to keep upstream names — the root convention and the vendoring cookbook's tree comment and manifest invariant — now say to rescope instead. Two rules read `@deepseek-ai/` as "another workspace plugin": the client bundle purity gate now names the vendored libraries a browser bundle inlines, and the files where a bare `cordis` is an agent-preset id keep that product data.
64 lines
3.0 KiB
TypeScript
64 lines
3.0 KiB
TypeScript
/**
|
|
* Package-owned request-reconstruction invariant for loop-built LLM calls.
|
|
* @module @deepseek-ai/dsh-agent-loop/invariant
|
|
*/
|
|
|
|
import type { Context } from '@deepseek-ai/cordis'
|
|
import { isAgentLoopRequest, type GenerateOptions } from '@deepseek-ai/dsh-llm'
|
|
import type { InvariantFailure, InvariantInstaller } from '@deepseek-ai/dsh-invariants'
|
|
import { foldRequestHeader } from '@deepseek-ai/dsh-session'
|
|
|
|
const PACKAGE_NAME = '@deepseek-ai/dsh-agent-loop'
|
|
|
|
/** Cordis companion plugin name. */
|
|
export const name = 'agent-loop-invariant'
|
|
/** Service required before the companion can reserve package ownership. */
|
|
export const inject = ['invariants']
|
|
|
|
/** Install the request-reconstruction contribution into its child registration fiber. */
|
|
const install: InvariantInstaller = Object.assign((ctx: Context, fail: InvariantFailure) => {
|
|
// Prepend prevents a short-circuiting replay listener from silencing the check.
|
|
ctx.on('llm/stream', (options: GenerateOptions, next) => {
|
|
if (!isAgentLoopRequest(options)) return next()
|
|
if (!Object.isFrozen(options)) fail('a loop-built request must be frozen')
|
|
if (options.sessionId === undefined) fail('a loop-built request must carry a session id')
|
|
const session = ctx.sessions.get(options.sessionId)
|
|
if (!session) fail(`a loop-built request must carry a live session id, got "${String(options.sessionId)}"`)
|
|
if (!Object.isFrozen(options.messages)) {
|
|
fail('a loop-built request must carry a frozen messages array')
|
|
}
|
|
|
|
const events = session.events
|
|
if (!events.some(event => event.type === 'step/start')) {
|
|
return fail('a loop-built request with no step/start in its session log')
|
|
}
|
|
const header = foldRequestHeader(events)
|
|
if (header === undefined) {
|
|
return fail('a loop-built request with no request/header event in its session log')
|
|
}
|
|
const expected = session.deriveMessages()
|
|
if (JSON.stringify(options.messages) !== JSON.stringify(expected)) {
|
|
fail(`llm request for session "${String(session.id)}" diverges from the dispatch-time durable derivation (log-reconstruction desync)`)
|
|
}
|
|
|
|
const headerMatches = options.model === header.config.model
|
|
&& options.system === header.system
|
|
&& options.temperature === header.config.temperature
|
|
&& options.maxTokens === header.config.maxTokens
|
|
&& JSON.stringify(options.stop) === JSON.stringify(header.config.stop)
|
|
&& JSON.stringify(options.tools ?? []) === JSON.stringify(header.tools ?? [])
|
|
if (!headerMatches) {
|
|
fail(`llm request for session "${String(session.id)}" diverges from the folded request header`)
|
|
}
|
|
return next()
|
|
}, { global: true, prepend: true })
|
|
}, { inject: ['sessions'] })
|
|
|
|
/**
|
|
* Register the agent-loop 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))
|