semiAIfoundry

Models become evaluated applications · Atlas v1.3.0

Document fields become validated records

Document layout, transcription/extraction, schema normalization, confidence and cross-field constraints.

Explore in AtlasLogical state, task evidence and declared units; no physical assembly scale

Learning objectiveDistinguish extraction, field typing, arithmetic consistency and source-correctness checks for document records.

The mechanism

Document understanding connects image or text representations to structured fields. An OCR pipeline can introduce transcription errors before a field extractor reasons about layout; an OCR-free model instead learns a route from document images to a structured output representation. Either route can produce plausible fields that are wrong. A schema checks names and types, while cross-field constraints check relationships such as quantities, unit prices and totals. Confidence and review thresholds decide how uncertain output is handled, but high confidence is not an independent truth label. Donut is a primary example of OCR-free document modeling. This lesson uses authored invoice fields to expose the validation boundary; it does not run Donut, an OCR engine or an actual extraction model.

  1. The document and its version are preserved as the evidence from which fields are extracted.
  2. The extractor returns named fields with explicit units and provenance rather than an unstructured assertion of success.
  3. Schema and cross-field constraints detect inconsistent records before downstream actions.
  4. Independent labeled documents evaluate field accuracy and review decisions, including mistakes that still pass arithmetic checks.

Science and assumptions

Document fields become validated records · explicit relationship

T=∑i=1nqipiT=\sum_{i=1}^{n}q_i p_i

The exact subtotal in this fixture sums quantity times unit price across line items.

Symbols and units
T
Subtotal excluding tax, discounts and fees

integer cents

qᵢ
Quantity for line item i

units

pᵢ
Unit price for line item i

cents per unit

n
Number of line items

count

An authored invoice has two units at 1,250 cents and three units at 400 cents. The subtotal is 2×1,250 + 3×400 = 3,700 cents. A transcription that turns 1,250 into 12,500 creates a subtotal of 26,200 cents, inconsistent with a separately read total of 3,700. Arithmetic validation catches that case. If both the price and total are incorrectly changed consistently, the arithmetic can pass while the document is still misread, so source comparison remains necessary. Integer cents avoid introducing binary floating-point rounding into this exact fixture.

Assumptions Synthetic invoice; nonnegative integer quantities and exact integer-cent prices. Tax, currency conversion, discounts and rounding policies are outside the example.

Engineering example

An authored invoice has two units at 1,250 cents and three units at 400 cents. The subtotal is 2×1,250 + 3×400 = 3,700 cents. A transcription that turns 1,250 into 12,500 creates a subtotal of 26,200 cents, inconsistent with a separately read total of 3,700. Arithmetic validation catches that case. If both the price and total are incorrectly changed consistently, the arithmetic can pass while the document is still misread, so source comparison remains necessary. Integer cents avoid introducing binary floating-point rounding into this exact fixture.

Distinctions and tradeoffs

A schema-valid and arithmetically consistent record can still misrepresent its source document.

Automatic validation can reduce review load while still missing mutually consistent errors or unusual document conventions.

Documents often trigger external actions, making extraction evidence and validation as important as fluent interpretation.

Specifications and interfaces

Mechanism boundary
Why can accurate-looking text still create a wrong record?

Synthetic invoice; nonnegative integer quantities and exact integer-cent prices. Tax, currency conversion, discounts and rounding policies are outside the example.

Evidence type
Authored worked example

Worked explanation with a bounded numeric or state example. This lesson does not claim an executing implementation of an external model or platform.

Interfaces

Declared input and state Input
The document and its version are preserved as the evidence from which fields are extracted.
Checked outcome Output
Distinguish extraction, field typing, arithmetic consistency and source-correctness checks for document records.

Check your understanding

An extractor changes both a price and total consistently but disagrees with the image. Is arithmetic validation sufficient?

  1. Yes, totals prove the text is correct
  2. No, independent source/field comparison is still needed
  3. Yes, if confidence exceeds a threshold
Answer and reasoning

No, independent source/field comparison is still needed

Consistency constrains relationships between fields; it does not prove that those fields were read correctly.

Evidence and scope

This is a worked explanation, not an executing external platform, model or robot. The quantities and fixtures are authored. Source scope is recorded in the automation learning review manifest; no source benchmark or private system behavior is claimed. Synthetic invoice; nonnegative integer quantities and exact integer-cent prices. Tax, currency conversion, discounts and rounding policies are outside the example.

The worked example explains this mechanism. General numerical labs are a reference; they do not execute this lesson’s full mechanism.

Sources

Published lesson data · Atlas releases and licensing

Continue exploring

Foundations

Related lessons