Commit Graph

2 Commits

Author SHA1 Message Date
wassname 6442d01ade short judge output: verdict + reason + blind spots only 2026-06-14 21:40:48 +08:00
wassname c0ceb95ea4 simplify proof logs and keep tasks repo-local 2026-06-14 20:09:30 +08:00