QA hardening: 16 bug fixes + measured coverage/mutation/fuzz gates#13

code-with-rashid merged 2 commits into

maincode-with-rashid/truspec:mainfrom

qa/adversarial-cycle-2code-with-rashid/truspec:qa/adversarial-cycle-2Copy head branch name to clipboard