StorePropertyTckOptions

@rotorsoft/act-root

---

@rotorsoft/act-root / act-tck/src / StorePropertyTckOptions

Type Alias: StorePropertyTckOptions

StorePropertyTckOptions = object

Defined in: libs/act-tck/src/store-property-tck.ts:18

Property-based contract for the store-level invariants the drain pipeline depends on — commit version monotonicity, claim/lease no-leak, watermark monotonicity, and block exclusion. These ran only against InMemoryStore before ACT-982; running them against the durable adapters too is the only way to catch a divergence the example-based TCK cases miss.

Each predicate resets the store (drop + seed) so randomized runs are isolated. Durable adapters should pass a reduced numRuns and their own dedicated schema/file so a parallel test worker can't clobber the table.

Properties

factory

factory: () => Store | Promise<Store>

Defined in: libs/act-tck/src/store-property-tck.ts:22

Produces the store under test (created once, reset between runs).

Returns

Store | Promise<Store>

---

name

name: string

Defined in: libs/act-tck/src/store-property-tck.ts:20

Adapter name for the describe block.

---

numRuns?

optional numRuns?: number

Defined in: libs/act-tck/src/store-property-tck.ts:24

fast-check runs per property. Default 100; lower for durable adapters.