Skip to content

Rulvar API reference


Rulvar API reference / @rulvar/core / ClaimCoverageInput

Interface: ClaimCoverageInput

Defined in: packages/core/src/orchestrator/consistency.ts:677

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

Properties

PropertyTypeDescriptionDefined in
coverageTargetDeclared?trueTrue 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/src/orchestrator/consistency.ts:703
coveredCitingSentencesnumberCiting sentences with at least one judged pair.packages/core/src/orchestrator/consistency.ts:683
criticalUncoveredTotal?numberUncapped count of declared critical anchors with no judged pair.packages/core/src/orchestrator/consistency.ts:685
draftCitingSentencesnumberDraft sentences carrying at least one parsable anchor.packages/core/src/orchestrator/consistency.ts:679
judgeDeclined?trueTrue 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/src/orchestrator/consistency.ts:695
judgeFailed?trueTrue when the judge invocation did not settle ok.packages/core/src/orchestrator/consistency.ts:689
runFactPairsTruncated?trueTrue when the run-facts pair bound cut the run-claim pairs.packages/core/src/orchestrator/consistency.ts:687
truncatedbooleanTrue when the pair bound cut the fold.packages/core/src/orchestrator/consistency.ts:681