assertDirtyPrecedesTerminalData()
Assert that observed tier-3 settlements (DATA/RESOLVED) are preceded by DIRTY.
This encodes R-dirty-before-data for wave-framed subscriber traces. The leading START push-on-subscribe/replay handshake wave is exempt because cached/replay DATA is advertised to a new subscriber without opening a propagation wave.
Import
Section titled “Import”import { assertDirtyPrecedesTerminalData } from "@graphrefly/ts/testing";Signature
Section titled “Signature”function assertDirtyPrecedesTerminalData(messages: MessageSequence): voidParameters
Section titled “Parameters”| Parameter | Type | Description |
|---|---|---|
messages | MessageSequence | messages value used by the helper. |
Returns
Section titled “Returns”The narrowed, validated value.
Example
Section titled “Example”import { assertDirtyPrecedesTerminalData } from "@graphrefly/ts/testing";Source
Section titled “Source”packages/ts/src/testing/assertions.ts