Interface: DeclaredCoverage

Defined in: src/semantics/coverage/types.ts:312

One coverage statement as the RUN recorded it — what the event carries and what accumulates in AgentState.coverageDeclared.

kind is kept because the two read differently at the answer boundary: a 'ledger' bounds a verdict the answer is probably built on, an 'absence' bounds a search that found nothing.

Extends

• Coverage

Properties

cannotCover

readonly cannotCover: readonly CoverageItem[]

Defined in: src/semantics/coverage/types.ts:124

Inherited from

Coverage.cannotCover

---

checked

readonly checked: readonly CoverageItem[]

Defined in: src/semantics/coverage/types.ts:122

Inherited from

Coverage.checked

---

inProgress?

readonly optional inProgress?: readonly InProgressItem[]

Defined in: src/semantics/coverage/types.ts:332

What the call found still running — its outcome not known yet — as the coverage() declared it (copied item by item; short and count when valid). Present only on a 'ledger' row whose envelope declared a well-formed, non-empty in_progress.

---

iteration

readonly iteration: number

Defined in: src/semantics/coverage/types.ts:316

---

kind

readonly kind: "absence" | "ledger"

Defined in: src/semantics/coverage/types.ts:313

---

lookedFor?

readonly optional lookedFor?: string

Defined in: src/semantics/coverage/types.ts:318

Present for 'absence' only — what the search was for.

---

notChecked

readonly notChecked: readonly CoverageItem[]

Defined in: src/semantics/coverage/types.ts:123

Inherited from

Coverage.notChecked

---

period?

readonly optional period?: DeclaredPeriod

Defined in: src/semantics/coverage/types.ts:325

The period the declaration said its read covered, in the record's camelCase form (honesty step 7b) — present only when the envelope declared a well-formed one. A described result with a period and no coverage lists files a 'ledger' row whose three lists are empty.

---

toolCallId?

readonly optional toolCallId?: string

Defined in: src/semantics/coverage/types.ts:315

---

toolName

readonly toolName: string

Defined in: src/semantics/coverage/types.ts:314