Document Verifier

The Document Verifier reads through a document, extracts every factual claim it contains, and then searches the rest of your project’s documents to determine whether each claim is supported or unsupported by evidence. The result is a prioritised list of claims with cited evidence, letting you quickly spot inconsistencies, unsupported assertions, or high-risk statements before they matter.

​

Running a verification

1. Open the Documents tab inside a project.
2. In the file manager, hover over the document you want to verify to reveal its actions menu (the three-dot icon), or right-click the document to open the context menu.
3. Click Verify.

Daedaline checks whether a verification already exists for that document. If one does, it is opened immediately. If not, a new verification is started and you are taken to the verification view while processing runs in the background.

​

Verification status in the file manager

Once a verification has been started for a document, a shield icon appears directly to the left of the document name in the file manager. The icon colour and behaviour reflect the current verification state: Clicking the shield icon at any point opens the verification view for that document, so you can check progress or review results without going through the actions menu.

​

The verification view

The verification view replaces the standard file manager with a two-panel layout for the duration of your review session. Click Back in the toolbar at any time to return to the file manager.

​

Toolbar

The toolbar at the top of the screen shows:

• The name of the document being verified
• The current verification status (a spinner appears while processing is in progress)
• A Re-verify button to discard the current results and run a fresh verification

​

Claims panel (left)

The left panel lists every claim extracted from the document, with the highest-priority items shown first. Sorting order: Unsupported claims always appear before supported ones. Within each group, claims are sorted by severity — High, then Medium, then Low.

​

Summary and filters

At the top of the claims panel, a summary row shows the total claim count broken down by outcome. Each badge is a filter — click one to narrow the list: A second row of filters lets you narrow by severity: Click the same filter badge again to clear it. You can combine one status filter with one severity filter simultaneously.

​

Claim cards

Each claim is shown as a card with:

• The extracted claim text
• A status badge (Supported / Unsupported / Processing / Pending / Error)
• A severity badge (High / Medium / Low) and the claim type where available

Click a card to select it and jump to the relevant passage in the PDF viewer. Click the chevron to expand the card and see:

• Evidence — the answer produced by searching your project’s documents, with inline citations you can click to jump to the source passage in the PDF viewer
• Assessment — the model’s reasoning for its supported/unsupported verdict, plus a relevant quoted snippet from the source material

​

PDF viewer (right)

The right panel displays the document. When you select a claim, the viewer scrolls to and highlights the passage of the document that contains the claim. Clicking a citation within the Evidence section jumps the viewer to the corresponding source passage. You can drag the divider between the two panels to resize them to suit your workflow. Daedaline saves your preferred panel sizes automatically.

​

Re-verifying a document

Click Re-verify in the toolbar to discard the current results and run a fresh verification. This is useful after you have updated the document or added new evidence to the project that might affect the outcome.

​

Claim statuses reference