Interface: ComposedCoverage

Defined in: src/semantics/coverage/composedCoverage.ts:208

What the funnel composes for one call of a search tool — revision 5's § 3.2 row, field for field, with the subject as a checked item.

composed: 'remote' marks a row whose declaration arrived over MCP or from a ToolProvider: it is composed the same way so a reader sees one shape, it is never complete, and it establishes nothing.

Extends

• DeclaredCoverage

Properties

cannotCover

readonly cannotCover: readonly CoverageItem[]

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

Inherited from

DeclaredCoverage.cannotCover

---

checked

readonly checked: readonly ComposedItem[]

Defined in: src/semantics/coverage/composedCoverage.ts:224

Overrides

DeclaredCoverage.checked

---

complete

readonly complete: boolean

Defined in: src/semantics/coverage/composedCoverage.ts:231

True only for a LOCAL row whose declaration says complete: 'within-arguments' and that carries no argument-unsent, no completeness gap and no prose gap. Absent complete in the declaration = never complete.

---

composed

readonly composed: "local" | "remote"

Defined in: src/semantics/coverage/composedCoverage.ts:209

---

gaps

readonly gaps: readonly CoverageGap[]

Defined in: src/semantics/coverage/composedCoverage.ts:232

---

handle

readonly handle: string

Defined in: src/semantics/coverage/composedCoverage.ts:223

The read's short HANDLE (r3) — the reservation's ordinal, the only thing a typed claim may cite once the arm serves it beside the result (design R5). Library-minted, like resultId; never the provider's call id.

---

inProgress?

readonly optional inProgress?: readonly InProgressItem[]

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

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.

Inherited from

DeclaredCoverage.inProgress

---

iteration

readonly iteration: number

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

Inherited from

DeclaredCoverage.iteration

---

kind

readonly kind: "absence" | "ledger"

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

Inherited from

DeclaredCoverage.kind

---

lookedFor?

readonly optional lookedFor?: string

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

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

Inherited from

DeclaredCoverage.lookedFor

---

notChecked

readonly notChecked: readonly CoverageItem[]

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

Inherited from

DeclaredCoverage.notChecked

---

overclaim?

readonly optional overclaim?: readonly string[]

Defined in: src/semantics/coverage/composedCoverage.ts:239

Codes the dispatch-time overclaim check marked on this row (design § 4) — written by that check, never by composition; absent when none.

---

period?

readonly optional period?: DeclaredPeriod

Defined in: src/semantics/coverage/composedCoverage.ts:234

As on every row — the period the result declared.

Overrides

DeclaredCoverage.period

---

resultId

readonly resultId: string

Defined in: src/semantics/coverage/composedCoverage.ts:217

The row's ADDRESS — the library-minted result identity (claim-result/<namespace>/<runId>/<ordinal>, minted by integrity/claim-binding/capture.ts · resultIdentityOf). Never a provider's call id: those repeat across iterations, branches, resume legs and turns, and some providers mint none.

---

toolCallId?

readonly optional toolCallId?: string

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

Inherited from

DeclaredCoverage.toolCallId

---

toolName

readonly toolName: string

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

Inherited from

DeclaredCoverage.toolName