Worked example
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 underwrittenThe 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 recordA 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 sealIn 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 reviewUncertainty 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 acceptsThe 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 positionMonths 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.