Result Validation
Kind: activity
Layer: Contracts Core
Record: lexicon:result-validation
Canonical: Lexicon
The activity of checking that an operation's result satisfies its promised postconditions.
Listed in Lexicon terms, after Protocol Contract and before Semantic Contract.