feat: phase 3 — 30+ features, 402 tests, formal verification#28

avrabe merged 3 commits intomainpulseengine/rivet:mainfrom

phase3-signedpulseengine/rivet:phase3-signedCopy head branch name to clipboard