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

Draft

KryptosAI wants to merge 3 commits into

mainfrom

codex/counterflow-original-test-verification

Commits on Sep 6, 2026

Verify original Foundry assertions and concrete exported properties
KryptosAI
committed
639fc76
Retain diagnostics for inconclusive bytecode checks
KryptosAI
committed
5072d60
Preserve native contract creation when running Foundry with Halmos
KryptosAI
committed
af7cf07