Methodology
We don't generate. We verify.
Most AI tools add probability to your workflow. VeriDoc removes it. A four-stage method turns a probabilistic output into a defensible professional artifact.
STAGE 01
~14–22 atomic claims per page of summary
Atomic claim extraction
We decompose the AI summary into the smallest possible factual units — each one independently verifiable. Dates, parties, dollar figures, obligations, definitions, conclusions. Opinions and speculation are stripped out; only checkable claims survive.
STAGE 02
Page + section anchors retained for every chunk
Source segmentation
The source document is parsed into structurally-aware chunks — clauses, paragraphs, tables, footnotes — preserving location data so every later citation points back to a specific page and line.
STAGE 03
Top-k retrieval with numerical exact-match gate
Evidence retrieval
For each atomic claim, we retrieve the candidate passages from the source that could prove or disprove it — using hybrid semantic + lexical search to catch paraphrase and exact-figure matches alike.
STAGE 04
Four-state output · evidence cited · timestamped
Adjudication & flagging
Each claim is labeled Supported, Partially Supported, Contradicted, or Not Found — with the exact source sentence cited as evidence. The final call is always yours. We inform — we do not decide.
The deliverable
The report your client never sees — and the one you keep on file.
Source Document
Master Services Agreement

Atomic Factual Claims
4 of 19 require attention
The contract duration is twenty-four months.
§2.1 — “This agreement shall commence on the Effective Date and continue for a period of twenty-four (24) months.”
Termination requires 60 days written notice.
Source explicitly states 30 days, not 60.
§4.2 — “Either party may terminate this agreement upon thirty (30) days prior written notice.”
Liability is capped at total fees paid in the prior twelve months.
Source matches but adds exceptions for gross negligence.
The agreement is governed by Delaware law.
No jurisdiction clause appears in the source document.