lux/consensus
2
0
Fork 0
mirror of https://github.com/luxfi/consensus.git synced 2026-10-30 14:45:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
feat/quasar-weighted-quorum-cert
consensus/.assurance
T
History
zooqueen 90e5238592 high-assurance: declare unproven-assertion budget 
Enforced by ~/work/lux/proofs/framework/check.sh. Caps the current trust
surface so it cannot silently grow; the goal is to drive it down.
2026-06-21 13:37:32 -07:00
..
budget.txt
high-assurance: declare unproven-assertion budget
2026-06-21 13:37:32 -07:00