Plan.found.at: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/lint/plan.bend as Plan
Lines 467-473 of bolt@1.27.0.0/src/lint/plan.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/lint/plan.bend&start_line=467&end_line=473

import Base
import bolt@1.27.0.0/src/lint/world.bend as W
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/src.bend as Src
import bolt@1.27.0.0/src/rules.bend as Rules

# every finding of every rule, ungraded, from the sources and what the World
# answers for them: the read failures, the per-file findings of each source,
# then `setting`'s over each bolt.bend grading reads, then the project rules'
# over every source and the other packages
def found.at(+world: W.World, +gs: List<&2, Got>, +ss: List<&2, Src.Src>) -> List<&2, F.Finding>:
  List.concat(&2, F.Finding, [unread(gs), per_file.role(marks.run(W.paths.of(world), world, ss), ss), settings(world),
    Rules.project(ss, packages(roots(world)))])

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.concat
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=Got
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=marks.run
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=packages
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=per_file.role
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=roots
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=settings
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/plan.bend&name=unread
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=World
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lint/world.bend&name=paths.of
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules.bend&name=project
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/src.bend&name=Src