AutoFlow

Product

A deterministic financial verification runtime for AI-generated claims.

AutoFlow is a read-only verification sidecar—not autonomous lending. Every supported financial claim is checked against evidence and approved rules before release.

Current support is limited to defined inputs, rules, and controlled extraction paths.

Book a Design-Partner Call See the system

Verification pipelineread-only

AI answer

Probabilistic

EvidenceGraph

Deterministic

Rule runtime

Deterministic

Certificate

VERIFIED

System

EvidenceGraph → claim compiler → rule runtime → certificate

The probabilistic AI layer produces an answer. The deterministic verification layer decides what can be released.

EvidenceGraph

Deterministic

Evidence ingestion and fact normalization with source anchors, periods, currencies, and definition bindings.

→ev_14b · f_ebitda · FY2024 · USD

Claim compiler

Probabilistic → typed

Converts the AI answer into discrete typed financial claims ready for approved rule routing.

→claim: NetLeverage = 3.2x

Rule runtime

Deterministic

Claim-level calculation, consistency, definition, and provenance checks—outside the model.

→NET_LEVERAGE v1.4 · exact decimal

Findings & certificate

Deterministic

Verification certificate, exception record, and reproducible audit trail with replay metadata.

→VERIFIED · cert_7f2a · replay

Workflow

End-to-end verification sequence

One package in. Typed claims out. Supported claims verified or escalated—never silently released.

VERIFIEDCONTRADICTIONMISSING_EVIDENCEHUMAN_REVIEW_REQUIREDOUT_OF_SCOPE

Upload or connect a borrower package

Sanitized or synthetic packages representing a recurring credit workflow.

Extract and normalize financial facts with source anchors

Defined inputs, rules, and controlled extraction paths only.

Capture the AI answer as typed claims

The probabilistic step ends here—claims become discrete and checkable.

Route supported claims to approved deterministic rules

Unsupported or interpretive claims are not falsely certified.

Verify calculations, definitions, periods, currencies, and conflicts

Exact arithmetic and compatibility checks outside the model.

Return a finding status

Release, block, or escalate with full provenance.

Artifacts

What every result carries

Source anchors, normalized inputs, rule version, calculation trace, finding, and certificate—built for review, not screenshots.

Certificate schemaVERIFIED

{
  "claim": "NetLeverage",
  "rule": "NET_LEVERAGE@v1.4",
  "inputs": ["f_netdebt", "f_ebitda"],
  "evidence": ["ev_14b"],
  "result": "3.200000",
  "status": "VERIFIED",
  "replay": "byte-identical"
}

Source anchor

borrower_pkg.pdf · p.14

Fact & evidence IDs

f_ebitda · ev_14b

Rule ID & version

NET_LEVERAGE · v1.4

Normalized inputs

134,720,000 / 42,100,000

Exact formula

NetDebt / EBITDA

Result vs assertion

3.200000 · match

Exception / conflict

blocked · dual CFO values

Certificate & replay

cert_7f2a · byte-identical

See the verification library

Scope boundary

Supported claims only

Numerical and rule-bound financial claims can be verified. Ambiguous definitions escalate. Missing or conflicting evidence blocks calculation. Interpretive, causal, or unsupported claims are not falsely certified.

Maturity

Production-hardened prototype

Resumability, atomic artifacts, health checks, and stress tooling—designed to support auditability and governance, without overclaiming compliance or coverage.

Security & auditability

Map one credit workflow to the verifier.

We will show exactly which claims AutoFlow can verify, block, or escalate—without making the lending decision.

Apply for a design-partner pilot Explore use cases