The Evidence Graph.
A property is not a paragraph — it's a network of claims, each with a source, a confidence and a set of gaps around it. The Evidence Graph is how STRATAFORM represents that network.
Remove one source. The conclusion changes.
- Pass
No conclusion may be issued about an unidentified property.
Identity resolved from a tier-A record.
- Pass
Every claim must carry the source that produced it.
6 active claims, 6 attributed sources.
- Open
Contradictions are preserved, never averaged away.
83 m² (tier A) against 92 m² (tier D). Both retained; no single surface may be asserted.
- Pass
A blocking gap must be named before a price is defended.
Conformity statement and filed building notice both present.
- Pass
Evidence state may never exceed the strongest active tier.
Ceiling set by the strongest active source.
- Pass
A price position requires documented market evidence.
Nine recorded transfers support a price band.
KOSMOS blocked the conclusion.
Rule K3 refuses a single asserted surface while two sources disagree.
Every value above is recomputed from the switches. No video, no recording.
Everything below describes the thing you just made move. Open the KOSMOS bench →
Nodes
Nodes are claims: an asking price, an intended use, a cadastral identifier, an ownership statement, a document reference, a jurisdictional constraint. Each node carries the raw content and the parsed structure.
Edges
Edges connect claims to sources, and claims to other claims. A price stated in a listing edges to the listing; the listing edges to the portal that published it; the portal edges to a reliability class. A cadastral reference edges to the document it came from and to the entities it names.
Confidence
Every claim carries a confidence state derived from source class, corroboration and internal consistency. Confidence never becomes certainty — it becomes visible, and it is never published as a numeric property score.
Gaps
The graph explicitly represents what is missing. A missing title deed, a missing energy certificate, a missing seller identity are first-class nodes with their own status.
Why it matters
Because a Property Decision Dossier that cannot be audited is not decision support. The Evidence Graph is what makes the dossier reviewable by a human and traversable by an agent.