Check AI-built software with the local SURE engine and use grounded repair contracts.
Use the local SURE checker to verify an AI-built project, preserve unknowns, and apply/re-check SURE repair contracts.
