1 commit

Author	SHA1	Message	Date
Copilot	dbc887d81c	feat(scrape): JSON summary export for operator proof runs ... Auto-enable DCE_RUN_SUMMARY_* when proof scrapes, support --log-file, and recover summary JSON from the teed proof log when file write fails.	2026-06-03 10:35:48 -05:00