fix(macros): harden correctness pass authority boundaries#9

eboody merged 1 commit intomaineboody/statum:mainfrom

audit/correctness-passeboody/statum:audit/correctness-passCopy head branch name to clipboard