def plan
import bolt@1.27.0.0/src/lint/plan.bend as Planimport Base
import bolt@1.27.0.0/src/lint/world.bend as W
633# `bolt` over a World: every graded finding no mark silences as a line, then
634# `noqa`'s, then the summary of those, and exit 1 exactly when one is an error
635def plan(+world: W.World) -> Plan:
636 +gs = final(world)
637 Plan{List.append(&2, String, show_all(gs), [summary(gs)]), Bool.pick(U32, has_error(gs), 1, 0)}