Printable idea sheet
recovery_vs_budget
reqlan rq/language/parser_lexer.rq:12
Katz 0.069
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