Files
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
..