2026-08-09 Program Synthesis from Partial Traces