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

..

dudect-smoke.sh

magnetar v1.1: high-assurance orchestrator + BLOCKERS + CHANGELOG + README

2026-06-01 17:13:53 -07:00

easycrypt-smoke.sh

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

go-tests.sh

ci(magnetar): widen go-tests timeout 240s → 600s for slh-dsa headroom

2026-05-31 22:52:32 -07:00

strict-atom-ast.sh

magnetar: remove proof-by-rename + circular proofs; honest threshold status

2026-06-21 13:06:57 -07:00