Rules.on.at: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules.bend as Rules
Lines 60-67 of bolt@1.27.0.0/src/rules.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules.bend&start_line=60&end_line=67

import Base
import bolt@1.27.0.0/src/finding.bend as F

# findings put at a path: a per-file rule reports on its own file, so this
# keeps what each rule gave and makes it hold by construction
def on.at(+path: String, fs: List<&2, F.Finding>) -> List<&2, F.Finding>:
  match fs:
    case Nil{}:
      Nil{}
    case Con{F.Finding{_path, line, col, len, rule, msg}, rest}:
      F.Finding{path, line, col, len, rule, msg} <> on.at(path, rest)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/finding.bend&name=Finding