Cite the fact. Specify the handoff.

Verified document workflow

Document workflows where a wrong fact cannot pass.

For organisations whose next step depends on what a document says. We cite each fact from the source, and we use vericoding so the workflow that carries those facts does what its specification says.

Discuss your documents

The specification is the workflow

A document workflow is a chain of judgments: which fact to take, where it came from, and which process is allowed to use it. When that chain is only a prompt and a script, a wrong date or a guessed name can travel a long way before anyone notices.

Vericoding makes the rules the thing people review. Which facts are required. What counts as a citation. What may be missing. What each later process may receive. AI proposes the implementation. A theorem prover checks that the workflow meets the specification.

What the workflow does

Cite

Each fact names the place in the source document it came from. If the document does not say it, the workflow does not supply it.

Check

Required fields, allowed values and missing information are part of the specification. A document that does not meet the rules is reported. It is not forced through.

Hand off

Later processes receive the cited fields the specification allows. Automation and reporting start from that record, not from a free-text guess.

Where we have done this

We have done this work on legal documents. We took the documents, cited the key information in them, and connected that information to the other processes that needed it, for automation, intelligence and operational efficiency.

Those documents were written for experts. The facts had to be found in the text, and other processes acted on what was found. That is the experience we bring to organisations where the document is the source of the next step. The work is engineering of the workflow, not legal advice.

How we build it

  1. Specify

    We agree the document types, the facts to take from them, and the citation each fact must carry.

  2. Define the handoff

    We state what each downstream process may receive, and what the workflow does when a fact is absent.

  3. Check

    AI proposes the workflow. A theorem prover checks it against the specification.

  4. Connect

    The checked output feeds the processes that act on it, for automation, intelligence and day-to-day operations.

Who it is for

Organisations where getting the document wrong is getting the operation wrong. A missing citation or a guessed value is a defect.

  • Insurance claims, policies and bordereaux
  • Lending, KYC and covenant monitoring
  • Regulatory filings and controlled procedures
  • Procurement and commercial obligations
  • Clinical, research and quality records

Built on vericoding

Vericoding is our method. People write and review the specification, AI proposes the implementation and the proof, and a theorem prover checks the result. The same method is how we build verified security components and certified query replacements.

Discuss your documents

Tell us which documents the workflow reads, which facts it must cite, and which processes it has to feed.

Send us a message