verify

com.drillable/gateway · Verify this server

Check claims against the corpora. SINGLE: verify({claim}) grounds one claim (core/verify truth-referee verdict where a domain surfaces it, else a corpus-grounding badge). RECEIPT: verify({claims:[…]}) claim-CHECKS each assertion and returns a TYPED per-claim verdict (verified / corrected / abstained) + drilled value + source, as a structured receipt (rides the response → portable to any client). Each claim is graded one of two ways: RECOGNITION-FREE — give `op` + `params` + `asserted` (STATE the computation you ran; it is RE-EXECUTED with no catalog match, so it grades NOVEL inputs too — the strongest form), or CATALOG-MATCH — give `claim` + `asserted` (matched to a covered record). Pass `asserted` (your own answer) to have it GRADED, not just grounded — the receipt corrects a confidently-wrong claim the model can't catch itself. A claim with no receipt line is unverified.