Example

A valuation file can look fine after the state that produced it has changed.

This page shows one swapped input on 14 Maple Street. The commercial investigation is provider-held configuration — cascade order, thresholds, model pins — which this example does not reconstruct.

Short hashes. An example, not the production verifier. How it works.

The file still looks like a finished appraisal. Swap the comparables. This is one kind of state change. Provider configuration is a different one.

The file

Presented record

Assignment
14 Maple Street
Model
Hedonic v2.4
Inputs
Comps set A — Oak Ave
Output
$412,000
Signature
valid · b81e04d9

The trail

What was locked at the time

Input locked first
Comps set A — Oak Ave7f3a91c2
Input in the file now
Comps set A — Oak Ave7f3a91c2

The seal names the lock that already existed. Precedence holds.

Verifier report

Unchecked is the honest default. Nobody independently watched this run, and this example does not re-run the model. Those rows stay Unchecked until that evidence exists.

Precedence

Established

Witness

Unchecked

Recipe

Established

Reproduction

Unchecked

Execution

Unchecked