check_answer/verify.sh workspace/experiments/experiment_4_upper_decomposition/lean
PASS: authored sources are placeholder-free and Lean accepts the project (2026-07-13)
