Anti-CassiopeiaVerify

1. RouteThe claim goes to one of four domains: substrate (datasheets), searchlight (the web), quant (datasets) or silicon (timing reports). No model call.
2. Find evidencesearchlight searches with Tavily and fetches the pages. substrate reads the datasheet corpus or your upload. quant and silicon open the file.
3. Rank passagesBM25 keyword search fused with vector search, using Qwen3-Embedding-8B.
4. ProposeA model reads the top passages and returns the exact quote and value: Nemotron Ultra for substrate, gpt-oss-120b for searchlight.
5. Verify in codeThe quote must appear word for word in the source, and numbers are recomputed. A model's answer is never trusted on its own.
6. Judge and scoreNemotron Ultra judges whether the quote supports or contradicts the claim. A scoring rule then gives confirmed, contradicted or clouded, and names what is missing.

quant and silicon make no model call: statistics and timing figures are computed from the file. Endpoint: api.tokenfactory.nebius.com/v1 (OpenAI-compatible).