fix: audit formal-verif honesty — relabel admits, run bazel test#99

avrabe merged 2 commits into

mainpulseengine/sigil:mainfrom

fix/audit-formal-honesty-2026-04-30pulseengine/sigil:fix/audit-formal-honesty-2026-04-30Copy head branch name to clipboard