Performance Correctness

Kind: test-surface

Record: reasoning:test-surface-performance-correctness

Canonical: Reasoning

latency_p99 <= budget and throughput >= floor

Listed in Reasoning records, after Resource Correctness and before Reliability Correctness.

Dimension

• scale

Evidence grounds

• ver-evidence

Evidence source

• measurement

Invariant

• acceptable-execution-time

Lens

• statistical

Predicate grounds

• ver-ground-truth

Predicate type

• bound

Techniques

• profiling
• load-testing

Verdict domain

• pass
• fail
• unknown

Linked from

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