Interface: VerifyOptions

Interface: VerifyOptions

Defined in: server/src/audit/verify.ts:34

Properties

executor

readonly executor: SqlExecutor

Defined in: server/src/audit/verify.ts:35

---

dialect?

readonly optional dialect?: SqlDialect

Defined in: server/src/audit/verify.ts:36

---

scope

readonly scope: string

Defined in: server/src/audit/verify.ts:37

---

from?

readonly optional from?: number

Defined in: server/src/audit/verify.ts:38

---

to?

readonly optional to?: number

Defined in: server/src/audit/verify.ts:39

---

trustedPrevAlh?

readonly optional trustedPrevAlh?: string

Defined in: server/src/audit/verify.ts:46

When verifying a range whose lower bound sits inside a GC-pruned tile, the chain has no upstream entry to compare against. Pass the last_alh of the checkpoint immediately preceding from so the verifier can anchor the ALH chain without silently succeeding.

---

tileSize?

readonly optional tileSize?: number

Defined in: server/src/audit/verify.ts:56

Upper bound on any per-checkpoint tile size. Each checkpoint row carries its own effective size in (to_seq - from_seq + 1) and verify uses that value to know how many leaves to expect. This option only rejects checkpoints whose recorded span exceeds the safety envelope — set higher than the recorder’s own tileSize so verify tolerates a deployment that lowered it later. Default 256, matching the recorder default.