Skip to main content

ReplayInvariant

HardKAS SDK

HardKAS SDK / artifacts/src / ReplayInvariant

Class: ReplayInvariant

Defined in: packages/artifacts/src/invariants/definitions.ts:173

Contract/Stub: Replay invariant (re-execution consistency).

Implements​

Constructors​

Constructor​

new ReplayInvariant(): ReplayInvariant

Returns​

ReplayInvariant

Properties​

description​

readonly description: "Replay execution must produce consistent results" = "Replay execution must produce consistent results"

Defined in: packages/artifacts/src/invariants/definitions.ts:175

Implementation of​

Invariant.description

id​

readonly id: "INVAR_REPLAY_CONSISTENCY" = "INVAR_REPLAY_CONSISTENCY"

Defined in: packages/artifacts/src/invariants/definitions.ts:174

Implementation of​

Invariant.id

Methods​

check()​

check(): Promise<InvariantViolation[]>

Defined in: packages/artifacts/src/invariants/definitions.ts:176

Returns​

Promise<InvariantViolation[]>

Implementation of​

Invariant.check