Menu
Request an architecture briefing

Worked example

Synthetic — no system produced this output

One decision, walked

The pages before this one describe the record. This page walks a single determination through it, end to end, so you can see what the schema enforces at each step. Every value is fabricated and labeled; this is the record shape the kernel refuses to accept anything less than — a worked example of the governing model, not a product demo, becausethe review layer that would produce it does not yet exist.

The question

A post-close QC reperformance determination on a synthetic refinance file: does the income documentation in the file support the qualifying income the underwriter used?One concrete operational question — the kind a QC analyst answers dozens of times a day, and the kind an examiner asks about months later.

The source material

paystub (2 pp), W-2 (1 p), final application (5 pp) — synthetic file WE-EXAMPLE-01base income, bonus treatment, qualifying income as underwritten

The schema refuses an extraction that cannot say which document and page it read (EXTRACTION_UNANCHORED) and evidence with no recorded inference behind it (EXTRACTION_UNATTRIBUTED). Source material is not a folder of files; it is the set of anchors every later claim must point back into.

What was observed

base income $8,200/mo — anchored: paystub p.1prior-year W-2 total consistent — anchored: W-2 p.1application states $8,400/mo — both values retained; conflicting claims coexist in the record

A conclusion never overwrites an observation. When sources disagree, both claims persist — which is what makes the eventual conclusion checkable instead of merely assertable.

What rule applied

income-calculation rule pack, the exact version live at judgment time — captured in the seal

In plain language: when policy changes later, this determination is still explainable under the rule that existed when it was made. The database refuses a verdict citing a rule version that does not exist, and a rule can retire but never change.

What was concluded

qualifying income supported at $8,200/mo; $200/mo variance flagged as a finding, routed for human review

Uncertainty is visible, not hidden: an exception is a first-class state in the record, not a silent override.

Who approved it

recorded the work — cannot seal it (RESOLVER_NOT_DISTINCT)a distinct actor, distinct database role — the only identity the seal accepts

The same person — or agent — cannot both make and approve the decision. That is a schema property the database enforces, not a policy anyone follows.

What survives

the determination, its rationale, every anchored extraction, the rule versions live at judgment, maker and checker identities, derived costappended to the tamper-evident record; prior-entry hash carried forward — an edited history is caught at its exact position

Months later, reconstructing this decision does not require reopening and re-reading the file. The evidence pack is the answer — built for the asker to recompute, not to take on trust.

Every value on this page is synthetic and exists only to show the record shape. No loan file is under review today; there are no customer deployments; the AI judgment layer is not yet built. When these sentences stop being true, the change will be recorded atwhat runs today — the one page that authors the product-status statement.