Skip to content

fix(B-0180): define Safety invariant in CircuitRegistration.tla + register in CI - #1401

Merged
AceHack merged 3 commits into
mainfrom
fix/b0180-circuitregistration-safety-invariant
May 3, 2026
Merged

fix(B-0180): define Safety invariant in CircuitRegistration.tla + register in CI#1401
AceHack merged 3 commits into
mainfrom
fix/b0180-circuitregistration-safety-invariant

fix(tests/tlc + tla/specs): strip historical narrative per copilot-in…

bffcd3e
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded May 3, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.