This website requires JavaScript.
Explore
Help
Sign In
luxfi
/
magnetar
Watch
1
Star
0
Fork
0
mirror of
https://github.com/luxfi/magnetar.git
synced
2026-07-27 02:53:47 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
main
magnetar
/
scripts
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
History
Antje Worring
378f29c291
fix(thbsse): gate the seed-reconstructing Combine at RUNTIME (AckThbsSeReconstructsSeed, mirrors OpenRevealAck) — NO build tags, one native binary; refuses without the ack. + runtime-barrier test; fix easycrypt-smoke dangling theory refs
2026-06-21 20:40:00 -07:00
..
checks
fix(thbsse): gate the seed-reconstructing Combine at RUNTIME (AckThbsSeReconstructsSeed, mirrors OpenRevealAck) — NO build tags, one native binary; refuses without the ack. + runtime-barrier test; fix easycrypt-smoke dangling theory refs
2026-06-21 20:40:00 -07:00
check-high-assurance.sh
magnetar v1.1: high-assurance orchestrator + BLOCKERS + CHANGELOG + README
2026-06-01 17:13:53 -07:00
cut-submission.sh
submission: cut-submission.sh + check-high-assurance.sh
2026-05-19 08:03:28 -07:00
