KAR verification

verifyKar recomputes the evaluation from the image, the graph, the proposition, and the plan. A passing check means the supplied result matches that recomputation.

import { verifyKar } from '@knolo/core/kar';

const verification = verifyKar({ image, graph, proposition, plan, result });

Independent verification is part of the product. It is not a second opinion from a model. The verifier does not read the clock, the network, or the filesystem. You pass the bytes.

Rust exposes evaluate_kar_v5 and verify_kar_v5 for the frozen public vectors. SATISFIED has the same meaning there: the evidence requirements were met. A completed UNSATISFIED_EVIDENCE_REQUIREMENTS is still a completed evaluation.

Failure codes such as KAR_RESULT_MISMATCH exit non-zero from the CLI. Do not catch that exit and treat the dossier as usable.

Citing a verified KAR result from a composition record does not change KARRoot. An attestation statement of used is not SATISFIED. See Attestations.