# Architecture principles whose scope is liveness

> 1 record

This index as JSON: https://banes-lab.com/json/api/facets/architecture/scope/liveness

## Entries

- [One-Sided Liveness](https://banes-lab.com/records/architecture/one-sided-liveness.md): A design rule that a process's absence proves it is dead while its presence proves nothing, so liveness is derived once, from the witness first and from a generous window only where the witness cannot decide.