Plan.need.why: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/plan.bend as Plan
Lines 309-317 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=309&end_line=317

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/share/pin.bend as Pin

# why a plain lock cannot copy the ledger's tool pins, or "" when it can. A
# ledger that does not parse is refused here too.
def need.why(ledger: M.Read) -> String:
  match ledger:
    case M.Bad{why}:
      "ez: " ++ M.show(M.Bad{why})
    case M.Good{m}:
      M.Manifest{_n, _e, _b, _h, _pa, _pv, _ds, ts} = m
      Pin.gaps(ts)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Manifest
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=show
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/pin.bend&name=gaps