feat(spec): formal model & test suite for safe-output-outcome-evaluation (P1–P12)#45781

pelikhan merged 4 commits into

maingithub/gh-aw:mainfrom

copilot/formal-spec-safe-output-evaluationgithub/gh-aw:copilot/formal-spec-safe-output-evaluationCopy head branch name to clipboard