Priority-scaled time budgets (quick/standard/deep/marathon/weekly), marathon-mode for hard derivations (skips Phase B REM for one task), checkpointing every N minutes via partial commits.
