Interface: SemanticCoverage

Defined in: src/semantics/types.ts:161

The envelope's coverage, normalized — the SAME three-list vocabulary the coverage() / absent() primitives speak (checked / not checked / cannot cover), in the snake_case spelling every rendered tool shape uses because a model reads it more often than code does. Declared through DescribedResultDeclaration.coverage with the exact CoverageDeclaration input the coverage() primitive takes; the dispatch loop declares it through the same channel (tools.coverage_declared, tracked state, the final-answer limits block) — absorbed, never duplicated.

Properties

cannot_cover?

readonly optional cannot_cover?: readonly CoverageItem[]

Defined in: src/semantics/types.ts:164

---

checked?

readonly optional checked?: readonly CoverageItem[]

Defined in: src/semantics/types.ts:162

---

not_checked?

readonly optional not_checked?: readonly CoverageItem[]

Defined in: src/semantics/types.ts:163