luxfi/p3q
1
0
Fork 0
mirror of https://github.com/luxfi/p3q.git synced 2026-11-03 09:47:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
p3q/.assurance/budget.txt
T
zooqueen 674526327b 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