lux/magnetar
2
0
Fork 0
mirror of https://github.com/luxfi/magnetar.git synced 2026-09-24 00:25:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

high-assurance: repoint gate references to luxfi/security/framework (canonical home)

Browse Source
This commit is contained in:
zooqueen
2026-06-21 14:22:36 -07:00
parent 3015a0390f
commit 55218db3de
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.assurance/budget.txt
+1 -1
View File
@@ -1,5 +1,5 @@
# Unproven-assertion budget (max counts). Enforced by
# ~/work/lux/proofs/framework/checks/axiom-budget.sh. FAILS on any drift above.
# ~/work/lux/luxfi/security/framework/checks/axiom-budget.sh. FAILS on any drift above.
# Goal: decrease, never raise. Current surface (2026-06), after deleting the
# circular/vacuous strict-atom proofs. The remaining 4 sorry + 4 admit are in
# SUPPORTING (non-load-bearing) lemmas, disclosed in PROOF-CLAIMS; the headline