luxfi/consensus
1
0
Fork 0
mirror of https://github.com/luxfi/consensus.git synced 2026-11-03 07:13:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
salvage/feat/quasar-weighted-quorum-cert
consensus/.assurance
T
History
zooqueen 6264381e65 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