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

Merged

AceHack merged 3 commits intomainfrom

fix/b0180-circuitregistration-safety-invariant

May 3, 2026

Commits on May 3, 2026

fix(B-0180): define `Safety` invariant in CircuitRegistration.tla + register in CI
AceHack
committed
fix(tlc-runner): remove brittle line-number reference in CircuitRegistration test comment
AceHack
committed
fix(tests/tlc + tla/specs): strip historical narrative per copilot-instructions §282
AceHack
committed