Printable idea sheet
recovery_vs_budget
reqlan rq/language/parser_lexer.rq:11
no_name_idea_safe_warning and import_error_recovery keep a * finished * parse usable after local mistakes.
They do not help when lex / parse never returns — that failure mode is parse_budget_timeout.
Workspace load still isolates per-document throws so one bad file cannot abort LSP init; the budget turns non-termination into the same “ leave this file unloaded ” outcome, with diagnostics.
Interactive page: recovery_vs_budget