Run original assertions during symbolic verification and validate generated harnesses - #1

Run original assertions during symbolic verification and validate generated harnesses#1

KryptosAI wants to merge 3 commits into

mainKryptosAI/counterflow:mainfrom

codex/counterflow-original-test-verificationKryptosAI/counterflow:codex/counterflow-original-test-verificationCopy head branch name to clipboard