Determinism Correctness

Kind: test-surface

Record: reasoning:test-surface-determinism-correctness

Canonical: Reasoning

f(x) = f(x) across runs

Listed in Reasoning records, after Security Correctness and before Protocol Correctness.

Dimension

• novelty

Evidence grounds

• ver-evidence

Evidence source

• test-result

Invariant

• deterministic-behavior-where-required

Lens

• anomaly

Predicate grounds

• ver-ground-truth

Predicate type

• equivalence

Techniques

• property-based-testing
• deterministic-replay

Verdict domain

• pass
• fail
• unknown

Linked from

• The nodes
• The dimensions
• The lenses
• The techniques
• The invariants
• Verdicts
• Predicate types
• Evidence sources