Chinesezjc
b462d5fd69
Adapt to two contract changes master introduced: - The generated Remote face now wraps every business result in RemoteResult, folding carrier failures into an ok:false branch instead of rejecting. The controller reads that envelope at its three call sites and maps a carrier failure onto the same settled shape the controls already render; three specs cover the new branch. - Client packages split their tsconfig into host and client halves, and the host aggregate now compiles any test not named *.client.spec.*. Rename this package's specs to the client convention and drop the ../connection project reference, which pointed at a solution file that no longer carries the client sources. Keep master's mount loop with its rollback-on-failure in api-remotes and add messageFeedbackRemote to it.
50 lines
2.3 KiB
TypeScript
50 lines
2.3 KiB
TypeScript
/**
|
|
* Runtime invariant companion: the 'slots/changed' emission-order audit —
|
|
* a fired key must already carry a bumped version (emission follows the
|
|
* applied mutation), bogus payloads fail loud, foreign events pass.
|
|
*/
|
|
import { Context } from '@deepseek-ai/cordis'
|
|
import { describe, expect, it } from 'vitest'
|
|
import InvariantService from '@deepseek-ai/dsh-invariants'
|
|
import * as RuntimeInvariant from '../src/invariant.ts'
|
|
import { SlotsService } from '../src/client/slots.ts'
|
|
|
|
async function setup(): Promise<Context> {
|
|
const ctx = new Context()
|
|
await ctx.plugin(InvariantService, { enabled: true })
|
|
await ctx.plugin(RuntimeInvariant).await()
|
|
return ctx
|
|
}
|
|
|
|
const emit = (ctx: Context, event: string, ...args: unknown[]): void => {
|
|
;(ctx.emit as (event: string, ...args: unknown[]) => void)(event, ...args)
|
|
}
|
|
|
|
describe('runtime slots/changed invariant', () => {
|
|
it('passes foreign events and a legitimate mutation-then-emission sequence', async () => {
|
|
const ctx = await setup()
|
|
expect(() => { emit(ctx, 'unrelated/event', 'x') }).not.toThrow()
|
|
await ctx.plugin(SlotsService).await() // fiber must reach ACTIVE — the audit reads strict ctx.get
|
|
// A real registration bumps the version first and re-emits through
|
|
// onMutate — the audit sees version > 0 and stays quiet. (Erased call:
|
|
// the typed register face rides the wave-1 ui-slots types.)
|
|
const slots = ctx.slots as unknown as { register(options: object, component: unknown): () => void }
|
|
expect(() => slots.register({ name: 'root' }, () => null)).not.toThrow()
|
|
})
|
|
|
|
it('fails loud on a missing key and on an emission with no applied mutation', async () => {
|
|
const ctx = await setup()
|
|
expect(() => { emit(ctx, 'slots/changed', '') }).toThrow(/without a slot key/)
|
|
expect(() => { emit(ctx, 'slots/changed', 42) }).toThrow(/without a slot key/)
|
|
await ctx.plugin(SlotsService).await()
|
|
// Hand-emitted key that never saw a mutation: version 0 → violation.
|
|
expect(() => { emit(ctx, 'slots/changed', 'never-mutated') })
|
|
.toThrow(/before any mutation bumped its version/)
|
|
})
|
|
|
|
it('stays quiet when no slots service is mounted (nothing to audit against)', async () => {
|
|
const ctx = await setup()
|
|
expect(() => { emit(ctx, 'slots/changed', 'any-key') }).not.toThrow()
|
|
})
|
|
})
|