Validation bench

Watch a conclusion get refused.

This is the validator itself, open. Withhold a source and the rules re-execute in front of you: some pass, some open, and one will refuse to issue a conclusion at all. Every value is recomputed from the switches.

Worked example — fictional property. No real source is queried.

Run a condition

Everything the validator admits. The conclusion stands.

Evidence state

Unresolved

Rules passed

5/6

Conclusion

Blocked

Evidence ledger

KOSMOS constitution — execution

K1Constitutionalpass
No conclusion may be issued about an unidentified property.
Identity resolved from a tier-A record.
K2Constitutionalpass
Every claim must carry the source that produced it.
6 active claims, 6 attributed sources.
K3Evidenceopen
Contradictions are preserved, never averaged away.
83 m² (tier A) against 92 m² (tier D). Both retained; no single surface may be asserted.
K4Evidencepass
A blocking gap must be named before a price is defended.
Conformity statement and filed building notice both present.
K5Computationpass
Evidence state may never exceed the strongest active tier.
Ceiling set by the strongest active source.
K6Computationpass
A price position requires documented market evidence.
Nine recorded transfers support a price band.

Validator output

KOSMOS blocked the conclusion.

Rule K3 refuses a single asserted surface while two sources disagree.