Type Alias: ClaimVerdict

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / ClaimVerdict

Type Alias: ClaimVerdict

ClaimVerdict = { certificateId: string; citations?: ClaimCitation[]; ruleProgramHash?: string | null; ruleRevision?: number | null; status: "certified"; } | { reason: string; status: "refuted"; } | { reason: string; status: "abstained"; }

Defined in: src/types/guardrail.ts:83

The disposition of a single claim.

Union Members

Type Literal

{ certificateId: string; citations?: ClaimCitation[]; ruleProgramHash?: string | null; ruleRevision?: number | null; status: "certified"; }

certificateId

certificateId: string

Content-addressed id of the persisted soundness proof.

citations?

optional citations?: ClaimCitation[]

Supporting sources recovered from the proof.

ruleProgramHash?

optional ruleProgramHash?: string | null

Hex SHA-256 of the rule program active when the proof was issued.

ruleRevision?

optional ruleRevision?: number | null

In-process rule-program revision ordinal, when tracked.

status

status: "certified"

---

Type Literal

{ reason: string; status: "refuted"; }

reason

reason: string

Why the claim was refuted.

status

status: "refuted"

---

Type Literal

{ reason: string; status: "abstained"; }

reason

reason: string

Why the guardrail abstained.

status

status: "abstained"

Remarks

A discriminated union on status:

• certified — the claim was proven against the knowledge base; the soundness proof is persisted under certificateId and its supporting sources are recovered into citations.
• refuted — the claim contradicts the knowledge base (a caught hallucination).
• abstained — the guardrail declined to rule on the claim.

Example

if (verdict.status === 'certified') {
  console.log(verdict.certificateId, verdict.citations);
} else {
  console.log(verdict.reason);
}