Plan.names.why: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 571-587 of ezx@1.11.0.0/src/lock/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/plan.bend&start_line=571&end_line=587

import Base
import ezx@1.11.0.0/src/lock/world.bend as W
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/pkg/pkg.bend as K

# why the names a lock needs stop it, or "" when they do not: a name the hub
# rules out, as bend refuses it; a name the project imports that ez.toml does
# not record, which is the lock's own rule, since only a dependency ez.toml
# records vouches for where a name came from; and a name nothing resolved
def names.why(
  +lns: List<&2, L.Name>,
  +ns: List<&2, L.Name>,
  +js: List<&2, W.Judged>,
  +roots: List<&2, String>,
  +need: List<&2, String>
) -> String:
  +bad = names.ruled(need)
  why.then(why.missing(bad, _u => K.unnamed.why(bad)), _v =>
    why.then(why.missing(names.missing(lns, roots), _w =>
        names.unledgered.why(names.missing(lns, roots))), _x =>
      why.missing(names.missing(ns, need), _y =>
        names.open.why(look(js, names.missing(ns, need)), names.missing(ns, need)))))

Uses (12):
  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=ezx@1.11.0.0/src/lock/lock.bend&name=Name
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=look
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=names.missing
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=names.open.why
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=names.ruled
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=names.unledgered.why
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=why.missing
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=why.then
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/world.bend&name=Judged
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=unnamed.why