Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

enumerate safety and liveness properties #4625

Open
TalDerei opened this issue Jun 16, 2024 · 0 comments
Open

enumerate safety and liveness properties #4625

TalDerei opened this issue Jun 16, 2024 · 0 comments
Labels
A-docs Area: Documentation needs for the project needs-refinement unclear, incomplete, or stub issue that needs work _P-V2 Priority: after mainnet

Comments

@TalDerei
Copy link
Collaborator

TalDerei commented Jun 16, 2024 •
edited
Loading

Our circuit breakers can be categorized into different classes of failure modes, namely safety and liveness failures. While our codebase describes the safety properties, it lacks detailed descriptions of the liveness properties. I believe we should concretely outline all the safety and liveness failure modes, possibly in a detailed ADR, to better describe the resilience of our system. cc @erwanor
@TalDerei TalDerei added the A-docs Area: Documentation needs for the project label Jun 16, 2024
@github-actions github-actions bot added the needs-refinement unclear, incomplete, or stub issue that needs work label Jun 16, 2024
@TalDerei TalDerei added the _P-V2 Priority: after mainnet label Jun 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-docs Area: Documentation needs for the project needs-refinement unclear, incomplete, or stub issue that needs work _P-V2 Priority: after mainnet
Projects
Penumbra
Status: Backlog
Milestone
No milestone
Development

No branches or pull requests
1 participant
@TalDerei