Rulvar API reference

Rulvar API reference / @rulvar/rulvar / SemanticTerminalVerdict

Interface: SemanticTerminalVerdict

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

The one-word semantic verdict plus the facts it was folded from.

Properties

Property	Type	Description	Defined in
`contradictions`	`number`	Judged claim contradictions standing at settle.	`packages/core/dist/index.d.ts`
`coverage?`	`string`	The final claim-coverage grade, verbatim from the meta.	`packages/core/dist/index.d.ts`
`finalHash?`	`string`	The judged document's hash: the claim judgedHash, else the audit auditedHash.	`packages/core/dist/index.d.ts`
`judgedDocumentJcsSha256?`	`string`	The precise twin of `finalHash` (RV4604): the same hex under a name that states BOTH the recipe (sha256 over the JCS canonical document) and the referent (the judged document, which is the claim `judgedHash` else the audit `auditedHash`, and NOT the `draftToFinal.finalHash` the bare name collides with).	`packages/core/dist/index.d.ts`
`judgeFailures`	`string`[]	Why nothing usable judged the document, when 'not-judged': stable codes ('claim-judge-failed', 'claim-judge-declined', 'citation-judge-failed', 'citation-judge-declined', 'draft-rewritten-unjudged', and the RV4402 trust codes 'claim-meta-unjudged' / 'citation-meta-unjudged' for a meta with no evidence anything judged, 'claim-meta-malformed' / 'citation-meta-malformed' for counters that are not counts). Empty on every other verdict.	`packages/core/dist/index.d.ts`
`partialCitations`	`number`	Sampled citations judged partial at settle: findings, not stops.	`packages/core/dist/index.d.ts`
`semanticRepairRounds`	`number`	Bounded semantic repair rounds the run actually dispatched.	`packages/core/dist/index.d.ts`
`unsupportedCitations`	`number`	Sampled citations judged UNSUPPORTED at settle.	`packages/core/dist/index.d.ts`
`verdict`	`"partial"` \| `"vacuous"` \| `"clean"` \| `"findings"` \| `"waived"` \| `"not-judged"`	The verdict, in refusal precedence order: - 'not-judged': semantic machinery was configured and nothing usable judged the shipped document (a failed or declined judge, a draft-stage verdict the synthesis then rewrote, a meta carrying no evidence anything judged, or a meta whose counters are malformed, RV4402); - 'findings': a judge ruled and defects stand (contradictions or unsupported sampled citations); - 'waived': acceptance was licensed by a standing exception, not by coverage; - 'partial': coverage graded below 'full' ('partial', 'critical-uncovered', or the RV4404 'coverage-capped', whose cause is the configured pair ceiling) with no waiver standing; - 'vacuous': the document cited nothing, so the configured pass verified nothing; - 'clean': every configured judge ruled on the shipped document and found nothing.	`packages/core/dist/index.d.ts`
`waiver?`	{ `coverage`: `string`; `expiresAt?`: `string`; `principal`: `string`; `reason`: `string`; }	The standing exception that licensed acceptance, when one did.	`packages/core/dist/index.d.ts`
`waiver.coverage`	`string`	-	`packages/core/dist/index.d.ts`
`waiver.expiresAt?`	`string`	-	`packages/core/dist/index.d.ts`
`waiver.principal`	`string`	-	`packages/core/dist/index.d.ts`
`waiver.reason`	`string`	-	`packages/core/dist/index.d.ts`