By: ValentinHirschi <valentin.hirschi@gmail.com>
Record bounded diagnostics and indexed verifier validation Preserve negative batching results and separate source audit/typechecking from pending optimized execution. Co-Authored-By: Codex <noreply@openai.com>