Plan.ledger.seen: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/doctor/plan.bend as Plan
Lines 793-803 of ezx@1.11.0.0/src/doctor/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/doctor/plan.bend&start_line=793&end_line=803

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

# the ledger as doctor sees it: its package, its entry and its dependencies.
# Its `[tools.*]` pins are not dependencies, so they are dropped before
# anything but the lock check is decided (EZ-LED-5). The lock check reads the
# ledger's text as `ez lock` does, since the lock records the pins.
def ledger.seen(ledger: M.Read) -> M.Read:
  match ledger:
    case M.Bad{why}:
      M.Bad{why}
    case M.Good{m}:
      M.Manifest{n, e, b, h, pa, pv, ds, _ts} = m
      M.Good{M.Manifest{n, e, b, h, pa, pv, ds, []}}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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