Correct Outputs

Kind: invariant

Record: reasoning:invariant-correct-outputs

Canonical: Reasoning

Outputs are correct

Listed in Reasoning records, after Novelty and before Correct State Evolution.

Surfaces

• semantic-correctness
• data-correctness

Linked from

• The test surfaces