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/budget.txt
T
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

5 lines
34 B
Plaintext
Raw Permalink Blame History

SORRY=0
ADMIT=0
AXIOM=0
VACUOUS=0
Reference in New Issue View Git Blame Copy Permalink