Interface: CoverageReading

Defined in: src/core/agent/coverage/read.ts:35

What one recognized result declares. undefined from readCoverageResult means "neither shape": untouched path.

Properties

declared

readonly declared: readonly CoverageFacts[]

Defined in: src/core/agent/coverage/read.ts:47

In declaration order: the outer ledger first, then the absence it wraps. Usually one entry; two only when an author bounded an absence.

---

status?

readonly optional status?: ToolResultStatus

Defined in: src/core/agent/coverage/read.ts:44

The status the framework DELIVERS for this call. 'absent' when an absence is in play — never 'failure', and that is the point: a status of 'failure' would route an honest empty answer down the same edge as a broken collector, which is the exact confusion the primitive removes. Undefined for a bare ledger — a ledger says nothing about the outcome, only about its boundary.