# Reasoning records whose kind is test-surface

> 20 records

This index as JSON: https://banes-lab.com/json/api/facets/reasoning/kind/test-surface

## Entries

- [Semantic Correctness](https://banes-lab.com/records/reasoning/test-surface-semantic-correctness.md): output(input) = expected(input)
- [Functional Correctness](https://banes-lab.com/records/reasoning/test-surface-functional-correctness.md): transition in allowedTransitions
- [State Correctness](https://banes-lab.com/records/reasoning/test-surface-state-correctness.md): state[t+1] in next(state[t])
- [Interface Correctness](https://banes-lab.com/records/reasoning/test-surface-interface-correctness.md): payload models declaredSchema
- [Interaction Correctness](https://banes-lab.com/records/reasoning/test-surface-interaction-correctness.md): response = contract(request)
- [Temporal Correctness](https://banes-lab.com/records/reasoning/test-surface-temporal-correctness.md): elapsed <= deadline
- [Concurrency Correctness](https://banes-lab.com/records/reasoning/test-surface-concurrency-correctness.md): for-all interleavings: linearizable(history)
- [Memory Correctness](https://banes-lab.com/records/reasoning/test-surface-memory-correctness.md): liveSet bounded as t grows and retained delta approaches 0
- [Resource Correctness](https://banes-lab.com/records/reasoning/test-surface-resource-correctness.md): acquired = released (no leaked handles)
- [Performance Correctness](https://banes-lab.com/records/reasoning/test-surface-performance-correctness.md): latency_p99 <= budget and throughput >= floor
- [Reliability Correctness](https://banes-lab.com/records/reasoning/test-surface-reliability-correctness.md): no input leads to an unhandled fault
- [Availability Correctness](https://banes-lab.com/records/reasoning/test-surface-availability-correctness.md): uptime >= SLO under the declared fault set
- [Consistency Correctness](https://banes-lab.com/records/reasoning/test-surface-consistency-correctness.md): for-all replicas: converge(state)
- [Data Correctness](https://banes-lab.com/records/reasoning/test-surface-data-correctness.md): persisted = written and migrate then inverse = identity
- [Numerical Correctness](https://banes-lab.com/records/reasoning/test-surface-numerical-correctness.md): result is finite and not overflow and not NaN
- [Security Correctness](https://banes-lab.com/records/reasoning/test-surface-security-correctness.md): no input yields privilege escalation or injection
- [Determinism Correctness](https://banes-lab.com/records/reasoning/test-surface-determinism-correctness.md): f(x) = f(x) across runs
- [Protocol Correctness](https://banes-lab.com/records/reasoning/test-surface-protocol-correctness.md): messageSeq in protocolGrammar
- [Configuration Correctness](https://banes-lab.com/records/reasoning/test-surface-configuration-correctness.md): config models configSchema
- [Observability Correctness](https://banes-lab.com/records/reasoning/test-surface-observability-correctness.md): for-all event: emitted and measurable