Interface: AnswerCoverage

Defined in: src/semantics/coverage/answer.ts:95

A TYPED answer's limits, as data — the three coverage lists the prose block would print, plus the values a tool's assume rule filled this turn (the inputs layer, honesty layer 2), which the prose answer prints as its "Assumed" block. The value of AgentState.answerCoverage, turn_end.answerCoverage and agent.answerCoverage().

assumed is the SAME reading of the SAME rows the block prints (arguments/serve/assumed.ts · assumedLinesFor): one entry per distinct (tool, argument, value), in the order the rows were filed, a row a before-tool rewrite superseded left out. value is the tool's own argument view — 'REDACTED', with hidden: true, when that view hides the argument. Present only when a value was assumed. periods (honesty step 7b) is the data twin of the block's Period: lines, present only when a call declared one.

Extends

• Coverage

Properties

assumed?

readonly optional assumed?: readonly object[]

Defined in: src/semantics/coverage/answer.ts:103

---

cannotCover

readonly cannotCover: readonly CoverageItem[]

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

Inherited from

Coverage.cannotCover

---

checked

readonly checked: readonly CoverageItem[]

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

Inherited from

Coverage.checked

---

inProgress?

readonly optional inProgress?: readonly object[]

Defined in: src/semantics/coverage/answer.ts:102

What the calls found still running — its outcome not known yet — one entry per declaring call, as declared; present only when one did. Never a reason on the answer's standing: a label that travels with the limits.

---

notChecked

readonly notChecked: readonly CoverageItem[]

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

Inherited from

Coverage.notChecked

---

periods?

readonly optional periods?: readonly object[]

Defined in: src/semantics/coverage/answer.ts:98

The periods the calls declared (honesty step 7b) — one per declaring call, as declared; present only when one did.