Up.done: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/lock/up.bend as Up
Lines 1174-1193 of ezx@1.11.0.0/src/lock/up.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/up.bend&start_line=1174&end_line=1193

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/ledger/render.bend as Rend
import ezx@1.11.0.0/src/ledger/ignore.bend as I

# every answer in: the ledger, the allowlist and the imports, and the trees
def done(
  +old: M.Manifest,
  dd: Deps,
  tt: Tools,
  +ignore: String,
  fs: List<&2, Found>
) -> Next:
  M.Manifest{+name, +entry, +bin, +hub, +pubas, +pubver, _ds, _ts} = old
  Deps{+ds, swaps, +edits, dmoved, dsays, trees, _dasks, _dbad} = dd
  Tools{+ts, tmoved, tsays, _tasks, _tbad} = tt
  +moved = Bool.or(dmoved, tmoved)
  +text = Rend.show(M.Manifest{name, entry, bin, hub, pubas, pubver, ds, ts})
  +allow = I.sync(ds, ignore)
  Next{model.next(moved, M.Manifest{name, entry, bin, hub, pubas, pubver, ds, ts}, old),
    read.next(moved, text, old), fit.why(moved, M.Manifest{name, entry, bin, hub, pubas, pubver, ds, ts}), [],
    trees, I.vended(ds),
    List.append(&2, String, dsays, tsays),
    edit.toml(moved, text, edit.if(String.eq(allow, ignore), ".gitignore", allow, [])),
    fs, drops.of(swaps), edits}

Uses (19):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.eq
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=sync
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/ignore.bend&name=vended
  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/render.bend&name=show
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Deps
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Found
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=Tools
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=drops.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=edit.if
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=edit.toml
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=fit.why
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=model.next
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/up.bend&name=read.next