Security Correctness

Kind: test-surface

Record: reasoning:test-surface-security-correctness

Canonical: Reasoning

no input yields privilege escalation or injection

Listed in Reasoning records, after Numerical Correctness and before Determinism Correctness.

Dimension

• cause

Evidence grounds

• ver-evidence

Evidence source

• analysis-report

Invariant

• security-boundaries

Lens

• causal

Predicate grounds

• ver-ground-truth

Predicate type

• absence

Techniques

• static-analysis
• fuzz-testing

Verdict domain

• pass
• fail
• unknown

Linked from

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