Merge origin/master into codex/invariant-service-seam

# Conflicts: # docs/config-catalog.md # docs/event-producer-consumer.md # docs/module-graph.md # packages/examples/agent-spine-demo/README.md # packages/examples/agent-spine-demo/package.json # packages/examples/agent-spine-demo/src/index.ts # packages/examples/tui-demo/package.json # packages/support/invariants/src/scoped-events.generated.ts # packages/ui/acp/package.json # packages/ui/tui/package.json # packages/ui/tui/tests/tui.spec.ts # pnpm-lock.yaml
2026-07-21 01:13:28 +08:00
parent 4e7a687c0b 6bcc9fbf32
commit 55ef21d9d5
213 changed files with 7860 additions and 257 deletions
@@ -0,0 +1,143 @@
+import { describe, expect, it } from 'vitest'
+import { Context } from 'cordis'
+import {
+  GoalId,
+  renderGoalChange,
+  type GoalSnapshotChangeMeta,
+  type GoalView,
+} from '@deepseek-ai/dsh-goal'
+import * as GoalSessionInvariant from '@deepseek-ai/dsh-goal-session/invariant'
+import { renderGoalRoundPrompt } from '@deepseek-ai/dsh-goal-session'
+import InvariantService, { InvariantError } from '@deepseek-ai/dsh-invariants'
+import SessionStore, { SessionId, type Session } from '@deepseek-ai/dsh-session'
+
+const change: GoalSnapshotChangeMeta = {
+  kind: 'goal/change',
+  version: 1,
+  operation: 'create',
+  goal: {
+    id: GoalId('goal-session-invariant'),
+    revision: 1,
+    objective: 'verify every continuation prompt',
+    phase: 'active',
+    maxGoalRounds: 2,
+  },
+  roundsStarted: 0,
+  createdAt: 1,
+  updatedAt: 1,
+}
+
+const changeSource = {
+  kind: 'goal',
+  goalId: change.goal.id,
+  revision: change.goal.revision,
+  round: 0,
+} as const
+
+function view(roundsStarted: number): GoalView {
+  return { ...change.goal, roundsStarted, createdAt: 1, updatedAt: 1, activation: 'armed' }
+}
+
+function appendChange(session: Session): void {
+  session.append('turn/start', { turn: 1, trigger: { kind: 'injection', source: changeSource } })
+  session.append('context/message', {
+    content: renderGoalChange(change),
+    source: changeSource,
+    meta: change as never,
+  }, { surfaceOp: 'append' })
+  session.append('turn/end', { turn: 1, reason: { kind: 'completed' } })
+}
+
+function appendRound(session: Session, turn: number, content = renderGoalRoundPrompt(view(turn - 2), turn - 1)): void {
+  const source = { kind: 'goal', goalId: change.goal.id, revision: 1, round: turn - 1 } as const
+  session.append('turn/start', { turn, trigger: { kind: 'message', source } })
+  session.append('user/message', { content, source }, { surfaceOp: 'append' })
+  session.append('turn/end', { turn, reason: { kind: 'completed' } })
+}
+
+async function mount(sessionFirst = false): Promise<{ ctx: Context; session: Session }> {
+  const ctx = new Context()
+  await ctx.plugin(SessionStore)
+  const session = ctx.sessions.create(SessionId('goal-session-invariant'))
+  if (!sessionFirst) {
+    await ctx.plugin(InvariantService, { enabled: true })
+    await ctx.plugin(GoalSessionInvariant)
+  }
+  return { ctx, session }
+}
+
+describe('goal-session prompt invariants', () => {
+  it('reconstructs existing rounds and accepts the next canonical prompt', async () => {
+    const { ctx, session } = await mount(true)
+    appendChange(session)
+    appendRound(session, 2)
+
+    await ctx.plugin(InvariantService, { enabled: true })
+    await ctx.plugin(GoalSessionInvariant)
+
+    expect(() => { appendRound(session, 3) }).not.toThrow()
+    ctx.sessions.create(SessionId('goal-session-invariant-dispatch'))
+
+    const userSource = { kind: 'user' } as const
+    session.append('turn/start', { turn: 4, trigger: { kind: 'message', source: userSource } })
+    session.append('user/message', {
+      content: [{ type: 'text', text: 'ordinary human message' }],
+      source: userSource,
+    }, { surfaceOp: 'append' })
+    session.append('turn/end', { turn: 4, reason: { kind: 'completed' } })
+
+    const stateSource = { ...changeSource, round: 0 } as const
+    session.append('turn/start', { turn: 5, trigger: { kind: 'message', source: stateSource } })
+    expect(() => {
+      session.append('user/message', {
+        content: [{ type: 'text', text: 'round zero is not a driver continuation' }],
+        source: stateSource,
+      }, { surfaceOp: 'append' })
+    }).not.toThrow()
+  })
+
+  it('rejects a continuation whose content differs from the package renderer', async () => {
+    const { session } = await mount()
+    appendChange(session)
+
+    expect(() => {
+      appendRound(session, 2, [{ type: 'text', text: 'counterfeit continuation' }])
+    }).toThrow(expect.objectContaining<Partial<InvariantError>>({
+      code: 'INVARIANT',
+      packageName: '@deepseek-ai/dsh-goal-session',
+    }))
+  })
+
+  it('rejects a goal round without a reconstructable active goal', async () => {
+    const { session } = await mount()
+    const source = { kind: 'goal', goalId: change.goal.id, revision: 1, round: 1 } as const
+    session.append('turn/start', { turn: 1, trigger: { kind: 'message', source } })
+
+    expect(() => {
+      session.append('user/message', {
+        content: renderGoalRoundPrompt(view(0), 1),
+        source,
+      }, { surfaceOp: 'append' })
+    }).toThrow(expect.objectContaining<Partial<InvariantError>>({
+      packageName: '@deepseek-ai/dsh-goal-session',
+    }))
+  })
+
+  it('attributes an invalid durable prefix during late loading', async () => {
+    const { ctx, session } = await mount(true)
+    session.append('turn/start', { turn: 1, trigger: { kind: 'injection', source: changeSource } })
+    session.append('context/message', {
+      content: [{ type: 'text', text: 'counterfeit goal state' }],
+      source: changeSource,
+      meta: change as never,
+    }, { surfaceOp: 'append' })
+    session.append('turn/end', { turn: 1, reason: { kind: 'completed' } })
+    appendRound(session, 2)
+    await ctx.plugin(InvariantService, { enabled: true })
+
+    await expect(ctx.plugin(GoalSessionInvariant)).rejects.toMatchObject({
+      code: 'INVARIANT',
+      packageName: '@deepseek-ai/dsh-goal-session',
+    })
+  })
+})