Interface: ClaimCoverageInput

Defined in: packages/core/dist/index.d.ts

The subset of the claim-consistency meta the grade derives from.

Properties

Property	Type	Description	Defined in
`coverageTargetDeclared?`	`true`	True when the fold ran under a DECLARED coverage target (RV4404): a truncation is then the CEILING cutting selection the target wanted, and the grade names it 'coverage-capped' instead of a silent 'partial'. Absent keeps every historical grade byte for byte.	`packages/core/dist/index.d.ts`
`coveredCitingSentences`	`number`	Citing sentences with at least one judged pair.	`packages/core/dist/index.d.ts`
`criticalUncoveredTotal?`	`number`	Uncapped count of declared critical anchors with no judged pair.	`packages/core/dist/index.d.ts`
`draftCitingSentences`	`number`	Draft sentences carrying at least one parsable anchor.	`packages/core/dist/index.d.ts`
`judgeDeclined?`	`true`	True when the judge invocation was refused ADMISSION and never dispatched (RV2106). The orchestrator already spreads the flag into the meta it grades, so nothing at the call site changes.	`packages/core/dist/index.d.ts`
`judgeFailed?`	`true`	True when the judge invocation did not settle ok.	`packages/core/dist/index.d.ts`
`runFactPairsTruncated?`	`true`	True when the run-facts pair bound cut the run-claim pairs.	`packages/core/dist/index.d.ts`
`truncated`	`boolean`	True when the pair bound cut the fold.	`packages/core/dist/index.d.ts`