Auto-enable DCE_RUN_SUMMARY_* when proof scrapes, support --log-file, and recover summary JSON from the teed proof log when file write fails.
Copilot