Expand description
ContextProofV2 — Claim-based verification schema.
Extends ContextProofV1 with structured claims that decompose LLM output verification into individually verifiable assertions. Each claim is routed to the appropriate verifier and tagged with its verification status and evidence.
Every claim is checked at runtime by the verifier it names. The schema has no “formally verified” level: nothing in the runtime checks a proof artifact, so no claim may report one (#1914).
Design based on:
- Amazon Cedar VGD (arXiv:2407.01688)
- VERGE neurosymbolic verification (arXiv:2601.20055)