Expand description
Benchmark harness and metrics (PSP-8 System 13).
Perspt does not claim SRBN reliability from implementation alone; it ships
mechanism checks and benchmarks that can falsify the PSP’s claims. A residual
certificate is a first-class outcome, not a discarded failure: no benchmark
report omits failed runs, and false stability (claiming success while a
required sensor was missing) is tracked as its own metric and must be zero.
Structs§
- Benchmark
Case - One benchmark case description.
- Benchmark
Report - A full benchmark report (PSP-8 System 13 metrics).
- Benchmark
Result - The recorded result of running one case.
Enums§
- Benchmark
Outcome - The terminal outcome of one benchmark case.